查询词典 double angle formulas

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五组分两种产品，二者均采用一种以丁二酰亚胺为主要成分的高分子复合乳化剂。

On Buffon's problem for the complicated lattice Kinematic formulas in integral geometry are integral formulas that represent integrals of geometric functions on the intersection of fixed and moving domains.

2复杂网格的Buffon概率在积分几何中，运动公式是一些定义在定区域与动区域交集上的几何函数的积分公式。

The expanded formulas of Reed-Muller with fixed polarity and dual form of Reed-Muller are derived by using Kronecker matrix product operation. A simple and highly efficient transformation algorithm named decomposition method is proposed based on the transformational relation of the two expanded formulas with same polarity.

利用Kronecker矩阵积运算推导出了固定极性Reed-Muller和双重形式RM(dual form of Reed-Muller， DFRM)的展开式，并根据在相同极性下两者之间的转换关系，提出一种简洁高效的转换算法－分解法。

Both MAX(1) and MARG(1) are subclasses of the minimal unsatisfiable formulas, and formulas in these subclasses can be represented by trees.

MAX(1)和MARG(1)是极小不可满足公式的两个子类，这两个子类中的公式可以用树表示。

Present a kind of paraconsistent modal logics PML by generalizing classical modal logics'truth value set from {0, 1} to [0, 1] , propose new logical consequence relationships by generalizing fuzzy implications in PML, introduce sound and complete Gentzen style inference systems in PML. 9. Global properties of valid formulas are the necessary conditions that must be satisfied by valid formulas.

8将经典模态逻辑公式的值域从{0，1}扩充到[0，1]，结合模糊逻辑推理关系的研究结果，建立了能处理不一致知识的模态逻辑，并给出其可靠而且完备的Gentzen型推理系统。

A new form of Arbitrary-Lagrangian-Eulerian formulas are developed based on the basic law of Newtonian mechanics and hypothesis of Newtonian fluid, in which the conception of domain mapping is introduced so these formulas can be used to describe the fluid flow in an arbitrary deforming domain.

从最基本的牛顿运动定律和流体粘性的牛顿假设出发，基于区域映射的概念推导了ALE(Arbitrary-Lagrangian-Eulerian)公式的一种表达方式，能够在二维任意变形区域内描述牛顿型流体的运动。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

The second is to cut a mere 100 calories from your diet , which is the equivalent of a tablespoon of butter.

第二个就是从你的饮食中减少一百卡路里，只是相当于一大汤匙的黄油。

This is where the Rorschach test comes in.

现在，罗氏测试就出现了。