semantics的例句大全

Based on analyzing the structure of syntax and the reduction system of semantics in seal-calculus and boxed ambient calculus we present a few equivalence relation: communica-( tion's) equivalence, communication primitive's equivalence and the equivalence of code movement.

本文在系统分析Seal演算与Boxed Ambient演算的语法结构和语义规约系统的基础上给出了一些等价关系：通信等价、通信原语等价和代码移动等价。

Studying the Relationship Between GAMMA and UNITY Model Based on Axiomatic Semantics

从公理语义看UNITY模型和GAMMA模型的关系

In this paper, we mainly discuss the axiomatic semantics of class and polymorphism for Java, including the correlative component.

本文以Java语言为背景，重点讨论了类的继承和多态性的公理语义，同时也给出了必要的及相关的语言成分的公理语义。

Algebraic semantics and inheritance of an abstract class with trace

具迹抽象类型的代数语义与继承

Research on Algebraic Semantics of Message Sequence Charts

MSC代数语义研究

Algebraic Semantics of Modeling Language AML

面向对象建模语言AML的代数语义

It makes full use of the advantages, including that algebraic semantics describes the abstract data types, Hoare logic describes the software functions and UNYFY logic describes the properties of parallel programs.

其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。

Petri nets vs algebraic parallel semantics

Petri网和代数并发语义

Chinese Temporal Semantics Analysis Based on Ontology

基于Ontology的汉语时间语义分析

Analysis and Inference of Chinese Temporal Semantics

汉语时间语义分析及推理

A STRUCTURAL APPROACH TO TEMPORAL SEMANTICS Methods The 15 soldiers selected through a hierarchical sampling method were treated by an un-structured interview.

方法采用分层随机取样法对抽取的15名陆军军人进行结构式访谈。

A temporal semantics for Occam

Occam语言的时态语义

A compactness theorem of abstract semantics

关于抽象逻辑紧致性的一个定理

In cognitive linguistics, the conceptual system that emerges from everyday human experience has been shown to be the basis for natural language semantics.

认知语言学认为语义结构等同于概念结构，而概念结构源于人类与周围世界的身体接触。

Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic ε LN

描述逻辑εLN循环术语集的不动点语义及推理

Key Concepts of Describing Abstract Semantics Facing the Object Language

描述面向对象语言抽象语义的几个关键概念

Thirdly, we define abstract semantics of a meta model.

第三，设计了一套元模型的抽象语义。

SPM-CMM provides abstract syntaxes and rule semantics for CMM software process, and also supports of modeling of CMM integration with UML CASE tools.

该元模型既支持CMM软件过程的抽象语法和规则语义，也支持利用UML CASE工具操作CMM软件过程模型。

In other words, an ontology provides an explicit conceptualization that describes semantics of data, providing a shared and common understanding of a domain.

另一个说法，本体提供了用来描述数据的含义的显式概念，从而提供了对某个领域的共享的和公共的理解。

The great difference in syntax and semantics of data collected is a tough problem for management platform.

语法和语义异构的数据采集是网络管理平台的基础和难题。