Hilbert空间中严格伪压缩映像的强收敛定理

给出了一种求解严格伪压缩非自身映像不动点集上变分不等式的迭代算法，并证明了其强收敛性。此结果推广了姚永红和T．H．Kim等的研究结果。最后，进一步将结论推广到求解有限个严格伪压缩非自身映像公共不动点集上的变分不等式。     

ASW-RTS:一种软件性能数据在线检测方法

在软件健康管理系统中,需要对相关被测构件的性能进行在线检测,从而确定构件的健康状态。针对被测构件的性能衰退检测问题,在AR(p)模型基础上,结合时间序列滚动式算法的准确性,提出了一种具有自适性策略的ASWRTS算法,用于对被测构件革新异常类性能数据的在线检测,提高检测的准确度,并基于该算法设计了构件性能异常数据的在线检测过程。实验结果表明,该算法将检测精度提高了50%左右,能够有效在线检测构件的性能衰退,说明了该算法的正确性和有效性。     

可压缩流动激波装配在格心型有限体积法中的应用

发展了一种基于格心型有限体积方法(FVM)的激波装配算法。通过定义网格节点属性可以灵活调用激波装配和激波捕捉计算方法。在使用激波装配方法时,激波节点运动速度和下游运动速度通过Rankine-Hugoniot(R-H)关系式获得,同时采用非结构动网格技术描述激波的运动以及调整其他网格节点的位置。流过激波面元的通量为上游单元的基本通量,物理概念更加清晰,通量计算也更为准确。在计算过程中,网格节点属性可以发生变化,以此实现对带有拓扑变化流场的描述。数值试验表明:本文提出的计算方法不但具有较高的计算精度,同时能有效地避免由于捕捉激波而出现的数值问题。     

和平号空间站的设计特征

本文介绍了和平号空间站联合体几个主要组成部分的详细设计特征及其基本性能数据,联合体包括和平号基本站,大型科研舱(如宇宙1443和1686),小型科研舱(如宇宙1669),联盟TM乘员接送船和进步号空中加油船。本文还把和平号与礼炮号空间站的设计特征进行了比较,介绍了和平号的6个停靠口,以及联盟TM和进步号宇宙飞船在和平号站会合、停靠的过程。     

服装B2C网站主页营销信息对比分析——以VANCL(凡客诚品)和Masa Maso(玛萨·玛索)为例

B2C网站主页的营销信息对客户的最终消费决策有重要影响.VANCL(凡客诚品)和Masa Maso(玛萨·玛索)两家服装B2C代表企业网站主页的营销信息对产品、价格、促销等信息各有侧重,其所反映的不同品牌定位策略与效果对其它企业有借鉴意义.     

海洋卫星O级数据格式分析与规范化研究

对目前国际上应用水平较高的海洋光学传感器MODIS的0级数据格式进行研究与分析,简述我国海洋一号B卫星(HY-1B)光学传感器0级数据格式的内容,并通过与CCSDS数据格式对比,提出针对我国海洋卫星0级数据格式的规范化建议。     

飞机小半径导管中频压缩弯曲工艺研究

在系统分析小半径中频压缩弯管成形机理的基础上，推导出弯管最大壁厚减薄率和最小相对弯曲半径的计算公式，研究了附加弯矩对最大壁厚减薄／增厚率的影响，并指出了减小相对弯曲半径、提高弯管质量的主要途径。     

GNSS在国际民航组织中的标准化工作综述

介绍全球卫星导航系统(GNSS)在国际民航组织(ICAO)中的标准化工作情况,其中包括ICAO公约附件10有关GNSS标准与建议措施制修订情况以及现各大卫星导航系统加入ICAO标准框架情况,同时对目前我国北斗在ICAO中的标准化工作作了介绍。     

基于盲源分离的雷达信号欺骗干扰抑制

针对脉冲压缩信号的频谱弥散(SMSP)干扰,通过分析其时频特性,提出了一种基于盲分离的抑制算法。首先,推导了基于独立分量分析的代价函数,由于代价函数中信号概率密度函数不能精确估计,利用信号高阶互累积量的性质,重新构造了一种新的代价函数;其次,利用基于自然梯度的方法对新代价函数进行优化,从而得到基于峭度的盲分离算法;最后,通过仿真证明,对比Fast ICA算法,文中算法具有更快的收敛速度和更好的分离性能,在保证分离精度的前提下,可成功将目标回波信号分离,达到SMSP干扰抑制的目的。     

面向不确定环境的航天器智能自主控制技术

针对智能自主控制系统所涉及的自主感知技术、自主决策技术和控制执行技术的研究现状进行了分析和总结,剖析了目前航天器控制系统在应对不确定环境时面临的困境。结合未来空间任务对航天器能力的需求,提出了一种新型"感知-演化-决策-执行"(OEDA)星上闭环控制框架,探讨了其特点和功能,进一步阐述了OEDA控制框架中所涉及的理论与方法,最后分析了该控制框架实际应用和进一步发展需解决的关键科学问题。