1) semantic collaboration
语义协同
2) principle of cooperation
协同主义
1.
The principle of cooperation should be considered as the first choice, which is a pattern universally selected in civil litigations.
我国应选择协同主义这一各国民事诉讼模式的发展趋势。
2.
Principle of Cooperation’s Litigation Pattern provides a news mode for the innovation of China’s civil litigation patte.
协同主义诉讼模式对民事诉讼模式的改革和完善提供了一种新的科学思路,它不仅强调法官在发现真实上的作用,强调法官在诉讼中的指挥作用,还从当事人角度强调真实义务,法院和当事人两个方面协作配合发现案件真实。
3) Coordination principle
协同主义
1.
By analyzing three aspects of constructing harmonious principle pattern,promoting coordination principle and establishing multiple disputes settlement mechanism,states the dimensions of judicial harmony.
通过对和谐主义模式的构建、协同主义的推动、多元纠纷解决机制的确立等三方面的分析,阐释了司法和谐的向度。
4) semantic negotiation
语义协商
1.
A sort of multi-layer semantic communication model is put forward;the communication language used for multidisciplinary semantic negotiation is developed based on XML;the open action original language set and the open message type template library are set;the shared ontology is built based on OWL to promote the consistent understan.
针对多学科协同设计中的语义失配问题,以及设计者间的语义通讯进行了研究,提出了一种多层结构的语义通讯模型,基于XML设计开发了多学科语义协商的通讯语言,设置了开放的行为原语集和消息类型模板库,基于OWL构建了多学科设计者的共享本体,以促进多学科设计者对共同概念的理解达成一致,并给出了实例分析。
2.
This paper mainly describes the research on graphic collaboration and semantic negotiation in the system of multi-discipline collaborative product design, which helps multi-discipline designer exchange, coordinate and cooperate effectively in different place, and promote innovation of products, shorten development period of products, improve product quality, reduce products cost.
本文主要对产品多学科协同设计系统中的图形协同和语义协商等问题进行了研究,以帮助异地分布的多学科设计人员有效地进行交流、协调及合作,促进产品创新,缩短产品开发周期,改进产品质量,降低产品成本。
3.
For a tourist information service prototype system , the paper constructs the tourist field Ontology, and adopts the knowledge representation and inference based on Ontology, on this basis of consultations to introduce semantic negotiation study and confidence model.
本文首先回顾Agent与MAS的产生发展及主要研究内容,介绍Ontology与DFL的基础知识,针对一个旅游消息服务原型系统,构建旅游领域Ontology,并采用基于Ontology的知识表示与推理,在此基础上介绍语义协商学习和信任模型。
5) semantic protocol
语义协议
6) semantic harmony
语义协和
补充资料：操作语义
操作语义
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*赋值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条