船舶静态电场跟踪的渐进更新扩展卡尔曼滤波器

为了实现利用船舶静态电场对船舶进行跟踪的目的,针对传统卡尔曼滤波算法中存在的问题,设计一种新的非线性滤波器。建立船舶的状态空间模型,分析传统卡尔曼滤波算法在船舶跟踪中存在的问题;依据渐进贝叶斯思想,利用连续白噪声与离散白噪声序列噪声协方差之间的关系,设计一种新的渐进更新扩展卡尔曼滤波器。仿真结果表明,该滤波器能有效地抑制由于初始误差较大而造成的滤波性能下降和滤波发散,能够有效地跟踪船舶,具有较高的实用价值。     

面向任务的有人机/无人机协同对地攻击概率模型

有人机/无人机协同对地攻击是未来空对地打击的主要作战样式,如何评估其协同作战的效能是军地双方共同面对的重要课题。首先根据完成对地攻击任务的4个环节建立了对地攻击的总概率模型;然后基于桥联模型建立了各个环节的概率模型;最后给出了一架有人机协同两架无人机对地攻击的算例,并对模型反算、协同与非协同对比以及多波次攻击等问题进行了讨论和分析,验证了模型良好可用性和广泛适用性。     

坦克交流全电式炮控系统的速度控制

介绍了交流全电式坦克炮控系统的特性,为改善系统稳定工作状态时的低速性能,研究出了两种变结构切换速度控制策略,对这两种切换方案进行了分析比较,并分别进行了试验验证,试验结果表明这两种方案都具有良好的动静态性能,能满足系统的性能指标要求.     

基于巡逻历史与道路优先级的武警巡逻策略

针对武警巡逻车辆配置问题,引入了Dijkstra最短路径算法、K—means聚类算法以及计算几何的相关理论,建立了一套警车巡逻模型,并提出了评价巡逻效果的量化评价标准。采用Dijkstra与K—means算法解决了静态警车配置问题;针对警车动态巡逻方案的设计,提出了基于巡逻历史与道路优先级的道路概率选择算法,并给出了不同情况下的警车配置以及巡逻方案。通过MATLAB仿真实验,证明了算法及模型的先进性和实用性。     

概念模型验证方法研究综述

概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV＆A中的重点和难点．首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题．     

采用射流掺混增强的前可调面积涵道引射器数值模拟

为了提高风扇外涵和核心机驱动风扇级外涵流体的掺混效率，提出一种采用射流掺混增强的前可调面积引射器设计方案。通过数值模拟的手段对流量特性、流动掺混和总压损失等方面进行了研究，并同基准模型进行了对比分析，结果表明：采用波瓣混合器结构的前可调面积引射器设计，显著地增加了较高出口背压工况下风扇外涵的流通能力；新的设计方案不仅没有增加低出口背压工况下的总压损失，还减小了高背压出口工况下的流动损失；流向涡的特征尺度是提高掺混效率的关键，可以进一步优化波瓣混合器几何轮廓，以满足调节机构对结构设计的要求。     

Ti含量对Ti-B4C-C体系自蔓延高温合成的影响

以14Ti+3B4C+5C为基础反应体系,通过热力学分析及静态燃烧合成实验研究了钛含量对该体系SHS反应的绝热温度、反应速度和产物致密度的影响.研究表明,Ti含量适当增加,能够使反应速度加快、产物致密度提高.当Ti过量16%(摩尔分数)时,体系的绝热温度仍高达3 193K,反应速度最快,产物的致密度也较高.     

电子对抗装备软件的静态分析方法

软件的静态分析在很大程度上是对编写软件的语法和文本进行检查,使其符合工程项目的需要.使用C Test可以帮助编程人员和测试人员完成对程序的自动静态测试.测试人员还可以自定义检查规则来完成对代码的特定需求检查.     

软件静态分析工具综述

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析,软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,为软件测试人员选择适合自己的软件静态分析工具提供参考。     

Axis2框架两种Web服务调用方式的比较分析

开源的Web服务开发框架Axis2提供了静态Stub和RPC两种Web服务调用方式。基于Axis2框架分别采用两种方法构建了示例Web服务的客户端。根据对两种客户端进行测试的结果数据,对两种服务调用方式进行比较分析,得出了各自的特性以及所适用的应用场景。