查询词典 proof theory

In this paper we combining connecting tunnel project of Subway Line 4 at Xidan-lingjing bystreet in Beijing. To aim at the difficulties of building large-span connecting tunnels in the fine sand layer, through roads and underground pipelines, construction nearby buildings and other project difficulties. Using theoretical analysis, numerical simulation, field tests and other research methods to comprehensive and systemic research the stratum deformation mechanism and process control techniques of shallow excavation method, and a series of results were obtained. Firstly, use the stochastic media theory to analyze the stratum deformation mechanism, concretely analyze the analytic equation of surface horizontal displacement and deformation which were caused by the excavation of single-hole and double-hole tunnel, and further discussion on ground settlement, vertical deformation, surface horizontal displacement and horizontal deformation. Analyzing the main influence factors of surface displacement, and combined with practical work to proof the theory which was applied to shallow buried single-hole tunnel in fine sand layer was scientific.

本文结合北京地铁四号线西单～灵境胡同渡线隧道工程，针对在粉细砂地层中修建大跨渡线隧道，下穿道路和地下管线，临近建筑物施工等工程难点，利用理论分析、数值模拟、和现场监测等多种研究手段，对浅埋暗挖隧道地层变位机理及控制技术，深入地进行全面和系统的研究，并取得以下成果：(1)引入随机介质理论，对地层变位机理进行了分析，具体分析了单、双孔隧道开挖引起的地表位移及变形的解析方程，并深入探讨了地表沉降、垂直变形、地表水平位移和水平变形的特点，同时分析了影响地表位移的主要因素，并结合工程实例，佐证该理论应用于粉细砂地层浅埋暗挖单孔地铁隧道的科学性。

The theory of compound propositions inference, The theory of categorical proposition inference, The modal logic, Foundational laws of logic ,The theory of inductive logic ,The theory of proof and refutation.

主要有：概念的理论，命题的理论，复合命题推理，直言命题推理，模态逻辑，逻辑规律和归纳推理。

The thoughts, theory and understanding from these materials are used to expound the natural and social phenomena of the human body, and get the conclusion that the qualitative analysis is sufficient,while the quantitative concepts are scanty; subjective experiences and clinical disproof theory are plentiful while concrete proof analysis and morphological injury principles are scarce.

自然哲学医学模式是以社会科学、社会现象和社会心理知识素材为主要工具，研究和认识人体健康与疾病状态，注重反映人的本质属性即社会属性，与生物-心理-社会医学模式比较，既有其自身系统性和完整性，更有其临床治疗理论及较强的可操作性。

One reason is that the model is an algebra method and it is based on the theory of minimal element. It can give more credible proof. Another reason is that the model tries to prove security of protocols, rather than check them. Thirdly, the model is simple and easy to use, and proof can be finished by manual. Moreover, graphic description makes its proof more comprehensible. Fourthly, there is much research work related to the model, which gives me a good springboard.

首先，该模型是一种代数方法，以极小元等理论为基础，可以给出可信度较高的证明；其次，该模型不是验证协议，而是试图证明协议的安全性；第三，该模型简单、易用，可以手工的方式完成证明，而且图形表示使其证明更加直观；第四，关于该模型有许多相关的研究工作，这为进一步工作打下了良好的基础。

Rule、fact and proof are the three core category, there are multivocal,but there are also identical,no matter it is definition of exploring essence, or it is disconstraction of post-moderuism what can not explain this point of self-contradiction, only under the precondition of fusing the advantages of this two kinds'theory, rule、fact and proof can be understood in reason and identically.

规范、事实与证据是司法过程中的三个核心范畴，具有多义性，但又能够在司法过程中融贯一致，无论是探寻本质的定义方法，还是后现代主义的解构方法都不能合理地解释这一点，只有在融合这两者理论优势前提下，规范、事实与证据才能够得到合理而一致的理解。

Rule、**ct and proof are the three core category, there are multivocal,but there are also identical,no matter it is definition of exploring essence, or it is disconstraction of post-moderuism what can not explain this point of self-contradiction, only under the precondition of fusing the advantages of this two kinds'theory, rule、**ct and proof can be understood in reason and identically.

规范、事实与证据是司法过程中的三个核心范畴，具有多义性，但又能够在司法过程中融贯一致，无论是探寻本质的定义方法，还是后现代主义的解构方法都不能合理地解释这一点，只有在融合这两者理论优势前提下，规范、事实与证据才能够得到合理而一致的理解。

Standard of proof is a signal of system of proof in theory.

从理论上讲，证明标准是刑事证据制度先进与落后、科学与愚昧的标志。

Limitations of quantification ; the "Labeling Theory"; three layers of human nature ; positive proof ; practical proof.

量化的局限性；标签理论；人性的三个层面；实证检验；实践检验

From the defects in the basic theory of present classical infinite theory, the essential relationship between Russell's Paradox and Cantor's proof on the uncountability of real number set and the proof on the Cantor's Theorem of is analyzed and a mysterious error is found:The core of Cantor's above two important proofs in set theory are actually another versions of Russell's paradox and the very same paradoxical idea was applied in both Russell and Cantor's work, and Cantor made wrong use of this paradox idea with two logical mistakes.

从经典无穷理论体系中的缺陷入手，深入分析了罗素悖论与康托的实数集合不可数证明及康托定理证明之间的本质性联系，发现康托在这两个证明里的核心部分实际上是罗素悖论的翻版，它们与罗素悖论有完全相同的思路，并且康托犯了两个逻辑性错误而误用了这个悖论思路。

Firstly, we construct the system DC of conditionals with double consequents, give some results of its proof theory.

首先，我们构造双结果条件句系统DC，给出一些证明论结果。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。