检索结果-维普期刊中文期刊服务平台

最大速度变化的连续Petri网(VCPN)的动态演变及性质判定被引量：9: 1; 作者叶志宝赵义军董焕河《计算机研究与发展》 EI CSCD 北大核心 2002年第3期330-334,共5页; 最大速度变化的连续 Petri网 (VCPN)是由 David等最早提出的一类时延连续 Petri模型 ,但并未对其动态及结构性质给出分析方法 .首先给出了 VCPN的相区间的定义及其划分 ,并结合实例对 VCPN的动态演变过程进行了分析 .在此基础上 ,结合 V... 展开更多; 关键词连续petri网离散事件系统动态演变动态性质结构性质绝对公平性; 在线阅读下载PDF 职称材料

区间速率连续Petri网的有效冲突及其消解被引量：7: 2; 作者廖伟志古天龙《计算机科学》 CSCD 北大核心 2006年第10期221-224,F0004,共5页; 有效冲突是Petri网及其扩展模型的重要行为。本文讨论了区间速率连续Petri网模型的有效冲突问题。通过划分区间速率连续Petri网的标识等价类,提出了区间速率连续Petri网在任意标识下的瞬时引发速率的有效求解方法,并提出了区间速率连续P... 展开更多; 关键词区间速率连续petri网有效冲突瞬时引发速率标识等价美; 在线阅读下载PDF 职称材料

区间速率连续Petri网模型行为分析研究被引量：2: 3; 作者廖伟志古天龙王汝凉《小型微型计算机系统》 CSCD 北大核心 2006年第8期1490-1494,共5页; 讨论了区间速率连续Petri网模型的行为分析问题.通过划分标识等价类提出了任意标识下区间速率连续Petri网各个迁移瞬时引发速率的求解方法,并在此基础上给出了区间速率连续Petri网的行为演变算法.同时给出了区间速率连续Petri网行为演... 展开更多; 关键词区间速率连续petri网行为分析标识等价类混杂自动机; 在线阅读下载PDF 职称材料

区间速率连续Petri网可达稳态必要性分析被引量：2: 4; 作者廖伟志王汝凉《计算机工程与应用》 CSCD 北大核心 2005年第25期78-80,119,共4页; 文章就区间速率连续Petri网可达稳态的必要性问题进行研究,在介绍区间速率连续Petri网及其使能、引发语义的基础上首先给出区间速率连续Petri网在指定标识下具有稳态的条件;其次通过提出区间速率连续Petri网一种标识向量等价类划分方法... 展开更多; 关键词区间速率连续petri网稳态标识向量; 在线阅读下载PDF 职称材料

区间速率连续Petri网的模糊模型被引量：1: 5; 作者廖伟志彭月英古天龙《计算机科学》 CSCD 北大核心 2009年第2期234-237,共4页; 为了实现区间速率连续Petri网的模糊控制,建立了区间速率连续Petri网的模糊模型,定义了区间速率连续Petri网的模糊规则。进一步地,对区间速率连续Petri网的模糊控制进行了讨论,给出了库所标识收敛的定理,为基于区间速率连续Petri网描述... 展开更多; 关键词区间速率连续petri网模糊逻辑模糊控制; 在线阅读下载PDF 职称材料

ICPN的时间自动机构造方法: 6; 作者廖伟志李文敬王汝凉《计算机工程》 CAS CSCD 北大核心 2011年第6期15-17,共3页; 为克服Petri网行为演变分析技术的局限性,利用时间自动机技术分析区间速率连续Petri网(ICPN)特性。根据区间速率连续Petri网模型语义提出基于冲突消解的区间速率连续Petri网状态演变图构造算法,给出状态演变图的时间自动机构造方法。对... 展开更多; 关键词区间速率连续petri网时间自动机状态演变; 在线阅读下载PDF 职称材料

含有效冲突的恒定连续Petri网演变图及构造算法: 7; 作者赵义军张小轩《计算机科学》 CSCD 北大核心 2016年第11期98-101,共4页; 最大速度恒定的连续Petri网(CCPN)是由David首先提出的一类时延连续Petri网模型,构造其演变图是对其性质进行分析的一种有效方法。而对于含有效冲突的最大速度恒定的连续Petri网,由于有效冲突所引起的变迁激发的不确定性,使得构造演变... 展开更多; 关键词最大速度恒定的连续petri网强(弱)使能有效冲突瞬发速度运行区间演变图算法; 在线阅读下载PDF 职称材料

