作者想推导简短的公式，对梯形、矩形和圆形断面采用通用的程序，以得到准确的结果。
The authors want to deduce a brief formulation, and use all-purpose program to get exact result for echelon, rectangle and rotundity cross section.
瑞恩计划是一个“归谬证法”——通过推导逻辑结论对命题进行反证。
The ryan plan is a "reductio ad absurdum " a disproof by taking a proposition to a logical conclusion.
我们推导这两个最终能达到某种平衡分离，我们用小写的r来表示。
We reasoned that these two eventually reach some kind of an equilibrium separation, which we are using lowercase r to represent.
有时候如果我正在讲解一句话，或者正在推导一个公式，我会稍微多讲几分钟。
Sometimes if I'm in the middle of a sentence or the middle of a derivation, I may have to go over by a couple of minutes.
他希望可以理顺这些混杂的信念，以便可以做到证实一个，便能随之推导出另外一个。
He resolves to put some kind of order into this jumble of beliefs so that justification of one proposition may follow from another.
用费马原理推导了透镜的物像公式.
本文推导了拉维娜式行星齿轮变速器的运动特性方程。
This paper derives the motion property equation for Ravigneaux planetary transmission.
这篇文章提出了公法线长度并推导出超前角的计算公式。
In this paper base tangent length is put forward and lead angle calculating formula is deduced.
使用 DNASIS程序分析核苷酸序列并推导氨基酸序列。
DNASIS program was used to analyse the nucleotide sequence and deduce the amino acide sequence.
基于图象中纹理的预知性，应用必要的约束条件推导出了该种滤波器。
Based on preknowledge of texture in an image, with needed constraint, the filters are derived.
这是正确的，因为上面对a和b 的奇偶性的推导是一个当且仅当命题。
This is true as the above derivation for a and b of opposite parity is an if and only if statement.
推导了 RSPP到达间隔时间分布的表达式。
The expression of the interarrival time distribution of RSPP is derived.
现在推导大致需要约五六分钟。
而不是我喜欢在课堂上讲推导。
这些价格变化可通过下述方式推导出
所以我不会写出所有推导过程。
但是我从来不会要求你们去推导这些。
词干推导不会应用到词汇表之外的词汇。
SOA的出现推导出一个分层架构模型。
现在得到第一个推导式。
我们要进行的就是，一个很简单的数学推导。
And so what I'll go through I s a simple mathematical derivation.
应用推荐