1.
Formal Analysis of a Self-Stabilizing Algorithm Using Prototype Verification System Prototype Verification System
基于原型验证系统的自稳定算法形式化验证
2.
FPGA Prototype Verification of ARINC 659 Bus Interface Chip
ARINC 659总线接口芯片的FPGA原型验证
3.
Experimental study and prototype verification on surface spillway cavitation of Three Gorges project
三峡工程表孔空化问题试验研究与原型验证
4.
Research and Implementation of a Verification Platform for Multi-core Processor Prototype;
多核处理器原型验证平台的研究与实现
5.
Design of 8-bit MCU IP Core and Research on FPGA Verification;
八位微控制器IP核的设计与FPGA原型验证研究
6.
A TEST FOR ANTIGENICITY OF HCV HVR1 SYNTHETIC PEPTIDES
丙型肝炎病毒高变区1合成肽抗原性验证
7.
Prototype Design and Verification of Datamart in Radio Network;
无线网络中的数据集市原型设计与验证
8.
And the experiments prove the strategy right with using rapid control prototyping technology.
利用快速控制原型技术，对多功能泵的实现策略进行了实验验证。
9.
Differentiation Syndrome of Mycoplasmal Pneumonia in Children and Its Correlation with Test Indicators;
儿童支原体肺炎辨证分型及其与化验指标的相关性研究
10.
Exploration of the Effectual Ingredient of Schistosoma Japanese Egg Antigen on Experimental Autoimmune Encephalomyelitis;
治疗小鼠EAE模型的血吸虫卵抗原有效成分的初步探寻及其验证
11.
The National Difference Analysis on China s Degree of Dependence on the Importing Crude Oil:Empirical Test Based on the Armington Model;
我国原油进口依存度的国别差异分析——基于Armington模型的实证检验
12.
Verifying the Measurement of the Content of Silicon Dissolved in Acid by Luminosity of Reducible Silicomolybdage;
还原型硅钼酸盐光度法测定酸溶硅含量的方法验证
13.
Similarities and Differences between the Philippines and Indonesia in Democracy Transformation--An Examination on the Transformation Reasons of The Third Wave:Democratization In The Late Twentieth Century;
菲律宾与印度尼西亚民主转型原因之异同——对《第三波》转型原因观点的验证
14.
Verification of the selected certificate failed for the following reasons
在验证选定的证书时失败，其原因如下
15.
Passive Position Theory and Validating of Ternary Array
三元阵被动定位方法原理及试验验证
16.
Our proposed model is verified through experimental study.
用实验研究验证了提出的模型。
17.
Design and Experimental Research on a Small High Speed Axial-ventilator;
小型高速轴流风机的设计与实验验证
18.
the Mathematical Model and Examination Validating of Cutter Force in Flying Cutter Machining;
飞刀加工切削力数学模型及试验验证