面向航天异构平台的深度学习编译器加速技术优化

为了解决TVM编译器在航天应用过程中优化时间过长的问题,针对TVM的自动搜索框架Ansor,提出一种新的基于LightGBM算法的成本模型来预测代码的运行时间。LightGBM算法由于减少了分裂点数量、样本数量、特征数量,使得新成本模型有效地降低了计算量,在不损害准确率的条件下加快了模型的训练速度,缩短了优化时间。实验结果表明,在相同的优化任务下,具有新成本模型的Ansor在优化时间上提高了1.6倍,整体推理时间提高了6.1%。     

不同迎角下脊形前体绕流数值模拟研究

脊形前体有较强的背风涡流场,不同的前体形状对前体涡流场和气动力有很大的影响.本文针对脊形前体飞行器大迎角湍流大分离流动计算的困难,采用IDDES混合湍流模型,以及与之匹配的非定常算法,研究了不同来流迎角下脊形前体的气动特性,以及背风涡非定常演化、破裂的细致流动结构.选取了不同脊形角,以及不同上、下高宽比的脊形前体进行计...     

基于EEG的驾驶舱告警信息设计研究

针对直升机驾驶舱人机交互中认知负荷问题,设计飞行模拟试验,探究视觉和听觉告警对飞行员认知负荷的影响。基于多元线性回归方法,通过主观评价结果、反应时间、准确率和脑电信号等指标,构建了直升机驾驶舱人机交互认知负荷评估模型。结果表明文字颜色、语音提示两种告警特征对飞行员信息加工均会产生影响,使用多元线形回归模型可对不同告警方式下受试对象的认知负荷水平进行评估,构建的评估模型能够较准确地评估直升机驾驶舱中飞行员的认知负荷,可为优化驾驶舱交互设计、降低飞行员认知负荷、减少人为差错提供依据。     

英国航天局的太空“处女秀”——英国通用平台试验-1卫星

2013年,英国航天局（UKSA）的一颗旨在进行多项科技实验的纳卫星——英国通用平台试验-1（UKube-1）卫星,将由俄罗斯第聂伯-1（Dnepr-1）火箭发射升空。该卫星是UKSA成立后发射的首颗卫星,是该局与工业界、学术界的新型合作项目,也是英国国家＂立方体卫星＂（CubeSat）项目的一部分,旨在提升英国航天技术及研究水平。     

淘碟

1《时间规划局》未来世界走向时间决定论,人们手腕上有个生命计时器,这个计时器的时间成为当时社会的通用货币。贫富分化,富人在漫长的生命中空虚无聊,穷人却在苟延残喘,甚至要与时间赛跑来争取生命的强度。     

基于DSP的感应同步器测角系统的设计与实现

本文介绍了一种基于DSP的感应同步器测角系统的设计与工程实现,其核心是角位置的数据变换及编码部分.该设计提高了测角系统的性能,特别是大幅度地提高了位置测量的分辨率和精度.     

飞行冲突条件下基于几何算法的改航策略研究

航班改航飞行是在空域受危险天气及飞行冲突影响时的一种重要策略。针对初始改航航迹的生成,提出了改进的几何圆切法,用其规划出临时航线,绕过危险区。为避免潜在的飞行冲突,应用几何线性规划法进行了改航策略修正。最后,通过对我国现有航路的仿真分析,表明了算法的有效性。     

数字水印防伪技术的研究和应用

本文采用数字水印技术,研究和开发了一种新的证件制作与检测方法技术体系,防伪性能高、识别准确快速。该项技术可广泛应用于证件和产品的防伪,具有极高的理论价值和实用价值。     

卫星装配序列规划的智能优化算法研究

结合单个算法的优缺点,文章提出了一种用包含多种改进型智能优化算法的算法库(IIAL)来解决卫星装配序列规划问题的方法。算法库由算法向导和多种算法组成,算法向导可依据若干参数描述给出适合当前规划任务的最合适算法,规划人员可依据向导建议在遗传算法、粒子群算法、蚁群算法、模拟退火算法中选择相应算法进行求解。最后,用实例验证了方法的合理性。该方法可为星上设备装配序列规划提供参考。     

民航十年

盘点中国民航近十年的发展,最直观的感受是:在晴朗的日子里,仰望蓝天,你能看见不同方向上同时有几架飞机在飞,机尾托出的白色拉烟,如同在画布上随意涂抹的线条;每当飞机接近首都机场上空,从舷窗向外望去,能在不同的高度上看到有几架飞机与你同行;人们对民航的印象再也不局限于漂亮的空