Pertri网在航动业务流程重构中的应用研究

对Pertri网网在航运业务流程重构中的应用进行了探讨，依据Pertri网理论，构造了航运业务流程的一航语义描述及相应的流程重构规则，在此基础上，以铁海联运出口业务流程为例进行了说明。     

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

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

泛化Petri网及其在C^3I系统分析中的应用

对Ｐｅｒｉ网进行泛化描述，得到了更具推广意义一般化的泛化Ｐｅｔｒｉ网定义。它很使用用来描述具有各类包括模糊行为的并发系统，是信息系统、网络通信系统，运输系统、生产控制系统的描述工具。     

新型航道联通成网编码系统开发

常规的航道联通成网编码系统主要以描述航道网拓扑关系的数字型编码为主,而航道本身的基本信息含量偏少。这种方法便于计算机存储,但不够直观。针对该问题,采用分类法对不同类型的航道网编码进行归纳总结,提出文数混合型编码系统。该系统通过文字与数字相结合的方式对航道网进行编码,具有辨识度高、方便、高效、适用性强的特点,有效解决了航道网编码过程中平面位置关系和航道基本信息之间不能融合的问题。     

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

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

基于3层架构和SQL数据库的生产系统的设计与实现

面对神华黄骅港务公司提出的建设智慧港口的目标,生产部门和设备保障维修中心决定借助信息化手段,建设生产管理系统,提升生产管理水平,实现设备利用最大化、生产有序化、管理精细化.本系统找准生产管理信息化中存在的问题,以生产部门和设备保障维修中心业务流程和用户需求为牵引,从需求分析、系统体系结构、系统软件模块、数据库模型、系统实现5个方面进行了描述.经实际使用,该系统具有良好的灵活性、稳定性和可扩展性.     

基于扩展命题模态逻辑的决策信息系统表示

针对基于粗糙集理论的决策信息系统的特点,引入属性常量作为基本符号,对命题模态逻辑进行扩展,给出了扩展命题模态逻辑形式系统及其相关语义描述,说明每个基于粗糙集理论的决策信息系统均可通过扩展命题模态逻辑语义来表示.本文证明了基于扩展命题模态逻辑语义的决策信息系统表示定理,并给出了语义模型中对象的逻辑描述,特别是对基于等价关...     

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

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

XML文档中数据的语义描述问题研究

讨论了在Web上语义、语法描述对数据交换的重要性，详细论述了XML文档的语义、语法描述形式，及其在Web数据交换过程中所存在的问题。提出用RDF来解决这些问题，给出了这种方法的具体实现，并讨论了该方法的局限性。     

语义网技术及其在军事领域应用研究

语义网是一种"智慧"的信息表示方式,它为计算机理解知识,进行逻辑推理提供支持,使得人与计算机之间的交互变得更加简单高效。本文介绍语义网的发展和技术体系,并以语义网技术在军事领域中的应用为例介绍其发挥的重要作用,通过语义网技术的研究热点说明未来语义网技术的发展方向,最后以海战场为例,介绍语义网技术在海战场信息共享和互操作中发挥的重要作用。     

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

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

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

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

Applying a semantic information Petri Net modeling method to AUV systems design

This paper informally introduces colored object-oriented Petri Nets(COOPN) with the application of the AUV system. According to the characteristic of the AUV system's running environment,the object-oriented method is used in this paper not only to dispart system modules but also construct the refined running model of AUV system,then the colored Petri Net method is used to establish hierarchically detailed model in order to get the performance analyzing information of the system. After analyzing the model implementation,the errors of architecture designing and function realization can be found. If the errors can be modified on time,the experiment time in the pool can be reduced and the cost can be saved.     

基于OPN的舰载对空搜索雷达作战效能仿真分析

舰载对空搜索雷达的作战效能评估是电子战领域的一个研究热点,它的评估方法得到了广泛的研究.针对通常的模型不能同时描述舰载对空搜索雷达作战系统的静态结构和动态过程,采用对象Petri网建立了舰载对空搜索雷达作战系统的模型.首先在对舰载对空搜索雷达作战系统分析的基础上,设计了系统对象类,并运用OPDL语言对各个对象类和舰载对空搜索雷达作战过程进行了描述;然后选取了效能评估指标;最后利用所建立的OPN模型进行了仿真,通过仿真运行对不同对抗环境下舰载对空搜索雷达的效能进行了分析,仿真结果与实际相符合.     

舰船电子综合化系统总线网络DSPN建模与分析

周期性消息和非周期性消息对舰船电子综合化系统总线网络性能的影响是舰船电子综合化电子系统总线网络设计过程的难点之一.针对该问题,提出采用以确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)建立周期性消息的总线网络DSPN模型和考虑非周期性消息的总线网络DSPN模型,有效模拟了周期性消息和非周期性消息在舰船电子综合化系统总线网络传输的动态行为.以TimeNET4.2软件为仿真平台,分别实现了周期性消息的总线网络DSPN模型和考虑非周期性消息的总线网络DSPN模型,研究分析周期性消息和非周期性消息对舰船电子综合化系统总线网络性能的影响.该成果可以为设计满足特定性能要求的舰船电子综合化电子系统总线网络提供理论依据.     

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.     

基于改进Petri网的船舶电力系统故障诊断

将Petri网理论用于船舶电力系统故障诊断中,提出了一种改进的Petri网故障诊断模型。在基本Petri网诊断模型的基础上引入模糊推理规则形成模糊Petri网,说明了该方法的模型构建、推理过程及解析方法的表示。利用该方法对船舶电力系统进行故障诊断使推理过程简洁、诊断快速、诊断结果也更科学有效。     

基于事件的舰载机出动回收作业流程建模方法

为构建基于舰载机出动回收作业流程剖面分析规范化的合理逻辑模型,采用IDEF0设计框架及Petri网工具对其进行离散事件建模,搭建工程经验与仿真模型间的桥梁。根据工程经验,依照面向过程的IDEF0设计框架,理清舰载机出动回收作业流程中各组件系统间的信息交互和互操作关系,完成活动模型,以明确该流程中的事件触发规则和顺序,并根据活动对应变迁、信息流对应库所的原则,构建舰载机出动回收作业流程Petri网模型,形成工程研制者及仿真研发者均能接受的舰载机出动回收作业流程逻辑仿真模型,该Petri网模型也可直接应用于舰载机出动回收作业流程离散事件系统的功能仿真。     

改进的BP神经网络方法在舰船修理费用预测中的应用

文章基于神经网络理论,以某型舰船特装修理费用为例,建立了改进算法的BP神经网络预测模型,最后对海军舰船特装修理费用进行了中短期预测。