一阶

But what weve found is that apart from the agents mechanisms, which has been in eiffel now for a number of years, theres really no need for introducing first-order predicate calculus, or there exists operators.

但我们发现使用 eiffel 中已经存在多年的代理机制就可以解决，完全没有必要引入一阶谓词演算和 there exists 操作符。

Also, first-order predicate calculus isnt good enough anyway.

同时，从各方面来说，一阶谓词演算都不是足够好。

But what we've found is that apart from the agents mechanisms, which has been in Eiffel now for a number of years, there's really no need for introducing first-order predicate calculus, or there exists operators.

但我们发现使用Eiffel中已经存在多年的代理机制就可以解决，完全没有必要引入一阶谓词演算和there exists操作符。

In the first-order logic, predicate variable is said of a relationship between the predicate letters, this relationship has not been assigned to any particular special relationship or meaning

在一阶逻辑中，谓词变量是表示一个关系的谓词字母，这个关系还没有被特殊的指派任何特定的关系或意义

Authors designed a kindred automatic reasoning model based on one-order predicate logic.

用一阶谓词逻辑设计了一个亲属关系的自动推理模型。

Prenex normal form of the first order logic propositional is the key to propositional logic. Generally, there are three steps to change get a prenex normal form: first of all get rid of the connection word; Secondly, make the negative word to the front of every atomic.

对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；其次将否定词深入到各原子公式中；最后利用永真等价式将量词逐个移到式子的前部。

First order sea echo, which contain the information of ocean surface current, is firstly separated from sea echo through prepossessing. MUSIC is then applied to extract the bearings of the signals at every Bragg shift.

该算法首先通过预处理从海洋回波中分离包含海流信息的一阶回波，然后针对其中可分辨的每一个Doppler频移上的信号，采用MUSIC算法求其多个存在方位。

The result of optimization and analysis show: 1 across-axis sensitivity is smaller, less than 2% of the primary axis sensitivity; 2 the first mode is dominant at primary axis, which reduce intersectional coupling; 3 when damp ratio is between 0.3 and 0.7, accelerometer has better dynamic characteristic.

分析结果表明此种结构的具有：1横向灵敏度小，X、Z方向的横向灵敏度均不到敏感方向的2％；2在敏感方向上，一阶模态起主导作用，其它模态的影响较小，有利于减小交叉耦合的影响；3当阻尼比毛为0.3—0.7时，传感器具有较好的动态特性。

Privacy policy model based on first-order logic is introduced to uniform the privacy policy primitive which is the essential element constructing the privacy policy and provides consistent research object and privacy policy semantic for following research in this paper.

2研究了基于一阶逻辑的隐私策略模型，通过该模型统一了构成隐私策略基本要素的隐私策略原语，为本文的研究提供了一致的研究对象和隐私策略语义。

The basic theory of establishing the grey neural network model is according to the tenet that we set up the grey system model, and then we can constitute a differential equation with the primitive sequence.

本文在这样理论基础上，对现有一阶灰色神经网络模型GNNM（1，1）做了进一步的改进和完善。

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.

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