远程UUV指挥控制流程分层Petri网建模及延时分析

对于控制节点多、流程复杂的远程UUV指挥控制流程建模及延时分析问题,传统建模方法往往难于对其进行详细描述和分析.文中建立远程UUV指挥控制流程分层延时Petri网模型,采用基于Petri网的层次化建模方法提升模型对复杂流程的表达能力,将变迁引入时间参数,使模型具备对时间的描述和分析能力,并给出不同结构的延时计算方法.仿真结果表明所建模型可用于对远程UUV指挥控制流程进行分析和计算,分析方法正确、适用性好,可为远程UUV指挥控制系统评价及完善提供参考和技术支持.     

海上数据电子图形中的Oracle Spatial构建

本文在海上数据电子图形分类的基础上构建Oracle Spatial关系数据库。在构建的过程中设计数据模型,对空间数据对象进行定义和存储格式的规定,对查询和索引方法进行阐述,最后根据IHO S-57设定180张物类表实现了Oracle Spatial数据库。     

长江下游航(水)道难度系数的建立和评价

0 引言人们在分析水上交通事故发生的原因时,不外乎从主观原因(人的因素)和客观原因两大块着手。实践证明,事故发生率的高低与客观因素中的航道条件有直接关系。有关部门将长江下游划分为50多个水道 (航道),每个水道(航道)为一个区域,其特点各异。有     

基于本体的语义推理研究

语义Web作为新一代Web正倍受关注,而Web的资源描述语言RDF、RDF的词汇描述RDF Schema,以及最新的本体语言OWL等已成为现今语义Web上的规范语言.文中概述了本体语言和描述逻辑及它们之间的关系,并通过一个实例显示了一个本体文件中传递闭包的推理路径.     

海上信息栅格资源形式化描述的研究

海上信息栅格将网格技术与海军作战环境相结合,资源发现是海上信息栅格的三大关键性技术之一。而对网格资源进行合理的描述则是资源发现、管理的前提,作者分析了栅格系统对资源描述的要求,提出了一种通用资源描述模型,并结合海军作战环境,利用EBNF范式对海上信息栅格的资源属性进行了形式化定义,规范了资源描述,同时对可扩充性也进行了初步的探讨,为下一步在具体系统中的应用打下了基础。     

三维方位关系的定性描述与定性推理

结合定性推理、空间推理与人工智能产生的定性空间推理,已成为人工智能的1个研究热点,是空间关系的重要组成部分,为空间方位关系空间分析、辅助决策等提供了基础。因此,空间方位关系的形式化描述与定性推理非常重要。本文用单纯形数据模型描述三维空间实体,通过研究单纯形间的方向关系研究空间实体间的方向关系。提出采用三元组描述了两空间对象间的三维方位关系,并对该描述方法的定性推理作了详细研究。三维方位关系分为单方位关系与多方位关系,重点研究了单方位关系定性推理,在此基础上分析了多方位关系定性推理与单方位关系定性推理方法的联系,将多方位关系定性推理转化为对多个单方位关系定性的推理。     

CFD在发动机排气歧管设计中的应用

发动机排气歧管的传统设计方法已不能满足现代设计的需求,应用计算流体动力学（CFD）可以深入地了解排气歧管内部的压力和流场分布。文章利用发动机排气歧管气体流动的数学描述及排气歧管三维数值模拟及Fluent软件平台,采用k-ε湍流模型,对排气歧管内部压力和速度的分布情况进行了模拟和分析。结果表明,应用CFD来研究排气歧管和模拟其内部流动状况,计算效率高,容易实现,CFD对优化发动机排气歧管的结构设计和改善排气效果具有很好的指导意义。     

运用Max＋plusⅡ设计与实现的HDB3编码器

HDB3码是数字基带通信系统中重要组成部分之一,因其具有无直流成份,检错能力强,具有时钟恢复性能等优点,成为ITU推荐使用的基带传输码型之一。本文介绍了HDB3编码的原理和方法,提出了一种基于Max＋plusⅡ技术的图形设计法实现的HDB3编码器。     

上海世博观展客流出行链分析

一、世博出行链基本概念世博出行是以世博会会场为目的地,并具有多方式衔接特征的大型会展出行过程。其出行特点有：①起点(包括境内外与市内)的地域范围大,而出行的终点都是世博园区;②出行过程长、换乘次数多。因此,采用传统的“出行”概念已难以描述人们的世博交通行为。在此背景下,提出采用出行链分析的思路。     

海战仿真中水面舰艇CGF的行为建模方法

首先分析了CGF(Computer Generated Forces)行为的特点,提出了行为基和行为逻辑的概念,建立了水面舰艇CGF抽象的行为模型;然后将战术规则和变迁相联系,利用基于前置谓词Petri网的行为表示方法对水面舰艇CGF进行了行为表示;最后在行为表示的理论基础上,在STAGE仿真环境下利用脚本语言对水面舰艇CGF进行行为描述。仿真实例的结果表明,文章探讨的行为建模方法产生了逼真的海战行为。