semantics的例句大全

This paper, mainly using metaphor theory in the cognitive linguistic, analyzes and sorts the general semantics of xia.

文章主要运用了认知语义学中的隐喻理论，对下的整体语义进行了分析与归类。

International Society for General Semantics

国际普通语意学学会

General Semantics: A Linguistic Study Mainly for Diagnosis and Treat

以诊疗为己任的语义学说：普通语义学

The general semantics is an important school in American Language philosophy, which aroused some comments, mainly negative, in China.

普通语义学是美国语言哲学领域中的一个重要派别，我国学术界对此也有一些粗浅的评介，但大都持否定的态度。

On General Semantics and the Theoretical Foundations

论普通语义学及其理论基础

Programs have appeared as O_expressions ( expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.

程序以操作表达式的形式呈现，而其语义则以公理的形式给出。

The partial weakest precondition is another way to represent the over-approximated program semantics, and its definition is also based on variable abstraction.

部分最弱前置条件是程序保守近似语义的另一种表示方法，同样基于变量抽象定义。

We then present the partial strongest post-condition, which represents the over-approximated program semantics.

基于变量抽象，我们定义了部分最强后置条件，进而定义了程序的保守近似语义。

So, this paper addresses how to define program semantics on dynamic data structures.

本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。

On Program Semantics of Dynamic Data Structures

论动态数据结构的程序语义

Ontology, by way of formal specification of share concepts, provides a method to resolve the semantic heterogeneous, since it can be used to express the semantics of data sources, identify and construct the semantic relationship of the concepts, compass the semantic consistency.

本体作为共享概念的形式化说明，用于表达数据源的语义、识别和建立概念间的语义关联、达成语义一致，提供了语义异构问题的解决途径。

That how to organize it is discussed also. Four kinds of rules are designed especially to dig out hidden semantics of data deeply. ( 3) Design the algorithm of querying on large scale of data source, which called DSQ.

论述了如何构建语义信息资源目录，尤其是如何深度发掘数据暗含语义，设计了四类规则促进语义的发掘。（3）设计了在大规模数据源上进行语义查询的DSQ算法。

XML and ontology as the key technologies solves the problem of the syntax and semantics of data heterogeneous. This model shields the differences of physical and logical of the data source to the upper layer users, achieves transparent access.

XML和本体作为系统采用的关键技术分别从语法、语义两个方面解决了数据的异构问题，对上层用户屏蔽了底层数据源物理和逻辑的差异性，实现了应用层的透明访问。

Petri nets vs algebraic parallel semantics

Petri网和代数并发语义

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逻辑描述并行程序性质的优点。

Analysis and Inference of Chinese Temporal Semantics

汉语时间语义分析及推理

A temporal semantics for Occam

Occam语言的时态语义