一种基于事件序列的故障树最小割集算法

在系统分析故障树最小割集各种求解算法的基础上,提出了一种故障树事件序列的数据结构,并针对该数据结构,设计了一种高效的故障树最小割集求解算法,并对其替换子算法、复制子算法和消减子算法进行了形式化描述。算法可有效降低最小割集生成中的“组合爆炸”问题,实验结果表明算法具有较好的计算性能。     

民用航空中的维修人为因素事件预防措施研究

从上世纪70年代以来,人为因素是导致事故的主要原因,占事故原因的80%以上,成为航空安全的大敌.如果不解决人为因素问题,就难以从根本上改善航空安全,这种认识已经成为世界民航界的共识.而且,近10年来由于维修方面的人为差错引起的事故没有得到有效的控制.     

实时数据库的主动机制研究与实现

主动机制是实时数据库管理系统（ＤＢＭＳ）的一个重要功能。在主动机制的基础上,实时ＤＢＭＳ能够根据数据库中某些数据及环境的变化,主动地作出一定的反应,执行预先设计的动作,而不仅仅是被动地执行用户的命令。文中主要介绍一个实时ＤＢＭＳ的主动子系统,采用事件－条件－动作的规则来实现其主动功能;讨论了规则的表示和存储结构,规则子系统的系统结构及与ＤＢＭＳ的联系;并详细介绍了条件评价器、规则检索优化、规则冲突     

外星人来串门

历史上关于飞碟的传说有很多,但能拿出确凿证据的却寥寥可数。作为地球上最发达的国家,美国吸引的不止是大量外国游客,也是外星生物来到地球后的首选落脚点,每年都有数百起关于不明飞行物的报道。最引人注目的外星人证据就是在美国领空发生的"大量群众目击",许多证人都声称看到过不明飞行物。1997年3月发生的"凤凰灯"事件,有超过100名证人站出来,说自己看到了三角或V字形状的机器在亚利桑那州菲尼克斯市徘徊。此外,美国也拥有全世界最高的绑架外星人记录。     

美俄卫星碰撞事件验证及其对我国卫星的影响分析

北京时间2009年2月11日0时55分,美国铱星-33和俄罗斯宇宙-2251两颗卫星在太空相撞,在所在的高度产生了大量新增空间碎片,使得空间碎片环境更加严峻,低轨航天器运行遭受空间碎片撞击的风险大幅增加。文章通过碰撞前后轨道数据分析,确认并验证了此次碰撞事件;利用事前轨道数据进行碰撞预警分析,得出碰撞的相关的参数;通过分析此次事件产生的新增碎片的轨道数据,进一步验证确认碰撞事件;从空间碎片密度和通量角度分析其时当前空间碎片环境产生的影响;通过新增碎片寿命计算分析其对空间碎片环境的长期的影响;从碰撞概率出发分析对航天器运行安全的威胁。分析结果表明：我国低轨卫星在一定程度上增大了空间碎片碰撞风险,需要进行在轨空间碎片碰撞预警,以确保我国卫星的安全运行。     

日本HTV的责任

日本HTV的发射是今年世界载人航天界的一件大事,不管是事件本身,还是事件的主角——HTV飞船和H-2B运载火箭,都引起了航天人士和舆论媒体的极大关注。随着HTV搭乘H-2B的上天,日本的航天实力究竟达到了怎样一个新高度呢？它到底或者应该带给世界各国航天人士或部门怎样的关注呢？     

芯片间时间触发通信综合规划方法及其优化

随着片上系统（SoC）的处理能力逐渐接近传统的综合核心处理模块,航空电子系统向着微小型综合化的芯片间系统发展;时间触发交换式互连可以保证芯片间消息传递的严格时间确定性。考虑芯片间互连交换结构轻量化和收发端口有限的特点,在拓扑、路由和调度时刻等网络资源相互制约的条件下,提出了芯片间时间触发通信综合规划方法,即根据时间触发消息集合和芯片端口配置,同时求解得到芯片间网络拓扑结构、消息路由和调度时刻表的规划结果。其中,采用免疫算法整体优化了各条消息在网络资源分配过程中的求解次序。仿真实验表明,与不考虑整体优化的综合规划方法相比,优化后的规划结果在减少拓扑结构中多余路径开销的同时,避免消息传输路径拥堵,降低消息端到端延迟,保证了消息集的可调度性。      

面向智能环境的活动模式迁移学习

针对智能环境中活动模式的学习和挖掘花销大、难以实际操作等问题,提出了能够有效地将已有活动模式迁移到新环境的整体框架。迁移学习框架将活动模式的迁移过程分解为轨迹的迁移和触发持续时间的迁移,首先对已有活动模式中的活动轨迹以及触发持续时间模糊化;然后采用备选轨迹生成(ATSG)算法在新环境中生成备选轨迹集;最后采用相似度计算(SC)算法进行活动模式中的轨迹与备选轨迹间的匹配,利用活动轨迹映射(TM)算法和触发持续时间迁移(TDT)算法对活动信息进行迁移,从而在新环境中得到活动模式。理论分析和实验结果表明,相比于基于频繁模式挖掘得到活动模式的方法,本文方法大幅度地降低了得到活动模式所需的时间开销,同时,利用本文方法获取的活动模式取得了较好的活动识别效果。      

基于DDQN的片上网络混合关键性消息调度方法

对片上网络（NoC）承载的混合关键性消息进行实时调度是其应用于航空电子系统片上多核通信的关键。为解决可满足性模理论（SMT）法求解效率低、低优先级消息等待延迟大的问题,提出了一种基于双深度Q网络（DDQN）的混合关键性消息调度方法。将虫孔交换机制下的消息调度问题建模为马尔可夫决策过程,建立包含环境、动作、状态、奖励的多层感知调度模型;随机生成多组分布不同的混合关键性消息作为训练样本,采用DDQN算法求解该调度模型;在此基础上,提出并实现了带孔隙DDQN算法,在保证时间触发（TT）消息可调度前提下为速率约束（RC）消息预留用于虫孔交换的时隙。算例研究表明:所提方法的求解时长及TT消息确定性端到端延迟的平均值均低于SMT法;带孔隙DDQN算法的RC消息延迟较不带孔隙DDQN算法和SMT法显著降低。      

我国民航迫切需要完善航空安全主动报告制度

航空安全主动报告制度(或自愿报告制度)是指航空安全的责任主体,主动向有关部门披露违章事件,政府主管部门对符合条件的主动披露行为实施减免责的有关规定、条件和程序等。目前,主要的航空发达国家都实施了航空安全主动报告制度,并建设了基于网络的航空安全主动报告系统(或自愿报告系统),收集主动报告的航空不安全事件信息。如美国有ASRS