VRML三维模型文件的优化技术

目前在Web3D领域,VRML是主流的开发平台。但在建模过程中,通常使用第三方三维建模软件。这样极大地减轻了制作模型的难度,节约了时间;但由于建模平台本身的原因,转换后的VRML文件的体积比较大,不利于网络传输与浏览。因此,对模型的空间位置进行调整,尽可能地优化模型的视觉效果,缩减其文件体积,是建立虚拟环境非常重要的环节。主要针对这个问题提出了一些具体的优化技术与算法以及新的数据结构。     

防空体系反制网电攻击的UML与Petri网模型

网电攻击装备的出现,给传统防空体系带来全面严峻的新威胁。通过分析"舒特"系统,得到网电攻击3种典型作战样式:物理摧毁、电子攻击和网络攻击,分别从物理层次、能量层次和网络层次探索了防空体系反制网电攻击策略。为描述防空体系反制网电攻击的对策、作战结构、作战步骤等问题,分别建立了统一建模语言(UML)和Petri网模型,从理论上初步探索了防空体系反制网电攻击的对策,具有一定的理论与现实意义。     

多机种加油模拟训练系统设计与开发

开发多机种加油模拟训练系统,对于探索多机种飞行油料保障问题和提高机场后勤保障能力具有非常重要的意义。结合飞行油料保障实际要求,介绍了模拟训练系统的设计思想,建立了系统需求模型和总体层次结构模型;重点讨论了系统中所采用的场景生成、实体三维模型优化和动画等虚拟现实关键技术,最后给出实现系统所搭建的硬件环境。应用结果表明,该系统为多机种飞行油料保障训练和研究提供一种强有力的手段。     

基于MDA的C~4ISR系统分析设计方法

先进的分析设计方法是提高C4ISR系统开发质量的有效手段。基于软件领域的MDA思想,提出了基于MDA的C4ISR系统分析设计方法,研究了其开发过程和关键技术。该方法实现以模型为基础的系统开发与优化,通过不同阶段模型的转化演进来推进系统的分析设计,有利于提高系统的设计质量,并支持模型重用。     

某新型远程AUV的视景建模及可视化仿真研究

在某新型远程自主水下航行器（AUV）的几何空间坐标方程和运动学数学模型的基础上,根据该新型AUV的组成和物理特性完成其在虚拟场景中的三维模型构建。该模型不仅可以准确反映AUV的各项物理参数和真实尺寸,而且可以在数学仿真的同时实现模型仿真的可视化,更加直观、生动和实时地反映AUV的位姿状态以及巡航、悬停和目标跟踪等过程。     

基于UML的海军作战结构模型形式化描述研究*

以海军装备应用研究系统为背景,着眼于海军作战仿真想定生成系统的标准化,通过分析海军作战想定描述的层次结构,针对统一建模语言(UML)在面向对象系统方面的应用特点,探讨了使用UML表示标准的作战想定开发方法,并以合同进攻敌海上编队为例介绍了海军作战想定的设计方法。通过建立实体行动的军事概念模型以及对其进行的形式化描述,实现了军事专业人员和仿真技术开发人员之间的顺利交流,为仿真想定辅助生成系统的开发提供参考。     

空间信息支持高能激光武器应用研究*

依据空间信息支持现代作战的主要内容,介绍了五大类空间信息状况,分析了新概念武器高能激光的基本原理,并就其应用过程建立了UML模型。在此基础上,设计了空间信息支持高能激光武器应用系统的框架,并就高能激光武器对空间信息的需求进行了重点分析,而后以信息的转换与传递为主线,探讨了高能激光武器运用空间信息的流程。最后对该领域研究的趋势和发展前景做出了展望,并提出对其未来发展的要求。     

需求工程的形式化方法

从需求的概念出发,简单介绍了需求工程的过程模型和需求工程的方法学;根据需求工程的定义以及特点,讨论了在需求工程中引入形式化方法的意义,提出提高需求工程形式化程度的两个主要途径——提高需求建模语言的形式化程度和利用形式化验证技术,并给出选择形式化方法的原则,最后在分析目前技术的优缺点的基础上给出需求建模语言应具备的特征。