崔刚 李航 陶静 金益民 刘宏伟 陈义 赵宇 李宏亮 郭晓辉 张磊 于斌 杨孝宗 金士尧

Raid冗余 可用性 RAID 可靠性 心跳 Markov模型 动态行为 PC服务器 双星定位 容错方案 磁盘阵列 集群系统 时钟同步 有限状态机 镜像 集群 UML描述方案 备援