基于Petri网与萤火虫算法的任务分配可视化建模

为了解决民用飞机故障诊断中任务分配问题,提出了使用新型离散萤火虫算法对任务分配问题进行研究,并在此基础上,使用Petri网进行可视化建模与仿真。新型的萤火虫算法离散方法,使得原本应用于连续问题的萤火虫算法适用于任务分配问题,这样使Petri网建模的复杂性降低,更利于建模。最后,对一实例进行分析并进行可视化建模与仿真,动态的仿真过程及最终结果验证了模型的可行性及算法的正确性。因此,使用该方法可有效地降低建模的复杂性,提高任务分配的效率,同时能够应用于协同可视化诊断平台中的任务分配模块。     

基本作战单元预防性维修保障过程建模仿真

为分析评价基本作战单元预防性维修保障方案,计算分析预防性维修时间,根据系统工程建模思想描述了基本作战单元的预防性维修过程,提出了故障发生比、更换比和报废比参数,建立了仿真模型,并根据Monte Carlo仿真原理给出仿真算法,为型号工作人员和装备使用人员进行保障性分析提供了理论方法和技术手段,最后以某型飞机组成的基本作战单元为例,对其预防性维修保障方案进行仿真试验验证,分析了预防性维修过程的改进对保障资源和维修时间的影响.     

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

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

化工过程大范围动态仿真可视化建模环境

给出了自主开发的面向化工过程的可视化建模环境,它能够支持化工过程仿真、优化控制等需要的大范围动态模型地建立、代码的自动生成、算法测试和调试验模的全过程。系统采用结构化面向对象的设计方法,在设计中充分考虑了系统的开放性、集成性以及调试验模的便利性。平台采用Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ结构、Ｗｉｎｄｏｗｓ ＮＴ图形环境和Ｖｉｓｕａｌ Ｃ＋＋、Ｖｉｓｕａｌ ＢＡＳＩＣ相结合的程序设计语言。并已成功地应用于     

基于Petri网的工作流建模及仿真

本文将Ｐｅｔｒｉ网应用于工作流建模和仿真,提出了用Ｐｅｔｒｉ网描述工作流程的详细过 程以及分析工作流网的详细方法．     

基于可视化建模方法的燃气轮机仿真研究

应用可视化建模仿真系统软件对燃气轮机系统的建模方法进行了初步研究,实现了对燃气轮机基本功能和特性的模拟仿真,可以为后续开发适用于培训人员和事故模拟的全范围仿真模拟机提供技术路线的参考与验证。     

基于ARENA的某火炮维修保障过程建模与仿真

火炮维修保障过程模型是研究火炮维修保障系统结构与运行的基础,Arena是描述装备维修保障过程的有力工具。分析某火炮维修保障系统,构建其维修保障过程、备件与维修人员需求模型以及可用度模型,设计并实现基于Arena的某火炮维修保障过程仿真系统,通过仿真输出各主要资源的利用情况,找出了维修保障系统结构与运行的薄弱环节,进而对保障系统进行了改进与优化,提高了装备维修保障系统的运行效率。     

基于Petri 网和语义网络的虚拟维修过程建模与应用

针对当前虚拟维修过程中模型庞大,维修流程不可反复,部件间关系描述 混乱等问题,论文提出一种Petri 网和语义网络结合的过程建模方法——TJ(Training Join)网。 TJ 网上层利用语义网络对部件进行层次结构分解和资源规范聚类,实现子部件间逻辑互联; 下层运用Petri 网的变迁和触发规则提炼出Petri 网元素模型,提高模型的通用性和建模效率。 同时模型中的状态收集模块可实现部件属性状态间信息共享。最后,以虚拟维修平台中飞机 电子设备架的维护为例,验证了TJ 网的有效性。     

基于Petri网的建设工程项目实施阶段资源建模与仿真*

基于分层赋时着色Petri网,构建了一个能够准确表达资源配置、任务持续时间及信息传递的资源模型,以便有效进行建设工程项目实施阶段的资源管理和优化配置.在建设工程项目实施阶段资源特点分析的基础上,对分层赋时着色Petri网中的非空颜色集合进行定义,并对资源管理中分层建模、资源分配和资源归还基础模型进行了研究,解决了基于分层赋时着色Petri网构建建设工程项目实施阶段资源模型的关键问题.最后,以某工业与民用建筑的实施阶段为例,进行资源管理模型的构建和仿真分析,验证了基于分层赋时着色Petri网构建建设工程项目实施阶段资源管理模型的正确性和有效性.     

基于Petri网模型的装备使用保障性仿真与优化

在分析现有建模与仿真方法的基础上,采用Petri网与Matlab相结合的方法,对装备使用保障过程进行建模与仿真,实现对装备使用保障要素中保障设备和保障人员的优化。     

基于模糊Petri网的瓦斯突出空间模型

瓦斯突出相关影响因素具有明显的时空特性,煤层突出危险程度的判别是一个多因素决定的模糊事件,模糊Petri网在离散事件动态建模具有突出的优势。在分析瓦斯突出空间数据分布及模糊性应用基础上,对比分析基本Petri网和模糊Petri网的知识表示,结合瓦斯突出各因素空间分布的特点,扩展了模糊Petrie网的相关组件成分,建立基于模糊Petri网的瓦斯突出空间模型,使瓦斯突出影响因素在不同的空间位置通过空间模型表示出来,进一步描述了瓦斯突出空间位置动态转换,在实际预测中具有现实的意义和可操作性。     

