对离散事件系统的共可诊断性验证
提出了一种验证离散事件系统共可诊断性的多项式算法,算法通过构建一个检验自动机来实现,将故障路径和正常路径提取出来进行对比.另外将传统的共可诊断性划分为两种情况分别处理可以提高算法效率.可分别用于验证系统的F-共可诊断性和NF-共可诊断性.复杂性分析和案例分析表明本文算法的计算复杂度更低.实验验证了本文方法的高效性和有效性.
人工智能、基于模型的诊断、离散事件系统、验证算法、F-共可诊断性、NF-共可诊断性
43
TP18;TP301(自动化基础理论)
国家自然科学基金项目60873148,60973089,61170314,61272208;吉林省自然科学基金项目20071106,20101501,20100185;高等学校博士学科点专项科研基金项目20100061110031;吉林大学跨学科项目2009JC038
2016-05-17(万方平台首次上网日期,不代表论文的发表时间)
共7页
123-129