1.
Model Design and Validation of C~4ISR System Architecture based on DoDAF
基于DODAF的体系结构模型设计与验证
2.
Design and Verification of Charge-Pump Phase-Locked Loop Behaivior Model Based on the Analysis of Jitter
基于抖动分析的电荷泵锁相环行为级模型设计与验证
3.
Design and Validation of Safe Computer Platform Based on Model Engineering
基于模型工程的安全计算机平台设计与验证
4.
Design Competition and Design Evolution:A Case of Auto Industry;
模块化设计竞争与设计演化:理论模型与案例验证
5.
Design and Implementation of the UML Model Checking Tool Based on SPIN/Promela
基于SPIN/Promela的UML模型验证工具设计与实现
6.
Model-driven High-level Design and Verification for Complex Reactive System
模型驱动的复杂反应式系统顶层设计与验证
7.
Simulation and Experiment of Exterior Flow Field of an Automobile
某型轿车外流场模拟计算与实验验证
8.
Design and Experimental Research on a Small High Speed Axial-ventilator;
小型高速轴流风机的设计与实验验证
9.
SystemC～(FL) Modeling Verification of Hardware Design System Using the SPIN Model Checker;
硬件系统SystemC～（FL）设计模型的SPIN验证
10.
Formal Verification of Hardware Design Based on Rebeca Model
基于Rebeca模型的硬件设计形式化验证
11.
Design and Experiment Vaditation of DC-DC Model for Synergic Electric Power Supply System on Vehicle;
车载复合电源用DC-DC的模型设计及试验验证
12.
Design and Verification of Dual-direction Shear Laminar Box for Shaking Table Test
层状双向剪切模型箱的设计及振动台试验验证
13.
The Design of the Simple Type Simulation Dose Verification Body Mold
简易型模拟剂量验证模体的设计及应用
14.
Integrated Circuits Design and Verification for FTTH Transmitter and Receiver Module;
FTTH光模块集成电路设计与验证
15.
Modeling and Validation of Top-level Design Based on DoDAF
基于DoDAF的顶层设计建模与验证
16.
Design and Validation of 8-bit Enhanced CPU Based on FPGA;
基于FPGA的8位增强型CPU设计与验证
17.
Design and Verification of New Intelligent Lighting Control System
新型智能照明控制系统的设计与验证
18.
Simulation and Experimental Confirmation of the Growth Characteristics of ABO_3 Perovskite Thin Film;
ABO_3型薄膜生长特性的计算机模拟与实验验证