汪东升 郑纬民 冯静 杨孝宗 王帅元 李炯亮 王时越 刘北辰 何天淳 郭松柳

任务关键性 软件重用 片上多处理器 相异性设计 容错设计 螺旋钢丝 变形 存储系统测试 虚拟化 软件相异性 结构计算 弯曲变形 钢丝软轴 弧形波形瓦 故障模型 层次化验证 大变形 并行测试 容灾 强度 软件容错 弹簧 变形分析 有限元法 应力 柔轮计算 任务连续性 抗弯刚度 有限元 圆柱壳

昆明理工大学建筑工程学院 昆明理工大学 昆明市技术监督局 昆明工学院建工及力学系 黑龙江哈尔滨 哈尔滨工程大学高可信计算技术研究中心 哈尔滨工程大学计算机科学与技术学院 清华大学微处理器与片上系统技术研究中心