基于搜索论的远程反舰导弹搜捕概率建模方法

针对传统捕捉概率模型难以满足远程反舰导弹机动搜捕概率建模计算的问题,提出利用搜索论进行导弹机动搜捕概率计算的建模方法。该方法根据目标机动规律建立其分布概率密度函数,并依据末制导雷达发现目标概率的\"倒四次方律\"及弹目相对运动轨迹,构建其探测函数,通过求取两者之积的积分实现搜捕概率计算。计算结果显示:若远程反舰导弹不采取机动搜捕策略,目标指示误差增加1km时搜捕概率降低0.47,目标速度增加10节时搜捕概率降低0.3,末制导雷达搜索半径减小50%时搜捕概率降低0.3;若采取平行搜捕策略,上述因素对其影响大幅下降。可见,该方法综合考虑了目标机动规律、传感器探测规律、导弹搜捕策略,可实现远程反舰导弹机动搜捕概率的解算。     

基于半马氏决策过程的电容器维修策略优化

针对电容器随机劣化失效的特点,采用半马氏决策过程解决其预防性维修方案设计和维修策略优化问题.在电容器随机劣化的Gaussian-Poisson模型基础上,以检测周期为优化变量,同时考虑预防性维修次数阈值的影响,建立电容器长期运行费用率优化模型.分析表明,对该型号电容器来说,预防性维修相比于事后修理更加有利于节省部件长期运行的费用率.     

面向大规模集群的并行I/O用户层配置优化策略

影响应用I/O性能的关键因素主要有三个层次:包括应用的I/O接口实现、体系结构和文件系统组件的性能以及应用的I/O参数配置。从应用I/O配置优化的视角,分析了大规模集群并行I/O的配置调优空间,在此基础上,给出了一套大规模集群并行I/O性能特征测试分析方法。基于该方法,在某国产超级计算集群上开展了一系列I/O测试分析来刻画系统的I/O性能特征,进而指导并行应用程序的I/O配置优化。基于优化后的配置参数,在两类典型的并行I/O场景中,针对某类生产应用程序,8192进程下的重启动数据写操作时间下降了15%,4096核的程序作业加载时间从10 min缩短到了5 s。     

采用可达域覆盖的多航天器协同护卫策略

针对高轨高价值目标护卫问题,提出了一种基于可达域覆盖的多航天器协同护卫策略.从相对运动视角对协同护卫任务进行了描述,并将威胁源多脉冲机动可达域问题建模为凸优化问题求解.在滚动优化框架下,根据动态更新的威胁源终端可达域,设计协同护卫平面及护卫点,以此为终端位置约束构建多航天器协同轨迹规划模型,生成相应护卫轨迹.仿真结果表明,所提出的可达域分析方法能够快速计算威胁源终端可达域,协同护卫策略在多个场景下均能有效阻止威胁源,且护卫成功率随护卫航天器机动能力增强而增大.     

面向C程序的测试用例自动生成实现

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的。对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的。介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法。该算法有效地改善了前有算法的一些缺陷,显示出不错的效果。     

混合攻击机机群在空战中的最优控制策略

研究了混合攻击机机群在对由截击 -歼击机机群组成的敌国土防空系统进行突防过程中的最优控制方法 ,以攻击机的最小突防损失为战效指标 ,给出了其最优控制策略。     

面向柔性加工环境的过程状态振动监测

本文运用提出的通用状态监测模型及策略,以振动信号监测为例,提取设备运行状态的振动信号方差和振动信号建立AR模型的参数估计的变化率参数作为两类通用特征参数,对柔性加工系统进行归一化监测,取得了良好的效果。建立的监测系统简洁、快速、可靠,满足柔性制造环境下设备运行状态监测的要求。     

舰载反潜直升机吊放声纳区域反潜策略建模

为提高舰载反潜直升机吊放声纳区域反潜搜索作战效能,对舰载反潜直升机吊放声纳区域反潜搜索策略问题进行了建模。根据潜艇目标位置信息的不确定性,研究了潜艇目标位置信息的概率分布函数,采用Markov状态转移概率矩阵描述了潜艇目标位置信息变化的方法。其次,给出了基于贝叶斯理论的潜艇目标信息概率分布函数更新公式。再次,推导了舰载反潜直升机吊放声纳区域反潜最优策略,给出了舰载直升机吊放声纳区域反潜搜索算法。最后给出了典型案例,验证了反潜搜索策略的有效性。研究成果可为舰载反潜直升机吊放声纳区域反潜提供决策依据。     

考虑逃逸复飞队列饱和度的舰载机回收策略

从舰载机回收问题的应用实际出发,考虑待回收舰载机战损、飞行员受伤等有别于民机的独特性因素,基于舰载机典型回收模式提出一种考虑逃逸复飞队列饱和度的回收策略。在减轻着舰指挥官和通信系统工作负担、降低舰载机飞行员操作强度、提升舰载机飞行安全性的基础上,考虑到舰载机回收是一个概率事件,通过概率分析动态设计专用回收点,解决了逃逸复飞队列与正常待机队列中舰载机抢夺回收点资源的问题,为舰载机回收提供了一个新的解决方案。     

关于二人零和对策混合鞍点的一个新的理论和算法

本文提出了向量优超的概念,给出了二人零和对策等价的定义,得到了二人零和对策等价的两个充要条件及三个充分条件并应用本文的理论,给出了二人零和对策混合鞍点的一个新算法。