导出

Entailment is the converse of the relation of logical consequence.

导出是逻辑推论关系的逆叙。

Calculation of teeth profile of disc cutter for arc-gear;2. The formulas for setting angle and entrance angle of disc cutter s are derived by using the contact condition of space curve.

利用空间曲线相切条件导出了用于计算盘形刀具安装角和切入角的条件；该方法具有以下优点：无需知道工件齿形，可同时获得刀具宽度、半径等参数。

Based on vector expression of parametric equation of a third－order Bezier curve, Bezier curve interpolation algorithm is proposed in order to imitate tabulation curve.

为了描述列表曲线，本文从三次Bezier曲线参数方程的矢量表达式出发，推导出CNC系统三次Bezier曲线插补法。

The finite difference method is employed to discretize the governing equations and the projection method is used to derive a pressure Poisson equation that can ensure the satisfaction of continuity equation.

控制方程式采用有限差分法求解，并利用投影法导出压力的波松方程，使得能自动满足连续方程式。

The equation of continuity is then used to further get a 2-order elliptical equation satisfied by sea surface elevation, and the unpenetrable condition at the shore wall of semi-closed sea area is also derived by means of tidal level.

然后利用连续性方程进一步得到了海面升高即潮位所满足的二阶椭圆型方程，进而导出了以潮位形式给出的半封闭海区岸壁不可穿透条件。

The equation of heat conduction with surface effect is derived by applying the minimum principle of latent heat flux to describe the temperature distribution and reveal the size-dependence of thermoelastic damping in the form of energy dissipation during the vibration process.

由热流势原理导出了包含表面效应影响的热传导方程，描述了振动过程中温度的变化分布，揭示了热阻尼在表面效应影响下的尺度相关性。

A motion reference coordinate system of this quadruped robot and its simplified-structure of the multi-rigid body dynamics model are established. After kinematic and dynamic analysis, the kinematic equation, inverse kinematic equation and Jacobi matrix of the quadruped robot are presented, and the second kind of Lagrange dynamic equation group for simplified-structure of the quadruped robots multi-rigid body system is educed.

建立了该机器人的运动坐标体系，及其等效简化结构的多刚体动力学模型，对上述模型进行了运动学和动力学分析，给出了该机器人的运动学、逆运动学方程和雅可比矩阵，并导出了其简化结构多刚体系统的第二类Lagrange动力学方程组。

By using the matrix geometric solution, we obtain the equilibrium condition of the system, and also derive the stationary probability of the system.

通过使用矩阵几何解的方法，求出了系统的平衡条件，进一步导出了系统的稳态概率分布，并且给出了率阵R的迭代计算程序及j=2时R的精确表达式。

According to the classical thermodynamics, driving force equipartition principle has been proposed, and used to derive the optimum parameter distribution of counter-flow heat exchangers.

以经典热力学理论为基础，导出了驱动力均分原理，并将这个原理用于逆流换热器的热力学优化，利用这个原理和变分原理求得了逆流换热器的最佳参数分布。

However, the traditional accuracy measure does not take into consideration the granularity of the partition induced by an equivalence relation.

但传统精度没有考虑到由等价关系导出的划分的颗粒大小。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。