期刊文献+
共找到125篇文章
< 1 2 7 >
每页显示 20 50 100
基于着色时间Petri网的飞机维修保障作业优化
1
作者 齐阳 祝华远 +1 位作者 李江龙 崔骏夫 《兵工自动化》 北大核心 2025年第6期93-97,103,共6页
针对舰基特殊条件下飞机的维修保障作业受限制问题,提出基于着色时间Petri网的飞机维修保障作业模型。利用ECRS法优化现有作业流程并使用着色时间Petri网以机械检查工序为例建立飞机维修保障作业模型。通过优化机械检查流程,并对不同维... 针对舰基特殊条件下飞机的维修保障作业受限制问题,提出基于着色时间Petri网的飞机维修保障作业模型。利用ECRS法优化现有作业流程并使用着色时间Petri网以机械检查工序为例建立飞机维修保障作业模型。通过优化机械检查流程,并对不同维修人员组合的维修时间进行仿真,得出串行工序的优先级、并行到串行转换的影响以及整体效率优化的结果。仿真结果表明:该模型能够在维修保障资源受限情况下,得到资源配置最优组合,对缩短维修时间,提高维修资源利用率,提升飞机放飞时效有一定指导意义。 展开更多
关键词 维修保障 着色时间petri 资源配置优化 流程优化 仿真分析 ECRS方法
在线阅读 下载PDF
基于时序信息的模糊Petri网电网故障诊断方法 被引量:31
2
作者 程学珍 林晓晓 +2 位作者 朱春华 陈强 曹茂永 《电工技术学报》 EI CSCD 北大核心 2017年第14期229-237,共9页
为提高电网故障诊断的准确性,充分利用报警信号的时序信息,研究一种基于时序信息的分层变迁模糊Petri网故障诊断方法。首先,建立分层变迁加权模糊Petri网(WFPN)故障诊断模型;其次,构建元件、保护和断路器之间的时间关联特性(TAC),进行... 为提高电网故障诊断的准确性,充分利用报警信号的时序信息,研究一种基于时序信息的分层变迁模糊Petri网故障诊断方法。首先,建立分层变迁加权模糊Petri网(WFPN)故障诊断模型;其次,构建元件、保护和断路器之间的时间关联特性(TAC),进行时间关联一致性检查;最后,通过模糊推理进行故障诊断,并对保护和断路器异常行为进行评判。通过典型电网算例推理验证,结果证明该方法不仅能够提高故障诊断的准确性和容错性,还能够判断保护和断路器的异常行为并推出元件故障发生时刻。 展开更多
关键词 电网故障诊断 模糊petri 时间关联特性 分层变迁
在线阅读 下载PDF
有色—时间Petri网航班延误模型与波及分析 被引量:13
3
作者 丁建立 陈坦坦 刘玉洁 《计算机集成制造系统》 EI CSCD 北大核心 2008年第12期2334-2340,共7页
基于有色Petri网和时间Petri网理论,给出了单个机场起飞的多架飞机执行航班的有色Petri网模型,建立了多机场多航班有色—时间Petri网模型,提出了航班延误波及分析方法,用于判断当源机场发生航班延误时,从源机场起飞的各个飞机的下游机... 基于有色Petri网和时间Petri网理论,给出了单个机场起飞的多架飞机执行航班的有色Petri网模型,建立了多机场多航班有色—时间Petri网模型,提出了航班延误波及分析方法,用于判断当源机场发生航班延误时,从源机场起飞的各个飞机的下游机场是否出现航班延误,并分析和预测延误时间。仿真实验表明,松弛时间越大,越能够有效吸收延误波及;初始延误时间越长,波及下游机场个数越多。 展开更多
关键词 petri 有色-时间petri 航班延误 模型 波及分析
在线阅读 下载PDF
基于Petri网与遗传算法的半导体生产线建模与优化调度 被引量:11
4
作者 曹政才 余红霞 乔非 《电子学报》 EI CAS CSCD 北大核心 2010年第2期340-344,共5页
针对半导体生产线调度复杂、难以优化的问题,本文提出一种基于层次有色赋时Petri网技术和遗传算法相结合的优化调度方法.该方法利用层次化的思想结合自顶向下建模方法对半导体生产线进行模块化建模,模型不仅能够反映生产线待加工产品的... 针对半导体生产线调度复杂、难以优化的问题,本文提出一种基于层次有色赋时Petri网技术和遗传算法相结合的优化调度方法.该方法利用层次化的思想结合自顶向下建模方法对半导体生产线进行模块化建模,模型不仅能够反映生产线待加工产品的多条加工路径及其资源约束,还可以对系统的设备维护、各种优先级等特性进行描述,得到对生产系统更完善更精确的刻画.通过在遗传算法编码中考虑投料策略、工件选设备规则、批加工调度规则和单件加工设备规则等因素得到更加有效的调度方案,提高了模型的优化程度.在此基础上,对实际半导体生产线的不同调度方案分别进行仿真,并对仿真结果进行比较,从而验证了建模方法的正确性及调度策略的有效性. 展开更多
关键词 半导体生产线 层次有色赋时petri 遗传算法 建模 优化
在线阅读 下载PDF
用层次颜色Petri网模拟主体行为 被引量:8
5
作者 马炳先 徐颖蕾 吴哲辉 《系统仿真学报》 CAS CSCD 2003年第z1期114-118,共5页
智能主体动态动作的形式化描述是开发应用多主体系统的关键之一,目前对于主体动作的形式化描述多是基于逻辑学的描述,不易直接应用到系统开发中。该文通过利用层次颜色Petri网对市场多主体系统的模拟,提出并讨论了利用层次颜色Petri网... 智能主体动态动作的形式化描述是开发应用多主体系统的关键之一,目前对于主体动作的形式化描述多是基于逻辑学的描述,不易直接应用到系统开发中。该文通过利用层次颜色Petri网对市场多主体系统的模拟,提出并讨论了利用层次颜色Petri网为多主体系统建模、模拟主体行为的方法,该方法对多主体系统中主体间的各种动态关系有较好的刻画,并且通过层次化的方法减少了利用一般Petri网系统(如: P/T系统)模拟复杂系统时所遇到的难度。 展开更多
关键词 智能主体 主体行为 petri 层次颜色petri
在线阅读 下载PDF
基于层次时间Petri网的工作流模型可达性分析方法 被引量:13
6
作者 唐达 刘丹妮 《计算机集成制造系统》 EI CSCD 北大核心 2006年第4期487-493,共7页
为了有效管理工作流,需要对工作流模型进行合理性分析与验证。为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法。证明了任何一个能够转化成基于层次时... 为了有效管理工作流,需要对工作流模型进行合理性分析与验证。为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法。证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的。在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法。通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性。 展开更多
关键词 工作流 时间petri 层次时间petri 层次时间树
在线阅读 下载PDF
基于Petri网的产品建模及其时序改进方法 被引量:6
7
作者 贾丽臻 檀润华 +1 位作者 张换高 刘伟 《计算机集成制造系统》 EI CSCD 北大核心 2016年第3期630-638,共9页
为构建系统功能和行为模型以实现系统功能与行为优化,将Petri网建模语言应用于系统行为描述过程,提出一种行为建模与时序优化方法,对系统的动作时序进行改进。将技术系统中的能量流、物料流及信息流元素与有色Petri网结合,定义了系统行... 为构建系统功能和行为模型以实现系统功能与行为优化,将Petri网建模语言应用于系统行为描述过程,提出一种行为建模与时序优化方法,对系统的动作时序进行改进。将技术系统中的能量流、物料流及信息流元素与有色Petri网结合,定义了系统行为建模语言。将系统行为分为串联、并联及反馈三种类型,并据此提出技术系统行为评定方法,提供系统动作时序的改进目标。提出5条行为优化路径及基于Petri网层次化建模过程的自顶向下行为优化方法,为系统动作时序的改进提供了方向与优化过程模型。将该产品行为建模方法与时序优化过程应用于一种纽扣电池阴极自动扣圈机的改进设计中,验证该行为优化过程模型的有效性。 展开更多
关键词 时序 有色petri 行为分析 优化过程 自动扣圈机
在线阅读 下载PDF
基于赋时层次有色Petri网的医疗服务流程建模与优化 被引量:24
8
作者 伍宏伟 杨东 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第8期1657-1663,1699,共8页
构建一个高效、精简、优质的医疗服务流程是医院高效、低成本和高质量运营的基础。针对目前医疗服务缺乏定量化的分析评价手段,提出了采用赋时层次有色Petri网(HTCP-net)来建模和优化医院当前的医疗服务流程。应用建模、仿真工具CPNTool... 构建一个高效、精简、优质的医疗服务流程是医院高效、低成本和高质量运营的基础。针对目前医疗服务缺乏定量化的分析评价手段,提出了采用赋时层次有色Petri网(HTCP-net)来建模和优化医院当前的医疗服务流程。应用建模、仿真工具CPNTools对医疗服务流程进行建模和仿真分析,从而得到患者平均等待时间、各类资源利用率等医院的外部和内部性能指标,最后在此基础之上通过合并任务、整合资源等流程重组和优化方法实现了医院服务效率的提高和服务质量的改进。 展开更多
关键词 赋时层次有色petri HTCP-net 流程建模 流程优化 医疗服务流程
在线阅读 下载PDF
基于面向Agent的赋时着色Petri网的可重构装配线建模 被引量:8
9
作者 苑明海 白颖 李东波 《计算机集成制造系统》 EI CSCD 北大核心 2008年第11期2142-2149,2183,共9页
针对可重构装配线建模问题,提出了面向Agent的赋时着色Petri网的可重构装配线建模方法。在对装配资源进行分类的基础上,将装配资源Agent内部行为进行封装,建立了装配资源Agent的面向Agent的赋时着色Petri网模型,并通过过渡变迁合成可重... 针对可重构装配线建模问题,提出了面向Agent的赋时着色Petri网的可重构装配线建模方法。在对装配资源进行分类的基础上,将装配资源Agent内部行为进行封装,建立了装配资源Agent的面向Agent的赋时着色Petri网模型,并通过过渡变迁合成可重构装配单元面向Agent的赋时着色Petri网模型。根据每个可重构装配单元之间的逻辑关系,确定整个系统的消息传递关系。在此基础上,实现了装配线快速重构,通过引入相应的多Agent交互协议模型来解决模型中存在的死锁和冲突。最后通过实例分析说明了该建模方法的有效性。 展开更多
关键词 AGENT 赋时着色petri 可重构装配线 建模 交互协议
在线阅读 下载PDF
基于Petri网列车群模型的列车运行冲突分析 被引量:6
10
作者 王鹏玲 马磊 +1 位作者 王青元 冯晓云 《铁道学报》 EI CAS CSCD 北大核心 2015年第3期1-7,共7页
列车运行冲突检测是铁路系统安全运营的重要保障。本文首先给出赋时着色Petri网的形式化定义,定义变迁使能和触发规则及状态转移函数;基于赋时着色Petri网,以库表示车站/闭塞分区,托肯表示列车,建立列车群模型,为冲突检测提供模型基础... 列车运行冲突检测是铁路系统安全运营的重要保障。本文首先给出赋时着色Petri网的形式化定义,定义变迁使能和触发规则及状态转移函数;基于赋时着色Petri网,以库表示车站/闭塞分区,托肯表示列车,建立列车群模型,为冲突检测提供模型基础。在经典Petri网冲突定理的基础上,结合库容量约束和时间间隔约束,提出列车运行冲突判定定理,并证明该方法的正确性;在此基础上,设计基于可达树的冲突分析方法,并以太原铁路局部分线路为例,通过实例介绍列车运行冲突和进路冲突检测分析的方法。基于Petri网的列车群模型为铁路系统冲突分析问题的处理提供新的途径。 展开更多
关键词 铁路冲突管理 冲突检测 赋时着色petri
在线阅读 下载PDF
基于HTCPN和Extend的装备保障系统建模与仿真 被引量:5
11
作者 彭英武 李庆民 +1 位作者 王睿 毛德军 《系统仿真学报》 CAS CSCD 北大核心 2011年第11期2539-2545,共7页
构建支撑装备保障问题分析和决策的仿真平台是装备保障研究和实践的一条必由之路。装备保障系统仿真模型是仿真平台的重要组成部分。针对装备保障系统的运行流程及其层次性特点,基于层次时间着色Petri网(HTCPN)提出了一种建立在层次化... 构建支撑装备保障问题分析和决策的仿真平台是装备保障研究和实践的一条必由之路。装备保障系统仿真模型是仿真平台的重要组成部分。针对装备保障系统的运行流程及其层次性特点,基于层次时间着色Petri网(HTCPN)提出了一种建立在层次化、模块化和标准化基础上的保障系统Petri建模思路,在此基础上,基于Extend平台设计了装备保障系统仿真模型,说明了基本功能组成模块。最后,以舰艇海上巡航任务条件下的装备保障系统为例,实现了仿真模型NEISSM,开展参数敏感性分析仿真试验,获得了较好的结论,证明了仿真模型设计的合理性和可行性。 展开更多
关键词 htcpn EXTEND 装备保障系统 建模仿真 模型
在线阅读 下载PDF
基于DoDAF和Petri网的预警作战体系研究 被引量:5
12
作者 杨诚 项勇 +1 位作者 张立刚 刘泽平 《计算机工程与应用》 CSCD 北大核心 2015年第5期44-49,101,共7页
预警作战是一种与"时间窗口"因素密切相关的作战样式。采用Do DAF规范化描述方法,建立了预警作战体系的部分体系结构产品,包括作战高级概念图、作战节点连接关系图、作战活动模型图等。针对一个典型的预警作战任务示例,建立... 预警作战是一种与"时间窗口"因素密切相关的作战样式。采用Do DAF规范化描述方法,建立了预警作战体系的部分体系结构产品,包括作战高级概念图、作战节点连接关系图、作战活动模型图等。针对一个典型的预警作战任务示例,建立了该体系的HTCPN模型,并使用CPN Tools工具进行了50 000次仿真试验,统计了仿真结果,并分析了影响任务成败的关键因素。 展开更多
关键词 预警作战体系 体系结构描述 DODAF 层次赋时有色petri
在线阅读 下载PDF
基于HTCPN的工程项目群工作流建模与仿真 被引量:4
13
作者 李海凌 刘克剑 《计算机应用研究》 CSCD 北大核心 2013年第3期792-795,共4页
在工程项目群实施阶段框架模型构建的基础上,基于分层赋时着色Petri网定义了工程项目群实施阶段工作流模型。借助CPN Tools仿真平台,以某工程项目群实施阶段为例进行了实例建模与仿真,验证了基于分层赋时着色Petri网构建工程项目群实施... 在工程项目群实施阶段框架模型构建的基础上,基于分层赋时着色Petri网定义了工程项目群实施阶段工作流模型。借助CPN Tools仿真平台,以某工程项目群实施阶段为例进行了实例建模与仿真,验证了基于分层赋时着色Petri网构建工程项目群实施阶段工作流模型的有效性。该工作流模型能够全面、准确地描述项目群复杂系统的实施全过程,为实现项目群管理中的进度风险分析和流程优化提供技术与方法的支持。 展开更多
关键词 工程项目群 工作流 分层赋时着色petri 建模 仿真
在线阅读 下载PDF
基于HTCPN的胃癌诊疗路径建模与应用 被引量:3
14
作者 田燕 张婷 +1 位作者 吴洋东 张新刚 《计算机应用研究》 CSCD 北大核心 2013年第2期458-461,464,共5页
为建立随病情发展而变化、满足患者体质和需求的诊疗路径,采用分层赋时着色Petri网(HTCPN)进行胃癌诊疗建模分析。利用Petri网时间分析算法和成本分析算法,对并行方案评估对比,获得最终临床路径。通过模拟不同身体状况、不同需求的患者... 为建立随病情发展而变化、满足患者体质和需求的诊疗路径,采用分层赋时着色Petri网(HTCPN)进行胃癌诊疗建模分析。利用Petri网时间分析算法和成本分析算法,对并行方案评估对比,获得最终临床路径。通过模拟不同身体状况、不同需求的患者,自动生成了各阶段诊疗方案,并与真实病历基本吻合,可以为胃癌诊疗提供有效的决策支持。 展开更多
关键词 诊疗路径 分层赋时着色petri 胃癌 petri网经济成本 需求驱动
在线阅读 下载PDF
基于着色赋时混合Petri网的精敏型供应链动态系统建模与仿真 被引量:8
15
作者 王雯 傅卫平 任立鹏 《机械科学与技术》 CSCD 北大核心 2009年第10期1393-1400,共8页
精敏型供应链是精益型与敏捷型两种运作模式混合的动态系统。这类供应链系统的主要特点之一是把批量生产模式与定制生产模式有机结合,而且具有动态网络结构。批量生产活动呈相对较强的连续性,而定制生产活动以及订购、交付、运输活动则... 精敏型供应链是精益型与敏捷型两种运作模式混合的动态系统。这类供应链系统的主要特点之一是把批量生产模式与定制生产模式有机结合,而且具有动态网络结构。批量生产活动呈相对较强的连续性,而定制生产活动以及订购、交付、运输活动则呈一定的离散性;同时,为了适应环境的变化,供应链成员实体的重组导致供应链系统结构具有动态性。因而可以将精敏型供应链看成是连续与离散状态混合的、结构可变的动态系统。根据上述考虑,针对汽车产品,提出基于着色赋时混合Petri网的精敏型供应链系统的动态模型,其中批量生产活动用连续Petri网描述,定制生产活动以及其它活动用离散Petri网描述,而结构动态重组用着色Petri网表达。仿真结果表明:着色赋时混合Petri网模型可以较好地描述精敏型供应链系统的运行机制和动态特性。 展开更多
关键词 精敏型供应链 着色赋时混合petri 动态系统 建模仿真
在线阅读 下载PDF
含过程和控制库所的层次化Petri网模型及应用 被引量:5
16
作者 陈邦兴 吴芳美 《计算机应用》 CSCD 北大核心 2005年第6期1410-1413,共4页
引入一种含过程和控制库所的Petri网模型,增强了Petri网的表述能力,扩展了Petri网的应用范围,并以铁路车站信号联锁逻辑中的进路控制为背景,较详细地给出了该类Petri网模型的实际应用。
关键词 petri 层次petri 计算机联锁
在线阅读 下载PDF
基于颜色Petri网的多agent动态调度建模与分析 被引量:2
17
作者 刘波 罗军舟 宋爱波 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期193-198,共6页
多agent系统是一个典型的分布式系统,其任务调度策略的性能对于整个系统的性能有重要的影响。调度策略研究领域中一个重要问题是如何动态可视化地呈现调度过程。颜色Petri网结合了Petri网和高级程序语言的优点,拥有严格的数学理论基础,... 多agent系统是一个典型的分布式系统,其任务调度策略的性能对于整个系统的性能有重要的影响。调度策略研究领域中一个重要问题是如何动态可视化地呈现调度过程。颜色Petri网结合了Petri网和高级程序语言的优点,拥有严格的数学理论基础,能够对分布式系统进行图形化的模拟。提出了一种基于层次颜色Petri网的多agent调度过程建模方法,该方法对多agent任务处理的全过程进行了建模,模型中通过不同角色的agent对任务进行动态分解和调度,利用Petri网仿真工具,能够在调度过程中考察所提出的调度策略与已有调度策略相比所具有的优点,而且通过对调度简化模型的状态空间进行分析,证明了调度策略的正确性和合理性。目前这种基于Petri网的形式化的可视仿真方法和模型评价方法是其它验证方法难以实现的。 展开更多
关键词 颜色petri 层次颜色petri 多agent调度 动态调度 优先级
在线阅读 下载PDF
BitTorrent协议的Petri网建模方法研究 被引量:3
18
作者 刘靖 叶新铭 李军 《系统仿真学报》 CAS CSCD 北大核心 2011年第11期2312-2320,共9页
BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用,但其交互行为复杂且并发度高,难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法,给出协议的着色Petri... BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用,但其交互行为复杂且并发度高,难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法,给出协议的着色Petri网层次模型,集成模拟、状态空间分析与模型检验等方法对模型的不同抽象层进行分析,确认协议模型有效性,并验证协议行为满足协议需求。BitTorrent协议的着色Petri网层次模型不但为协议开发提供准确、直观的形式规范说明,而且便于协议行为模拟和协议属性分析,有效缓解大规模系统建模分析过程中存在的状态爆炸问题。 展开更多
关键词 BITTORRENT协议 着色petri 层次建模 模型确认 模型检验
在线阅读 下载PDF
基于着色赋时Petri网的堆垛机建模与调度研究 被引量:4
19
作者 罗键 程勇 吴长庆 《计算机工程与应用》 CSCD 北大核心 2009年第1期207-210,共4页
为了直观、简洁地研究AS/RS中的堆垛机运送系统,应用着色赋时Petri网(CTPN)建立了其动态模型。同时针对原有系统的不足,提出了基于双队列缓冲的堆垛机控制策略及双循环作业方式的路径优化策略,从而缓解了该系统中可能产生的阻塞现象,提... 为了直观、简洁地研究AS/RS中的堆垛机运送系统,应用着色赋时Petri网(CTPN)建立了其动态模型。同时针对原有系统的不足,提出了基于双队列缓冲的堆垛机控制策略及双循环作业方式的路径优化策略,从而缓解了该系统中可能产生的阻塞现象,提高了堆垛机运送系统和出入库站台的效率,这对保证出入库的高效、正常、有序的进行有着重要的意义。 展开更多
关键词 着色赋时petri 调度策略 堆垛机 自动化立体仓库
在线阅读 下载PDF
着色Petri网在性能评价中的应用 被引量:6
20
作者 朱连章 隋瑞升 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期145-147,150,共4页
着色Petri网作为一种高级Petri网,引入了时间,颜色集,层次结构等概念,并与编程语言相结合,使之更适合对大型复杂系统的建模与分析,具有更强的数据处理能力。利用CPN Tools为模型加入多个数据监控器(Monitor),得到多种相应的性能分析结果... 着色Petri网作为一种高级Petri网,引入了时间,颜色集,层次结构等概念,并与编程语言相结合,使之更适合对大型复杂系统的建模与分析,具有更强的数据处理能力。利用CPN Tools为模型加入多个数据监控器(Monitor),得到多种相应的性能分析结果,从而使得对系统性能的分析更加精确,同时实现了对系统行为仿真和对系统行为监控的完全分离,解决了通过马尔科夫过程求解进行性能分析得局限性的问题。 展开更多
关键词 着色petri 时戳 仿真 性能评价
在线阅读 下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部