基于嵌入Petri网的GERTS维修保障流程仿真模型研究

在分析维修保障流程建模与仿真重要性的基础上,分析了GERTS模型和Petri网模型在流程仿真中的应用特点,提出了基于嵌入Petri资源约束网的GERTS仿真模型,并给出了具体的仿真算法。该模型通过在GERTS模型中嵌入Petri资源控制网,解决了GERTS难以对具有较强资源依赖性的过程很好描述的缺陷,可用于复杂流程的仿真建模分析。最后,文章针对某型生产设备的维修保障流程进行了实例分析。     

支持产品创新开发的过程链知识建模

产品开发过程链建模有利于产品创新知识的搜寻。提出基于广义知识管理的产品创新开发过程链。研究支持产品创新开发的过程链模型及其知识建模方法。过程链模型包括产品描述模型、开发资源模型和开发过程模型。构建产品创新开发过程链的广义知识模型，并采用KBE／Intent语言进行建模。给出断路器机构系统创新开发过程链知识建模实例。应用结果表明产品开发过程链知识建模能有效地集成企业已有的知识资源，实现产品创新开发知识的共享和重用。     

基于可执行规格说明的维修机构建模与仿真

为分析维修机构的性能,采用基于赋时有色Petri网的可执行规格说明语言建立了维修机构模型。模型采用自顶而下逐层分解细化、组件重用和基于状态的Petri网建模方法,对维修机构进行维修资源分析,并对动态组成维修小组和维修过程的系统状态变化过程进行了详细描述,准确反映了维修机构的维修等待和资源竞争现象,同时将定量关系嵌入到描述模型中。通过模型执行,以动画显示系统状态的变化,分析系统性能。最后给出了一个建模与仿真实例。实例表明,基于可执行规格说明建模和仿真方法是研究维修机构运行的有效工具。     

典型陆军部队装备维修作业能力评估系统仿真建模研究

针对陆军部队维修作业仿真评估需求,提出了一套仿真模型设计方案。分析了部队维修作业能力仿真评估原理,进而明确了评估模型需求;给出了维修任务生成、维修保障系统建模方案;结合备件调度和保障设备使用过程,设计了维修保障资源模型。为陆军部队装备维修作业能力评估提供建模基础,用于支撑部队维修作业能力仿真评估系统的设计和应用案例研究。     

基于元模型的复杂系统建模方法研究

提出了基于元模型的复杂系统建模方法。并且给出了它的实现方案。以此为基础，实现了一个原型系统的元模型实例－－复杂系统模型，将这种元建模技术于复杂系统信真平台中系统模型的建立，可以使构成复杂系统的各子系统模型在比模型更高的层次上进行集成，从而加速了复杂系统仿真仿真的设计，开发和实现。     

钢铁企业工序能耗模型及其到混杂Petri网的转换

模型方法是研究钢铁企业生产过程中复杂能源消耗系统的重要手段,也是企业系统节能的基础。本文针对现有模型存在的问题,根据钢铁企业能源流程的自身特点,引入系统层次化思想,从工序角度描述能耗状况,提出一种针对钢铁企业的层次化资源驱动工序能耗建模(HRPM)方法,基于该方法实现某钢铁企业焦化工序实例的建模,为复杂能源消耗系统的建模提供可行方法;并给出了HRPM到混杂Petri网模型的转换机制,为分析系统的行为特性打下基础。     

复杂系统计算机建模初探

探索复杂系统建模的方法论、计算机建模过程及可使用的建模软件。复杂系统建模的方法论可以是整体模型法;计算机建模可使用原型法;建模软件可使用支持整体模型法和原型建模过程的元模型软件。元模型软件支持对未知领域的探索和构造新的模型形式。提出电子数据表是适于众多领域建模的元模型软件。简要分析了元模型软件的产生和构建。为提高复杂系统建模的有效性,应该重视对元模型软件的使用、分析和归纳。     

基于资源竞争的协同式维修操作过程建模

大型复杂装备的维修过程通常需要多个维修人员的协同配合操作,使得具有独占性的维修资源在分配和使用时存在一定的竞争性。对协同式维修操作过程特点及其协同模式进行分析的基础上,基于颜色Petri网对其相关的维修对象、维修人员和维修资源等要素进行行为分析和状态变换描述。在考虑维修操作时间开支的基础上,基于资源竞争机制建立了大型复杂装备的协同式维修操作过程模型。对避免资源竞争和并发冲突的相关策略进行了分析和论述,开发了大型复杂装备通用化CMOP仿真平台,为大型复杂装备协同式虚拟维修过程建模和仿真实现提供技术支撑。     

重整移动床反应器实时动态仿真模型的建立

根据实时仿真和在线优化控制的需要，提出了一种兼顾“模型的精确性”与“方法的有效性”的复杂过程对象的建模方法，并以宽馏份连续重整反应器为对象，详细介绍了其建模过程，最后给出了模型运行的结果。     

