证明性的

The formal solution of partial differential equations is given on characteristic line, the existence of the optimal control is proven by using Ekeland\'s variational principle, Gronwall Lemma and adjoint system, then the necessary condition of optimality is obtained by means of the conception of normal cone.

用特征线法表示出偏微分方程的形式解，利用Ekeland变分原理，Gronwall引理和共轭系统证明了最优控制的存在性，并借助于法锥概念得到了最优控制的必要性条件。

The equivalenceof the adjunction for the grey-scale morphological dilation and erosion, and for thefuzzy conjunction and implication has been proved. A series of properties ofgery-scale morphological operators are discussed.

证明了灰度形态学膨胀和腐蚀算子之间的伴随关系与模糊逻辑合取和蕴涵算子之间的伴随关系的等价性。

To variational inequalities with separate structures, the thesis presents a descend method based on the alternating directions method, and some numerical results demonstrate that the new method is effective in practice.

对于结构可分的变分不等式，本文在交替方向法的基础上提出了一种下降方法，并给出了相应的算法收敛性证明与数值试验结果。

We have purified the fusion protein by use of amylose chromatography and the purity of fusion protein was 91%.

纯化后的融合蛋白可以被兔血清识别，证明纯化后的融合蛋白仍具有较好的反应原性。

First, we use the time-descrete method for constructing an approximate solution, hence, establish a priori estimates of the approximate solution,we prove the existence subsequently by taking the limit of the approximate solution.

首先， 我们用时间离散化的办法构造逼近解，再对逼近解作必要的一致估计，然后通过对逼近解取极限，证明了弱解的存在性。

The existence theorem of solution of approximate problems is obtained.

我们考虑了一类广义似变分不等式系统的数值解，提出和SGVLIP相关的逼近问题，证明了逼近问题解的存在性。

The paper describes the differences between the way of traditional casting and the technology of manufacturing rapid soft tooling in the manufacture of artware s.

介绍了用传统的铸造方法和快速软模制造技术制作工艺品的区别，实际证明用硅橡胶软模具制作工艺品复印性好，脱模方便，制品表面光洁，是制作工艺品的好方法

The squeezing property of the nonlinear semi-group associated with this equation and the existence of exponential attractor are proved in the paper.

证明了该方程有关的非线形半群的挤压性质和指数吸引子的存在性。

In this paper we generalize Bernstein inequality of t he sequence of independent random variables to the martingale difference s, then we give an application of this inequality.

本文将独立随机变量序列的Bernstein型不等式推广到鞅差序列情形，给出该不等式的一个应用，并在一定条件下证明了非参数回归中函数估计的强相合性。

By means of fault injection experiments for the BIT systems based on the above BIT arithmetic such as the simulator for avionics and the i960 avionics dada processing unit, the integrativity, generality, high efficiency of the above BIT arithmetic have been shown.

针对上述故障模型，首次在国内航空领域完整地提出BIT测试算法，并加以工程实现，通过在基于上述算法的BIT系统，如航空电子模拟器及i960航空电子数据处理单元进行的故障注入试验，证明了这种BIT测试算法的全面、通用和高效性。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。