1) semantic slices
语义片断
1.
The model can be utilized for analyzing the common characteristics of OLAM task and extracting the elementary operations,the basis of which is the semantic slices.
通过对大量决策分析算法的分析,提出了基于限制(Constraint)的OLAM任务语义模型,该模型从一定的逻辑高度对OLAM进行抽象,利用它可以分析OLAM任务的共性,提取OLAM任务执行时的基本操作,这些基本操作的基础是语义片断。
2) semantic diagnostics
语义诊断
3) semantic inference
语义推断
1.
To have a better under standing of the Characteristics, general rules of ambiguity and to master the basic ways of discriminating ambiguity is helpful to the learners semantic inference.
了解歧义的特征和一般规律 ,学会辨识歧义的基本方法 ,有助于学习者听力理解中的语义推断。
4) linguistic judgment
语义判断
1.
Based on the linguistic judgment and fuzzy judgment method,it gives a new comprehensive evaluation method used to distribute index weight and quantify qualitative indexes and collect multiple indexes.
在此基础上,结合后评价实践,对包括逻辑框架法、对比法、成功度法等的通信工程项目后评价常规方法进行了分析和比较;为解决后评价指标权重分配、定性指标定量化、多指标评价结论综合汇总等问题,提出了基于语义判断和模糊判断的综合后评价方法。
5) Fragment english
片断英语
1.
This paper introduces a software system, which realizes the computer comprehension of Fragment English (FE) by using Intensional logic theory, and it emphatically points out the formal semantic of transitive verb and its realization techniques.
本文介绍了一个自然语言理解系统,它利用内涵逻辑(Intensional Logic),实现了对片断英语 (Fragment English)的机器理解,并着重介绍了及物动词的形式语义及其实现技术。
6) semantic segment
语义片段
1.
Using the semantic segment as the manage granularity,the replicated data is merged from different users,the re-dundancy of data greatly is decreased.
以数据的语义片段为管理单位,将不同客户需要复制的数据进行合并管理,大大地减少了数据被复制的次数。
补充资料：操作语义
操作语义
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*赋值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条