基于Petri网的建设工程项目实施阶段工作流建模与仿真

构建一个能够准确表达实施过程系统性、动态性和不确定性的工作流模型是实现建设工程项目实施阶段工作流管理与控制的有效途径。在对建设工程项目实施阶段工作流模型特点分析及工作流概念模型构建的基础上,基于分层赋时着色Petri网构建建设工程项目实施阶段工作流模型。通过运行该工作流模型,能够获得实施阶段的信息流、资源流、异常处理、持续时间等抽象内容,不仅为实现建设项目实施阶段的工作流管理与控制提供有力的方法支持,同时也是Petri网建模技术在建设工程领域中的应用拓广。借助CPN Tools仿真平台,以一般工业与民用建筑的实施阶段为例进行工作流模型的构建与仿真,验证了基于分层赋时着色Petri网构建建设工程项目实施阶段工作流模型的正确性和有效性。     

用双枝模糊逻辑和模糊Petri网构建的攻击模型

以双枝模糊逻辑和模糊Petri网（Fuzzy Petri net,FPN）理论为基础,定义了一种全新的网络攻击模型BBFLPAN,将网络攻击中对攻击起促进与抑制作用的两方面进行综合考虑与分析,用变迁表示攻击、防御行为的产生发展过程,库所表示系统所处的状态,将网络攻击与防御行为和攻击与防御结果进行了区分,直观地表示网络攻击的演变情况。同时结合双枝模糊逻辑,分析了BBFLPAN模型的基本推理规则,并提出了BBFLPAN的推理算法,并通过实验验证了算法的正确性。将对网络攻击实施起正反两方面的因素一起考虑和分析,使其对网络攻击的描述更加切近实际情况。     

基于双枝模糊决策与模糊Petri网的攻击模型研究

以双枝模糊决策和模糊Petri网(FPN)理论为基础，定义了一种全新的网络攻击模型BBFPAN。将网络攻击中对攻击起促进与抑制作用的两方面进行综合考虑与分析，用变迁表示攻击、防御行为的产生发展过程，库所表示系统所处的状态，从而区分了攻击行为和攻击结果，直观地表示网络攻击的演变情况。同时将变迁输入库所集所对应的因素作为决策影响因素，而将变迁作为一个决策，通过双枝模糊决策分析来判断输出库所集中库所的属性。在双枝模糊决策分析基础上，结合一种不确定推理方法，提出了BBFPAN的推理算法，并通过实验验证了算法的正确性。将对网络攻击实施起正反两方面的因素一起考虑和分析，对网络攻击的描述更加切近实际情况。     

基于Petri网的FMS物流系统建模与仿真

在建立FMS物流系统Petri网模型的基础上,采用“映射”思想,将Petri网模型转化为物流系统的仿真程序,提出了库所映射为程序数据、变迁映射为程序函数、系统子网映射为FMS系统基本类的映射方法,通过实例仿真验证了软件程序与模型的一致性。     

基于扩展Petri网的系统建模及形式化验证方法*

嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求,但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展,提出了实时有色Petri网模型,能够对系统的时间属性进行模拟和评估;参考实时有色Petri网模型到时间自动机的语义转换规则对模型进行转换,可以利用时间计算树逻辑对系统的实时性、安全性和可靠性进行形式化验证。以列车通信网络控制器的双线冗余控制模块的建模和形式化验证为例,证明了该方法的有效性。     

基于Petri网的服装供应链仿真模型

为获得服装供应链运行决策的最佳方案,提高服装产品的快速响应能力,采用面向对象Petri网技术构建了基于节点响应时间的服装供应链动态仿真模型,并运用Flexsim软件,对一个五级服装供应链仿真模型进行了仿真计算。仿真结果发现,市场需求的不确定对该服装供应链运作效率有较大的影响;当需求量变小时,通过减少供应链生成节点的设备使用数量可以提高供应链运作效率;当需求量变大时,提高设备和人员的工作效率比增加设备数量更能提高供应链的运作效率;供应链节点企业间只有相互协作,才能使供应链运作效率达到最优,实现服装产品对市场需求的快速响应。该仿真模型为服装企业制定有效的产品生产计划,以及提高快速反应能力提供了定量的参考依据。     

基于Petri网的单向PWM整流电路建模

PWM整流电路是交-直-交变流器的重要电路,是包括连续和离散事件的混杂系统,具有并发、异步等特点。Petri网是描述和分析异步并发现象的一种有效的混杂系统建模工具。本文以Petri网为工具,从一个全新角度,建立单相PWM整流电路的模型,对其电路特性进行了分析。     

维修智能决策支持系统及其可视化实现

阐速了一种维修智能决策支持系统的可视化实现，讨论了决策支持可视化的涵义，介绍了可视化维修智能决策支持系统的体系结构及关键技术。该系统支持自动获取维修数据信息，实现了维修故障诊断过程和智能决策的可视化，提高了装备维修保障水平。     

基于Petri网的电子政务工作流模型研究

设计了一种基于Petri网扩展的、用于复杂工作流模型设计的建模方法及其相关规则。并且通过电子政务系统的网上审批子系统为例,详细阐述了用此方法及其相关规则构建Petri网工作流模型的过程。最后通过Petri网理论对模型进行了正确合理性分析,并对网上审批子系统的资源分配情况进行了定量分析。此建模方法简化了Petri网的建模过程,并保证了正确性和合理性资源分配的分析结果对合理的进行资源分配有指导作用。