证明

"Even it turns out that this is all wrong, you have done no harm," Dr. Muss said."But if it turns out that this is important, then you have done some good, because otherwise 5% to 10% of women would not have been treated appropriately." Those women would have been taking tamoxifen without benefiting from it.

Muss医师表示，即使最后证明这些都错了，你也不会有伤害；但是如果证明它是重要的，你就是做了正确选择，因为其他5%至10%的妇女就未获得适当的治疗，那些妇女服用tamoxifen但未能因此获益。

To prove one edge union of k-shell graph is cordial, firstly fix the labeling of vertex of common edge(label u with 0 and v with 1), then according to the value of the graph order n module 4 to class the k shell gaphs to four cases, and to divide to small cases in every shell graph.

本文研究k-贝壳图的亲切标号时，在固定了公共边上的点的标号(对u标号0且v标号为1)之后，我们采用如下方法：首先，以每个贝壳图的顶点数对4取模的余数来分类，这样就得到了四种(来源：d1ABC论文网www.abclunwen.com)不同情况的贝壳图；然后在每个贝壳图中再分情形进行标号；最后，通过证明得到这种标号方法是满足亲切标号的定义的，从而证明了k-贝壳图的亲切性，成功的解决了Sethuramam和Selvaraju猜想，证明了其正确性。

The proving of the negative fact is important part in the law suit proving and is an important means to vindicate the party rights and interests.

消极事实的证明是诉讼证明的重要组成部分，是诉讼当事人维护自身权益的重要途径。

Due to the mobile sensor is expensive and moving will consume a lot of energy. We used a small part of mobile sensor and most part of static sensors to meet the demand of k-coverage of three-dimensional network, and we have analysis the ratio of them is 1/(2πk^1/2. To achieve k-coverage, we have received the maximum moving distance for mobile sensor is O(log^1/3 in a network with a size of L . At last, we established a mathematical mobility model for mobile sensors, and converted the sensor redeployment for k-coverage into maximum network flow problem, and proposed a distributed relocation algorithm and verified it through experiment simulation.

考虑移动传感器移动会大量消耗能量，且比较昂贵，使用小部分的移动传感器和大部分静止传感器来满足网络k-覆盖的密度需求，且分析了其密度之比为1/(2πk^1/2；并证明了网络要达到k-覆盖传感器需移动的最大距离为O(log^1/3；建立传感器移动数学模型，将传感器重新部署问题转化为最大网络流问题，提出分布式重新部署算法并实验仿真证明其有效性。

To exercise the right to recourse, the holder shall provide a protest or the grounds for dishonor and other certificates concerning the dishonor by nonacceptance or nonpayment.

持票人行使追索权，应当提供被拒绝承兑或者被拒绝付款的拒绝证明或者退票理由书以及其他有关证明。

Based on a 5th-order model and the electromagnetic characteristics of an induction motor, we prove that the coefficient matrix is nonsingular, confirming the existence of the inverse decoupling control of stator flux and torque in any conditions.

本文从异步电动机的5阶模型及其固有的电磁特性出发，证明了其系数矩阵的非奇异性，进而结合逆系统理论证明定子磁链与电磁转矩的逆解耦在任何状态下都是存在的。

The main results and novelties of the paper are as follows:Firstly, we study the existence of nontrivial solution for the following nonlinear equations with singular pontential By using variational methods and critical point theory, we construct linking type critical value of this kind of singular elliptic equations, with the properties of the eigenvalue, we estimate the critical value and prove the local condition holds to show the existence of the nontrivial solution.

论文的创新点及主要结果如下：首先研究有界区域上具有奇异位势的非线性方程的非平凡解的存在性，运用变分方法与临界点理论，构造这一类奇异椭圆方程的环绕型临界值，并由特征值的性质给出临界值的估计，同时证明局部条件成立，最终证明方程非平凡解的存在性。

Since the solutions of this problem are the critical points of the associated energy function. One generally needs some compactness such as PScondition or C-condition to prove the existence of critical points of the energy func-tion, but when we study the elliptic equation in R~N, the compactness condition does not always hold since the imbedding of the Sobolev space H_0~(1,2)into L~(2*) is not compact. In this chapter, based on the nonsmooth critical point theory, and by using the approximation technique with periodic function, the existence of nontrivial solution is obtained.

由于该方程的解就是其所对应的能量泛函的临界点，通常都要在一些紧型条件的基础上来证明其所对应的能量泛函临界点的存在性，但当我们在无界域上考虑该椭圆方程解的存在性时，Sobolev空间H_0~(1，2)到L~(2*)的嵌入非紧，从而导致所对应的能量泛函失去紧性，本章在非光滑临界点理论的基础上，应用周期逼近的方法证明该问题非平凡解的存在性。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

By introducing the general notion of nonwandering operator semigroup T and utilizing a basic result in normed linear space,the nonwandering property of T=e~ is investigated with the constructive method.

通过给出一般算子半群T的非游荡性概念，利用赋范空间的一个基本结果和直接的构造法证明了具有变系数的线性发展方程的强连续解半群T=etA在适当的条件下是非游荡的；另外，通过对C-半群T概念的引进，定义了一个无界算子半群etA，进一步证明了这二者关于非游荡性的联系；最后给出了一个无界算子半群etP关于非游荡性理论的刻画，其中P是微分多项式。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！