郑华耀 董剑 赵金华 杨孝宗 寇大海 崔刚 陈伟 李香 郭君红 刘宏伟 唐心悦 莫毓昌

非齐次泊松过程 算法分析和设计 可穿戴计算机 Primary-Backups机制 再校准 小卫星 灵敏度分析 软件可靠性建模 ATMEL89C51单片机 G-O模型 软件可靠性 软件可靠性增长模型 线性规划 故障覆盖率 表上作业法 智能化小区 参数稳定性 测试准则 容错COTS服务器 故障检测能力 监控画面 运输问题 CAN总线 增长模型 星务计算机 数据流分析 通信总线 Devicenet现场总线 划分测试 软件可靠性增长模型（SRGM）

哈尔滨工业大学计算机科学与技术学院 黑龙江哈尔滨 哈尔滨工业大学计算机科学与工程系 山东工程学院 哈尔滨工业大学计算机科学与技术系 上海海运学院航运仿真中心