形式推导用英语怎么说，形式推导的英文翻译

词语导航

基本信息

词语：形式推导

繁体：形式推導

拼音：xíng shì tuī dǎo

英语翻译

【计】 formal deduction; formal development

分词翻译

形式的英语翻译：

form; format; modality; shape
【法】 form

推的英语翻译：

bunt; choose; deduce; hustle; infer; jostle; push; put off; shift; shove
trundle
【机】 buck; push

导的英语翻译：

guide; lead; teach; transmit
【医】 guidance; guide

翻译例句

1. 以两个问题的程序开发为例说明了程序的形式推导方法的使用。

This paper presents the steps of the formal derivation method of programs by the development of two problems.

2. 认为，常规含意是指不依赖语境而根据特定语言表达形式推导出的含意。

Grice (1957) defined conventional implicatures as inferences that are simply attached by convention to particular lexical items or expressions.

3. 能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。

Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.

4. 利用一种新的姿态描述形式推导出了角速度为零时航天器的目标姿态，然后基于线性化后的系统设计了线性二次型最优控制器。

Then, the expected orientation of spacecraft with zero angular velocity was derived with a new attitude parameterization and LQR controller was designed based on the linearized system.

5. 词干推导根据语法变化得出词汇表中已有单词的派生形式，包括动词的变化，比如write、wrote和written，或名词形式，比如mouse和mice。

Stem derivation finds derived forms of in-vocabulary words based on grammatical inflection, including verb conjugations such as write, wrote, and written, or noun forms such as mouse and mice.wwW.wenTIyi.cOm

6. 推导了界面上具有耦合传热时的控制体离散方程序，界面上的辐射热流以附加源项的形式出现在离散方程中。

The discretion equation was derived for the control volume with conjugate heat transfer at its interface, with the radiation heat flux at the interface appearing as an additional source term.

7. 最后，在均值移位框架下推导了该模型梯度匹配过程中移位向量的表达形式。

And lastly, the expression of shift vector in the process of the model gradient matching was derived in the framework of mean shift.

8. 同时，推导了巴塞伐尔定理的数字形式。

At the same time, the digital form of Pasiphae theorem is derived.

9. 本文运用叠加原理，从麦克斯韦方程的积分形式出发推导出在交变电磁场中储藏在电容器中的电场能量，并且指出了决定电容器电容数值的因素。

The energy of electric field stored in the capacitor placed in an alternating electromagnatic field is concluded by using the principle of superposition and by starting with Maxwell equations.

10. 推导出了具有一般形式的平面简谐波的波动方程，利用此公式求解波动方程简单而且准确。

The wave equation having general forms of planar simple harmonic wave is deduced in this article. It is simple and accurate to solve wave equation by using this formula.

11. 因此这是一种很强大而简单的形式，一旦我们定下需要什么，就可以推导出它，对吧？

So it"s a really powerful and simple formalism, once we set up what is needed the go through it, right?

12. 在考虑了沉淀指示剂的影响下，推导出了以林邦误差公式形式表示的沉淀滴定终点误差的计算公式。

The endpoint error formula which takes the form of Ringbom"s error formula and involves the effect of the precipitation indicator in the precipitation titration has been derived.

13. 并从分布参数线路的相关理论出发，推导出了模量形式的保护判据，从原理上消除了线路参数分布性对保护的影响。

The criterion of protection is deduced in mode-domain using the theory of line with distributed parameters to eliminate the effect of line parameter distribution on protection.

14. 分析了非饱和土体抗剪强度参数的计算方法，得出非饱和土抗剪强度公式的实用形式，并推导了抗滑稳定安全系数的计算公式。

Deducing the calculation method of shear strength of unsaturated soil, the applied equation is searched, from which the formula of safety factor of embankment"s stability is derived.

15. 建立了一个具有终端产出约束的动态投入产出最优控制模型，推导出了其最优控制的反馈形式。

In this paper we established the optimal control model on dynamic input-output with a terminal output-constraint. We get a feedback form of the optimal controls.

16. 在几种特殊情况下，所推导的计算公式可简化为已有的形式。

For some special cases, the above models can be simplified to the equivalent equations published in the former literature.

17. 所推导的系数公式都属正弦函数形式。

Coefficient formulae derived belong to forms of the sine function.

18. 根据附加应力叠加原理，逐步推导得到不同布桩形式的群桩效应系数计算公式。

The formula for effect coefficient of piles group were solved gradually under different shape of laying-out piles according to principle of additional stress superposition.

19. 针对工程实践中常用的预应力钢束布置形式，推导了预应力钢筋回缩影响长度的数值解法和预应力等效荷载的一般计算式。

Based on the general case of tendons used in practice, the formulas for calculating the extent owing to the anti-friction effects and the prestressing equivalent loads are derived.

20. 首次把完全匹配层(PML)边界条件应用到adi FDTD计算中，采用幂指数形式的时间步进算法，推导了相应的迭代公式。

The perfect matched layer (PML) technique is used in ADI-FDTD calculation for the first time. The expressions for the exponential time-stepping algorithm in PML are derived.

21. 推导结果表明，此时离散方程的形式仍与纯导热物体的形式相同，只是界面上的辐射热流以源项的形式进入到离散方程中。

The discretization equation obtained takes the same form as that for the pure conduction problem, with the radiation heat flux at the interface appearing as an additional source term.

22. 通过将问题化为非线性算子方程，推导出算子的形式导数，给出了线性化问题解的等价表达。

By reducing the MREIT problem to a nonlinear operator equation, the formal derivative of the operator and the formula of solution for linearization problem are given.

23. 齿轮啮合是转子之间常见的一种耦合形式，根据耦合单元的概念，推导了在全局坐标系下斜齿轮啮合的传递矩阵。

Since the gear engagement is a common coupling form between rotors, the transfer matrix of skew gear engagement in global coordinate system is deduced based on the concept of coupling element.

24. 水平承载力公式按照三维空间问题进行推导，形式简单，计算方便，有较强的实用价值。

A simple calculation formula of the horizontal bearing capacity is deduced according to the model.

25. 本文还推导了具有一般形式的累积量方程。

The cumulant equation having generalized form was also derived in the paper.

26. 我们现在推导这个不等式的另一种有用形式。

We derive now a useful variant of that inequality .

27. 我们现在推导这个不等式的另一种有用形式。

We derive now a useful variant of that inequality.

28. 推导出自由单层板频散方程的矩阵表达形式。

Matrix expression for dispersion equation of a single plate was derived.

29. 推导出自由单层板频散方程的矩阵表达形式。

Matrix expression for dispersion equation of a single plate was derived.