基于TAU和SA的体系结构验证方法研究

TAU和SA是顶层设计领域广泛使用的成熟商业软件,具备对体系结构部分模型进行验证的能力。在分析体系结构验证的概念及验证内容的基础上,较完整地从语法层、语义层、语用层三个层次提出了基于TAU和SA的体系结构验证方法。以无人机侦察系统体系结构验证为例,说明了TAU和SA在状态图可达性验证和作战规则合理性验证上的有效性和实用性。     

机动输油管线泄漏监测技术

机动输油管线采用露天方式快速铺设,容易发生泄漏事故。根据负压波原理,利用一种基于可变窗长中值滤波器的泄漏检测算法,在不降低检测灵敏度的前提下,能有效降低泄漏误报率。该算法在保证泄漏定位精度的同时,还能保持较高的实时性,较好地满足机动输油管线泄漏监测的需要。     

一个新混沌系统的混沌控制与同步

针对一个新的三维自治混沌系统,研究了该系统的控制与同步现象。根据李雅普诺夫稳定性理论,运用自适应控制方法对该系统进行了混沌控制,设计了实现其同步的一个非线性控制器,运用Matlab数值仿真验证了设计的有效性。     

抢占式排队系统平均逗留时间研究

针对存在多优先级服务对象的抢占式排队系统,本文对不同优先级服务对象平均逗留时间作了针对性研究,文中研究对服务对象存在多优先级的排队系统设计具有重要指导价值。     

基于分层核粒子滤波的快速运动目标跟踪

针对目标发生快速、运动不规则及遮挡等情况下的跟踪问题,提出了一种分层核采样策略。首先通过先验转移和后验转移分别预测2组粒子来建立联合分布,利用聚类算法近似联合分布粒子集的混合高斯分布;然后对每个聚类进行采样;最后采用均值漂移算法将粒子移动到后验密度的局部极值处。实验结果表明:算法在目标发生快速机动情况时,跟踪性能优于传统粒子滤波、核粒子滤波及分层粒子滤波,且对遮挡具有较好的鲁棒性。     

一类二次微分系统在三次多项式扰动下的极限环估计

计算了一类二次Hamilton微分系统的一阶Mel’nikov函数,通过此方法对该系统在三次多项式扰动下分岔的极限环个数进行了估计。     

群车加油系统水力计算方法

加油系统是群车加油装备的主要系统之一,其不同工况的水力计算结果是研究和分析加油系统规律和特性的基础。介绍了新型群车加油车加油系统基本结构,针对其结构简单、工况随机多变的特点,运用排列组合知识对系统工况进行了归纳分类,共有1 023种工况组合和10种加油模式;提出距离矩阵法用于建立加油系统的随机工况数学模型,并详细阐述了模型计算过程;通过对单枪、五枪和十枪加油模式的典型工况进行计算,最终结果验证了该方法用于求解群车加油系统和其他多分支管路系统随机工况的水力计算是可行的。     

联合战役推演系统中岸舰导弹兵力仿真模型设计

在分析了战役级推演系统的特点和要求的基础上,探讨了岸舰导弹兵力、装备仿真模型的设计思路,分析了实体模型的构建方法,对仿真模型设计中的不同仿真实体对仿真时间步长需求不一致问题、仿真模型粒度与推演速度匹配问题、＂人在回路＂装备的应用仿真与＂人不在回路＂的推演模式之间的矛盾等几个关键问题进行了研究。     

直接探测型窄脉冲激光雷达扫描性能分析

针对脉冲激光雷达系统,通过对激光脉冲重叠方式的分析,确定了采用"五点式"重叠方式进行扫描。针对这种扫描方式,分析了方位和俯仰两个方向的扫描光束角步长,确定了对于确定探测空域的最短扫描时间,推导了反射镜在方位和俯仰两个方向的扫描速度以及两者之间的定量关系,给出了脉冲激光雷达扫描器方位扫描速度和俯仰扫描速度设计的理论依据。最后分析了激光器和机械扫描系统所引起的系统误差,并给出了解决方法。     

《指挥控制与仿真》期刊简介

《指挥控制与仿真》由中船重工集团公司主管、中船重工集团公司第七一六研究所主办,1979年创刊,是以海、陆、空三军C4ISR系统和仿真技术为主,包括作战系统、武器系统及其设备的武器工业与军事装备技术类学术期刊。目前,本