approximate formula

approximate formula的基本解释

-

[医] 近似公式

与approximate formula相关的网络例句 [注：此内容来源于网络，仅供参考]

Then the spatial index is constructed which includes not only the external approximate expression but also interior approximate expression of spatial object and is extended from tranditional index only with external approximate expression. The index structures of MR-tree and MRD-tree based on multi-approximate expression are set up with the prototype index of R-tree, and the relevant algorithms about the index of insertion, deletion and search are provided. Then, the efficiencies of constructing index based on the multi-approximate expression and window range query are analysised and compared. In addition, the several algorithms and efficiency of soving the maximum enclosed circle and maximum enclosed rectangle are discussed and analyzed during constructing index based on multi-approximate expression.

首先，论文讨论了空间数据的特点、空间数据库的关键技术以及空间对象间的拓扑、距离以及方向关系，分析了空间对象的外部和内部近似表达，然后将传统索引中只利用空间对象的外部近似扩展为既有空间对象的外部近似又有空间对象的内部近似，即以空间对象的多重近似来构建索引，并以R-tree为索引原型构建基于多重近似的MR-tree和MRD-tree索引结构，然后给出了相关索引的插入、删除及查找算法，并通过实验比较分析了基于多重近似索引与基于外部近似索引的构建效率及窗口范围查询效率。

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

In this paper, Newton iteration formula for computing normal depth and critical depth was put forward by mathematical transformation of uniform flow equation and critical flow equation of circular section tunnel. Then, the relationship between the corresponding central angle and the introduced parameters was analyzed. An approximate formula for angle was obtained according to optimal uniform approximation principle. Using this approximate formula as initial value of iteration formula, a direct formula for calculating normal depth and critical depth of circular section tunnel was established after its first iterative.

该文通过对圆形断面均匀流方程与临界流方程的数学变换，分别得到其正常水深与临界水深的牛顿迭代公式，同时，通过对正常水深与临界水深对应的中心角与引入参数之间关系的分析及数值计算，利用最优一致逼近原理分别得到了正常水深与临界水深对应中心角的近似计算式，并以此近似计算式为初值，用迭代方程进行一次迭代得到了圆形断面均匀流水深与临界流水深的直接计算公式。

与approximate formula相关的网络解释 [注：此内容来源于网络，仅供参考]

approximate formula：近似公式

近似计算 approximate calculation | 近似公式 approximate formula | 近似法 approximate method

approximate formula：近似公式, 近真公式

approximate field pattern | 近似场图 | approximate formula | 近似公式, 近真公式 | approximate integration | 近似积分(法)

Smith''s approximate formula：史密斯近似式

Smith''s alloy 史密斯铁基合金,斯密司铁基合金 | Smith''s approximate formula 史密斯近似式 | Smith''s bridge 史密斯电桥