1) derivation
[英][,derɪ'veɪʃn] [美]['dɛrə'veʃən]
推导
1.
e perfect derivation of Rayleigh model and its application.;
瑞利模型的完善推导与应用
2.
Derivation on the Linear Stability Theory of Plane Liquid Sheets Spray in Two Compressible Gas Streams;
可压缩气流中平面液体层雾化的线性稳定性理论推导(英)
3.
Calculation and FEM Analysis of Simplified Beam Model Based on Derivation of Rigidity Matrix;
基于刚度矩阵推导的车身梁简化模型的计算与有限元分析
2) Deduction
[英][dɪ'dʌkʃn] [美][dɪ'dʌkʃən]
推导
1.
Deduction of a Simple Formula of Calculating the Mn Amount in Rich Mn Tailings;
富锰渣含锰量简易计算公式推导
2.
The deduction of lusefu s scattering formula in many books is quite incomplete.
许多书籍中对卢瑟福散射公式的推导是不完整的 ,在本文中从动量和角动守恒出发推导出公式。
3.
It mainly exists in three forms,so the deduction of determinantal properties correspondingly exists in three ones.
行列式定义是分析行列式性质的基本依据,行列式定义主要存在三种形式,于是行列式性质的推导也就有三种形式。
3) inference
[英]['ɪnfərəns] [美]['ɪnfərəns]
推导
1.
Cognitive Context and the inference of Utterence Meaning;
认知语境与话语意义推导
2.
This paper interprets its definition,category, the flouting of maxiams, and inferences and develops its pragmatic inferences with the theory of relevance.
文章从会话含义的定义、分类、违反原则及含义推导等方面对其作了分析,并运用关联论推导会话含义,解释语言交际。
3.
Then resorting to exemplifications it intends to illustrate that cognitive context plays a decisive role in understanding utterances, especially in implication inferences.
在含义推导过程中,认知语境起着决定性作用。
4) Derive
[英][dɪ'raɪv] [美][dɪ'raɪv]
推导
1.
The article introduces how to derive the summation formula of ex n of sequence of number using the compound trapezoid formula.
文章利用复化梯形公式推导求数列前 n项和的公
2.
for the different unit of flexibility list in references, mechanical theory was applied to derive an approximate calculating formula on flexibility.
针对各资料中挠度表单位不同，运用力学原理推导出挠度计算近似公式并确定挠度表单位，应用到H22Ⅲ型压缩机技改中。
3.
The derive for this formula in the referenee[1]is very complex and not rigor-ous in the theory, can not be easily understanded, it is not convenient for teaching.
文献[1]对这一公式的推导较为繁琐，不易理解，且理论性不强，给教学带来不便，本文则给出一简洁的推导，而且其原理较为严密和简单，学生易于掌握。
5) deduce
[英][dɪ'dju:s] [美][dɪ'dus]
推导
1.
After researching into quick measure method of neutral value of refined lubricating oil, deduce the calculated formula for acidity quick determination of jet fuel and straight-run diesel fuel, making use of the relationship in unit of neutral value and acidity, and the conversion relation of density & quality & volume.
通过引用精制后润滑油中和值快速测定方法,利用中和值和酸度单位之间的联系,以及密度、质量、体积三者之间的换算关系,推导出喷气燃料及直馏柴油酸度快速测定法的计算公式;通过实验条件的摸索及数据对比,结果表明,该方法操作简便、快速、准确,适用于边远油库以及不具备检测条件的现场对产品的检测分析,同时也适用于生产现场、生产车间及化验室对中间产品的控制分析。
2.
Using this theory,we can deduce the conversational implicature as well as the speaker s communicative intention,thus improve our communicative competence.
运用格赖斯的会话含意学说可进行会话含意的推导 ,并进而深入地探究说话人的交际意图。
6) derivation
[英][,derɪ'veɪʃn] [美]['dɛrə'veʃən]
推导，导出
补充资料：逻辑推导
逻辑推导
derivation, logical
在以古典逻辑为基础的演算中，一个特征是二二A卜A.在直觉主义逻辑(构造主义逻辑)中，对r附加某些条件，就可以证明Brou认尼r可推导性概念原理(PrindPles of Bro~conCePt of derivabiUty):l)如果r卜AVB，则或者有r卜A，或者有r卜B;2)如果r卜日xA(x)，则对某个项t，r卜A(t)(r是空集时这些条件也都满足).由演绎定理(d司1心lonthe-。比m)的作用，一个推演中可以去掉一些假设，直到变成没有假设. 推导概念的形式化(以及由此得到系统的形式化)标志着现代数理逻辑的创始.在现代的、更为严格解释的公理化方法中，不仅仅是公理，而且逻辑工具也被形式化，这就使得能够给出证明这一概念的数学定义，并能用数学方法对证明加以研究〔见证明论(ploof tlloory)).形式推导这一概念被认为是很近似于数学证明的概念的(见C肠山l完全性定理(C伽无1印mPle协汉 SSth印化m)，C谊划不完全性定理(G叼elmcomPleten哪山印化m)).逻辑可演绎性的人工形式化已发展为很接近于有实际意义的数学推理方法(见自然逻辑演绎(nat山旧!fogi伪1 dedu‘t助n)).逻辑推导[山幼怕‘刃，瑰灿.;a。一。几几or.，ee“11‘] 演算(司‘川山)中由逻辑规则作出的形式推导，它所推出的主要结果是解释为命题(pmPosition)的公式(follm目a);见逻辑演算(】哈口1口叱祖璐);逻辑数学演算(10乡阳哎砚山即旧石倒。日culus).这些演算通常都被赋予一种语义(见语义学(selr旧幻ti。))，因此逻辑推导有时也被理解为一种有含义的陈述，它允许从公理和假设出发得到新的命题，新命题就是初始命题的 逻辑推论. 如某遭辑变孩的公理和玩网己经绍走i觅雍幕法-则(由d辍山nl飞叫))，称一个公式列是(它的末项A“J)丛俘诊人，‘’‘，人(n)0)中拳的万个堆导，如果这个 公式列中的每一项或是一条公理，或是某一条假设，或是由它前面的公式依据一条规则而得到.记此为A，，…，人、A.公式A就称为从A:，一人可堆导的 (山d铂ble).如果n“0，记号卜A是指在有关的演 算中，不用任何假设，A就是可推导的.记号Al，一，人卜表示“假设A:，…，人导出矛盾”(在多数常用 的系统中，A，，…，A。卜意味着任意公式都可以从这 些假设中推导出来).例如，在含有公理A“(B OA) 和分离法则(1扭劝留po~)的演算中，序列A，A。 (B〕功)，B OA，就是从A出发到B OA的一个推导 (即A卜(B“A)).以下是逻辑推导的几个性质: A卜A;如果r卜A，则A，rl一△;如果A，A， r卜△，则A，r卜△;如果r，A，B，r’卜△， 则r，B，A，r’卜△;如果r一A，且A，r’卜△， 则r，r‘卜△(这里A和B是公式，r和r‘是公式 的序列，△是一个公式，或是空字).这些性质使得 假设条件序列的实质变换成为可能，再连同引人和省 略逻辑符号的法则(见导出法则(由巧货月司e);可推 断法则(ded心比n日e))，就使得带有符号卜的系统 很像一个C.加即形式系统(〔记n切翔化爪以15娜记川).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条