查询词典 predicate

Through the above regularities, we can predicate the contact reliability of relay according to the value of contact resistance varying with pulse current.

进而在继电器可靠性研究与分析中，我们根据这一规律可以来预测触点接触可靠性。

The second parameter is the list of predicate arguments each wrapped in round brackets.

第二个参数是断言参数列表，使用圆括号外覆(BOOST_PP 序列格式)。

At syntactic level, in translating the four-character structures, flexible translation of concrete and abstract words must be taken into consideration; as for the successive use of four-character structures, non-predicate forms and simple clauses are adopted; and the Chinese run-on sentences are reorganized in structure and translated into simple clauses and loose sentences in English.

在句法层面，翻译成语时，抽象和具体词汇之间需要灵活转换；多用非谓语动词结构和简单分句来处理连续的四字格；按照英语习惯重组汉语流水句，将其转化成英语的简单句和松散句。

Later, in order to provide a semantical model for the program withprobability choice, many researchers research the probabilistic predicate transformers.

后来，研究学者为了给带有概率选择的程序提供语义模型，提出概率谓词转换器。

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...

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

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。