推导的例句大全

The method, which describes software specification in XYZ/ E, can assure semantic consistency between specification and software. On the other hand, the output expectation of test cases can be automatically evaluated from the specification as a Prolog program.

该方法采用XYZ/E描述，首先确保规范与被测软件的语义一致，其次，利用XYZ/E规范的逻辑程序属性，实现了对测试用例中输出期望的Prolog自动推导求值。

Secondly, we employ a three-layer model to present the deduction and analysis of cladding mode.

其次, 采用了三层模型推导和分析了包层模的模场.

The paper gives the calculation formula of the steel box beam rib plate, side line length and coordinate of transition curve sections combined with construction practice.

本文结合施工实践，推导给出了缓和曲线段钢箱梁肋板、边线长度和坐标的计算公式，用于缓和曲线钢箱梁和其它结构梁的放样计算。

Working principles of Buck chopper for regulating circuit and LCC series-parallel resonant circuit in the CCM work mode were analyzed using the fundamental wave analysis method, and the converter steady state model were deduced as well as the detailed design process and calculation method.

针对Buck调压电路和LCC串并联谐振电路在CCM工作模式下，分析其工作原理，采用基波分析法推导变换器稳态模型，给出详细的设计计算方法。

The procedure can be divided into several sections such as pronunciation acknowledges, words recognition, sentence pattern construction and semantic schema and intention inference.

这一过程可分为语音感知、词汇识别、句式构造、语义图式、意图推导等主要环节。

Using energy criterion and fragment distribution density criterion, the lethal area of warhead is determined.

推导了在弹体坐标系下战斗部任何一处破片着地的特征参数，利用破片能量和密度准则确定了对地目标杀伤的区域形状和面积。

However , this algorithm does not apply for circular orbit cone-beam scan with line -- ray source.

为此,将上述点源 FDK 近似原理拓展到线源情况,推导了线源圆轨道锥束-CT重建算法.

Gottlieb [ l8]. They reconstructed base function for the C_1 spectral element method, which results in a complex process.

Gottlieb[18]提出的C1谱方法，需要重新构造基函数，推导过程相当复杂。

With double-negative metamaterials constructive relation, we deduce the differential equations that describe characters wave in DNG.

由双负介质的本构关系出发,利用时频转换关系, 推导出了描述双负介质中场与流的微分方程组.

Main work is as follows : Firstly, the paper researches the mathematic models of SINS, GPS and DVL.

首先,研究和推导了SINS 、 GPS 、 DVL的数学模型.

And then the improved EOQ model based on price discount has been proposed.

进而建立改进的基于价格折扣的EOQ模型,通过推导、求解,得到模型最优解.

The construction method has alsodeduced based on FCM using the data.

以模糊C均值 算法(FCM)为基础,推导出车辆运动模式空间的构造算法.

However , this algorithm does not apply for circular orbit cone-beam scan with line ray source.

为此,将上述点源FDK近似原理拓展到线源情况,推导了线源圆轨道锥束扫描3D-CT重建算法.

The conversion relationship of inertial tensor matrix under the conditions of gyration and aclinic shift of coordinate system for catastrophic structure vehicle is derived, and the same formal structure matrix is expressed by using matrix of quaternions product.

用四元数和与四元数乘积的矩阵表示形式结构相似的矩阵，针对结构突变飞行器固连坐标系有平动和转动的情况，推导了惯性张量矩阵的变换关系。

Ladder finite strip stiffness matrix is derived to Solve the bending problems of boundary conditions.

推导了新型梯形有限条刚度矩阵的计算格式.

It has put forward a imaging method of acoustic lens using photoacoustic signal and according to the Kirchhoff diffraction theory we deduced pulse response of acoustic lens.

光声信号声透镜层析成像方法的提出，并依基耳霍夫衍射理论推导了声透镜的脉冲响应。

But few people understand and pay attention to the application range of the PMV-PPD index.

但是对于PMV-PPD 指标的适用范围却很少有人关注和了解,从而出现了对PMV指标 的误用和滥用,并推导出某些不准确的结论.

Based on the N-S equation, a nonlinear Reynolds equation a steady-state micro-scale flow field was derived.

从N -S 方程出发, 推导了螺旋槽内稳态微尺度流动场的非线性雷诺方程.

The plastic elemental stiffness matrix was derived by plastic-hinge method.

然后用塑性铰法推导了单元的塑性刚度矩阵.

Governing differential equations for the bending response of FGM beams is deduced based on elasticity theory.

基于弹性理论推导了FGM梁弯曲变形的控制方程.