气室无磁加热结构研究进展与展望

碱金属气室是原子陀螺、原子磁强计和原子钟等原子测量仪器的核心部件.原子密度主要受加热温度的影响,高均匀性、高稳定性的气室加热结构是保证碱金属原子密度稳定的关键技术,对提升原子测量仪器输出信号的灵敏度至关重要.回顾了目前常用的碱金属气室加热方法,针对加热层、传热层、保温层等组件,梳理和总结了碱金属气室加热结构的发展方向和发展历程,并在此基础上展望了未来碱金属气室加热结构的发展趋势.     

变势能阱双稳态气动弹性能量收集的性能增强研究

提出一种新型的磁耦合变势能阱双稳态压电颤振能量收集器，设计了外部磁场作用下颤振能量收集系统的双稳态构型，并利用弹性支撑的外部磁铁的运动实现了变势能阱技术，解释了变势能阱双稳态对颤振能量收集系统的性能增强机理。建立了磁力-压电-气动弹性耦合的颤振能量收集系统的动力学分析模型，根据非线性磁偶极模型以及平衡点稳定性理论，讨论了系统出现双稳态构型的参数条件。对磁耦合双稳态颤振能量收集系统的动态特性进行了数值仿真研究，结果显示，双稳态构型能够使无磁力颤振能量收集系统的超临界颤振行为转变为亚临界颤振，发生极限环振动的风速能够降低50%以上，拓宽了能量收集器的有效工作风速范围，并分析了磁铁间距、磁偶极矩对能量收集性能的影响规律。采用弹性支撑的外部磁铁的运动来自适应调节内外部磁铁之间的距离，达到变势能阱的目的，有效地降低了双稳态的势能阱深度，使系统更容易发生双稳态势能阱间的跃迁运动，从而在双稳态的设计基础上，实现了能量收集工作风速范围和输出电功率的同步提升，为低风速下的能量收集提供了一种有效的设计途径。     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

联邦学习安全与隐私保护综述

联邦学习是一种新型的分布式学习框架，它允许在多个参与者之间共享训练数据而不会泄露其数据隐私。但是这种新颖的学习机制仍然可能受到来自各种攻击者的前所未有的安全和隐私威胁。本文主要探讨联邦学习在安全和隐私方面面临的挑战。首先，本文介绍了联邦学习的基本概念和威胁模型，有助于理解其面临的攻击。其次，本文总结了由内部恶意实体发起的3种攻击类型，同时分析了联邦学习体系结构的安全漏洞和隐私漏洞。然后从差分隐私、同态密码系统和安全多方聚合等方面研究了目前最先进的防御方案。最后通过对这些解决方案的总结和比较，进一步讨论了该领域未来的发展方向。     

大型飞机平尾翼尖涡对后体涡系影响的实验研究

大型飞机在飞行过程中机身后体会产生一对反向旋转的脱体涡（后体主涡），该涡与平尾翼尖涡共同构成飞机后体的涡系结构。在风洞中，利用激光粒子测速（PIV）方法，对单独后体和加装不同展长平尾的后体，分别研究涡系结构的动力学特征。结果表明:后体主涡的涡核中心沿流向明显向上移动；加装平尾后，涡系呈现典型的四涡结构，平尾翼尖涡对后体主涡影响显著，加大了后者向上移动的趋势，同时使其沿展向外移，并显著削弱其涡旋强度；平尾展长增加后，后体主涡受到的影响有所减弱。在低速环境下，来流速度对后体涡系结构的无量纲动力学参数影响较小。     

星载激光通信终端在轨机动对温度影响

对激光通信终端在轨瞬态温度变化开展了仿真，以期研究在轨机动的影响、热分析和热试验时机动模式的简化模拟。通过合理地分析与简化，建立终端的轨道热分析模型，准确模拟在轨机动，根据典型机动模式、外热流和涂层退化等因素设计了计算工况，得出了终端在轨运行过程中的温度场随时间和姿态变化规律。结果表明：不同机动模式下的温度变化存在差异，最大可达23.0℃，采用固定姿态或一维转动的简化热分析或热试验不能准确模拟实际飞行温度，甚至不能部分替代二维转动热分析或热试验；光学天线和反射镜的温度控制是制约终端工作的瓶颈，为终端设计合适的避光机动策略，可大幅度提高温度稳定度和均匀度。研究结果可以为光机电设备在轨机动策略的设计和改进提供参考。     

酚醛树脂热解产物高温燃烧详细化学反应机理简化

针对流动/酚醛树脂热解产物燃烧耦合数值模拟过程中使用详细化学反应机理带来的数值刚性问题,以保证计算精度要求,对酚醛树脂热解产物详细化学反应动力学模型进行简化研究。选取Chemkin-Pro中的良搅拌反应模型,对由53种组分325个基元反应组成的甲烷掺氢气详细化学反应动力学机理进行了敏感性分析和生产速率分析,得到包含15种组分15个基元反应的简化机理。结果表明:简化化学动力学模型能充分地再现详细基元反应模型的反应机理的主要特征,大幅缩短计算时间,进而用于高超声速条件下酚醛树脂热解产物引射及其对边界层扰动的计算流体动力学(Computational fluid dynamics,CFD)中。