定理的

The numerical algorithm based on theories of projecting and Laguerre,such as homology,circular points and ω of absolute conic is established,an iterative elimination method is applied to boost the nonlinear problem solving.

通过调和射影及Laguerre定理的推论求解出平面圆环点的共轭虚像，利用平行六面体照片存在的三对圆环点的虚像，构造对无穷远平面绝对二次曲线的像ω的约束，使用辗转相除法求解非线性问题。

In additive prime number theory,a classical result of Hua states that,every suffi-ciently large odd number N can be represented as 〓,where 〓 is aninteger and 〓 are primes,which can be regarded as an extension of Goldbach-Vinogradov Theorem.

堆垒素数论中一个经典的结果是华罗庚教授证明的：任一个充分大的奇数N都可以表为N=〓+〓+〓，其中λ是一正整数，p1，p2，p3是素数，这一结果可以看作著名的Goldbach-Vinogradov定理的推广。

On the basis of the probe and research into space analytic geometry and seeing from the students ' thinking characteristics , this paper has got a proof about three vector double vector product theorem .

本文通过对空间解析几何的研究和探讨，从学生的思维特点出发，给出一个有利于学生认知结构形成的三矢量的双重矢性积定理的证明

ABSTRACT Based on theoretical analysis of axial compression of ring-shape specimen between two flat dies by an upper-bound technique,it is possible to carry out the measurement of both the friction coefficient of lubricant and the basic flow stress of the ring material under particular temperature and strain rate.

摘 要 根据圆环压缩的连续速度场上限定理的理论分析，通过圆环试样压缩前后的几何尺寸的变化，能测量润滑剂的摩擦因数和圆环材料的流变应力。

By taking advantage of a corollary of the Desargues theorem and the corresponging extension of Desarguesian configuration, the concept of stereohomology has been defined in projective geometry and presented based on homogeneous coordinates. Consequently, a series of geometrical transformations, such as central projection, parallel projection, centrosymmetry, translation transformation, reflection, rotation transformation, which can be contained in it or derived from it have also been analytically defined.

利用Desargues定理的一个推论和引申的Desargues图形，给出"空间透射"在射影几何意义下基于齐次坐标表象的解析定义，从而解析定义了可蕴涵其中的中心投影、平行投影、中心对称、平移、反射等几何变换以及可由此衍生出的旋转变换。

Two normal forms, best-simple normal form and literal normal form, are presented at first in order to eliminate the complexity of formulas decision. Based on the two normal forms, a deduction proof of decidability theorem in L and a decision algorithm P based on deduction for proportional formulas are given and a decision machine found on P, DMBD, is also designed.

首先提出了消解复杂性的两种范式：最简范式和文字范式，在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P，并基于ML语言设计了基于P的演绎判定机DMBD。

Then I shall argue that in the vein of the incompleteness theorems there is no answer with mathematical certitude to the mind-machine debate and that much of the philosophical burden of proof will lie with mechanists in this debate.

笔者将指出：限制在不完备性定理的脉络下，心灵是否为机器这个问题不可能有数学上或逻辑上的明确答案，然而就哲学的观点而言，机器论者必须承担较大的举证责任。

B Mine the core of consortium based on the Six Degrees of Separation and describe Shortest Path based on LINk wEight algorithm SPLINE（Shortest Path based on LINk wEight）.

b 基于六度分割和最短路径社团核心成员挖掘，讨论了计算节点间的最短路径，根据六度分割定理的剪枝，基于SPLINE算法和中心度挖掘犯罪子团伙中的核心的技术。

Osmotic pressure issue is addressed and the reproducibility of the results reported.

中心极限定理的应用是因为涂料的损害可能是由于大量非常小的损害累积造成的。。。。

Osmotic pressure issue is addressed and the reproducibility of the results reported.

中心极限定理的应用是因为涂料的损害可能是由於大量非常小的损害累积造成的。。。。

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.

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