美国载人重返月球动机之我见

对美国载人重返月球的动机有各种说法,如何来正确分析认识这些说法是非常必要的。透过这些分析来比较客观地认识美国载人重返月球的真正动机,对于梳理我国实施月球探测计划的发展具有一定的借鉴意义。1关于载人重返月球动机的各种说法1．1探寻水冰之说在几次月球探测任务中,如1994年的“克莱门汀”,（Clementine）、1998年的“月球勘探者”（Prospector）,美国都对外宣称发现了月球可能存在水冰的证据,     

美国航天飞机第127次飞行

美国东部时间2009年7月15日18：03,奋进号航天飞机从佛罗里达州肯尼迪航天中心发射升空,飞行任务代号为STS-127。这是航天飞机第29次执行“国际空间站”任务,也是奋进号第23次飞行。至此,在2010年航天飞机退役前,航天飞机还有7次“国际空间站”任务。     

多星联合任务规划中不同迭代修复策略比较研究

对地观测卫星任务规划需要对参与规划的任务安排卫星成像窗口,问题优化目标是在不违反约束的情况下,最大化安排任务的重要性评价值,是一类典型的过载规划问题.引入迭代修复算法思想对多类型卫星任务规划问题进行求解,设计了迭代修复算法流程,给出基于成像概率、基于时间序和基于随机选择的三种不同的启发式策略,并结合不同的贪婪初始解生成策略进行比较研究.实验结果表明,基于随机选择的启发式策略在改进问题解上表现最优,而结合领域知识的初始解能有效提高算法收敛速度.     

美新火星漫游车推迟发射

NASA去年12月4日宣布,其“火星科学实验室”将推迟到2011年秋发射,比原定的2009年10月晚了两年。这项探测任务将把一辆下一代漫游车送上火星。车上载有一些前所未有的研究工具,用于研究火星的早期环境史。无法按原计划发射是因为探测器在测试和硬件方面遇到难题。2009年的发射窗口在10月底关闭。基于地球和火星的相对位置。适于向火星发射探测器的时机每两年才会出现一次,每次只有几周。2009年后的下一次发射时机是在2011年秋。     

发射消息

宇宙神5—401型火箭6月18日在卡角发射了“月球侦察轨道器”（LRO）和“月坑观测与探测卫星”（LCROSS）。LRO轨道器由戈达德航天飞行中心研制．重约1吨．装有6台科学仪器和一台技术验证装置。它经4．5天的飞行后进入绕月轨道．调试后进入高50公里的主探测任务轨道,将先开始1年的基本观测．并可能将工作时间延长数年．     

多星任务规划中的FFFS-DTMB与ADTPC-DTMB算法

 多星对地观测任务规划是一类典型组合优化问题,针对该问题中常见的时间窗口冲突问题,根据同一时间窗口内的冲突任务的处理方式提出了两种有效处理此类问题的规划算法：带有冲突任务时间窗口后移的先完成先规划算法(FFFS DTMB)以及冲突任务共存性判断算法(ADTPC DTMB),并给出了关键步骤的算法过程与伪代码。完整的卫星任务规划过程包括了约束检查、优先级检查以及任务规划,不考虑任务间关系与优先级,主要研究处理具有时间窗口冲突的任务规划算法。文中给出的两种算法优化目标均为最大化规划任务数量。算法的主要思路是通过采用一个冲突任务替换一个已规划的任务,并将替换任务后移至下一时间窗口或在同一时间窗口内部后移。最终的评价结果显示了两种算法的有效性。     

适航文件管理信息系统研究与开发

适航文件管理是机务维修中非常重要的一环,是整个飞机维修工作的源头,其准确性和有效性直接关系到飞机的适航。本文介绍了适航文件的管控流程,以任务驱动的设计思路开发了适航文件管理系统。该系统在架构上充分考虑了集团化,用统一代码实现了多营运人适航文件从评估到执行监控的闭环管理,能降低工作差错的发生率,保障飞机适航。     

基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证

随着中国航天技术的发展,航天器系统的软件规模越来越大、复杂度越来越高,对航天软件的正确性、可靠性、安全性等提出了更为严格的要求.形式化方法是提高软件可信性的一个重要途径.利用形式化方法 Event-B对嵌入式操作系统SpaceOS2的任务管理模块的进行需求建模,依靠不变式来保证模型的正确性,并且在Rodin平台上对模型进行了形式化验证,结果表明模型是正确的.     

长三乙火箭：在改进中飞出新纪录

承担此次嫦娥三号探测器发射任务的长征三号乙改进型运载火箭,为捆绑式三级液体运载火箭。与承担嫦娥二号发射任务的火箭相比,这枚火箭采用了多项新技术,进行了多项技术状态更改,突破了多轨道、窄窗口发射和高精度入轨技术,可靠性和安全性也得到进一步提高。     

敏捷光学卫星密集区域推扫成像任务规划方法

敏捷成像卫星可以实现利用三轴姿态机动所形成的推扫成像模式,同时可以在机动过程中同步成像。在敏捷卫星成像任务的基础上,建立考虑推扫成像模式的敏捷卫星任务规划模型。通过高斯投影建立球面直线扫描条带的数学生成模型,并利用Matlab现有函数进行优化解算;由于模型解算的复杂性,将整体规划问题分为两层子问题分别进行处理,在条带任务分配中,设计了适用于计算机计算的含有条带分配策略的解算算法;在上层规划中,基于推扫成像的双向扫描特性,设计了基于启发式规则的敏捷卫星任务规划算法;之后,将不可规划条带拆作孤立点目标进行处理,最后通过再合成处理完成整体规划。仿真结果表明,文章所设计的算法可以有效处理实际情况下的敏捷卫星推扫成像任务规划问题。