王安荣
- 作品数：19 被引量：63H指数：5
- 供职机构：西安电子科技大学更多>>
- 发文基金：国家自然科学基金教育部留学回国人员科研启动基金国家部委预研基金更多>>
- 相关领域：自动化与计算机技术机械工程理学更多>>
- 局部公平网的充要条件研究被引量：3
- 2002年
- Petri的局部公平性反映了网系统在局部行为的公平关系,给出了局部公平Petri网的一个充要条件,即如果Petri网具有若干个互不相交的变迁不变式的支撑,则该网是为变迁不变式覆盖的.同时提出了状态观测器的概念,根据网的库所不变式理论,通过把网中所有的状态观测器设计为一个库所不变式,可把一个局部公平网设计为一个公平网.最后给出了状态观测器初始标志的确定方法,来最大限度地保证网系统的行为不受观测器的约束.
- 李志武王安荣
- 关键词：充要条件PETRI网
- 一种保障系统安全性的方法
- 本申请属于系统安全领域，是一种保障系统安全性的方法。对于一个信息物理系统而言，本质上可以抽象为离散事件系统。离散事件系统的运行是基于离散事件的发生。本申请中的修正机制指的是对系统所发生的事件实施修正操作。修正机制的原理是...
- 李小燕张佳峰王安荣李志武
- 基本信标计算的一种快速算法被引量：6
- 2008年
- 提出一种基于二分法搜索原理计算基本信标的高效算法.如果网的特征T-向量矩阵非行满秩,则将其按行一分为二.以同样的方法处理新得到的子矩阵,直至得到的子矩阵行满秩,则该矩阵对应的信标全为基本信标.以这些基本信标为基础,递归搜索其余子矩阵,最终得到全部基本信标.该算法与顺序搜索法相比较,矩阵求秩的次数大为减少.对Petri的一个子类——一个拥有资源的简单加工进程的线性系统(LS3PR)网系统来说,该算法是一个多项式算法,并通过一系列算例验证了该算法的效率.
- 王安荣李志武
- 关键词：PETRI网基本信标
- 信息物理系统的基本可达图的分析方法和相关装置
- 本申请提出了一种信息物理系统的基本可达图的分析方法和分析装置。本申请提出的技术方案中，先将信息物理系统建模为Petri网模型，并且该Petri网模型的初始标识用一组二进制变量表示，每个变迁的发射规则分别由一个二元方程来表...
- 彭鲲张佳峰王安荣李志武
- 资源分配系统禁止状态的避免研究被引量：1
- 2005年
- 基于对有界、被P不变式覆盖且P不变式被初始标记的Petri网的结构分析,提出一种避免资源分配系统禁止状态的方法.该方法首先离线计算出资源分配系统Petri网模型中的死标识、坏标识和危险标识等特殊标识,进而在线保证系统不到达死标识和坏标识对应的禁止状态.该方法与其他方法相比,它使系统的许可行为最大化且无需计算网系统的整个可达图,更适合比较庞大的资源分配系统.
- 王安荣段江涛李志武贾建援
- 关键词：PETRI网资源分配系统
- 制造系统Petri网特殊标识求解算法被引量：5
- 2013年
- 基于整数规划提出了一种在Petri网部分可达图范围内求解危险标识的算法.该算法首先从死标识的定义出发,结合结构不变式(P-不变式),求出Petri网的所有死标识;再利用状态方程,推算出到达这些死锁标识的坏标识及危险标识(如果Petri网不含有这些特殊标识,则输出结果为空集);最后,用一个制造系统的Petri网对该算法进行仿真.仿真结果表明,使用该算法求解网的特殊标识(死标识和危险标识),是通过求解部分可达标识实现的.该算法有效减小了算法的搜索空间,避免了Petri网的状态空间爆炸问题.
- 王祺王安荣蒲绪强
- 关键词：整数规划PETRI网
- 最优基本信标在柔性制造系统死锁控制中的应用
- 2006年
- 基于受控系统可达状态数最多的标准,提出了最优基本信标的思想,一组信标如果与之相对的从属信标都是强从属信标就可以确保目标网系统动态性能最优.在此基础上,以整数规划算法为数学工具给出了时间算法复杂度为多项式的最优基本信标的计算方法.实验结果表明采用相同的控制策略,最优基本信标可以使目标网系统在添加尽可能少的控制库所的同时生成尽可能多的许可行为.
- 胡核算李志武王安荣
- 关键词：PETRI网死锁预防柔性制造系统
- 柔性制造系统死锁分析与控制
- 论文通过对一种FMS的Petri网模型—S<'3>PR子类的结构特性分析,提出了资源回路和资源链的概念,并提出了用资源链求取S<'3>PR网中的所有严格极小信标的方法.提出了Petri网的一种特殊拓扑结构—基本信标的概念...
- 王安荣
- 关键词：PETRI网FMS死锁预防基本信标柔性制造系统FMS
- 文献传递
- 基于Petri网基本信标理论的自动制造系统死锁控制研究
- 李志武王安荣胡核算刘鼎
- 科学技术的发展使得人类社会对产品功能与质量的要求越来越高，产品更新换代的周期越来越短，产品制造的复杂程度也随之增高，传统的制造系统已远远不能满足市场对多品种小批量产品的生产需求。同时，激烈的竞争也迫使生产方式发生了根本的...
- 关键词：
- 关键词：PETRI网死锁自动制造系统
- 基于信标的柔性制造系统的优化死锁预防策略被引量：7
- 2006年
- 针对柔性制造系统(FM S)中的死锁问题,根据矩阵理论给出了Petri网中基本信标的概念,进而提出一种基于基本信标和混合整数规划法(M IP)的死锁预防策略.该策略将最优基本信标作为控制对象,以混合整数规划法给出的系统无死锁条件为目标函数,不考虑从属信标受控条件便可在多项式时间内使系统受控.该控制策略的显著特点是以较低的计算复杂度实现整个系统受控,并使需要添加的控制库所和连接弧大大减少.控制实例证明了其有效性.
- 胡核算李志武王安荣
- 关键词：PETRI网基本信标死锁预防
