查询词典 predicate calculus

The primary studying works and characteristics:1 To summarize reinforcing theory of cement mixing pile composite foundation2 To analyze the primary mechanics characters and changing rules of cement mixing pile, based on analysis of test data both indoor and outdoor.3 To discuss siding frictional resistance, ending resistance, ultimate bearing capacity of simple mixing pile and effectiveness factor of grouped piles, loading ratio of soil between piles under cushion cap of grouped piles and stress ratio of pile and soil and so on, and use many computation method and experimentation method to ensure bearing capacity of mixing piles composite foundation.4 To point out and analyze eight sides flaws and problems of the bearing capacity calculation method of mixing pile compositefoundation which ensured by national and normative method/ formula.5 To apply test results of loading tests and a few settlement observation data, use gray theory to predicate ultimate bearing capacity of deep mixing piles, actual example demonstrate engaging between theoretical predicted value and actual value.6 To apply groovy layerwise summation method to discuss entity piles method, double foundation method, equivalent layerwise summation method and consolidation theoretical method and so on, especially by combination of engineering example, use FEM to calculate or discuss the settlement and changing rules of composite foundation.7 To discuss problems of critical length of composite foundation by combination of engineering example and numerical analysis method, and analyze the contrast of critical length between simple pile load and most area load of composite foundation, not only critical length of composite foundation is relative to modulus ratio between piles and soil, but also upside load distribution area of composite foundation.

主要的研究工作与特色为：(1)总结了水泥搅拌桩复合地基的加固原理；(2)在对室内外试验资料进行统计分析的基础上，系统分析了搅拌桩水泥土的主要力学特性及其变化规律；(3)探讨了搅拌单桩的侧摩阻力、端阻力、极限承载力及群桩效率系数、群桩承台下桩间土荷载分担比及桩土应力比等，提出用多种计算方法并结合试验方法来综合确定搅拌桩复合地基的承载力；(4)明确指出和分析了按国家有关规范的方法确定搅拌桩复合地基承载力所存在的八个方面的缺陷与问题；(5)利用过去没有加载至破坏阶段的载荷试验成果和较少的沉降观测数据，尝试了用灰色理论预测深层搅拌桩的极限承载力，实例表明理论预测值与实测值吻合较好；(6)在常规分层总和法的基础上，探讨了复合地基沉降计算的实体墩基法、双层地基法、等效作用分层总和法、固结理论法等，特别是结合工程实例，用有限元数值计算等方法计算和讨论了搅拌桩复合地基的沉降及其变化规律；(7)结合工程实例，用数值分析方法探讨了复合地基临界桩长的问题，指出和分析了单桩荷载下的临界桩长与复合地基大面积荷载下的临界桩长存在很大的差别，复合地基的临界桩长不仅与桩土模量比有关，而且与复合地基上部荷载分布面积有关。

The predicate-object structure is one of the most important structures in Chinese as a SOV language and reveals quite a few syntactical traits of the Chinese language with its rich usages.

述宾结构是汉语作为SVO语言中十分重要的语法结构之一，汉语句法关系的许多特点，在述宾结构中都有反映。

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一归结原理进行了初步探讨。

The term in a syllogism that is the predicate of the conclusion.

在三段论法中作结论谓语的术语。

Aristotle not only invented syllogistic reasoning but also gave such a thorough analysis of the subject-predicate relation and all syllogistic forms that this method, now called deductive logic, has virtually remained unchanged to this day.

亚里斯多德不仅发明了三段论推理的方法，还极为彻底地研究了这种命题-推断模式，掌握了三段论推理过程的所有形式。直到今天，这种方法依然维持着最初的状况，我们现在称其为演绎逻辑。

Summary predecessors symmetric predicate introductory part of the study results, and the purpose of their resear...

绪论部分综述前人对称谓语研究的成果，并提出自己研究的目的和方法，以及文学作品称谓语研究的意义。

Every girl was used to be a tearless angel , that period , I predicate that she was certain to dry her eyes.

每个女孩都曾是个无泪的天使，那次，我断定她肯定苦红了眼睛。

What it is for the proposition to be true, says Leibniz, is for this relation of containment to hold, ie for the predicate to be contained in the the subject.

它的命题为真说，莱布尼茨，是举行，为谓词即应包含在受这种遏制的关系。

But that number in front of uncountable nouns plural noun, the predicate verb in the plural form.

但当不可数名词前有表示数量的复数名词时，谓语动词用复数形式。

At the same time, the author prove the product of a number in the unit interval [0, 1]and a stable fuzzy predicate is stable.

给出稳定模糊谓词的数乘运算仍是稳定模糊谓词的证明。

If you were not , and OS X just booted normally, have no fear.

如果你没有，和OS X刚刚启动通常，没有恐惧。

I only want to preserve our all .

我只想保存好我们的一切