分布式离散事件系统的模式故障预测研究
针对分布式离散事件系统,提出了一种模式故障预测方法.首先对分布式离散事件系统的模式故障可预测性进行形式化.通过构造一个模式故障识别器,从系统所有行为中识别出所发生的模式故障,并针对分布式系统的不同观测点构造不可观测闭包.在此基础上,联合各站点观测到的事件序列构造出模式故障预测验证器,解决了分布式离散事件系统的模式故障预测问题.得出了一个判定分布式离散事件系统模式故障可预测性的充分必要条件,并提出了相应的模式故障预测算法,实现了对分布式离散事件系统的模式故障预测.最后,对分布式模式故障预测验证器的构建和模式故障预测算法进行了复杂度分析.
离散事件系统、分布式、模式故障、故障预测
38
TP277;TP301.1(自动化技术及设备)
国家自然科学基金资助项目;广东省自然科学基金资助项目;广东省公益研究;能力建设专项资金资助项目;广东工业大学计算机学院重大奖项培育项目
2021-03-25(万方平台首次上网日期,不代表论文的发表时间)
共10页
54-63