1.
Formal Analysis and Verification for Component-based Embedded Software Designs;
构件化嵌入式软件设计的分析与验证
2.
The Designing Theory Researching of Sound-Vibration Strips;
声—振安全带设计原理的分析与验证
3.
Sequence Analysis & Identification of Wheat Microrna;
小麦microRNAs的序列分析与验证
4.
Analyzing and Verifying Network Protocols by Model Checking
基于模型检查的网络协议分析与验证
5.
Comparison on the Sameness and Difference of Exploratory Factor Analysis and Confirmatory Factory Analysis;
探索性因子分析与验证性因子分析异同比较
6.
Analysis and Verification of Common Fake Signal Appearing in System-level EMC Test
系统级EMC实验中常见虚假信号的分析与验证
7.
Automated analysis and validation for survivability of distributed mission-critical systems
分布式任务关键系统生存性自动分析与验证
8.
Verification and Confirmation:An analysis of Rationality in Falsificationism;
证实与验证——证伪主义的合理性分析
9.
Fair Value Accounting:Theory Analysis and Empirical Evidence
公允价值会计:理论分析与经验证据
10.
Demand for International Reserves: Theory Analysis and Empirical Study;
国际储备需求：理论分析与实证检验
11.
Quality of Earnings: Theoretic Analysis and Experience Evidence;
会计盈余质量：理论分析与经验证据
12.
Theoretical and Empirical Analysis on Endogenous Money Supply;
内生货币供给的理论分析与实证检验
13.
An Empirical Study and Analysis of the "Leverage Effect" in Shanghai Stock Exchange Government Bond Index;
上证国债指数“杠杆效应”的检验与分析
14.
The Competitiveness of the Tax Free Zone : the Analytical Framework and Strategic Alternative;
保税区竞争力:分析框架与实证检验
15.
Verification and improvement of process scheduling model by Spin
进程调度模型的Spin验证分析与改进
16.
Theoretical Analysis and Test Verification and Practice for the Structures with Energy Dissipation Devices;
消能减震结构理论分析与试验验证及工程应用
17.
Pay attention to the verification and analysis of conclusion in competition test questions;
应重视竞赛实验试题结论的验证与分析
18.
Characteristic Analysis and Experimental Verification of EVM for Digital Predistortion Power Amplifier
数字预失真功放EVM特性分析与实验验证