基于多种群协作混沌智能算法的舰载机出动调度

为了提高舰载机的出动效率,有必要对舰载机出动调度问题进行研究,为此提出了利用多种群协作混沌智能算法求解舰载机出动调度问题.首先对舰载机出动调度问题进行数学建模,将其转换为带有约束条件的多目标函数求最优解的问题;其次建立舰载机出动调度所需基础模型,以库兹涅佐夫号航母某一典型的出动任务为例,分别利用以融合多种群和混沌局部搜索后所改进的粒子群算法(HPSO)及普通粒子群算法(PSO)为核心的方法对该调度问题进行求解;最后进行了仿真实验,结果表明,HPSO算法在收敛性、平稳性及所求解结果质量等方面都优于PSO,其求解时间和所求解结果也基本满足实际使用的需要.因此,可以利用HPSO算法对舰载机出动调度问题进行求解.     

蒙特卡罗法的舰载机高峰出动仿真

研究舰载机准确出动架次率问题,舰载机高峰出动架次率(SGR of Surge Operation)是美海军航母战斗群作战能力的关键因素,为获得给定条件下舰载机的高峰出动架次,针对舰载机高峰出动的真实流程,考虑到舰载机维修、保障、出动回收等作业以及波次出动的具体情况,建立了利用蒙特卡洛(Moute Carlo)法的非稳态网络排队仿真模型.仿真程序能求得不同作业周期、不同周期类型时舰载机高峰出动架次,同时获得其它相关排队参数的实时数据.与美国海军实测数据的对比显示误差在可接受的范围之内,结果验证了仿真方法的有效性,可用于舰载机出动架次的计算中.     

基于GSPN的GERTS仿真模型研究

在分析维修设备保障流程建模与仿真重要性的基础上,分析了GERTS模型和广义Petri网(GSPN)模型在流程仿真中的应用特点,提出了基于嵌入式广义Petri资源约束网的GERTS仿真模型,并给出了具体的仿真算法.嵌入GSPN约束网的GERTS仿真模型,解决了GERTS难以对具有较强资源依赖性的过程很好描述的缺陷,可用于大型设备维修流程的仿真建模分析.最后,文章针对某部队对武器装备保障流程进行了建模和仿真实例分析,得出了资源配置的最优组合.并应用MATLAB对仿真结果进行了曲线拟合分析.     

时间Petri网在即时检验流程建模中的应用

针对即时检验系统的设计与开发建模问题,提出一种基于时间Petri网的并发系统建模分析方法,为即时检验流程设计建立较为准确的信息化模型。通过将活动持续时间概念引入Petri网模型中,提出了适用于即时检验系统建模的时间Petri网建模方法,并设计了嵌入Petri网模型中的调度仿真器协助分析、优化即时检验控制过程。仿真实验结果表明所提出的时间Petri网建模方法在可达节点和运行时间等方面能够满足并行多类别即时检验调度与控制系统的流程建模实际需要,为流程仿真和分析提供有力工具,从而辅助系统设计者对即时检验系统进行优化。     

应急预案流程的Petri网建模方法研究

为了提高应急信息系统模型的语义基础,提出了一种基于Petri网的应急预案流程的建模方法。以ABC模型为上位本体建立了应急预案流程本体,提出了应急预案流程的Petri网建模过程,并定义了应急预案流程中本体和层次Petri网的映射规则。使用该方法对某公路桥梁抢修应急预案流程进行Petri网建模,并通过仿真分析验证了建模方法的有效性。     

基于改进分层任务网的指控行为模型

指挥控制行为模型是军事分析仿真系统的主要建模对象之一。通过改进的分层任务网对军事分析仿真系统的指控行为进行建模。指控行为模型由统一的任务描述规范和通用任务管理器组成 ,可以克服现有模型中存在的建模难度大、模型扩展性弱和使用灵活性差的缺点。最后通过一个空海对抗的实例说明了该指控模型的应用。     

