基于扩展Petri网的虚拟维修作业过程模型

维修作业过程模型是进行装备虚拟维修性分析与维修训练的基础。维修作业过程属于典型的离散事件,Petri网方法相对于其他过程建模方法,更适合于描述具有冲突、并发关系的离散事件系统,且模型具有直观性。利用时间-有色Petri网对装备的维修作业过程进行建模,分析讨论了维修作业过程中逻辑关系的表达与维修保障资源的描述;引入对象概念对资源库所进行了扩充,定义了维修作业变迁的触发条件及触发延时的确定方法,增强了模型的描述能力。最后通过一个维修作业实例,说明了该模型可以很好地应用于装备维修作业过程建模。     

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

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

基于赋时有色petri网的维修过程模型

维修过程模型是研究维修保障系统结构与运行的基础。petri网模型具有直观、形象的优点,又是严格定义的数学对象,既可用于静态的结构分析,又可用于动态的行为分析,具有灵活的建模和强大的系统性能分析能力,是描述维修过程的有力工具。该文介绍了petri网方法的有关概念、特性。假定了典型的维修资源配置环境,对维修资源进行了分类。描述了典型的维修过程,应用赋时着色Petri网建立了维修过程的petri网模型。文章最后讨论了模型的应用。     

基于GSPN的GERTS仿真模型研究

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

面向多主体、多任务的维修保障信息建模技术

针对装备使用阶段维修保障信息采集需求不确定性大、变动性强等问题,研究了面向多主体、多任务的维修保障信息建模技术.从维修保障数据、维修保障信息和维修保障知识等三个层面研究了维修保障信息应用的基本模式;提出了基于模型树方法的维修保障信息采集需求确定技术,并分析了维修保障信息的可采集特性;针对维修保障信息的多主体和多任务特性,提出了基于事件驱动的维修保障信息建模方法;最后设计开发了维修保障数据仓库管理系统.研究结果表明,提出的信息建模方法具有高度的开放性和扩展性,能够应对维修保障信息采集需求不断调整变化的现实.     

基于矩阵运算的虚拟装配体拆卸过程建模方法

现有装配体建模方法在描述虚拟维修训练中装配体拆卸过程时,存在的信息冗余大、建模过程复杂等缺点,在研究现有装配体建模方法和分析装配过程与拆卸过程差异的基础上,提出了一种面向虚拟维修拆卸过程的建模方法。该方法以矩阵描述装配体模型,用矩阵运算描述零部件拆卸过程,简化了建模过程,减少了模型数据量,为虚拟维修训练系统的快速构建提供了一种思路和方法。     

基于SPNAT的维修过程建模与仿真方法研究

Petri网是严格定义的数学对象,直观、形象,且可用于动态的行为分析。通过引进退化令牌对随机Petri网进行理论扩展,提出了一种基于退化令牌的随机Petri网（SPNAT）的维修过程建模与仿真方法。最后通过实例验证了该建模方法的有效性和优越性。     

基于ExSpect的维修保障联邦成员开发

分析了ExSpect的建模方法和软件接口,建立了基于ExSpect的维修保障仿真模型。开发了仿真对象模型（SOM）,并对其信息接口进行了改造,从而实现了Petri网仿真模型与RTI运行支撑环境的无缝连接,为后续开发高层体系结构（HLA）环境下的Petri网仿真模型集成环境进行了初步的探索工作。     

虚拟手抓握动作的Petri网模型及其仿真实现

虚拟手的运动建模是三维人机交互研究中的一个关键问题.虚拟人在执行维修作业的过程中,不可避免地需要徒手抓握操作对象或维修工具.为此,该文提出了一种基于位置/变迁Petri网的虚拟人手抓握动作模型.该方法以关节化虚拟手的几何建模和关节约束分析为基础,描述了抓握动作的Petri网模型,通过仿真循环叠代和关节插值计算,实现关节链上各个关节的运动控制,并基于面向对象的技术设计实现了典型抓握动作.最后,基于人体建模与仿真软件Jack,设计并实现了一个虚拟手抓握动作的Petri网,仿真和实验结果表明所述方法简便易行,能够满足虚拟维修作业的要求.     

