证明性的

The discussion produces some useful result:theconvergence of bounded subfeasible solution sequence and the convergence to zero of thesubfeasible dual gap.

在引入摄动的思想下，针对受摄动KKT系统，首先证明了以上四个规划问题中线性规划及其Wolfe对偶问题解的存在性，在此基础上得到一个关于其有界次可行序列收敛和次可行对偶间隙收敛到0的重要结论。

Study on the solution of brachistochrone and the effect of friction;2. Based on physics,it was proved concisely that the cycloid is both brachistochrone and isochronous pendulum.

介绍旋轮线的主要性质及其在日常生活与物理中的一些实例，并结合物理学知识对其最速降线与等时性进行简洁的证明。

In chapter 3, by Brouwer's fixed point theorem, we prove existence of the equilibrium point for high-order Cohen-Grossberg neural networks with delay, and investigate global stability of the equilibrium point by Lyapunov method.

第三章主要通过Brouwer's不动点定理证明了具延迟的高阶Cohen-Grossberg神经网络平衡点的存在性，并且用Lyapunov方法研究了平衡点的全局稳定性。

It is provedby using the compactness for Borel partitions,the properties of the SBD functions andsets with finite perimeter, and the direct method in the Calculus of Variations.

主要利用Borel分解的紧性、SBD函数和有限周长集的性质，通过变分的直接方法给出证明。

It has been showed that the quantum PCII can be still valid for the general case Jacobi J 1, which is different from quantum Noether theorem. The equivalence between quantum canonical equation and PCII is deflved at the quantum level. The comparisons of these results in quantum level with those in classical theories are discussed in detail. The relationship of canonical transformation with quantum PCII is obtained.

结果表明，当变换的Jacobi行列式不为1时，量子PC积分不变量仍然存在，从而把PC积分不变量推广到了最一般情形；在量子水平上，证明了量子正则方程与该积分不变量之间的等价性；比较了经典与量子PC积分不变量以及PC积分不变量与Noether定理；给出正则变换与量子PC积分不变量间的关系。

The Cauchy problem is well posed when the Sobolev exponents for the initial data is higher than a critical value.

证明了当初值的Sobolev正则性高于一临界值时，柯西问题是适定的，否则其是不适定的。

Experiments testify the validity and celerity of this method and get excellent effect.

本研究结合小波变换和双缓存技术等前沿学科知识，提出了一种分析流体图像的基本方法，试验证明了这种方法的有效性和快速性，并获得满意的效果。

When and we show that system (1) has the cusp bifurcation of codimension 2(ie,Bogdanov-Takens bifurcation); when ,we show that this system has the cusp bifurcation with codimension at least S.

而且我们选择了系统的原参数中的二个作为分支参数，可以使系统(1)进行Bogdanov-Takens余维2普适开折，从而证明系统(1)同宿轨的存在性。

Genetic algorithm is used to optimize the multi-camera planning. It's concluded that combinatorial optimization method is suitable and robust for camera planning.

实验证明该组合优化方法结合了产生-测试方法与合成方法的优点，对多摄象机规划问题的计算具有很强的适应性和鲁棒性。

Using properties of zero-divisors, regular elements and subdirectly irreducible ring , we obtain some results on the commutativity of semi-prime ring and Jacobson semi-simple ring as follows 1 Let R be a semi-prime ring ,a∈R and 2a is not zero-divisor,If R satisfies one of the conditions in this paper , then R is commutative.

在某些特殊环的交换性方面取得了进一步的结果，并得到了一些新的结论，主要有一设R 为半质环，a∈R ，且2a 为非零因子，如果R 满足论文中八个条件之一，则可以证明环R 为交换环。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。