针对自动制造系统的计划序列问题,研究了一种部分可观标签时间Petri网的最小代价变迁序列估计方法。所考虑的标签时间Petri网是有界的,且每个变迁都有一个非负代价。首先,提出了一种基于时间标签序列(time-label sequence,TLS)的观测-...针对自动制造系统的计划序列问题,研究了一种部分可观标签时间Petri网的最小代价变迁序列估计方法。所考虑的标签时间Petri网是有界的,且每个变迁都有一个非负代价。首先,提出了一种基于时间标签序列(time-label sequence,TLS)的观测-修正状态类图(observed-modified state class graph,OSCG),其代表标签时间Petri网系统的部分状态空间。在OSCG中,搜索出所有与TLS逻辑一致的变迁序列。其次,通过利用OSCG中与逻辑一致的变迁序列相关的时间约束,提出了一种基于线性规划的方法以判定与TLS时间一致的变迁序列,进而求出最小代价的变迁序列。最后,通过一个实例验证了本文所提方法的有效性。展开更多
针对具有不可观事件的离散事件系统的故障问题,提出了一种基于标签时间Petri网的诊断方法。首先,对标签时间Petri网系统现有的修正状态类图(modified state class graph,MSCG)进行分析,提出MSCG的改进算法。其次,对于给定的可观标签序...针对具有不可观事件的离散事件系统的故障问题,提出了一种基于标签时间Petri网的诊断方法。首先,对标签时间Petri网系统现有的修正状态类图(modified state class graph,MSCG)进行分析,提出MSCG的改进算法。其次,对于给定的可观标签序列和观测时间,通过求解由改进的MSCG的路径信息构建的线性规划问题,获得所有与可观标签序列时间一致的有效路径,从而分析系统的故障情况。最后,以交替位协议为实例分析验证了所提方法的有效性,为复杂的实时系统故障诊断问题提供有效方案。展开更多
文摘针对自动制造系统的计划序列问题,研究了一种部分可观标签时间Petri网的最小代价变迁序列估计方法。所考虑的标签时间Petri网是有界的,且每个变迁都有一个非负代价。首先,提出了一种基于时间标签序列(time-label sequence,TLS)的观测-修正状态类图(observed-modified state class graph,OSCG),其代表标签时间Petri网系统的部分状态空间。在OSCG中,搜索出所有与TLS逻辑一致的变迁序列。其次,通过利用OSCG中与逻辑一致的变迁序列相关的时间约束,提出了一种基于线性规划的方法以判定与TLS时间一致的变迁序列,进而求出最小代价的变迁序列。最后,通过一个实例验证了本文所提方法的有效性。
文摘针对具有不可观事件的离散事件系统的故障问题,提出了一种基于标签时间Petri网的诊断方法。首先,对标签时间Petri网系统现有的修正状态类图(modified state class graph,MSCG)进行分析,提出MSCG的改进算法。其次,对于给定的可观标签序列和观测时间,通过求解由改进的MSCG的路径信息构建的线性规划问题,获得所有与可观标签序列时间一致的有效路径,从而分析系统的故障情况。最后,以交替位协议为实例分析验证了所提方法的有效性,为复杂的实时系统故障诊断问题提供有效方案。
