王维 邵志远 崔刚 胡华平 刘恩德 桂小林 金海 闵应骅 皇甫贵真 江建慧 陈以农 邱敏 李福建 张臻鉴 唐晓辉 伍文冰 赵巍 解鹏 王璞 员春欣 王玉玺 田梅 金士尧 陈廷槐 杨孝宗

Markov过程 软件工程 TCP协议 网格计算 可用性 故障恢复 软件 集群计算 信息处理 仿作 VLSI芯片 可信计算与通信 数据库系统 可信性 错误检测 可靠性 高可用性 产品展示 性能-可靠性 容错度 局域网 程序正确性 故障检测 程序测试 性能评价 在线测试 故障处理 计算机工程 高性能处理机 国防科技大学