正确性

By checking the results of this software against those of foreign formula, it is proved that the compartmentalization of space nodes is correct and the software is feasible and reliable.

通过实例计算对比国外公式，证明了节点细化的正确性和开发软件的适用性及可靠性。

So the compensator is proved to be accurate in theory and feasible in practice.

这说明本文所提出的补偿理论的正确性和切实可行。

The Multi-sensor Information Fusion means taking the measures coming from multi-sensors into synthesize, using the complementariness of the information to form an integrated description, with which the intelligent systems accuracy can be improved.

多传感器信息融合能够综合利用多个传感器的观察量，形成对环境的精确完整的描述，提高智能信息系统决策的快速性、正确性和科学性，是现代信息处理的强有力工具。

We use a 1/2 Hp TECO ac induction motor to complete experiment. Simulation and experimental results are consistence, it shows the accuracy of simplified model. The researchful results can become prototype machine of universal ac induction motor drive.

实验是以一颗1/2Hp东元鼠笼式交流感应马达来进行，实验与模拟结果具有相当的一致性，表示模型建立的正确性；研究结果显示其研制的系统具有未来泛用型交流感应马达驱动器的雏型。

To ensure data security, accuracy, completeness and consistency.

确保了数据的安全性、正确性、完整性和一致性。

We do NOT guarantee the correctness and completeness of any information on Shenghuonet.com.

我们不保证任何信息的正确性，完整性。

At last, the correctness and effectiveness of the formula was tested using models with plane surface and complex surface.

利用水平地表和起伏地表的模型验证了本文所推导的公式的正确性和有效性。

The reason of this phenomenon is studied. Continuous changes of cutting component force perpendicular to cleavage plane are found to be main causes of this phenomenon. The measurement result of machined surface microtopography by AFM is shown to be a good agreement with this viewpoint.

本文主要对该现象的产生原因进行了研究，认为车削过程中垂直解理面的切削分力的连续变化是产生这种分布特征的主要因素，用AFM对加工表面微观形貌的检测结果充分地证明了该观点的正确性。

Formalization verification of service composition based on Process Algebra and Discrete Time Ambient-Calculus, as well as combinatorial optimization and the partition method based on QoS mathematic model are deeply studied. The service composition architecture supporting formalization verification and QoS-aware composition has been also implemented. Furthermore, the architecture is applied to digital cartoon cooperation manufacturing in the Internet.

为实现动态的跨企业业务协作与集成，本文围绕服务组合行为的正确性检验以及服务质量保证这二个正交的性质，深入研究了基于进程代数Pi演算及离散时间Ambient演算的服务组合形式化检验，以及基于QoS数学模型进行精确计算的服务组合优化与划分方法。

To regulate policy composition and guarantee its correctness, an algebraic model called APoCA (attribute-based access control policy composition algebra) is proposed for composing access control policy. In APoCA, an authorization relation between entities is described at the attribute level. APoCA fertilizes the existing formal frameworks by taking into account the computation of attribute values.

为了规范策略合成和保障策略合成正确性，基于属性刻画了实体间的授权关系，通过属性值的计算结构扩展了现有的策略合成形式化框架，建立了新的基于属性的策略合成代数模型APoCA(attribute-base access control policy composition algebra)。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。