基于Petri网的虚拟维修手部动素建模

针对虚拟维修仿真中手部动作仿真难度大、不容易控制的问题,提出基于Petri网手部维修动素模型,将虚拟维修手部动作根据维修操作封装为若干动素单元的组合,降低了仿真计算的难度,从而提高手部动作控制的精确性,以螺栓拆卸的手部动作建模过程为例进行验证。     

Petri网及其维修建模应用研究

Petri网描述异步并发的能力和形象直观的图形表示,使之成为系统维修过程模型描述的有力工具。文章在对Petri网的基本概念、模型描述方法作简要介绍基础上,分别就不可修系统、可修系统、维修资源共享、维修优先级以及维修费用等维修过程问题,进行了Petri网模型描述。     

基于共享子网合成Petri网的协同虚拟维修系统

为实现大型复杂装备多人协同虚拟维修训练,解决并行、资源竞争等协同工作问题,提出了面向协同维修的共享子网合成Perti网的过程建模方法,实现了仿真任务的层次化建模、虚拟样机建模、维修过程建模以及视景仿真及程序驱动等关键技术。分析协同系统的功能需求、基于虚拟现实开发平台EON Studio功能节点的人机交互技术和EON X与Visual Studio 2005的集成通信功能,搭建了协同虚拟维修仿真平台的系统框架,开发了协同虚拟维修训练仿真系统。以某型号船舶主动力装置齿轮箱故障轴承维修拆换为例,说明了协同虚拟维修系统的工作过程并对相关关键技术进行了验证。     

基于扩展广义随机Petri网的舰炮维修过程模型

在舰炮研制过程中,可运用仿真的方法估算其修复性维修时间。为使仿真模型与舰炮修复性维修过程更加吻合,对广义随机Petri网进行了扩展,将其延时变迁与任意分布关联,并对基于时间变迁的维修作业及维修作业之间的关系进行描述;充分考虑故障定位时间对舰炮修复性维修时间的影响,阐述其最优寻找路径以及基于蒙特卡罗方法的维修时间计算模型。最后,以舰员级维修条件下对舰炮发射系统不击发故障的分析与排除为例,建立基于扩展广义随机Petri网的维修过程模型,仿真计算其维修时间与方差,验证了模型的有效性。     

基于Petri网的虚拟维修培训规划技术研究

针对虚拟维修培训中可能存在不同培训任务的问题,建立了基于Petri网的培训任务规划模型,定义了Petri网广义变迁的扩展属性,提出了利用Petri子网来控制具体任务仿真的基本步骤;通过对变迁相关属性的合理编码,解决了从总体Petri网中提取Petri子网的问题,从而实现了Petri网对不同培训任务的可规划性。最后将结论应用于某齿轮减速箱的拆卸任务规划中,证明任务规划方法的有效性。     

基于面向对象Petri网的电子情报处理系统建模

文章简要介绍了电子情报处理过程以及Petri网建模的优点,采用面向对象Petri网构建了电子情报处理系统相关子模型,并对每一个子模型进行详细介绍,综合成电子情报处理系统模型。该模型较好地描述了电子情报处理系统中情报处理过程。为下一步的改进工作提供了依据。     

虚拟流水线生产系统及Petri网建模技术研究

根据船舶生产模式和特点，提出了船舶产品中曲面分段加工的虚拟流水线作业模式。研究了虚拟流水线生产系统的原理和特点，并对虚拟流水线生产关键技术中的作业负荷均衡技术和准时化生产控制技术进行研究。利用面向对象Petri网技术建立虚拟流水线生产系统模型，并将系统决策规则融于模型中，为系统仿真和调度研究创造了条件。     

发射控制仿真系统的Petri网建模与分析

垂直发射装置的发射控制系统是一个分布式实时多任务数据处理系统，具有实时性、并发、异步和多任务等特点。Petri网是描述和分析异步并发现象的一种有效的模型工具。以Petri网为工具，建立了发射控制系统的仿真模型，对其功能和数据流进行模拟，并对其结构性能、任务的忙闲程度、死锁进行了定性分析，实现了模型和程序结构的自动转换，从一个全新角度对发射控制系统进行了分析和评价。     

虚拟流水线生产系统及Petri网建模技术研究

