局部耗散型算子的Ishikawa迭代序列收敛性判别准则

给出了局部耗散型算子的Ishikawa迭代序列的收敛定理,将近期该领域的许多结果一般化。     

算子值解析函数的 Julia-Wolff引理

本文将单位圆上有界复值解析函数的Julia-wolff引理推广到算子值解析函数。     

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

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

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

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

实Hilbert空间中一类K-正定算子方程的可解性及其迭代构造

证明了Petryshyn关于K -正定算子方程可解性的一个定理在实Hilbert空间仍然成立 ,并给出解的迭代构造法     

目标识别中决策级语言和数值信息融合方法研究

自动目标识别信息融合是现代C~3I系统和综合电子战的重要内容之一。本文讨论了在决策层目标识别语言和数值信息融合的新思路,引入基于LOWA的融合算子ω_Q~(LOWA),举例说明该方法的可行性和深入研究价值。     

中立型泛函微分方程的周期解

综合利用D算子的性质及Horn不动点定理[8],研究了有限时滞中立型泛函微分方程的周期解的存在性问题,证明了解的一致最终有界性蕴含周期解的存在性,从而推广了著名的Yoshizawa周期解定理[3],同时推广了[1]和[2]的主要结果.     

基于ODI方法的防暴动能弹钝击效应影响因素分析

为提高防暴动能弹的设计安全性和使用安全性,需要确定影响其钝击效应的关键因素,并区分因素属性,采用基于OWA算子集成DEMATEL-ISM的方法(ODI方法),构建因素间的递阶层次结构模型,确定冲击加速度、冲击位移是影响防暴动能弹钝击效应的关键因素,比动能、动能为底层原因因素。研究结论对防暴动能弹钝击效应致伤标准制定和损伤等级评定具有借鉴意义。     

基于遗传算法的多目标虚拟装配路径规划

针对以往求解路径规划问题中以路径最短为目标的局限性以及随机选取初始路径的缺陷,引入合适的目标函数和遗传算子,提出了一种基于遗传算法的多目标虚拟装配路径规划方法,利用大范围初始化的方式产生具有代表性的初始群体,设计了具有启发作用、适合路径规划的遗传算子,能够同时得到不同特点的多条路径,优化了装配路径.     

关于A-增生算子的广义变分包含的Mann-型迭代算法

通过研究A-增生算子的性质，延伸了关于H-增生算子的预解算子概念到新的A-增生算子。通过进一步运用A-增生算子的预解算子技巧，考虑了一类新的关于A-增生算子的广义变分包含，并提出了一种Mann-型迭代算法来逼近此类广义变分包含的解。最后证明了新的一类广义变分包含解的存在性和唯一性，并讨论了由此Mann-型迭代算法产生的迭代序列的收敛特征。