明了

With the help of nonlinearization approach, the Lenard spectral problem related to the DNLS hierarchy is turned into a completely integrable Hamiltonian system with a Lie-Poisson structure on the Poisson manifold

通过非线性化方法，证明了与DNLS孤子族相联系的Lenard特征值问题在具有Lie-Poisson结构的Poisson流形C~N×R~N上是完全可积的Hamilton系统。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

The numerical experiment of complex heterogeneous model demonstrates that the algorithm can bring reliable results with high precision and can be extended to seismic wave simulation in anisotropic media.

复杂非均匀介质模型数值模拟结果说明了该方法的可行性和优越性。

The application of this tube in louyang petrochemical complex alkaline residue treatment unit proves that it can replace stainless steel tube and can be used wind-ranging in the acid water system of the unit.

在我厂碱渣处理装置二年多的实际应用充分说明了其可以代替不锈钢在酸性水系统全面推广使用。

The dissertation turns out the software of Helmert variance component estimation and applied it into Sutong Bridge GPS control network adjustment. The control points coordinate precision are increased, it shows that Helmert variance component estimation is valuable to GPS control network adjustment in practice.

本文完成了Helmert方差分量估计软件的研制，并把该估计方法成功应用于苏通大桥GPS控制网平差处理中，经过验后估计的网点坐标精度得到提高，说明了赫尔默特方差分量估计在GPS网平差中的实用价值。

After deeply analyzing the universally composable security, we defined the level of different ideal functionalities for the same cryptographic task, and pointed out the rationality in defining the levels of ideal functionalities.

针对以上问题，在对任意组合安全理论进行深入分析后，本文给出了同一密码原语不同理想功能之间安全等级的定义，并说明了这种定义的合理性，从而刻画了同一密码原语的不同理想功能之间的关系。

Table 1 presents energy related emissions for the compounder and the injection molder.

表1说明了混合器和注塑机产生的能量排放物。

Just as λ-calcu-lus allows you to construct and reason about every possible computable function, there were high hopes that π-calculus would play similar role for concurrency.

本文提出了一个方法，据此可以把自然数和函数描述为进程，从而证明了π演算有足够的能力描述所有的可计算函数，同时还说明了与λ演算相比，π演算有着更高的计算效率。

And without computable models, the logic and ontology cannot be implemented in computer programs.

第五章说明了目标和语境是如何影响知识的表示。

Keynote speech 5 ( 15 : 00 ~1 5 : 45, Mar. 14 ): Simple APIs for Grid Applications: a report from GGF's SAGA research group. Tom Goodale Center for Computation and Technology, Louisiana State University , USA

首先说明了什么是 SAGA 以及开发它的原因，然后从用户实例和开发团队两方面阐述了 SAGA 的研究现状，最后介绍了 Strawman API 。

But we don't care about Battlegrounds.

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

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

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