1) Criterion
[英][kraɪ'tɪəriən] [美][kraɪ'tɪrɪən]
判定准则
1.
This paper analyses error model of data overflow errors and mainly researches criterion of data overflow errors which is available for detecting data overflow errors.
分析数值溢出故障的故障模型,重点研究数值溢出故障的判定准则,该准则能有效地用于数值溢出故障的检测。
2.
Based on the review of the work of former researchers, in this thesis, the hydraulic fracturing problem is investigated systematically from the aspects of induced condition, mechanical mechanism, criterion and numerical simulation method.
本文在总结和评述前人研究成果的基础上,从发生条件、力学机理、判定准则和数值模拟等方面对其进行了系统深入地研究。
2) judging criterion
判定准则
1.
A judging criterion of dynamic failure is proposed based on the ideology of performance-based design.
基于性能的设计思想,文章提出了一种网壳结构震后是否发生动力失效的判定准则。
3) judgment criteria
判定准则
1.
Four judgment criteria for gross error are introduced.
介绍了粗大误差的四个判定准则,基于判定准则和VB编程技术设计了粗大误差判定系统。
4) determinant rule
判定准则
1.
Based on the Maximum permissible error for"Zero-setting and tare devices"with the regulation in OIML R61,this paper discussed the determinant rule.
本文主要针对目前在 JJG564—2002《重力式自动装料衡器》执行过程中,对于置零准确度的判定准则中出现的多种有争议的判据,结合 OIML R61(1996版)与(2004版)的原文内容的理解分析与实例,提出了自己对 OIML R61置零准确度判定准则的看法。
5) criteria condition
判定准则
1.
In this paper,we provide some new necessary and sufficient criteria conditions for generalized subdiagonally dominant matrices and also obtain some criteria for nongeneralized subdiagonally dominant matrices.
给出广义次对角占优矩阵新的判定准则 ,也得到了非广义次对角占优矩阵的判定方法 。
6) multiple criteria determination
多准则判定
补充资料：本质不可判定理论
本质不可判定理论
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。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条