查询词典 constructive existence proof

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；提出了一系列基于工艺流程成本分析、利润评价及过程瓶颈的调度策略和调度算法。

This thesis contains five chapters. Chapter 1 introduces the cause, purpose and value of the thesis and the problems that affect the existence of the east-and-west-facing residence. Chapter 2 analyzes the affecting factors of the facing of residence including the thermo-comfortability, the spiritual and mental state and the ecological environment etc. Chapter 3 analyzes the specific circumstances, under which the east-and-west-facing residence is practicable. For example, in order to enjoy the view, to make good use of the land and to form the endocentric residential area, we can choose the east-and-west-facing residence. Chapter 4 puts forward some measurements, including the planning design, the architecture design and the constitution design, to make the east-and-west-facing residence hot-proof so that we can eliminate the most disadvantageous factor in the south. Chapter 5 gives some examples of the east-and-west-facing residence in the south.

本文分五章，第一章提出本文研究的起因、范围、目的、意义及南方地区东西向住宅存在的问题；第二章分析了影响住宅朝向的各因素(包括热舒适性、精神心理、生态环境等)；第三章分析了东西向住宅在一些特定条件下(如景观、地形地貌、小区内聚围合等)在南方地区的适应性；第四章提出了解决南方地区东西向住宅防热的一系列(规划设计、建筑设计、构造设计等)措施，以解决东西向住宅在南方地区存在的最大障碍；第五章列举了南方地区东西向住宅的一些实例；最后在结语中总结了东西向住宅在南方地区存在的现实意义及实用价值，并展望了住宅建设发展的前景。

Finally, the gestures E Herder paints with neutral lacquer on pressed board attest to the truth of impermanence as they seem to evanesce leaving only their burnt shadows as proof of their brief existence.

最终，易鹤达在压力版上使用中性油漆所表达的形式，证实着短暂而无常的真实，正像这些色彩渐渐消失在它们的渐趋黯淡的光彩中，是一个短暂存在的证明。

We improve the conditions and the proof of the Equilibrium Existence Theorem of perfect competitive markets in[1],and make them clearer and more reasonable.

改进了教材［1］中完全竞争市场均衡志存在定理的条件与证明，使之更为合理与清晰。

Although massive filamentary structures have been often observed at relatively small distances from us, solid proof of their existence in the more distant Universe has been lacking until now.

虽然在相对较小的距离内，我们常常观测到这类大质量丝缕结构，但在本报告之前，如此大距离上的确凿证据却一直缺乏。

It is clear from these passages that Agnosticism and Pantheism are condemned by revelation, while the validity of the general proof of God's existence given above is confirmed.

很显然，从这些段落不可知论和泛神论是谴责启示，而有效期一般证明上帝的存在鉴於上述证实。

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. Secondly, in this part, we will introduce the notation of average geodesic curvature for curves in the hyperbolic plane, and investigate the relationship between the embeddedness of the curve and its average geodesic curvature.

其次，对双曲平面上的曲线引入平均测地曲率的概念，并讨论双曲平面上凸曲线的嵌入性与它的平均测地曲率之间的关系，其目的是为了将双曲平(来源：ABC论84文网www.abclunwen.com)面上曲线的性质与欧氏平面中曲线的性质作一些对比；最后，我们利用Minkowski支撑函数构造了一类新的非圆的光滑常宽曲线，其目的是想回答有关常宽曲线的一些未解决问题如是否存在非圆的多项式常宽曲线？

This thesis presents some research on nonlinear damping Sine-Gordon beam equation and give the proof of existence and uniqueness under The details will go as follows.

本文对物理学中提出的一类具非线性阻尼的Sine-Gordon型梁方程进行了研究，给出了该方程解的存在唯一性。

He also obtained a proof of the refraction law in terms of the existence of wavefronts, a construction now called Huygens's principle.

他也获得依据波阵面存在的折射规律证据，现在称之为 Huygens 解释。

The unique existence theorem for minimal determining set of completerational choice function is obtained,and the sufficient condition is used to show avery simple proof of Arrow Impossibility Theorem.

构造并证明了完全理性选择函数的最小决定集的存在惟一性定理，同时应用该定理的充分性条件给出了Arrow不可能性定理的一个简单证明。

Summary In copyright infringement cases,if the alleged infringer uses or even plagiarizes the copyrighted works or parts thereof,which causes no substantially adverse effect on the normal exploitation of the work,nor does it inflict any substantial damages to the right owner,the de minis doctrine should be applied to exempt the liabilities of the defendant and seek the balance of interests between the right owner and the general public embodied by the copyright law.

在侵犯著作权案件中，如果被控侵权行为人虽未经著作权人的同意，使用甚至抄袭了受著作权保护的作品或作品的片段，但若情节轻微，未对该作品的正常使用产生任何实质不利的影响，亦未对权利人的权利造成实质性的损害，则应适用&不计琐细原则&，免除行为人的责任，以寻求在权利人利益与著作权法所体现的社会公共利益之间的平衡。

This new product will become our best seller.

这个新产品会成为我们最畅销的产品。