证明性的

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-Ⅱ移植。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。