查询词典 proof

In chapter 2, we first give a generalized type of the Prigons fixed point theorem and a straightforward proof of it. At the same time, we give a positive answer to an open question about convergency of iterative sequence for generalized contraction which is bring forwarded by Frigon in [3]. Secondly, by using the introduced function φ, we establish some fixed point theorems for the set-valued φ-contraction mappings in gauge spaces. These results unify and generalize the corresponding results of Cain and Nashed [1], Figon [3], Espinola and Kirk[4], Tarafder [5] et al.

第二章，首先给出Frigon不动点定理[3]的推广及其简洁证明，同时对Frigon在文[3]中提出的关于广义压缩迭代序列收敛性的公开问题给出肯定的回答；然后，通过引入φ函数，在度规空间上建立集值φ-压缩映射的不动点定理，统一并推广了Cain和Nashed[1]，Figon[3]，Espinola和Kirk[4]，Tarafder[5]等的相应结果。

In the proof of uniqueness of the generalized solution,we use the above methodof Kaising Tso [9],too.

广义解的惟一性也是使用上述的曹启升在[9]中使用过的思想证明的。

Some formulas of the weighted Moore-Penrose generalized inverse of the sum of two matrices are given under two different kinds of conditions, related existing results are extend and modified with a sample and direct proof method.

在两种情形下，利用矩阵的加权Moore-Penrose逆导出了两矩阵和的加权Moore-Penrose逆的公式，其推导证明简洁而直接，文中还给出两矩阵可以同时加权奇异值分解的充要条件，指出了J.K。

The phasor of generatrix voltage is the main status parameter to reflect the stabilization of the system, the real-time measurement of phasor will provide important proof for security and stable control.

母线电压相量是反映系统稳定性的最主要的状态量，电压和电流相量的实时测量可以为安全调度、稳定控制等提供有力依据。

Writing their own genetic algorithms, the effect of good experimental proof of a good algorithm.

详细说明：自己写的遗传算法，效果很好的，实验证明算法的收敛性很好。

That I am forced to deal with the two of you at once is proof positive that I was some sort of genocidal maniac in a former life.

我竟然被逼得要跟你们两个打交道，这彻底证明了我的前半生根本就是个绝无仅有的疯子。

There is no documented proof that Gentoo is any faster than Arch or vice-versa.

Arch 只是针对 i686 和 x86_64 （以 i586 用户为基础的子项目也开始运作）。

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支撑函数构造了一类新的非圆的光滑常宽曲线，其目的是想回答有关常宽曲线的一些未解决问题如是否存在非圆的多项式常宽曲线？

In the last section of this paper (see Theorem 7.7.1), we will provide a proof of Thurston's geometrization conjecture by only using Shioya-Yamaguchi's collapsing result.

小佩在接受记者采访时说，他不认为曹朱的解法与他的有什么不同（即承认曹朱的"完证"也没错）。

Cao and Zhu claimed to have "the first written account of a complete proof of the Poincaré conjecture and the geometrization conjecture of Thurston."

他们宣称完成了"第一个写下来的庞加莱与瑟斯顿几何化猜想的完整证明。"

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。