查询词典 soundness

Size measured at the shoulder--Males 25 to 27 inches; females 23 to 25 inches. Oversized dogs should not be penalized when general soundness and proportion are in favor. Penalize undersize.

首先，黑褐猎浣熊犬的本质是一种工作犬，一种追踪和将猎物赶到树上去的猎犬，需要他在工作时，能够抵御冬季的严寒和夏季的炎热，并适应复杂的地形条件。

Their unhealthiness is their soundness, and is what carries conviction.

病态是他们的基石，使他们变得具有说服力。

Lastly this thesis carry out a detailed examination on the unsoundness of China's financial system, and put forward some suggestions from the structural angle to reinforce the soundness of financial system.

论证了一国金融结构的合理与否与该国金融体系的稳健与否有着很强的正相关关系：3。

Your veterinary surgeon will give you advice as to the method and procedure for examining the horse for health and soundness.

你的兽医会给出建议告诉你检查马匹健康的方法和步骤。

Description of the waste disposal method and its soundness from environmental point of view.

描述所使用的处理废物方法及其环境效能上的理据。

The soundness and weak completeness of PBL〓 are proved.

提出了概率信念逻辑PBL〓，证明了PBL〓的概率模态语义是可靠且弱完备的。

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作&细精度&的语义刻画。

UCSA maps each symbolic cryptographic operation in Dolev-Yao model to an ideal functionality in the UC framework, resulting in simpler proofs for cryptographically soundness at the same time.

UCSA框架将Dolev-Yao模型中密码学抽象操作与UC框架中的理想功能进行了结合，使得通过形式化分析方法可以证明安全协议的在密码学环境下的一些性质。

Secondly, we will present some variants of the update semantics with dichotomic definition, and thus prove the frame soundness of some epistemic systems and conditional systems with respect to the variants.

其次，我们提出带两分定义的更新语义的某些变种，从而证明某些认知系统和条件句系统相对这些变种有框架可靠性。中山大学逻辑与认知研究所；中山大学哲学系

Based on current references about periclase expansion, it is considered that MgO con- tent limitation stipulated in the present national cement standard should be replaced by examining cement soundness with autoclave expansion test in order to guarantee quality of concrete engineering and to make full use of limestone resources.

所以直至今日仍有很多学者在为保证混凝土长期安定和合理使用资源两者之间探索新的路子。我国水泥标准在1977年修订时放宽了MgO规定，但它并不完全是建立在科学的，合理的基础上，其规定本身在实践中尚存在矛盾现象。

If you are unfortunate enough to the lovelorn, please tell me, I will help you out, really, please contact me!

如果你不幸失恋了，请告诉我，我会帮助你摆脱困境，真的，请联系我啦！

China's plan to cut energy intensity by 20 percent and pollutant discharges by 10 percent between 2006 and 2010 is a case in point.

中国计划在2006年到2010间降低20%的能源强度和减少10%的主要污染物排放，就是一个这样的例子。