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