一阶

Therefore, some these fields are thoroughly investigated in this dissertation, which are respectively mentioned as the following: 1. The Formal Description Language ISITL for Intrusion Signatures ISITL is a high-abstractive formal description language for representing intrusion signatures based on the interval temporal logic and first-order predicate calculus.

本论文对此展开了全面深入的研究，其内容主要包括： 1、基于时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言ISITL ISITL克服了以往检测语言以"情景描述"为主的缺陷，转而采用形式化的方法来刻画入侵模式的入侵特征。

Based on the logic dependent relation and first-order logic, AND/OR graphs of single target with unit agent, and single target with multi-agent, joint targets with multi-agent were gotten respectively. As an example, single target with multi-agent was used to illustrate AO(superscript *) searching algorithm of logic dependent relations.

在分析逻辑依赖关系与一阶谓词表示法基础上，分别给出了单agent单目标、多agent单目标、多agent联合目标的逻辑依赖关系的与／或图表达方法，并应用与／或图的AO搜索算法，以多agent单目标情形为例，演示多agent系统中逻辑依赖关系的计算过程。

Tableau method with quantifiers in first order many valued logic exist uniform expansion rules, and sound and complete have been proved by Zabel et al .

含有量词的一阶多值Tableau方法具有统一的扩展规则，并由Zabel等人给出了可靠性和完备性的证明。

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.

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

On the base that two comparison theorems are established,applying the fixed-point theorems,we investigate the existence of maximal and minimal solutions forfirst order initial value problem and the JKjperiodic boundary value problem of discontinuous differential-integral equations of mixed type in partial-ordered Banach spaces,respectively.

在建立了两个比较定理的基础上，我们应用不动点定理，分别研究了半序Banach空间中不连续的一阶混合型微分-积分方程的初值问题与周期边值问题最大解与最小解的存在性。

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 波长的指数模型可以较准确地定量反演出悬浮泥沙浓度。

The results show that meridional wind stress of one class that diverges or converges affects velocity and geopotency field.

结果表明，只有一阶的经向风应力或具有辐合辐散的经向风应力才对最后的速度场和位势场造成影响。

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.

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

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函数局部极小点的一阶最优性条件为基础，通过不同的形式，将其转化为另外一个非线性系统。

The labia have now been sutured together almost completely.The drains and the Foley catheter come out at the top.

此刻阴唇已经几乎完全的缝在一起了，排除多余淤血体液的管子和Foley导管从顶端冒出来。

To get the business done, I suggest we split the difference in price.

为了做成这笔生意，我建议我们在价格上大家各让一半。