查询词典 first order

In order to solve the limitations of the first-order logic,the existing formalismseither extend the range of truth value or revise the definition of implication from asyntactic or a semantic point of view.

为了解决一阶逻辑的这些局限性，现有的方法一般表现为对一阶逻辑的公式的真值取值范围进行扩展和对蕴涵在语法或语义上进行修正或推广。

The results obtained in present thesis can provide valuable references in theory and experiment for development and practice of the first-order and second-order autofrettage techniques.

本文所得到的结果，为一次、二次机械自紧技术的研究和应用，提供了有价值的理论和实验参考资料。

The theoretical analysis methods on the first—order and second—order mechanical autofrettage technique of thick—walled cylinders, with reflecting the material characteristics, are studied systematically in this thesis.

本文首次提出和研究的厚壁圆筒二次机械自紧技术，可扩大机械自紧技术在不同口径身管上的应用，降低冲头的推力，充分挖掘现有设备的潜力。

The databases of NIRDRS for Hypericum、 Eucalyptus globules and broussonetia papyrifera were established within suitable spectral ranges with three kinds of data block(original spectrum, first-order derivative spectrum and second-order derivative spectrum) to discriminate unknown samples.

分别用三种数据块(原谱、一阶导数光谱、二阶导数光谱)在不同的谱区范围建立了金丝桃、蓝桉、楮实子3种中药材的NIRDRS指纹图谱库，对未知样品进行鉴别。

So we adopted the isotope marking method in order to know the distribution of BBP in male and female mice. The result indicated 〓H-BBP presented the first-order kinetics and matched the open two-compartment model. Distributional half-life was about 20 minutes and eliminable half-life was about 6-7 hours. As α(the speed constant of distributional phase) was about ten times β(the speed constant of eliminable phase), this compound had a fast distribution and a low elimination.

为了揭示BBP致毒有明显性别差异的原因，采用同位素标记方法示踪BBP在雄、雌动物体内的归趋，结果表明：BBP在动物体内呈一级动力学线性过程，符合二室开放模型，分布半衰期为20min左右，消除半衰期为6-7hr左右，分布相的速度常数α是消除相的速度常数β的10倍左右，说明该化合物在体内的分布较快、消除慢的特征。

Based on calculating the first-order corrections to the energy from relativistic and mass-polarization effects, we estimate the higher-order relativistic contribution and QED correction to the energy under a hydrogenic approximation. The transition energies, wavelengths and oscillator strengths for the 1s23s-1s2np transitions of this ion are calculated.

在计算相对论效应和质量极化效应对体系能量的一级修正的基础上，通过引入价电子的有效核电荷，在类氢近似下，估算了对能量的高阶相对论修正和QED修正，计算了该离子1s23s-1s2np的跃迁能，波长和在三种规范下的振子强度。

In mathematical logic, predicate logic is the formal system of universal symbolic terms, such as first order logic, second order logic, many types of logic or infinitary logic ...

在数理逻辑中，谓词逻辑是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或infinitary逻辑。。。。

This paper uses cubic spline interpolation function, setting up a mapping between control inputs and control outputs directly based on the data of control input-output, and receives the control algorithm of cubic spline interpolative control for single variable and two variables to separately control the first order system and second order system.

本文利用三次样条插值函数，直接由控制输入输出数据对建立了控制输入与控制输出之间的映射关系，得到了一元三次样条插值控制算法和二元双三次样条插值控制算法，二者可以分别对单输入单输出系统和双输入单输出系统进行控制。

With c programming language, will step Kiel method of first-order differential equations, given an order ordinary differential equation init...

用c语言编程，定步长基尔法求解一阶常微分方程，给定一阶常微分方程的初值问题。

Elovich equation,zero order equation ,first order equation and parabolic equation was used to describe the nonexchangeabe k releasing process.Then the best model was selected to describe nonexchangeable k release and its velocity.

利用Elovich方程、零级方程、一级方程和抛物线扩散方程对土壤的累积释放量进行模拟，研究探讨了描述土壤非交换性钾释放及其速率较为理想的动力学模型。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。