题名最大速度变化的连续Petri网(VCPN)的动态演变及性质判定被引量：9: 1; 作者叶志宝赵义军董焕河; 机构中国科学院软件研究所智能工程实验室山东科技大学基础部; 出处《计算机研究与发展》 EI CSCD 北大核心 2002年第3期330-334,共5页; 基金国家自然科学基金重点项目 (7993 10 0 0 ) 基金项目(69873 0 2 9) 煤炭科学基金(96电 10 5 0 9)资助; 文摘最大速度变化的连续 Petri网 (VCPN)是由 David等最早提出的一类时延连续 Petri模型 ,但并未对其动态及结构性质给出分析方法 .首先给出了 VCPN的相区间的定义及其划分 ,并结合实例对 VCPN的动态演变过程进行了分析 .在此基础上 ,结合 VCPN的稳定的相区间 ,进一步对其性质给出了相应的定义及判定定理 .利用这些结论 ,可以对由 VCPN模拟的系统进行性能分析 .这种分析方法对某些系统利用; 关键词连续petri网离散事件系统动态演变动态性质结构性质绝对公平性; Keywords variable continuous petri net (VCPN), phase interval, dynamic development, dynamic property, structural property, absolute fairness; 分类号 TP271.8 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名区间速率连续Petri网的有效冲突及其消解被引量：7: 2; 作者廖伟志古天龙; 机构西安电子科技大学电子工程学院桂林电子工业学院计算机系; 出处《计算机科学》 CSCD 北大核心 2006年第10期221-224,F0004,共5页; 基金国家自然科学基金项目(60243002) 广西科学基金项目(桂科基0448072)。; 文摘有效冲突是Petri网及其扩展模型的重要行为。本文讨论了区间速率连续Petri网模型的有效冲突问题。通过划分区间速率连续Petri网的标识等价类,提出了区间速率连续Petri网在任意标识下的瞬时引发速率的有效求解方法,并提出了区间速率连续Petri网最大瞬时引发速率有效冲突的判定及消解方法。最后给出相应的分析例子。; 关键词区间速率连续petri网有效冲突瞬时引发速率标识等价美; Keywords interval speed continuous petri nets, Effective conflict, Instantaneous firing speed, marking equivalence; 分类号 TP271.8 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名区间速率连续Petri网模型行为分析研究被引量：2: 3; 作者廖伟志古天龙王汝凉; 机构广西师范学院信息技术系西安电子科技大学电子工程系桂林电子工业学院计算机系; 出处《小型微型计算机系统》 CSCD 北大核心 2006年第8期1490-1494,共5页; 基金国家自然科学基金项目(60243002 60004004)资助; 文摘讨论了区间速率连续Petri网模型的行为分析问题.通过划分标识等价类提出了任意标识下区间速率连续Petri网各个迁移瞬时引发速率的求解方法,并在此基础上给出了区间速率连续Petri网的行为演变算法.同时给出了区间速率连续Petri网行为演变的混杂自动机模型构造方法.应用例子表明了所提出行为分析方法的有效性.; 关键词区间速率连续petri网行为分析标识等价类混杂自动机; Keywords interval speed continuous petri nets behavior analysis marking equivalence hybrid automata; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名区间速率连续Petri网可达稳态必要性分析被引量：2: 4; 作者廖伟志王汝凉; 机构广西师范学院信息技术系; 出处《计算机工程与应用》 CSCD 北大核心 2005年第25期78-80,119,共4页; 基金国家自然科学基金(编号:60004004) 广西师范学院青年科研基金; 文摘文章就区间速率连续Petri网可达稳态的必要性问题进行研究,在介绍区间速率连续Petri网及其使能、引发语义的基础上首先给出区间速率连续Petri网在指定标识下具有稳态的条件;其次通过提出区间速率连续Petri网一种标识向量等价类划分方法从而给出分析区间速率连续Petri网可达稳态必要性的有效方法;最后给出一个应用例子,考察区间速率连续Petri网的可达稳态问题。; 关键词区间速率连续petri网稳态标识向量; Keywords interval speed continuous petri nets,steady state,mark vector; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名区间速率连续Petri网的模糊模型被引量：1: 5; 作者廖伟志彭月英古天龙; 机构广西师范学院信息技术系桂林电子科技大学计算机系; 出处《计算机科学》 CSCD 北大核心 2009年第2期234-237,共4页; 基金国家自然科学基金项目(60563005) 广西科学基金项目(桂科基0640032)资助; 文摘为了实现区间速率连续Petri网的模糊控制,建立了区间速率连续Petri网的模糊模型,定义了区间速率连续Petri网的模糊规则。进一步地,对区间速率连续Petri网的模糊控制进行了讨论,给出了库所标识收敛的定理,为基于区间速率连续Petri网描述的模糊系统的控制提供了理论依据。实例分析表明了区间速率连续Petri网的模糊控制的可行性。; 关键词区间速率连续petri网模糊逻辑模糊控制; Keywords interval continuous petri nets, Fuzzy logic, Fuzzy control; 分类号 TP37 [自动化与计算机技术—计算机系统结构] TP273.4 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名ICPN的时间自动机构造方法: 6; 作者廖伟志李文敬王汝凉; 机构广西师范学院计算机与信息工程学院; 出处《计算机工程》 CAS CSCD 北大核心 2011年第6期15-17,共3页; 基金国家自然科学基金资助项目(60864001) 广西自然科学基金资助项目(0991105) 广西师范学院前期基础研究基金资助项目; 文摘为克服Petri网行为演变分析技术的局限性,利用时间自动机技术分析区间速率连续Petri网(ICPN)特性。根据区间速率连续Petri网模型语义提出基于冲突消解的区间速率连续Petri网状态演变图构造算法,给出状态演变图的时间自动机构造方法。对某化工生产过程的分析表明了该方法的必要性和有效性。; 关键词区间速率连续petri网时间自动机状态演变; Keywords interval continuous petri net（icpn） timed automata state evolution; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名含有效冲突的恒定连续Petri网演变图及构造算法: 7; 作者赵义军张小轩; 机构山东科技大学数学与系统科学学院; 出处《计算机科学》 CSCD 北大核心 2016年第11期98-101,共4页; 基金国家自然科学基金(61304074)资助; 文摘最大速度恒定的连续Petri网(CCPN)是由David首先提出的一类时延连续Petri网模型,构造其演变图是对其性质进行分析的一种有效方法。而对于含有效冲突的最大速度恒定的连续Petri网,由于有效冲突所引起的变迁激发的不确定性,使得构造演变图变得较为困难。基于有效冲突的两种解决方式——确定优先级或按比例分配流量,给出了计算各变迁瞬发速度的算法2;进而对含有效冲突且有界的CCPN,提出了演变图构造算法3,利用其演变图,可以对含有效冲突的CCPN进行性能分析。; 关键词最大速度恒定的连续petri网强(弱)使能有效冲突瞬发速度运行区间演变图算法; Keywords Maximum constant continuous petri net Strongly（Weakly）enabled Effective conflict Instantaneous firing velocity Functioning interval Developing graph Algorithm; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	最大速度变化的连续Petri网(VCPN)的动态演变及性质判定	叶志宝赵义军董焕河	《计算机研究与发展》 EI CSCD 北大核心	2002	9	在线阅读下载PDF 职称材料
2	区间速率连续Petri网的有效冲突及其消解	廖伟志古天龙	《计算机科学》 CSCD 北大核心	2006	7	在线阅读下载PDF 职称材料
3	区间速率连续Petri网模型行为分析研究	廖伟志古天龙王汝凉	《小型微型计算机系统》 CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
4	区间速率连续Petri网可达稳态必要性分析	廖伟志王汝凉	《计算机工程与应用》 CSCD 北大核心	2005	2	在线阅读下载PDF 职称材料
5	区间速率连续Petri网的模糊模型	廖伟志彭月英古天龙	《计算机科学》 CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料
6	ICPN的时间自动机构造方法	廖伟志李文敬王汝凉	《计算机工程》 CAS CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
7	含有效冲突的恒定连续Petri网演变图及构造算法	赵义军张小轩	《计算机科学》 CSCD 北大核心	2016	0	在线阅读下载PDF 职称材料