基于模型的诊断系统验证

• 作者: 孟庆志 王戟
• 来源期刊: 微电子学与计算机
• 关键词: 诊断系统 基于模型 验证
• 年，卷（期）: 2006,（z1）
• 页码范围: 135-136,140
• 页数: 3页
• 分类号: TP31
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2006.z1.047

摘要

诊断系统在很多领域都非常重要,从工业设备到运输都有应用需求.诊断系统能够识别某个可能进入危险状态或根本不可能状态的设备现在是否正常运行.诊断系统可以指导控制过程,阻止没被发现而可能导致灾难的实效事件的发生.在某些安全攸关领域中,诊断已成为开发系统的重要步骤,诊断系统的验证工作举足轻重.文章介绍了基于模型的诊断系统的验证方法,包括诊断系统相关概念、基于模型的诊断理论以及一个基于模型的自治诊断系统Livingstone及其自动验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王戟	国防科学技术大学计算机学院	44	1257	17.0	35.0
2	孟庆志	国防科学技术大学计算机学院	1	1	1.0	1.0