查询词典 semantics

The semantics of components is not considered part of an architecture, but the semantics of connectors is.

组件 的语义不认为是架构的组成部分，但连接器的语义不同。

When asked for a formal semantics of the formal semantics Milner's head explodes.

但是，如果有人向米尔纳询问&这个形式语义本身的形式语义&是什么，米尔纳的头就该炸了。

And etc but also overcomes the shortcomings of the true-false subset semantics and twin-subset semantics.

而且克服了前期工作真假子集语义和双子集语义表示的缺陷。

For its implementation in object-oriented languages, its operational semantics and denotational semantics are given.

本文给出了型构兼容的继承的操作语义和指称语义，为其在面向对象程序设计语言中的实现奠定了基础。关键

Operational semantics can help us to interpret and execute a language, axiomaticsemantics has great facility in verification, and denotational semantics o?

程序语言的语义可以帮助人们更好的理解、执行、分析软件系统。

For the single agent case, a fixed-point semantics which can be translated to the answer set semantics of the general logic program is given and is proved equivalent to the complete Bonatti stable set.

对于单主体的情形，给出了一种不动点语义，证明了它和完全Bonatti稳定集等价，并可以转化为扩展逻辑程序的回答集语义。

This chapter has taken the late Qing Dynasty imperial examination and officialdom vocabulary semantic field as example,and analyses the general picture of vocabulary semantics in The Records of Officialdom Exposure by modern Chinese semantics,and analyses and contrasts the synonyms in The Records of Officialdom Exposure.

第四章：《官场现形记》词汇语义分析，以晚清科举和官场词汇语义场为例，运用现代汉语语义学的理论分析了《官》中词汇语义的概貌，并对《官》中的同义词进行了分析、对比。

Firstly some viewpoints are not accurate, for example "convention T is the definition of true sentence","truth-conditional theory is truth-coincidence theory". Secondly no one takes note of the relationship between Tarski's truth-conditional semantics and Carnap's intentional semantics.

但这方面的研究就目前来看，至少还存在两个方面的问题：第一，有些提法是不准确的，如&T约定即真句子的定义&，&塔尔斯基的真值条件论是真理符合论&；第二，忽视塔尔斯基的真值条件语义学与卡尔纳普的内涵语义学间的联系。

To express the object semantics efficiently, the structure of ANGEL complex object is represented as an indexed n-ary tree in the secondary memory, while in the main memory, it's represented as a directed acyclic graph.

为有效表达对象语义，ANGEL的复杂对象结构在外存中表现为带索引的多叉树，在内存中则表现为有向无环图。

However, Green (1996, p.5) provides useful elaboration by definition when he stated,"Semantics is compositional and is basically truth conditional." As Poole (2000, p.11) states,"the disparity between what we intend to communicate and what we actually say is central to pragmatics." But in the above example use of "failure" in respect to a friend, what if the addressor was trying to be ironic and or slightly comical within an appropriate context.

不过，格林(1996，p.5)提供了有用的拟订的定义，他说，"语义成分，而且基本上是真理有条件"作为poole(2000，p.11)，"之间的差距，我们打算进行沟通，其实我们说的是中央对语"但在上述例子中使用"失败"，对于朋友，假如addressor正在设法予以讽刺或略有滑稽在一个恰当的背景。

"The operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。