小行星形貌测绘与表征技术

小行星表面形貌测绘是深空小行星探测的首要任务。提出了一种适应探测器抵近观测的立体视觉在线测绘小行星形貌的方法,即先由立体相机获得所摄重叠区的三维地形,再用前后立体模型的连接点将各个独立模型连成一个完整地形信息,经整体最小二乘平差,确定小行星的形貌模型及特征;同时提出了一种基于等值线分析的撞击坑特征提取方法,即通过提取、分析地形等值线识别出地形中撞击坑特征。实验结果显示,本文所构建的原型系统能够快速重建出探测区域的三维地形,并识别出地形中撞击坑特征,证明了所提方法具有实用性。     

应用Delaunay图映射与FFD技术的层流翼型气动优化设计

采用非均匀有理B样条(NURBS)基函数属性建立了任意空间的自由式变形(FFD)翼型参数化方法,进一步结合基于Delaunay图映射技术建立了结构对接网格变形模式,通过粒子群优化(PSO)算法进行参数化方法、网格变形模式以及计算流体力学(CFD)数值模拟技术之间的整合,研究、构建了气动优化设计系统,并对某型层流理念设计的高空长航时(HALE)飞机基本翼型进行气动优化设计。气动特性目标函数评估方法中,边界层转捩数值模拟技术采用γ-Re_θt转捩模型耦合剪切应力输运(SST)模式湍流模型。优化设计后翼型气动特性表明:采用相关技术建立的层流翼型气动优化设计系统对于层流理念设计的HALE飞机翼型的设计具备较高的优化效率。     

基于AADL的机载设备系统可靠性建模

AADL可以描述机栽设备系统的时序需求、任务状态等关键性能特性,已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的机载设备系统可靠性建模方法,为该系统模型结构的设计和验证提供了理论依据。采用EMA子语言对AADL描述的机载设备系统进行可靠性建模,给出可靠性模型中的错误模型、错误传播和状态映射规则等子句属性的用法。最后通过一个基于AADL的机载设备可靠性建模实例,验证了所提建模方法的有效性。     

复合Halpern迭代逼近一族m-增生映像公共零点

在严格凸的Banach空间E中,介绍了一种新的复合迭代方法强收敛到一族m-增生映像公共零点。K是E中非空闭凸子集,假定E的每个非空闭凸子集上的非扩张映像都存在不动点,Ai：K→E（i=1,2,…,r）是一族m-增生映像,{xn}是由复合Halpem格式定义的迭代序列,证明了当n→∞时,{xn}强收敛于方程Aix=0（i=1,2,…,r）的公共解,改进和推广了Zegeye和Shahzad等人的相应结果。     

复合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种方法的特点及适用性进行了总结分析,给出了相关结论。     

CMOS SRAM器件单粒子锁定敏感区的脉冲激光定位试验研究

利用脉冲激光定位成像系统,对CMOS SRAM K6R4016V1D器件开展了单粒子锁定效应（SEL）敏感区定位的试验研究。试验结果表明：该器件的单粒子锁定效应敏感区呈周期性分布,而对于单一的SEL敏感区,其长度和宽度相差很大。在此基础上进一步讨论了SEL敏感区的分布对测试方法和空间SEL发生频次计算的影响。     

火星地形测绘研究综述

火星地形测绘是开展火星科学研究的基础。介绍了与地形测绘相关的火星探测任务,并对地形测绘传感器进行了分析。阐述了火星地形测绘摄影测量数据处理的基本原理,研究了基于SPICE库建立火星表面线阵影像严密几何模型的方法。讨论了火星地形测绘摄影测量数据处理中的光束法平差、密集匹配以及多线阵拼接等关键技术。在总结现有火星地形测绘任务特点的基础上,针对我国开展火星地形测绘研究提出了建议。