一阶

Completeness Theorem showsthat syntactic and semantic consequences coincide in the case of the predicatelogic.

完全性定理表明一阶谓词逻辑的语法后承和语义后承是重合的，它标志着一阶逻辑的成熟。

ADAMS. According to a function with STEP5 has features of continuous first and second derivative,the higher degree of approximation,etc.,we test and verify feasibility of fore-and-aft movement and turning gait of the robot. Thus a solution of the Snake-like robot motion under the ADAM...

ADAMS软件对蛇形机器人进行了从样机模型建立到运动学仿真与分析等一系列研究；并根据STEP5函数具有一阶与二阶导数连续、较高的逼近程度等特性验证了蛇形机器人前后移动和左右转弯步态可行性；找到了一种在ADAMS环境下求解机器人运动的方法，简化了理论计算，提高了设计效率。

The boundary value problem for first-order differential equations with a parameter refers to the finite solution condition of equation which includes unknown quantity and its first-order derivative that not only relies on interval value but also relies on the parameter of the equation,which is always settled by fixed point theory or successive approximation method.

含一个参数的一阶微分方程边值问题是指：含有未知量及它的一阶导数的方程的定解条件不仅依赖于在区间端点的取值，而且依赖于方程中的参数。通常它用不动点定理或逐步逼近法来解决。

Edge lines are extracted automatically from image, by acquiring points of extremum of first directional derivative vertical with edge line with Fourier transform in frequency domain.

同时，参考一阶方向导数的数值来排除一些非边缘点（一阶方向导数的数值为常数者，零也为常数）。

In this paper,by using the idea of F-expansion method (where F is a known solution of an ordinary differential equation with fourth positive power nonlinearity),the problem of seeking the exact solutions of the generalized BBM equation with any positive power nonlinearity is changed into seeking the exact solutions of an ordinary differential equation with fourth positive power nonlinearity.

利用F-展开法的思想(F是一阶四次常微分方程的一个解)，将求含有任意次正幂项非线性广义BBM方程的精确解转化为求一阶四次常微分方程的精确解。

The generalized Huygens–Fresnel diffraction integral for misaligned asymmetric first-order optical systems is derived by using the canonical operator method, which enables us to study propagation properties of anisotropic Gaussian Schell-model beams through misaligned asymmetric first-order optical systems.

广义惠更斯-菲涅尔衍射积分为歪斜的非对称一阶光学系统中，推导出用典型算子方法，使我们可以研究繁殖性能的各向异性高斯夏伟模型光束通过失调非对称一阶光学系统。

We developed a first-order electronic gradiometer with four HTS rf SQUIDs. Thereference consisted of three SQUIDs oriented in x, y and z directions. A balance factorof 2〓 was achieved. With 3.5mm diameter washer rf SQUIDs, the magneticgradient sensitivity was 220fT/(√ Hz ·8cm). As a preliminary test, we used thegradiometer for nondestructive evaluation and magnetocardiograms inunshielded environment.

我们用四个高温超导rf SQUID组成一个具有高平衡度的一阶电子梯度计，梯度计的基线长度为8cm，它对各方向均匀场的平衡优于2×1〓，利用该一阶梯度计，我们在没有屏蔽的实验室环境下进行了心磁图测量和无损检测初步实验。

Put forward a new method by transforming the second-order hyperbolic equationinto a first-order system of equations and derived the H_0~1 -norm and the L~2 -norm error estimates.

12提出一种新方法，通过转化双曲型方程中二阶时间导数项得到关于一阶时间导数的耦合方程组，然后进行离散，得到一个两层交替方向有限元格式，并得到H_0~1-模和L~2-模误差估计。

Del incompleteness theorem is based on some interpretation of first order arithmetic.

本文首先从形式主义的角度介绍了哥德尔不完全性定理，提出"哥德尔不完备性定理"的说法是容易混淆的，说明一阶算术有非标准模型，哥德尔的证明是基于标准模型的，可以推出一阶算术在标准模型上的不完备。

The transfer matrix and diffractive integral formula in frequency domain were acquired by rotating the input and output optical field π/2 in the phase space. Accordingly the fractional Fourier transforms of a first-order optical system in frequency domain were also obtained.

通过将输入输出光场在相空间中作π/2角旋转，得到了一阶光学系统在频域的传输矩阵和衍射积分公式，进而得到了一阶光学系统在频域的分数傅里叶表示。

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.

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