维修仿真中虚拟人动作数据库的研究与实现

通过在维修仿真中引入虚拟人技术,可以提高场景的逼真性、真实感,还有利于充分考虑人机工效学因素,这就要求实现对虚拟维修人员的动作控制与仿真。该文提出了一种基于过程分段和分层设计思想的虚拟人动作库,该动作库主要由动作层和动素层组成;基于位置／变迁Petri网设计并实现了动素层,基于面向对象的技术设计并实现了动作层,涵盖了绝大多数虚拟人执行维修操作的动作,基本满足了维修仿真的需求。最后,基于人体建模与仿真平台Jack,设计实现了一个电子舱的维修仿真实例,仿真和实验结果表明了所提方法简便易行,能够满足维修仿真的要求。     

装备维修资源需求仿真系统的设计与实现

维修资源是维修保障系统的重要组成部分,如何科学合理地预测各种维修资源的需求是摆在我们面前的一项紧迫而严峻的任务.文章从装备维修保障的实际需求出发,在对维修保障系统运行过程分析的基础上,用UML建立了仿真流程图.根据软件需求分析,在功能模块和数据库设计的基础上,利用VB语言和Access数据库开发了维修资源需求仿真系统.最后还进行了案例应用,验证了该仿真系统能实现维修资源需求的快速和准确预测,为维修保障的科学决策提供了依据.     

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

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

基于参数化动作描述的虚拟维修过程仿真

在虚拟人执行维修动作的过程中,参数化动作描述起到了虚拟人动作和自 然语言维修指令之间的桥梁作用,是为了规范虚拟人执行维修任务动作。论文在参数化动作 描述和智能虚拟维修训练环境的基础上,构建了维修任务分解模型和动作库;以参数化动作 描述为基础,提出了用于3D 虚拟人维修动作仿真的虚拟维修实时执行层次结构。最后,通 过某型起落架维修任务对参数化动作和仿真架构可行性进行验证,结果表明,基于参数化动 作描述描述的动作库可以很方便的进行维修过程仿真。     

军用装备维修保障系统面向对象Petri网建模

Petri网模型是离散事件动态系统(DEDS)建模的有利工具,但传统的Petri网模型存在模型结构复杂、缺少时间描述等不足。该文在装备维修保障系统建模中,结合应用面向对象技术和有色Petri网、赋时Petri网理论,提出了将面向对象思想与赋时Petri网相结合进行装备维修保障系统建模的方法,并应用该方法对已有的空军通信导航装备维修保障系统Petri网模型进行了对象化和赋时改造,使得新建模型结构更加简约、直观,有利于扩展和仿真实现,并且具备时间描述功能。     

并行任务动态派生的积极惰性化控制方法

本文给出了并行任务派生的理想状态，分析和研究了积极任务派生（ＥＴＤ）方法和惰性任务派生（ＬＴＤ）方法，指出了这两种方法所具有的局限性，提出了一种新的并行任务派生的积极惰性化方法（ＥＬＤＴ）及其算法．初步研究表明ＥＬＤＴ方法可安全有效地增大计算粒度，在由多个商售单处理器构成的小规模并行系统上ＥＬＤＴ算法有效地控制计算粒度和任务派生，使并行任务的派生近似达到理想状态．     

网格依赖任务调度系统的设计与实现

针对网格任务调度中的依赖任务调度,通过任务-资源分配图(Task-resource assignment graph, T-RAG)将描述应用静态信息的任务图与动态的网格资源结合在一起,在T-RAG的基础上提出一个面向依赖任务的网格任务调度系统框架,并基于Globus Toolkit实现了一个面向依赖任务的调度系统-DTOSS(Dependent Task Oriented Scheduling System, DTOSS).     

基于Petri网的电子谈判过程模型*

在电子谈判过程和已有研究成果的基础上,给出了电子谈判过程的一个Petri网模型,该模型将Petri网分析和建模工具与人工智能的主体技术相结合。在建立该模型的过程中又考虑了死锁和阻塞问题。