搜索到15篇“ 区间速率连续PETRI网“的相关文章
区间速率连续Petri的模糊模型被引量:1
2009年
为了实现区间速率连续Petri的模糊控制,建立了区间速率连续Petri的模糊模型,定义了区间速率连续Petri的模糊规则。进一步地,对区间速率连续Petri的模糊控制进行了讨论,给出了库所标识收敛的定理,为基于区间速率连续Petri描述的模糊系统的控制提供了理论依据。实例分析表明了区间速率连续Petri的模糊控制的可行性。
廖伟志彭月英古天龙
关键词:区间速率连续PETRI网模糊逻辑模糊控制
区间速率连续Petri的瞬时引发速率分析
2006年
瞬时引发速率(Instant firing speed,IFS)是连续Petrl模型演变图构造的一个关键参数,其分析正确与否决定着区间速率连续Petri模型行为分析的正确性.文献[8]仅对无有效冲突情形下的最大引发模式下的IFS进行讨论,未给出任意模式下的IFS求解方法.本文定义了区间速率连续Petri的标识等价类,提出了区间速率连续Petri在任意标识下的使能及其瞬时引发速率的有效分析方法;并对基于最大引发速率的有效冲突问题进行讨论,给出了基于优先级的最大引发速率的求解方法;最后给出相应的例子.
廖伟志文瑛
关键词:区间速率连续PETRI网
区间速率连续Petri的有效冲突及其消解被引量:7
2006年
有效冲突是Petri及其扩展模型的重要行为。本文讨论了区间速率连续Petri模型的有效冲突问题。通过划分区间速率连续Petri的标识等价类,提出了区间速率连续Petri在任意标识下的瞬时引发速率的有效求解方法,并提出了区间速率连续Petri最大瞬时引发速率有效冲突的判定及消解方法。最后给出相应的分析例子。
廖伟志古天龙
关键词:区间速率连续PETRI网
区间速率连续Petri模型行为分析研究被引量:3
2006年
讨论了区间速率连续Petri模型的行为分析问题.通过划分标识等价类提出了任意标识下区间速率连续Petri各个迁移瞬时引发速率的求解方法,并在此基础上给出了区间速率连续Petri的行为演变算法.同时给出了区间速率连续Petri行为演变的混杂自动机模型构造方法.应用例子表明了所提出行为分析方法的有效性.
廖伟志古天龙王汝凉
关键词:区间速率连续PETRI网混杂自动机
区间速率连续Petri可达稳态必要性分析被引量:2
2005年
文章就区间速率连续Petri可达稳态的必要性问题进行研究,在介绍区间速率连续Petri及其使能、引发语义的基础上首先给出区间速率连续Petri在指定标识下具有稳态的条件;其次通过提出区间速率连续Petri一种标识向量等价类划分方法从而给出分析区间速率连续Petri可达稳态必要性的有效方法;最后给出一个应用例子,考察区间速率连续Petri的可达稳态问题。
廖伟志王汝凉
关键词:区间速率连续PETRI网稳态
一类区间速率连续Petri的可达稳态分析
连续Petri已被证明为诸多系统的有效描述工具,而系统性能分析与连续Petri的稳态有密切关系.本文讨论了一类区间速率连续Petri(IntervalspeedContinuousPetriNets,简称ICPN)...
廖伟志文瑛王汝凉
关键词:区间速率连续PETRI网
文献传递
一类区间速率连续Petri的可达稳态分析被引量:2
2005年
连续Petri已被证明为诸多系统的有效描述工具,而系统性能分析与连续Petri的稳态有密切关系.本文讨论了一类区间速率连续Petri(Interval speed Continuous Petri Nets,简称ICPN)的可达稳态问题.通过分析区间速率连续Petri的使能与引发语义证明了一类区间速率连续Petri在最大引发模式下可达稳态的有关定理.研究表明这类区间速率连续Petri在最大引发模式下其可达稳态及最终速率仅与各个迁移的区间速率有关,而与初始标识无关,从而避免了因构造演变图而产生状态爆炸的问题.
廖伟志文瑛王汝凉
关键词:区间速率连续PETRI网稳态
ICPN的时间自动机构造方法
2011年
为克服Petri行为演变分析技术的局限性,利用时间自动机技术分析区间速率连续Petri(ICPN)特性。根据区间速率连续Petri模型语义提出基于冲突消解的区间速率连续Petri状态演变图构造算法,给出状态演变图的时间自动机构造方法。对某化工生产过程的分析表明了该方法的必要性和有效性。
廖伟志李文敬王汝凉
关键词:区间速率连续PETRI网时间自动机
基于蝙蝠算法的混杂间歇连续系统的调度方法
本发明公开了一种基于蝙蝠算法的混杂间歇连续系统的调度方法,包括:S1、采用混杂Petri定义生产参数,设定生产目标和生产限制参数;S2、初始化蝙蝠算法的基本参数和Levy飞行尺度参数;S3、初始化蝙蝠位置,记录该蝙蝠位...
陆建波廖伟志李松钊
不确定因素作用下流程工业能耗过程建模与仿真方法
本发明属于流程工业能效评估技术领域,具体为一种不确定因素作用下流程工业能耗过程建模与仿真方法。其中建模方法充分考虑不确定因素和离散事件的影响,将三角模糊数引入混杂Petri,以三角模糊数描述设备的瞬时激发速率,使用交互...
马福民徐安平韩伟
文献传递

相关作者

廖伟志
作品数:67被引量:199H指数:8
供职机构:嘉兴学院数理与信息工程学院
研究主题:混杂PETRI网 区间速率连续PETRI网 PETRI网 计算机专业 调度
王汝凉
作品数:79被引量:172H指数:7
供职机构:广西师范学院计算机与信息工程学院
研究主题:时滞 线性矩阵不等式 神经网络 不确定广义系统 PETRI网
古天龙
作品数:486被引量:1,459H指数:18
供职机构:桂林电子科技大学
研究主题:OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点
文瑛
作品数:11被引量:23H指数:3
供职机构:广西师范学院
研究主题:多目标优化 区间速率连续PETRI网 信息技术 加权 稳态分析
彭月英
作品数:32被引量:133H指数:6
供职机构:广西师范学院
研究主题:数学定义 SOBEL算子 边缘检测 拓扑学 图论