孙燕
- 作品数：6 被引量：8H指数：2
- 供职机构：南京航空航天大学自动化学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术交通运输工程电气工程更多>>
- Petri网并发进程的死锁避免策略被引量：2
- 2016年
- 死锁是系统并发进程中特有的问题,由于发生的不确定性,死锁检测和消除非常困难。在以分支界定法设计最优监控器的基础上,提出了一种可以最大限度保证静态和行为特性任意配置的死锁监控器集成设计方法。该方法通过可达图分析,在满足静态特性和行为特性下,进行可达图删减,从而实现合法标识和非法标识的分离,对分离出的标识建立混合整数线性规划模型,运用分支定界法得到补充监控库所的广义互斥约束模型作为最优监控器,保证了死锁的避免和资源的最大允许利用。以多进程码垛机器人加工系统为例,建立了Petri网模型,结合零件加工过程中资源的占用和释放,对柔性制造系统进行控制器设计。设计的控制器拥有更严格的约束和更简化的模型,对死锁标识的避免是充分的,验证了该算法的有效性。
- 周建勇于杰刘海阳孙燕刘久富王志胜杨忠刘春生
- 关键词：PETRI网监控器
- 部分可控Petri网的最优监控器设计被引量：1
- 2017年
- 研究了部分可控Petri网的码垛机器人零件加工系统最优监控器设计的问题。为了保证广义互斥约束满足静态规范和行为规范,提出了部分可控Petri网的最优监控器的方法,探寻出以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束集建立可达树得出合法标识集和有界非法标识集,对分离出的标识建立混合整数线性规划模型,运用分支边界法得到最大允许度且最少数量的广义互斥约束集作为最优监控器。以含不可控变迁的码垛机器人零件加工系统为例,建立了部分可控Petri网模型,结合零件加工过程中机器人的占用和释放环节,对应用Petri网在机器加工系统的最优设计进行了研究,应用监控器生成算法设计的监控器拥有更严格的约束和更简化的模型,验证了该算法的有效性。
- 高蕾武书彦孙燕周建勇于杰刘久富
- 关键词：监控器不可控变迁
- 输电系统的部分可观Petri网故障诊断器设计
- 2017年
- 采用部分可观Petri网的故障诊断方法来解决变电站输电系统中不可观事件和不可观运行状态的故障诊断问题.首先,将系统可观测序列分解为长度为1的基础观测序列,应用线性不等式矩阵计算与基础观测序列相符的点火序列集;然后,基于整数线性规划问题,利用向前向后函数拓宽诊断区间,同时应用参数K限定故障诊断序列长度,通过分析系统可观事件和系统部分可观状态,给出故障诊断结果.最后,构造变电站输电系统的部分可观Petri网模型,应用提出的故障诊断算法对输电系统进行诊断,诊断结果准确给出了故障发生与否及故障发生位置.算法适用于在线故障诊断,计算复杂性线性相关于观序列长度.
- 智淑敏刘静静孙燕刘久富
- 关键词：故障诊断整数线性规划置信度
- 火箭发动机启动过程的部分可观Petri网故障诊断被引量：2
- 2017年
- 针对液氧/甲烷膨胀循环发动机启动过程中存在的不可观事件和不可观运行状态,现有故障诊断方法仍存在诊断不准确的问题,提出一种基于部分可观Petri网的故障诊断方法.首先,将系统获取的观测序列分解为单位长度的基础观测序列,应用线性矩阵不等式计算与基础观测序列相符的点火序列集;然后,采用向前-向后算法拓展诊断区间、参数K限定故障诊断序列长度,通过分析点火序列集中不可观变迁是否正常点火,判定观测序列是否包含故障;最后,将部分可观Petri网故障诊断算法应用于液氧/甲烷膨胀循环发动机启动过程.结果表明:所提出的算法使计算复杂性缩小为原来的h_o^(-1)·e^(h_o-K),避免随状态空间复杂性增大而出现的状态空间爆炸问题,同时算法能进行实时跟随、在线诊断,诊断准确性可达到99.134%.
- 刘久富孙燕于杰刘文渊刘海阳
- 关键词：故障诊断整数线性规划
- 部分可观Petri网系统的在线故障诊断方法
- 2016年
- 针对Petri网系统故障检测与诊断过程中存在状态枚举及随后的状态爆炸问题,采用整数线性规划方法,提出了Petri网系统的在线故障诊断算法。算法将故障表示为Petri网模型的不可观变迁,定义了故障诊断器函数,通过可观的变迁序列,诊断系统行为是否出现故障。该算法避免了状态空间爆炸,降低了在线运算量的复杂性。以地铁列车进出站系统为实例,对地铁列车进出站系统进行含不可观变迁Petri网建模,应用提出的算法对铁列车进出站系统故障进行诊断。试验表明,该算法能有效应用于地铁列车进出站过程在线故障诊断。
- 彭晓红刘文良于杰孙燕刘文渊刘海阳鲍建成刘久富
- 关键词：地铁PETRI网故障诊断整数线性规划
- 高铁进出站控制系统的Petri网故障诊断研究被引量：3
- 2016年
- 高铁进出站控制系统是保证高铁正常运行的关键枢纽。针对高铁进出站控制系统是否发生故障及故障发生的准确位置,基于部分可观Petri网的结构特点和整数线性规划问题,提出了一种在线故障诊断算法。算法获取被诊断系统的基本观测序列和基本点火序列,计算观测序列的最大长度,选取故障诊断参数K,应用提出的故障诊断算法对高铁进出站控制系统进行仿真实验并进行了故障诊断分析。实验结果指出高铁进出站控制系统在运行过程中出现的故障,与实验设定故障完全相符。而对于系统中不可观事件和不可观运行状态所发生的故障,该算法仍准确指出了故障发生位置,由此可证明该诊断方法能够满足高铁进出站控制系统对故障诊断算法实时、准确的要求。
- 孙燕武书彦刘久富刘文渊刘海洋杨忠
- 关键词：故障诊断高铁
