证明性的

FR conjugate gradient methods with perturbations are proposed. The global convergence property of the first method is proved under the condition of main directions' sufficient descent. Whereas, in the proof of the convergence for the other two methods, we only need main directions' descent. Importantly and quite interesting, boundedness conditions such as objective function being bounded below, boundedness of level set are not needed. Chapter 5 presents a version of Dai-Yuan conjugate gradient method with perturbations.

在主方向充分下降的条件下证明了第一个方法的全局收敛性，而后两个方法的收敛性是在主方向下降的条件下证明的，这些收敛性证明的一个共同特征就是不需要目标函数有下界或水平集有界等有界性条件，第5章采用Wolfe或Armijo步长规则提出了带扰动项的Dai-Yuanabbr。

The effective prediction space concept is established, On the base of these, this paper deduces two representations' evaluating equation, one evaluates the prediction error and the other evaluates the prediction error in limited space. First, the error transfer characteristic among subsystems at different space locations is analyzed, and the direct transfer characteristic from discrete standard measure space to the workpiece measure space under measured in measure system is proven. Second, the error reconstruction condition and method of mapping from discrete standard measurement system to continuous standard measurespace are analyzed.

分析了不同空间位置子系统间的误差传递特性，证明了在测量系统中离散标准量值空间向被测量工件量值空间的直接传递性；分析了离散标准量系统向连续量值空间映射的误差重构条件和方法；基于测量样本的有限距离的平稳性，证明了预报模型对动态测量误差的有限收敛性和预报误差的可测度性，进而证明了以离散标准量值系统对被测工件预报修正的可行性和合理性。

Firstly, it's proved that the base of free monoid is unique, and that the equation of a base, a generating set and a irreducible generating set in the semigroup with length; Secondly, it's given the relation of a primitive word and a word of indecomposable--Let and is indecomposable, then is primitive ;And by using the length's method and chart,some properties of primitive word have been proved and the solutions of the equation , are discussed; Lastly, on the base of some proposition in Free monoids and Languages ,the proofs of some properties are improved by instruction. For example: Let be a primitive word over X, where .Then is a code. And let then if and only if {} is a code.

首先，讨论了含幺半群中基的基本性质及基与最小生成元集的联系，并给出了含幺半群中基、生成元集、不可约生成元集三者之间的关系；证明了在有唯一长度的半群S中，不可约生成元集、基、最小生成元集三者之间的等价关系；其次，讨论了字的组合与分解性，得出了字的本原性与不可分解性之间的关系---若为不可分解的，则一定是本原的，反之，不一定真；并运用图示法证明了字的可补性理论，讨论了方程，的可解性；在此基础上，用归纳法进一步证明了本原字与码的有关命题--若是X上的一个本原字，其中，则是一个码；若则当且仅当{}是一个码。

In this paper, we just consider the initial-boundary value problems of aclass of two-dimensional nonlinear integro-differential equation, simultaneouslyconsidering the damped term and memory termThe details will go as follows. Firstly, the c...

本文同时考虑耗散项和记忆项等因素，讨论了一类具有记忆项的二维非线性积分微分方程的如下初边值问题具体研究内容如下：首先，文章简单介绍了国内外当前对非线性积分微分方程的研究现状；其次，文章给出了一些重要概念和引理，并对部分符号做了说明；第三，利用Galerkin方法证明了问题(1)-(3)的变形问题弱解的存在唯一性；第四，证明了问题(1)-(3)强解的存在性和能量的指数衰减性；第五，进一步证明了问题(1)-(3)经典解的存在性。

In this paper, we just consider the initial-boundary value problems of aclass of two-dimensional nonlinear integro-differential equation, simultaneouslyconsidering the damped term and memory termThe details will go as follows. Firstly, the current st...

本文同时考虑耗散项和记忆项等因素，讨论了一类具有记忆项的二维非线性积分微分方程的如下初边值问题具体研究内容如下：首先，文章简单介绍了国内外当前对非线性积分微分方程的研究现状；其次，文章给出了一些重要概念和引理，并对部分符号做了说明；第三，利用Galerkin方法证明了问题(1)-(3)的变形问题弱解的存在唯一性；第四，证明了问题(1)-(3)强解的存在性和能量的指数衰减性；第五，进一步证明了问题(1)-(3)经典解的存在性。

The main results are:(1) the L1 boundedness of the Cesaro means operator of the harmonic expansions on the unit sphere with reflection-invariant measures is proved, and the characterization of the convergence index is given; for the points not in the planes with singularities, the pointwise convergence is also proved; these results are the generalizations of those both for the classical spherical harmonic expansions and for the Jacobi expansions;(2) Using the differential-reflection operators of Dunkl type, the uncertainty principle of a class of Sturm-Liouville operators is established, and as consequences, the uncertainty principles of some well-known classical orthogonal expansions such as Jacobi, Hermite and Laguerre expansions are obtained;(3) by introducing the Cauchy-Riemann equations in terms of the differential-reflection operators of two variables, the harmonic analysis of the extended Jacobi expansions is studied; the results include the Lp boundedness and the weak-L1 boundedness of the conjugate extended Jacobi expansions; specially, for some indexes p smaller than 1, the basic theory of the related Hardy spaces is established.

