面向BDSBAS电文认证的OTAR播发策略设计

星基增强系统（SBAS）是向用户提供完好性信息的广域增强系统，涉及生命安全领域。为了提高SBAS系统的抗欺骗能力，基于椭圆曲线数字签名算法（ECDSA）提出面向北斗星基增强系统（BDSBAS）的电文认证设计方案。根据国内商用密码标准椭圆曲线（SM2）算法进行相应参数设计和电文排布方案，并描述了空中密钥更新（OTAR）的电文播发策略。为了进一步对试验方案进行验证，采用蒙特卡罗OTAR仿真器，基于3种播发调度算法进行仿真试验，通过调整权重对不同情况下OTAR电文接收时间进行分析。仿真结果为具体情况下OTAR电文方案播发调度的选择提供了重要参考依据。      

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

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

BP神经网络预测复合材料热压罐成型均匀性

复合材料热压罐成型过程中的固化度差值是复合材料固化度均匀性的主要表征参数之一。基于3层BP神经网络，以复合材料双平台固化工艺曲线的加热速率、保温时间和保温温度为输入参数，建立了成型过程任一时刻最大固化度差值的快速估算模型。仿真复合材料热压罐成型过程，得到最大固化度差值作为试验样本数据，对BP神经网络进行训练，训练结束后对该模型的准确性进行验证。结果表明:该BP神经网络估算模型准确性和效率较高，为复合材料热压罐成型最大固化度差值的估算提供了一种快速有效的新方法。      

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

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

2021年世界重要空间科学发射任务

2021年全球重要的空间科学发射任务逾10次，主要是美欧的空间天文、月球和深空探测任务，我国也将发射首颗空间地球科学卫星“广目”。此外，多个中外载人航天任务亦将为空间科学与探索搭建新的平台。      

SiC/CVD SiC复合涂层的抗氧化及抗热震性能研究

为了提高C/SiC复合材料耐高温性能,采用泥浆浸渍裂解与真空化学气相沉积(CVD)在材料表面制备了SiC/CVD SiC复合涂层,通过XRD、SEM分析了涂层组成与结构;研究了复合涂层的高温抗氧化(700～1 500℃)和抗热震性能。结果表明,泥浆浸渍法制备的SiC涂层具有一定的封孔效果,可使材料开孔率下降,但高温抗氧化效果并不佳,1 200℃氧化10 min后材料弯曲强度保留率下降明显仅有86%。CVD SiC涂层结构致密,与SiC封孔涂层结合较好,在700～1 500℃具有较好的抗氧化效果,随着氧化温度的升高,氧化后涂层完好,表面O元素逐渐增加,材料失重率缓慢增加但不大于0.5%,且材料性能并未下降。涂层材料在1 200℃-10 min短时热震5次后材料弯曲强度保留率仍有95%以上,且未出现开裂、剥落等热震损伤。在1 200℃-30 min长时热震10次后,涂层材料基本被完全氧化,材料失去保护作用,弯曲强度下降至90%左右。     

微纳聚合体卫星的对称式重构规划算法

为解决微纳聚合体卫星变构过程中，聚合体各部分之间的动力学耦合导致的卫星整体姿态翻转或紊乱，提出了一种对称式变构规划算法。首先建立了铰链约束下的漂浮基多刚体系统动力学模型，研究了重构过程中各运动模块对本体姿态的影响，提出当每两个运动模块位置与转动方向满足对称性条件时，两者对本体姿态的影响可在一定程度上相互抵消。基于上述理论，在A*算法中引入最优分配度量和对称性判定，设计了并行对称重构规划算法。仿真结果表明，该规划算法可实现重构过程中多模块并行、对称运动，重构过程总步数较少，运动模块对本体姿态的影响小。     

飞秒激光系统图像调焦装置以及方法

飞秒激光直写技术在复杂三维微结构加工领域具有显著优势，而调焦是否精准直接影响了所加工结构的完整度.提出了在光路中临时置入调焦光源和物的图像调焦技术，通过调节物的位置使其成像面与激光聚焦面一致，从而通过清晰可分辨的成像状态间接反映激光聚焦状态.利用Zemax软件模拟分析了原飞秒激光光路与加入调焦光源和物的调焦光路，二者可实现相同加工物镜后工作距离与良好成像质量，证明了该方法的可行性.通过分析得到该过程的成像误差主要由成像镜头焦深(3.9 μm)引起，我们获得的理想调焦精度可达到1/2焦深以内.设计了单层高度为5 μm的二层圆柱结构，通过多次实验验证了所加工元件高度误差在1.5 μm范围以内，与理论分析一致，满足飞秒激光系统的调焦要求.