定理的

The paper studies the asymptotic behavior of "interior point" on the second mean value theorem for integrals when the length of integral interval tends to be infinite,and the asymptotic estimation formulas under very weak conditions are given.

讨论当积分区间长度趋于无穷大时，积分第二中值定理的"中间点"的渐近性态，在较弱的条件下，获得积分第二中值定理的"中间点"当积分区间长度趋于无穷大时的渐近估计式。

On the basis of analyzing the classification principle of Bayesian classification model and a variant of Bayes theorem, a new classification model based on Bayes theorem, DLBAN (double-level Bayesian network augmented naive Bayes), which adds the dependence among attributes by selecting the key attributes, is proposed.

通过分析贝叶斯分类模型的分类原则以及贝叶斯定理的变异形式，提出了一种基于贝叶斯定理的新的分类模型DLBAN(double-level Bayesian network augmented naive Bayes)。该模型通过选择关键属性建立属性之间的依赖关系。

This paper gives the definitions and some fundamental theorems on the completion and continuous mapping in the topological ∧ weak complete distributive lattice.

本文在作者的∧弱完全分配格的可备并同态扩张定理的基础上，给出了拓扑∧完全分配格的完备化与连续映象的定义与若干基本定理。

It centers on the relationship between Godel"s incompleteness theorem and the paradox. The author expounds the influences which paradox exerts on Godel"s Incompleteness Theorems generating, constructing, and the process of proof, and tries doing some technical work, such as symbolizing, etc.

悖论与数理逻辑三大成就的关系：其中以悖论与哥德尔不完全性定理的关系为重点，从悖论对哥德尔不完全性定理产生、构造及证明过程的影响进行了论证，并尝试做一些符号化等技术性的工作。

Aiming at the two propositions (the theorem of three concurrent forces balance and the inertia moment of multimetric polygon), the paper represents and theoretically proves that the condition of three concurrent forces balance should be modified, i.

针对建筑力学中的三力平衡汇交定理和正n边形截面的惯性矩两个命题，提出了应该对三力平衡汇交定理的条件加以修正，即对三力平衡问题中的"三力平行"这种特殊情况不必设条件加以限制，并从理论上加以证明。

In this paper,we presented a succinct method to obtain the unitary matrix in the representation transformation by the theorem form,gave the reasonable demonstration,and simultaneously confirmed the theorem accuracy by a concrete example.

以定理的形式给出了表象变换中获得幺正矩阵的一种简洁方法，并给予了合理的证明，同时结合具体实例验证了定理的正确性。

On the base that two comparison theorems are established,applying the fixed-point theorems,we investigate the existence of maximal and minimal solutions forfirst order initial value problem and the JKjperiodic boundary value problem of discontinuous differential-integral equations of mixed type in partial-ordered Banach spaces,respectively.

在建立了两个比较定理的基础上，我们应用不动点定理，分别研究了半序Banach空间中不连续的一阶混合型微分-积分方程的初值问题与周期边值问题最大解与最小解的存在性。

Note on relation of seminorm and norm in vector space;2. The functional representation of some seminorms such as the continuous seminorms, the beundedseminorms and the lower semicontinuous seminorms are given out.

给出了局部凸空间上连续半范数，有界半范数和下半连续半范数等的泛函表示，应用这些表示定理，我们得到了Banach－Mackey空间的一个全局特征和囿空间的对偶特征，最后还给出了局部凸空间理论中一些重要定理的简化证明。

It has deep connections with the theory of projective space and justifies the use of unitary and anti-unitary group representations in physics.

鉴于Wigner定理的重要意义，本文对Wigner定理的提出、论证、在不同背景条件下的推广和发展做了简要的总结。

A new kinematically admissible velocity field is constructed. On operating with a linear failure criterion that exceeds the actual nonlinear failure criterion, the objective function formulation of the upper bound theorem leads to a classical nonlinear programming problem where the objective function, which is to be minimized, corresponds to the dissipated power.

本论文在上限定理的基础上，首次提出&切线法&与非线性&序列二次规划&优化相结合的计算方法，使在非线性屈服下求解岩土承载力或稳定性问题成为可能，为上限定理的广泛应用开辟了新的途径。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。