查询词典 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.

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

As an approximate method,with the trigonometric function,the simple pendulum dynamical equation is simplified,and the approximate formula for the period of simple pendulum movement is presented.Comparison is made between approximate formula and exac...

对近似公式和精确公式进行了对比，最后进行了数值计算，结果表明，所得到的单摆运动周期的近似公式在大多数情况下都与精确公式符合的很好。

After rectifying the family structure, and educational level of parents, the influencing factor of adaptability was formula mainly; intensity of reaction was breastfeeding duration for 4-6 months and breast milk mainly; rhythmicity was breastfeeding duration for 7-9 months and formula only; activity level was both breast milk an formula milk equally and breastfeeding duration for 7-9 months; quality of mood was formula only and duration of breastfeeding for 7-9 months; approach-withdrawal was breast milk mainly and both breast milk and formula milk equally; distractibility was formula milk mainly.

校正家庭结构、父母亲受教育水平等因素后，适应度的影响因素是主要喂奶粉；反应强度的影响因素是母乳喂养持续时间4~6个月和主要喂母乳；规律性的影响因素是母乳喂养持续时间7~9个月和只喂奶粉；活动水平的影响因素是母乳与奶粉等量和母乳喂养持续时间7~9个月；情绪本质的影响因素是只喂奶粉和母乳喂养持续时间7~9个月；趋避性的影响因素是主要喂母乳和母乳与奶粉等量；注意分散的影响因素是主要喂奶粉。

Chapter 3, we study the stability of approximate solutions of nonlinear equation problems(the continuous function is defined in the linear normed space).We prove that most of approximate solutions of nonlinear equation problems are stable; all accurate solutions are the essential points of the set of approximate solution; the connected component which contains the accurate solution is the essential component of the set of approximate solution; especially the number of essential components is finite.

第三章，研究定义在线性赋范空间上的非线性方程问题近似解及其解集的稳定性，得到线性赋范空间上在Baire分类下大多数非线性方程问题的近似解都是稳定的；精确解是近似解集的本质解；包含精确解的近似解集的连通区是本质连通区；包含精确解的近似解集的连通区为有限个。

In this paper, a region approximation idea that means using a "fat curve" with a width to approximate the offset curve is proposed, and a complete set of algorithms to approximate offset curve using disk Bézier curve are given and implemented. In the algorithms, the optimal and uniform approximate curve of the offset curve as the central curve of the Disk Bézier curve is found by using Remez method, and then the upper optimal and uniform approximation principle is proposed to compute the error radius function of the Disk Bézier curve. Thus, the whole Disk Bézier curve can be obtained. In the end of this paper, the approximate effect of the Disk Bézier curve is not only analyzed and assessed, but also some specific examples are provided.

提出用一条带宽度的"胖曲线"来逼近上述等距曲线的区域逼近思想，并建立与实现了圆域Bézier曲线等距逼近的整套算法，包括应用Remez方法求出等距曲线的最佳一致逼近曲线作为圆域Bézier曲线的中心曲线，提出上控最佳一致逼近的原理求出圆域Bézier曲线的误差半径函数，以及确定整条圆域Bézier曲线，最后还对该圆域Bézier逼近的效果做了分析和考核，并给出了一些具体实例。

And the direction query efficiency based on multi-approximate index is compared with that based on taditional external approximation index. 2 The algorithms of nearest neighbor and reverse nearest neighbor about point, line and ploygen based on multi-approximate index are proposed after the virous methods of distance measure are discussed in detail. And the query efficiency of NN and RNN based on multi-approximate index is compared with that based on taditional external approximation index. 3 The basic concept of semi-join and the strategy of distance-direction semi-join are introduced. And the model of distance relationship, direction relationship and the bounding for spatial object are discussed. Then the method is presented about how to implement the query of distance-direction semi-join, and the efficiency of the algorithm based on multi-approximate index is compared with that based on taditional external approximation index.

即：1在方向关系矩阵模型、开域方向模型基础上，讨论了基于多重近似索引下的定性与定量方向检索方法，并通过实验对基于多重近似索引与外部近似索引下的方向检索效率进行了对比分析；2详细讨论了各种距离度量方法，提出了基于多重近似索引下的点、线、面的最邻近查询和反最邻近查询算法，并通过实验对基于多重近似索引与外部近似索引下的最邻近查询和反最邻近查询效率进行比较分析；3介绍了半连接的基本概念，探讨了距离关系、方向关系以及空间对象数量的约束模型，给出了基于多重近似索引下的距离方向半连接实现方法，并通过实验对基于多重近似索引与外部近似索引下的距离方向半连接的效率进行了比较分析。

As research and extensive, gradually discovers that the seeastigmatism formula also have problems, that is, it has a data expression cannot and Visual feeling of one's eyes, so the match chromatology experts have implemented written by CMC (1 c) CIE94 seeastigmatism seeastigmatism formulas, the formulas as well as the latest CIEDE2000 seeastigmatism formula, where written by CMC (1 c) chromatic aberration formula in the textile industry is listed as a range of international and national standards. X-Rite ′?ˉs 528 integrates CIE LAB color difference equation, written by CMC (1 c) and the color difference formula, the formula CIE94 seeastigmatism seeastigmatism measurement shall be free to choose from.

随着查究的浮浅，忽然发掘该色差公式也有题目，即它的数据外达不克不及够和人眼的触觉感施相成婚，因此色彩教查究大师接踵推出了CMC(1∶c)色差公式、CIE94色差公式以及最新的CIEDE2000色差公式，其洋CMC(1∶c)色差公式在纺织行业被列为不国外和国度尺度。X-Rite 528集不败了CIE 1976 LAB色差公式、CMC(1∶c)色差公式和CIE94色差公式，在色差丈度时可以自由拔取。

The Total probability formula is an important formula in the probability theory , this text carries on several popularization to this formula, and until probability calculate, margin distribute calculate and foundation of recurrence formula application of carry on some discussions to formula this.

摘要全概率公式是概率论中的一个重要公式，本文对此公式进行若干推广，并对此公式在概率计算、边际分布计算以及递推公式的建立等方面的应用进行了一些探讨。

More direct, directer ; most direct, directest

径直的，笔直的

Do you know how to use a chain saw?

你知道如何使用链锯吗？