证明

According to given formal semantic, it has been proven the soundness and completeness of this system, and paradoxes of strict implication does not be occurred in this system.

根据给出的形式语义，证明了该系统的可靠性和完全性，并且证明了严格蕴涵悖论在该系统中不会出现。

The cost functions of the linear transversal and decision-feedback blind equalizers are proposed in this thesis, which are strictly convex function with respect to the complex tap-weight vector of the equalizer and the error probability. It is proved that their global convergence are guaranteed by using gradient algorithm.

本文提出了线性横向结构的盲均衡价值函数，DF结构的盲均衡价值函数，证明了这两种价值函数对均横器抽头矢量和系统误差概率，都是严格U函数；并且证明了用梯度算法，这两种价值函数保证收敛到全局极小点。

In the first part, we will first deal with the strong Bonnesen-style inequality (2.1.3) for closed convex curves in the plane (the numbers of formulae and references are those of them in the context below). Bonnesen had first proved the weaker inequality (2.1.2) in [12] and several years later, he outlined in his monograph [13] various Bonnesen-style inequalities including (2.1.3), he considered, however,(2.1.3) as a direct consequence of Kritikos theorem for convex bodies in higher dimensional Euclidean spaces,. 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.

具体地讲，在第一部分中，首先讨论平面上闭凸曲线的强Bonnesen型不等式(2.1.3)(公式的编号和参考文献的编号引自后面的正文)，Bonnesen在文[12]中先证明了较弱的不等式(2.1.2)，几年以后，在他的著作[13]中，讨论了多种Bonnesen型不等式，其中包括不等式(2.1.3)，不过，他把(2.1.3)作为高维欧氏空间中凸体的Kritikos定理的直接推论，我们这里对不等式(2.1.3)给出独立的存在性证明，并且还对平面闭凸曲线的bi-enclosing环的宽度给出了一个估计。

In the first part, we will first deal with the strong Bonnesen-style inequality (2.1.3) for closed convex curves in the plane (the numbers of formulae and references are those of them in the context below). Bonnesen had first proved the weaker inequality (2.1.2) in [12] and several years later, he outlined in his monograph [13] various Bonnesen-style inequalities including (2.1.3), he considered, however,(2.1.3) as a direct consequence of Kritikos\' theorem for convex bodies in higher dimensional Euclidean spaces,.

具体地讲，在第一部分中，首先讨论平面上闭凸曲线的强Bonnesen型不等式(2.1.3)(公式的编号和参考文献的编号引自后面的正文)，Bonnesen在文[12]中先证明了较弱的不等式(2.1.2)，几年以后，在他的著作[13]中，讨论了多种Bonnesen型不等式，其中包括不等式(2.1.3)，不过，他把(2.1.3)作为高维欧氏空间中凸体的Kritikos定理的直接推论，我们这里对不等式(2.1.3)给出独立的存在性证明，并且还对平面闭凸曲线的bi-enclosing环的宽度给出了一个估计。

We would like to point out that our proof of the singularity层次structure theorem (Theorem 7.1.1) is different from that of Perelman in two aspects:(1) we avoid using his crucial estimate in Claim 2 in Section 12.1 of [103];(2) we give a new approach to extend the limit backward in time to an ancient solution.

这个特解大致上走的正是小佩避免使用定理7.4的那条路，不过曹朱强调：在这个"完整证明"中所用的定理7.1.1证明与小佩所采用的方式有两点不同

Then we verify the topos property of RS and find thatRS has all topos properties except one, for it has no subobject classifier. There-fore RS is not a topos.

证明了I-粗集的范畴满足topos 的前四条性质，并证明了它不存在SC，从而证明了该范畴不是topos。

If there Acting relations, a property right person to be authorized to sign the original orders; If the existence of the sub-tenant relationship would require people with leased property written original documents, and agreed in the contract if the property were leased to a written documentation untrue, the subtenant should bear what responsibility.

若存在代理关系的，则需有产权人委托签约人的授权委托书原件；若存在转租关系的，则需要产权人同意转租的书面证明文件原件，并在合同中约定若产权人同意转租的书面证明文件不真实时，转租人应承担何种责任。

Study on proof of sum of products equality and its application

给出了积分上限函数在证明等式和不等式、计算累次积分、证明微分中值定理和积分中值定理中的应用。

To demonstrate the applicability of the proposed broadband quadrature hybrid, a continuous phase shifter which is based on the vector sum method is tested.

为了证明所提出的正交宽频混合器的可应用性，我们用一个利用向量加法的连续相移器去证明其潜力。

We also introduce a control function, prove the global convergence, and prove the local superlinear convergence under some conditions. Then we propose another new algorithm by using an existed approximation functions, which has the same characters as the first algorithms does. Finally, the result of the numerical experiments indicates the efficiency of the first algorithm. The paper contains four parts.

本文还引入了新的控制函数，并证明了算法具有全局收敛性和在一定的条件下具有局部超线性收敛性；然后，在第一个算法的基础上，本文利用已有的光滑逼近函数提出了另外一个新的算法，通过适当参数选取，证明了新的算法具有与第一个算法同样良好的收敛性质；最后，通过数值计算说明了算法的高效性。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