连续PETRI网

作品数：14被引量：14H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：赵义军廖伟志丁佐华吴正志王培良更多>>
相关机构：山东科技大学浙江理工大学广西师范学院杭州电子科技大学更多>>
相关期刊：《计算机集成制造系统》《计算机学报》《山东科技大学学报（自然科学版）》《软件导刊》更多>>
相关基金：国家自然科学基金煤炭科学基金广西壮族自治区自然科学基金上海市科委重大科技攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
含有效冲突的恒定连续Petri网演变图及构造算法
《计算机科学》2016年第11期98-101,共4页赵义军 张小轩 
国家自然科学基金(61304074)资助
最大速度恒定的连续Petri网(CCPN)是由David首先提出的一类时延连续Petri网模型,构造其演变图是对其性质进行分析的一种有效方法。而对于含有效冲突的最大速度恒定的连续Petri网,由于有效冲突所引起的变迁激发的不确定性,使得构造演变...
关键词：最大速度恒定的连续Petri网 强(弱)使能 有效冲突 瞬发速度 运行区间 演变图 算法 
基于分解的连续Petri网性质分析方法
《计算机应用研究》2014年第11期3295-3298,3303,共5页陆建波 廖伟志 
广西高校科研一般资助项目(201203YB100);广西高校科研重点资助项目(2013ZD040);北部湾环境演变与资源利用省部共建教育部重点实验室资助项目(BBG1105);广西自然科学基金资助项目(2012GXNSFAA053218)
讨论了最大速度恒定连续Petri网(CCPN)的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法,实现了CCPN的分解。为了保证通过子网分析原网的正确性,对合成网的动态不变性进行了证明,并证明了CCPN子网结构性...
关键词：连续PETRI网 分解 库所归属 性质分析 
基于连续Petri网的城市交通网络建模研究被引量：1
《软件导刊》2013年第5期43-45,共3页杨琰 廖伟志 杨荐 刘慧勇 
国家自然科学基金项目(61163012);广西自然科学基金项目(2012GXNSFAA053218);广西硕士研究生教育创新计划项目(YCSZ2012099)
建立了基于连续Petri网的城市交通网络模型。采用层次化的建模方法,首先构建整个交通网络系统的大框架模型,然后对其构成的关键要素——交叉口给出细化模型。交叉口模型清晰地描述了各个方向的交通流在道路交叉口处的转向行为和转向延...
关键词：城市交通网络 PETRI网 道路交叉口 网络建模 
一种基于AOcontPN的信息物理系统建模方法被引量：1
《华东理工大学学报（自然科学版）》2013年第2期217-221,共5页钱之琳 虞慧群 
国家自然科学基金(61173048)
信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,...
关键词：CPS 面向方面方法 连续PETRI网 建模 
连续Petri网的死锁和陷阱结构性态分析
《自动化与信息工程》2012年第3期5-7,共3页惠秀 李承家 
国家自然科学基金资助项目(60934009)
连续Petri网是用来分析和描述具有连续变量的系统,被证明是有效的建模工具。本文主要讨论连续Petri网死锁和陷阱结构的性质,并结合算例对此进行了说明。
关键词：连续PETRI网 死锁 陷阱 结构性质 
企业生产与能耗过程模型及其仿真连续Petri网方法被引量：4
《计算机集成制造系统》2011年第12期2714-2722,共9页张悦 王坚 
上海市科委基础研究重点项目(10JC1415200);上海市科委重大攻关资助项目(10DZ1122402);上海市节能减排科技支撑重大攻关项目(09DZ1203300);上海市重点学科建设资助项目(B004);国家科技支撑计划资助项目(2006BAF01A46-1);国家自然科学基金重大研究计划项目(91024131;91024023)~~
为解决连续型企业生产过程能耗仿真的问题,研究了企业生产和能耗耦合关系,定义了主设备、主速率等相关概念。采用连续Petri网的方法建立了带信息参数的连续型企业生产与能耗过程模型。提出了一种针对企业生产计划进行生产调度排程仿真...
关键词：连续型企业 能源 物料 信息 连续PETRI网 生产速率 
基于常微分方程的死锁检测实验分析
《计算机学报》2009年第9期1736-1749,共14页丁佐华 江明月 刘静 
国家自然科学基金(90818013;90718014)资助~~
用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续...
关键词：死锁检测 并发程序 状态爆炸 连续PETRI网 常微分方程 
基于微分方程的程序性能分析
《计算机工程与应用》2009年第13期78-80,共3页吴正志 章靠 丁佐华 
国家高技术研究发展计划(863)No.2006AA01Z165~~
基于连续Petri网模型,用一组常微分方程来描述程序,通过研究微分方程的解来研究程序的性能。每个微分方程描述程序状态的变化,每个状态可由介于0和1之间的数来度量,显示程序到达状态的程度。该方法的好处在于在做程序分析时,可避开状态...
关键词：性能分析 连续PETRI网 微分方程 
基于常微分方程的城市交通网络分析
《浙江理工大学学报（自然科学版）》2009年第1期70-76,共7页吴正志 胡觉亮 丁佐华 
国家高新技术研究及发展规划(863)项目(2006AA01Z165)
首先建立城市交通网络的连续Petri网模型,用一组常微分方程来描述其语义,每个常微分方程描述交通流量的变化,交通流量可由介于0和1之间的数值来度量,此度量值显示交通堵塞的程度。针对不同的交通流速分析了各路段交通流量状况,适当调整...
关键词：性能分析 连续PETRI网 常微分方程 城市交通 
基于模糊逻辑的CCPN瞬时引发速率求解方法
《计算机工程》2007年第9期34-36,共3页廖伟志 古天龙 
国家自然科学基金资助项目(60563005);广西青年科学基金资助项目(桂科青0640032;桂科基0448072);广西教育厅自筹项目(200508174)
瞬时引发速率是连续Petri网模型分析的基础和关键。引入模糊理论提出了一种基于模糊决策的迁移优先权的模糊综合评价模型,实现了迁移优先权的动态计算。提出了基于线性规划方法的瞬时引发速率的求解算法,解决了有效冲突情形下瞬时引发...
关键词：连续PETRI网 模糊逻辑 瞬时引发速率 有效冲突 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部