查询词典 formulas

Two normal forms, best-simple normal form and literal normal form, are presented at first in order to eliminate the complexity of formulas decision. Based on the two normal forms, a deduction proof of decidability theorem in L and a decision algorithm P based on deduction for proportional formulas are given and a decision machine found on P, DMBD, is also designed.

首先提出了消解复杂性的两种范式：最简范式和文字范式，在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P，并基于ML语言设计了基于P的演绎判定机DMBD。

New ideas and methods in the paper:1 The formulas on perforated casing collapse strength were deducted, which offereda convenient method to analyze the relationship between casing collapse strength and perforation;2 The stress and displacement formulas on the system of casing, cement anddeformation under the non-uniform load were deducted, which offered the theoretical found for designing optimally casing string;3 The relationship between structure in-situ field of whole oil field and casing failurewere studied, which offered the scheme for the prediction of casing failure. The process of study in the paper:1 For simulating the relationship between the structure in-situ field and the casingfailure in the oil-deformation, the tests of the uniaxial tensile, compress, tnaxial compress and dilatability were made on the samples of the drill cores from deformation of casing failure position in Yuejing II oil field.

本文的主要创新： 1推导出了射孔套管抗挤强度的解析式，为分析射孔与套管强度的变化关系提供了简便的方法； 2推导出了非均匀地层载荷作用下套管、水泥环和地层组合体的应力和位移解析式，并非均匀作用下套管柱优化设计提供了理论依据； 3研究整个油田区块构造应力场与套管损坏关系，为预测套管损坏提供了可行方案；本文的研究过程如下： 1为模拟构造应力场与油层段套管损坏关系，做了大量的岩石单轴抗拉、单轴抗压、三轴试验以及岩石遇水膨胀试验，获得了研究区块岩石的弹性模量、泊松比、内聚力、内摩擦角以及岩石的线膨胀系数，这此数据为本文研究油层段套管损坏机理研究的理论分析和有限元法提供了实验数据。

Under the assumption that the expected rate μS(t , volatilityσS(t are functions of risk asset S, and stock pricing process respectively driven by a general O-U process and an exponential of a Levy process, we obtain the accurate pricing formulas and put-call parity of European option. In the end, assume that riskless rate is given, we deal with pricing formulas of European option on foreign currency and apply the approach to the pricing of the convertible bond.

利用保险精算方法给出了股票价格遵循广义0一U过程模型的欧式期权的精确定价公式和买权与卖权之间的平价关系以及股票价格过程遵循指数Levy过程的定价模型，最后推导出利率确定情形下外汇期权的定价公式，并且给出了保险精算方法在可转换债券定价中的应用。

Using the ESG with eight electrodes, the paper gave the formulas of electrode capacitances, introduced the detection and solution of rotor motion, and then deduced the formulas of electric field forces.

八电极静电支承系统沿着四个非正交轴对转子施加静电力，这些作用力相互影响，因此需要对支承坐标进行垂直解耦。

"A theorem within such a system is a formula capable of proof through a finite sequence of well-formed formulas, each of which either is an axiom or is validly inferred from earlier formulas."

在这样的系统中，一条定理即是可以通过合式公式的有限序列加以证明的一个公式，这些合式公式中的每一个公式不是公理，就是从前面公式可以推得的公式

This paper deduces the accurate formulas for calculating the geometric characteristics of effective cross sections of members with welded H-shaped cross sections in gabled frames,and in order to simplify the calculation,presents the corresponding approximate calculation formulas.

推导了门式刚架中焊接H形截面构件有效截面几何特性的精确计算公式，为简化计算过程，给出了相应的近似计算公式。

Specially, we primary deals with the option pricing of Black-Scholes model with continuous dividend payments then get the call option and put option formulas: And the model of geometric average Asian options with fixed strike price then we get the call option formula: The relevant formulas about call option and put option,which are all identical with the classical ones.

其中，特别是对连续支付红利的欧式Black-Scholes期权定价模型求得其买权和卖权的定价公式分别为：此外，还对具有固定敲定价格的几何平均亚式期权的模型给出买权的定价公式：所得结果与用经典解法求得的定价公式完全一致。

On the basis of the Okumura model, the empiric formulas suitable for computers are fit out through the regression method. Such empiric formulas include the Hata model formula applicable to the GSM900 macrocell and the COST 231-Hata model formula applicable to the GSM1800 macrocell.

在Okumura模型的基础上，利用回归方法拟合出便于计算机计算的解析经验公式，这些经验公式有适用于GSM900宏蜂窝的Hata模型公式、适用于GSM1800宏蜂窝的COST 231-Hata模型公式等。

In Chapter 2, we introduce the basic knowledge of the basic hypergeometric series, including basic concepts, some summation formulas, transformation formulas, etc.

第二章：主要介绍了基本超几何级数的基本知识，包括基本概念，一些重要的求和公式以及变换公式等。

Totally two formulas are designed,one using four compositions and the other including five,while butadiene imide emulsifier is applied by both of the formulas.

该系列乳化炸药包括SEM－4型四组分和SEM－5五组分两种产品，二者均采用一种以丁二酰亚胺为主要成分的高分子复合乳化剂。

The big eared hedgehog, the little owl, the sand gecko, the three-toed jerboa, and every show needs a villain - saw-scale - the viper!

大耳刺猬，小猫头鹰，沙壁虎，三趾跳鼠，每场戏都需要反派角色：蝰蛇。

Plasmodiophora brassicae ; resting spores ; density gradient centrifugation of sucrose ; ultrasonic disruption

根肿；休眠孢子；蔗糖密度梯度离心；超声波破碎