主要成果有：（1）证明了带有反射不变测度的球面调和展开蔡沙罗平均算子的L1有界性，给出了收敛指标的特征刻划，对不在奇性平面上的点，还证明了点态收敛性，这些成果同时推广了经典球面调和展开和雅可比展开的结果；（2）利用Dunkl型的微分-反射算子建立了一类斯特姆-刘威尔算子的测不准原理，并由此得到一些著名的经典正交展开如雅克比展开、赫米特展开和拉盖尔展开的测不准原理；（3）利用由两个变量的微分-反射算子定义的柯西-黎曼方程组来研究扩展雅克比展开的调和分析，证明了共轭扩展雅克比展开的Lp有界性和弱L1有界性，特别是对小于1的一些指标p，建立了相应的哈代空间的基本理论。

We divide the existence of generalized solutions into three theorems becauseof the existence of a generalized supersolution we need in the proof.To ob-tain this fact,we discuss three different cases separately.WhenΩhas strictconvexity,it can be proved that the generalized supersolution of (1)(2)is theconvex-monotone hull of 〓in 〓,this is theorem 2.WhenΩdoesn't hasthe strict convexity,in theorem 3 we have to suppose there exists a generalizedsupersolution.

我们的广义解的存在性结果之所以分成三个定理陈述，主要是因为在我们的存在性证明中，一个重要的事实就是广义上解的存在性，而为了得到这个事实，我们分别讨论了三种不同的情况：在定理2中的假设〓具有严格凸性时，我们证明了问题（1）（2）的广义上解就是初边值〓的凸单调包，而在〓没有严格凸性时，我们在定理3中假定了一个广义上解的存在性。

Then, it studies the supply chain management system as a complex system to confirm the state existing during operating of the system. After that, it conducts a probability analysis on the state which the system located by applying supplement variable method, and establishes the model of distributed parameter system in a form of partial differential equations. Combining C0 ? semigroup theory in the functional analysis, it conducts a dynamic analysis on the established mathematical model. Using this method, it obtains the mathematical expression of the dynamic solution and the steady state solution, and proves the uniqueness, non-negativity and the asymptotic stability of the system solution. This dissertation applies the Matlab tool and uses two-step, three-step Simpson integral equation to imitate the condition of system solution. Then, it adds possible mode of failure and the optimization adjustment state to the system, based on which it has established the distributed parameter system model which is described by partial differential system of equations. Combining the functional analysis C0 ? semigroup theory, it studies the established mathematical model, and obtains the mathematical expression of the dynamic solution system and the steady state solution. It has proven the existing of uniqueness of the system solution, the asymptotic stability of system solution and the system solution. In addition, it has lying the theory rationale for further analysis and the research on the optimization of system.

本文首先简要综述了供应链理论、可靠性研究、鲁棒性研究以及供应链鲁棒性研究的现状；然后，将供应链系统作为一个复杂系统来分析，确定了系统运行过程中所经历的状态，通过引入补充变量的方法，建立了用偏微分方程组描述的分布参数系统模型，用泛函分析中的C_0 -半群理论得到了系统动态解和稳态解的数学表达式，证明了系统解存在的唯一性、非负性和指数阶渐近稳定性；并借助Matlab工具，利用二阶、三阶辛普森积分方程模拟系统解的性态，并给出系统动态解的仿真图；本文又对上述系统增加了系统可能失效状态和优化调整状态，并在此基础上建立了用偏微分方程组描述的分布参数系统模型，同样用泛函分析中的C_0 -半群理论对所建立的数学模型进行了研究，得到系统动态解和稳态解的数学表达式，证明了系统动态解存在的唯一性、非负性及渐近稳定性，为进一步分析和研究供应链优化奠定了理论基础。

The existence of pointwise robust convergent algorithm and uniformly robust convergence is next investigated. We propose an optimal l〓 robustness synthesis method for structured perturbations system by taking advantage of the famous Small Gain Theorem.

证明了最优l〓辨识算法的存在性；证明了黑箱辨识存在辨识算法使全局误差收敛于有界区间；提出并证明了逐点鲁棒收敛算法的存在性；证明了一致鲁棒收敛算法的存在性。

Proved the proposed scheme to be message confidentiality non-repudiation and unforgeability under the random oracle model.

在随机预言机模型下给出了该方案的安全性证明，证明结果表明该方案满足抗适应性选择密文攻击下的机密性、不可伪造性和不可否认性。

But we don't care about Battlegrounds.

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

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

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