查询词典 correctness

In Chapter Six, the denotational semantics of FOPL is developed on an abstract universal space D, and the correctness of the denotations of types and correctly typing of the denotations of expressions are discussed.

第六章在一个抽象的全称域D上开发了FOPL的指称语义，并讨论了类型指称的正确性和表达式指称的正确附类型。

Actual examples and simulation results verify the correctness and validity of the proposed method, which can provide effective decision-making supporting information for dispatchers.

通过实际算例仿真，验证了所述方法的正确性和有效性，对实际配电网的调度运行具有一定的指导意义。

This is done by formalising the NSL (Needham-Schroeder-Lowe) protocol and its correctness in Agda, an interactive proof editor, using both the inductive method and strand spaces in Agda.

使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化，并比较了这两种安全协议验证法，证明两种方法形式化的正确性和攻击者能力是相同的。

The π-calculus overcomes inabilities of web service flow languages in demonstrating the consistency,validating the correctness and so on.

该方法能克服web服务流语言不能表明一致性及进行验证等缺陷。

The West has printed a lorryload of angst-ridden books about the demise of the intellectual. Political correctness and academic over-specialisation have indeed hurt the quality of much that is said in the media and taught in the universities.

西方国家关于担心知识分子让贤的书籍已是汗牛充栋，政治立场正确和学术过分专业化确实已经损害了很多媒体和大学教育的质量，但是很多抱怨的根基依然是过剩存在的潜在问题。

The tested results have validated the correctness of the theory of magnetic potential self-balance and feedback compensation dc sensor.

实验结果证实了磁势自平衡回馈补偿式直流传感机理和方法的正确性。

We have all seen the Political Correctness Thought Police screaming abuse at the dreaded paedophiles on our television sets.

我们在电视里看到那些政治思想正确的警察冲着令人畏惧的恋童癖者尖叫或虐待他们。

The comparasion of the theoretical counting result and experimental values is proved the correctness of this inference and relative counting method. This plays a guiding role in the study of medium refraction index, and material making in a particular field which has a special ...

通过理论计算和实验数值的对比表明，所推导出的结论及相关的计算方式是正确的，对介质折射率的研究和在特殊领域对折射率有一定要求的材料的制备具有一定的指导意义。

A numerical test applied to solar prominences further shows the correctness of the theoretical results.

进行了关于太阳日珥的数值试验；它们进一步直接表明理论结果的正确性。

In the application of correctness principle, we need to use the correct grammar, spelling and punctuations.

在正确原则在英语商务信函写作的应用中，我们必须使用正确的语法、正确的拼写和正确的标点符号。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。