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

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

基于HTCPN的飞机维修保障过程建模与仿真

飞机维修保障过程模型是研究飞机维修保障系统结构与运行的基础,是典型的离散系统,层次赋时着色Petri网(HTCPN)有多种优点,是描述飞机维修保障过程的有力工具。论文介绍了HTCPN的建模方法,分析了飞机的维修保障过程,在CPNTools平台上,建立了基于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的虚拟建设工作流管理系统框架设计

构建了支持虚拟组织业务协同工作的信息集成平台。基于HTCPN定义工程项目建设工作流模型,完整描述工程项目建设过程中的静态结构和动态行为,在此基础上,采用工作流技术,参照WfMC提出的工作流管理系统参考模型,提出支持面向分布应用的虚拟建设工作流管理系统框架结构,并对系统模块和接口进行了详细论述。

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

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

基于HTCPN的集装箱码头物流系统建模与仿真

为提高集装箱码头物流系统运作效率,建立了基于分层着色赋时Petri网(HTCPN)的系统模型,并使用CPN Tools软件进行了仿真。通过模型仿真给出了在一定条件下船舶、泊位、岸桥、集卡和堆场之间的关系。结果表明,该方法可用于对集装箱码头物流系统存在的瓶颈、设备配置等进行分析和优化,具有较高的应用价值。

基于HTCPN的列车追踪车地通信过程建模研究

为了对高速铁路移动闭塞系统(Moving Automatic System,简称MAS)进行更加精确的仿真,利用CPN Tools建立高速铁路列车追踪运行车地通信过程的CPN模型,应用CPN ML语言模拟无线通信模型中数据包的丢包现象;引入时间标志对模型中数据传输的时间特性进行分析。仿真过程中为模型各个控制环节定义数据采集监控器,连续仿真3次分析追踪运行车地通信信息传输的时间特性。结果表明:该分析方法可以得到准确的性能分析报告,仿真结果对高速铁路中MAS系统开发阶段的形式化验证具有一定的借鉴意义。

基于NB-IoT的仓储管理系统设计及其HTCPN建模

NB-IoT技术具有广覆盖、大连接、低功耗、低成本等特点,能够同时满足室内和室外定位需求,且具有随遇接入和安全架构等方面的优势,更适用于现代仓储管理。提出了一种基于NB-IoT的仓储管理系统,给出了该系统的总体架构及功能和组成,描述了该系统的信息感知过程和以出库为代表的业务流程,并利用HTCPN方法进行建模仿真;新方案在网络状态不好、检验时出现信息不一致等情况下均具有比较明显的任务完成时间优势,有效提升了仓储管理效率。

基于活动图和HTCPN的列控系统等级转换建模分析

在CTCS-3级列控系统中,为了保证C2级向C3级场景转换的过程中列控系统实时性和安全性,采用统一建模语言(UML)活动图和分层赋时有色Petri网Hierarchical Timed Colored Petri Net(HTCPN)对等级转换过程进行建模。利用UML活动图对C2级向C3级转换过程中车载设备、GSM-R网络、无线闭塞中心(RBC)之间信息流的传递过程进行建模,再从UML活动图中提取节点信息转换成HTCPN模型进行动态验证。通过对模型提取的数据仿真,分析列车行车速度和消息重发时间间隔对等级转换场景转换成功率的影响,验证模型的有效性。在CTCS-2级控车模式下,以顶棚速度(250 km/h)进行场景等级转换,转换成功率提高了0.2%。

基于分层时延CPN的轧钢物流系统建模

用户需求的多样性和随机性会导致生产过程物流异常复杂。针对该问题,提出一种基于分层时延着色Petri网(CPN)的轧钢物流系统模型,采用自顶向下的建模方法,利用CPN对轧钢系统中功能相同的设备进行不同着色,从而降低Petri网的规模以及防止系统模型的空间爆炸问题。实验结果表明,该建模方法能真实反映复杂系统的特点,并为其优化提供依据。

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

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

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网的临床路径建模

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

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

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

面向工程项目群实施阶段的HTCPN过程建模

构建了一个能够准确表达工程项目群实施阶段系统性、动态性、随机性的过程模型。在对工程项目群实施阶段特点分析及框架模型构建的基础上,基于分层赋时着色Petri网定义了工程项目群实施阶段过程模型,该模型能够准确描述工程项目群实施过程中并发、同步、并行和随机性等系统特征,揭示项目群系统内部动态行为特征,为全面、准确地掌握项目群实施全过程、实现项目群实施阶段的流程优化提供有力的技术与方法支持。借助CPN Tools仿真平台,以某工程项目群实施阶段为例进行了实例建模与仿真,验证了基于分层赋时着色Petri网构建工程项目群实施阶段过程模型的有效性。