摘要：嫦娥二号卫星在国际上首次成功实现从日-地拉格朗日L2点飞越探测小行星的任务.本文针对该任务的转移轨道设计问题,提出了满足时间节点约束、测控约束及燃料约束的拟流形摄动多节点转移轨道方案.首先,基于圆型限制性三体系统拟周期轨道的流形理论,分析了嫦娥二号卫星Lissajous轨道及其不稳定流形,给出了该流形延展与Toutatis小行星轨道的空间关系;然后,基于星历模型,提出了拟流形摄动法分析飞越Toutatis小行星的机会,得到了转移轨道的初值;最后,基于DE405星历模型、高精度动力学模型及小行星星历,采用多级微分修正法,得到满足约束的转移轨道方案.嫦娥二号卫星于2012年4月15日和6月1日进行两次变轨机动,2012年12月13日近距离成功飞越4179Toutatis小行星.工程飞行试验结果验证了嫦娥二号卫星从日-地拉格朗日L2点飞越探测4179Toutatis小行星轨道设计方案的正确性和可行性.

摘要：本文介绍一种定向凝固设备中使用到的抽拉系统，该系统具有０．１～８３０００ｍ／s的宽调速范围，且在低速状态下，系统运动平稳。由于控制系统采取了合理的抗干扰措施，所以该系统在强电磁场下仍然能够可靠运行。

摘要：环氧树脂是一类具有优异的粘接、耐腐蚀和电气绝缘等性能的高强度热固性高分子材料,在黏结剂、防腐涂料和复合材料方面展现出广阔的应用前景,其摩擦学行为与环氧值密切相关.本研究中采用线棒涂布器在铸铁表面分别制备了3种具有不同环氧值的环氧树脂涂层.借助傅里叶红外光谱仪(FT-IR)、X射线光电子能谱仪(XPS)、扫描电镜(SEM)、纳米压痕仪、热重/差热综合热分析仪(TG/DTA)、UMT-3摩擦磨损试验机和表面轮廓仪研究了涂层的结构、硬度、耐热性及摩擦学性能.研究结果表明:涂层在干燥条件和海水环境中的摩擦系数和磨损率均随环氧值的增大而升高;海水环境中涂层的摩擦系数和磨损率均较干燥条件下低.涂层的磨损机理在干燥条件下包括了疲劳磨损、黏着磨损和磨粒磨损,而在海水中仅为疲劳磨损.本研究成果为高性能防腐耐磨涂层的设计与应用提供理论指导.

摘要：利用GCM -SSiB全球大气环流谱模式 ,设计两组数值模拟试验 (即控制试验 (CE)和沙漠面积扩大试验(DE) ) ,研究了大陆沙漠化对我国区域气候变化的影响。模拟结果表明 :沙区扩展后 ,大陆年平均地表温度降低 ,海平面气压上升 ,纬向风速、季风加强 ,夏季低空上升运动减弱 ,冬季下沉运动增强 ,降雨量显著减少 ,地表蒸发、感热和潜热通量亦显著减少。我国区域气候随大陆沙漠化扩展趋向冷干、风速加大 ,沙漠扩展与区域气候恶化存在正反馈。

摘要：以中分辨率成像光谱仪数据（Moderate resolution imaging spectroradiometer，MODIS）为基础计算泾河流域归一化差异植被指数（Normalized difference vegetation index，NDVI）在2001—2004年的时间序列值，分别采用相关系数r值和成对f检验的f值定量描述年内NDVI曲线在年际问的协同性和差异性。以农田、森林、灌丛和草地4种土地利用类型NDVI曲线在年际间变化显著的面积百分比为参数，在2001～2004年间分为1、2和3年间隔共6个时间组，比较分析4种土地利用类型的NDVI曲线在6个时间组内的协同性和差异性，进而探讨泾河流域植被年际变化及其与土地利用之间的关系。结果表明：4种土地利用类型NDVI波动对外界环境的响应在不同的时间间隔里表现一致，在2001～2003年和2001～2004年间变化比较明显；在各个时间组内比较发现有较大面积的农田和草地NDVI协同性较差，尤其在2001—2002年间，这可能与退耕还林还草政策的实施有关；4年来泾河流域内4种土地利用类型的NDVI值有增加趋势，植被状况趋于良好；NDVI年际间差异最明显的是草地，其次是农田和灌丛，森林的NDVI比较稳定。

