查询词典 semantics

In order to improve the expression capability and the performance ofthe graph transformation in applying to software evolution, a softwareevolution operation description language SEOL (Software EvolutionOperation Language) is proposed, and the structured operational semantics on SEOL is studied, and then the semantic equivalence analysismethod about software evolution operation is described. To the SEOLexpression, the dissertation builds the corresponding processingmechanisms, which include the basic principles and the processing flow,and discusses the graph transformation description in SEOL.

为提高图变换在软件演化应用中的表达能力和处理性能，结合谓词逻辑，论文提出了软件演化操作描述语言SEOL(SoftwareEvolution Operation Language)，研究了SEOL语言的结构化操作语义，指出了软件演化操作语义等价的分析方法，针对SEOL语言表达式，构建了相应的处理机制，包括处理的基本原理和处理流程，讨论了图变换操作的SEOL描述。

Once computers are equipped with semantics, they will be capable of solving complex semantical optimization problems.

一旦电脑配备的语义，他们将能够解决复杂的语义优化问题。

Kripke gives a semantical analysis to necessity, and establishes semantics of possible world.

另外，这种研究本质的方法——追求精确化，将导致一个不可避免的结果——简单化。

I don't want to hear semantics.

我不想和你玩文字游戏

Jack: I don't want to hear semantics.

我不想听任何语义上的解释。

When you do need shared semantics, this library is not what you need.

如果你需要分享的语义，那么本库不是你所需要的。

This thesis tries to study it from the viewpoint of semantics.

本文试图从语义学的角度进行研究。

This also is an attempt to giving the semantics of object.

这也是我们对给出对象语义的一个尝试。

This is not just a study in semantics.

这不仅仅只是一个语义研究。

They are all established from the aspects of syntax and semantics.

它们都是从句法以及语义的角度建立的。

Go to your desktop and right click in a blank space.

请到您的桌面，然后右击一个空白。

Tara appears in Buddhism, Jainism, and particularly, Tibetan Lamaism, as a complex array of manifestations: goddess of ascetism and mysticism, mother creator, protectress of all humans as they cross the sea of life.

度母出现在佛教，耆那教里面，尤其是西藏的喇嘛教，作为一系列的陈列阵容；神秘的女神，创世之母，人类横过生命之海洋的女性保护者。