教育部“新世纪优秀人才支持计划”(NCET-04-0562)
- 作品数：4 被引量：40H指数：2
- 相关作者：陆阳韩江洪杨晴晴郭智奇张本宏更多>>
- 相关机构：合肥工业大学教育部更多>>
- 发文基金：教育部“新世纪优秀人才支持计划”国家教育部博士点基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术矿业工程更多>>
- 双模冗余-比较系统的可靠性和安全性分析被引量：13
- 2009年
- 提出一种新的冗余系统模型——双模冗余-比较系统,给出该模型下的两种实现策略,利用马尔柯夫过程研究了不同策略下的可靠度和安全度,通过MATLAB的仿真计算,分析了故障检测覆盖率和修复率对可靠度和安全度的影响.与三模冗余和双机热备系统的对比研究表明,策略1的安全度最大,可靠度最小;策略2在修复率为0时可靠度最大,安全度与三模冗余系统相当而高于双机热备系统,在修复率为0.01时,安全度最大,可靠度略小于三模冗余和双机热备系统.
- 张本宏陆阳魏臻韩江洪
- 关键词：双模冗余可靠性安全性
- 含有不可控变迁的混合约束Petri网控制器设计
- 2008年
- 针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题,研究受控对象中存在不可控变迁情况下实现Petri网反馈控制器的方法。提出了一种新的约束转换方法对含有不可控变迁的禁止约束部分进行处理,将禁止约束转化为允许约束。然后结合局部设计和Petri网简化技术改进与完善控制器的设计方法。实例表明,该方法结构清晰,计算简单,用于混合约束条件中,能大大减少计算量,在复杂Petri网模型中效果更为明显。
- 朱金旺陆阳程运安
- 关键词：PETRI网离散事件系统不可控变迁
- 矿井机车运输监控系统调度联锁过程的Petri网建模被引量：26
- 2007年
- 分析了机车运输监控系统中调度联锁的基本规则,采用有色Petri网对矿井机车调度联锁过程进行了建模.在建模的过程中,对库所和变迁进行了着色;使用约束组合弧并结合外部输入的车到和过车信息,对机车运行路线错误、任务内闯红灯等意外情况进行了描述;对进路的闭锁和解锁情况进行了细分,根据保证安全和兼顾效率的原则,建立了不同的控制方式;最后给出了调度联锁过程的整体Petri网模型.
- 陆阳郭智奇韩江洪杨晴晴
- 关键词：有色PETRI网
- 基于约束组合CTPN的带式输送机系统建模被引量：2
- 2007年
- 带式输送机控制系统是复杂实时系统,基本Petri网在描述该类系统时会出现"节点爆炸"问题。提出采用约束组合弧来克服该问题。约束组合弧不仅可以描述库所组合触发变迁的效果,而且可以描述变迁发生时部分输入库所托肯不变的情况。在为带式输送机控制系统建模中,提出了基于时间Petri网的带式输送机联锁控制系统模型,并将时间Petri网模型折叠成约束组合有色时间Petri网模型,提高了模型的抽象能力,降低了模型复杂性。
- 陆阳杨晴晴韩江洪
- 关键词：有色PETRI网时间PETRI网带式输送机
