2) semantic unity
语义统一
3) UML semantic
统一建模语言语义
4) semantic consistency
语义一致
1.
It can exchange the real-time data and maintain semantic consistency.
该模型对于不同需求提供多种接口,在保持语义一致的前提下实现了数据的实时交互,并有效控制网络开销,以期实现更好的全球资源配置。
5) semantics/UMLS
语义学/统一医学语言系统
6) semantic system
语义系统
1.
In this essay the authors compare the Chinese and English semantic systems and try to find the cause of the inequality between them.
本文通过对比汉英两大语义系统 ,结合语言国情学理论 ,挖掘造成汉英两大语义系统不对等的根源 ,并结合外语教学理论探讨这种对比对于词汇教学的意义和启
2.
The semantic system of modern Chinese is composed of three key elements, namely, semantic units,the structural relations between them, and structural hierarchy.
语义单位、语义单位之间的结构关系、结构层次是现代汉语语言意义系统的三要素 ,不同性质的语义单位彼此之间复杂纠联 ,使构成语义系统的两子系统 (词汇意义、语法意义子系统 )、两次子系统 (词法意义、句法意义次子系统 )紧密地联结在—起 ,构成一个统一的内部饶有联系的结构整
3.
Through an analysis of the“ structure－ system” proposition by Firth, this paper concludes that collocation in English is mainly determined by the semantic system constraint which manifests itself in logical inferences, lexical properties and semantic themes.
通过对 Firth“结构—系统”组词造句规则的分析，指出英语词组的搭配组合主要受到语义系统的限制，这一限制表现为逻辑意义、词性特征及语义题材 3种形式。
补充资料：操作语义
操作语义
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*赋值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条