- 重点词汇
- researchn.研究，调查，探索;
- semantical语义的;
- withprep. 具有;和;用;有;以;跟;同;带有;使用;和…在一起;借;与…对立;关于;包括;因为;由于;与…方向一致;由…持有;为…工作;虽然;作为…的成员，为…所雇用;具有，有，带有;在…身上，在…身边;由于，因;在…那里，在…看来
- theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用，指事物或统称的人;用于姓氏的复数形式前，指家庭或夫妇;（指特定用途的事物）足够，恰好;每，一;当前的，本，此;（重读，表示所指的为知名或重要的人或事物）
- deepeningn.加深，气旋加深;
- ofprep. 关于;属于…的;由…制成;
- developmentn.发展;成长;研制;开发;发展阶段;新进展;新建住宅区;
- paradoxn.矛盾的人（或事物、情况）;悖论，自相矛盾;
- shiftedv.改变( shift的过去式和过去分词 );去掉;摆脱掉;换挡;
- toprep. 向，朝着;到;关于;属于;
- andconj. 和，与;而且;于是，然后;因此;
- 相关例句
1、
在教育部统一信息标准的基础上，针对各种语义冲突类型，引入元数据的概念，描述统一的信息标准到各数据源语义定义的映射，并制定映射转换规则。
互联网摘选
2、
可重用的战略性的企业信息应该被看作业务实体的集合，它们应该是标准化的，可以跨整个企业重用，并符合行业标准结构、语义和服务契约。
互联网摘选
3、
必须由提供者系统使用标准协议和语义对其进行发布、查找（发现）和调用。
互联网摘选
4、
例如，UML的标准语义和符号就是用元模型描述的，工具的提供商以一种标准的方法使用元模型来实现UML。
互联网摘选
5、
6、
7、
8、
9、
10、
11、
12、
13、
其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。
互联网摘选
14、
15、
16、
17、
关于公理语义，目前没有见到讨论continue，break，return等的语句的公理化方面的文章，主要原因是这些语句涉及到控制转移问题，用逻辑公式不易描述。
互联网摘选
18、
为了说明本文提出的公理语义方案具有一般性，也给出了具有异常处理机制条件下，if语句，while语句，和块等语句的公理语义。
互联网摘选
19、
本文以Java语言为背景，重点讨论了类的继承和多态性的公理语义，同时也给出了必要的及相关的语言成分的公理语义。
互联网摘选
20、
Studying the Relationship Between GAMMA and UNITY Model Based on Axiomatic Semantics
从公理语义看UNITY模型和GAMMA模型的关系
互联网摘选
