学术报告：图中对称PMC 诊断模型, b-匹配与t-可诊断系统的故障识别
报告题目：图中对称PMC 诊断模型, b-匹配与t-可诊断系统的故障识别
报告人：朱强（西安电子科技大学教授、博士生导师）
报告时间：2021年10月 31日(周日)上午9:00
报告地点：腾讯会议ID：855 974 606
联系人：徐丽琼教授
欢迎广大师生参加！
报告摘要：In this talk we introduce a new testing model called the symmetric PMC(SPMC) model. We prove that the diagnosability of an n-dimensional hypercube under the SPMC model is almost twice its diagnosability under the PMC model. We then show that the fault diagnosis problem for a t-diagnosable system under the SPMC model reduces to that of determining a maximum weighted b-matching in its diagnosis graph. Finally, we establish the worst case complexity of our t-diagnosis algorithm.
报告人简介：朱强，西安电子科技大学数学系教授，博士生导师。2005年获中国科学技术大学应用数学专业博士学位。2009年8月至2010年12月在西安电子科技大学计算机系从事博士后研究。2011年9月至2013年3月在美国西弗吉尼亚大学访问，进行合作研究。研究方向包括并行与分布式系统，多处理器互连网络，算法设计与分析，图论等。担任IEEE TC、IEEE TPDS、JPDC、 Parallel Computing、Info. Sci.等多个国际著名学术期刊的审稿人。在IEEE TC、Info. Sci.、J.Supercomputing等国外学术期刊上发表论文多篇。目前主持国家自然科学基金面上项目1项。
理学院
