李伯虎 张冰 马萍 王子才 张志顺 林果园 曹天杰 黄皓 张永平 杨明 郑扬飞

验证与验收 综述 校核、验证与验收 二级层次评判 系统调试器 分布交互仿真 计算机支持协同工作 标准化 一级层次评判 复杂仿真系统 分布交互仿真系统 后勤信息化水平 智能算法 校核 综合性能 进展 入侵检测系统 模糊评判 半实物仿真 监测分析系统 潜艇作战系统 数据记录