1.
A Completeness Verification Algorithm of XML Query in DAS
DAS中一种XML查询完全性验证算法
2.
Study and design of authentication algorithm for RFID reader
RFID读写器验证算法的研究与设计
3.
The experiment verifys the validity of algorithm.
仿真试验验证了该算法的有效性。
4.
Development and Validation of Control Algorithm of Anti-lock Braking System for Commercial Vehicle;
商用车ABS控制算法开发及试验验证
5.
Simulation and Algorithm Verification of GPS Software Receiver
GPS软件接收机仿真实验及算法验证
6.
Formal Analysis of a Self-Stabilizing Algorithm Using Prototype Verification System Prototype Verification System
基于原型验证系统的自稳定算法形式化验证
7.
The accuracy of the method is confirmed by examples.
计算结果验证了本文方法的精度。
8.
The correctness and practicability of this method was proved by an example.
算例验证了该法的正确性和实用性。
9.
Simulation results show the effectiveness of this method.
仿真算例验证了所提出方法的有效性。
10.
Use a second algorithm to validate your results.
使用第二套算法来验证你的结果。
11.
The effectiveness of the method is demonstrated through some simulation examples.
仿真实验证明了该算法的有效性。
12.
The result supports the feasibility of the method.
粗对准实验证明该算法的有效性。
13.
Simulation result shows that the method is valid.
算例仿真验证了所提出方法的有效性。
14.
Research on Formal Verification of Web Services Flow Based on Pi-Calculus;
基于Pi演算的服务流验证方法研究
15.
Simulation and Synthesis Validation of AES Algorithm IP Core;
AES算法IP化的仿真综合验证研究
16.
Evaluation and Software Realization of Interception Algorithm on Communication Signal;
通信信号侦收的算法验证及软件实现
17.
The Proof of Rationality of ID3 Algorithm and Experimental Analysis;
ID3算法的合理性证明及实验分析
18.
Design and Verification of AES Encryption IP Core
AES加密算法IP核的设计与验证