基于HTCPN的飞机出动架次率仿真测算方法

针对“热保障”条件下飞机出动架次率难以测算的问题,提出一种基于分层赋时着色Petri网(HTCPN)的飞机出动架次率仿真测算方法。首先,根据飞机基层级维修保障工作,建立飞机连续出动模型与保障流程;其次,运用Petri网理论和CPN tools软件,构建基于HTCPN的机务保障全过程计算机仿真模型;最后,通过算例分析找出制约飞机出动架次率的重要影响因素。结果表明,所提方法不仅能够找出影响飞机出动的重要因素,还能为飞机出动架次率测算提供技术支撑,具有一定工程应用价值。

基于HTCPN的工程项目群工作流建模与仿真

在工程项目群实施阶段框架模型构建的基础上,基于分层赋时着色Petri网定义了工程项目群实施阶段工作流模型。借助CPN Tools仿真平台,以某工程项目群实施阶段为例进行了实例建模与仿真,验证了基于分层赋时着色Petri网构建工程项目群实施阶段工作流模型的有效性。该工作流模型能够全面、准确地描述项目群复杂系统的实施全过程,为实现项目群管理中的进度风险分析和流程优化提供技术与方法的支持。

基于HTCPN的飞机维修保障资源配置方法

针对飞机基层级维修保障资源配置问题,提出了一种基于分层赋时着色Petri网(hierarchical timed colored Petri net,HTCPN)的维修保障资源配置方法。首先,根据飞机基层级维修保障工作内容及流程,运用CPN Tools软件,构建飞机维修保障全过程的HTCPN仿真模型,设计仿真时钟折算方法。其次,提出维修保障资源配置规则,建立基于飞机出动架次率的维修保障资源配置模型。最后,算例分析结果表明所提方法能够迅速、准确地完成飞机基层级维修保障资源配置。所提方法为科学制定飞机基层级维修保障配置方案提供了技术支撑,具有一定的工程应用价值。

基于HTCPN的型号产品协同设计工作流模型研究

型号产品协同设计工作流建模是协同设计过程管理的关键环节.针对型号产品协同设计的工作流模型特点,从项目粒度、开发周期和并行度三方面分析,建立了一个在空间上三维分布的工作流模型.分析了Petri网建模方法的不足,采用扩充了定义的HTCPN对型号产品机翼协同设计的工作流模型进行建模和仿真,并从可达性、死锁和任务冲突等性能方面分析了建模的正确性.最后通过在协同设计系统中的应用,表明该工作流模型是正确可行的.

基于HTCPN的实施延迟策略生产系统仿真研究

结合层次赋时着色Petri网(HTCPN)在系统建模方面的优点,构建了延迟与非延迟生产系统模型,指出延迟生产系统相较于非延迟生产系统在库存、满足客户个性化需求等方面的优势。为能准确、及时地获取客户定制信息,在延迟生产系统模型中嵌入制造企业与客户信息交互的平台,并应用CPN Tools对模型进行了仿真。研究结果表明:客户实时参与定制环节能够改善定制生产流程,缩短客户平均等待时间,提高企业定制生产能力,实现客户价值的提升。

基于HTCPN的分段生产物流系统建模与仿真:案例研究

船舶分段生产物流系统是一个典型的资源约束下的多项目调度复杂系统。根据S企业分段生产流程和资源的配置情况,利用层次赋时有色佩特里网(HTCP-net),结合提出的一种适合多项目调度的启发式规则,建立了分段生产物流系统模型。通过CPN tools进行仿真,验证了模型的正确性,发现了流程中的瓶颈,提出了合理的资源配置数量,通过对比证明了本启发式规则较适合船厂的多项目调度。文中的研究方法对复杂的造船流程的建模、仿真和分析具有一定参考价值。

基于分层赋时着色Petri网的临床路径建模

为了实现按病种设计的最佳医疗护理诊治方案和建立临床路径诊治系统,提出一种基于分层赋时着色Petri网(HTCPN)对复杂病种建立临床路径模型的方法,实现了对诊疗状态、信息流转及诊疗活动间的关系的可视化监控.基于标准元语言(SML)函数的设计,所建模型支持诊断决策信息和检查结果的实时输入,同时能够预测分析变异情况并实现路径的自动调整.设定任务时间戳对不同的患者到达速率分布进行数据仿真,基于仿真结果给出资源配置建议以改善临床路径实施效果.实验结果表明,基于HTCPN的临床路径在定性定量分析医疗诊治流程的基础上可以优化临床路径,继而为建立临床路径管理系统提供了依据.

基于赋时层次着色Petri网的流控制传输协议连接建模与分析

流控制传输协议(stream control transmission protocol,SCTP)是一种可靠的传输协议,2007年Internet工程任务组修订了52处缺陷并发布了SCTP新规范RFC4960,但仍缺乏形式化的描述和验证。赋时层次着色Petri网适用于从动态角度对复杂系统进行建模,并能够用形式化的方法进行验证分析。因此,采用基于事件和基于状态的建模方法,提出了SCTP连接的赋时层次着色Petri网模型,该模型考虑了网络时延和丢失以及重传机制。通过CPN Tools分析,验证了SCTP连接过程的预期性质,并在RFC4960中描述的SCTP连接过程中发现了两类死锁问题。

Hierarchical Colored Timed Petri Nets for Maintenance Process Modeling of Civil Aircraft

Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process modeling of civil aircraft. Then, we expound a general method of civil aircraft maintenance activities, determine the maintenance level for decomposition, and propose the methods of describing logic of relations between the maintenance activities based on Petri Net. Finally, a time Colored Petri multi-level network modeling and simulation procedures and steps are given with the maintenance example of the landing gear burst tire of a certain type of aircraft. The feasibility of the method is proved by the example.

印染生产过程的仿真和优化

针对印染生产过程中生产设备之间切换成本、生产设备负荷平衡的问题,分析生产过程中的瓶颈设备来优化瓶颈设备使用、提高利用率,研究订单式印染生产过程.采用分层赋时着色Petri网(HTCPN)技术建立生产过程的模型,并将该模型转化成Witness仿真模型.分析模型的运行状态与结果,对模型进行优化,分析生产过程设备的瓶颈.仿真结果验证了HTCPN模型的可操作性与有效性,从而为企业制定合理的车间生产计划提供理论依据,提高了生产设备和装置运行效率,缩短了生产周期.