面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

一种基于OPTICS聚类的仅测角导航目标检测算法

仅测角自主导航方法具有设备简单、复杂度低，功耗低的优点，在空间任务中具有广泛的应用前景.针对中远距离下空间目标特征少的特点，提出了一种利用基于OPTICS聚类算法的空间目标检测方法，可用于仅测角导航过程中的目标检测.对原始星图进行预处理提取星点及目标点，并结合星图识别的结果选择部分帧，使用经过改进的OPTICS聚类方法获得目标运动轨迹.最后，使用本文中的算法对软件仿真出的含有目标的高精度星图进行处理验证了算法的可行性.在卫星相对于空间目标抵近过程中，目标检测的水平误差及垂直误差小于0.15°的帧数分别占到了85.4%以及99.6%.相比AVANTI实验中的目标检测方法，减少了在轨任务中相关参数的调节，进一步提升了算法的自主性.     

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

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

基于北斗三号的长基线共视时间比对

卫星导航共视时间比对一直是远距离时间比对的重要方法之一。使用我国最新发射的北斗三号全球导航卫星，基于中科院国家授时中心（NTSC）和捷克光电研究院（TP）各自的时间产生和保持系统，开展了中捷北斗三号长基线共视时间比对试验。本文对中捷两站各自的北斗卫星可视数及其卫星高度角情况进行了统计分析，利用Vondark滤波对时间比对结果进行了降噪处理，最后将北斗三号共视时间比对结果与北斗二号及GPS共视时间比对结果进行了比较。结果表明：北斗三号在当前全球组网阶段中捷共视可视卫星数比北斗二号还少的情况下，其共视时间比对精度达到1.16ns，较北斗二号提升约19%，与GPS更为接近。     

弹性机器人的LQG／LTR控制

ＬＱＧ／ＬＴＲ设计方法仅适合于最小相位系统，本文对单臂弹性机器人系统，进行适当的处理和对方法进行改进后，仍采用ＬＱＧ／ＬＴＲ方法设计控制器，得到的闭环系统有较强的鲁棒性。     

H∞控制及其应用

本文叙述了Ｈ∞控制器设计的频域法和代数法，在频哉法中介绍了标准问题的模型匹配解法和丁谱分解法；在代数法中介绍了多项式法，直接状态空间法，最后简述了几个实际应用的例子。     

8mm衰减标准装置

对8mm衰减标准装置的工作原理、系统设计、主要技术特点、误差分析等进行了详细介绍,并附有测试和分析数据。该装置达到了80dB的量程、全频段和±0.003dB/10dB的准确度。     

实用化光力加速度计中单微球重复起支技术

针对光力加速度计的小型化应用,设计并制作了一种基于V型槽的片上光纤光阱,并采用机械振动方法实现了单微球重复起支。理论研究了利用机械振动方法实现微球起支、捕获的动力学过程。结果表明,只有当微球脱离捕获室底面的初始速度满足一定范围时才能稳定捕获,该初始速度范围与捕获室的几何参数有关。提出了利用两光纤中相向传播光的耦合功率监测微球捕获状态的方法,并通过实验完成了微球起支过程的自动控制,实现了单微球的重复起支与捕获。该片上光纤光阱制备方法和单微球重复起支技术可推动光力加速度计的实用化进程。     

拉伸速率对NEPE推进剂力学性能的影响

运用单向拉伸手段,研究了不同拉伸速率(0.5～500 mm/min)、测试温度(25～70℃)对NEPE推进剂最大抗拉强度σm和最大伸长率εm的影响。试验结果发现,NEPE推进剂σm和εm均与拉伸速率v呈幂律函数关系,建立了相关性较好的幂函数方程σm=k(T)va和εm=f(T)vb。利用该方程,对极慢拉伸速率下NEPE推进剂σm和εm进行了预示,计算结果可为固体火箭发动机设计及推进剂贮存性能研究提供技术支持。     

卫星姿态控制稳定度对星座结构稳定性的影响

针对三轴姿态稳定卫星,推导了在考虑航天器姿态控制偏差时轨道控制偏差的计算公式。在考虑脉冲推力情况下得到了存在姿态控制偏差时的轨道控制误差,并分析了姿态控制稳定度导致的轨道参数偏差对星座结构稳定性的长期影响。最后对姿态控制稳定度导致的星座结构稳定性的长期影响进行了仿真分析。