期刊文献+
共找到111篇文章
< 1 2 6 >
每页显示 20 50 100
基于广义微分Petri网的混合系统仿真方法 被引量:6
1
作者 吴亚丽 曾建潮 孙国基 《系统仿真学报》 CAS CSCD 2003年第2期164-166,共3页
针对混合动态系统仿真的特点,建立其广义微分Petri网仿真模型,将混合系统的仿真统一于同一建模框架下。在此框架下,离散事件和连续状态变化对混合系统演化的推动作用均可以通过仿真模型中的变迁激发来完成。通过对广义微分Petri网的仿... 针对混合动态系统仿真的特点,建立其广义微分Petri网仿真模型,将混合系统的仿真统一于同一建模框架下。在此框架下,离散事件和连续状态变化对混合系统演化的推动作用均可以通过仿真模型中的变迁激发来完成。通过对广义微分Petri网的仿真过程进行分析,给出了基于该模型框架的仿真算法,并对仿真过程中出现的由资源共享引起冲突现象及其解决方案进行分析,最后讨论了仿真系统的死锁及其避免问题。 展开更多
关键词 广义微分petri网 混合动态系统 仿真 冲突 死锁
在线阅读 下载PDF
基于广义随机Petri网的口岸站通关流程优化——以磨憨口岸站为例
2
作者 杨红 汤银英 陈思 《铁道运输与经济》 北大核心 2025年第3期84-94,共11页
边境铁路口岸站是跨境铁路运输的关键节点,在国际物流通道中发挥着重要作用,其运输效率直接影响跨境贸易。随着国际货运班列数量的增长,口岸站货物滞留问题日益突出。以提升口岸站通关效率为目标,运用广义随机Petri网对口岸站通关流程... 边境铁路口岸站是跨境铁路运输的关键节点,在国际物流通道中发挥着重要作用,其运输效率直接影响跨境贸易。随着国际货运班列数量的增长,口岸站货物滞留问题日益突出。以提升口岸站通关效率为目标,运用广义随机Petri网对口岸站通关流程进行建模分析,借助AnyLogic仿真工具进行情景模拟,旨在识别并改善口岸站通关流程中的关键环节,选取“最大拥堵长度”“列车通过率”和“列车平均在站停留时间”作为评估优化效果的关键指标,以磨憨口岸站进口作业流程为例进行分析,结果表明:优化措施不仅可以缓解磨憨口岸站的拥堵情况,相较于优化前口岸站的列车通过率提高106.5%,列车平均在站停留时间减少76.3%,验证了所用方法的有效性。 展开更多
关键词 口岸站 通关流程优化 广义随机petri AnyLogic仿真 优化措施
在线阅读 下载PDF
基于广义随机Petri网的装备战场抢修建模与分析 被引量:1
3
作者 邱雄飞 张桦 +1 位作者 赵润泽 黄增端 《现代防御技术》 北大核心 2024年第4期130-136,共7页
装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,... 装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,并根据广义随机Petri网和马尔可夫链同构特性求解模型主要性能指标。最后通过实例分析说明,该方法可以有效求解装备战场抢修的主要性能指标,验证了模型的有效性和合理性,同时也为装备战场抢修决策提供了一定的参考依据。 展开更多
关键词 装备保障 战场抢修 广义随机petri(GSPN) 马尔可夫链(MC) 建模与分析
在线阅读 下载PDF
基于广义随机Petri网的可重组制造单元建模与分析方法 被引量:13
4
作者 谢楠 李爱平 徐立云 《计算机集成制造系统》 EI CSCD 北大核心 2006年第6期828-834,共7页
为揭示可重组制造单元的重组过程并计算重组方式对系统性能的影响,根据可重组制造单元的特征,提出了基于广义随机Petri网的模块化建模及分析方法。该方法将制造单元的不同资源及重组生产过程对应于相应的广义随机Petri网基本模块,并通... 为揭示可重组制造单元的重组过程并计算重组方式对系统性能的影响,根据可重组制造单元的特征,提出了基于广义随机Petri网的模块化建模及分析方法。该方法将制造单元的不同资源及重组生产过程对应于相应的广义随机Petri网基本模块,并通过过渡变迁合成广义随机Petri网模型。在此基础上,采用马尔可夫理论及相关数学方法,分析可重组制造系统的性能指标,并通过实际应用,验证了该建模与分析方法的有效性。 展开更多
关键词 可重组制造单元 广义随机petri 建模 性能分析
在线阅读 下载PDF
基于微分Petri网的民机航迹演化通用模型构建 被引量:4
5
作者 韩云祥 汤新民 +1 位作者 韩松臣 张明 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2014年第2期322-328,共7页
为实现对未来大流量、高密度、小间隔条件下的空域实施管理,在战略航迹规划阶段,提出了一种模块化的战略航迹演化通用模型。建立了不同航段之间航空器状态动态切换的一类宏观Petri网演化模型,以及同一航段内航空器速度和高度两种特征参... 为实现对未来大流量、高密度、小间隔条件下的空域实施管理,在战略航迹规划阶段,提出了一种模块化的战略航迹演化通用模型。建立了不同航段之间航空器状态动态切换的一类宏观Petri网演化模型,以及同一航段内航空器速度和高度两种特征参数值连续变化的3类微观Petri网演化模型。根据航空器特征参数值转化的4种不同形式并基于航空器全飞行剖面的混杂运行特性,运用微分Petri网理论,定义了航空器的4种演化模式,通过组合各种演化模式得到了3种航空器基本演化模型。在满足航空器性能约束的前提下,通过设定10个航段及15个高度和速度预设值,得到了全飞行剖面下各特征参数的演化图。结果表明,所设计的演化模型增强了航迹预测模型的通用性,能够反映航空器在水平剖面和垂直剖面内的状态变化。 展开更多
关键词 空中交通管制 航迹预测 演化模型 混杂petri 微分petri
在线阅读 下载PDF
基于广义随机Petri网的装配可靠性建模 被引量:7
6
作者 张根保 刘佳 +2 位作者 葛红玉 王国强 张恒 《计算机集成制造系统》 EI CSCD 北大核心 2012年第3期507-512,共6页
为了在装配环节保障产品的可靠性,提出可靠性驱动的装配技术的概念,并用广义随机Petri网对该技术进行了建模,通过同构的Markov链对模型进行定量分析。在可靠性驱动的装配技术建模分析中,采用结构分析和设计技术对产品进行功能分析并建... 为了在装配环节保障产品的可靠性,提出可靠性驱动的装配技术的概念,并用广义随机Petri网对该技术进行了建模,通过同构的Markov链对模型进行定量分析。在可靠性驱动的装配技术建模分析中,采用结构分析和设计技术对产品进行功能分析并建立起完整的功能分析模型;将功能分析的结构分析和设计技术模型转化为相应的具有动态分析和定量研究能力的广义随机Petri网模型;为获得可信准确的分析模型,利用三角模糊数中的α-截集对同构的Markov链进行优化;针对装配产品的可靠性特征,用装配可靠度指标对产品进行评价。以某加工中心的分度工作台为例,验证了该建模与分析方法的有效性。 展开更多
关键词 装配 可靠性 广义随机petri 功能分析α-截集 MARKOV链 建模
在线阅读 下载PDF
确定系统级测试性参数的广义随机Petri网模型 被引量:18
7
作者 钱彦岭 邱静 温熙森 《系统工程与电子技术》 EI CSCD 北大核心 2002年第5期4-7,共4页
测试性设计是近年来发展起来的一门新兴学科 ,对提高复杂系统的可靠性、可维修性和可用性具有重要的意义。在测试性设计的过程中 ,合理地选择和确定测试性参数是实现费效比最优设计的关键之一 ,但目前还没有有效的方法能合理地确定每个... 测试性设计是近年来发展起来的一门新兴学科 ,对提高复杂系统的可靠性、可维修性和可用性具有重要的意义。在测试性设计的过程中 ,合理地选择和确定测试性参数是实现费效比最优设计的关键之一 ,但目前还没有有效的方法能合理地确定每个参数的门限值或目标值。基于广义随机Petri网的原理 ,将测试看作设备整个生命周期内可靠性、维修性活动的一个有机组成部分 ,建立了系统的测试性模型。采用数值分析的方法得出系统稳态可用度与系统测试性参数之间的关系曲线 ,作为确定测试性参数的依据 ;当系统需待定的参数比较多时 ,将模型转化为一个区间线性方程 ,有效地解决了计算量大的问题。 展开更多
关键词 系统级测试性参数 测试性设计 广义随机petri 区间线性方程
在线阅读 下载PDF
基于广义随机Petri网的交通信息系统建模与分析 被引量:15
8
作者 林琳 蒋昌俊 《计算机学报》 EI CSCD 北大核心 2005年第1期81-87,共7页
交通信息系统 (TIS)是目前世界各国交通运输领域竞相研究和开发的热点 .它是一种复杂的服务性系统 ,具有典型的业务过程特点 ,但目前用工作流来分析交通信息系统的研究尚不多见 ,更很少有人对该系统中的一些实时性服务进行时序分析 ,提... 交通信息系统 (TIS)是目前世界各国交通运输领域竞相研究和开发的热点 .它是一种复杂的服务性系统 ,具有典型的业务过程特点 ,但目前用工作流来分析交通信息系统的研究尚不多见 ,更很少有人对该系统中的一些实时性服务进行时序分析 ,提出优化方案 .该文将广义随机Petri网与工作流相结合 ,首先为TIS建立符合工作流概念的广义随机Petri网模型 .然后根据实际系统中相关数据的统计分析和经验估计 ,利用基于行为表达式的分析方法对点播服务的时间性质进行分析 ,获得了一些有价值的性能指标信息 . 展开更多
关键词 交通信息系统 工作流 广义随机petri 行为表达式 性能分析
在线阅读 下载PDF
广义互斥约束的Petri网死锁避免监控器设计 被引量:2
9
作者 刘久富 周建勇 +3 位作者 刘文良 刘海阳 杨忠 王志胜 《农业机械学报》 EI CAS CSCD 北大核心 2015年第8期327-332,共6页
研究了Petri网的柔性制造加工系统中的死锁避免问题。为了保证死锁避免和资源最大允许利用,提出了基于广义互斥约束的Petri网最优监控器的设计方法,探寻以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束集建立可达树得出... 研究了Petri网的柔性制造加工系统中的死锁避免问题。为了保证死锁避免和资源最大允许利用,提出了基于广义互斥约束的Petri网最优监控器的设计方法,探寻以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束集建立可达树得出合法标识集和死锁标识集,对分离出的标识建立混合整数线性规划模型,运用分支定界法得到补充监控库所的广义互斥约束模型作为最优监控器。最后,以某柔性制造系统为例,建立了Petri网模型,结合零件加工过程中资源的占用和释放,对柔性制造系统进行控制器设计,设计的控制器拥有更严格的约束和更简化的模型,对死锁标识的避免是充分的,验证了该算法的有效性。 展开更多
关键词 petri 监控器 死锁避免 广义互斥约束
在线阅读 下载PDF
带协同约束弧的微分Petri网及其仿真 被引量:3
10
作者 赵不贿 吴玉波 刘星桥 《江苏大学学报(自然科学版)》 EI CAS 北大核心 2007年第6期508-511,共4页
为使Petri网中单个库所对变迁的简单逻辑约束关系扩展到多个库所对变迁复杂的协同约束关系,提出了协同约束弧的概念,并将它与微分Petri网相结合,用以对具有状态反馈控制的混杂系统建模.结合一个二阶线性系统的实例,给出了它的带协同约... 为使Petri网中单个库所对变迁的简单逻辑约束关系扩展到多个库所对变迁复杂的协同约束关系,提出了协同约束弧的概念,并将它与微分Petri网相结合,用以对具有状态反馈控制的混杂系统建模.结合一个二阶线性系统的实例,给出了它的带协同约束弧的微分Petri网模型,并用Stateflow和Simulink结合起来对这种带有协同约束弧的微分Petri网描述与仿真.仿真结果表明:在协同约束弧控制下,适时改变控制策略,将系统切换到不同的相空间,从而使不稳定系统最终在目标区域内稳定运行. 展开更多
关键词 混杂系统 仿真 微分petri STATEFLOW 协同约束弧
在线阅读 下载PDF
基于灰色广义随机Petri网的产品装配过程可靠性建模与分析 被引量:2
11
作者 张根保 钱宝明 +2 位作者 柳剑 李冬英 彭露 《中国机械工程》 EI CAS CSCD 北大核心 2014年第11期1460-1465,共6页
以产品的装配工步为研究对象,提出了基于灰色广义随机Petri网(GGSPN)的产品装配可靠性建模方法。首先,通过对装配过程中各道工步之间的装配关系分析,建立产品装配过程的GGSPN模型;其次,采用基本随机Petri网模型及其性能等价公式对GGSPN... 以产品的装配工步为研究对象,提出了基于灰色广义随机Petri网(GGSPN)的产品装配可靠性建模方法。首先,通过对装配过程中各道工步之间的装配关系分析,建立产品装配过程的GGSPN模型;其次,采用基本随机Petri网模型及其性能等价公式对GGSPN模型进行简化;再次,针对装配过程故障信息的贫信息不确定性问题,在广义随机Petri网模型的变迁激发率中引入灰数进行优化处理;然后,针对建立的产品装配过程可靠性模型,求解出用灰数表示的稳态概率并对其进行白化处理,再通过对产品装配过程的可靠性分析,提出可靠性控制的改进措施;最后,以某齿轮油泵装配过程为例,验证了该方法的可行性。 展开更多
关键词 装配 灰色广义随机petri 可靠性分析 可靠性控制
在线阅读 下载PDF
基于广义随机Petri网的MVB网络吞吐性能分析 被引量:8
12
作者 王永翔 王立德 《北京交通大学学报》 EI CAS CSCD 北大核心 2008年第5期98-101,共4页
基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采... 基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采用了随机Petri网计算机辅助分析软件TimeNET建立模型和仿真.给出了MVB网络单纯过程数据的报文吞吐量,有效数据传输能力和带宽利用率等性能参数.结论指出广义随机Petri网是对网络协议进行分析的有效工具. 展开更多
关键词 电气工程 多功能车辆总线 广义随机petri模型 性能分析 仿真
在线阅读 下载PDF
基于微分Petri网的业务流程模块适配方法 被引量:3
13
作者 方贤文 陶小燕 刘祥伟 《电子学报》 EI CAS CSCD 北大核心 2017年第4期777-781,共5页
为适应业务流程多功能及动态变化的需求,用模块替换的方法对业务流程建模是解决问题的快速有效途径之一.以开放Petri网与微分Petri网为基础,提出了微分控制Petri网和微分数据Petri网的概念,分别从语义学角度利用微分Petri网的演化表达... 为适应业务流程多功能及动态变化的需求,用模块替换的方法对业务流程建模是解决问题的快速有效途径之一.以开放Petri网与微分Petri网为基础,提出了微分控制Petri网和微分数据Petri网的概念,分别从语义学角度利用微分Petri网的演化表达式对模型的控制流网与数据流网进行活性检测,利用微分Petri网对替换模块及其离散部分与连续部分进行结构稳定性分析,以达到业务流程模块适配分析.理论分析结果表明,所建立的微分表达式能够反映模型活性与稳定性,模块适配效果较好.最后基于平台数据进行仿真分析,实验结果表明本文所提的方法有一定的可行性. 展开更多
关键词 微分petri 控制流 数据流 模块适配
在线阅读 下载PDF
广义随机Petri网下的组合Web服务建模与评价 被引量:9
14
作者 门鹏 段振华 《西安交通大学学报》 EI CAS CSCD 北大核心 2008年第8期967-971,共5页
为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则... 为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策. 展开更多
关键词 语义Web服务标记语言 广义随机petri 组合WEB服务 性能评价 形式化验证
在线阅读 下载PDF
基于规则专家系统的广义随机Petri网仿真分析模型 被引量:4
15
作者 张俊星 张纪会 张宏勋 《系统仿真学报》 EI CAS CSCD 1998年第2期41-46,共6页
利用广义随机Petri网为基于规则的专家系统建模,将推理过程中规则的匹配—选择—执行循环的各阶段统一于其广义随机Petri网模型中,通过对该模型的计算机仿真分析,可对系统的可靠性及性能进行评价。
关键词 专家系统 广义 随机petri 仿真分析 petri
在线阅读 下载PDF
一种基于广义随机Petri网的Web服务组合性能预测模型 被引量:3
16
作者 朱俊 郭长国 吴泉源 《计算机科学》 CSCD 北大核心 2011年第8期125-129,共5页
Web服务交互消息受到不可预知的网络环境的影响,因特网环境中的个体Web服务的性能表现与访问者的地域位置有关。于是,服务组合的性能则更加容易受到网络环境因素的影响。同时,服务组合的性能还会受到服务组合流程中不同的分支执行概率... Web服务交互消息受到不可预知的网络环境的影响,因特网环境中的个体Web服务的性能表现与访问者的地域位置有关。于是,服务组合的性能则更加容易受到网络环境因素的影响。同时,服务组合的性能还会受到服务组合流程中不同的分支执行概率的影响。在这种情况下,服务组合建模只考虑组合本身,而不考虑网络环境因素和分支执行概率,这将会对模型的预测结果造成较大的偏差。为了能够真实地评估服务交互行为、网络环境与分支执行概率之间的关系,提出了一种基于广义随机Petri网的Web服务组合性能预测模型,该模型不仅引入了伙伴服务性能方面的因素,而且充分考虑了网络环境因素和分支执行概率,从而能够对被建模系统进行定性和定量分析,进而指导服务组合性能优化。 展开更多
关键词 WEB服务 性能预测模型 广义随机petri 性能优化
在线阅读 下载PDF
广义有界上下文无关语言与Petri网语言 被引量:6
17
作者 张继军 吴哲辉 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期26-29,共4页
提出了广义有界上下文无关语言的概念,该类语言是上下文无关语言的真子集;证明了广义有界上下文无关语言与上下文无关Petri网语言的等价性;进一步给出了上下文无关Petri网语言的一种形式描述--上下文无关Petri网语言表达式,对上下文无关... 提出了广义有界上下文无关语言的概念,该类语言是上下文无关语言的真子集;证明了广义有界上下文无关语言与上下文无关Petri网语言的等价性;进一步给出了上下文无关Petri网语言的一种形式描述--上下文无关Petri网语言表达式,对上下文无关Petri网语言给出了较完整的结构特征. 展开更多
关键词 上下文无关语言 广义有界上下文无关语言 petri petri语言表达式
在线阅读 下载PDF
多级保障系统的广义随机Petri网建模与分析 被引量:5
18
作者 杜宾 邱菀华 《北京理工大学学报》 EI CAS CSCD 北大核心 2009年第11期1030-1034,共5页
针对多级保障系统的建模及其优化问题,基于广义随机Petri网建立了三级维修二级库存保障系统的工作流模型.根据不同等级的维修工作流,提出了广义排队时间的概念,运用扩展的排队模型分析各维修流程的性能等价时间.为了保证单元的可用度,... 针对多级保障系统的建模及其优化问题,基于广义随机Petri网建立了三级维修二级库存保障系统的工作流模型.根据不同等级的维修工作流,提出了广义排队时间的概念,运用扩展的排队模型分析各维修流程的性能等价时间.为了保证单元的可用度,提出了以最小化缺货次数为目标的优化策略.采用随机Petri网分析方法对模型进行规约优化,并构造同构的马尔可夫链,求解稳定状态概率分析系统性能,获得一种单元可用度的新计算方法. 展开更多
关键词 保障系统 广义随机petri 可用度 多级维修 备件库存
在线阅读 下载PDF
广义随机Petri网在生态产业园区性能分析中的应用 被引量:2
19
作者 景熠 王旭 李文川 《计算机应用研究》 CSCD 北大核心 2011年第6期2133-2136,共4页
为了对生态产业园区规划方案进行定量描述和评价,利用基于广义随机Petri网的建模分析方法,根据广义随机Petri网模型与马尔可夫链的同构关系,得到生态产业园区的Petri网模型和马尔可夫链模型。并通过马尔可夫链理论与相关数学方法,得到... 为了对生态产业园区规划方案进行定量描述和评价,利用基于广义随机Petri网的建模分析方法,根据广义随机Petri网模型与马尔可夫链的同构关系,得到生态产业园区的Petri网模型和马尔可夫链模型。并通过马尔可夫链理论与相关数学方法,得到生态产业园区规划方案的吞吐性能、时间性能以及关键资源利用率和重点加工环节运作效率等性能指标,诊断出现有规划中存在的问题,为生态产业园区规划方案的评价和改进提供了一个思路。 展开更多
关键词 生态产业园区 广义随机petri 性能分析 马尔可夫链
在线阅读 下载PDF
应用微分Petri网分析汽车再生制动模式的切换 被引量:3
20
作者 何仁 崔文燕 《江苏大学学报(自然科学版)》 EI CAS 北大核心 2010年第6期640-644,共5页
针对混合动力汽车再生制动模式切换过程中引起的混杂系统的动态变化难以控制的问题,利用混杂系统理论,分析了混合动力汽车制动过程中的离散事件和连续状态变量对再生制动模式切换的影响.基于给定的再生制动控制策略,建立了再生制动混杂... 针对混合动力汽车再生制动模式切换过程中引起的混杂系统的动态变化难以控制的问题,利用混杂系统理论,分析了混合动力汽车制动过程中的离散事件和连续状态变量对再生制动模式切换的影响.基于给定的再生制动控制策略,建立了再生制动混杂系统的微分Petri网模型,在以往建模方法的基础上增加了对离散事件的单独刻画,实现了对再生制动过程中的离散事件和连续状态变量的综合建模.通过Matlab/Simulink/Stateflow建立再生制动数学模型,实现了对再生制动过程中离散事件和连续状态变量的综合仿真,完成了再生制动模式判断和模式切换过程,结果表明微分Petri网用于再生制动混杂系统建模是合理和可行的. 展开更多
关键词 再生制动 微分petri 模式切换 混杂系统 离散事件
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部