1) qualification determination
合格判定
1.
Discussion on fire product on site inspection and qualification determination;
消防产品现场检查与合格判定初探
2) rejection number
不合格判定数
3) acceptable criterion
合格判据
1.
The article presents issues on undefined criterion existing in technical testing requirements of LED display, discusses the application of counting and adjusting method to sample to testing LED display, and also introduces related sampling methods and acceptable criterion of technical tests.
提出了LED显示屏技术要求检测中存在的合格判据不明确的问题,探讨了计数调整型抽样方法在LED显示屏检测中的应用,介绍了相关技术条件检测的抽样方法和合格判据。
2.
The article presents issues on undefined criterion existing in technical testing requirements of LED display,discusses the application of counting and adjusting method to sample to testing LED display,and also introduces related sampling methods and acceptable criterion of technical tests.
提出了 LED 显示屏技术要求检测中存在的合格判据不明确的问题,探讨了计数调整型抽样方法在 LED 显示屏检测中的应用,介绍了相关技术条件检测的抽样方法和合格判据。
4) composability checking
组合判定
1.
How to perform the composability checking between models is one crucial issue in the composable simulation development.
建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可组合性质,形成语义层次的组合判定方法;对组合相容性与可替换性质之间的关系进行了分析。
5) composite number judgment
合数判定
6) synthetic judgment
综合判定
1.
The synthetic judgment indicated that the cohesive soil of the anti-seepage body is non-fractional soil.
针对燕山水库大坝防渗体的粘性土可能具有分散性的问题,在分析防渗粘性土物化性与矿化成份的基础上,采用双比重计、针孔、碎块、孔隙水可溶盐试验及可交换性Na+百分比5种定量与定性结合的方法进行了全面综合判定,并对料区做了大量工程地质调查与分析。
补充资料：本质不可判定理论
本质不可判定理论
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。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条