查询词典 correctness

The correctness of DCMPH is proved by mathematical induction and the time complexity is analyzed in theory.

组播是由一个结点同时向多个目的结点发送信息的通信方式。

On the basis of deriving stiffness matrix of an elastic beam unit, the knowledge of computation mechanics and finite element method are used to analyze the strutbeam under distributional load, a finite element analysis result is obtained through an example calculation, which is compared with those of Ansys and material mechanics so as to demonstrate its correctness.

在求出弹性梁单元刚度矩阵的基础上，利用计算力学和有限元法的知识，对分布载荷作用下的简支梁进行了分析。

With this understanding, the correctness,rationality,merit and demerit in the algorithm are all discussed.

在此基础上依据仿真结果，讨论了该算法的正确性、合理性、优点以及不足。

In addition, this paper optimizes the image analysis approach, and presents a drawing-title-analysis-based method for judgment and elimination of incorrect connections to improve the correctness.

同时，对现有的图像分析方法做了进一步的优化；提出了一个基于图名分析的误连判断与消除机制，提高了图像分析方法结果的正确性。

The paper also presents a update propagationalgorithm that propagates updates of base classes to materialized object-orientedviews, and proves its correctness and certain minimality, ensures no unnecessaryobject is computed.

视图的数据在对其进行查询时被计算出来。但为支持信息集成平台的物理集成策略，需要将视图实例化（将视图的数据存储在集成数据库中）并直接用于查询。这样，若某些基类被改变，实例化OO视图必须被重新计算。

The minimality of the virtual backbone is assured by designing optimization algorithm. As a result, it can effectively decrease the overhead of control packets dissemination. Simulation resluts show the correctness and the ability of self- renew.Considering the characteristic of fast-moving in wireless ad hoc networks, we construct a virtual backbone with a independent dominating set. This method can avoid sustaining connectivity between backbone nodes and the bakebone network can be rapidly reconstructed as topology change.

对规模较大、移动较频繁的ad hoc网络，用独立支配集构建虚拟骨干网，克服了骨干节点之间必须维护连通性的问题，使得拓扑变化较快时骨干网的重构能快速实现；采用动态按需路由机制，解决了骨干节点要维护路由表的问题；还利用极大独立集的求解得到极小独立支配集；并通过仿真测试了算法的正确性及自恢复能力。

The implementation and the analysis of the model are presented. Test also verifies the correctness of this model.

论文给出了模型的实施步骤与模型分析，实验验证了模型的正确性。

Firstly, we establish the 3-D heat transfer model of the swine crura under the effect of indirect monkshood moxibustion, analyze the temperature distribution on the surface of the monkshood during the moxibustion in the experiment, then apply the boundary condition to the model with the air convection considered and calculate the temperature and heat flux distribution of the 3-D model at different times. Beside, we also compare the results of the 3-D model with the experiment and the results of the 2-D model to verify the correctness of the 3-D model.

本文先建立了艾炷隔附子饼灸作用于生物组织的三维传热模型，然后根据实验条件分析了艾炷燃烧过程中附子饼底面的温度分布情况，并在模型上施加了新建立的温度边界条件，同时考虑了生物模型表面的空气对流条件，计算得到了三维生物模型在不同时刻的温度分布图和热流量分布图，而且对三维模型的计算结果、实验以及二维模型的模拟数据进行了比较，验证了三维模型的准确性。

Parts of current parallel databases support expanding of data types, but all of them lack of theoretical foundation. It is difficult to predicate the performances of parallel query, complicated to optimize parallel query and unattainable to keep the correctness of parallel query optimization This thesis, for the first time, combines monoid algebra system with BSP parallel model systematically, and provides a general-purpose parallel object-relational database systems-PORDBMS.

文章系统地研究了资源分配问题的分解协调理论与方法，给出了非线性分解式模型的构造和有效的求解方法，其中对主问题提出了适应性较强的修正算法，可用于一些难于公式化的问题的模型构造与求解，逐步寻优策略可有效地求解非线性关联约束优化问题。

The correctness of the method is verified by comparing with Monte Carlo method.

通过与Monte Carlo法的比较验证了方法的正确性。

If you were not , and OS X just booted normally, have no fear.

如果你没有，和OS X刚刚启动通常，没有恐惧。

I only want to preserve our all .

我只想保存好我们的一切