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

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

Fully distributed time-varying formation tracking control for multiple quadrotor vehicles via finite-time convergent extended state observer

This paper investigates a time-varying anti-disturbance formation problem for a group of quadrotor aircrafts with time-varying uncertainties and a directed interaction topology. A novel Finite-Time Convergent Extended State Observer (FTCESO) based fully-distributed formation control scheme is proposed to enhance the disturbance rejection and the formation tracking performances for networked quadrotors. By adopting the hierarchical control strategy, the multi-quadrotor system is separated into two subsystems: the outer-loop cooperative subsystem and the inner-loop attitude subsystem. In the outer-loop subsystem, with the estimation of disturbing forces and uncertain dynamics from FTCESOs, an adaptive consensus theory based cooperative controller is exploited to ensure the multiple quadrotors form and maintain a time-varying pattern relying only on the positions of the neighboring aircrafts. In the inner-loop subsystem, the desired attitude generated by the cooperative control law is stably tracked under a FTCESO-based attitude controller in a finite time. Based on a detailed algorithm to specify the cooperative control protocol, the feasibility condition to achieve the time-varying anti-disturbance formation tracking is derived and the rigorous analysis of the whole closed-loop multi-quadrotor system is given. Some numerical examples are conducted to intuitively demonstrate the effectiveness and the improvements of the proposed control framework.     

Variation of dayside chorus waves associated with solar wind dynamic pressure based on MMS observations

The whistler-mode chorus waves are one of the most important plasma waves in the Earth’s magnetosphere. Generally, the amplitude of whistler-mode chorus waves prefers to strengthen when the energetic fluxes of anisotropic electrons increase outside the plasmapause. This characteristic is commonly associated with the geomagnetic storms or substorms. However, the relationship between the solar wind dynamic pressure (P_sw) and the long-time variation of chorus waves during the quiet period of the geomagnetic activity still needs more detailed investigations. In this paper, based on MMS observations, we present a chorus event just observed in the inner side of magnetopause without obvious geomagnetic storms or substroms. Interestingly, during this time interval, some P_sw fluctuations were recorded. Both the amplitudes and frequencies of chorus waves changed as a response to the variation in P_sw. It proved that the enhancement of P_sw increases the energetic electrons fluxes, which provides free energies for the chorus amplification. Furthermore, the wave growth rates calculated using linear theory increases and the central frequency of the chorus waves shifts to a higher frequency when the P_sw enhancement is greater, which are also consistent well with the observations. The results provide a direct evidence that the P_sw play an important role in the long-time variation of whistler-mode chorus waves inside the magnetopause.     

航空电子产品电磁环境效应模块化设计方法

对高强度辐射场（HIRF）环境特点与干扰类型进行分析，采用理论计算、计算机仿真技术（CST）的仿真分析及实测等方法分别对某型飞机航空电子系统综合显示单元的外部强电磁辐射场孔缝耦合、场线耦合及芯片前端电路影响关键芯片的相关规律进行了研究，给出了相关设计建议。结果表明，可通过分析孔缝、场线耦合获得进入关键芯片前端电路的电磁干扰能量，再结合关键芯片前端电路网络对干扰的插入损耗分析，获得关键芯片在外部强场激励下的感应电压。     

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

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

Calculation of the transonic dip of airfoils using viscous-inviscid aerodynamic interaction method

A numerical procedure for the calculation of the transonic dip of airfoils in the time domain is presented. A viscous-inviscid aerodynamic interaction method is taken to calculate the unsteady aerodynamic loads. In the present case the integral boundary layer equations are coupled with the Transonic Small Disturbance (TSD) Potential Equation. The coupling between structural motion and aerodynamic loads is carried out using State Space equation. It is solved by State Transition Matrix technique. Results are presented for NACA 64A010 and NLR 7301 airfoils with structural data from Isogai and DLR, respectively. Comparisons show good agreement with other numerical results. Certain deviations of experimental data taken from literature need more insight in the detailed test conditions.     

Global Response of Martian Plasma Environment to an Interplanetary Structure: From Ena and Plasma Observations at Mars

As a part of the global plasma environment study of Mars and its response to the solar wind, we have analyzed a peculiar case of the subsolar energetic neutral atom (ENA) jet observed on June 7, 2004 by the Neutral Particle Detector (NPD) on board the Mars Express satellite. The “subsolar ENA jet” is generated by the interaction between the solar wind and the Martian exosphere, and is one of the most intense sources of ENA flux observed in the vicinity of Mars. On June 7, 2004 (orbit 485 of Mars Express), the NPD observed a very intense subsolar ENA jet, which then abruptly decreased within ∼10 sec followed by quasi-periodic (∼1 min) flux variations. Simultaneously, the plasma sensors detected a solar wind structure, which was most likely an interplanetary shock surface. The abrupt decrease of the ENA flux and the quasi-periodic flux variations can be understood in the framework of the global response of the Martian plasma obstacle to the interplanetary shock. The generation region of the subsolar ENA jet was pushed towards the planet by the interplanetary shock; and therefore, Mars Express went out of the ENA jet region. Associated global vibrations of the Martian plasma obstacle may have been the cause of the quasi-periodic flux variations of the ENA flux at the spacecraft location.     

扩压器-水泵内非稳定流动研究

水泵内部流动实质上是复杂的三维非稳定流动 ,它对水泵性能及结构振动有重要影响。本文介绍了一种求解这种复杂内流动的数值方法。三维雷诺数平均的纳维斯托克斯方程 ( 3-DReynolds-averaged Navier-Stokes,RANS)以及标准 k-ε的方程用于描述水泵内非定常紊流流场。系统特性方程与水泵的 CFD模型相结合以考虑流体在管道中的加速 ;采用任意滑移网格界面模拟叶轮和静止部件之间的相互干涉 ;将整个叶轮作为分析对象 ,以考虑失速情况下流动的周向非对称。这些技术的结合包括了水泵内非稳定流动的物理实质。一台实验数据比较齐全的离心式 -扩压器水泵被用于验证所提出的数值方法     

数字式射击瞄准计算机设计与实现

某型射击军械系统的射瞄计算机原采用模拟机电式技术实现,存在体积大、功耗大、可靠性及可维护性差等缺点,因此,使用数字式计算机技术对其进行升级改造势在必行.本文首先对原系统的火控原理及火控构型的进行了分析;其次,介绍了射击瞄准计算机的对外接口关系.重点介绍了数字式射击瞄准计算机的采样解算时间的确定、计算方法的选取及接口设计等内容.本文所设计的数字式射击瞄准计算机已通过了系统验证并得到了使用,克服了原有系统所存在的固有缺点.文中的设计思想与所用的工程方法对类似武器系统的升级改造有所借鉴.     

符号流生成器在教学中的应用

简要介绍了美国ＵＮＩＳＹＳ公司１１００、２２００系列中型计算机上符号流生成器的使用，并用它编制了一些常用的运行流，简化了用户的上机操作，提高了上机效率。