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

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

机动受限舰艇使用火箭诱杀弹对抗声自导鱼雷仿真研究

机动受限的舰艇防御声自导鱼雷是常见的作战态势之一,而对抗武器的选择和使用就是此时保证舰艇安全的关键。对此在分析作战态势的基础上选择火箭诱杀弹作为对抗武器,并建立其数学及仿真模型,在设定的战术背景下运用蒙特卡洛法进行仿真,对采用不同的发射数量、发射时机,以及不同的对抗武器时舰艇的生存概率进行了比较,理论验证了机动受限时舰艇选择火箭诱杀弹对抗声自导鱼雷的有效性,同时提出了其使用过程中值得注意的战术问题,为部队实际应用武器提供了理论依据。     

猎雷具定位水中悬浮目标的方法

猎雷具的前视声纳在发现锚雷时,无法解算其位置坐标,从而使猎雷具无法准确、安全地消灭锚雷,影响了猎雷具的作战效能,因此利用目标在声纳波束中的临界状态,结合单位波束的方向性特点,提出了对水中悬浮目标进行定位的方法,并根据实际作战环境,对计算结果进行了修正,完善了解算模型。     

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

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

系统动力学装甲兵进攻战斗中机降行动效果分析

围绕装甲机械化部队机降行动的作战特点,着眼于充分发挥机降行动击敌要害的战术优长,在新一代战斗条令的理论指导下,运用系统动力学方法和兰彻斯特战斗理论,建立装甲兵部队进攻战斗中机降行动的系统动力学模型,探索装甲兵部队在使用机降力量快速达成战术目的新方法,为指挥员科学使用这一战术手段提供了定量依据和有效的辅助决策支持.     

基于B样条的稳健回归算法

利用B样条基构建了拟合函数模型.针对观测数据中存在野值的情形,选取了稳健函数进行稳健回归,并通过迭代再加权法实现了拟合函数模型的求解.试验结果表明:在数据中含有野值的情形下,基于B样条的稳健回归算法比常规的最小二乘回归算法具有更好的表现.     

美军语言文化发展战略与举措透视

文章在简要介绍美军进入21世纪语言文化所遇到的困境的基础上,详细论述了美军在语言文化发展上的主要战略和举措,主要包括语言文化建设的主要部门和层面,了解国家现状,建设关键语言,做好顶层设计和政策发布,实施一揽子计划,广泛依托各种资源,利用多种技术和手段,加快美军语言与文化的建设等战略和举措。论文最后做了总结,并简要阐明了其中的启示。     

基于目标舷角分布范围的拖线阵声纳左右舷分辨推理模型

被动拖曳线列阵声纳存在目标左右舷模糊的问题,现有分辨模型可能导致误判。为克服现有模型的误判问题,综合考虑目标距离、初始舷角以及本舰机动角度等重要影响因素,建立了本舰转向完成重新测得目标时目标舷角(θ1)分布范围的解算模型。基于该模型得到目标分别位于本舰左舷或右舷时目标舷角对应的分布区间1和区间2。根据区间1和区间2的不同组合以及θ1值落在区间1和区间2的不同情形,建立了拖曳线列阵声纳左右舷的新模型。最后,实例验证了模型的适用性和正确性。     

基于以太环网的舰载网络设计技术

在对国外舰载网络发展分析后,结合舰载网络发展的军事需求,提出了基于以太网环网构建舰载高可靠网络的发展思路,并探讨了基于以太环网的舰载网络的体系结构、舰载多业务接入等相关技术。最后,利用三台万兆交换机搭建了单环网络测试环境,测试结果表明,以太环网的保护及恢复时间满足舰载网络的可靠性要求,基于以太环网的舰载网络设计方案可行。     

面向联合作战指挥体系的服务资源分层管理

针对联合作战指控系统无线通信环境的弱连接、低带宽的特点,研究基于指挥层次和指挥域的服务资源分层管理体系,构建面向低带宽的服务资源索引和分层查询技术,提出面向弱连接网络的节点加入和退出解决方案,并针对数据维护和带宽开销进行定量分析,为服务化联合作战指控系统的动态构建提供了解决方案。