1.
Research on the Key Technologies of Formal Design for Product Scheme;
面向产品方案的形式化设计关键技术研究
2.
The Research for Formal Methods-based Design of Real-time Systems and Aided Code Generation;
实时系统的形式化设计与辅助代码生成研究
3.
Formal Modeling and Evolution of Design Pattern Based on Role
基于角色的设计模式形式建模及演化
4.
Optimum Design of a Independent Ackerman Steering Linkage for Motor Vehicles
断开式汽车转向梯形机构的优化设计
5.
Designing and Formal Analysis Communication Protocol of CBTC System;
CBTC系统通信协议的设计和形式化分析
6.
Optimization in Structural Design of Polygon Plug-in Steel Poles;
多边形插接式钢管塔的结构优化设计
7.
Optimize of Designing the Comb Capacitor Sensor;
梳齿形电容式传感器最优化设计方法
8.
Formal Verification of Hardware Design Based on Rebeca Model
基于Rebeca模型的硬件设计形式化验证
9.
Basic Form of Changing Unit Shape and Its Application in Sign Design
单元形变化的基本形式及在标志设计中的应用
10.
Design and Formal Validation of Wayside Safety Computer in CBTC;
CBTC中轨旁安全计算机的设计与形式化验证
11.
Settings of Purification System and Optimization Design of its Process
清粉系统设置及其流程形式的优化设计
12.
Petrochemical design specification for vertical cylindrical steel welded storage tanks
石油化工立式圆筒形钢制焊接储罐设计规范
13.
The Shape Optimization Design of the Cover of 350/700 Tubulap Ball Mill
350/700筒式钢球磨煤机端盖的形状优化设计
14.
Motion Analyses and Optimum Design for Ackerman Steering
整体式转向梯形的运动分析及优化设计
15.
Reliability Multi-objective Optimization Design for Caliper Disc Brake
钳式盘形制动器的多目标可靠性优化设计
16.
Optimum Design of Disconnect Type Ackerman Steering in Independent Suspension with Two Transverse Rocker Arms
双横臂独立悬架中断开式转向梯形的优化设计
17.
Individualized Forms of Doors in Quebec area,Canada
加拿大魁北克地区户门个性化设计的形式要素
18.
Research on Formal Software Modeling and Design of Intelligent Distributed Supervisory and Control Systems;
智能分布监控系统软件形式化建模和设计研究