1.
Development of a 1D neutron transport code employing the method of characteristics
一维特征线法中子输运程序开发及验证
2.
Development and Validation of Thermal-Hydraulic Analysis Code for Plate Type Fuel Research Reactors
板状燃料元件堆芯热工水力特性分析程序开发及验证
3.
Research on Controlling Methods of Inverted Pendulum and Development of Test Software on Windows;
Windows环境下倒立摆控制及实验程序开发
4.
Development and Validation of Thermal-Hydraulic and Safety Analysis Code for CARR (TSACC)
CARR热工水力与安全分析程序TSACC的开发与验证
5.
Concurrent Object-oriented Program Slicing and Its Application in Program Verification;
面向对象并发程序切片技术及其在程序验证中的应用
6.
1 Develops and implements quality assurance standards, processes and controls.
开发和执行质量保证的标准、程序以及控制。
7.
Situational Judgment Tests: Procedure, Validity, and Trends;
情景判断测验的开发程序、构思效度及研究趋势
8.
Stop the Distribution Agent after the validation has completed.
在完成验证后停止分发代理程序。
9.
Error Pertinence Study and On-line Program Development in Laser-driven Equation of State Experiment;
激光状态方程实验中的误差相关性研究及数据在线处理程序开发
10.
Synchronization Graph Technology and It Sapplication on Verification of Cooperative Workflow and Concurrent Programs
同步图技术及其在协同工作流和并发程序验证中的应用
11.
Verification of Licensing LOCA Analysis Program and Three-Dimension Effect Study
认证级LOCA分析程序验证及其三维效应的研究
12.
Experimental Study on Strain Localization of Concrete Structures and Software Development of Finite Element Post-processing;
混凝土变形局部化试验研究及有限元后处理程序开发
13.
simplification technique
简化技巧 -程序验证中的
14.
Acceptance Test Procedure and Guarantee
验收考核程序和保证
15.
Development and Validation of Control Algorithm of Anti-lock Braking System for Commercial Vehicle;
商用车ABS控制算法开发及试验验证
16.
Model Development of Coke Oven Cokemaking Process--Model Development of Steam Changing Process in the Coke Oven and Industrial Test (Ⅲ)
焦炉焦化模型开发——炉内水分变化过程模型及工业验证(Ⅲ)
17.
The programs have been verified through the artificial data and actual measurement data.
程序经过了仿真数据及实际测量数据的验证。
18.
Logic Program and Its Application to the Verification of Security Protocols;
逻辑程序及其在安全协议验证中的应用