一阶公式

关于群的一阶公式的注记

Notes on sentences in first-order group theory

MSR用基于一阶原子公式的类型化的多重集重写规则描述协议动作，用存在量词模拟新鲜数的产生，是一种精确、灵活的密码协议形式化模型。

The model uses strongly typed multiset rewriting over firs order atomic formulas to express protocol actions and relies on a form of existential quantification to symbolically model the generation of fresh data .

部分赋值一阶逻辑公式的条件求值&NP完全性及在特定情况下的求解

The conditional evaluation of first order logic expressions partially assigned & np-completeness and the solutions in special situations

据此即可分别推导出透射中间点和折射点的一阶修正公式，进行折射线逐段迭代计算求出整条射线路径。

Accordingly , the first-order modified formula for transmitted intermediate points and refracted points is derived and whole ray-path can be computed for refracted ray iteratively segment by segment .

经过理论公式的推导，利用直立断层重力异常一阶导数公式构造了似二度体断层反演公式。

Through the theory formula deduction , we deducted the inversion formula of 2 . 5D fault model based on the first derivative formula of the gravity anomaly of the vertical fault model .

本文给出了计算分块g－循环矩阵特征值的一个降阶公式，并且解决了数字g－循环矩阵特征值的计算问题。

Abstract In this paper , we give a reduced-order formula for calculating the eigenvalues of block g-circulant matrices and a concrete expression of all the eigenvalues of g-circulant matrices .

基于一阶模糊逻辑公式的有限解释真度的推理理论

A Reasoning Theory Based on the Finite Interpretation of Formulas ' Truth Degree in First-order Fuzzy Logic

本文提出利用双图法（电压图与电流图）表示网络的拓扑结构，然后在增量网络模型基础上导出了网络元件的一阶灵敏度计算公式。

In this paper , using two graphs , voltage graph and current graph , to represent topological construction of networks , then using incremental network models , one order sensitivity calculation formula of network elements is derived .

在一阶电路中新公式与常规的三要素公式相一致。

For first order circuits the new formula is similar to ordinary three element formula .

一个高阶加速公式

An acceleration formula of higher order

给出了截止频率的一阶弱导近似公式，并以截止频率和时延差为例，比较了一阶近似与Gloge近似的计算精度。

The first order approximate formulae for the critical frequency of hybrid modes are derived . The accuracy of these results are satisfied .

用直接摄动法导出等导亏损特征值及其三阶导数和对应特征向量的一阶导数的计算公式。

The formulae for calculating the first to third order derivatives of defective eigenvalues with equal derivatives and the first order derivatives of the corresponding eigenvectors are given by using direct perturbation method .

该文提出了布尔剪枝方法，将带符号的公式与集合的上集/下集联系起来，使含量词的一阶多值逻辑公式的扩展规则大大简化。

A Boolean pruning method is proposed in this paper . Tableau rules for such quantifiers can be simplified by providing a link between signed formulas and upset / downset in Boolean set lattices .

利用拉格朗日插值导出了重力异常垂向一阶导数的计算公式，给出了地面以及地面之上不同高度的求导系数。

Using the Lagrange interpolation , we present a simple formula for calculating the first vertical derivative ( FVD ) of gravity anomaly and give the coefficients or calculating the FVD on and above the ground .

介绍了迭代函数系及其分形插值的原理，用反例说明书[2]中关于分形插值函数一阶矩量计算公式是错误的，同时给出了分形插值函数一阶矩量的正确公式。

The paper introduces the iterated function system and the principle of fractal interpolation functions , gives a counter example to show that the formula of moment of fractal interpolation functions of order one in book [ 2 ] is false , and then establishes that correct formula .

我们定义了一类整数线性一阶逻辑判定公式，此类判定公式支持C程序中常用的整数线性运算。我们优化了判定过程，并扩充了对整数除法、取余和位运算的支持。

We define an extended class of integer linear first-order logic formula , which supports most integer linear and bit-wise expressions in C programs including integer division , integer modular and bit-wise operation .

一种特殊情形的一阶焦点量公式

One-order Focal Values formula for a special case

当解释的论域是一个固定大小的有限集合时，一阶逻辑公式的可满足性问题可以等价地归约为SAT问题。

When the domain of interpretation is finite and its size is a fixed positive integer , the satisfiability problem in the first-order logic can be reduced to SAT.

通过引进一阶模糊语言变元集赋值的新概念，给出了一阶模糊谓词逻辑（或一阶模糊语言）公式的区间解释真度的定义，并讨论了它们的一系列性质。

In this paper , we gave the definition of truth degree based on the interval interpretation of first-order fuzzy predicate logic ( or first-order fuzzy language ) formulas by introducing the new ( concept ) of evaluation on variable set , and discuss its a series of properties .