查询词典 formulas

And the pricing formulas are worked out mainly via the approach of the reflection principle.

本文是主要采用反射原理来求三类期权的定价公式的。

Cola formulas -- results in battery materials that are like printer's ink.

配方'。''，它所调制出的电池内含物就像打印机的油墨一样。

Levanon says the company's proprietary chemical combination -- so secretive that he calls them the " Coca? Cola formulas"-- results in battery materials that are like printer's ink .

莱文农说公司专营的这种化学混合物是绝对保密的，他称之为"可口可乐配方"，它所调制出的电池内含物就像打印机的油墨一样。

In this article, the author compares and analyzes three kind of main calculation formulas of the square grid quadrilateral prismoid field leveling earth volume , and provides a formula to calculate directly total excavation and filling earth volume according to construction altitudes of angular points of square grids.

对场地平整土方量方格网四方棱柱体法的3类主要计算公式进行了对比分析，提出了根据方格角点施工高度直接计算场地总挖、填土方量的计算公式。

Then the system parameters were gain from solving non-linear equation. First, the figure which the circle projecting on the CCD plane by the camera led is proved as an ellipse, and find out the reference point coordinate by calculate the canters of ellipses. Then the system parameters were gained from calculating the formulas in two pictures.

首先证明了参考圆在合适条件下经过相机镜头所成的像是椭圆，通过椭圆的中心求出参考圆的中心，就得到了各个参考点的位置；然后通过各个参考点分别在两个相机坐标系中的位置来确定相机之间位置关系参数，就完成了系统的标定。

In this paper,a proper analytic methods is proposed for determining the projective formulas when their centers are improper points between two line pencils of projective correspondence.

在两线束射影对应中，当两线束中心为非固有点时，两线束的射影关系式如何确定？本文给出了适当的解析方法。

These formulas are very useful when 2D projective transformation is very close to the theoretic P.

该公式在2D投影变换接近理论值P时是非常实用的。

The third part proposes in Luk the concept of lattice-valued truth degrees based on the second part by generalizing truth values from the MV-unit interval(a special MV-algebra) to a general MV-algebra. And the properties of lattice-valued truth degrees suggest that this generalization is natural and reasonable. Because of the equivalence between the two algebra systems, i.e. MV-algebra and lattice implication algebra, it's natural and easy to grade the truth of formulas in lattice-valued propositional logic whose basic algebra system is the lattice implication algebra.

中。 本文第三部分在第二部分的基础上，将Luk中公式的真度值推广到了一般的MV代数上，相对于第二部分的数值真度，给出公式的格值真度，并通过格值真度的性质说明格值真度是数值真度的合理推广。

As most of the present decision methods of propositional formulas are based on semantics and cannot give an important reference in many reasoning applications, namely deduction procedure, a deduction-based decision method that can give the deduction procedure during the decision procedure is presented based on the propositional calculus system L.

目前命题公式的判定方法大都是基于语义的，不能给出演绎过程，而演绎过程是许多推理性应用的重要依据。

This paper presents a method for model checking Propositional Projection Temporal Logic formulas based on SPIN.

本文提出了一种基于命题投影时序逻辑的模型检查方法。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。