查询词典 first order

It is well known that first-order logic and axiom set theory are two part of the whole mathematical logic.

众所周知，一阶逻辑与公理集合论是数理逻辑的两个组成部分，其中，一阶逻辑是数理逻辑的基础部分。

He was a mathematician of the first order.

他是一流的数学家。

For the first-order ordinary differential equation system, the coefficient matrix of variables with derivative is decomposed into the triangular factor form and transformed into unit matrix.

对于一阶常微分方程组，将具有导数变量的系数矩阵作三角化分解，使其简化成单位矩阵。

The suspended sediment exponent model and quadratic inversion model solving spectrum reflectance, spectrum reflectance mean value and reflectance first-order derivative are established respectively, based on the analysis of spectrum characteristics. The results showed that the 900 nm wavelength exponent model can accurately quantitatively inverse the suspended sediment concentrations.

在对其光谱特性进行分析的基础上，分别建立了悬浮泥沙光谱反射率、光谱反射率均值和反射率一阶微分的指数反演模型和二次反演模型，结果显示 900 nm 波长的指数模型可以较准确地定量反演出悬浮泥沙浓度。

It should then not be confused with a first-order theory of metamathematics, as the quantifiers have been stripped out, though universal quantifiers may be emulated by rewriting into free variables.

然后不应该混为一谈一阶元数学理论，如量词被剥夺了，但普遍的量词可仿效改写成自由变数。

The measurement in set theory, the properties of Metric Space, Measurement Topology, Measurable Space, Perfect Metric Space and its application in first order circuit are explored in this paper.

本文论述了集合上的度量、度量空间的性质、度量拓扑、可度量化空间、完备度量空间、及一阶电路中的度量空间。

Accurately considering the axial extension and first order transverse shearing deformation, the geo metrically nonlinear governing equations for functionally graded Timoshenko beam subjected to mechanical as well as thermal loads were established. In the analysis it was assumed that the material properties of the beam vary continuously as a power function of the thickness.

在精确考虑轴线伸长和墓于－阶横向剪切变形理论的基础上建立了功能梯度Timoshenko梁受热－机载荷作用时的几何非线性控制方程，其中功能梯度梁的材料性质采用了沿厚度方向按照幂函数连续变化的形式。

In chapter 4, the factorization and cascade decomposition for first order singular systems have been discussed, the if and only if conditions have been obtained, the invariaty of minimality under factoiization and cascade decomposition has been proved.

第四章，讨论了一阶奇异系统的因子分解和级联分解，给出了其具有上述分解的充要条件，证明了极小性在分解下的不变性；对具有一阶奇异系统实现的有理函数矩阵，给出了判定其为正实函数的充要条件，推广了著名的正实引理。

The method is based on the first-order optimalitycinditions for a local minimizer of the augmented Lagrangian,with different form,being transformed into another nonliner system.

该方法是以增广Lagrangian函数局部极小点的一阶最优性条件为基础，通过不同的形式，将其转化为另外一个非线性系统。

After comprehensive interpretation of geophysical information, on the basis of equal depth on Moho discontinuity, a new conception that the first order fault syst...

论文通过对地球物理信息的综合解译，在莫霍面等深度的基础上，首次提出具新意的中亚地区的一级构造系－"两隆两坳"构造格架。

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.

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