2) forming range
形成范围
1.
The forming range of the amorphous Mg Ni alloy is calculated by the Miedema model, and is compared with the experimental result.
根据Ｍｉｅｄｅｍ ａ模型计算了Ｍｇ－Ｎｉ非晶合金的形成范围， 并与实验结果进行了比较，发现两者符合得很
3) the interiorization paradigm
生成范式
1.
It was considered that the moral education’s process of the interiorization paradigm is a valid means for the subjective development of students.
论述学校德育实施过程中的两种主要范式——"转化范式"和"生成范式"的基本理论,分析了由"转化范式"向"生成范式"变革的原因。
4) normal form
规范形式
1.
By analyzing the essence of iteration on the dual simplex algorithm and based on Linear Programming with normal form,this paper gains another improved dual simplex algorithm without bringing in surplus variables,which results in the same number of variables and reduced operational size.
通过分析对偶单纯形法迭代的实质,就所给LP问题的规范形式,不引进剩余变量而直接得出另一种改进的对偶单纯形法,使变量个数不增且运算规模缩小。
2.
We proved that a cost allocation function can be expressed by normal form if and only if it has anonymity, additionality and equivalency.
该文以数学方法论证了一类网络成本分配函数的性质,证明了成本分配函数具有规范形式的充要条件是它满足无记名性,可加性和等价性。
5) formal specification
形式规范
1.
The formal specifications in assembly code certification are usually complicated.
与传统的高级语言程序验证相比,汇编代码验证中所需要的形式规范往往比较复杂,通常的做法是要求程序员手写形式规范,或是牺牲形式规范的表达能力以期能够自动生成规范。
2.
This paper presents a method,which extends PLS(partial least square) algorithm from two_LV(latent variable) to multi_LV based on two_LV PLS algorithm,including detailed formal specification and iterative procedure.
在两个潜变量的偏最小二乘法(PLS)基础上,研究了如何将PLS算法从两个潜变量扩展到多个潜变量的一套完整方法(包括具体的形式规范和迭代步骤);以及在多个潜变量PLS算法上的符号检验。
6) the formal category
形式范畴
1.
First,basing upon the context of Chinese literature and art,we study the formal category synchronicly,mamely,we have a semantic analysis of the foumal category.
自形式范畴在我国文艺学中的出现至今约有一百年的历史,它既被广泛应用,又歧义百出。
补充资料：Boole函数的范式
Boole函数的范式
Boolean functions. normal forms of
致洲月e函数的范式!B。目e韶腼比佣5.normaifom.sot’;E抑e.‘Ix中扒。目“盛I.oPM旧日‘.I，Ie和p删] 表达Boole函数一类特殊公式.区别为析取范式 (disjunctive normal form)(见B喊e函数的极小化(Boolean functio。5 mlnimization of))与合取范式(conzunctive noroial form).如果乘积x了，·x考的所有变元都不同，则称为人级匆等令零(elem“ntary conjunc-t，on)，其中，当。二l时，x“二x二当a:二0时，、“=〔二“l”被看作o级的初等合取·如果逻辑和一弓丫一丫戈气的所有变元都不同，就称为;级的初等析取(elemen-tary dlsjunctlon)“‘0”被看作0级的初等析取. 公式吸l\/丫涯r，其中及，，…以分别是;一，r;级的互异的初等合取，称为一个析取范式，数乙一，r称为它的享伞件(complex，ty，;公式戮’“琳其中黔l，…贱分别是尸1，一p级的互异的初等析取，称为一个合取范式，数工泊。称为它的复杂性(com-Plexity).每个不恒为零的Boole函数都可由一个析取范式来定义，一般说，这种范式不是唯一的对于不恒为零的Boole函数，同样也可用合取范式来定义. 从定义Boole函数f(、，一凡)的一个表出发，容易得到家布哲粤苹享(详r几ctd‘sjunctiVen‘，rmalfofm)以!丫…\厂或、，其中谈二一‘，一x哭’·‘，二二1 ，‘)，同时忆一，氏。满足‘(认1.·…氏。)=1-表达一个Boole的数f的完满析取范式是唯的.完布仓零苹感(娜r全补“‘conjunct，Ve‘“orma}for“‘)‘“丁以类似地来定义. 对“儿乎所有的”Boole函数，山于一单位集的个数在2门’一石2”2与，{+护万2”’之间变动，故对J‘.儿乎所有的”Boole函数，完满析取范式的渐近复杂性是nZ”’.那些仅在点取零值的凡几‘Boole函数，其完满析取范式具有最弋的复杂性这个复杂性是。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条