查询词典 assertions

How to generate program assertions is of great importance to software verifications Classical approach to this problem relies on a good command of program structures and repeatedly applying Hoare's rule for deducing Hoare triples.

如何生成程序断言对于软件验证十分重要。传统方法要求既要对程序结构有深入地把握又要做繁复的Hoare三元式推演工作。

The professionals of the city are like chess players who lose to computers. A perverse automatic pilot constantly outwits all attempts at capturing the city, exhausts all ambitions of its definition, ridicules the most passionate assertions of its present failure and future impossibility, steers it implacably further on its flight forward. Each disaster foretold is somehow absorbed under the infinite blanketing of the urban.

"城市专家"们就像是输给了电脑的国际象棋手，眼看一种非正统的无意识机制智胜了所有对城市的觊觎，粉碎了所有权威的野心，它以今日的胜利告知所有激情洋溢的辩解以未来的失败，它正晃晃悠悠的飞行在前往必然未来的航程上，在其中几乎所有被预言的危险性都被它无边无际的城市覆盖物所吸收了。

The invoker then interacts with the ontology engine and retrieves the assertions based on the context.

然后这个调用会与本体论模型引擎相互作用，并根据条件查询相关的断言和策略。

They are not, as scientific theories are, assertions or contentions as to what is or what is not the case; the atomic theory or the kinetic theory of gases is a theory of this sort.

它们不象科学的理论那样构成对事实是什么或不是什么的主张或争辩，而原子理论或大气动力理论则属于此类理论。

Those Legalist assertions from the class of literati made the Song Dynasty one of the dynasties famous...

士大夫们的法律思想使得宋代成为最重视以法治国朝代之一，也使得中国古代刑罚从宋代开始有了加重的趋势。

Protestants have criticized Mariology because many assertions apparently lack biblical foundation.

新教徒批评mariology ，因为有很多的断言，显然缺乏圣经的基础。

So it is not surprising that politically expedient assertions about China have become as American as fortune cookies, and as sententiously meretricious as the prophecies and advice these encase.

所以毫不奇怪，既有将中国视为同美国一般财富源泉的积极的政治评价，也有说教的预言和忠告，称中国不过是华而不实、徒有其表。

Moulder and Valberg, while aware of the new research, justify their assertions by pointing both to invalidated research and to "blue panels" that, relying upon the now-invalidated research, had found insufficient evidence for such a relationship.

铸工和Valberg ，同时了解新的研究，证明自己的说法，指出既无效的研究和"蓝板"的是，依靠现在已经失效的研究，发现证据不足的这种关系。

This is ultimately what is at stake in assertions such as those of Lewis Mumford that two traditions of technology, one authoritarian, the other democratic, exist side by side in Western history.

这是在紧要关头下的最后主张，像是路易士。孟福等人所说的，技术的两种传统，一种是独裁的，另一种是民主的，并且於西方历史中交互更替地存在著。

It was utterly unconscious that its every answer was a mystification or a whimsical invention; in fact, it gained mastery over men's minds by the astonishing completeness, minuteness, and consistency of its assertions.

它完全是无意识的，它的每一个答案是一个神话或异想天开的发明，事实上，它涨主宰男子的头脑惊人的完整性， minuteness和一致性的说法。

"Please accept this talisman as a token of our thanks."

请收下这个护身符以表达我们的感谢。

If I have that magic, I will be more acceptable in the society.

如果我拥有那种魔法，我将更加被这个社会所容纳。