证明

Firstly, we combine the theories of monotone operator and maximal monotone operator's Yosida approaching with domain method to prove the solution's existence of single input-output equation in R n in the similar economical backgrounds in present articles and then gain the solution's continuity by exterior approaching method,at last we give the responding economical meaning about the solution's existence and continuity.

就R n空间中消耗为单调单值型的投入产出方程，在现有文献类似的经济背景之下，利用单调算子的理论以及极大单调算子的Yosida逼近结合邻域逼近法给出了投入产出方程的解的存在性的证明，然后利用外部逼近法结合方程截断技巧证明了投入产出方程的解的连续性，最后给出了相对应于存在性和连续性的经济解释。

Secondly, we combine the theories of monotone operator and maximal monotone operator's Yosida approaching with domain method to prove the solution's existence of set-valued input-output equation in R n in the similar economical backgrounds in present articles too and then gain the solution's continuity by interior approaching method,at last we give the responding economical meaning about the solution's existence and continuity.

对于R n空间中消耗为单调集值型的投入产出方程，也在现有文献类似的经济背景之下，利用单调算子的理论以及极大单调算子的Yosida逼近结合邻域逼近法给出了投入产出方程的解的存在性的证明，接着利用内部逼近法结合方程截断技巧对投入产出方程的解的连续性给予了证明，然后顺便简单的介绍了运用外部逼近法来得到方程的解的连续性的思路，最后也给出了相对应于存在性和连续性的经济意义。

In the proof,sufficient conditions are proved mainly by properties of K function and continuity of Lyapunov function:in necessary proof,we separately structure Lyapunov functions which satisfy the conditions of the theorems, such that the results establish.

在定理的证明中充分性主要利用K类函数严格单调递增和Lyapunov函数的连续性；必要性的证明中，分别构造Lyapunov函数，满足定理的条件，使得定理的结论成立。

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定理的重要应用，本文利用"超平面"的方法，改进了一个分隔性定理的证明；另外，本文利用邻域的"平移"方法，给出了定义在赋范线性空间内的凸集上的次凸泛函连续性的简捷证明。

Furthermore, the first-order optimality condition and its equivalent reformulations for generalized semi-infinite max-min programming with a non-compact set are presented using the lower-Hadamard directional derivative and subdifferential.2. Chapter 3 studies the gradient-type methods for unconstrained optimization problems. Section 1 proposes a new class of three-term memory gradient methods. The global convergence property of the method is established. Furthermore, in order to improve the convergence property of the method, a new class of memory gradient projection methods is presented with the property that the whole sequence of iterates converges to a solution to the problem under the conditions such as pseudo-convexity and continuous differentiability of objective function. In section 2, two new classes of methods, called gradient-type method with perturbations and hybrid projection method with perturbations, are proposed. In these methods, non-monotone line search technique is employed, which makes them easily executed in computer.

第3章研究了无约束优化问题的梯度型算法，第1节提出了一类新的三项记忆梯度算法，讨论了算法的全局收敛性，进一步提出了一类新的具有更好收敛性质的记忆梯度投影算法，并证明了该算法在函数伪凸的情况下具有整体收敛性，第2节在非单调步长搜索下提出了带扰动项的梯度型算法及其混合投影算法，这两类算法的一个重要特征就是步长采用线搜索确定而不象许多文献中那样要求步长趋于零，这样更容易在计算机上实现，在较弱的条件下证明了这些算法的全局收敛性，数值算例表明了算法的有效性。

In view of continuous function problems, it is first proved that the-ES algorithm based on uniform distribution converges in probability in a weaker condition by means of the central limit theorem. Then it is proved that the-ES algorithm which adopts the general continuous random variables as its variable operators converges in probability.

针对连续函数优化问题，利用中心极限定理，在较弱的条件下，首先证明了基于均匀分布的-ES算法依概率收效，然后给出了采用一般连续性随机变量作为变异算子的-ES算法依概率收效的证明。

In view of continuous function problems,it is first proved that the-ES algorithm based on uniform distribution converges in probability in a weaker condition by means of the central limit theorem.Then it is proved that the-ES algorithm which adopts the general continuous random variables as its variable operators converges in probability.

针对连续函数优化问题，利用中心极限定理，在较弱的条件下，首先证明了基于均匀分布的-ES算法依概率收敛，然后给出了采用一般连续性随机变量作为变异算子的-ES算法依概率收敛的证明。

The faults in Hibert's proof for the Continuum Hypothesis reflect the historic limitation, but suggests a possible solution.

希尔伯特的证明失误反映了历史的局限性，同时蕴含了有用的证明思想；3。

Verification reports of the capital contributed by shareholders and the certificates of credit standing and the relevant materials of the shareholders with 5% of the company's total registered capital.

股东出资的验资证明以及持有注册资本5％以上股东的资信证明和有关资料。

Proof standard should be a kind of legal request defined that main bodies who is burden with proof try to reach when they prove the controvert facts with evidences and expound their own opinions.

总之，我们探讨的证明标准应该仅涉及狭义的证明和具体的具有可操作性的标准。

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

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

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

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