共查询到19条相似文献,搜索用时 140 毫秒
1.
构建支撑装备保障问题分析和决策的仿真平台是装备保障研究和实践的一条必由之路。装备保障系统仿真模型是仿真平台的重要组成部分。针对装备保障系统的运行流程及其层次性特点,基于层次时阃着色Petri网(HTCPN)提出了一种建立在层次化、模决化和标准化基础上的保障系统Petri建模思路,在此基础上,基于Extend平台设计了装备保障系统仿真模型,说明了基本功能组成模块。最后,以舰艇海上巡航任务条件下的装备保障系统为例,实现了仿真模型NEISSM,开展参数敏感性分析仿真试验,获得了较好的结论,证明了仿真模型设计的合理性和可行性. 相似文献
2.
3.
4.
针对飞机基层级维修保障资源配置问题,提出了一种基于分层赋时着色Petri网(hierarchical timed colored Petri net, HTCPN)的维修保障资源配置方法。首先,根据飞机基层级维修保障工作内容及流程,运用CPN Tools软件,构建飞机维修保障全过程的HTCPN仿真模型,设计仿真时钟折算方法。其次,提出维修保障资源配置规则,建立基于飞机出动架次率的维修保障资源配置模型。最后,算例分析结果表明所提方法能够迅速、准确地完成飞机基层级维修保障资源配置。所提方法为科学制定飞机基层级维修保障配置方案提供了技术支撑,具有一定的工程应用价值。 相似文献
5.
描述了SOA中基于BPEL4WS (Business Process Execution Language for Web Services)和Petri网的服务建模与分析方法,提出了将基于BPEL4WS的业务流程建模转化为Petri网模型的方法,并在此基础上结合实例,对所得的Petri网模型进行分析,从而验证服务模型的安全性、死锁,循环等方面是否符合要求. 相似文献
6.
7.
针对飞机基层级维修保障资源配置问题,提出了一种基于分层赋时着色Petri网(hierarchical timed colored Petri net, HTCPN)的维修保障资源配置方法。首先,根据飞机基层级维修保障工作内容及流程,运用CPN Tools软件,构建飞机维修保障全过程的HTCPN仿真模型,设计仿真时钟折算方法。其次,提出维修保障资源配置规则,建立基于飞机出动架次率的维修保障资源配置模型。最后,算例分析结果表明所提方法能够迅速、准确地完成飞机基层级维修保障资源配置。所提方法为科学制定飞机基层级维修保障配置方案提供了技术支撑,具有一定的工程应用价值。 相似文献
8.
9.
10.
排队网络模型是一种经典的性能分析模型,提出按照队列的输入过程、排队规则和服务机构三要素,将排队系统转换为层次颜色Petri网模型的建模规则,利用CPN Tools 工具在模型中加入monitor监视器监视模型运行情况,使用Data Collector采集相关数据,进行队列模型的相关指标的性能分析和评价工作,最后给出基于仿真的建模与分析方法的一般操作步骤.这种建模和分析方法不需要对系统作任何的假设和限定,可以对模型的任何方面进行性能分析,扩展了传统排队系统的研究范围,具有很强的灵活性;一些扩展排队网络的建模和分析,如考虑服务台损坏和维修时间的扩展模型,只需对基础的排队网络稍加修改即可完成建模和性能分析,提高了模型的复用性;层次化的建模方法克服了基本Petri网组合状态爆炸的缺点,可以用于大规模的复杂排队系统. 相似文献
11.
12.
提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。 相似文献
13.
14.
生产系统Petri网建模与仿真的优化方法 总被引:5,自引:0,他引:5
对基本Perti网进行了扩充,包括有色扩展、时间扩展、层次扩展、工作流变量扩展和逻辑变迁的扩展,使之能够对流程活动的核心属性做出描述,从活动的水平和流程结构的角度对系统的性能进行深入研究,并提高现有模型的可重用性。在此基础上,提出了优化的着色赋时Perti网模型,使之能够支持制造企业生产系统流程再造,并提出了一种建立在层次化、模块化和标准化基础上的生产系统建模和仿真方法。这种方法可以将实际系统细化为多个层次的模型,并将生产系统局部作更详细的分析,从而避免了分析整个系统的复杂性。而且,可以通过调整模块和修改模块构造新系统,从而实现生产系统再设计的快速化和柔性化。 相似文献
15.
发电机组组合问题的动态规划法中处理时间约束的受控记时Petri网模型 总被引:1,自引:0,他引:1
给出了一种与环境有信息交流的受控记时Petri网系统模型的有关形式语言定义,把这种模型应用于具有时间约束的机组启停状态转换过程,使机组组合的动态规划法每一时段计算费用的状态数小于没有时间约束的该时段机组开停状态组合数,从而既处理了冷、热启动费用和最小启停机时间约束,又减少了计算费用的状态数,将会大大提高算法的效率. 相似文献
16.
运用多Agent系统实现分布、自治的网络管理是构造下一代网络管理系统的一条全新思路。然而,大多数基于多Agent系统的网管模型均采用非形式化的方法进行描述,容易造成人们对模型理解的歧义性和在系统开发过程中的随意性。一种利用有色Petri网对分布式网络管理模型进行形式化建模的方法被提出。利用该方法所建立的形式化模型,能够对分布式网管模型中多Agent系统的组成结构和运行机制进行全面刻画,能够描述模型中用到的Agent的各种特性。 相似文献
17.
18.
基于通信的列车控制系统的有色Petri网模型的研究 总被引:4,自引:1,他引:4
基于通信的列车控制系统是我国铁路信号技术发展的一个重要方向,在分析了基于通信的列车控制系统结构的基础上,采用有色Petri网方法对该系统进行建模仿真研究。有色Petri网是一种以图形形式描述系统结构、功能的建模分析方法,特别适合大型异步并发系统的建模与仿真。为了使模型简洁清楚,提出了分整体层、处理层和功能层三部分建立相应的系统有色Petri网图的分析方法,并用CPN/Tools工具软件进行实现。通过建立一个基于通信的列车控制系统的有色Petri网模型,为最终开发出该系统的软件仿真平台奠定了良好的基础。 相似文献
19.
为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持. 相似文献