1.
Dynamic-Language Based System Description, Verification, and Synthesis
基于动态语言的系统描述、验证和综合
2.
Logic Synthesis and Equivalence Checking of Communication Chip
一款通信芯片的逻辑综合和等价性验证
3.
A Empirical Study on the Non-Tendency Processing and Spectrum Verification of Shanghai Share Price Index
上证综合指数的非趋势化处理和谱检验研究
4.
Distribution characteristics of common syndrome types and syndrome elements extracted by experts' experience in perimenopausal and postmenopausal women
基于经验辨证的更年期综合征围绝经期和绝经后期常见证候及证候要素分布
5.
Comprehensive Evaluation And Practical Confirmation on Processing Technology of Daphne genkwa Sieb. et Zucc.
芫花炮制工艺的综合评价及中试验证
6.
Simulation and Synthesis Validation of AES Algorithm IP Core;
AES算法IP化的仿真综合验证研究
7.
Study on Construction of Quality Assurance System of Comprehensive Experiment in Civil Engineering;
构建土木工程综合试验质量保证体系
8.
Delayed Implantation in Giant Pandas:The First Comprehensive Empirical Evidence
大熊猫胚胎延迟着床:首次综合实验验证
9.
On-line Study of Predictive Inferences in L2 Discourse Comprehension,;
二语语篇理解预期推理在线研究——来自命名实验和矛盾句阅读实验的综合证据
10.
Development and Application on Teaching and Testing Equipment of PLC;
PLC综合实习和实验装置的研制和应用
11.
The result of logical synthesis simulation verifies the correctness of the chip circuit.
逻辑综合仿真结果验证了芯片电路的正确性.
12.
Reliability Statistical Model and Demonstration of Electrical Connectors under Multiple Stresses;
航天电连接器综合应力可靠性建模及统计验证
13.
Research on Verification of Controller Synthesis in Design Automation of Digital Systems;
数字系统设计自动化中控制器综合的验证研究
14.
Study on Calculation Methods and Validation Criteria of Integrated Land Section Price;
征地区片综合地价测算方法与验证标准研究
15.
Design and Verification of Synthetical Pressure Distortion Index Calculation Software
综合压力畸变指数的计算软件设计及验证
16.
Modeling and Validation of Location Selection for Search and Rescue Integrated Base of the Yangtze River Route
长江干线搜救综合基地选址建模及实践验证
17.
Application Research of a Hybrid Piezoelectric-optic Fiber Integrated Structural Health Monitoring System
压电-光纤综合结构健康监测系统的研究及验证
18.
Research on China′s Combined Transmission Efficiency of Monetary Policy: Empirical Test Based on Integrated Variables and Multicomponent Reaction Models;
我国货币政策传导的综合效率研究——基于整组变量和多元反馈模型的实证检验