1) semantic specification
语义规范
1.
Event order-based semantic specification of UML (unified modeling language) sequence diagram;
基于事件序的UML序列图语义规范
2) standard semantic meaning
规范语义
1.
The application of the standard semantic meaning and the analytical semantic meaning plays an important role in the teaching of humanities and social science,and therefore influences the purpose and the efficacy to disseminate the thoughts and the theories of humanities and social sciences,The application of the analytical semantic meaning is especially of individuality and subjectivity.
在人文社会科学教学中规范语义与分析语义的应用有着极为重要的作用,它将影响到人文社会科学思想和理论传播的目的性和功效性,特别是分析语义的应用更具有个体性和主观性的特点。
3) normalization semantic tree
规范化语义树
1.
It also creates a normalization semantic tree according to the result of the normalization,and constructs a XML structure indexing tree by signing the normalization semantic tree in the original tree,based on which to complete the access of XML document.
参照关系数据库中的约束理论,给出应用于XML文档的函数依赖规则和三范式理论,去除XML树中的部分函数依赖和传递函数依赖,避免了更新异常,并根据规范化结果重新组合成XML规范化语义树,通过在XML原树中标记出语义树而产生一棵XML规范化索引树NIT,基于这棵树完成XML文档的访问操作。
4) normalism
规范主义
1.
The strategies break transcendentalism and deny the factor of transcend science that gets involved in the epistemology,sequentially Quine goes beyond normalism and.
这两个策略打破了先验主义,否定了超科学因素对认识论的介入,从而使奎因在科学哲学上超越了规范主义而走向了自然主义。
5) normativism
规范主义
1.
In the western developed rule -of-law countries represented by Great Britain and America,their governing scheme has already ex- panded from the traditional controlling mode of normativism to the structuring mode of functionalism.
在以英美为代表的西方法治发达国家,治理方案已从传统主流的规范主义控权模式拓展到功能主义的建构模式。
2.
Burden of proof in antidumping cases shall be consistent with the methodological requirements of positivism and normativism,while the proving method shall be justified by way of falsificationism.
反倾销举证证明应当遵循实证主义与规范主义的方法论要求,证伪主义则是检验证明方法正当性的哲学基础。
6) regulative significance
规范意义
1.
Therefore,there is certain regulative significance in steles on irrigation works.
这些水利碑刻的内容显示,当时官府通过这样的方式来公示祭祀方式、水利约定,无非就是要起到其对民间社会的有效社会控制,因此,水利碑刻也就具有了一定规范意义。
补充资料：操作语义
操作语义
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*赋值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条