定理的

To deal with this, a minimal model theory is devel-oped, by which the temporal semantics of MSVL programs is captured.

因此，我们提出了极小模型理论并证明了极小模型的存在性定理。

Bernstein type theorem; Quaternion Euclidean space; minimal Lagrangian graphs; Twisted special Lagrangian submanifold; twisted normal bundle; Austere submanifolds; Real space form; Complex space form; Hamiltonian minimal submanifold; A Lagrangian submanifold with conformal Maslov form

基础科学，数学，几何、拓扑伯恩斯坦型定理；四元数欧氏空间；极小拉格朗日图；扭曲特殊拉格朗日子流形；扭曲法丛； Austere子流形；实空间形式；复空间形式；哈密尔顿极小子流形；具有共形Maslov形式的拉格朗日子流形

Finally, we discuss the limit theory of risk model.

最后，我们介绍了风险理论中的极限定理。

Chapter 1 is mainly about the discrete risk model and its limit theory.

第一章，主要介绍了风险模型和风险理论中的极限定理。

The Modigliani and Merton Miller theorem is perhaps the most widely accepted capital structure theory.

该莫迪里阿尼和默顿米勒定理，也许是最广泛接受的资本结构理论。

In the proof,the tools of the conditional moment generating function and the differentiation on a net for the study on strong limit theorems in the random selection system are applied.

在证明中采用了一种把网微分法与条件矩母函数相结合应用于随机选择系统强极限定理研究的一种途径。

And the law of conservation of energy, metabolism, photoelectric transformation, electromagnetic transformation, photosynthesis, general and specific theories of relativity, monomolecular, monatomic theory, life science, cell theory, gene theory, anthropic principle, uncertainty principle, and the theory of "cosmic explosion" are all concrete evidences of natural sciences for the Great Balance Theory.

而以往能量守恒定理、新陈代谢、光电转换、电磁转换、光合作用，广义、狭义相对论、单分子、单原子理论、生命科学、细胞学说、基因学说、人择原理、测不准原理及"宇宙大爆炸"等理论，都为大平衡提供了自然科学的实证依据。

By use of the stretch and compression fixed point theorem of normic form in cone ,the sufficient conditions for the existence of monotone increasing positive solutions and monotone decreasing negative solutions are obtained to the boundary value problems.

运用锥拉伸与锥压缩不动点定理，分别得到了边值问题单调递增正解和单调递减负解存在的充分条件。

In [3], we have that let G be a graph of order n ≥ 3 such that σ_2 ≥ [4n/3] - 1, then every vertex of G is contained in a 3-cycle.

在[3]中，有如下定理：设G是一个n阶图，n≥3且σ_2≥[4n/3]-1，那么G中的每个点都含在一个3圈中。

At last,we extend the Shannon-McMillan theorem to the nonhomogeneous Markov chain fields.

最后我们将Shannon-McMillan定理推广到非齐次马氏链场的情形。

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.

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