搜索到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网 ,以三角模糊数描述设备的瞬时激发速率 ,使用交互... 马福民 徐安平 韩伟文献传递