区间速率连续PETRI网

作品数：7被引量：11H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：廖伟志王汝凉古天龙文瑛彭月英更多>>
相关机构：广西师范学院桂林电子工业学院西安电子科技大学桂林电子科技大学更多>>
相关期刊：《系统仿真学报》《计算机工程与应用》《小型微型计算机系统》《计算机工程》更多>>
相关基金：国家自然科学基金广西省自然科学基金广西师范大学青年科研基金广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
ICPN的时间自动机构造方法
《计算机工程》2011年第6期15-17,共3页廖伟志 李文敬 王汝凉 
国家自然科学基金资助项目(60864001);广西自然科学基金资助项目(0991105);广西师范学院前期基础研究基金资助项目
为克服Petri网行为演变分析技术的局限性,利用时间自动机技术分析区间速率连续Petri网(ICPN)特性。根据区间速率连续Petri网模型语义提出基于冲突消解的区间速率连续Petri网状态演变图构造算法,给出状态演变图的时间自动机构造方法。对...
关键词：区间速率连续PETRI网 时间自动机 状态演变 
区间速率连续Petri网的模糊模型被引量：1
《计算机科学》2009年第2期234-237,共4页廖伟志 彭月英 古天龙 
国家自然科学基金项目(60563005);广西科学基金项目(桂科基0640032)资助
为了实现区间速率连续Petri网的模糊控制,建立了区间速率连续Petri网的模糊模型,定义了区间速率连续Petri网的模糊规则。进一步地,对区间速率连续Petri网的模糊控制进行了讨论,给出了库所标识收敛的定理,为基于区间速率连续Petri网描述...
关键词：区间速率连续PETRI网 模糊逻辑 模糊控制 
区间速率连续Petri网的有效冲突及其消解被引量：7
《计算机科学》2006年第10期221-224,F0004,共5页廖伟志 古天龙 
国家自然科学基金项目(60243002);广西科学基金项目(桂科基0448072)。
有效冲突是Petri网及其扩展模型的重要行为。本文讨论了区间速率连续Petri网模型的有效冲突问题。通过划分区间速率连续Petri网的标识等价类,提出了区间速率连续Petri网在任意标识下的瞬时引发速率的有效求解方法,并提出了区间速率连续P...
关键词：区间速率连续PETRI网 有效冲突 瞬时引发速率 标识等价美 
区间速率连续Petri网模型行为分析研究被引量：2
《小型微型计算机系统》2006年第8期1490-1494,共5页廖伟志 古天龙 王汝凉 
国家自然科学基金项目(60243002;60004004)资助
讨论了区间速率连续Petri网模型的行为分析问题.通过划分标识等价类提出了任意标识下区间速率连续Petri网各个迁移瞬时引发速率的求解方法,并在此基础上给出了区间速率连续Petri网的行为演变算法.同时给出了区间速率连续Petri网行为演...
关键词：区间速率连续PETRI网 行为分析 标识等价类 混杂自动机 
区间速率连续Petri网的瞬时引发速率分析
《广西师范学院学报（自然科学版）》2006年第1期42-50,共9页廖伟志 文瑛 
广西教育厅项目（200508174）
瞬时引发速率（Instant firing speed，IFS）是连续Petrl网模型演变图构造的一个关键参数，其分析正确与否决定着区间速率连续Petri网模型行为分析的正确性．文献[8]仅对无有效冲突情形下的最大引发模式下的IFS进行讨论，未给出任意模...
关键词：区间速率连续PETRI网 使能矢量 瞬时引发速率 最大引发速率 
区间速率连续Petri网可达稳态必要性分析被引量：2
《计算机工程与应用》2005年第25期78-80,119,共4页廖伟志 王汝凉 
国家自然科学基金(编号:60004004);广西师范学院青年科研基金
文章就区间速率连续Petri网可达稳态的必要性问题进行研究,在介绍区间速率连续Petri网及其使能、引发语义的基础上首先给出区间速率连续Petri网在指定标识下具有稳态的条件;其次通过提出区间速率连续Petri网一种标识向量等价类划分方法...
关键词：区间速率连续PETRI网 稳态 标识向量 
一类区间速率连续Petri网的可达稳态分析被引量：2
《系统仿真学报》2005年第z1期44-47,共4页廖伟志 文瑛 王汝凉 
国家自然科学基金 (60004004), 广西师范学院青年科研基金.
连续Petri网已被证明为诸多系统的有效描述工具,而系统性能分析与连续Petri网的稳态有密切关系.本文讨论了一类区间速率连续Petri网(Interval speed Continuous Petri Nets,简称ICPN)的可达稳态问题.通过分析区间速率连续Petri网的使能...
关键词：区间速率连续PETRI网 稳态 连续加权环 标识 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部