一阶理论

The one order differential model and convolutional model of impedance formula of amplitude versus offset inversion were established. Impedance inversion formula from AVO was derived based on Bayesian framework. Methods of using Huber function as prior model parameter distribution and covariance matrix from well log as constrains were developed. The P-wave impedance, S-wave impedance and density were calculated by the conjugate gradient algorithm.

为此建立了振幅随偏移距变化波阻抗反演公式的一阶差分模型及褶积模型，推导了基于贝叶斯理论的AVO波阻抗反演公式，给出了采用Huber分布作为模型参数的先验分布及测井数据的参数协方差矩阵作为约束条件的实现方法，并利用共轭梯度法计算了纵、横波阻抗及密度。

After a linear differential equation showing the pressure variation has been derived, the theoretical equation of the spraying time is...

建立了存储压力与时间的变量分离型一阶微分方程，进而得出喷射时间的理论公式。

Content: By learning this course, students should grasp the elementary solution of first order differential equation, the structure theory of linear differential equation or system of linear differential equations and the solution of constant coefficient differential equation or system of constant coefficient differential equations.

主要内容：通过对本课程学习，使学生掌握一阶微分方程的初等解法、线性微分方程的结构理论和常系数方程的解法，对微分方程初值问题的一些基础理论有一定的了解，对

After a linear differential equation showing the pressure variation has been derived, the theoretical equation of the spraying time is then obtain...

建立了存储压力与时间的变量分离型一阶微分方程，进而得出喷射时间的理论公式。

We first introduce the state of the art of Web Services Composition, and then analyze the relation between Web Service Composition and related theoretical backgrounds. Concerning the two key technologies, service composition method and service composition system, we demonstrate our work.1. Based on semantic Web Service and OWL-S specification, a first-order logic Situation Calculus planning method for services composition is introduced.

本文首先对现有的服务组合相关工作做了比较详细的阐述，在分析了语义Web服务自动组合所涉及的主要理论背景之间的关系和作用之后，针对我们所关注的两个主要技术层面——服务组合方法和服务组合系统阐述了我们的工作： 1、在语义Web服务规范OWL-S的基础上，研究通过一阶逻辑状态演算来规划组合服务的方法。

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.

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

Based on a simple and applicable method for sensitivity analysis, the updating parameters were determined such as material, cross shape and size of the main loading rods in the rig derrick. The optimal updating function was established according to the residual differential value between testing modal parameter and theoretical modal parameter.

依据简单实用原理，利用灵敏度分析方法确定了井架结构主要承载杆件的材料、截面形状和几何尺寸为待修正参数；以试验模态参数和理论模态参数之间的残差最小值构建优化修正函数，利用一阶搜索优化算法对待修正参数进行了优化和状态评估。

In this paper, by using the cone theory and mixed monotone iterative technique, the fixed point theorems for a class of mixed monotone multivalued operators in Banach spaces without continuity and compactness are invetigated. The results presented here develop some known ones.

利用锥理论和混合单调迭代序列技术，在不要求任何紧性和连续性的情况下，证明了Banach空间中的一类混合单调集值算子不动点定理，并应用到一阶集值方程中，推广了某些已知结果。

Based on entropy theory, a nonhomogeneous Markov model is introduced to identify the donor sites.

根据信息熵的理论，我们对donor sites区域按照极大熵的原则建立了一阶非时齐马氏链。

The forced oscillators have been investigated with the use of the conjugated arithmetic operators and the matrix of the normal form theory.

第三章将非线性系统转换为一个四维的一阶系统，再进行非线性变换，将规范形理论中的共轭算子法和矩阵表示法联合一起应用，研究了强迫振动问题。

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.

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