您的位置： 专家智库 > >

周建勇

作品数：8 被引量：20H指数：2
供职机构：南京航空航天大学自动化学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 8篇中文期刊文章

领域

  • 8篇自动化与计算...

主题

  • 5篇PETRI网
  • 4篇监控器
  • 3篇电梯门系统
  • 2篇有色PETR...
  • 1篇整数线性规划
  • 1篇线性规划
  • 1篇活性
  • 1篇故障诊断
  • 1篇分布式
  • 1篇分支定界法
  • 1篇PETRI网
  • 1篇PETRI网...
  • 1篇CPN
  • 1篇CPN模型
  • 1篇并发进程
  • 1篇不可控变迁

机构

  • 8篇南京航空航天...
  • 3篇东南大学
  • 2篇安阳工学院
  • 1篇郑州铁路职业...
  • 1篇河南牧业经济...

作者

  • 8篇刘久富
  • 8篇周建勇
  • 5篇刘文良
  • 3篇王志胜
  • 3篇刘海阳
  • 2篇刘春生
  • 2篇马国富
  • 2篇杨忠
  • 2篇孙燕
  • 2篇于杰
  • 1篇王艳萍
  • 1篇李海燕
  • 1篇武书彦

传媒

  • 2篇计算机技术与...
  • 1篇农业机械学报
  • 1篇计算机应用与...
  • 1篇控制理论与应...
  • 1篇计算机应用研...
  • 1篇计算机工程与...
  • 1篇控制工程

