茹雨
- 作品数：6 被引量：6H指数：2
- 供职机构：浙江大学更多>>
- 发文基金：国家教育部博士点基金国家高技术研究发展计划浙江省教育厅科研计划更多>>
- 相关领域：自动化与计算机技术电气工程更多>>
- 逆网在离散事件系统监控理论中的应用
- 2005年
- Petri网理论研究中,逆网由于仅仅改变了原网中弧的方向而其状态空间没有任何变化,因此尚无深入的研究.但因其行为与原网行为的可逆性,在基于Petri网的离散事件系统监控理论中得到了一定的应用:一是用于求取弱禁止状态集,二是用于计算状态反馈控制策略.本文对这两个方面进行了简要的介绍,随后用一个简单的示例做了说明.
- 茹雨吴维敏
- 关键词：离散事件系统PETRI网
- 逆网在离散事件系统监控理论中的应用
- Petri网理论研究中,逆网由于仅仅改变了原网中弧的方向而其状态空间没有任何变化,因此尚无深入的研究.但因其行为与原网行为的可逆性,在基于Petri网的离散事件系统监控理论中得到了一定的应用:一是用于求取弱禁止状态集,二...
- 茹雨吴维敏
- 关键词：离散事件系统PETRI网状态反馈控制
- 文献传递
- 基于有限容量库所方法的死锁防止算法
- 针对变迁均可控、可观的推广Petri网,给出了一种防止死锁的算法.该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法.它相对于只能面向某一类网的死锁防止方法,在通用性上有了很大...
- 茹雨吴维敏
- 关键词：PETRI网
- 文献传递
- 基于Petri网的离散事件系统监控理论中一类监控器结构的适用性
- 为了给出一类由控制库所和它与变迁的连接弧组成的监控器结构的适用性,本文提出了一种基于函数构造的针对广义互斥约束的监控器综合算法.该算法首先构造一个函数库所来跟踪由广义互斥约束得到的函数的值,然后用一个具有标准Petri网...
- 茹雨吴维敏苏宏业
- 关键词：离散事件系统PETRI网
- 文献传递
- 基于有限容量库所方法的死锁防止算法被引量：3
- 2003年
- 针对变迁均可控、可观的推广Petri网,给出了一种防止死锁的算法。该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法。它相对于只能面向某一类网的死锁防止方法,在通用性上有了很大改进;而且设计的控制器是结构型的,在线计算少、执行快;不过由于是迭代算法,有时离线计算量较大。最后用一个示例说明了该算法,并进行了进一步的讨论。
- 茹雨吴维敏
- 关键词：PETRI网
- 一类禁止状态规范下Petri网控制器的综合
- 离散事件系统是随着未知的不规则时间间隔内出现的离散事件演化的一类动态系统，其应用涉及一大类人造系统，如柔性制造系统、大规模计算机网络和通信网络、空中或机场交通管理系统、军事指挥中的C~3I系统等。基于逻辑层次的离散事件系...
- 茹雨
- 关键词：离散事件系统变换函数约束函数可达树
- 文献传递
