查询词典 first order

According to the problems that are encountered in designing the mathematical knowledge representation language in NKI (national knowledge infrastructure) and after the discussion of ontological assumptions for mathematical objects, two kinds of formalisms for the representation of mathematical knowledge are provided. One is a description logic in which the range of an attribute can be a formula in some logical language; and another is a first order logic in which an ontology represented by the description logic is a part of the logical language.

根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑。

In TFDE, the first-order timederivative is replaced by a fractional derivative, making the problem global in time.

对于前者，时间上的一阶导数被分数阶导数所代替，使得问题在时间上是全局的。

E. , the Frechet derivative is the first order of Zhang's integrated geometric factor. With the help of FEM, the calculation of the Frechet derivative is carried out conveniently, and its efficiency and accuracy are recommendable.

同时给出了均匀背景条件下Frechet导数结果，并且巧妙地解决了利用有限元素法计算Frechet导数的问题，获得了较高的运算效率和计算精度，从而使经典的有限元素法具备了求解测井响应和进行Frechet导数精确计算的双重功能。

In this paper, one corollary has been derived, i. e., the Frechet derivative which is necessary to the resistivity inversion, is the first order of Zhang's integrated geometric factor.

针对阵列电位电极系测井正演与反演研究，我们得到另一结论：反演过程中必然用到的Frechet导数为张氏一阶积分几何因子。

In Chapter Ⅳ, the distribution of zeros of solutions of the first-order functional differential equation with variable delays is studied.

同时，利用推广的Gronwall不等式，讨论了一类二阶非线性扰动微分方程的振动性并得到若干新的振动准则。

The results are generalized to first-order neutral functional differential equation.

第四章讨论了一阶泛函微分方程解的零点分布，改进了一阶滞后型泛函微分方程在解的零点间距离的上界估计的结果，并将此结果推广到一阶中立型泛函微分方程。

In chapter 2, we deal with boundary value problems of the first order functional differentional equation with impluses, some results of the existence are obtained by using the monotone iterative technique and methods of upper and lower solutions.

第二章讨论一阶脉冲泛函微分方程的边值问题，在合适的条件下利用单调迭代法和上下解方法，获得了若干解的存在性结果。

The coupling constants between the fundamental mode and the first-order cladding modes were determined by a mode-coupling equation.

通过耦合模方程确定了基模和一阶各次包层模之间的耦合常数。

So it turns out that the Boltzman distribution law is only the first order approximation of the Bose or Fermi distribution. We can say it is the latter that is the general distribution law of ideal gas particle in a potential field.

由此可以证明玻耳兹曼分布规律只是玻色和费米分布规律的一级近似，所以后者才是处在势场中理想气体粒子的一般性的分布规律。

The topics covered in these sections are the geometric interpretation of systems of linear equations, the classification of finite symmetry groups in two and three dimensions, the exponential of a matrix and its application to solving systems of first order linear differential equations with constant coefficients, and Hurwitz's theorem on the composition of quadratic forms.

这些条文所涉及的主题是线性方程组的几何解释，在两个和三个有限对称群的分类方面，一个矩阵及其应用，以解决一阶常系数线性差分方程，系统指数赫尔维茨定理在二次形式组成。

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.

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