证明性的

The existence of classical solutions to non-divergence quasilinear parabolic equation of second order has been proved by basic knowledge of non-linear functional analysis and implicit function theorem in banach spaces.

用非线性泛涵分析的基本知识和Banach空间上的隐函数定理证明了非散度型拟线性抛物型方程古典解的存在性。

We give a two-parameter penalty function and its exact penalty theorem for inequation constrain- ed optimization,meanwhile,We propose a quasi Newton algorithmfor solving the unconstrained nonlinear penalty problem and study its convergence,Numerical examples illustrate the feasibility of the algorithm.

对于含约束不等式的优化问题，构造双参数精确罚函数并给出精确罚定理，提出了一个求解这种罚函数问题的布鲁丹族拟牛顿算法，研究了算法的收敛性与收敛速度，并进行了数值试验，证明了可行性。

In this paper,we study convergence theories of this inexact Newton method .

分析了求解对称特征值问题的不精确Newton法，给出了相应的收敛性定理，并证明了在适当的条件下，不精确Newton法超线性收敛。

The general form of the triple I solution of FMP is given. The monotonity theorem, the infimum theorem, and the existence theorem have been proved.

给出了FMP的三Ⅰ解的一般形式，证明了关于区间值模糊推理的单调性定理、下确界定理以及存在性定理。

For the problem of value iteration optimization of the compact action set in semiMarkov decision process, a unified standard VI algorithm directly based on the equivalent infinitesimal generator under both discount and average criteria was proposed with the proof of convergence.

针对半Markov决策过程在紧致行动集上的数值迭代优化，提出了折扣和平均准则下直接基于等价无穷小生成子的统一的标准数值迭代算法，并证明了其收敛性。

The conditions that guarantee the existence of constrained points and segments in Voronoi mesh are presented, which puts forward a novel two-dimensional conforming Voronoi mesh refinement algorithm that completes the mesh by setting up initial examining strip set and subdivision of the strip set.

给出了限定点、限定线在Voronoi网格中存在的充要条件，提出了二维限定Voronoi网格细化算法，通过设置初始检测带，然后细分检测带来实现限定Voronoi网格的剖分；同时证明了该算法对于任意平面线段图输入限定条件的收敛性。

The method is a com- bination of the theory of normally hyperbolic invariant manifolds and an appropriate continuation method.

我们将在第四章利用法向双曲不变流形理论和Kopell，Chicone的延拓方法，来证明2个自由度的非哈密顿扰动系统的2维共振不变环面的存在性定理。

Using the dynamic model of the induction motor drive system , the inverse system's existence is proved, and the input-output equation of the inverse system is presented.

根据异步电动机调速系统的动态数学模型，证明了其逆系统的存在性，在此基础上得到了逆系统的输入输出方程。

In the final section, we give the form of surjective isometric Jordan isomorphisms on triangular Banach algebras, and prove that such isomorphisms .

第四节给出了三角Banach代数上满等距Jordan同构的一般形式，并证明了一些特殊的三角Banach代数上满等距Jordan同构的酉空间实现性。

Presented a mathematic model for the algorithm and proved its convergence characteristic, this image reconstruction algorithm made the iteration step was optimal on the premise of convergence.

给出了算法的数学模型，完成了算法的收敛性分析和证明，算法在图像重建中使迭代步长在保证收敛的情况下达到最优。

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.

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