说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 形系
1)  shape part
形系
2)  root morphology
根系形态
1.
Response of maize (Zea mays L.) root morphology to Cd and pyrene contamination in soil;
玉米根系形态对土壤Cd和芘复合污染的响应
2.
Effects of free-air CO2 enrichment on root morphology of rice;
开放式空气 CO_2浓度升高对水稻根系形态的影响
3.
Differences of corn inbred lines in root morphology, nitrogen uptake and potassium uptake at different phosphorus levels;
不同磷水平玉米自交系根系形态及吸收氮、钾差异研究
3)  shape coefficient
形状系数
1.
Improved load shape coefficient method in low voltage line loss calculation
低压电网线损计算中的改进形状系数法
2.
25mm)and shape coefficient on the settling velocity were discussed,finally three correlative mathematical models were set up,which established the theoretical foundation for studying WMFS's fluidization and technological parameters.
25mm)及形状系数对沉降末速的影响,最终建立了3个相关的数学模型,为水介质流化床分选机流态化以及工艺参数研究奠定了理论基础。
3.
This paper put forward a new method, in which digital elevation model (DEM) was used to differentiate sub-basins and to extract average slope and maximum length of flow concentration which makes a positive contribution to calculate shape coefficient.
提出一种方法,利用数字高程模型(DEM)划分子流域,提取各单元流域的平均坡度和最大汇流路径长度,以最大汇流路径长度推求形状系数,并将形状系数和平均坡度引入模型结构中,建立其与汇流参数之间的相关关系,使新安江模型能同时考虑降雨、流域形状以及地形分布。
4)  fractal spectrum
分形谱系
5)  roll deformation
辊系变形
1.
By using influential function method and computational formulas that are given, the roll deformation in some 1850 rolling mill is analyzed, and the results are used to predict the transverse thickness difference of plate.
采用影响函数法 ,根据所给出的计算模型对某 1850轧机轧辊辊系变形进行了分析 ,并利用分析结果对其板材横向厚差进行了预报 ,预报结果表明该方法是正确的。
2.
To investigate the influence of the direct contact between work roll surfaces outside workpiece width on thin strip cold rolling process,a simulation model was developed by means of influence function,with which the production data during rolling were taken to calculate the roll deformation on a four-high mill.
为研究工作辊接触对冷轧带钢生产的影响,用影响函数法建立模型,并用现场生产数据模拟计算了四辊轧机的辊系变形。
6)  fractal coefficient
分形系数
1.
Fractal characteristics of micropore structure of porous media and the meaning of fractal coefficient;
多孔介质微观孔隙结构分形特征及分形系数的意义
补充资料:Gentzen形式系统


Gentzen形式系统
Gentzen formal system

  C.吐别翔形式系统【G仪由.1肠。1.】攀加n;re明ella中。-州幼研a,e毗TeMa] 用于形式化和研究由引人和消去假设所构成的证明的逻辑演算.由G.〔沁n切泊(【2])提出.C记n切沈形式系统分为自终堆导系维(姐t切ral山tiVa由ns那让幻‘)(或自然演绎系统(natm川山劝‘tions外t已比‘),它模仿了普通数学推导的形式,特别适合于用前者的记法表示后者)和年烈不琴维(涨叼理nts声咖)(或谬粤枣纱(logistics岁tefl招),它允许综合一个给定公式所有可能的证明以得出关于一个证明的正规形式的结论,并且应用于证明论(p代幻ft址”ry)和自动定理证明理论).有时把〔沁n切m形式系统与矢列式型的系统等同.然而,自然演绎系统可以用矢列式(逻辑中的)(咧议泊t(in拓沙)),而矢列式〔沁n切m形式系统有时形式化为公式演算而不是矢列式演算;所有(记n切泊形式系统有时可看作自然演绎系统,因为它们在某种程度上反映了处理逻辑连接词和假设的通常方法. 自然演绎系统由引人和消去逻辑符号的规则组成.只有少数逻辑公理(通常一个或两个),例如,语言泛丫,。,,}的经典命题演算的自然变式由公理A~A以及下列规则定义:引人规则(加尔刃‘tionru-此): A,T~B,,十、 r~(A OB)、 A,r~BA,艺~,B,_+、 r,艺~,A r~A(b),、、、 一一达-一‘‘竺立二2‘一(丫+、. T~丫xA(x)、’其中b在r或丫,A(‘)中不出现;哨专权则(eli代吐皿-tion创巴):r~A艺~(人。B),,一、r~丫茎冲(不立,。一、一归一),一(丫一工 r,艺~B、”r~A(t) r~B艺~,B,_一、r~,,A‘__一、 r,艺~么、z’r~A其中t是任意项;以及结构规则(struCtuxal nd。)二 勺工二左丁(力。细(化压眨留址或止山血g)), A,r~C、’r一:、--------------一’ A,A,r~C,『燎I__,_、;__、、 之三二止二二」-一.‘止二(压缩(con派以ion)), A,r~C‘下二、- 告奇条带召 (重排(众习们旧班,,翔t)或置换(伴皿utation)). 线下的矢列式称为规则的结论(concl璐沁n oftherule),而线上的称为煎攀(pn组团酬资)·公理A~A表示假设A的引人;规则(。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条