assertions

Avoid making intuitively obvious but unfounded assertions.

避免作出直觉上显而易见却没有根据的论断.

Improving on OVL assertions and CTL properties, three kinds of properties are defined and verified, and the experimental results demonstrate the scheme improves the verification efficiency and scale.

通过对OVL语言和CTL描述进行改进，针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质，实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。

Deconstruction's central assertions that language is by nature arbitrary and that meaning is indeterminate are examined.

解构的语言是任意的性质和意义是不确定的中央断言是审查.

Heung Yee Kuk people of course have the right to fight for their rights, but there are objective tests of reasonableness, and individuals'assertions do not count.

乡议局当然有抗争的权利，但是否合理，需经得起客观标准验证，不由任何人说了算。

One should avoid making assertions without good grounds.

说话要有根据.

The assertions are like springs catapult us back to the guard.

这种断言就象弹簧一样将我们弹回到防护处.

Nevertheless, there has been little in the way of substantive proof to back up the assertions-no leaked photos, just questionable Photoshop mockups.

不过，还没有什么可靠的证据支持这个传言——没看到谍照，只有一些用Photoshop加工过的伪照。

Every attempt was made to throw discredit upon his assertions.

那些人千方百计地破坏他所说的话的信用.

Nevertheless, there has been little in the way of substantive proof to back up the assertions& no leaked photos, just questionable Photoshop mockups.

不过，还没有什么可靠的证据支持这个传言&没看到谍照，只有一些用Photoshop加工过的伪照。

It's important to understand that Keynes did much more than make bold assertions.

很重要是要明白,凯恩斯除了以上大胆断言之外,所做远远不止这些.

Disable debug assertions, even if building the debug version of the executable.

关闭调试断言, 即使是构建可执行文件的调试版本.

These two assertions do not hang together.

这两种说法互相矛盾.

Despite our assertions about the desirability of probabilistic estimates the problem is not statistical.

尽管我们对预计的几率提出希求,预测的问题仍然不是统计学性的.

Poorly designed software will make assertions that no self-respecting individual would ever make.

设计糟糕的软件会做出凡是有自尊的人都不会做出的断言.

It rejects all dogmatic and speculative assertions in philosophy.

它摈弃哲学中一切教条的和纯理论的主张.

If It can't Happen, Use Assertions to Ensure That It Won't.

如果它不可能发生, 用断言确保它不会发生.

Chronological assertions can constrain time value of one field based on the time of another field.

一个字段的值约束是在另一字段值的基础上的.

The two assertions are mutually exclusive , ie cannot both be true.

这两种说法相互排斥.

This revisionist thesis departs even further from Marxist assertions.

这篇修正主义的论文更加偏离了马克思主义的主张。

Litigants are obliged to present evidence for their assertions.

当事人对自己提出的主张,有责任提供证据.

The more extreme assertions about squatting-that it prevents cancer, for example-remain untested.

一些更极端的断言,比如说蹲姿能预防癌症, 还有待测试.

Let us restate the assertions above as a theorem.

我们把上述的断言重新表述为一个定理.

Promoters and arrangers of reverse mergers say short-sellers are making huge profits by releasing defamatory reports full of innuendo but little hard proof to back up their assertions of fraud.

反向收购的推销人和安排人称，做空者通过发布含沙射影、但对欺诈指控很少提出确凿证据的诽谤性报告，正在赚取巨额收益。

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.

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

Conversely, anyone with an axe to grind against the global economy looks like a seer willing to speak truth to power, no matter how outlandish his assertions.

在另一方面，任何反对全球经济的人看上去都像是一个预言家，愿意向权势说真话，而无论其主张有多么荒唐。

Such prescription has been too readily assimilated with assertions that all men are equal.

这类规定一直过于容易地与人人平等的主张等同起来.

He attempted to rebut the assertions made by the prosecution witness.

他试图反驳控方证人所作的断言.

Use assertions to catch logic errors in your code.

使用断言捕获代码中的逻辑错误.

There are considerable difficulties in clarifying the procedures appropriate for testing such assertions.

要说清楚适宜于检验这种主张的程序是相当困难的.

To implement the auto loan process, we'll extend the content-based assertions defined in the Business Service Model, and build the following two new assertions

为了实现该汽车贷款流程，我们将扩展业务服务模型中定义的基于内容的断言，并构建以下两个新的断言