期刊文献+
共找到22篇文章
< 1 2 >
每页显示 20 50 100
TCPN的可调度性及调度区间的约束分析 被引量:5
1
作者 吴亚丽 曾建潮 +1 位作者 卫军胡 孙国基 《控制与决策》 EI CSCD 北大核心 2002年第5期522-526,共5页
时间约束 Petri网 (TCPN)通过引入时间因素 ,增强了对网的时间约束的描述能力。但由于TCPN网拓扑结构的多样性以及时间约束的复杂性 ,使得网的可调度性及调度区间的分析十分困难。针对常见的如顺序、并发、同步、冲突等拓扑结构 ,对变... 时间约束 Petri网 (TCPN)通过引入时间因素 ,增强了对网的时间约束的描述能力。但由于TCPN网拓扑结构的多样性以及时间约束的复杂性 ,使得网的可调度性及调度区间的分析十分困难。针对常见的如顺序、并发、同步、冲突等拓扑结构 ,对变迁的可成功调度与否以及影响调度区间的约束条件进行了分析和研究 ,简化了 TCPN网的可达性与可调度性的分析方法。 展开更多
关键词 tcpn 可调度性 调度区间 约束分析 拓扑结构 时间约束PETRI网
在线阅读 下载PDF
TCPN的状态可达及可调度决策空间算法 被引量:3
2
作者 杨根科 曾建潮 孙国基 《计算机学报》 EI CSCD 北大核心 1998年第1期34-39,共6页
Tsai等提出了时间限制Petri网(TCPN),并讨论变迁可激活、可调度规律及其计算公式.然而,由于网拓扑和动态的复杂性,某些概念的逻辑关系及公式有矛盾.本文通过引入调度决策变量、动态标记准确地刻画调度规律,修正澄清了Tsai文中... Tsai等提出了时间限制Petri网(TCPN),并讨论变迁可激活、可调度规律及其计算公式.然而,由于网拓扑和动态的复杂性,某些概念的逻辑关系及公式有矛盾.本文通过引入调度决策变量、动态标记准确地刻画调度规律,修正澄清了Tsai文中的问题,完善了TCPN的调度分析.另外,讨论了TCPN沿含有失败变迁激活路径的调度问题, 展开更多
关键词 PETRI网 决策变量 tcpn 决策空间 算法
在线阅读 下载PDF
TCPN的分布式仿真方法
3
作者 杨根科 孙国基 曾建潮 《系统仿真学报》 CAS CSCD 1997年第3期61-67,共7页
时间限制Petri网容许对建模系统对象反映其资源和活动的有效期特性,其特殊的仿真模型要求能够描述令牌空闲、被占用、被释放、被移出和已死各种状态。本文对库所和变迁节点进行了模块化分解,拓宽了TCPN的建模能力。在此基础上。
关键词 PETRI 分布式仿真 并行处理 tcpn
在线阅读 下载PDF
SIP协议的分层TCPN建模
4
作者 马晓娟 《电脑知识与技术》 2016年第9期35-36,43,共3页
3G通信选择会话初始化协议SIP作为下一代的移动网络回话操控机制,在SIP协议[1]实际运行过程中迫切需要深入研究和解决的重要问题包括:确保协议在设计上无缺陷;运行过程稳定且具有高可靠性。TCPN在分析和描述具有较复杂时间约束和交互... 3G通信选择会话初始化协议SIP作为下一代的移动网络回话操控机制,在SIP协议[1]实际运行过程中迫切需要深入研究和解决的重要问题包括:确保协议在设计上无缺陷;运行过程稳定且具有高可靠性。TCPN在分析和描述具有较复杂时间约束和交互行为领域具有相当的优势,本文利用TCPN这一优势设计完成了SIP的分层TCPN模型。 展开更多
关键词 会话初始化协议SIP tcpn 建模 模型
在线阅读 下载PDF
基于图规约法的TCPN工作流网模型的验证方法 被引量:2
5
作者 刘惠义 吴继锋 曾晓勤 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第10期2976-2979,2983,共5页
针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,并结合工作流网的概念,给出了基于TCPN(Time-Color-PetriNet)的工作流网的定义。文中重点研究了采用图规约法对TCPN工作流网模型的验证,提出了流控制结构的图规约规则,并... 针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,并结合工作流网的概念,给出了基于TCPN(Time-Color-PetriNet)的工作流网的定义。文中重点研究了采用图规约法对TCPN工作流网模型的验证,提出了流控制结构的图规约规则,并对这些规则进行了证明。在此基础上,运用这些规则对复杂工作流模型的算例进行逐步规约,验证了模型的合理性。 展开更多
关键词 图规约 赋时着色PETRI网 工作流网 模型验证
在线阅读 下载PDF
基于TCPN的毕业设计选题流程建模与应用 被引量:2
6
作者 田燕 《合肥工业大学学报(自然科学版)》 CAS CSCD 北大核心 2013年第7期820-824,共5页
文章利用赋时着色Petri网对毕业设计选题流程进行建模,设置多个时间约束控制选题流程的发生和延迟,设置多个颜色集表达题目、申请等同类别不同属性对象,利用可达测试验证流程的合理性和正确性;根据该模型及相关算法对现行毕业设计管理... 文章利用赋时着色Petri网对毕业设计选题流程进行建模,设置多个时间约束控制选题流程的发生和延迟,设置多个颜色集表达题目、申请等同类别不同属性对象,利用可达测试验证流程的合理性和正确性;根据该模型及相关算法对现行毕业设计管理系统进行改进,系统运行稳定,选题工作效率得到提升。基于TCPN的建模方法可以为毕业设计选题流程的改进、优化提供决策支持和参考。 展开更多
关键词 毕业设计选题流程 赋时着色PETRI网 审核题目 申请题目 系统初审 系统排序
在线阅读 下载PDF
基于链表遍历模式的TCPN映射算法研究
7
作者 张希伟 俞佳 《计算机工程与设计》 CSCD 北大核心 2008年第16期4204-4206,共3页
对业务流程的建模分析是建立在工作流网的理论模型上的,因此需要合适的算法将建模工具中用户建立的有向图映射到工作流网。针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,给出了赋时着色Petri网定义,并提出了一种基于链... 对业务流程的建模分析是建立在工作流网的理论模型上的,因此需要合适的算法将建模工具中用户建立的有向图映射到工作流网。针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,给出了赋时着色Petri网定义,并提出了一种基于链表遍历方式的业务流程到工作流网的映射算法。重点研究了工作流模型基本控制结构的映射规则及其相关证明,并给出了该算法的具体实例。 展开更多
关键词 赋时着色PETRI网 工作流网 链表遍历 有向图 映射算法
在线阅读 下载PDF
基于TCPN的LBS动态服务组合建模与验证 被引量:3
8
作者 赵晓华 李卫民 辛明军 《小型微型计算机系统》 CSCD 北大核心 2013年第1期96-99,共4页
针对位置服务的动态服务组合过程中对位置的动态性和实时性考虑少的问题,本文运用时间约束Petri网对位置服务进行动态服务组合建模,设计了位置服务动态服务组合模型的执行时间、计算方法和库所可调度性分析算法.并对该模型的可达性进行... 针对位置服务的动态服务组合过程中对位置的动态性和实时性考虑少的问题,本文运用时间约束Petri网对位置服务进行动态服务组合建模,设计了位置服务动态服务组合模型的执行时间、计算方法和库所可调度性分析算法.并对该模型的可达性进行了验证,同时引入实例说明了运用时间约束Petri网对位置服务动态服务组合建模方法的可靠性和可行性. 展开更多
关键词 位置服务 时间约束PETRI网 动态服务组合 可达性验证
在线阅读 下载PDF
基于TCPN的TCP协议形式化描述 被引量:1
9
作者 何中阳 李鸥 +1 位作者 杨白薇 刘洋 《计算机工程》 CAS CSCD 北大核心 2011年第18期77-80,共4页
提出一种基于赋时着色Petri网模型的TCP协议形式化描述方法。采用序号、确认号和数据3个参数对TCP报文进行更准确的描述,引入时间参数以便进行协议的性能评估,加入超时重传、流量控制和确认信息捎带传输等机制,使模型更符合协议的实际... 提出一种基于赋时着色Petri网模型的TCP协议形式化描述方法。采用序号、确认号和数据3个参数对TCP报文进行更准确的描述,引入时间参数以便进行协议的性能评估,加入超时重传、流量控制和确认信息捎带传输等机制,使模型更符合协议的实际运行规程。通过CPN Tools对模型进行动态模拟,仿真结果证明了该模型的正确性。 展开更多
关键词 TCP协议 赋时着色PETRI网 形式化描述 有界性 活性
在线阅读 下载PDF
基于TCPN的复杂航班推出问题的建模与仿真 被引量:2
10
作者 杨晗 刘长有 王磊 《计算机技术与发展》 2012年第8期185-188,共4页
为了解决对机场实际运营中存在的共用同一中间机坪滑行道的航空器相对推出型冲突问题,文中根据时间有色Petri网的相关理论,分析了导致机场的运行效率降低的航班的推出问题,结合成都双流国际机场的相对推出型廊桥,提出了基于时间有色Petr... 为了解决对机场实际运营中存在的共用同一中间机坪滑行道的航空器相对推出型冲突问题,文中根据时间有色Petri网的相关理论,分析了导致机场的运行效率降低的航班的推出问题,结合成都双流国际机场的相对推出型廊桥,提出了基于时间有色Petri网(Timed-Colored Petri Net,TCPN)的复杂情况下航空器推出模型。依据此模型将航空器从滑行道到停入机位的全过程进行模拟和说明。最后结合TCPN仿真软件CPN Tools中的状态空间分析法,对模型的可行性进行分析,对保障航班推出过程的运行安全、提高繁忙机场的运行效率具有重要的现实意义。 展开更多
关键词 航班推出 时间有色Petri网 建模仿真 滑行道冲突
在线阅读 下载PDF
基于TCPN复杂产品设计任务资源调度及应用研究 被引量:2
11
作者 程永波 陈洪转 +2 位作者 杨秋 齐慧娟 王海燕 《系统工程理论与实践》 EI CSSCI CSCD 北大核心 2019年第6期1591-1601,共11页
针对复杂产品设计任务模块资源调度冲突问题,在分析TCPN网中资源约束下基本结构的设计任务元活动变迁的输入与输出资源库所数量的基础上,构建基于TCPN网设计任务模块的资源约束TCPN模型,围绕资源约束TCPN网中同步活动任务变迁与非同步... 针对复杂产品设计任务模块资源调度冲突问题,在分析TCPN网中资源约束下基本结构的设计任务元活动变迁的输入与输出资源库所数量的基础上,构建基于TCPN网设计任务模块的资源约束TCPN模型,围绕资源约束TCPN网中同步活动任务变迁与非同步活动任务变迁,给出不同的资源约束调度规则,并设计完整的资源约束调度算法与修正算法,研究给出可调度的设计任务模块资源约束TCPN网.最后,以J企业某型号汽车研发项目为例,构建汽车底盘设计模块设计任务元的资源约束TCPN模型并进行求解,给出汽车底盘设计任务模块的可调度资源配置,实现汽车底盘协同研发资源约束TCPN网中的所有设计任务元活动变迁皆可调度. 展开更多
关键词 复杂产品 tcpn 设计结构矩阵 资源调度
原文传递
时间约束Petri网及其可调度性分析与验证 被引量:21
12
作者 宋巍 窦万春 刘茜萍 《软件学报》 EI CSCD 北大核心 2007年第1期11-21,共11页
时间约束Petri网(timingconstraintPetrinets,简称TCPN)是一类重要的时间Petri网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不足,首先给出了变迁的弱/强可调度的新定义及强可调度判定定理;然后对变迁的强... 时间约束Petri网(timingconstraintPetrinets,简称TCPN)是一类重要的时间Petri网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不足,首先给出了变迁的弱/强可调度的新定义及强可调度判定定理;然后对变迁的强可调度进行了拓展,提出了TCPN时间可调度的概念,并结合Petri网结构给出了TCPN时间可调度判定定理;最后对TCPN的相关特性进行了研究.TCPN对时间Petri网的研究工作将起到启发作用,并对实时系统的描述和建模工作具有一定的参考价值. 展开更多
关键词 时间相关Petd网 tcpn 弱可调度 强可调度 可调度性分析
在线阅读 下载PDF
基于时延赋色Petri网的交叉口群车辆旅行时间模糊预测 被引量:2
13
作者 安毅生 周洁 +2 位作者 杨临涧 徐志刚 赵祥模 《中国公路学报》 EI CAS CSCD 北大核心 2016年第6期243-252,共10页
为预测车辆在交叉口群的旅行时间,首先利用城市交通系统呈现的分布、并发特性,采用时延赋色Petri网(TCPN)进行模块化、层次化的建模,建立了包括输入/输出路段车流、交叉口车流、信号控制,以及交叉口群车流的TCPN模型;其次,利用模型的监... 为预测车辆在交叉口群的旅行时间,首先利用城市交通系统呈现的分布、并发特性,采用时延赋色Petri网(TCPN)进行模块化、层次化的建模,建立了包括输入/输出路段车流、交叉口车流、信号控制,以及交叉口群车流的TCPN模型;其次,利用模型的监视器获取仿真过程中车辆的紧迫程度、进出交叉口群的时戳、进出指定库所的时戳、库所容量等状态信息,在此基础上提出了基于紧迫程度和车流密度的车辆平均速率模糊推理算法,实现了对自由旅行路段上车辆平均速率以及车辆旅行时间的预测。试验结果表明:采用基于TCPN交通流模型和模糊推理相结合的仿真预测方法能够合理地对交叉口群中车辆旅行时间进行预测,并且相对于卡尔曼滤波预测方法,提出的方法平均绝对百分误差和均方根误差累计值分别降低了14.33%和22.98%。 展开更多
关键词 交通工程 旅行时间预测 tcpn 模糊推理 交叉口群
原文传递
铁辊车间生产物流系统的优化与仿真 被引量:4
14
作者 赵晶英 陈英俊 《现代制造工程》 CSCD 北大核心 2012年第2期61-66,共6页
在分析铁辊车间生产物流系统现状的基础上,运用系统布置设计和系统搬运分析方法对物流系统进行了优化,并构建了优化方案的TCPN动态模型,使用Witness仿真软件对优化方案的运行过程进行了模拟。仿真结果表明,铁辊车间每班次的产量比优化... 在分析铁辊车间生产物流系统现状的基础上,运用系统布置设计和系统搬运分析方法对物流系统进行了优化,并构建了优化方案的TCPN动态模型,使用Witness仿真软件对优化方案的运行过程进行了模拟。仿真结果表明,铁辊车间每班次的产量比优化之前提高10.9%,物流不再是该车间的生产瓶颈。铁辊车间还存在的问题是该车间处于较明显的生产不平衡状态,仿真结果为进一步提高铁辊车间的生产效率指明了方向。 展开更多
关键词 WITNESS仿真 PETRI网 tcpn模型 生产物流系统 铁辊车间
在线阅读 下载PDF
自动恒温控制系统关键资源调度模型
15
作者 钟艳如 《桂林航天工业高等专科学校学报》 2000年第1期21-24,共4页
该文首先介绍自动恒温控制系统原理 ,通过设计建立系统可调度TCPN规格模型算法 ,即关键资源调度建模算法 ,最后以自动恒温控制系统为实例 ,建立系统可调度分析TCPN规格 。
关键词 tcpn 自动恒温控制系统 晒图纸感光液 存储罐
在线阅读 下载PDF
基于RFID的汽车总装物料配送过程的Petri网建模与仿真 被引量:9
16
作者 梁昌勇 徐彬 +1 位作者 俞家文 王沙沙 《机械设计与制造》 北大核心 2009年第9期203-205,共3页
分析准时化生产环境下汽车制造企业总装现场物料配送过程。将射频识别技术融入准时化生产管理模式,研究了基于射频识别技术且与装配流程协同运作的总装现场物料配送过程。用赋时着色Petri网对该过程建立模型并进行仿真分析,所获得的结... 分析准时化生产环境下汽车制造企业总装现场物料配送过程。将射频识别技术融入准时化生产管理模式,研究了基于射频识别技术且与装配流程协同运作的总装现场物料配送过程。用赋时着色Petri网对该过程建立模型并进行仿真分析,所获得的结果可为描述与分析基于射频识别技术的汽车总装现场物流配送过程提供一定的参考和依据。 展开更多
关键词 准时化 RFID 总装 物料配送 赋时着色PETRI网
在线阅读 下载PDF
物流配送中心工作流程的建模与仿真 被引量:12
17
作者 耿丽梅 陈国华 《物流技术》 2008年第4期107-111,共5页
根据配送中心的作业特点,分析了物流配送中心基本组成和作业流程,将物流配送中心剖析为进货、存储、流通加工、分拣、出货子系统,应用赋时着色Petri网(TCPN)对配送中心系统进行建模。通过对配送中心系统进行计算机仿真,找出了该系统在... 根据配送中心的作业特点,分析了物流配送中心基本组成和作业流程,将物流配送中心剖析为进货、存储、流通加工、分拣、出货子系统,应用赋时着色Petri网(TCPN)对配送中心系统进行建模。通过对配送中心系统进行计算机仿真,找出了该系统在作业过程中的"瓶颈",提出了资源和流程的改进措施。 展开更多
关键词 物流配送中心 工作流程 赋时着色Petri—net 建模 仿真
在线阅读 下载PDF
访问授权任务依赖关系及其Petri网分析 被引量:1
18
作者 王小明 赵宗涛 冯德民 《计算机科学》 CSCD 北大核心 2002年第10期88-91,共4页
1 引言访问授权是信息系统安全最重要的措施之一。支持访问授权职责分离原则是评价访问授权模型的重要技术指标。但是,现有的访问授权模型仅支持用户级授权职责分离,即不允许同一用户同时拥有某些访问权限(权限静态互斥),或者不允许同... 1 引言访问授权是信息系统安全最重要的措施之一。支持访问授权职责分离原则是评价访问授权模型的重要技术指标。但是,现有的访问授权模型仅支持用户级授权职责分离,即不允许同一用户同时拥有某些访问权限(权限静态互斥),或者不允许同一用户在一次用户访问会话(进程)中激活其所拥有的某些访问权限(权限动态互斥),而对访问授权任务本身存在的互斥关系在目前的相关文献中讨论很少。然而。 展开更多
关键词 信息安全 信息系统 访问授权 任务依赖关系 PETRI网 分析
在线阅读 下载PDF
导弹并行测试系统优化模型与性能评价 被引量:1
19
作者 谢化勇 肖明清 +1 位作者 李斌 陈子亮 《计算机工程》 CAS CSCD 北大核心 2011年第18期278-280,共3页
并行测试是一代测试(NxTest)的关键技术之一,其核心是测试任务调度。基于此,在改进的蚁群算法基础上提出并行测试任务调度方法,获得测试任务最优调度序列,Matlab仿真结果证明了该方法的有效性。采用赋时有色Petri网对并行测试系统进行建... 并行测试是一代测试(NxTest)的关键技术之一,其核心是测试任务调度。基于此,在改进的蚁群算法基础上提出并行测试任务调度方法,获得测试任务最优调度序列,Matlab仿真结果证明了该方法的有效性。采用赋时有色Petri网对并行测试系统进行建模,并基于线性代数的方法验证模型结构的有界性、守恒性、活性和公平性。性能分析结果表明,该方法能提高测试资源利用率,节约测试时间。 展开更多
关键词 并行测试 赋时有色Petri网 性能评价 任务调度 蚁群算法
在线阅读 下载PDF
Model Predictive Control for Discrete and Continuous Timed Petri Nets 被引量:1
20
作者 Marwa Taleb Edouard Leclercq Dimitri Lefebvre 《International Journal of Automation and computing》 EI CSCD 2018年第1期25-38,共14页
The goal of this paper is to propose a unique control method that permits the evolution of both timed continuous Petri net (TCPN) and T-timed discrete Petri net (T-TDPN) from an initial state to a desired one. Mod... The goal of this paper is to propose a unique control method that permits the evolution of both timed continuous Petri net (TCPN) and T-timed discrete Petri net (T-TDPN) from an initial state to a desired one. Model predictive control (MPC) is a robust control scheme against perturbation and a consistent real-time constraints method. Hence, the proposed approach is studied using the MPC. However, the computational complexity may prevent the use of the MPC for large systems and for large prediction horizons. Then, the proposed approach provides some new techniques in order to reduce the high computational complexity; among them one is taking constant control actions during the prediction. 展开更多
关键词 Model predictive control timed continuous Petri net tcpn T-timed discrete Petri net (T-TDPN) fluidification optimization constant control.
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部