1.
Equivalence Checking Method for Fixed-Point Arithmetic Datapaths
定点算术数据通路的等价性检验方法
2.
Hierarchical Sequential Equivalence Checking Based on Storage Elements Mapping
基于存储元素映射的层次化等价性检验方法
3.
Research on Storage Elements Mapping for Sequential Equivalence Checking
时序电路等价性检验中的存储元素映射方法研究
4.
We check equivalence of combinational circuits with FUN algorithm, and experimental results show that FAN algorithm is efficient.
利用该算法进行了组合电路的等价性检验，实验结果表明了该方法的有效性。
5.
Combinational equivalence checking based on AIG reasoning
用AIG推理检验组合电路的等价性
6.
The Application of the Stepwise Equivalence T-Test and its Evaluation of the Medical Efficacy;
逐步生物等效性t检验及在药物效能评价中的应用
7.
The Simulating Study of Relations between Traditional Hypothesis Test and Equivalence Test;
传统假设检验与等效性检验关系的模拟研究
8.
The equivalence principle,extensive general relativity and rest of general relativity;
等价原理,泛广义相对论及广义相对论的检验
9.
Tests for evaluation of kerosine are primarily concerned with burning qualities.
评价煤油的检验标准主要是燃烧性能。
10.
A Correlation Test on Chinese Agricultural Product Output and Purchasing Price;
农产品产量与收购价格的相关性检验
11.
Bootstrap Tests for the Equality of Location Parameter in Two and More Multi-dimension Samples;
两个及多个多维样本位置参数相等性的bootstrap检验
12.
Consistency Test of Classification on Agricultural Land for Hebei,Henan and Hubei;
冀豫鄂三省农用地分等成果一致性检验
13.
T-test in difference,equivalence,non-inferiority and superiority design
差异性、等效性、非劣效性和优效性设计中的t检验
14.
The feasibility of such a method has been validated from a theoretical analysis and checked by way of a cold model test.
从理论上分析其可行性 ,并通过冷态模化试验等研究手段进行检验。
15.
Testing China PPP in the Nonlinear STAR Unit Root Framework;
中国购买力平价的STAR非线性单位根检验
16.
Testing China RIP in the Nonlinear KSS Unit Root Framework;
中国实际利率平价的KSS非线性单位根检验
17.
The Survey and Valuation About the Effectiveness of Cost Information System in Enterprises;
企业成本信息系统有效性的检验与评价
18.
The Distribution of Limit Order Execution Time and EMH Test;
限价委托执行时间分布与市场有效性检验