查询词典 formulae

This paper puts forward some practical formulae of measuring the area and arc length of arch form,and analyses the relative error of these formulae.

文章提出弓形面积和弧长计量的实用公式，并分析了该公式的相对误差。

From the polarity of atomic proposition, a series of CTL formulae is derived by substituting the atomic proposition with TRUE or FALSE, before they are verified by model checking tools. If one of the CTL formulae has passed the verification, then it is concluded that the system property is a vacuity.

根据原子命题的极性，用TRUE 或FALSE替换原子命题，得到一系列的CTL公式，再对这些CTL公式用模型检验工具验证，若CTL公式中有一个通过了验证，则可得出该系统属性是一个空属性。

The formulae were derived to calculate the spherical coordinates of any vector after the specimen was rotated any angles around any axis based on the homogenous coordinate theory. An example was put forward to show how to use the formulae to calculate the spherical coordinates of the crystal in the synchrotron radiation topographic analysis.

根据齐次坐标理论导出了单晶体绕样品台任意直线旋转任意角度后晶体中矢量坐标的计算公式，并以晶体同步辐射形貌分析的实例说明了如何利用此公式进行矢量计算。

In the thesis, the author firstly clears up some basic theories of wavelet analysis, revises some formulae and proves and deduces some theorems and formulae in detail and gives a counter example and paradox.

本文首先对小波分析的理论部分进行整理，对部分公式进行修正，同时给出了部分定理和公式详细的推导和证明，并且给出无穷区间积分的一个反例和悖论。

Then interpolating cubature formulae is given based on Lagrange interpolation formulae. Secondly it make use of the cubature formula on the triangle to construct cubature formulae on the correspondent spherical triangle.

通过把其定义域上的积分化为平面单纯形{u =(u1， u2， u3)： u1 + u2 + u3 = 1， u1， u2， u3〉0}上的积分，然后利用平面单纯形上数值积分公式给出其在球面三角形上的对d次齐次多项式精确成立的Gauss求积公式的构造方法。

Exact formulae for bit error probabilities of the considered system are derived, and a set of numerical results both for the exact formulae and Gaussian approximation are presented.

分析并得出了系统位错概率的数学模型，并给出了该模型和高斯近似模型的一系列数值仿真结果。

In the process we followed seven principles listed below.1 Through clinical and laboratory research, the selected formula is demonstrated to have an obvious efficacy on a target disease—definite efficacy, superior to western medicines.2 Have no or little side effect—safely use.3 On selecting formulae, place priority to treatment basing on an overall analysis of the illness, and then to discriminatingly use of medicines for the convenience of promoting products in the north America.4 Contain no components prohibited by FDA or —accord with laws.5 Composition of herbs is relatively simple; selected herbs have abundant herbal resources; avoid using rare and costly components.6 Broadly recognized, have formal quality standards.7 Little repeat among selected formulae.

我们在筛选广济药业出口中药的处方时，依次遵循以下七条原则：其一，该处方经临床和实验研究证明对目标疾病具有显著的治疗效果—疗效确切，与西药同比具有优势；其二，无毒副作用或毒副作用很小—使用安全；其三，处方选择以辨病施治为主，辨证使用为辅，以方便在北美地区的推广应用；其四，无美国FDA及濒危野生动植物保护委员会禁用的成份—合乎法律；其五，药味组成相对简单，药材资源丰富，避免使用特别冷僻和昂贵的成份；其六，受公认程度较高，有正式质量标准；其七，被选中的处方之间重复性小。

The fundamental formulae of magnetic field were used to deduce the formulae for the three-dimensional magnetic field of tubular magnet.

应用磁体空间磁场规律的基本公式，推导了管柱形永磁体的三维空间磁场规律计算公式。

This paper has presented the formulae of calculating physical base and space metric tensor for complicated system, these formulae are developed by using non-Cartesian tensor analysis and introducing physical base.

本文基于非笛卡儿张量的分析，并引入了物理基，提出了复杂系统的空间度量张量的一系列矩阵公式，据以求出任意曲线坐标系中的数学模型。

Via generalizing the Cauchy method we obtain a new method,called the modified Cauchy method.By means of this method we establish two bilateral _3ψ_3 and _4ψ_4 series summation formulae,two four-term summation and transformation formulae for unilateral _3φ_2-series and bilateral _3ψ_3-series,and two five-term summation and transformation formulae for unilateral _3φ_2-series and bilateral _3φ_3-series,which contain many known results as their special cases,such as non-terminating q-Saalschütz summation formula,Bilateral _6ψ_6 series summation formula of Bailey,non-terminating Watson transformation formula and some transformations of _3φ_2-series etc.

通过对Cauchy方法的推广，我们得到修正的Cauchy方法，采用这个方法分别得到两个双边的_3ψ_3和_4ψ_4基本超几何级数的求和公式、单边_3φ_~(2-)级数和双边_3ψ_(3~-)级数的两个四项求和变换公式和两个五项求和变换公式，它们包括许多已有的结果为特例，如非终止的q-Saalschütz求和公式、Bailey的very-well-poised双边级数_6ψ_6求和公式、非终止的Watson变换公式和一些关于单边_3φ_(2~-)级数的变换公式等。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。