反潜直升机吊声搜潜效能的建模仿真

从直升机使用吊放声纳(简称吊声)的搜潜过程入手,通过仿真环境假设,吊声搜潜效能描述,建立了吊声搜潜效能的蒙特卡洛法模型。介绍了常用搜索方法,并建立了其搜索要素表。根据模型编制了仿真程序,实现了不同搜索方法的仿真计算,为研究不同战术条件下如何合理选择有效的搜索方法奠定了基础。     

A sequential attribute sampling inspection game for item facilities

The routine inspection of facilities storing large numbers of identical items is modeled as a two‐person, sequential game. Timely detection of illegal activity is parameterized in terms of a critical time to detection, and equilibria are derived which provide inspection strategies. Necessary conditions for deterrence of illegal behavior are discussed. © 2001 John Wiley & Sons, Inc. Naval Research Logistics 48: 496–505, 2001     

双机格斗行为建模方法研究

行为模型的真实性是决定CGF真实性的关键因素之一。针对双机格斗空战 ,提出了一种基于模糊规则的三层行为模型 ,并运用遗传算法对底层飞行状态模糊控制器进行了优化。文中给出了仿真实验结果。结果表明这种用模糊规则建立的行为模型产生了逼真的空战格斗行为。     

分布式A2C2决策队设计

现代战争的特点是高度的分布式协同作战。面对瞬息万变的战场需求 ,完成分布协同作战的指挥自动化系统 ,就必须能够自动适应战场需求变化 ,不断改变指挥系统组织结构。因此 ,实现指挥自动化系统的中心工作是建立 C2系统自适应变结构决策队组织。论述了建立自适应分布式指挥决策组织结构的有关问题 ,研究了在分布式条件下 ,自适应 C2决策队结构的设计。     

地形数据格式转换及其应用

开发了实现从DC格式图形数据文件到DED格式图形数据文件转换的工具软件,并在实际中得到应用.     

神经网络技术在冲压导弹设计中的应用

利用近年来迅猛发展的神经网络技术,成功地建立了某型冲压导弹气动参数和发动机推力、比冲的数学模型,从而克服了用传统回归拟合方法和数学插值计算的不足,为导弹总体参数优化设计和各分系统设计提供了一种新工具.并对网络训练过程中存在的问题进行了分析,提出了具有实际意义的改进方法.     

多人多任务动态决策建模的环境

就人的组队如何解决多任务环境中具有不定性情况下分布式资源管理等问题 ,在微机上采用具有音响—图形功能的 Turbo pascal程序语言 ,建立了一个可以控制的实验环境 ,经分析得出 :在此环境中 ,可以模拟、产生 C3分布系统方面基本的决策制作问题 ,且能充分适应于复杂性的逐步引入 ,可用作建立多人多任务动态决策模型的载体 ,开发组队决策的规范—描述理论。     

紧固件自动拆装过程仿真的设计方法研究

介绍了一种在AUTOCAD环境下,用参数化造型法,实现紧固件拆装过程自动仿真的设计方法.该方法把维修工具及紧固件的设计、工具维修性力学分析,以及维修过程的图形仿真合成在一起.工具及紧固件可以在给定点自动实现三维造型,并可连续进行过程仿真;当施加在紧固件上的外力超过其规定的受力范围时,将以图形方式自动显示,帮助操作者对维修操作过程进行判断.     

基于Matlab/Simulink的舰空导弹系统仿真建模

为便于某新型舰空导弹武器系统的作战研究和训练,对其进行了仿真建模研究.根据动态仿真软件Simulink的特点,提出了复杂系统的建模策略.利用面向对象方法,将整个舰空导弹武器系统按功能分成多个模块,将其封装,并充分利用Matlab中的各种现成模块实现复杂的时序及逻辑控制关系,同时在主要的数据计算部分用C语言来开发有关算法.采用某型防空导弹有关数据进行的仿真试验,对所建立的仿真模型进行了校核、验证和确认.结果表明了本文的建模策略和方法以及得到的仿真模型正确合理,仿真结果可信.     

需求工程的形式化方法

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