补充并纠正了一些算法证明。本文改进后的算法具有以下特点：多种防御措施，用户拥有加密与解密的自主控制权，易于追踪；
The work of the paper is to perfect and set up a system of encryption and decryption algorithms based on composite nonlinear discrete chaotic dynamical systems.
安全调查人员最近证明，利用MD5算法允许他们伪造可用的证书。
Security researchers have recently demonstrated exploits against the MD5 algorithm which allowed them to forge usable certificates.
有关这种算法的形式证明请参阅 参考资料。
它取代了2004开始试探的最初索引算法，它已经证明在处理大量和非结构化数据集时更有效。
It replaced the original indexing algorithms and heuristics in 2004, given its proven efficiency in processing very large, unstructured datasets.
通过观察可知，算法继续进行，证明已经完成了一半。
We can show by inspection that the algorithm proceeds sequentially and the proof is already halfway there.
Conway说：“我们确实可以证明，不存在任何算法，以任何一种方式，让粒子可以给出在测量之前就确定的唯一的答案。”
"We can really prove that there's no algorithm, no way that the particle can give an answer that is unique and can be specified ahead of time," Conway says.
这个名字既是对加密算法（“0知识证明”是一种标准加密协议）的致敬，也是对服务提供商和用户之间特定关系的一种约定。
The name was both an homage to cryptography (a “zero-knowledge proof” is a standard cryptographic protocol) and a promise of a specific relation between the application provider and the users.
开发非阻塞算法是相当专业的训练，而且要证明算法的正确也极为困难。
Developing nonblocking algorithms is a rather specialized discipline, and it can be extremely difficult to prove their correctness.
还可以有更好的压缩算法；这不过是为了证明倒排表可以用于比单个比特更宽的通道。
There are much better compression algorithms; this is just a demonstration of how inversion lists can be applied to wider channels than a single bit string.
数值结果证明了该算法的有效性和精确性。
The results demonstrate the accuracy and effectiveness of the algorithm.
实验证明了该算法的有效性和实用性。
The analyse and experiment prove the validity of the algorithm.
实验证明了该算法的准确性。
实验结果证明该算法具有较好的鲁棒性和高保真性。
The experimental results show that the algorithm has better robustness and fidelity.
实验证明，该算法不但能克服相位一致性的局限性，还提高了特征的定位精度和抗噪性能。
Experiments show that this algorithm not only can overcome the limitations of phase congruency, but also can improve the location accuracy and anti-noise ability.
经实验证明，该算法能有效地进行窜改检测与内容恢复，尤其窜改区域较大时具有显著的效果。
Experiment results show that the proposed algorithm has significant effect on tamper detection and recovery, especially when the tamper area is very large.
实验结果证明，该算法性能较好，适用于上百万订阅量的数据流系统。
Experimental results show that the algorithm has good performance and ADAPTS to the system with millions of subscriptions.
通过蒙特卡罗模拟，证明了该算法的有效性和定位精度较高。
Monte Carlo simulation results show the efficiency and high location precision of the proposed algorithm.
实验结果证明了这种算法的有效性。
The experimental results prove the efficiency of the proposed method.
最后与手工标注结果进行比较，通过实验证明了该算法的合理性和有效性。
The experiment results show that the algorithm is both reasonable and effective compared with the results of manual annotation.
试验采用KDD99数据进行了测试，证明该算法是可行和有效的。
The test adopted KDD99 data proves that this algorithm is feasible and effective.
随后我们提出了求解这类概率约束随机规划的一种近似算法，并在一定的条件下证明了算法的收敛性。
And then, we present an approximation method for solving this probabilistic constrained stochastic programming, and prove certain convergence of the method under some conditions.
通过测试，证明该算法在执行效率方面也有较大的提高。
The test proves that the algorithms is improved on the running efficiency greatly.
实验证明这种滤波算法速度快，结合统计滤波方法就可以实现高精度滤波，可广泛应用到工业控制中。
The experiment proving: This kind digital filter method is fast, combined with statistical method can realize high accuracy filter, and can apply to industrial control extensively.
实验结果证明了算法是正确有效的。
The experimental results show that the proposed methods are validities.
经实验证明，该算法达到了良好的效果，效率高。
The experimental study shows that the algorithm has better solutions and high efficiency.
通过在计算机上的模拟测试，证明该算法对网络病毒具有较高的检测精度与速度，且运算开销小，代码简单，可以嵌入到网络设备中。
Simulation experiments indicate that the algorithm has the higher detecting accuracy and speed and spends less system resources, and can be embedded into network devices for its simple codes.
实验证明，该算法不但可以有效地克服标准遗传算法的缺陷，而且计算速度、精度和算法稳定性也得到了显著提高。
The research results show that the algorithm can not only overcome the short comings of SGA effectively, but also evidently improve the computing speed, computing precision and stability.
通过理论分析和严密的数学推导以及对算法实现的仿真研究，证明了该算法的正确性和可行性。
The accuracy and feasibility of the algorithm herein is proved through theoretical analysis and strict mathematic deduction and simulation studies performed on the algorithm.
通过理论分析和严密的数学推导以及对算法实现的仿真研究，证明了该算法的正确性和可行性。
The accuracy and feasibility of the algorithm herein is proved through theoretical analysis and strict mathematic deduction and simulation studies performed on the algorithm.
应用推荐