查询词典 soundness

The soundness of this claim has received little attention.

这一论断的合理性引起了一些注意。

People were familiar with the soundness of the poet's taste.

人们熟悉这位诗人风格的保守性。

But the good news is that China's current account and fiscal projects very soundness of the Chinese economy will continue to maintain rapid growth.

但好消息是，中国的经常账户和非常我国经济的稳健的财政项目将继续保持较快增长。

Structure and soundness is what is important

狗的结构和牢固性，才是最重要的！

And its soundness and completeness are proved.

并证明了其可靠性和完备性。

Internal control and the soundness of the implementation of regulatory bodies are increasingly becoming the focus of attention and investors.

公司内部控制的完善与否和执行情况，日益成为监管机构和投资者关注的焦点。

Ping An is the financial soundness of the insurance companies.

平安是财务稳健的保险公司。

According to given formal semantic, it has been proven the soundness and completeness of this system, and paradoxes of strict implication does not be occurred in this system.

根据给出的形式语义，证明了该系统的可靠性和完全性，并且证明了严格蕴涵悖论在该系统中不会出现。

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

Soundness of the rock surface must be included in the topographic study.

岩石表面的坚固性，必须包括在地形研究之内。

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%的主要污染物排放，就是一个这样的例子。