年份

  • 1篇2018
  • 1篇2017
  • 1篇2016
  • 4篇2015
  • 1篇2014
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
部分可控Petri网的最优监控器设计被引量：1
2017年
研究了部分可控Petri网的码垛机器人零件加工系统最优监控器设计的问题。为了保证广义互斥约束满足静态规范和行为规范,提出了部分可控Petri网的最优监控器的方法,探寻出以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束集建立可达树得出合法标识集和有界非法标识集,对分离出的标识建立混合整数线性规划模型,运用分支边界法得到最大允许度且最少数量的广义互斥约束集作为最优监控器。以含不可控变迁的码垛机器人零件加工系统为例,建立了部分可控Petri网模型,结合零件加工过程中机器人的占用和释放环节,对应用Petri网在机器加工系统的最优设计进行了研究,应用监控器生成算法设计的监控器拥有更严格的约束和更简化的模型,验证了该算法的有效性。
高蕾武书彦孙燕周建勇于杰刘久富
关键词：监控器不可控变迁
基于有色Petri网的电梯门系统建模与仿真被引量：4
2015年
文中分析了电梯门系统的组成结构,描述了电梯门系统的运行过程。文中利用有色Petri网中不同颜色的token可以表示系统的不同类型的状态的原理建立了基于有色Petri网的电梯门系统模型,避免了传统Petri网建模模型时引起的状态空间爆炸问题。然后利用CPN Tools对模型进行动态分析并生成状态空间报告以分析模型的回归性、有界性、活性及公平性。活性分析存在死标识时,提出基于ASK-CTL模型检验理论的死标识合理性算法验证模型中不存在自循环终端和死锁标识,进而验证了死标识存在的合理性,证实了电梯门系统CPN模型的正确性。
刘文良刘久富周建勇
关键词：电梯门系统有色PETRI网活性
改进的部分可观Petri网系统在线故障诊断器设计被引量：6
2015年
本文研究部分可观Petri网建模的离散事件系统的故障检测问题.针对现有的部分可观Petri网系统的在线故障诊断器存在故障诊断率较低的缺陷,本文提出了整数线性规划与广义互斥约束集成的部分可观Petri网系统在线故障诊断改进算法.假定部分可观Petri网系统的结构与初始标识为已知,故障被建模为不可观变迁.首先,算法需要观测接收事件序列,求解部分可观Petri网的整数线性规划问题,算法对系统的故障进行初步诊断.初步诊断为不确定诊断的情形,采用广义互斥约束的方法进行诊断.最后,通过离散事件系统实例分析,采用本文的算法,故障诊断率显著提高,验证了算法的有效性.
刘久富刘文良周建勇刘海阳王志胜刘春生
关键词：故障诊断整数线性规划
有色Petri网模型中死标志合理性分析与验证被引量：1
2014年
针对使用CPN Tools对系统进行建模仿真得到的状态空间报告中出现的死标志是否会影响系统的安全性和模型的正确性进行了研究,提出了一种基于ASK-CTL及模型检验理论的死标志合理性验证算法。该算法采用模型检验技术通过ML语言编辑相关功能函数使用非标准状态空间查询法,进一步分析与研究CPN Tools仿真状态空间报告中出现的死标志,通过验证死标志存在的合理性来确保所建立CPN模型的准确性与系统的安全性。最后,以电梯门系统为例,使用CPN Tools建立电梯门系统的CPN模型,证明了算法的有效性。
马国富刘文良周建勇刘久富
关键词：电梯门系统CPN模型
Petri网并发进程的死锁避免策略被引量：2
2016年
死锁是系统并发进程中特有的问题,由于发生的不确定性,死锁检测和消除非常困难。在以分支界定法设计最优监控器的基础上,提出了一种可以最大限度保证静态和行为特性任意配置的死锁监控器集成设计方法。该方法通过可达图分析,在满足静态特性和行为特性下,进行可达图删减,从而实现合法标识和非法标识的分离,对分离出的标识建立混合整数线性规划模型,运用分支定界法得到补充监控库所的广义互斥约束模型作为最优监控器,保证了死锁的避免和资源的最大允许利用。以多进程码垛机器人加工系统为例,建立了Petri网模型,结合零件加工过程中资源的占用和释放,对柔性制造系统进行控制器设计。设计的控制器拥有更严格的约束和更简化的模型,对死锁标识的避免是充分的,验证了该算法的有效性。
周建勇于杰刘海阳孙燕刘久富王志胜杨忠刘春生
关键词：PETRI网监控器
部分可控Petri网分布式死锁监控器设计被引量：2
2018年
研究了部分可控Petri网柔性制造系统中的死锁避免的问题。为了保证死锁避免和资源最大允许利用,提出了基于分支定界法的Petri网死锁监控器的优化设计方法,采用多个子控制节点对全局状态建立分布式监控器,通过行为可行和分布可行对分布式监控器下合法状态空间进行检测,对最大行为可行子集建立线性规划模型求解最大分布可行合法状态集,得到分布式监控器下的最大合法状态子空间。最后,建立了柔性制造系统的部分可控Petri网模型,针对系统的死锁避免等多个行为特性要求,分别设计了集中式监控器和分布式监控器,分布式监控器能有效地避免死锁。
李海燕王艳萍周建勇刘久富
关键词：分支定界法线性规划
基于ASK-CTL的有色Petri网模型检验算法研究被引量：2
2015年
针对使用CPN Tools工具建立系统CPN(Colored Petri Net)模型并进行仿真所得到的状态空间报告中出现的死标识是否会影响系统的安全性和模型的正确性进行研究,提出基于ASK-CTL的有色Petri网模型检验算法及死标识合理性验证算法。算法描述了系统有色Petri网的建模与仿真过程,根据得到的状态空间报告判断是否存在死标识,对存在的死标识采用非标准状态空间查询法使用ML语言编辑相关功能函数以验证死标识的合理性,进而确保所建立CPN模型的正确性与系统的安全性。最后,以电梯门系统为例,证明了算法的有效性。
马国富刘文良周建勇刘久富
关键词：电梯门系统CPN
广义互斥约束的Petri网死锁避免监控器设计被引量：2
2015年
研究了Petri网的柔性制造加工系统中的死锁避免问题。为了保证死锁避免和资源最大允许利用,提出了基于广义互斥约束的Petri网最优监控器的设计方法,探寻以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束集建立可达树得出合法标识集和死锁标识集,对分离出的标识建立混合整数线性规划模型,运用分支定界法得到补充监控库所的广义互斥约束模型作为最优监控器。最后,以某柔性制造系统为例,建立了Petri网模型,结合零件加工过程中资源的占用和释放,对柔性制造系统进行控制器设计,设计的控制器拥有更严格的约束和更简化的模型,对死锁标识的避免是充分的,验证了该算法的有效性。
刘久富周建勇刘文良刘海阳杨忠王志胜
关键词：PETRI网监控器
全选 清除 导出
共1页<1>
聚类工具0