证明性的

For the Riemann boundary value problems for the first order elliptic systems , we translates them to equivalent singular integral equations and proves the existence of the solution to the discussed problems under some assumptions by means of generalized analytic function theory , singular integral equation theory , contract principle or generaliezed contract principle ; For the Riemann-Hilbert boundary value problems for the first order elliptic systems , we proves the problems solvable under some assumptions by means of generalized analytic function theory , Cauchy integral formula , function theoretic approaches and fixed point theorem ; the boundary element method for the Riemann-Hilbert boundary value problems for the generalized analytic function , we obtains the boundary integral equations by means of the generalized Cauchy integral formula of the generalized analytic function , introducing Cauchy principal value integration , dispersing the boundary of the area , and we obtains the solution to the problems using the boundary conditions .

对于一阶椭圆型方程组的Riemann边值问题，是通过把它们转化为与原问题等价的奇异积分方程，利用广义解析函数理论、奇异积分方程理论、压缩原理或广义压缩原理，证明在某些假设条件下所讨论问题的解的存在性；对于一阶椭圆型方程组的Riemann-Hilbert边值问题，利用广义解析函数理论、Cauchy积分公式、函数论方法和不动点原理，证明在某些假设条件下所讨论问题的可解性；广义解析函数的Riemann-Hilbert边值问题的边界元方法是利用广义解析函数的广义Cauchy积分公式，引入Cauchy主值积分，通过对区域边界的离散化，得到边界积分方程，再利用边界条件得到问题的解。

This dissertation demonstrates by means oftheoretical analysis the impassability of market economy and thelimitations of the Soviet type so as to prove the inevitabilityof the transition of the Soviet type to market economy.

本文通过理论分析证明了市场经济的不可逾越性，从而也证明了苏联模式的局限性，证明了苏联模式向市场经济过渡的必然性。

By the principle of Verification logical positivism drives problems of value out of philosophy.

逻辑实证主义根据"可证实性原则"斥逐价值问题；杜威在认可"可证实性原则"的前提下，从"价值表达的可证实性"、"情感、欲望的可证实性"、"评价判断的可证实性"三个方面证明了价值判断的可证实性，从而捍卫了哲学研究价值问题的合法性。

The paper contains four parts. In the first chapter, the application back ground and the main algorithms of the complementarity problems is introduced. In Chapter 2, some basic definitions and theories of complementarity problems are introduced. The 3rd chapter is the most important part of this paper, in which a modified smoothing Newton method is detailed; also the global convergence is established for the method.

全文共分为四章，各部分内容安排如下：第一章是绪论部分，介绍了互补问题的应用背景和近年来有关互补问题求解方法的研究成果；第二章是预备知识，介绍了与求解互补问题有关的一些定义以及相关的定理和推论；第三章是本文的重点，提出了求解互补问题的一种修正的光滑Newton算法，从理论上对算法的全局收敛性了证明；第四章是这种修正的光滑Newton法用于求解广义非线性互补问题中，同样证明了算法的全局收敛性。

If two parties want to sign a contract C over a communication network, they must "simultaneously" exchange their commitments to C Since simultaneous exchange is usually impossible in practice, protocols are needed to approximate simultaneity by exchange partial commitments in a piece by piece manner The party of secondly sending commitments may have a slight advantage; a "fair" protocol must keep this advantage within acceptable limits The protocol for signing a contract is improved based on the research result of secure multiparty computation In this protocol, the parties obliviously transfer the signed bit and the committed bit; the other parties can prove the validity of this bit based on the confirming sub protocol, but he cant gain more information about the whole signature by accumulating the signed bit or the committed bit After the parties exchange the whole signed information, they declare the commitment about the signature respectively, and gain the whole signature of the other party At this moment, the party doesnt care about the advance quit of the other party, because he has gained the whole signed information Finally, it is proved that this protocol is quit fairness

