查询词典 proof theory

Bioethics is full of implication of human rights,which is a reasonable proof of human rights theory.

生命伦理学饱含丰富的人权意蕴，成为人权理论合理性的印证。

One highlight of the theory is a proof that the homotopy category of any model category is naturally a closed module over the homotopy category of simplicial sets.

理论的一个最精彩场面是一个证据即任何模型种类的homotopy 种类自然是关闭的在simplicial sets。

The idea of zero cost cycle is devised to solve the critical problem of minimum cost flow. Additional related results obtained include: the theory of bottleneck analysis based on minimum cost augmentation chain and zero cost cycle; the proof of the existence condition and the coherence condition of bottlenecks based on network output; methods to solve various kinds of process bottlenecks; the development of the algorithms of optimization and bottleneck analysis of MCPN (i. e, MCPN-CBA1 and MCPN-CBA2); a series of scheduling strategies and algorithms based on cost analysis, profit evaluation and bottlenecks of process flow line.

四。提出了基于工艺流程成本分析、利润评价的两类生产网络模式：最小成本生产网络和最大利润生产网络；首次提出零成本圈的概念，从而提出并研究了最小费用流的临界问题；创建了基于最小成本增广链、零成本圈的瓶颈分析理论，证明了过程瓶颈的存在性条件以及基于网络加工量的瓶颈一致性条件；给出了求解各类瓶颈的关键技术，研究开发了MCPN的瓶颈分析算法MCPN-CBA1、MCPN-CBA2；提出了一系列基于工艺流程成本分析、利润评价及过程瓶颈的调度策略和调度算法。

The onus probandi theory in German significant diagnosing and treating error is similar to our country's contrapositive rule in proof responsibility.

德国的重大诊疗过失的证明责任理论与我国的证明责任倒置规则很相似，但二者在适用条件及当事人的证明责任负担方面有所不同。

You can say that the proof uses nothing beyond elementary matrix theory, repeated use of the triangle inequality, and the pigeonhole principle.

你可以简要地说其实证明就是初等矩阵理论，三角不等式和鸽笼原理的运用。

In Chapter 3, we discribe our main result and give a proof using Fontaine's ФГ-module theory.

第三章阐述了本文的主要结果，并利用Fontaine的ФГ-模理论给出证明。

Galileo's experimental proof of his theory.

伽利略用实验证明了他的理论。

Today, at the time of the strategy for the grand-scale being implemented, this paper primarily tests the relationship between Continental Bridge transportation and its economy through quantitative analysis, which can proof the dependability and feasibility of the "point-line" development theory.

当前，在西部大开发深入展开之际，本文从定量的角度验证陆桥运输的经济作用，检验西部大开发的"点——轴开发模式"经济理论的可靠性和可行性，为各级政府和企业的经济决策提供数量化建议，更有利于为交通部门及经贸部门在做具体决策、预测时提供数量化方面的依据。

In the writing process of this article, the author also tries hard to realize these two aspects breakthrough, certainly, because of the weakness of author'theory foundation and acquisition of information hastiness, this article is insufficient in the proof to the relation between responsibility of tort and the claim of real right, all these problem need for the further study and the research.

在本文写作过程中，也力图实现这两个方面的突破，当然，由于理论功底的薄弱和资料收集的仓促，本文对侵权责任与物权请求权的关系的论证不够详尽，有待进一步的学习和钻研。

From the points of view of hydrokinetics, put forward the formula for movement parameters of set-out stage and short-range stage, lay a solid foundation for the theory of hydrokinetics mechanisms of large highspeed rockslide, offer the theoretical proof for the reconnaissance and design of large hydraulic power project, railway and highway, gain the ends of preventing and decreasing the disastes.

在试验研究的基础上，从流体动力学的观点出发提出了大型高速岩质滑坡启程和近程活动阶段运动参数的计算公式，为大型高速岩质滑坡全程流体动力学机理理论的建立奠定了良好的基础，为大型水电工程的勘察设计和铁路、公路新线勘察设计提供理论依据，达到防灾减灾的目的。

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

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

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

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