基于本体的语义相似在维修案例推理中应用

案例推理(CBR,Case-Based Reasoning)方法基于历史经验对新问题进行求解,适于飞机维修保障的知识表达和应用.针对飞机维修保障过程中涉及故障记录、诊断分析、维修处理等诸多方面和专业的特点,对相关信息和专业知识的分类方式及相互关系进行了讨论,给出维修保障领域知识和案例知识定义.通过面向对象分析方法建立了产品、故障模式、故障原因和数据字典等领域知识的本体模型,实现知识的一致性描述;重点对案例本体构建和检索进行了研究,基于领域本体结构的深度和出度计算案例特征的语义相似性,给出维修保障案例匹配方法,在此基础上开发了飞机维修保障知识管理系统并给出应用实例.     

军事计量的挑战与对策

分析了军事计量的特点与面临的困难和挑战：1）人才队伍;2）知识体系;3）技术体系;4）计量标准设施。讨论了军事计量所必需解决的技术问题与所面临的未来技术挑战。提出了军事计量应对挑战的对策：1）顶层设计;2）法规制定;3）基础研究;4）构建独立知识体系;5）强化核心能力建设;6）军民融合。     

美新火星漫游车推迟发射

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平台上对模型进行了形式化验证,结果表明模型是正确的.     

“月宫”105天

2014年5月20日,北京航空航天大学（以下简称北航）校园内,伴随着鲜花和掌声,三位志愿者谢倍珍、董琛、王敏娟结束了105天的＂宫中科学试验＂,从＂月宫一号＂密闭舱中走出。这标志着历经十年研究,北航研制的月球基地生命保障人工闭合生态系统地基实验装置＂月宫一号＂成功完成我国首次长期多人密闭试验。     

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

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