归

Firstly, the average line of the acceleration is fitted by cubic polynomial. Then, the long period baseline waving problem, which is still existed in the integral velocity and displacement after the first optimization, is secondly optimized by the recursive method of SDOF system.

首先以3次多项式来拟合加速度的均值线；再对一次优化后的积分速度、位移时程仍存在的长周期基线波动问题，运用单自由度地震动力反应递归法进行二次优化。

But when the crowds saw this, they were awestruck , and glorified God, who had given such authority to men.

太9：8众人看见都惊奇、归荣耀与神。为他将这样的权柄赐给人。

1233 It is possible to imagine a world in which the axiom of reducibility is not valid.

6.1233 可能设想一个世界，其中可归约性公理是无效的。

Moreover, the classical Hoare logic is extended as an axiomatic basis of this method. Compared with other existing methods, it pays more attention to the state space other than time properties of hybrid system.

与VDM++中的同步机制相比，不仅吸收了VDM++中两种同步机制的优点，同时也将其两种同步机制化归在统一的框架之下，减轻了用户的负担。

He has taught the following courses since he became a teacher in 2001: first-order logic, modal logic, the axiomatic set theory, recursive theory and model theory.

已开课程有《一阶逻辑》《模态逻辑》《公理集合论》《递归论》《模型论》。2005年11月至2006年11月，访学于阿姆斯特丹大学逻辑、语言与计算研究所。

Based on the existed method for interpreting line drawings, we put forward a kind of recursive method for computer interpretation of line drawings under orthographically axonometric projection. Our method can be used to interpret to the hidden-parts-drawn and the natural line drawings.

在已有基于点与平面的相对位置关系解释线框图研究成果的基础上，提出一种计算机递归解释线框图的方法，主要针对的是正轴测投影线框图的计算机解释。

Based on the correlative constraints between vertices and straight lines on a planar object, we have proposed a new recursive method for computer interpretation of linedrawings under orthographically axonometric projection.

在建立了相关约束关系式的基础上，提出一种基于点与直线的相对位置关系递归解释线框图的新方法，主要针对的是正轴测投影线框图的计算机解释。

And he who lets the goat go for Azazel shall wash his clothes and bathe his body in water, and afterward he may come into the camp.

16：26 那放羊归与阿撒泻勒的人要洗衣服，用水洗身，然后进营。

Firstly, based on natural gradient and nonlinear principle component analysis, a matrix equation is obtained by block recursive updating, and then the matrix equation is solved by using QR factorization and back substitution to obtain the optimal separating matrix.

首先基于自然梯度和非线性主分量分析，构造出按块递归更新的矩阵方程，然后用QR分解和回代法逐块求解该矩阵方程得到最优分离矩阵。

This is the sorrow of modern people. They hardly find their bailment , but don't know the bailment of their soul is their soul.

这正是现代人的悲哀，因为-们在四处寻找寄托而不得的时候不知-灵魂的归所正是自己的内心。

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.

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