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

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

基于TLE的Starlink星座第一阶段部署情况分析

近年来,随着卫星技术的快速发展和低轨（low earth orbit,LEO）卫星宽带互联网建设需求的不断增加,低轨大规模星座发展日新月异。针对Starlink星座初始化部署问题,首先论述了“星链”（Starlink）星座现状,分析在轨卫星高度变化。然后利用公开的两行轨道根数（two-line element,TLE）,从卫星发射入轨、轨道面分布两个方面,简要分析了Starlink星座的部署情况,给出升交点的变化规律;同时仿真分析了Starlink星座对地面的覆盖性能。最后,给出星座轨道面和相位分布、故障卫星处置以及可见卫星数量。所分析的结果以期为中国未来部署大规模LEO星座的建设提供借鉴。     

二阶时间精度的CFD/CSD耦合算法研究

非线性气动弹性分析中,涉及到非线性流体动力学(CFD)和非线性结构动力学(CSD)的耦合计算问题。本文分析比较了目前几种耦合算法:全耦合、松耦合和紧耦合,并从耦合边界能量传递守恒上就松耦合及紧耦合方法进行了时间精度的分析,得出传统松耦合中即使流体和结构子系统达到高阶时间精度,耦合算法的时间精度仍仅为一阶,紧耦合方法虽然可以达到二阶时间精度,但没有明显提高计算效率。随后,本文基于松耦合流程改进了耦合格式,分析表明其具有二阶时间精度,通过AGARD445.6机翼颤振模型的算例验证,说明该方法可以在保证计算精度的基础上明显提高计算效率,并保持了传统松耦合方法模块化的优点,在模拟非线性气动弹性问题时具有很高的优越性。     

新一代RLV再入弹道模糊控制研究

基于阻力与能量的关系,优化并设计了再入参考弹道。利用模糊控制技术,在线推导了轨道控制器的各项参数。仿真结果表明,基于阻力与能量关系剖面设计的再入轨道满足各项约束,成功地导引飞行器到达TAEM终端,而模糊PD控制器则能排除干扰,实时跟踪参考弹道。     

片光反射遮挡式超高速亚毫米粒子探测技术

为满足在超高速碰撞靶上开展航天器抗空间碎片防护性能试验,需要准确测量速度3～10km／s,以及更高速度的毫米级或亚毫米级粒子的飞行速度,在可以实现毫米级粒子探测的片光遮挡式粒子探测技术基础上发展了片光反射遮挡式粒子探测技术,通过采用提高粒子直径与激光光束宽度的比值,解决了探测粒子直径小于1mm时探测信号弱不能识别等关键技术,研制了试验装置并开展了验证试验,研究结果表明该技术在0．2～10km／s速度范围内可实现直径为0．1mm量级粒子的有效探测。     

APPLICATION OF HOT PRESS SINTERING TECHNIQUE TO EXPLOSIVE CHARGE LINER OF PETROLEUM PERFORATION BULLET

介绍了一种制备石油射孔弹的药形罩的新方法,采用粉末冶金技术,热压烧结工艺制备石油射孔弹的药形罩,并对药形罩的烧结工艺进行了研究。实验结果表明,采用该工艺制备的石油射孔弹药形罩可以满足要求。     

桥式测量转换电路特性与实验教学结合的探索与实践

桥式测量转换电路是众多传感器测量转换电路中非常重要的一种转换电路,其特性的理解和掌握对理解其在多种电路中的应用起着至关重要的作用。通过应变片电阻传感器实验教学可实现对桥式测量转换电路特性的掌握。     

一种STBC-OFDM系统中的盲和半盲信道估计

针对尾部补零(Zero padd ing,ZP)的空时分组编码正交频分复用(Space-tim e b lock cod ing orthogona l fre-quency d iv is ion m u ltip lex ing,STBC-OFDM)系统,提出了一种基于子空间分解的信道估计算法。首先利用STBC的编码结构和OFDM信号中由ZP和虚载波(V irtua l carrier,VC)引入的冗余,推导了该算法的盲估计形式,然后对其可辨识性进行了理论分析,证明了该盲方法可以在一个标量因子模糊度的意义上辨识出多个信道的冲激响应。通过结合使用导频信息形成半盲算法,可以消除模糊度。仿真结果表明,该算法的信道估计准确度较高,可以有效地跟踪衰落信道,在低信噪比时性能良好。     

带背鳍细长平板三角翼脱体涡的实验研究

对后掠角为82.5°具有尖削前缘的细长平板三角翼以及加上背鳍高度分别为hL/s=0.3和hL/s=0.6的机翼组合体在低速风洞进行了大迎角六分力天平测力实验.实验迎角范围为12°~32°,来流速度为25m/s和35m/s.实验结果表明:对单独三角翼,在翼面产生的脱体涡破裂前,其涡流场随着迎角的增大始终是对称且稳定的;增加不同高度的背鳍后,当迎角大到一定程度后,涡流场开始变得不对称和不稳定.背鳍高度不同,流场开始出现不对称时的迎角也不同,在所研究的背鳍高度范围内,背鳍越高,测量得到流场出现不对称时的迎角越小,表明增加低高度的背鳍对细长平板三角翼的背涡流场的稳定有着扰动和破坏作用.实验结果部分证明了文献[1]中的稳定性理论的有效性,同时初步研究了涡失稳后的发展情况.     

π-TFSK时频调制信号状态迁移的分析

本文主要对π－ＴＦＳＫ时频调制信号的状态迁移进行分析。首先,从数学模型出发,对π－ＴＦＳＫ时频调制信号的状态进行分析;然后,推出了该信号的状态迁移图;最后求出了π－ＴＦＳＫ时频调制信号的状态迁移矩阵。