摘要
目前,许多实际工程系统不能仅仅被认为是二元状态,因为系统本身或其组件可以在不同的性能水平上工作。因此,引入多状态模型来表示多状态系统的直接状态。多值决策矩阵(MDDs)是建立多状态系统模型的常用方法。然而,对于状态过多的多状态系统,另一种称为边值多值决策图的决策图优于多状态决策图。本文首先提出了一种直接构造边值多值决策图的方法,而不是从多值决策图转移到边值多值决策图。在此基础上,提出了一种并行生成EVMDDs的算法,以减少时间开销。因此,对于大型系统,可以快速分析其静态和动态模型。利用现有的并行框架或并行库,并行算法易于实现。
出处
《新型工业化》
2021年第3期234-236,239,共4页
The Journal of New Industrialization
基金
国家高技术研究发展计划(863计划)资助课题(项目编号:2008AA000000)。
