归

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.

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

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。