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

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

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

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

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

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

不同密度弹丸对水冰的超高速撞击成坑实验

为了研究冰冻天体表面撞击坑的形成与演化，开展了水冰的超高速撞击成坑实验。使用二级轻气炮发射1.0 mm直径的球形弹丸，以3 km/s、5 km/s和7 km/s速度对圆柱状冰块进行撞击。弹丸材料包括聚碳酸酯和不锈钢两种，冰块温度为253 K。实验观察到了不同弹丸和不同速度条件下，冰块中撞击坑的形貌特征。对撞击坑直径、深度和剖面形状进行了测量，并与文献中铝弹丸对水冰的撞击坑进行了比较分析。获得了水冰撞击坑特征随撞击参数的变化规律，结果表明：撞击坑直径和深度的主导机制不同，坑深主要由弹丸侵彻作用形成，而坑径主要由冰块的剥落所致；坑深比坑径具有更强的对于弹丸密度的依赖性，高密度弹丸撞击坑直径具有比低密度弹丸更强的对于撞击速度的依赖性；撞击坑体积与撞击能量成正比，高密度弹丸形成的撞击坑直径表现出“能量缩比”行为，而低密度弹丸形成的撞击坑直径表现出“动量缩比”行为。     

Anchoring Bolt Detection Based on Morphological Filtering and Variational Modal Decomposition

The pull test is a damaging detection method that fails to measure the actual length of a bolt. Thus,the ultrasonic echo is an important non-destructive testing method for bolt quality detection. In this research,the variational modal decomposition(VMD)method is introduced into the bolt detection signal analysis. On the basis of morphological filtering(MF) and the VMD method,a VMD-combined MF principle is established into a bolt detection signal analysis method(MF-VMD). MF-VMD is used to analyze the vibration and actual bolt detection signals of the simulation. Results show that MF-VMD effectively separates intrinsic mode function,even under strong interference. In comparison with conventional VMD method,the proposed method can remove noise interference. An intrinsic mode function of the field detection signal can be effectively identified by reflecting the signal at the bottom of the bolt.     

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

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

紧缩场测试扫描架平面度控制系统研制

扫描架是紧缩场现场校准系统的关键测试设备。扫描架扫描平面度是影响校准准确度的关键指标。本文针对自研的扫描区域为φ6m的大型极化扫描架，设计了一套扫描架平面度实时补偿系统。该实时补偿系统可以实时检测扫描架扫描平面相对于基准平面的位置偏差，并通过伺服补偿机构完成补偿。测试结果表明该实时补偿系统可以准确、快速完成平面度的补偿，与半实时补偿方式相比具有更高的效率及精度。目前，该系统已成功应用于紧缩场现场校准。     

弹性机器人的LQG／LTR控制

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

H∞控制及其应用

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

8mm衰减标准装置

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