基于扩展WF-Net的配电网故障诊断与抢修流程优化

基于扩展WF-Net对配电网故障诊断与抢修流程进行了建模与优化。首先将流程涉及的信息系统封装成具有松散耦合特性的 IT 服务;然后扩展了 WF-net 的时间集和颜色集,提出了基于 IT 服务的赋时有色工作流网（TCWFN-ITS）,以显式地表达业务流程与IT服务的调用关系。最后,针对某电力公司配电网故障诊断与抢修流程,采用TCWFN-ITS进行建模,使用Petri网建模工具CPN Tools进行仿真分析,通过并行执行任务、合并任务、优化服务占用端口数量等手段,实现了配电网故障诊断与抢修流程性能提升和 IT 服务的平衡配置,验证了所提方法的可行性和有效性。     

一个基于TWF-net的扩展时间工作流模型及其应用

时间约束是分布式企业工作流程建模中的一个重要因素．基于时间Petri网工作流模型(TWF-net)，通过分析TWF-net模型不足之处，建立了一种新的时间Petri网工作流模型——扩展时间Petri网工作流模型(XTWF-net)．通过构建规则，可将多个TWF-net合并为一个XTWF-net，以描述并行流程中的时间约束；通过引入与时区相关的时间映射函数，XTWF-net可以描述分布于不同时区的流程．最后给出一个利用XTWF-net描述分布式企业中业务流程的实例．     

基于着色时间Petri网的工作流模型及其性能分析

为了将着色时间Petri网的并行式工作流模型应用于产品数据管理系统,在工作流建模阶段对工作流的静态和动态结构性能加以分析.采用活动扫描法作为工作流系统行为的仿真策略,研究了工作流模型到着色时间工作流网模型的转换过程.给出了用可达图检验工作流程中是否存在死锁和陷阱的判定定理.以一种循环组件的或分支跳出并行流程的审批工作流为例,对论述的定理和方法进行了分析和验证.     

军用飞机保障能力评价建模与仿真

在对军用飞机维修保障过程分析的基础上，运用离散事件建模方法和计算机建模与仿真技术建立了飞机维修保障仿真模型。仿真出飞机使用可用度（A0）、出动架次率（SGR）、备件延误时间（SDT）、系统无故障工作时间（MTBF）等指标，来评价保障能力。仿真模型可以量化分析影响军用飞机保障能力的各种因素，显示、预测保障系统运行状态，提供辅助决策。通过改变任务计划、备件策略、维修策略。做动态敏感性分析。可以评价不同方案的维修保障能力，改进现有维修保障系统。仿真模型目前应用于航空兵部队团级保障能力评价，今后还将对未定型飞机开展维修保障仿真验证。     

基于资源约束PETRI网的建模和资源组合优化

基于传统的广义随机Petri网,改进定义一种带有资源约束的Petri网。资源约束Petri网中的每个时间变迁,都有一个资源关联,并且其发射速率约束于被关联的资源。使用该资源约束Petri网,可以对企业业务流程进行建模和优化。该模型中不仅包括工作流中各个任务的相互关系,同时包括可以被该工作流使用的各个资源。通过一个分枝限界算法的应用,可以在较少的仿真次数内,对资源配置进行优化,使得整个流程的性能最高。     

基于着色Petri网的工作流模型研究

针对传统Petri网建模方法的不足,研究了通过资源结构建模的工作流建模方法.在着色Petri网的基础上提出资源/任务网(R/T-net),并给出基于R/T-net的工作流建模过程.R/T模型能够有效地实现产品数据结构和过程结构的统一,资源流对任务流的控制以及模型的仿真.     

基于Petri网的Web服务流程建模方法研究

