复合Halpern迭代逼近可数个增生映像的公共零点

设E是严格凸和自反的实Banach空间且其范数是一致Gateaux可微的,K是E中非空闭凸子集,Ai：K→E（i∈N）是m-增生映像且公共不动点集非空,u∈K是给定点,X1∈K是任一初始点,{αn}^∞ n=1、{β}^∞ n=1是[0,1]中的实数列且满足如下条件：（i）lim n→∞αn=0,∑^∞ n=1 αn=∞,∑^∞ n=1｜αn＋1－αn｜〈∞;（ii）lim n→∞βn=0,∑^∞ n=1｜βn＋1－βn｜〈∞。设{Xn}^∞ n=1是由下面复合Halpern格式定义的迭代序列：{yn=βnXn＋（1-βn）SXn,n≥0 Xn＋1=αnu＋（1-αn）yn其中S=∑∞ i=1ξiJAi,JAi=（1＋Ai）^-1（i∈N）,那么{Xn}∞ n=1强收敛于{Ai}i∈N的公共0点。本文的结果改进和推广了Zegeye和Shahzad,Ofoedu以及其他作者的相应结果。     

一种修正的Mann迭代算法的强收敛性

设H是一Hilbert空间,C为H的非空闭凸子集,T：C→C为一非扩张映射。在假设零元素θ∈C的情况下采用正则化思想,提出了一种不涉及投影算子的Mann迭代修正算法来逼近T的不动点,证明了算法的强收敛性。     

Flight performance analysis of GRACE K-band ranging instrument with simulation data

A dual one-way ranging (DOWR) system provides very high accuracy range measurements between two satellites. The GRACE satellite mission implements the DOWR, called KBR (K-band ranging), to measure very small inter-satellite range change in order to map the Earth gravity field. The flight performance of the KBR is analyzed by using a hybrid software simulator that incorporates actual satellite orbit data into a comprehensive KBR simulator, which was earlier used for computing the GRACE baseline accuracy. Three types of experiments were performed. First is the comparison of the flight data with the simulated data in spectral domain. Second is the comparison of double differenced noise level. Third is the comparison of the range-rate difference with GPS clock estimates. The analysis shows a good agreement with the simulation model except some excessive high frequency noise, e.g. 10⁻⁴ m/√Hz at 0.1 Hz. The range-rate difference shows 0.003 cyc/s discrepancy with the clock estimates. These analyses are helpful to refine the DOWR simulation model and can be benefit to future DOWR instrument development.     

基于数据挖掘的飞行器气动布局设计知识提取

为了更深入地理解飞行器气动布局设计优化中多目标/多设计变量间的影响关系,提高优化模型的科学性及优化效率,对基于数据挖掘技术的飞行器气动布局隐含设计知识提取问题开展了探索研究。以高升阻比滑翔飞行器布局设计优化问题为例,基于当前比较有代表性的方差分析、等度量映射、决策树、自组织映射4类机器学习算法对气动布局优化设计中产生的中间数据进行了挖掘分析。对不同方法得到的升阻比、横/侧向稳定性及容积率4种目标性能间的权衡关系,目标性能与设计变量间的敏感性关系及产生较优布局外形的设计变量取值规则进行了综合对比分析,凝练形成了适用于该类飞行器的设计知识,同时对4种方法的特点及适用性进行了总结分析,给出了相关结论。     

基于UDP的端对端通讯的原理及实现

通过探索网络地址转换设备在进行UDP (User Datagram Protocol) 端口映射所存在的临时时间窗口,论述了使用UDP穿透网络地址转换设备的原理.引入检测及握手服务器及其所实现的数据包反射服务,来检测动态映射的端口信息以及网络地址转换设备在进行端口映射的特性.探讨了不同类型的网络地址转换设备对这种实现的影响,给出了检测过程以及建立端对端通讯过程的具体流程.这种实现可被广泛应用在IP语音、实时视频、文件共享以及分布式计算等应用中.     

失效卫星远距离相对位姿估计与优化方法

针对远距离非合作慢旋目标位姿估计精度问题,提出一种融合图像超分辨与视觉SLAM的相对位姿估计方法。算法主要包含3个步骤：通过梯度引导生成式对抗超分辨技术,提升目标图像的质量以获取更多更高质量的特征点;构建特征数据库实现当前帧与特征数据库的匹配,提升旋转目标的特征跟踪稳定性;利用图优化对多帧图像进行联合位姿优化,消除累计误差,得到更为精确的估计结果。为稳定网络的训练,将自然进化算法引入到对抗训练中。为增强模型的泛化性和鲁棒性,实验中的数据集采用半物理仿真获得。实验结果表明,当等效距离为25 m且失效卫星以25（°）/s的速度旋转时,目标图像经超分辨网络增强后,能够实现连续稳定的长时间测量。     

基于增量式路标表观学习的移动机器人定位

在全景图像中,机器人参考定位的路标表观受到畸变、观察视角、路标尺度变化以及环境亮度的影响,致使基于全景视觉的机器人自主定位存在着许多难点有待解决.提出增量式的路标表观学习方法,准确估计路标的表观变化,并为基于粒子滤波的机器人定位过程提供准确的观测信息.增量式路标学习过程利用增量式概率主元分析为理论工具,将不同视角的路标表观的主元特征表示成不断自主更新的特征基底,为计算观测量与路标真实表观的相似度提供了实现途径和理论依据.该学习算法能够被集成到带有重采样的贯序权值采样粒子滤波算法过程中,实现了全景视觉机器人的精确自主定位.实验结果表明:该算法的定位误差小,计算量小,执行效率高,对全景图像中的各类干扰均不敏感.     

关于粘滞迭代的一个强收敛定理

在一致光滑的Banach空间E中,C是E中非空闭凸子集,f：C→C是压缩映像,T：D→C是非扩张映像且不动点集合F（T）非空,x0∈C是任一初始点,由粘滞迭代xn＋1=αnf（xn）＋（1-αn）Txn构造的序列{xn}在｜Tzn-xn-zn-xn｜=0（βa）条件下强收敛于T在C中的不动点。     

局部凸空间中的压缩映射

本文将压缩映射原理推广到Ｈａｕｓｄｏｒｆｆ局部凸空间,证明了几个不动点定理。