查询词典 proves

Thus any expression of doubt about the existence of a supreme being proves the existence of such a being.

如此，任何对超越者的存在进行质疑的表达，就证明了这样的存在者的存在。

The experiment proves: The system of timing of purpose apply the brake that uses shoe switch and decelerate top composition, it is feasible that in exercise quantity bigger mechanization hump switchyard is used.

试验证实：利用脱鞋道岔和减速顶组成的目的制动调速系统，在作业量较大的机械化驼峰调车场采用是可行的。

In the view of ability difference, this paper studies the asymmetric mechanism of collusion-proof, and proves that: when ability difference is symmetric information, collusion stake can be distributed on this common information, thus ability difference cannot result in server benefit conflict between agents to make the coalition c...

本文在强调代理人能力差异的基础上，建立防止合谋的非对称机制。并证明当能力差异为公共信息时，合谋收益就可以据此公共信息进行分配，因此双方的能力差异并不足以使代理人之间产生严重的利益冲突并导致利益集团的崩溃，从而无法防止合谋的发生

Many traditional mechanics problems have been solved successfully, which proves the efficiency of symplectic system.

辛体系自提出以来，已经探讨了许多的传统力学问题，取得了很好的结果，证明了辛体系的有效性。

The experimental results indicate that the changes of resistivity, temperature and deformation during freeze-thaw cycles are real-time and synchronical, which also proves that it is feasible to study the change of soil structure during freezing and thawing by using electrical resistivity method.

试验结果表明：冻融循环过程中电阻率与冻融变形的变化是实时的、完全同步的，利用电阻率特性研究冻融过程土体结构变化是可行的；每次冻融冻土电阻率随着冻融次数增加呈指数关系减小，融土电阻率随冻融次数增加呈指数关系增加；每次冻胀量与融沉量随冻融次数的增加而减小，平均干密度随冻融次数增加而增加，并且经过5次冻融循环后冻胀融沉量和干密度均趋于稳定。

5Researches show that changes of resistivity,temperature,pressure and deformationduring freezing-thawing cycles are real-time and synchronical,which proves that it is feasibleto study the changes of soil structure during freezing-thawing and problem of strength-deformation under external load by using electrical resistivity method.

5通过单轴载荷与冻融作用下冻土电阻率特性试验研究表明土体电阻率与应力-应变关系、正冻正融过程以及土体温度的变化具有很好的同步性，说明利用电阻率实时观测的方法研究冻融循环过程、冻融作用对土体结构影响以及载荷作用下土体强度与变形问题是可行的

This sys tem has been put into practice, and long-term running proves feasible and effective.

该系统的长期运行证明了它的可行性和有效性。

At last, the computational result on power system of IEEE 3 generators and 9 nodes proves that the method presented in this paper is available in the practical applications

最后，通过IEEE 9节点算例，验证了该方法对电力市场条件下的节点网损成本分析具有实际应用意义。

Then, it studies the supply chain management system as a complex system to confirm the state existing during operating of the system. After that, it conducts a probability analysis on the state which the system located by applying supplement variable method, and establishes the model of distributed parameter system in a form of partial differential equations. Combining C0 ? semigroup theory in the functional analysis, it conducts a dynamic analysis on the established mathematical model. Using this method, it obtains the mathematical expression of the dynamic solution and the steady state solution, and proves the uniqueness, non-negativity and the asymptotic stability of the system solution. This dissertation applies the Matlab tool and uses two-step, three-step Simpson integral equation to imitate the condition of system solution. Then, it adds possible mode of failure and the optimization adjustment state to the system, based on which it has established the distributed parameter system model which is described by partial differential system of equations. Combining the functional analysis C0 ? semigroup theory, it studies the established mathematical model, and obtains the mathematical expression of the dynamic solution system and the steady state solution. It has proven the existing of uniqueness of the system solution, the asymptotic stability of system solution and the system solution. In addition, it has lying the theory rationale for further analysis and the research on the optimization of system.

本文首先简要综述了供应链理论、可靠性研究、鲁棒性研究以及供应链鲁棒性研究的现状；然后，将供应链系统作为一个复杂系统来分析，确定了系统运行过程中所经历的状态，通过引入补充变量的方法，建立了用偏微分方程组描述的分布参数系统模型，用泛函分析中的C_0 -半群理论得到了系统动态解和稳态解的数学表达式，证明了系统解存在的唯一性、非负性和指数阶渐近稳定性；并借助Matlab工具，利用二阶、三阶辛普森积分方程模拟系统解的性态，并给出系统动态解的仿真图；本文又对上述系统增加了系统可能失效状态和优化调整状态，并在此基础上建立了用偏微分方程组描述的分布参数系统模型，同样用泛函分析中的C_0 -半群理论对所建立的数学模型进行了研究，得到系统动态解和稳态解的数学表达式，证明了系统动态解存在的唯一性、非负性及渐近稳定性，为进一步分析和研究供应链优化奠定了理论基础。

It proves that the simulation reasonably reproduces the mechanical function of the left ventricle during systole.

结果表明，仿真基本再现了收缩期左心室的动力学特性。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。