在网络环境中解决合同签订问题需要保证信息交换的同时性，以前提出的协议都会给第 2个发送者部分计算特权，利用不经意传输协议则可以解决这个问题在协议执行过程中，参与者将合同的签名位以及他对签名位的承诺不经意传输给对方，对方可以利用验证子协议证明该位的有效性，但是他却不能通过位交换次数的增加获取更多的完整签名的信息；在完成签名位的交换之后，参与者分别宣布承诺，并得到对方对合同的完整签名；在宣布承诺时，协议参与者已经获得全部的签名内容，要么是签名位，要么是对方对该位的承诺，因此参与者并不需要担心对方提前终止协议在文章的最后利用多方安全计算的结论证明了该协议满足终止公平性1 引言两个参与者A和B想要通过网络协商签订合同C 为了保证公平性，参与者必须同时交换自己对合同的签名，然而在实际的网络环境中，想要完全同时地交换对合同的签名是不可能的，他们必须将签名分成若干块依次地执行，以保证大致的同时性但是这种方法依然存在着问题

In chapter 2 we recall the basic facts about Riemannian manifold and some notions of the transform theory on Riemannian manifolds.

首先，利用给定流形的向量丛上联络的存在性给出流形上的不可积分布上非完整联络的存在性证明，进而证明了次黎曼联络的存在唯一性，并以此为出发点研究了次黎曼流形中仿射变换、等距变换、共形变换和射影变换下的一些不变性质，给出了相应变换下的一些不变量。

This paper summarized the experiments which support or negate the existence of female sterility,analyzed the experimental ideas and inference methods of these experiments,especially Sano' s;and concluded that the conclusion that the hybrid sterility is only caused by male or female sterility is a one - sided view,therefore attention should be paid to the genetics of both female and male sterility.

本文对证明水稻亚种间杂种存在和不存在雌性不育的研究进行了综述与分析，从中可以看出无论是认为水稻亚种间杂种不育性表现为雄性不育还是雌性不育的结论都有一定的片面性；尤其是Sano证明基因座S-5不存在的研究存在较大的缺陷。因此，水稻亚种间杂种雌雄配子败育对小穗育性影响的大小有待进一步研究。

The existence of the solution is also demonstrated according to the sufficient conditions for the solution of the elliptic variational inequality.

首先证明了所构造泛函的强制性，从而证明了所构造的等价变分不等式解的惟一性，并根据椭圆型变分不等式解存在的充分条件论证了弹塑性接触问题解的存在性，为该问题的变分极值原理的建立莫定了数学理论基础。

Insection 4.3, semi-discrete and fully discrete Fourier spectral and pseudo-spectral schemes are constructed. The convergence and stability for the schemes are proved, and the error estimates are obtained.Chapter 5, consider the damped coupled generalized nonlinear wave equations. In section 5.2, by coupled a priori estimates and Galerkin method, prove the existence and uniqueness of the global smooth solution for the periodic initial value problem and obtain the existence of global attractors.

第四章，考虑一类具耗散的广义KdV方程组的周期初值问题，在第二节中证明了整体光滑解的存在性和唯一性，得到整体吸引子；在第三节中构造了半离散和全离散的Fourier谱格式和拟谱格式，在整体光滑解存在的条件下，证明了这些格式解的收敛性，并得到了误差估计。

In this paper,making use of hyperplane method,we improve the proof of the separation theorem;On the other hand,we use a new method of moving neighborhood to simplify the proof for the continuity of a subconvex function defined on a convex in a normed linear space.

在巴拿赫空间理论中，Hahn-Banach泛函延拓定理作为泛函分析三大基本定理之一，分隔性定理是Hahn-Banach定理的重要应用，本文利用&超平面&的方法，改进了一个分隔性定理的证明；另外，本文利用邻域的&平移&方法，给出了定义在赋范线性空间内的凸集上的次凸泛函连续性的简捷证明。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。