期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于遗传算法的最小初始标识估计
1
作者 卞宏亚 《计算机技术与发展》 2024年第7期154-160,共7页
在考虑标注序列时,计算带有不可观测变迁的标注Petri网的最小初始标识集是一个复杂的任务。现有解决这一问题的方法存在多种限制。该文采用一种基于遗传算法的方法来估计最小初始标识。由于可能存在多个初始标识(通常是无限多个),关注... 在考虑标注序列时,计算带有不可观测变迁的标注Petri网的最小初始标识集是一个复杂的任务。现有解决这一问题的方法存在多种限制。该文采用一种基于遗传算法的方法来估计最小初始标识。由于可能存在多个初始标识(通常是无限多个),关注点在于获得Petri网中的最小初始标识集,其中满足以下条件:初始标识允许至少一种触发序列与观察到的标注序列和网络结构一致;初始标识具有最小的托肯总数(即在所有库所上的托肯总数最小);对于每次观测到的标注,允许每个可观测变迁发生之前至多一个不可观测变迁发生。鉴于最小初始标识的估计属于NP-hard类别,因此采用此类算法是合理的。通过实验证明了该方法的有效性。与现有算法相比,该算法能够以更小的计算代价获得最小初始标识。 展开更多
关键词 离散事件系统 PETRI网 初始标识估计 不可观测变迁 变迁触发序列
下载PDF
基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测方法 被引量:1
2
作者 刘久富 陈柯 +2 位作者 梁娟娟 叶文华 王志胜 《中国机械工程》 EI CAS CSCD 北大核心 2013年第5期589-593,共5页
研究了基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测问题。结合机器系统运行过程中的故障特征,对Petri网在机器系统故障诊断中的应用进行了研究,提出了包含不可观变迁Petri网的基本可达树和诊断分析函数的概念及基本可达... 研究了基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测问题。结合机器系统运行过程中的故障特征,对Petri网在机器系统故障诊断中的应用进行了研究,提出了包含不可观变迁Petri网的基本可达树和诊断分析函数的概念及基本可达树故障检测算法。以码垛机器人零件加工系统为例,建立了Petri网系统模型,应用基本可达树故障检测算法进行检测,故障检测结果符合码垛机器人零件加工系统实际运行情况,验证了该方法的有效性。 展开更多
关键词 故障检测 PETRI网 不可观变迁 可达树
下载PDF
含不可观变迁事件图的状态估计器设计
3
作者 吴敏 张瑶瑶 +1 位作者 颜钢锋 刘妹琴 《信息与控制》 CSCD 北大核心 2008年第3期275-279,共5页
针对基于事件图建模的离散事件系统中存在的不可观变迁的状态估计问题,本文提出前向、后向可观路径的概念对其进行了详细分析,并给出一种估计器设计方法,用来根据关联矩阵行变换进行不可观变迁状态的估计.分析了估计器的观测代价,在此... 针对基于事件图建模的离散事件系统中存在的不可观变迁的状态估计问题,本文提出前向、后向可观路径的概念对其进行了详细分析,并给出一种估计器设计方法,用来根据关联矩阵行变换进行不可观变迁状态的估计.分析了估计器的观测代价,在此基础上给出了寻找最优估计器的方法,并利用最优估计器计算不可观变迁的状态估计范围.最后通过实例证明了该方法能够有效地进行不可观变迁的状态估计. 展开更多
关键词 离散事件系统 事件图 不可观变迁 估计器 状态估计
下载PDF
部分可观Petri网系统的在线故障诊断方法
4
作者 彭晓红 刘文良 +5 位作者 于杰 孙燕 刘文渊 刘海阳 鲍建成 刘久富 《城市轨道交通研究》 北大核心 2016年第12期6-12,共7页
针对Petri网系统故障检测与诊断过程中存在状态枚举及随后的状态爆炸问题,采用整数线性规划方法,提出了Petri网系统的在线故障诊断算法。算法将故障表示为Petri网模型的不可观变迁,定义了故障诊断器函数,通过可观的变迁序列,诊断系统行... 针对Petri网系统故障检测与诊断过程中存在状态枚举及随后的状态爆炸问题,采用整数线性规划方法,提出了Petri网系统的在线故障诊断算法。算法将故障表示为Petri网模型的不可观变迁,定义了故障诊断器函数,通过可观的变迁序列,诊断系统行为是否出现故障。该算法避免了状态空间爆炸,降低了在线运算量的复杂性。以地铁列车进出站系统为实例,对地铁列车进出站系统进行含不可观变迁Petri网建模,应用提出的算法对铁列车进出站系统故障进行诊断。试验表明,该算法能有效应用于地铁列车进出站过程在线故障诊断。 展开更多
关键词 地铁 PETRI网 故障诊断 不可观变迁 整数线性规划
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部