报告主题：复杂计算系统可靠性评估决策图方法研究

报告人：莫毓昌

报告时间：2022年07月11日 上午9：00

报告网址：#腾讯会议：487-983-093

报告摘要：

本报告简单介绍静态故障树建模和二值决策图分析方法、以及状态转换图建模和马尔科夫再生随机过程分析方法；多状态故障树建模和多值决策图分析方法，以及动态故障树建模和多值决策图分析方法；并提出了在多值决策图框架下的统一建模和分析方法。从应用角度，进一步介绍如何主要把理论研究成果应用于各类实际计算系统的可靠性建模和分析，包括承担阶段化任务的分布式计算系统、采用动态容错机制的容错计算系统、集群架构的网络计算系统、多状态表决结构的分布式计算系统、物联网应用中的物联计算系统等。通过准确地评估各类计算系统的可靠性指标为制定高可靠设计方案（如冗余系统结构和底层容错机制等）提供理论基础；同时也能够为制定高可靠运营机制（如系统运营环境选择与设计、系统备件库的配置策略等）提供理论依据。

报告人简介：

莫毓昌，获得哈尔滨工业大学计算机科学与技术专业学士、哈尔滨工业大学计算机系统结构专业硕士、哈尔滨工业大学计算机系统结构专业博士，美国University of Massachusetts 留学基金委公派访问学者。目前担任华侨大学数学科学学院闽江学者特聘教授，计算科学福建省高校重点实验室主任，IEEE高级会员，中国运筹学会可靠性分会常务理事。