随着网络应用的蓬勃发展,Web服务越来越普及。在实际应用中,往往需要对已有Web服务进行集成。目前通常的企业Web服务集成过程,都是先根据企业的业务流程建立相应的Web服务流程模型,再由此建立应用系统。而目前已有的建模手段的共同问题是：无法确保模型的正确性和与具体业务的紧密吻合。该文提出一种基于Petri网的Web服务流程建模方法。该建模方法通过将Petri网引入建模过程弥补了原建模过程中无法直观感受模型的不足,通过建立一套完备的形式化定义保证了建立模型的正确性,通过将紧同步随机Petri网引入建模过程可以更好的描述实际业务。通过使用该方法, 可以很好地解决现在Web流程建模过程中存在的问题。此方法也为其他领域中的流程建模仿真提供了一种很好的解决问题的方法和思路。     

基于Petri网的流程挖掘算法设计与应用

讨论了利用Petri网对应用系统日志进行建模和分析的方法,给出一个日志过滤、简化及转换模型的方法,提出了一个基于Petri网的专家挖掘算法,其中专家是指对某个业务流程特别熟练的人.以广州地铁法律咨询流程为例,介绍了该流程的建模和模型的简化算法.使用该算法可以有效的对操作人员进行评估和考核,有利于资源的合理配置.最后,以法律咨询流程日志为基础进行了实验,实验结果表明,算法认准率达90%以上,且通过模型简化可有效减低算法时间复杂度.     

面向钢铁企业能源流程的逐步形式化建模方法

针对钢铁企业能源流程的特点,以及以往能源建模存在的不足,提出一种从UML到Petri网模型逐步形式化的建模方法。所建模型可以通过仿真平台进行验证评估,对能源流程进一步定性和定量分析,深入理解、优化,并可以根据反馈结果对UML模型进行修改,有助于提高系统编码实现的准确性,保证工程技术人员高效建模。以炼铁系统的能源流程系统建模为例,对方法进行说明。     

基于OPN的指控能力包服务动态组合方法研究

服务组合方法对于分布式网络环境下基于SOA的军事应用系统的综合性能影响很大.提出了一种基于OPN的服务动态组合方法的解决方案.首先定义了基于对象Petri网的指控能力包服务描述和组合模型,对服务组合的数学算子进行了分析和证明,而后给出了基于OPN的服务动态组合流程,最后使用国防科大对象Petri网建模仿真环境工具对提出的服务组合模型进行建模仿真,并对实验数据进行了分析.     

一种基于时间Petri网的工作流模型

面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.     

基于Petri网与SimEvents的半导体晶圆生产线建模与仿真

SimEvents与Petri网相结合是一种很好的复杂生产线建模仿真方法,应用这一方法建立了一条300mm晶圆生产线的仿真模型.描述了其Petri网模型建立的总体流程和各个详细步骤,以及在SimEvents环境下实现Petri网模型并进行仿真的关键技术.在此基础上,对晶圆生产的不同调度方案分别进行了仿真,并把仿真结果进行了比较,从而验证了仿真建模方法的正确性.     

基于Petri网的工作流模型时间性能分析

利用高效的建模技术来构建复杂的业务流程,一方面可以提高模型形式化表示的可读性,另一方面便于进行模型性能分析,确保模型在投入使用后的正确性。阐述了利用Petri网技术的严格语义,来构建流程模型并进行性能分析的过程。首先指出时间性能对工作流性能分析的重要性,然后介绍了Petri网和工作流网的定义、工作流基本路由结构的Petri网表示,及其对应的性能等价公式,最后在这些基本定理的基础上,通过一个购车流程的实例来构建模型,并对其时间性能进行分析,证明了利用Petri网技术建模的合理性和优越性。     

采用随机Petri网的嵌入式机载软件可靠性检测

针对嵌入式机载软件设计中存在的典型缺陷问题，结合嵌入式机载软件任务调度特性，提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法，以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系统行为建模，并给出典型缺陷的检测策略和判定准则，然后通过对Petri网模型进行仿真验证，检测系统是否存在此类设计缺陷；并给出了软件设计的运行流程的仿真验证算法，以支持对相应设计的可靠性检测。通过与其他可靠性检测方法的比较，表明了该方法的有效性。