刘军 游静 戴跃伟 王纪文 李明楚 王执铨 赵建民 姜海文 叶登攀 刘凤玉 李喆 姚志军 许满武 田园

硬盘 分区表 数据采集 传感器网络 重构 形式化方法 文件 测控系统 组播 非易失存储 软件体系结构 事故追忆自诊断 盘外 光盘系统 内容认证码 死锁 自嵌入 特征提取 失控 Petri网模型 平均故障间隔时间 操作 高可用性 群钥 服务器组管理算法 安全性 冗余 Ad Hoc网络 监视系统 搜索