一种工作流模型正确性验证方法

工作流形式化建模一直是工作流管理研究的重点和热点.目前的一些形式化建模工具都主要注重工作流的过程建模部分,即工作流的路由.但是工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统.引入一种新型的图形结构--元图,提出基于元图的基本活动单元的完整工作流模型,重点给出了这种工作流模型的正确性定义,并进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系.     

基于广义微分Petri网的混合系统仿真方法

针对混合动态系统仿真的特点，建立其广义微分Petri网仿真模型，将混合系统的仿真统一于同一建模框架下，在此框架下，离散事件和连续状态变化对混合系统演化的推动作用均可以通过仿真模型中的变迁激发来完成，通过对广义微分Petri网的仿真过程进行分析，给出了基于该模型框架的仿真算法，并对仿真过程中出现的由资源共享引起冲突现象及其解决方案进行分析，最后讨论了仿真系统的死锁及其避免问题。     

基于高级对象Petri网的工作流过程建模研究

通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri 网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri 网的建模方法,以提高模型的可重用性,加强对动态流程的描述能力,降低建模过程的复杂度,解决临界资源的共享问题.通过一个具体实例阐述了如何建立高级对象 Petri 网模型,并通过活性分析算法,验证模型对流程描述的正确性和有效性.     

基于带禁止弧的CTPN的维修资源管理模型研究

根据维修资源管理方式,结合时间有色Petri网理论,提出了带禁止弧的时间有色Petri网,并利用带禁止弧的时间有色Petri网建立了维修资源管理模型,结合CPN Tools进行了仿真,仿真结果表明带禁止弧的时间有色Petri网能得到更好模拟实际的资源管理过程,并能得到维修过程的总体情况,资源的利用率等参数.     

基于仿真的设备检修流程优化

针对设备维护的流程优化问题,建立了设备检修的广义随机Petri网流程模型,在Artifex工具平台上实现了设备检修流程的长周期真实模拟,依据仿真结果完成了某石化企业2#聚合装置检修方案的可靠性评估和检修流程优化,企业的具体检修实践验证了检修方案的可靠性和有效性.     

基于Petri网的软件维护过程建模及应用分析

软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进行分析。在此基础上,关注Petri网中各变迁的触发时刻,估算维护周转时间、资源利用率等指标,从而为维护过程的优化和改进提供决策上的支持。     

基于随机Petri网的装备维修保障系统性能分析

考虑维修能力不足和备件短缺等因素, 定义了装备维修保障过程的广义排队时间、广义维修服务时间等的系统性能参数. 建立了基于随机Petri网的装备维修排队问题的形式化描述模型, 研究了模型的简化解析分析和仿真分析方法. 结合实例分析了改进系统性能的途径, 验证了解析方法的有效性. 研究表明, 提高维修小组能力和备件满足率是提高维修保障系统性能的有效途径.     

基于TCPN的装备维修保障资源管理模型

探讨了一种带优先级的时间有色Petri网,并利用其建立了一种装备维修保障资源管理模型,尔后利用CPNTools进行了仿真;分析了维修过程的总体运行、资源利用率等情况,提出了资源优化配置和调度的方法。     

HTCPN在装备保障业务流程建模与优化中的应用

研究了Petri网在装备保障业务方面的应用,针对装备保障业务特点,讨论了基于HTCPN的装备保障业务流程建模与优化方法,这种方法克服了普通Petri网建模的不足之处,既可以给出简单直观的模型顶层结构,又可以根据需要对模型进行不同程度的细化,并有利于对模型进行分析和仿真实现。研究了基于HTCPN的装备保障业务流程模型性能评价指标,以某型装备维修过程为例,建立了其HTCPN模型,通过仿真与定量分析提出了优化方案,并对优化前后的业务流程进行了性能对比。     

基于GSPN的导弹多层级测试性需求建模与指标评估

针对目前导弹测试性需求建模尚未成熟, 开展测试性需求分析难度较高的问题, 提出一种基于广义随机Petri网(generalized stochastic Petri net, GSPN)的测试性需求建模方法。在分析导弹结构的基础上对导弹测试性需求问题进行了建模, 给出导弹两级GSPN模型, 深入分析其导弹系统的故障检测及维修过程。根据GSPN模型同构于嵌入马尔可夫链(embedded Markov chain, EMC), 以实存状态集和消失状态集表征库所变迁, 采用同构法对测试性指标进行求解。将多层级GSPN模型分解化简, 减少状态空间数量的求解。对导弹的GSPN模型进行定性和定量分析, 求解不同层级测试性指标最后通过仿真计算, 与系统要求可用度误差不超过0.7%, 验证了多层GSPN模型的可行性和分析结果的可信性。