摘要：针对命题线性时序逻辑表达能力有限的问题,设计并开发了基于SPIN(Simple Promela interpreter)验证系统的命题投影时序逻辑(PPTL)模型检测器.将协议元语言(ProMeLa)描述的系统转换为系统自动机,将PPTL公式表达的性质转换为性质自动机,通过判定系统与性质自动机的积自动机接受的语言是否为空来判断系统是否满足性质.PPTL模型检测器修改了SPIN的匹配机制,从而改进了验证算法,使得PPTL模型检测器支持有穷和无穷模型的验证.实验结果表明,该模型检测器可以减少无效验证产生的无效迹数目,有效地实现PPTL模型检测.

摘要：采用三点弯曲冲击断裂实验装置和分布式多火花高速摄影系统对冲击倾向性煤体内裂纹扩展过程进行了观测,分析了裂纹扩展速度、动态裂纹扩展摸式和裂纹扩展的非稳定性.研究发现:冲击倾向性煤体内裂纹扩展具有高度的非线性特征;煤体的非均质性和不连续性对动态裂纹扩展模式和裂纹扩展速度有较大影响.实验结果解释了由放炮等震动诱发冲击地压灾害的滞后突发机理.

摘要：应用Hoek-Brown强度理论对Lippmann煤层平动突出模型进行了改进,综合考虑了强度、结构等因素对煤层平动突出的影响,研究了水平煤层从巷道两帮突出前临界状态下的应力分布规律.赵各庄矿的实例研究表明,改进后的Lippmann煤层平动突出模型适用于顶底板为岩石的煤巷或半煤岩巷煤层整体冲击的机理分析,为合理确定煤层突出范围度量指标以及煤层整体平动突出倾向性的判定提供了理论依据.

摘要：通过采样部分元素补全低秩矩阵的缺失元素是许多实际应用如图像修复、无线传感网数据收集和推荐系统等经常遇到的一个颇具挑战性的难题.在机器学习领域,这类问题通常能刻画成矩阵补全问题.虽然现有研究针对矩阵补全问题已提出了许多有效算法,但这些算法通常仅限于采样元素要么无噪要么仅含少量随机高斯噪声的补全情形,难以处理实际问题中常见的行结构化噪声.为了解决这个问题,该文首先借助分类器设计中流行的L2,1范数正则化技术来平滑此类噪声,并将该问题建模为一类基于L2,1范数正则化的凸约束优化问题.其次,为了快速有效地求解,我们将向量空间的线性Bregman迭代算法和近邻算子技术拓展到矩阵空间,进一步设计了一种鲁棒的基于线性Bregman迭代的结构化噪声矩阵补全算法(LiBIMC).严格的理论分析证明了LiBIMC迭代算法的不动点正是结构化噪声矩阵补全问题的全局最优解.数值实验结果表明,和已有的矩阵补全算法相比,LiBIMC算法不仅能更好地恢复结构化噪声矩阵的缺失元素,还能精确地辨识出采样矩阵中被污染的元素所在行的位置信息.

摘要：光学加密机制的研究近来引起了人们的重视。针对光学加密参数对密文安全性的影响问题,本文研究了加密参数与密文的影响关系,为虚拟光学加密系统设计提供安全性理论基础。论文给出了系统的实现算法,设计实现了加密仿真系统,然后对二维码进行了仿真实验与分析,验证了算法的正确性,从衍射距离、光波波长、随机模板、透镜焦距等参数对加密系统的安全性影响进行了仿真讨论,仿真结果表明光波波长对加密系统的安全影响最大,同时参数对安全性的影响存在非线性关系。论文最后讨论了可进一步研究的问题。