证明性的

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 this paper it has been proven that for Cauchy problem of quasi-linear homogeneous partial differential equation its solution always has discontinuity , and the trace of discontinuity is just the envelope of characteristic lines.

本文证明对于拟线性齐次偏微分方程的Cauchy问题，其解总具有间断性，且发生间断的点的轨迹，恰巧就是特征线的包络，另外给出了一个特例，否定了这类解必定会出现多值性的定性论断，从而使构造广义解的理论面临困难。

Harmonic function generalizes the harmonic function, the following respects are discussed: the least energy, Liouville theorem with respect to harmonic function and the relation of harmonic function and subharmonic function.

如对次调和函数的平均值不等式的推导[3- 4 ] ，调和函数的存在性的证明等[5] 。2 0 0 0年，PeterLi提出了另外一种函数，即调和函数，这一类函数比调和函数的应用广泛得多，同时又具有和调和函数类似的性质。

He will perhaps say that what justifies punishment is that it satisfies a popular demand and explain that it is good that it satisfies this demand because if it did not there would be disorder in society, disrespect for the law, or even lynching.

他可能会说，证明惩罚的正当性的是，它满足了大众的要求(甚至可能是对报复的要求)，并解释说，满足这种要求是善的，因为如果不这样，就会造成社会秩序的混乱、对法律的不尊重乃至私刑。

Motivated by Baker\'s result, we introduce a functional index‖E‖_∞to prove that if a mapping f which is from a normed space to a normed algebra satisfying‖ab‖=‖a‖‖b‖satisfies that‖E‖_∞is bounded,then either f is bounded or f is exponential.

受到Baker的结论启发，通过引入一个泛函指标‖E‖∞，证明了从赋范空间到满足范数可乘性的赋范代数的映射f，只要满足‖E‖∞是有界的，则f要么是有界的，要么是指数的。

The finite-gain stability of the controller was proved under the assumption that the kernel function was local Lipschitz in this open-loop inverse control system. The sufficient condition for that Gaussian kernel function to the local Lipschitz of either variable was given. The stability of the whole system was also proved under some proper assumptions.

针对此开环逆控制系统，在核函数为局部Lipschitz的前提下，证明了控制器是有限增益稳定的，并给出Gaussian核函数对任一变量的局部Lipschitz性的充分条件，在一定合理的假设下给出了控制系统的稳定性结论。

So the torch relay in Chinese territory was doomed to be solemn and safe, which would once again show the unity and solidarity of China to the world--sincere but maybe transitory passion would inundate any oppugnation, and different views may be regarded as some kind of betray.

在中国境内的火炬传递，注定隆重而安全，它将再次证明中国的统一性与中国人的团结性——真诚、却可能短暂的热情将淹没所有的质疑，不同的声音可能被视作某种背叛。

Based on the theoretical and testing reseaches on the concrete anticrack property of the Qi-Nen-Bridage box beam web under the partical partical of the prestressing large tonage anchorage, this paper points out that the concrete crack resistance of the web does not meet the code.

本文对齐嫩桥连续预应力混凝土箱梁腹板在大吨位锚头作用下的混凝土局部承压抗裂性的设计进行试验研究、验证工作，指出了腹板在锚下混凝土局压抗裂性能与理论分析的一致性，证明了原设计的抗裂度不能满足规范要求，为保证工程的可靠性提供了修改设计的依据

It is theoretically demonstrated that the influences of terrain height and orographic heterogeneity are important on the flux of surface long wave radiation over a large scale grid area.

摘要从理论和数值试验两个方面证明地形的非均匀性对网格区地面长波辐射通量的计算有重要影响，海拔高度场的区域平均值及其变差系数是影响网格区地面长波辐射通量的主要因素，仅仅用地表均匀假定下的区域平均参量（如平均海拔高度和平均温度）所计算的网格区地表有效辐射通量值与其真实值之间存在着一定的误差。

The paper researches the kernel of Real-Time Operating System μC/OS-Ⅱ and the method of porting it to PIC18F8720 which is the PIC18 series MCU of Microchip Corporation. It solves the four key functions and presents the most important and difficult problems in the course of porting μC/OS-Ⅱ. The porting method is catholicized and can be used to other series MCU. A porting has been implemented on board, and the system runs steadily and reliably under multitask environment. By testing, the real time parameters have reached the demand of designing. So the paper has common guidance in porting operating system to other series MCU.

针对剪板机位置控制系统实时性的要求，采用基于嵌入式实时系统技术搭建系统软件框架，替换原来的前后台系统软件框架；研究了μC/OS-Ⅱ实时操作系统内核，以及用于Microchip公司PIC18F8720单片机的移植方法，详细分析了如何正确改写4个关键函数和在移植过程中需要注意的问题；该移植已经通过软件测试并且用于一个剪板机位置控制系统中，实际运行稳定可靠，证明移植是成功的；其在PIC18XX系列单片机上移植μC/OS-Ⅱ的函数改写方法具有一定普遍性，可以借鉴用于其它系列单片机的μC/OS-Ⅱ移植。

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万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