查询词典 existence proof

In this paper, a decision method as well as the proof for existence of vector-valued rational interpolants are given, and the expression of the rational interpolants' numerator and denominator are given.

这里利用标量有理插值函数插值存在性的思想，引入Newton基函数，给出并证明了向量值有理插值存在性的一种判别方法。

It gives the definition of resolvent operator, theorems of existence of mild and strong solutions and the proof.

这些结论为进一步研究此类方程的可控性提供了理论指导。

In the first part, we will first deal with the strong Bonnesen-style inequality (2.1.3) for closed convex curves in the plane (the numbers of formulae and references are those of them in the context below). Bonnesen had first proved the weaker inequality (2.1.2) in [12] and several years later, he outlined in his monograph [13] various Bonnesen-style inequalities including (2.1.3), he considered, however,(2.1.3) as a direct consequence of Kritikos theorem for convex bodies in higher dimensional Euclidean spaces,. Here, we will give an independent proof of the existence for inequality (2.1.3), and by the way, give an estimate on the width of the bi-enclosing annulus of closed convex curves in the plane.

具体地讲，在第一部分中，首先讨论平面上闭凸曲线的强Bonnesen型不等式(2.1.3)(公式的编号和参考文献的编号引自后面的正文)，Bonnesen在文[12]中先证明了较弱的不等式(2.1.2)，几年以后，在他的著作[13]中，讨论了多种Bonnesen型不等式，其中包括不等式(2.1.3)，不过，他把(2.1.3)作为高维欧氏空间中凸体的Kritikos定理的直接推论，我们这里对不等式(2.1.3)给出独立的存在性证明，并且还对平面闭凸曲线的bi-enclosing环的宽度给出了一个估计。

Kant's proof of the moral faith is itself not a rigorous testification of God's existence, but a plead for the necessity and rationality of believing in God.

康德对道德信仰的论证本身并不是对于上帝存在的严格的证明，而是对于信仰上帝必要性与合理性的辩护。

So when an early writer shows his familiarity with them, quotes them as authoritative and as evidently well known to his readers, it may be taken as a proof not only of the existence and widespread knowledge of the Epistles, but that the writer took them for what they claim to be, genuine Epistles of St. Paul; and if the writer lived in the time of Apostles, of Apostolic men, of disciples of Apostles, and of Timothy and Titus (as did Ignatius, Polycarp, and Clement) we may be sure that he was correct in doing so.

因此，当早期的作家表明他熟悉他们，他们是权威的报价和明显众所周知他的读者，可以作为证据，不仅存在和广泛的知识的书信，但作者把他们的他们声称，真正的书信圣保罗；如果作家生活在使徒的时候，男人的使徒，使徒的门徒和蒂莫和提图斯（伊格内修一样，波利卡普，和克莱门特），我们可能可以肯定，他是正确的这样做。

So when an early writer shows his familiarity with them, quotes them as authoritative and as evidently well known to his readers, it may be taken as a proof not only of the existence and widespread knowledge of the Epistles, but that the writer took them for what they claim to be, genuine Epistles of St. Paul; and if the writer lived in the time of Apostles, of Apostolic men, of disciples of Apostles, and of Timothy and Titus (as did Ignatius, Polycarp, and Clement) we may be sure that he was correct in doing so.

因此，当早期的作家表明他熟悉他们，他们报价的权威性和明显众所周知，他的读者，可以作为一个证明不仅存在和广泛的知识，书信，但作者把他们的他们声称，真正的书信的圣保罗，如果作者生活在使徒时，男子的使徒的弟子门徒，以及霍震霆和提图斯（伊格内修一样，波利卡普，并克莱门特）我们可以可以肯定，他是正确的这样做。

Anselm's ontological argument is the only theistic proof to proceed a priori, that is, by reflection on the concept of God alone, with no reference to such external evidence as the existence or nature of the world.

安瑟伦的本体论的论点是唯一的有神论证明进行先验，即是由反射对的概念，只有上帝，没有提到这样的外部证据的存在或性质的世界。

This paper, starting to explain the definition and the analysis of Utopia, through Utopian ideas outside of Utopia or the development of the spirit of Utopia, persisting in the scientific theory of Marxism, mainly studies the value of Utopia and the beneficial inspiration of ideal society. Not only positively inquired about the Utopia and the society develop the objective law conjunction spot, also to the Utopia knew on misinterprets even is the misunderstanding proposes the question and the reply. Finally the ultimate objective which develops the Utopia meaning and the society is persons full scale development organic synthesis, and the establishment to the scientific attitude which positively develops the good and discard the bad enriches the Utopia thought connotation, simultaneously unceasingly gives the proof in the society historic course, for the impetus Utopia development future trend, then fundamentally will reject its own existence all sorts unreasonable factor, will enable the Utopia this society ideal perfect design to have the possibility under the situation which the humanity will progress which the reality will transform.

本文拟从乌托邦的原始解读入手，运用例证法、引证法、对比法、定义法、演绎法和归纳法，通过乌托邦思想史的历史溯源，以马克思主义的唯物史观和科学社会主义等理论为依据，全面剖析乌托邦正反两方面的价值性，在着力探讨乌托邦合理成分转化为理想的可能性基础之上，就乌托邦的取舍问题提出个人的见解，最后再将乌托邦置于当前社会发展的背景下，按照构建和谐社会乃至和谐世界的总体要求，对进一步澄清关于乌托邦的模糊认识，并使乌托邦走出历史发展中的误区注入新的血液和营养，从而能够真正发挥乌托邦人性关怀的精神救赎作用，实现乌托邦理性光芒与马克思关于人的全面发展的思想的高度统一，为不断促进人的全面发展提供更加美好和更加广阔的希望空间。

So it seems as if Leibniz has a three-line proof from PIS to the non-existence of contingent truths.

因此，好像莱布尼茨有三线从私立证明非队伍的真理存在。

Due to the existence of counterfeit cigarette, the cigarette factories and tobacco monopoly administrations use many forgery-proof measures.

由于劣质假冒香烟的存在，卷烟企业和烟草专卖管理部门采用了多种防伪措施。

Do not gum up the work by telling mother what we are going to do .

别告诉母亲我们要干的事，那会把事情搞糟的。

In recent years, application of the partial prestressed concrete beam s is developed.

近年来，随着部分预应力砼梁应用的推广，发现我国规范所采用的名义拉应力法的计算结果不稳定。