渐近严格伪压缩映象的Mann迭代序列

证明了希尔伯特空间上的渐近严格伪压缩映象的Ｍａｎｎ迭代序列的收敛性定理。     

Ishikawa迭代序列的强与弱的收敛性定理

本文证明了Hilbert空间上Lipschitzian半压缩映象的Ishikawa迭代序列的弱收敛性和Banach空间上的一类映象的Ishikawa迭代序列的收敛性。     

非列紧空间的一般非扩张映象的Ishikawa迭代序列

本文证明了Hilbert空间上的非列紧的一般非扩张映象的Ishikawa迭代序列的收敛性。     

压缩映射原理在平台惯导系统加速度计标定中的应用

传统的平台惯导系统加速度计所采用的自标定方法受到加速度计零偏预装值的影响存在着一定的误差,而且加速度计标定参数准确性的验证方法也较为烦琐,不利于操作。基于压缩映射原理,针对平台惯导系统加速度计提出了一种迭代式标定方法,消除了传统加速度计自标定方法中的误差,同时提出了一种简单、有效地验证加速度计标定参数准确性的方法,并对这种迭代式加速度计标定方法的收敛性进行了证明以及试验验证。     

遥测伪周期时间序列子序列异常检测算法

针对现有异常检测算法用于伪周期时间序列异常序列检测时易造成误差累积,导致序列周期与特征值上显著差异的不足,文章以卫星遥测伪周期时序数据为对象,综合两种常规分段方法的优势,提出了最大周期窗宽内基于极值的模式子序列分段算法。在此基础上,给出了一种基于均序列动态生成模型的子序列异常检测方法（AnomalySubsequenceDetectionmethodbasedonOptimizedSequenceModel,ASD_OSM）,并采用2次四分位距准则（DoubleQuantilerangescriterion,2Q准则）设置距离检测门限阈值,将超出阈值的序列判定为异常序列。某航天器传感器遥测子序列异常检测试验结果表明,提出的检测方法能够有效减少漏判,提高卫星遥测伪周期数据异常序列检测的准确性。     

卫星干涉高光谱遥感图像序列差值压缩编码

根据干涉高光谱图像的成像特点和卫星遥感图像压缩编码系统要求,提出了一种新的卫星干涉高光谱图像序列压缩算法。新算法利用干涉成像光谱仪推扫成像特点提出了一种低存储量,帧间小波域匹配的图像序列压缩方案,提高图像质量3—4dB。算法首先通过小波域匹配算法检测出相邻图像之间的推扫位移量并移位求得两帧的最佳差值图像,然后对差值图像进行静止图像EBCOT压缩编码,从而提高总体编码效率。该算法具有与单帧图像编码算法相当的复杂度,只需要对当前图像与模板的差值图像进行基于小波变换的编码,避免了目前基于三维小波变换的编码算法对系统大存储量要求以及编码延时大的缺陷。仿真结果表明,本算法针对干涉高光谱图像编码,可获得比基于三维小波变换的算法相当甚至更好的效果,并且大大降低了编码延时。     

面向空间天文观测的序列图像无损压缩算法

空间天文观测任务会获得大量天文图像.对定点天体连续观测得到的序列天文图像具有时间及空间冗余较高的特点.为了减少序列天文图像的存储与传输的数据量,保证序列天文图像的完整性,满足科学目标的任务需求,需要对其进行无损压缩.本文提出了一种利用帧内压缩与改进的帧间压缩相结合的无损压缩算法,将序列天文图像的第一帧进行JPEG-LS帧内无损压缩编码,其余帧进行改进的帧间无损压缩编码,从而有效去除序列天文图像的时间及空间冗余,提高序列天文图像的压缩比.经过试验测试,改进后的帧间压缩效果优于帧内压缩效果,改进后的帧间压缩时间少于帧内压缩时间.结果表明,该算法简单且高效,适用于对序列天文图像的无损压缩.     

基于压缩感知的DSSS信号双阶段捕获方法

针对直接序列扩频(DSSS,Direct Sequence Spread Spectrum)信号的捕获性能与硬件消耗或计算复杂度的相互制约问题,基于压缩感知理论,提出了一种双阶段压缩捕获方法,第1阶段进行快速粗捕获,第2阶段在第1阶段基础上实现精确捕获.首先研究DSSS信号的相关域稀疏性,构造了稀疏变换矩阵;然后利用确定性沃尔什-阿达马矩阵,分别构造了2个阶段压缩测量矩阵及其检测算法;最后从检测概率和平均捕获时间两方面对提出算法的捕获性能进行了理论分析,并用蒙特卡罗法进行了验证.理论分析和仿真实验表明,该方法能够在显著降低相关次数的前提下,达到传统基于并行相关方法的捕获性能水平.      

基于序列-图像映射的航天器智能故障诊断方法

卫星组网是未来航天的发展大趋势,要保证众星在轨安全可靠稳定运行,要求单星具备高精度的在轨自主故障诊断能力。本文针对航天器控制系统故障闭环传播和数据维数高的特点,结合某航天器的地面测试数据,首先对高维耦合序列数据进行处理,实现序列到灰度图像的映射,然后采用卷积神经网络完成高精度同一故障部件的故障诊断。通过将所提方法与K邻近算法、基于主成分分析的K邻近算法等非图像化机器学习算法进行对比验证,说明了本文所提方法的有效性。     

有关圆定理的几点讨论

经典圆定理只证明了奇点位于圆外的情况，本文用正则摄动法证明了源和汇位于圆上时，圆定理也是适用的。本文对奇点位于圆内时，应用圆定理的某些限制条件，也作了讨论。     

分形图象学的发展

简述分形几何基本概念及其在图象领域中的应用，包括随机分形模型、混沌动态系统中的分形及迭代函数系统分形模型及其典型应用。     

求团之间最优路径的扩展双向广度搜索算法的改进

对求团之间最优路径的扩展扩度深度混合搜索算法进行了改进，将原算法中扩展双向广度搜索的三个过程合并为一个过程．改进算法当路径深度较小时与原算法等效，当路径深度较大时有更高的运行效率．     

人工释能法求解线性代数方程组

本文建立求解线性代数方程组的人工释能法迭代格式,并给出该迭代格式收敛的充分必要条件和最佳释能时机,同时给出实现人工释能法的数值计算方法及其数值稳定性条件。     

可靠性增长潜力的分析方法

提出了可靠性增长潜力的分析方法，并讨论了相关影响因素，进而给出了专家评值法，该方法对确定产品可靠性增长的可能目标，明确要采取的主要措施，是一种实用而有效的方法，尤其适用于已批量生产的产品，特别对现阶段以引进和自主开发相结合的我国工业，具有重要的实用价值。     

解Stokes问题的区域分解算法

对用非协调混合元离散的Ｓｔｏｋｅｓ问题，建立了延拓定理并分析了一个两子域不重叠区域分解算法，利用已有的对二阶椭圆型问题有效的预处理器，借助Ｂｒａｍｂｌｅ ＪＨ等的思想，将原鞍点问题变为一个在适当内积意义下的对称正定问题，并估计了它的条件数。     

自由树形多刚体系统碰撞的动力学方程

利用描述多刚体系统在空间的位置和连接形态的位形矩阵，并引入“折算惯量张量矩阵”当量转动惯量矩阵”的概念，在牛顿－欧拉方法的基础上，建立用矩阵形式表示的多刚体系统的冲量方程和冲量矩方程，利用这组方程可以计算在外碰撞冲量作用下，系统运动状态的改变量以及各铰中产生的约束反力的内碰撞冲量和冲量矩。