ARINC 653分区实时系统的可调度分析

ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题。基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据。证明了判据的约束是系统可调度的充分必要条件。实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性。     

俄罗斯将发射高分辨率资源卫星

资源-DK1（Resurs—DK1）是俄罗斯新型民用地球观测卫星,能向地面站传送分辨率为1m的图像。卫星由俄罗斯航天局投资,由萨马拉火箭航天中心（即位于萨马拉的原“进步”中央特种设计局）设计、建造和运营,其商业数据的发行商是航天局下属的Sovinformsputnik公司。Resurs—DK1卫星计划于2005年下半年由联盟号火箭发射,卫星主要用于接收和传输有关地球自然资源及突发事件的即时数据。     

发展极为迅速经验令人深思印度遥感卫星异军突起

2005年5月5日,印度用“极轨卫星运载火箭”（PSLV）成功发射了印度遥感卫星-P5[IRS—P5,又称制图卫星-1（Cartosat-1）]和HAMSAT,使印度遥感卫星进入了一个新阶段。前者质量为1．5t,可以向地面发回分辨率为2．5m的三维照片,提高制图的精确性,同时进行资源评估和灾难监测。     

我国成功发射遥感卫星十七号

2013年9月2日3时16分,我国在酒泉卫星发射中心用“长征四号丙”运载火箭,成功将“遥感卫星十七号”发射升空,卫星顺利进入预定轨道。“遥感卫星十七号”主要用于科学试验、国土资源普查、农作物估产及防灾减灾等领域。这是“长征”系列运载火箭的第180次发射。     

ERP 系统中 BOM 的模型分析与算法实现

BOM 是 ERP 的核心模块,其数据结构与算法直接影响到了系统使用效率,本文通过对 BOM 标模型的分析,提出了递归展 BOM 和双向链表展 BOM 两种算法的具体实现     

中国成功发射遥感卫星十三号

据《中国航天报》报道,2011年11月30日,中国在太原卫星发射中心用长征-2C运载火箭将遥感卫星十三号成功送人太空。卫星由中国航天科技集团公司所属上海航天技术研究院研制,主要用于科学试验、国土资源普查、农作物估产及防灾减灾等领域。     

资源约束突变的航天器观测快速重调度优化算法

针对航天器对地观测调度中资源约束发生突变的情况,提出了一种基于蚁群算法的启发式重调度算法。首先对重调度过程中的资源约束进行分析,给出了资源约束发生变化的重调度模型。然后,结合原调度优化结果,给出重调度任务集合更新方法,对任务集合进行剪裁。最终,基于最大限度利用原调度方案信息的思想,结合任务集合更新及优先级等启发式信息,给出了一种改进的重调度优化算法。数值计算结果表明,所设计的算法可以快速有效的提高重调度过程的收益。     

2014年中国卫星应用十大事件

①遥感卫星助雪龙号救援与脱困在雪龙号救援与脱困过程中路线选择上,科研人员依靠遥感卫星影像绘出雪龙号冰区导航图,为雪龙号航行路线设计提供了重要的导航数据支撑。高分一号、风云三号C星列为空间与重大灾害国际宪章值班卫星②中国高分一号卫星、风云三号C星正式列为中方宪章值班卫星,增加了宪章组织的卫星资源,向遭受重大自然灾害的国家和地区无偿提供相关卫星数据和信息。     

导弹技术保障资源均衡优化的遗传算法求解

针对导弹技术保障资源均衡优化的需要,建立了优化模型;然后设计了遗传算法和优化程序对模型进行求解,并采用专门的修复算子对交叉和变异过程中产生的非法个体进行处理;最后,对某导弹技术保障流程进行优化,使其资源配置更加合理,同时与Project 2003优化结果对比,验证了优化模型的可行性和有效性。     

基于QAR数据的民机高高原进近着陆风险评估方法

民机高高原进近着陆是高原飞行高风险阶段。为有效实施高高原进近着陆风险识别和等级判据,提出基于熵权可变模糊识别的长短时记忆网络与深度神经网络(LSTM-DNN)相融合的深度学习风险评估方法。基于快速存取记录器(QAR)记录的高高原飞行数据,借鉴民机飞行品质监控（FOQA）咨询通告和行业QAR监控标准,结合指标重要度分析与Delphi专家调查,提取着陆时航向变化大、航迹低、610～305 m进近时下降率大、接地时垂直加速度及153～15 m进近时下降率大5个关键监控项目作为民机高高原进近着陆风险评估指标。为克服评估指标权重主观性偏差,应用熵权法确定评估指标权重,基于可变模糊识别方法构建风险等级隶属函数,建立基于LSTM-DNN的民机高高原进近着陆风险评估模型。以成都—拉萨进近着陆航段为例,提取QAR数据,对该风险评估模型进行训练与测试,并与Logistic多元回归、支持向量机(SVM)等评估方法进行比较,结果表明：所提方法平均准确率达到94.18%,最高可达94.79%,验证了方法的客观有效性。