查询词典 predicate function

Entering to the future needs to predicate the future,bring out the future needs previse the future correctly.

要走向未来，必须预见未来，要实现未来，又必须正确地预见未来。

In 1879, the publication of ""Concept Writing"" marks the foundation of propositional calculus and the predicate calculus —— the basic part of mathematical logic.

1879年《概念文字》的出版，标志着数理逻辑的基础部分——命题演算和谓词演算正式建立。

Thus,§ 2.3 adds truth constants as special formulae to L* predicate logic and axioms about truth constants. The truth degree and the provability of a formula are proposed.

R_0代数是为适应系统研究的需要而提出的，因此对R_0代数作进一步的讨论有助于加深对分系统的认识。

The construction of numeral abbreviation can be roughly grouped into four types: subordination, coordination, subject+predicate and verb+object. Among them, subordination occupies the main part. Numeral abbreviation can be derived from either extracting the first, the middle or the last morpheme from its original words or generalizing them. Numeral abbreviation consists of four classes: word, phrase, sentence and text in terms of its original words. Most numeral abbreviations are disyllabic and quadrisyllable, and only a small number of them are trisyllabic and polysyllabic.

数字缩略语的结构有类化的特点，包括偏正式、并列式、主谓式、动宾式等，其中以偏正式为主；在抽取方式上，数字缩略语有抽头式、取中式、取尾式和统括式；从缩略的对象上看，数字缩略语的缩略可分为词、短语、句子和篇章四个层次；在音节分布上，数字缩略语以二、四音节为主，三音节和多音节为辅。

We further provide five principles to pin down the referentiality of the postverbal noun phrase with respect to the predicate construction.

此外，本论文亦提出五项原则来辅助判断在「 V 有/呒 NP 」谓语里，动词后名词组何时可以作为有指，何时可以作为无指。

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)结合工程实例，用数值分析方法探讨了复合地基临界桩长的问题，指出和分析了单桩荷载下的临界桩长与复合地基大面积荷载下的临界桩长存在很大的差别，复合地基的临界桩长不仅与桩土模量比有关，而且与复合地基上部荷载分布面积有关。

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。