嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

面向在轨高效实时图像处理的二值权重沙漏网络加速器设计

为了实现在轨高速实时图像处理,提出了基于多级预测校准机制及查找表方法的二值权重沙漏网络加速器.首先,提出了一种计算架构来统一支持二值权重及多位宽权重卷积计算;其次,提出了多级预测模型来实现可变精度的高效卷积,基于这2种方法可以将网络的计算量降低77.4％,推理速度提升2.3倍.本文针对残差模块中跳转连接造成的存储访问问...     

结构修理手册结构识别模块编制方法

结构识别是结构修理手册中的基础信息部分,可帮助维修人员了解修理对象。本文介绍了结构修理手册飞机机体结构识别模块的基本内容、数据需求、编制方法和流程,可为金属结构部件和复合材料结构部件的结构识别模块编制工作提供指导。     

一种基于VPL的元器件快速建模方法

为了更好地落实航空电子模块的可制造性设计审查工作,结合航空电子模块产品特点和技术要求,建设了基于Valor软件的PCB/PCBA设计与检测自动化分析系统.元器件模型库作为该系统的必要组成部分,其覆盖范围和数据精度对审查结果至关重要.本文将从元器件模型库建设必要性、建设过程和建模工艺要求三个方面进行阐述,并提出一种基于V...     

新时代提升高校学生党支部政治功能路径探析

当前,高校学生党组织政治功能出现不同程度的弱化虚化现象,在全面从严治党向纵深推进的要求下,突出学生党支部政治功能对提升组织育人的时效性具有重要意义,本文探索通过二级学院党委加强指导,建立学生党支部量化考评机制;强化政治学习,夯实思想基础,围绕学生成长成才开展支部工作;严肃政治生活,创新活动形式,提升组织活力等途径提升高...     

基于在轨组装维护的多载荷协同观测卫星平台构型设计

针对高轨遥感卫星多载荷协同观测和一致测量应用需求,在前期总体技术方案研究的基础上,通过开展现有在轨组装航天器和高轨卫星公用平台的构型调研,提出了一种适用于多载荷协同观测需求的平台构型设计方案。平台利用CZ-5运载火箭发射并在轨展开,采用“网格式中心承力筒+板+桁架”式的总体构型,开展了主传力路径、贮箱承载结构、网格式中心承力筒等的细化设计工作,并进行了结构产品的初步设计,建立了平台结构整星的有限元模型。仿真分析表明:平台结构整星的各向一阶频率均能满足运载火箭的频率要求。基于标准化、通用化的平台接口设计,使其具备可扩展及可维修的能力,大大提升了平台鲁棒性。基于全网格筒的主承力设计,增强平台结构承载能力,并改善平台内部热环境。该设计方案可为基于在轨组装维护的高轨遥感大平台结构的设计提供有价值的参考。     

基于分层有限元的功能梯度混凝土梁热弹性分析

功能梯度混凝土材料(Functionally Graded Concrete Materials,简称FGCs)是一种材料组分和性质在空间上呈梯度连续变化的新型复合材料.本文采用分层模型的思想并借助有限元软件ANSYS建立了FGC梁的有限元模型,通过一个典型算例验证了模型的可行性和计算精度,结果发现本文解与参考解具有很...     

基于ADE7858的交流电源监测模块设计

讨论了交流电源参数测量的技术路线选择，介绍了基于ADE7858智能计量芯片的交流电源监测模块的系统结构，ADE7858电路的硬件、软件设计、参数校准及整机性能测试情况，采用ADE7858智能计量芯片，简化了模块软硬件设计，提高了参数测量精度，实现了交流电源参数数字化测量，硬件电路简单，软件代码少，采样参数多并且精度高，可靠性好，性能稳定，可以满足军工产品的应用需求。     

Seamless航空联盟发布新的空中互联标准

据aviationtoday网站2020年3月5日刊文,Seamless航空联盟(Seamless Air Alliance)已在实现新一代空中互联方面取得了新的进展,日前发布全球首个空中互联(IFC)标准"Seamless Release 1.0",包括适用于全球飞机系统蜂窝网络和Wi-Fi连接的特定的开放标准。各大航空公司通过使用功能部件的开放接口,比如Hotspot 2.0和本机蜂窝漫游,可向乘客持续提供联网服务。