1) regressive definition
回归定义
2) Semantic come-back
语义回归
1.
Semantic come-back is a familiar linguistic phenomenon,but people didn t pay much atten- tion to its mechanism.
语义回归是一个非常普遍的语言现象,但尚缺乏对其内在发生机制的探讨。
4) recursive definition
递归定义
1.
Sub-ontology,atom ontology,and the recursive definition of ontology are made under summarization of the existing results.
总结已有的研究成果,基于统一本体层次化和模块化的思想,提出子本体、原子本体以及本体的递归定义,为本体建立科学的分类体系和一致的逻辑理论打下了基础。
2.
Besides of meeting more needs from users, in the latest version of the collecting sub database of the oil and gas production dynamic database, a kind of bran new recursive definition mode is successfully used to replace the former attributive definition mode by way of a.
目前该库在满足更高需求的前提下 ,通过分析关键数据的内在联系 ,在升级版的汇总库中采用了全新的递归定义模式来取代过去的定语定义模式 ,并取得了良好的实际效
3.
Summarizing the results of the calculation we obtain a recursive definition of Sn,and the result that Sn can be generated by the binary elements,which may facilitate us to have further researches on abstract groups.
并将结果用于Sn(n=2,3,4,5,6)进行验证,表明了程序判断的正确性,对计算结果进行归纳获得了Sn的递归定义及Sn可由二元生成等结果,可为进一步研究抽象群提供方便。
5) inductive definition
归纳定义
1.
introducing the concept of n stage determinant through the inductive definition.
对工程数学中行列式部分的教学内容及处理方式提出了一种改进思路 ,即通过行列式的归纳定义引出 n阶行列式的概念 ,由此证明行列式的性质 ,建立起行列式的理
6) regressive definition
加归定义
补充资料：操作语义
操作语义
operational semantics
式求值的抽象机器的模型，这个机器的存储区分成三部分:栈区st(用作工作区)，环境区:(保存数据向量等)，控制区。(保存程序)。整个存储区记作(、t，:，。)，称为抽象机器的一个大状态。这个抽象机器具有识别符号、完成算术和逻辑运算、转储信息、实现大状态之间的转移等基本功能。 这个机器的大状态转移规则分为四类: (l)(st，s，(el叩eZ)/c)”(st，s，。;/。2/甲/。) (2)(st，:，碑/‘)冷(n/:t，:，。) (3)(st，s，x、/e)”(x、/sr，s，e) (4)(n/m/st，s，叩/e)=>(k/st，s，c)(k=m opn) 第一类规则表示，当控制区中待执行的程序要求完成表达式(。1叩eZ)的求值时，抽象机就转移自己的大状态，准备先求子表达式。l和e2的值，然后再按照相应的运算叩(+，一，X或其它算子)，求出整个表达式的值，符号“/”用于分割存放的信息。第二类规则表示，当求值的表达式是一个常量时，则其值就是抽象机中表示这个常量的相应的量(粗体用来区别语言中的符号和在抽象机中的相应表示)，表达式的值暂存于栈区。第三类规则表示，当表达式是一个变量时，其值就是环境区中相应单元的当前值，即第i个变量x‘的值就是数据向量s的第i个分量:、的值。第四类规则表示，当运算叩的两个操作数已经求得，则可按照抽象机中的相应运算求出op作用于操作数的结果。 在这个抽象机中，表达式(x:X xZ)+l(在xl，xZ值为2和3时)的求值是由下述大状态的转移序列完成的，转移符号冷的上方标有实现这一转移依 0、，产、，声据的转移规则号，设:=(2，3，s((x;XxZ)+i)/。(s(1)冷(:t，、(x;XxZ)/1/+/。)岑(、‘，:，(二，/二2)又1/+/。)里(2/st，、，二2/又1/+/。)缪(3/2/st，:，x/1/、/。)军(6/、‘，、，l/+/。)里(l/6/::，:，+，/。) (4) 冷(7/:t，s，e) 这个抽象机正确刻画出算术表达式求值的全过程，故可作为算术表达式的操作语义。 为定义赋值语句(x‘:二e)的操作语义，可在上述抽象机中添加如下转移规则: (5)(st，s，(x、:=e);/c)今(:t，s，e/x*:=/。) (6)(n/:t，:，吞:=/。)=>(st，:}in，。) 第五类规则表示，当抽象机执行(x‘:=。)时，先求出表达式仑的值，然后再给x*赋值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条