说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 负荷判定
1)  tiredness estimation
负荷判定
2)  load-set
负荷设定
3)  rated load
额定负荷
1.
In the event of reducting load in operation of ultra-supercritical units to 60% of their rated load, the specific heat consumption of said units will be lower than that of supercritical 600 MW units under rated operating condition; in case the.
超超临界机组运行负荷降低至60%额定负荷时,其热耗率将低于超临界600MW机组额定工况时的热耗率;超超临界机组负荷低于40%额定负荷时,其热耗率设计值将低于亚临界300MW、600MW机组额定工况时的热耗率;超超临界机组在低于60%额定负荷后,热耗率出现加速上升的趋势。
4)  determination of power load
负荷确定
1.
This paper briefly expounds the features of power consumption and determination of power loads in the housing colony, and introduces the connection mode of 10kV distribution system, the arrangement of power substation, the design of road and landscape illumination, the selection of conductor cross-section of low-voltage line and the laying of low-voltage line in the housing colony.
简述了小区用电特点及负荷确定 ,介绍了小区 10 k V配电系统的接线方式、小区内变 (配 )电所的设置、小区内道路及景观照明设计、小区内低压线路导线截面的选择以及小区内低压线路的敷
5)  load assessment
负荷评定
6)  ration load
定量负荷
补充资料:本质不可判定理论


本质不可判定理论
essentially-undetidabfe theory

  本质不可判定理论【曰”由叨y一田吐幼面b晚口峨叮;c拟e-eTne。。0.,a3少翔班胭坦T即,阳] 一个算法不可判定的逻辑理论,它的所有相容扩张也是不可判定的(见不可判定性(也d戊山腼ty)).一个初等理论间改压泊扭口山印巧)为本质不可判定理论,当且仅当它的每一个模型都有一个不可判定的初等理论.每个完全不可判定理论都是本质不可判定理论,如形式算术(面面拙度,扔m创).没有一个具有穷模型的理论可为本质不可判定理论. 一个适当的有穷可公理化的初等理论S的本质不可判定性,通常用于证明一个给定理论T的不可判定性(见「l],[2l).在这种证明中,S在T的任何模型M中被解释.解释的定义域和S命名的元素的值,均用T的语言中相应公式在模型M中的值加以定义.如果该解释为S的模型,则T是不可判定的;而且,这个理论是拳债不可剖宇的(址淤山妞询旧山戈初以比),即它的与T同样署名的所有子理论都是不可判定的.这个方法用来证明初等谓词逻辑、初等群论、初等域论等的不可判定性.有穷公理化的形式算术常用作本质不可判定理论S.艾达尔上同调〔启.k以‘阅劝粉;,T舰‘。从e二oroMo刀卜r皿] 在艾达尔拓扑帕欧topolo咖中的层的上同调.艾达尔上同调是按标准的方式用导出函子来定义的.设X是概形,戈:是X上的艾达尔拓扑,则戈,上的Abel群层范畴是有足够多内射对象的Ab日范畴.整体截面函子r是左正合的,其导出函子了}~H“(X,劝(这里了是X。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条