最后通过实验验证算法的有效性。
At last the effectiveness of the control methods is verified by tests.
并进行相关实验，验证算法的可行性。
And the related experiments verify the feasibility of the algorithm.
提出一种新的基于竞争聚类的离线签名验证算法。
In this paper, a new off-line signature verification algorithm based on competitive cluster is presented.
然后设计了1000组算例以验证算法的有效性。
Then 1000 groups of cases are tested to verify the efficiency.
通过实验和对比分析来验证算法的有效性和性能。
The effectiveness and performance of the presented algorithms are verified by experiment and comparative analysis.
提出一种基于状态转换图的时序电路等价验证算法。
A sequential equivalence checking algorithm based on state transfer graph is presented.
并介绍了几种较适于应用的签名算法及其验证算法。
Some DS algorithms and their verification preferable to use are there also.
为了验证算法的有效性，给出了传感器误差补偿实例。
To validate the validity of the algorithm, the simulating example of the error compensation on sensor was given.
通过对实际星载SAR数据的处理，验证算法的有效性。
The validities of the algorithms in the paper are proved by processing actual spaceborne SAR data.
结合国内某型号飞机含有V型垂尾在配平时的数据验证算法正确性。
The feasibility of the method proposed is verified by the aerodynamic data of a certain type of native airplane with V-shape vertical tail in flight balance state.
进行数值实验验证算法的有效性，比标准有限记忆BFGS算法更优越。
The efficiency of verifying validity of the numerical algorithm is more superior than the standard limited memory BFGS algorithm.
提出了一种基于DTW匹配的以签名能量为特征的在线手写签名验证算法。
The paper proposes an online handwriting signature verification algorithm with signature energy as feature based on dynamic time warping (DTW).
在机器视觉中，人造图象在分析和验证算法的性能方面，起着重要的作用。
In machine vision, synthetic images play an important role in analysing and verifying performance of algorithms.
通过模拟不同质点数目的旗帜和悬垂织物在风中的摆动来验证算法的有效性。
To validate the method, tests flag and hanged cloth with diverse number of mass in wind.
最后，基于同态加密和新的结果验证算法，提出一种新的树形数据融合协议。
Finally, this paper presents a new secure tree-based data aggregation protocol which includes homomorphic encryption algorithm and the new result-checking algorithm.
在验证弱起源集阶段，针对不同类型的转换和属性映射，给出了相应的验证算法。
Upon verifying weak derivation set, this thesis gives a series of verification algorithms based on the best property of attribute mapping or transformation.
由此，以多项式符号代数为理论基础，提出了一个高层次数据通路的等价验证算法。
So in this paper, a new algorithm for the equivalence verification of high-level data paths based on polynomial symbolic algebra is proposed.
为了提高时序电路的等价性验证速度，提出一种改进的基于寄存器匹配的验证算法。
An improved algorithm based on register mapping is proposed to increase the speed of equivalence checking for sequential circuits.
另外了提出了一种新型的图形归约和图形展开相结合的验证方法及过程模型验证算法。
In addition, we propose a new verification method combining graph reduction and graph spread, also the algorithm of verifying process models.
中心提取精度达到亚像素级，利用标准球验证算法精度，屈光度误差小于0.25D。
The precision can be brought to the order of sub-pixels by this algorithm and the mean error of diopter is less than 0.25d.
针对该信任模型，提出一种深度优先搜索的路径构建算法，并对路径验证算法进行了概述。
According to this hybrid trust model, it presents an algorithm constructing a path base on a depth first search, and summarizes the path validation algorithm.
然后采取一定近似，提出双站的距离徙动算法（RMA），并用仿真结果验证算法的有效性。
Then Range Migration Algorithm(RMA) of bistatic SAR is addressed with some approximation. The validity of the presented algorithm is demonstrated with simulated data at last.
基于实体造型，综合现有NC几何验证方法的优点，研究与实现了一种新的Z&N验证算法。
Based on solid model and general geometry validity for NC, the paper carries out a new Z & W algorithm.
为了验证算法的有效性，将改进的算法应用到求解非线性方程组中，并取得了较好的实验效果。
To verify the effectiveness of the algorithm, the improved algorithm is applied to solve nonlinear equations. The result demonstrates that the improvement is very effective.
在癫痫发作预测研究中，动物模型可以提供丰富的样本，验证算法可行性，揭示癫痫发作的规律。
In the research of epileptic seizure prediction, animal models can provide sufficient data so as to validate the proposed prediction algorithms and discover the rules of epilepsy.
研究了匿名分组身份验证算法，该算法可以非常可靠地解决网格计算平台之间的身份匿名验证问题。
This paper studies the anonymous group identity verification algorithm, which can very reliably solve the problem of the Anonymous identity verification.
对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。
A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.
对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。
A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.
应用推荐