论文部分内容阅读
离散事件系统是指系统的状态变化仅发生在某些离散事件点上的一类动态系统,它的研究开始于上世纪80年代。随着科技的飞速发展,离散事件系统出现在我们身边的很多领域,如计算机与通信网络、系统控制、分布式系统等。现实的离散事件系统是复杂多样的,经常含有不确定的信息,随着研究的深入,人们逐渐研究更准确、全面地描述各类系统的方法。上世纪90年代出现了概率离散事件系统,它可以描述具有概率性事件的系统,是对离散事件系统的扩展。概率离散事件系统中,还可能存在另一种不确定性,像一些并发系统中,每个状态后的状态转移概率分布是不确定的,这时我们需要用非确定性概率离散事件系统来描述,它是对概率离散事件系统的进一步扩展。 目前关于非确定性概率离散事件系统的相关研究并不是很丰富。本文主要讨论非确定性概率离散事件系统的建模以及它的可诊断性问题。可诊断性问题主要研究的是系统是否能够在发生失败事件之后的有限步骤内,根据系统可观察的事件序列,判断出系统之前发生的失败事件。可诊断性问题在系统安全、监控等领域都很有现实意义。本文采用非确定性概率自动机为非确定性概率离散事件系统建模,并引用调度器模型来分析系统中非确定性问题;之后我们给出了系统的可诊断性的定义,并构造两个辅助模型,诊断器和带标签的非确定性概率离散事件系统,通过辅助模型给出系统具有可诊断性的充要条件;最后我们给出实例。