1) the disposition of semantic meaning
语义配置
2) configuration semantic
配置语义
3) semantic configuaration
框架语义配置
4) semantic matching
语义匹配
1.
WEB information integration with fully semantic matching;
具有完善语义匹配的WEB信息集成
2.
In order to select the optimum Web services for meeting the requirements of users,a hybrid selection strategy that gives attention to semantic matching and quality of service(QoS) attributes is proposed for Web services,especially for service composition,and a framework is analyzed accordingly.
为更好地选择满足用户需求的Web服务,提出1种兼顾语义匹配和服务质量(QoS)属性的服务混合选择策略及分析框架,该策略先选择出满足语义匹配的服务集,然后按服务的QoS值在该服务集里选择最佳QoS性能服务,这种混合式选择策略同时满足服务的功能要求和非功能要求,提高了服务选择的正确性和可用性。
3.
Both QoS-aware matching and global semantic matching are considered during the global matching.
在全局语义匹配过程中,既考虑了全局匹配,又考虑了从QoS角度进行匹配。
5) semantic matchmaking
语义匹配
1.
The article addresses implementation issues of semantic matchmaking of Web services using intelligent middle agents.
文中提出了一种智能中间代理来执行Web服务语义匹配。
2.
An ontology-based semantic matchmaking approach is proposed.
探讨了Web服务及本体,介绍了本体描述语言OWL及本体开发工具protégé,提出了一种基于本体的语义匹配方法,通过与其它方法进行比较,分析了该方法的优点。
6) assembly semantics
装配语义
1.
The paper presented the requirements and characteristics of the assembly model that uses the DMU,analyzed assembly constraint relations and represented assembly relations using assembly connection diagrams which contain assembly semantics.
本文提出了基于数字样机的装配模型的需求和特性,分析了装配约束关系,采用包含装配语义的装配连接图表达装配关系,进行了装配层次划分。
2.
According to the process from collection of users requirements, conceptual design and detailed design, modeling to assembly, after the extraction and classification of the complicated domain knowledge, we put forward three layers of semantics as design semantics, modeling semantics and assembly semantics, so more domain knowledge can be used in the process of design and involved in the fi.
在现有三维CAD系统的基础上 ,从用户需求、产品设计、零件建模、部件装配各个阶段入手 ,将其中蕴含的行业知识加以分类、提取、抽象 ,形成设计语义、建模语义和装配语义 ,使虚拟样机在建立过程中能够利用并且包含更多的行业知识。
补充资料:操作语义
操作语义
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*赋值。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条