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

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

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

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

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

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

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

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

面向学生的智能解题专家系统的研究与设计

探讨了网络在专家系统中的应用 ,给出了一个基于网络的面向学生的智能解题专家系统的模型 ,分析了设计的基本过程。从专家系统出发 ,探讨了基于知识的推理系统。最后 ,从以上设计出发 ,总结了基于该模型的系统需进一步研究的工作。     

杠杆式力标准机自动控制系统

介绍单片机用于杠杆式力标准机控制、实现检定过程自动化的设计方法，重点介绍硬件结构和软件编制。     

考虑胶层蠕变行为的胶接结构有限元分析

本文考虑胶层材料的蠕变行为，采用模拟岩层纹理单元的有限元法，分析工程中使用的典型胶接结构的应力场和位移场。数值结果表明，胶层蠕变行为对胶接结构位移和应力场均有较大影响     

胶州湾环境污染—卫星遥感信息分析

陆地卫星主题绘图仪(TM)图象和我国国土普查卫星全景相机照片解译分析与现场调查表明,胶州湾东岸工业废水污染相当严重,主要污染源集中在海泊河、李村河、娄山河以及沧口区沿海一线,污染水带宽达4～7km,在落潮流携带下扩散至湾口外海。由青岛碱厂排污形成的“白滩”污染区现有面积为0.53km~2。青岛市大气污染严重,源自市区的烟羽宽达14km,顺风飘逸远达30km,势必造成酸雨等灾害。     

High speed driving of a gain-switched laser diode with anexponential transmission line

With the increase of information capacity of an airborne system, high speed driving of laser diodes have been of interest. In order to match the low resistive LD, proposed in this paper is an exponential transmission line, which is used as preshaping to compensate the pattern effect in gain switching of laser diodes. It also will be used to overcome the effect of parasitic elements in high speed driving to improve the rise and trail edges of the output waveform. An accurate circuit model of the exponential line for the PSPICE program has been developed and simulations are conveniently carried out by employing PSPICE     

电泵起停控制与电机多功能保护电路

某些场合，电泵要在特殊的环境和条件下长期连续的工作，因此配置特殊的起停控制电路和保护电路是完全必要的，所以设计了本文介绍的电泵起停控制与多功能保护电路。电路主要由集成件构成。文中扼要介绍的是电泵欠载延时断电保护，过载分级延时断电保护电路，以及欠载停机后延时自动再起动电路。