期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
利用基本信标的时延Petri网的死锁预防策略 被引量:1
1
作者 郭金维 李志武 《新型工业化》 2011年第2期44-55,共12页
针对一类时延Petri网的死锁预防问题,提出了一个有效的控制算法.将基于基本信标的死锁预防方法应用到时延Petri网中,不需要列举全部可达状态,通过只对基本信标添加控制库所和根据需要调整控制深度变量实现死锁预防,而且最后的控制器为... 针对一类时延Petri网的死锁预防问题,提出了一个有效的控制算法.将基于基本信标的死锁预防方法应用到时延Petri网中,不需要列举全部可达状态,通过只对基本信标添加控制库所和根据需要调整控制深度变量实现死锁预防,而且最后的控制器为活的网系统.首先将时延Petri网拉伸,使得不改变原来系统性能的情况下,拉伸后的网SPN所有变迁均为单位时延,然后针对SPN,采用基本信标控制方法,根据所得标识约束添加控制库所,使基本信标和从属信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器. 展开更多
关键词 柔性制造系统 时延petri网 基本信标 死锁预防
在线阅读 下载PDF
基于价格时延Petri网的超级节点网格调度
2
作者 潘善亮 黄希 茅琴娇 《电信科学》 北大核心 2013年第11期52-59,65,共9页
针对资源节点基于语义相似度聚类的超级节点模式网格,提出了一种面向用户截止时间、费用上限及二者之间偏好参数等QoS参数约束的网格协作型任务调度算法,其中考虑资源的动态性,引入重调度机制。然后,采用价格时延Petri网这一图形与数学... 针对资源节点基于语义相似度聚类的超级节点模式网格,提出了一种面向用户截止时间、费用上限及二者之间偏好参数等QoS参数约束的网格协作型任务调度算法,其中考虑资源的动态性,引入重调度机制。然后,采用价格时延Petri网这一图形与数学工具,对复杂的调度过程进行形式化、层次化建模,增进对调度系统的理解。构建调度模型的可达任务图,分析调度系统的诸如调度时间、费用、吞吐量、负载平衡等重要性能。实例验证调度算法的有效性,分析了需要协调多种类型资源的网格协作型任务的调度过程及调度系统的若干重要特性。研究内容对于指导实际超级节点模式网格系统的开发、部署均具有重要意义。 展开更多
关键词 格调度 超级节点 QOS参数 价格时延petri网
在线阅读 下载PDF
一种时延Petri网的死锁预防方法
3
作者 郭金维 李志武 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2009年第5期902-908,共7页
针对时延Petri网的死锁预防问题,提出了一个有效的预防控制算法,将信标控制死锁预防的方法应用到时延Petri网中,不需要列举全部可达状态的情况下实现死锁预防,而且实现最后的控制器为活.首先将时延Petri网拉伸为拉伸时延Petri网(SPN),... 针对时延Petri网的死锁预防问题,提出了一个有效的预防控制算法,将信标控制死锁预防的方法应用到时延Petri网中,不需要列举全部可达状态的情况下实现死锁预防,而且实现最后的控制器为活.首先将时延Petri网拉伸为拉伸时延Petri网(SPN),使得不改变原来系统性能的情况下,拉伸后的网所有变迁均为单位时延,然后针对SPN忽略时间因素,采用信标控制方法,根据所得标识约束添加控制库所,使所有严格极小信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器. 展开更多
关键词 柔性制造系统 时延petri网 死锁预防
在线阅读 下载PDF
基于时延Petri网的机坪作业调度时间弹性提高方法 被引量:4
4
作者 张书琴 马辰婷 +1 位作者 朱嘉楠 梅圆成 《火力与指挥控制》 CSCD 北大核心 2021年第5期103-107,112,共6页
针对机场机坪服务作业多且逻辑复杂,机坪服务流程确定困难,给出了提高机坪作业调度时间弹性的方法。运用时延Petri网获取机坪所有可行路径;以机坪作业总时差最大为目标函数建立优化模型,获取时间弹性最佳的可行机坪服务流程。以国内某... 针对机场机坪服务作业多且逻辑复杂,机坪服务流程确定困难,给出了提高机坪作业调度时间弹性的方法。运用时延Petri网获取机坪所有可行路径;以机坪作业总时差最大为目标函数建立优化模型,获取时间弹性最佳的可行机坪服务流程。以国内某机场具体机坪保障时间参数为例验证了该方法的有效性。 展开更多
关键词 航空运输 机坪作业 时延petri网 时间弹性
在线阅读 下载PDF
基于Petri网的工作流建模及时间性能分析 被引量:13
5
作者 肖军 邓海鸿 +2 位作者 高允锋 周春贵 刘雷 《吉林大学学报(信息科学版)》 CAS 2009年第1期104-112,共9页
为求得与实例到达率相关的工作流模型平均完成时间,对Petri网模型进行了扩展,定义了扩展时延Pe-tri网,分析了工作流串联、并联、选择、循环4种基本模型,给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该... 为求得与实例到达率相关的工作流模型平均完成时间,对Petri网模型进行了扩展,定义了扩展时延Pe-tri网,分析了工作流串联、并联、选择、循环4种基本模型,给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该方法对工作流4种基本模型的实例进行时间性能评价,并在Exspect环境进行了模拟测试。实验结果表明,在4种模型中最大相对误差在2%左右,从而证明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。 展开更多
关键词 工作流模型 时延petri网 时间性能分析
在线阅读 下载PDF
Petri网融合蚁群算法的柔性装配系统调度 被引量:2
6
作者 朱伟 徐克林 蒋亚南 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2010年第5期832-835,共4页
为解决柔性装配系统的调度问题,采用分层时延Petri网模型与蚁群优化算法相结合,将柔性装配系统分解成诸多个装配体,每个装配体再分解成多个柔性装配单元,对装配单元分别建模并用蚁群算法对装配方案遍历优化,最后确定装配系统的时延Petr... 为解决柔性装配系统的调度问题,采用分层时延Petri网模型与蚁群优化算法相结合,将柔性装配系统分解成诸多个装配体,每个装配体再分解成多个柔性装配单元,对装配单元分别建模并用蚁群算法对装配方案遍历优化,最后确定装配系统的时延Petri网模型.该方法融合了Petri网和蚁群算法各自的优点,较好地解决了柔性装配系统中的装配建模和装配任务的分配优化问题.实验证明该研究可行有效. 展开更多
关键词 分层模型 时延petri网 蚁群优化算法 柔性装配系统
在线阅读 下载PDF
基于Petri网的崇凭铁路车站联锁进路建模与仿真 被引量:1
7
作者 王陆睎 《高速铁路技术》 2022年第5期25-30,共6页
作为一种形式化建模工具,Petri网被广泛应用于铁路等离散事件系统。本文以新建崇凭铁路某车站站内联锁进路控制为研究背景,借助Petri网仿真模拟列车在站内的运行过程。结果表明,本文的模型可对站内调度计划的安全性进行核查,通过被标记... 作为一种形式化建模工具,Petri网被广泛应用于铁路等离散事件系统。本文以新建崇凭铁路某车站站内联锁进路控制为研究背景,借助Petri网仿真模拟列车在站内的运行过程。结果表明,本文的模型可对站内调度计划的安全性进行核查,通过被标记的故障库所的含义定位不可行的调度计划问题所在,并对其进行修正,从而确保列车在站内的安全运行。 展开更多
关键词 车站联锁进路 时延petri网 形式化验证 站内调度计划
在线阅读 下载PDF
基于Petri网的单线铁路车站会让系统
8
作者 张博 《高速铁路技术》 2023年第2期48-52,共5页
单线铁路车站会让过程的安全性和高效性一直以来是研究的重点。本文引入离散事件系统的建模工具Petri网,建立了单线铁路车站会让的综合模型,采用形式化验证的方法仿真模拟列车在站内会让的过程。研究成果可为单线铁路列车站内运行计划... 单线铁路车站会让过程的安全性和高效性一直以来是研究的重点。本文引入离散事件系统的建模工具Petri网,建立了单线铁路车站会让的综合模型,采用形式化验证的方法仿真模拟列车在站内会让的过程。研究成果可为单线铁路列车站内运行计划提供安全验证和事故预警。 展开更多
关键词 单线铁路 时延petri网 列车会让 故障预警
在线阅读 下载PDF
舰艇抗沉过程的多智能体仿真模型 被引量:3
9
作者 吴向君 侯岳 浦金云 《舰船科学技术》 2011年第5期53-58,70,共7页
为了分析抗沉组织的抗沉效能,找出影响抗沉效能的关键环节,建立了抗沉过程仿真的多智能体模型。介绍了抗沉过程多智能体的构成以及各个智能体的功能;建立了基于专家系统的抗沉指挥中心智能体的推理模型;在建立单步液舱调整方案集生成算... 为了分析抗沉组织的抗沉效能,找出影响抗沉效能的关键环节,建立了抗沉过程仿真的多智能体模型。介绍了抗沉过程多智能体的构成以及各个智能体的功能;建立了基于专家系统的抗沉指挥中心智能体的推理模型;在建立单步液舱调整方案集生成算法的基础上,使用启发式规则和逼近理想解排序相结合的综合推理算法建立了液舱调整决策智能体的推理模型;使用时延Petri网对抗沉过程多智能体的仿真过程进行了建模,并通过船模仿真算例,分析了影响抗沉效能的关键环节。 展开更多
关键词 多智能体 时延petri网 启发式规则 逼近理想解排序 抗沉过程 仿真
在线阅读 下载PDF
基于DCPN的区块链小额实时交易策略 被引量:1
10
作者 佘维 刘琦 +2 位作者 杨晓宇 胡跃 刘炜 《工程科学与技术》 EI CAS CSCD 北大核心 2018年第4期135-143,共9页
在目前的区块数据生成方式下,小额交易场景容易遭遇效率瓶颈。针对区块链应用中的小额交易等待时间过长的问题,提出一种区块链小额实时交易策略(real-time micro trading strategy with blockchain,RMTSB)。首先,构造一种时延控制Petri... 在目前的区块数据生成方式下,小额交易场景容易遭遇效率瓶颈。针对区块链应用中的小额交易等待时间过长的问题,提出一种区块链小额实时交易策略(real-time micro trading strategy with blockchain,RMTSB)。首先,构造一种时延控制Petri网(delay control Petri nets,DCPN)模型用于描述、分析和控制带有时延信息的系统;其次,为了记录和评估交易过程,给出了一种含个人信用指标的交易数据区块结构和面向小额交易的个人信用度评价方法;然后,在信用度分析的基础上,采用DCPN建模设计了RMTSB策略;最后,从全节点和轻节点两个角度分别建立了区块链的小额实时交易过程。为了验证策略的有效性,对常规区块链交易过程、RMTSB策略下的交易过程及含有网络时延变量的RMTSB策略下的交易过程进行了仿真,并通过多轮交易的时延累积消除单次实验的偶然性。仿真结果表明,与区块链常规交易过程相比,RMTSB策略以支付方信用度为参考,有效提高了交易验证的效率,其交易时延与常规交易过程相比可降低50%~75%。因此,该策略可在一定程度上简化认证过程,从而提高区块链环境下小额交易的支付速度,使区块链真正成为小额交易应用场景中的支撑技术。 展开更多
关键词 区块链 小额交易 时延控制petri 信用
在线阅读 下载PDF
CIMS并行动画仿真
11
作者 胡峻 姚宇明 +1 位作者 徐毓良 李善平 《浙江大学学报(自然科学版)》 CSCD 1995年第1期78-83,共6页
本文提出一个CIMS四维动画仿真的并行策略,给出了有关的世界模型、并行显示、进程同步和通信的算法和思想。完成的一个制造加工系统已在Sun工作站上用C语言实现。仿真结果表明:此并行策略能很好地解决仿真算法中的时间协调和... 本文提出一个CIMS四维动画仿真的并行策略,给出了有关的世界模型、并行显示、进程同步和通信的算法和思想。完成的一个制造加工系统已在Sun工作站上用C语言实现。仿真结果表明:此并行策略能很好地解决仿真算法中的时间协调和并行运算等问题,适用于CIMS的任务规划、监控及仿真等方面。 展开更多
关键词 CIMS 动画仿真 并行策略 时延petri网
在线阅读 下载PDF
基于THPNs的道路交叉口建模、分析与仿真(英文) 被引量:1
12
作者 Omar YAQUB 王建强 李灵犀 《汽车安全与节能学报》 CAS CSCD 2016年第1期25-34,共10页
为了减少交通拥堵,提高行车安全,本文提出了一种基于时延混合型Petri网(THPNs)的有交通信号灯的交叉路口建模方法。所建立的模型,可以全面模拟车辆在一定相位下通过带有交通信号灯的四车道交叉路口时的机动性。模型的连续节点被用于表... 为了减少交通拥堵,提高行车安全,本文提出了一种基于时延混合型Petri网(THPNs)的有交通信号灯的交叉路口建模方法。所建立的模型,可以全面模拟车辆在一定相位下通过带有交通信号灯的四车道交叉路口时的机动性。模型的连续节点被用于表示交通流和交通路口的等待车辆队列,模型的离散节点用来表示离散事件。模型考虑了交叉路口不同交通信号相位差异造成的时间延迟,使得模型适用于实际路况的分析和仿真。模型的仿真结果显示该建模方法对研究交叉路口处的交通流模式具有重要作用,对改善交通环境具有潜在价值。 展开更多
关键词 交通拥堵 行车安全 交叉路口 车辆机动性 时延混合petri
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部