根据船舶生产模式和特点,提出了船舶产品中曲面分段加工的虚拟流水线作业模式.研究了虚拟流水线生产系统的原理和特点,并对虚拟流水线生产关键技术中的作业负荷均衡技术和准时化生产控制技术进行研究.利用面向对象Petri网技术建立虚拟流水线生产系统模型,并将系统决策规则融于模型中,为系统仿真和调度研究创造了条件.     

基于Petri网的现代造船车间工作流建模研究

面向生产过程控制,分析了现代造船车间生产作业流程与作业活动,提出以工作流管理系统为集成平台的车间生产过程管理,应用模块化着色网MCPN建立系统过程模型.动态适应性的系统过程模型是以基本子流程为模块,以作业任务为核心,自下而上建立的模块化Petri网结构,可体系化、参数化描述现代造船车间生产物流与作业流.     

基于 Petri 网的装备临抢修业务流程建模研究*

为了提高装备临抢修业务工作的科学性和准确性,论文利用Petri网建模的优势,将排队系统运用到装备临抢修业务流程建模研究中,利用库所优先级实现对故障装备按重要程度进行优先修理。论文讨论了将排队系统转化为HTCPN模型的建模规则,这种方法既可以给出简单直观的模型顶层结构,又可以根据实际情况对模型进行细化,并有利于对模型进行分析和仿真。最后利用CPN Tools工具对所建立的模型进行了性能分析,验证了模型的实用性和有效性。     

基于 Petri 网的终端区冲突避免方法研究*

终端区空域结构复杂,航空器飞行架次过多,是飞行事故高发区,针对该问题,提出一种基于Petri网的终端区冲突避免方法。首先分析终端区空域运行结构,利用Petri网建立终端区空域运行模型,并根据终端区空域管制规则,建立其约束模型。然后综合约束模型,利用库所不变量方法建立终端区空域控制策略。最后针对控制策略进行案例分析,结果表明,此方法能够有效解决终端区空域运行安全问题,减轻管制员负荷。     

基于Vega的某装备虚拟维修系统技术研究

在虚拟现实技术的基础上,研究了基于Vega Prime实时视景仿真系统开发环境的某装备虚拟维修系统的总体框架,以及系统实时仿真应用程序设计、实体建模、仿真模型的驱动等关键技术,并在海军某型舰艇的减摇鳍装置的虚拟维修系统开发中应用,不仅能满足训练任务的需要,而且节约了经费,缩短了开发周期,具有非常重要的军事意义和广阔的应用前景。     

基于随机Petri网的指挥流程性能指标分析

Petri网是一种很有效的模型描述语言,适用于描述含有并行成分的系统。文章运用随机Petri网同构马尔可夫链的原理,对海上编队作战准备阶段的指挥流程性能指标进行分析。     

基于Petri网的登陆作战中协同通信的性能评价

论文以登陆作战中协同通信为研究背景,通过对Petri网的理论介绍,论证了运用SPN分析登陆作战中协同通信系统进行性能评价的可能性,并建立了基于Petri网的登陆作战中协同通信的数学模型,最后给出了登陆作战中集团军内部组织协同通信网,协同动作的延时时间。论文对登陆作战中协同通信研究有一定借鉴意义。     

随机高级 Petri 网对某型舰载机编队着舰起飞过程的动态仿真

舰载机编队着舰是一个典型的动态行为过程,航母甲板可看作是单跑道的降落（起飞）平台。Petri网是对离散事件动态系统进行分析建模的重要工具,利用其动态性可对舰载机编队着舰的进近过程进行描述。文中介绍了几种Pe‐tri网的定义,分析舰载机着舰流程,建立进近终端区模型,通过Petri网仿真器模拟动态效果,并给出结果。     

Modeling and analysis of panel hull block assembly system through timed colored Petri net

To implement efficient production control, this paper provides a timed colored Petri net (timed CPN) approach to performance modeling, real-timed dispatching and simulation of Panel hull block assembly system (PHBAS). The definition of Petri net is extended to accord with the real-world PHBAS’s organization, and the modeling method for hull flow production is provided in order to simplify modeling program. Using modeling and analyzing method, the dynamic characteristics of the system can be emulated and quantitatively calculated and work control tactics can be optimized. For the double bottom hull block shipbuilding system in a recently built shipyard in China, the simulation model with timed CPN was described and the system parameters and optimal task sequence which has the minimum operation time were obtained for a scheduling case.