证明性的

In this paper,after the concept of infinite interval estimating and its utmost goodness are built,the optimal relation between infinite interval estimating and relevant hypothesis testing is proved.

在提出无穷区间估计以及其上的最优性概念之后，证明了无穷区间估计与相应假设检验的最优性之间的关系，及推演了若干重要的无穷区间估计的最优性。

The requirements of efficiency and global-optimization can be met at the same time. Based on the situation of time varying of parameters of system, before entering the inference machine, the fuzzy control rules is learned and tested online by a special designed "judger", the excellent performances of fuzzy control rules which use online control is ensured. Fuzzy cerebellum model articulation control CMAC is used to control the semi-active suspension system for the first time. The convergence of this control algorithm and the convergent range is presented.

并根据实际系统参数时变的特点，用"判别器"对即将进入推理机的模糊规则进行了在线学习和测试，保证了用于实时控制的模糊规则的优良；首次应用模糊小脑模型神经网络控制器对系统实施了控制，并证明了这种控制算法的收敛性，得出了收敛范围；仿真和试验结果表明，GASAF和 FCMAC这两种智能控制算法对车辆的平顺性都有较大的改善，实时性较强。

The second section: Under the conditions of nonlinear boundary controbility, we consider the initial boundary value problem of Camassa—Holm equations with dissipative. By using the contractive mapping fixed point theorem and a priori estimates, the existence of global smooth solution, global attractor in H〓, time periodic solution or almost-periodic solution and the global exponential stability are proved.

第二部分：在非线性控制边界条件之下，对于带耗散项的Camassa—Holm方程的初边值问题，用压缩映射不动点原理及先验估计方法，证明了整体光滑解的存在性、整体解的指数稳定性、H〓空间中整体吸引子的存在性以及时间周期解和殆时间周期解的存在性。

Then,we prove the convergence of the radial basis function for solving partial differential equations with projection methods .

本文讨论用MQ作为插值的径向基函数，对自共轭椭圆型方程进行插值，证明了插值系数的唯一性，并用投影法证明了用径向基函数解自共轭椭圆型方程的收敛性。

In the experiment, it proved that the repetitiveness、 reproducibility、 comparability of the 2.0%(NH_4)_ 2CO_3 was better than the original method through repeated experiments. The result of it was equal to the sum of water soluble sodium and the exchangeable sodium and it had better precision and accuracy. The 2.0%(NH_4)_2CO_3 could be chosen as the probational measurement of total alkality.

在本试验中，通过多批次的重复试验证明，2.0%(NH_4)_2CO_3法的重复性、再现性、可比性良好，测定结果稳定可靠，在数值上等于水溶性钠与交换性钠的总和，而且有较好的精密度和准确度，可以作为测定总碱度的试用方法。

To address this feasibility problem, the nonvolatile memory was used as the main memory and part of the RAM as the cache, and a modified verification algorithm with cache policy was proposed. The analysis proved that this algorithm features strong transportability and feasibility.

采用非易失性存储器作为主存， RAM中的一部分空间作为缓存器，并且给出一种相应的Cache调度策略算法，尝试实现一种在卡上的Java卡的字节码校验算法，并且证明了该算法具有较好的可移植性和实现性。

Finally, the whole system simulation proved that the system not only is reasonable in theory but also is realizable in practice.

最后的仿真不仅证明了理论的合理性，而且证明了实际的可实现性。

In order to prove the existence of the periodic boucing solutions, firstly we will introduce a new coordinate transformation, transform the system from right half plane to the whole plane. And give the relation of the eigenvalues of Hill's equation and the rotation numbers, using this approach and Pioncar -Birkhoff twist theorem, we proved the existence of the periodic bouncing solutions for asymptotical linear oscillator.

对于周期解的存在性证明，我们引进新的坐标变换把右半平面上的碰撞问题转化到整个平面上，给出旋转数与Hill方程的特征值的关系，并以此来度量渐近线性振子，再应用Pioncaré-Birkhoff扭转定理得到周期碰撞解的存在性。

In the last part we investigate the existence of global attractors for the timediscretization model from a class of reaction-diffudion equations with delay, andthe upper semicontinuity of the global attractors is obtained under some sufficientconditions.

第三部分研究了一类时滞反应扩散方程的时间离散化模型，证明了连续模型离散后整体吸引子的存在性，并在一定条件下证明了离散整体吸引子的上半连续性。

To solve it, we turn it into nonsmooth equations, utilizing inexact theory we give an inexact generalized Newtons method and under some mild conditions we prove that it is global convergence and superlinear convergence .

首先将其约束问题的求解转化为非光滑方程组的求解，然后利用不完全求解理论给出了一个非精确的广义牛顿算法，在一定的条件下证明了算法的全局收敛性和局部超线性收敛性并给出了LC~1非线性约束问题的收敛性条件。

But we don't care about Battlegrounds.

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

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

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