Finally, the decomposition method of system is given, and the correctness of algorithm is proved.
文中对系统的分解原则进行了探讨，并对其正确性进行了证明。
Based on trapdoor one-way function, this paper presents a RSA -based probabilistic public-key algorithm with security and efficiency and the correctness of algorithm was proved.
根据单向陷门函数的陷门性质，文章设计了一种安全有效的基于RSA的概率公钥密码算法，并对其正确性进行了证明。
The correctness of this algorithm is intuitively clear.
这种算法的正确性是很显然的。
As a default, you should set fair to false unless it is critical to the correctness of your algorithm that threads be serviced in exactly the order they queued up.
作为默认设置，应当把公平设置为false，除非公平对您的算法至关重要，需要严格按照线程排队的顺序对其进行服务。
The calculation processes were illustrated with examples and the correctness of the algorithm was demonstrated.
通过算例详细地说明各算法的计算过程，并验证了算法的正确性。
The correctness of this algorithm is verified by the processing results of on-site data of transformer bushing.
对变压器套管现场数据的处理结果验证了该算法的正确性。
The correctness of predictable straight line trace, curve trace, their algorithm and the combing program was testified.
对可预测的直线轨迹、曲线轨迹对其算法和所编写程序的正确性进行了验证。
The calculation result validated the correctness, reliability and the ability which to deal with the mass system's disperse reactive power optimization of the algorithm this paper put forward.
计算结果验证了本文所提出的算法的正确性、可靠性以及处理大规模系统离散无功优化问题的能力。
The mathematical induction is used to prove the correctness of the algorithm towards the triangle mesh of random multi-points, and the experiment proves its feasibility.
利用数学归纳法证明算法对任意多个离散点三角形网格剖分的正确性，并通过试验验证了算法的可行性。
The correctness and practicability of the dynamic bit rate allocation algorithm are verified by the analytical result of the experiment data.
通过实验数据的分析，验证了动态位速率调整算法的正确性和实用性。
The results of experiments show the correctness and effectiveness of this algorithm.
实验结果证明了本文算法的正确性和有效性。
Experiments show the correctness and feasibility of the algorithm design.
实验表明了该算法设计的正确性与可行性。
Correctness and validity of the neural network object forecast algorithm and immune algorithm with evaluated antigen are tested by the simulation of varies examples.
通过对不同情况算例的仿真，验证了神经网络目标预测算法和基于抗原进化免疫算法的正确性和有效性。
This paper introduced essential steps of this algorithm in detail, and validated the correctness and precision of this algorithm by large number of double curved surfaces.
详细介绍了曲面展平算法的基本步骤，通过工程实例验证了算法的正确性和精确性。
This algorithm is applied to the speed regulation of hydro-turbine and the experimental results show the correctness of the developed theory.
该算法已用于水轮机转速调节，现场实验结果说明了理论的正确性。
The experiment results show the feasibility of control system's software, and hardware, and the correctness and effectiveness of the multi-level control algorithm and control strategies.
通过实验验证了控制系统软件、硬件方案的可行性和多级控制算法、控制策略的正确性和有效性。
An algorithm of searching edge points in cloud data is presented which can ensure the correctness of edge points and avoid the edge distortion.
设计实现了三维海量空间数据中边界点的提取算法，确保边界点提取的正确性，从而避免数据划分过程中带来的数据边界失真现象。
The experimental result further verify the correctness of the algorithm as well.
实验结果也进一步验证了本文算法的正确性。
Based on this extended directed graph, an algorithm for creating it is proposed, the time complexity analysis of the algorithm is given, and its correctness is proved.
基于这种扩充有向图，提出了一种对象范式生成算法，并给出了算法的时间复杂度分析和正确性证明。
The correctness of the algorithm are verified by a laboratory test on a 15 phase drive system.
用一套15相变频调速系统所作的实验，验证了算法的正确性。
The experimental results indicate that the stable recognition rate of 94.167% and the approximately linear speed-up ratio verify the correctness and high efficiency of the parallel algorithm.
实验结果表明，94.167%的稳定识别率和趋近线性的加速比验证了并行算法的正确性和高效性。
The calculation procedure of the algorithm is shown through examples in details and its correctness is validated.
利用算例验证了算法的正确性，并对算法的各计算过程进行了详细说明。
At last, design and development appropriate software, and then using EIA data obtained as given to verify the correctness of the algorithm, the results show that the algorithm used is feasible.
最后设计并开发相应软件工具，并利用EIA获取的相关数据作为计算实例验证算法的正确性，计算结果表明本文所采用的计算方法是可行的。
Experiments validate the correctness and effectiveness of the algorithm, and prove that the proposed algorithm has better performance.
实验结果验证了算法的正确性和有效性，比传统算法有较好的识别性能。
Through commenting on the multiple dimensional character of Karnaugh structure, a new algebra-geometry algorithm with its correctness and efficiency is presented.
通过对卡诺结构多维性的分析讨论，推介一种新的几何代数算法，并充分论证其正确性和有效性。
The results show that the improved algorithm greatly saves the calculating time, ensures the correctness of the model and improves the quality of data processing.
结果表明，改进算法不仅大大节约解算时间，同时保证模型的正确性，提高了数据处理质量。
And then introduce the failure predication mechanism to promote the efficiency of the failover, and prove the correctness and rationality of the failover algorithm based on predication.
引进故障预测机制提高故障切换的效率，并对基于预测的故障切换算法的正确性和合理性进行了证明。
To solve these problems, a supervised uncorrelated locality preserving projection algorithm is proposed in this paper and experiments demonstrate the correctness and effectiveness of the algorithm.
针对这些问题，提出了基于有监督的无关性保局算法，实验验证了算法的正确性和有效性。
In the paper, a model based diagnosis using qualitative causal model and polynomial algorithm is presented, which has less computation burden and the correctness of this new algorithm is proved.
提出一种使用定性因果与多项式算法的模型诊断方法，此方法可以明显地减少诊断的计算量，并且对这种新算法的正确性给予了证明。
In the paper, a model based diagnosis using qualitative causal model and polynomial algorithm is presented, which has less computation burden and the correctness of this new algorithm is proved.
提出一种使用定性因果与多项式算法的模型诊断方法，此方法可以明显地减少诊断的计算量，并且对这种新算法的正确性给予了证明。
应用推荐