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

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

波音737—300飞机飞行管理计算机系统简介

一、概 述 波音737-300飞机是84年投入航线的中短程运输机,它所安装的飞行管理计算机系统(FMCS)是737-300飞机数字式航空电子综合系统飞行管理系统(FMS)的主要分系统之一,除了FMOS以外,737-300飞机中FMS包括的主要分系统还有: △自动驾驶/飞行指引系统(AFDS), △自动油门系统(A/T),     

星载反射器无线用相控阵馈源的电气设计与制作

采用偏焦相控阵馈电反射器天线能实现电子波束再形成与波束扫描，可搭载在静止轨道卫星上用于移动卫星通信。本文介绍了这种相控阵馈源的电气设计；其31单元辐射阵和波束形成网络的制作；通过实验和分析验证了相控阵馈源电气设计的适当性。把这种相控阵馈源与口径13m的反射器天线组合后，证明可实现48dBi以上的覆盖增益，波束隔离达20dB以上。     

星载遥感器在模拟空间环境中辐射定标设备研制

文章简述了星载遥感器辐射定标设备的研制过程及其在模拟空间环境中的调试过程,试验证明了该设备设计的合理性。     

高密度磁记录现状与展望

本文从空间站时代的数据存储要求入手,介绍80年代旋转头磁记录的新成就,磁光记录在空间的应用,和传统纵向记录寻求新突破的踪迹。纵观星上磁记录器的发展史,从一个侧面讨论旋转头与固定头之争。最后,展望数据存储技术的广阔前景。     

星上计算机几种离散化算法的比较

本文陈述并比较了连续时间系统的各种时间-离散化方法,认为阶跃响应不变(或零阶保持器)法比较适于工程实际应用.对分子分母均为二阶连续系统,分母阻尼系数D_2大于1.0、小于1.0或等于1.0这三种情况分别给出了用阶跃响应不变的时间-离散化法得到的差分方程和状态空间方程各项系数的解析计算式.讨论了差分方程形式和状态空间方程形式的等价性问题.最后说明了一个带有液体晃动和太阳帆板挠性特性的三轴稳定卫星姿态控制器是相当复杂的,星上计算机的工作量也是相当大的,因此要防止计算机出现计算饱和问题并同时注意到截断误差问题.     

星载有效载荷印制插件板的力学设计

根据星载有效载荷的工作环境及其印刷插件板的设计形式，对有／无加强筋的印制插件权分别用空间飞行器结构有限元分析程序（ＥＤＡＳＳ）进行仿真试验和力学分析，同时也进行了实物振动试验。最后对两种试验的结果进行了比较。     

波束成形的数字信道化技术研究

多波束和星载数字处理技术已应用于通信卫星。本文采用加权叠接相加算法，从控制波束成形的角度研究并模拟了子带信号的数字信道化。根据算法的特点，提出了信道化的模块化处理方法。对ＴＭＳ３２０Ｃ２５的信道化处理能力也作了初步估算。     

基于频域DPCA的星载SAR动目标检测、测速与定位

给出基于频域DPCA的星载合成孔径雷达 (SAR)动目标检测、测速及定位的实现方法。首先建立星载SAR沿航迹向三孔径天线空间几何模型 ,并详细分析星载SAR三孔径天线机理及信号特性 ,然后分析并推导基于频域DPCA实现对地面背景杂波淹没的运动目标检测、径向速度分量估计以及目标定位的方法。最后 ,计算机仿真结果验证其有效性     

Xilinx SRAM型FPGA抗辐射设计技术研究

针对Xilinx SRAM型FPGA在空间应用中的可行性，分析了Xilinx SRAM型FPGA的结构，以及空间辐射效应对这种结构FPGA的影响，指出SRAM型的FPGA随着工艺水平的提高、器件规模的增大和核电压的降低，抗总剂量效应不断提高，抵抗单粒子效应，尤其是单粒子翻转和单粒子瞬态脉冲的能力降低。分析了FPGA综合后常见的Half-latch在辐射环境中的影响并结合实际工程实践给出了解决上述问题的一些有用办法和注意事项，如，冗余设计、同步设计、算术逻辑运算结果校验、白检等。最后还提出一种基于COTS器件的“由顶到底”的星载信号处理平台结构，分析了这种结构在抵抗辐射效应时的优势。有关FPGA抗辐射的可靠性设计方法已经在某卫星通信载道中成功应用，并通过了各种卫星环境试验，该技术可以为有关航天电子设备设计提供参考。