- 重点词汇
- ofprep. 关于;属于…的;由…制成;
- theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用，指事物或统称的人;用于姓氏的复数形式前，指家庭或夫妇;（指特定用途的事物）足够，恰好;每，一;当前的，本，此;（重读，表示所指的为知名或重要的人或事物）
- byprep. 在…旁边;表示方式;由于;经过;到…之前;
- alsoadv.也;同样;并且;
- theoryn.学说;理论;观点;猜想;
- onenum. （数字）一;一个;（基数）一，第一;
- usingv.使用（ use的现在分词 ）;利用;耗费;吸（毒）;
- onprep. (覆盖、附着)在…上;由…支撑着;在(运输工具)上;在（某一天）;就在…之后;关于（事或人）;（身上）带着;为（某团体或组织）的一员;吃;（表示方向）在，向，对;在，接近（某地）;根据;以…支付;通过;与…相比
- languagesn.语言( language的名词复数 );表达方式;（某民族、某国家的）语言文字;计算机语言;
- topologicaladj.地志学的； 拓扑（学）的;
- computern.计算机，电脑;
- domainn.领域，范围，范畴;(尤指旧时个人、国家等所拥有或统治的)领土，领地，势力范围;域;定义域;区域;[计]域名;
- 相关例句
Denotational semantics studies the transactional behavior on the basis of mathematical models.
指称语义在数学模型的基础上对事务的整体行为进行严格的解释。
互联网摘选
讨论计算机程序设计语言的Domain理论中的拓扑方法。
互联网摘选
本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。
互联网摘选
Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。
互联网摘选
类词缀与典型词缀的区别表现在语义透明度、语义相容性、生成新派生词的能力、与词根的粘附度等方面。
互联网摘选
两个实验以汉语歧义句为材料，探讨了前后刺激语义线索在不同相容条件下歧义句意义选择的过程。
互联网摘选
基于认知情态和模糊调和语语义上的相容性，提出了认知情态类模糊调和语这一暂时性概念。
互联网摘选
方言动词系统、词义系统与普通话的不同以及语言习惯的制约是造成语义相容性差异的主要原因。
互联网摘选
虽然模式可以根据目的及输入输出参数的交互组合在一起，但组件模式的语义兼容性并不容易进行机械性的分析。
互联网摘选
本文采用语义数据建模技术表示工程设计数据的逻辑组织结构。
互联网摘选
该方法采用XYZ/E描述，首先确保规范与被测软件的语义一致，其次，利用XYZ/E规范的逻辑程序属性，实现了对测试用例中输出期望的Prolog自动推导求值。
互联网摘选
该规范的语义是应当创建已引用对象的一个副本，并指定另一个名称。
互联网摘选
DTD是一种基于语法的XML规范形式化定义，在考虑结构完整性约束时，一种基于pattern的XML规范形式化定义XSCs模式可以与其联合使用，使得生成的DTD具有更为丰富的语义。
互联网摘选
该方法分析了时序图的语义信息并添加语义约束规约生成可测试模型，从中提取相关信息生成有限状态机；
互联网摘选
An Ontology-based Time Semantic Specification and Verification Approach for Web Service
一种基于Ontology的WEB服务时间约束定义及验证方法
互联网摘选
将层次分析法、语义差别隶属度法等集成，形成了质量竞争力评价工具集。
互联网摘选
最后，用Plotkin风格的结构操作语义SOS（structural operational semantics）规则归纳地给出满足组合性的UML状态机语义。
互联网摘选
以上示例演示了CSP的复合语言&即如何用Parallel构造把细致的无状态的组件组成分层的网络。
互联网摘选
