1) JUDGMENT METHOD OF TREE ISOMORPHISM
树同构的判定方法
3) determination method
判定方法
1.
This paper introduces "the fault analysis and determination method for new weaponry", and develops the theory to analyze the possible causes of faults with logic analysis method.
介绍了“新装备故障分析与判定方法”,提出了用逻辑分析的方法分析产生故障的可能原因。
4) judging method
判定方法
1.
3—2005 Limits and measurement methods for emissions from light-duty vehicles(Ⅲ,Ⅳ phases for China),the effects of the differences of emission limits in type I test between phase Ⅲ and phase Ⅳ and the different judging methods for different cases on the result of conformity of production(COP) assessment are analyzed.
3—2005中的国Ⅲ、国Ⅳ两个阶段Ⅰ型试验排放限值的变化及使用满意统计量和不满意统计量的判定方法,对排放生产一致性检查判定的影响进行分析。
2.
In allusion to the problem that the behavior of the equations will become abnormally difficult with the rise of exponent number measuring with condition number,the reason of the engendering of ill-conditioned linear equations has been analyzed and a judging method has been suggested.
针对用条件数来衡量方程组的性态将随阶数增大而变得异常困难这一问题,分析了病态线性方程组产生的原因,提出了一种判定方法,探讨了对一定精度要求的解的可允许扰动的数量级,实例证明了这种方法的有效性。
5) judgement method
判定方法
1.
Analysis on some familiar judgement methods about interchangeability of combustible gas;
燃气互换性几种常用判定方法的比较与选择
2.
The deployment uniformity judgement method of a kind of cluster warhead is analyzed.
对一种类型的集束战斗部的抛撒均匀性判定方法进行了分析 。
3.
with the help of matrix number and matrix music radius concepts,combined with the conclusion about the limit and numeral progression,the paper gives judgement methods of matrix progression unanimous convergence.
借助矩阵范数和矩阵谱半径的概念,结合极限理论和数项级数的有关结论,给出了矩阵级数一致收敛的判定方法。
6) judgment method
判定方法
1.
A judgment method for the satisfying consistency of linguistic judgment matrix;
语言判断矩阵满意一致性的判定方法
2.
With the help of matrix number and matrix music radius concepts and combining with the conclusion about the limit and numeral progression,two judgment methods of matrix power series absolute convergence are given.
借助矩阵范数和矩阵谱半径的概念,结合极限理论和数项级数的有关结论,给出了矩阵幂级数绝对收敛的两种判定方法。
补充资料：本质不可判定理论
本质不可判定理论
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。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条