一类随机非单调二元算子的随机不动点定理

利用Mann迭代技巧,讨论了不具有紧性条件的随机非单调二元算子方程随机不动点的存在唯一性,并给出了迭代序列收敛于解的误差估计,所得结果是某些已知结果的本质改进和推广。     

返回器飞行管道的快速预测算法

针对返回器回收任务中对安全空域和期望落点的计算需求,提出了基于Koopman算子的飞行管道快速预测算法,给出了搜救直升机安全飞行空域的判定流程。建立了物伞动力学模型,利用Halton采样方法从随机空间中均匀采点,计算得到多条可能弹道;采用Koopman算子的后拉机制,将初始概率密度值与当前状态关联,得到不确定条件下返回器及其分离部件的飞行管道和期望弹道。仿真结果表明,基于Koopman算子的飞行管道快速预测算法在收敛速度和精度上都要显著优于Monte Carlo方法;利用飞行管道计算结果对搜救直升机飞行路线进行规划后,碰撞风险最大降低54%且搜索时间减少70%。飞行管道预测算法已成功应用到嫦娥五号的回收任务中。     

高性能异构加速器MiniGo算子优化方法

根据高性能异构加速器的特性和MiniGo的训练模式提出了一种高效的并行计算方法。对片上计算资源进行合理规划,实现异构设备之间的流水并行优化;根据异构设备间存在共享存储段设计了共享内存编码模式,减少数据传输开销;根据数字信号处理簇内具有多计算资源的特点结合算子计算-访存特性设计了不同的算子并行计算优化策略。同时,面向TensorFlow实现了一个易于使用的高性能计算库。实验结果显示,该方法实现了典型算子的多核并行计算。相对于单核,卷积算子加速比为24.69。相较于裁剪版8核FT2000+CPU,该方法训练和自博弈执行速度加速比分别为3.83和1.5。     

一种推广的连续情形经济投资模型

随着序列情形费用型投资模型和折扣投资模型的解决，本文对其进行连续推广，并给出一个明确的停止规则。     

基于改进的投影法的目标标识定位算法研究

军事对抗中,需要准确识别目标标识,以车辆识别中车牌精确定位为例进行研究。通过结合利用跳变法和投影法,提出一种基于改进的投影法的车牌定位。由进行车牌水平定位的跳变法和进行车牌垂直定位的投影法两个步骤组成。其中,像素在车牌水平方向的区域内会产生明显跳变,先通过跳变法确定车牌的水平区域。由于车牌一般位于图像的下半部分,所以从图像的1/2高度到4/5高度,1/3宽度到4/5宽度处扫描,减少背景区干扰。然后在车牌的水平区域再进行垂直投影,得到车牌的准确位置。实验结果证明,该方法不仅可以有效提高定位速度,还能够由于减少背景区的干扰而提高定位准确度。     

雷达或指挥系统终端技术应用与发展

作为雷达和现代指挥系统的一个重要组成部分——显示设备及技术,已经经过了一个世纪的飞速发展历程。为了更好地研究和探讨它们未来的发展方向,从阴极射线管、平板显示技术及器件、投影显示技术及器件、立体显示技术及器件、综合数据显示技术及器件、光栅扫描显示技术及器件等六个方面回顾了它们的发展足迹。     

制导导弹试验仿真中的目标模拟技术

介绍了制导导弹试验仿真中采用的典型目标模拟技术和目前的发展状况,这些目标模拟技术主要包括:信号直接注入技术和目标影像投影技术。详细介绍了几种目标模拟技术的优缺点以及未来的发展趋向。     

基于对称迭代的反向混合单调算子方程组解的存在惟一性

运用锥与半序理论和对称迭代方法,讨论半序Banach空间一类反向混合单调算子方程组解的存在惟一性,并给出了迭代序列收敛于解的误差估计,同时讨论了非反向混合单调算子方程组解的存在惟一性.所得结果改进和推广了混合单调算子方程某些已知相应结果.     

操纵手考核成果的操纵手模型参数辨识

以半自动跟踪的人机系统为研究对象,从工程实际中提取了描述操纵手操控水平的指标集:静态灵敏度、平均超差度及平均超差频率指标,并依据这些指标的考核结果,构建了一种操纵手数学模型的辨识方法.最后由靶场试验数据辨识了相应的模型参数,从而验证了该方法的可行性.     

一致光滑Banach空间中一类非线性算子方程的解

证明了一个新的锐角原理,在不使用连续性条件的情况下,给出了在一致光滑Banach空间中一类非线性算子方程的可解性定理。