基于FMECA的信息系统软件失效安全风险评估与预测

随着大量软件产品应用于信息系统,不可避免地增大了软件失效对系统安全的影响概率。本文以某信息系统文电收发的处理过程为例,引入FMECA法,对其文电收发处理过程中由软件造成的风险进行分析,同时分析了引起风险常见的失效模式,并引入Markov模型对软件失效造成系统严重危害的风险进行预测,通过Markov模型与FMECA法结合能够迅速定位软件失效的原因,减少因软件失效造成的系统损失。     

级联结构的阵列天线导航接收机抗干扰及多径抑制方法

阵列信号处理技术因其能够提供空域分辨能力已被广泛应用于卫星导航接收机领域以实现抗干扰和多径抑制。根据干扰和多径信号对导航接收机基带处理影响的不同提出了一种以数字相关器为界线划分的抗干扰与多径抑制两级处理结构:第一级处理在解扩前估计阵列接收数据的空时协方差矩阵,根据干扰信号功率远大于导航信号及噪声的特点利用子空间投影技术实现抗干扰;第二级处理在解扩后进行空间平滑解相干处理,利用基于Householder变换的广义旁瓣相消技术进行波束形成以实现多径抑制。理论分析和仿真结果表明,该级联处理技术能够有效地压制强干扰,并显著减小多径信号对导航接收机伪码测量的影响。     

复杂干扰环境下的卫星授时接收机加固技术

对目前导航卫星授时接收机面临的干扰模型和应对措施进行了归纳总结。结合授时接收机工作原理和特点,给出了授时接收机加固的通用框架。在此基础上,对授时接收机加固技术的发展趋势进行了分析,提出了基于钟差辅助和网络辅助的两种干扰检测方法。前者充分利用了多系统多卫星钟差数据的冗余性和本地时钟的特性,后者则利用了授时接收机网络具备数据通信和广域覆盖的特点。通过干扰检测结果给出完好性评估并引导授时接收机的工作模式,可以提升复杂干扰环境下卫星授时的可靠性和完好性。     

Changing the paradigm: Simulation,now a method of first resort

Decades ago, simulation was famously characterized as a “method of last resort,” to which analysts should turn only “when all else fails.” In those intervening decades, the technologies supporting simulation—computing hardware, simulation‐modeling paradigms, simulation software, design‐and‐analysis methods—have all advanced dramatically. We offer an updated view that simulation is now a very appealing option for modeling and analysis. When applied properly, simulation can provide fully as much insight, with as much precision as desired, as can exact analytical methods that are based on more restrictive assumptions. The fundamental advantage of simulation is that it can tolerate far less restrictive modeling assumptions, leading to an underlying model that is more reflective of reality and thus more valid, leading to better decisions. Published 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 293–303, 2015     

微波脉冲对导航接收机跟踪环路载噪比的影响

为了明确微波脉冲对导航接收机的最佳干扰参数,通过对微波脉冲干扰下导航接收机跟踪环路相关处理的理论分析,根据微波脉冲谱线、扩频码谱线以及相干积分时间三者之间的关系,提出一种微波脉冲干扰分类方法,推导了不同参数微波脉冲干扰下相关输出功率和载噪比,并进行了试验验证。理论分析与试验结果表明,当微波脉冲宽度大于等于扩频码周期且小于相干积分时间时,进入相干积分器带宽内的多条微波脉冲谱线干扰某一条扩频码谱线,该微波脉冲参数对导航接收机的干扰效果最佳,且优于连续波干扰;随着干扰谱线数量增多,跟踪环路相关输出功率值增加,载噪比减小,干扰效果增强。     

滤波器阶数对导航接收机时域抗干扰的影响分析

滤波器阶数是影响卫星导航接收机时域自适应抗干扰性能和计算复杂度的核心参数。为了解决当前阶数选取严重依赖工程经验而影响分析不足的问题,分析了滤波器阶数对导航接收机时域自适应抗干扰性能的影响,可为导航接收机低复杂度时域抗干扰的研究提供理论支撑。该分析面向不同干扰环境,分别以滤波器幅频响应和信号载噪比为评估指标,并通过仿真实验和实测对传统最小均方算法和改进型最小均方算法进行验证,提出了一种基于数字滤波器设计的自适应最优滤波器阶数的设计方法。实验数据分析表明,通过适当提升滤波器长度,可以有效提升时域自适应滤波器的抗干扰性能;在实际应用中,可根据实际抗干扰需求,对滤波器阶数进行优化设计。     

GNSS信号功率增强对调零抗干扰接收机的性能影响

由于卫星端信号发射功率小、信号传播损耗大,到达接收机的卫星导航信号极其微弱,容易被干扰。为有效应对电磁干扰的威胁,在系统层面和用户层面同时采取抗干扰措施将是一种很好的选择。建立调零抗干扰接收机抗干扰能力分析模型,并定量分析信号功率增强对调零抗干扰接收机抗干扰性能的提升效果。结果表明：信号功率每增强10 dB,接收机抗干扰能力可提升3～4 dB,但从提高接收机非极限条件下的接收性能(载噪比、测距定位精度等)的角度,信号功率增强15～20 dB时,接收性能最优。研究成果可为卫星功率增强量的优化设计以及终端抗干扰设计提供参考。     

虚拟试验光传输环境通用支撑软件设计

根据光电对抗虚拟试验的实际需要,分析了虚拟试验光传输环境模型,设计了一种能为光电对抗虚拟试验提供光传输环境服务的通用支撑软件。研究了能集成现有光传输效应模型的软件框架,设计了基于组件对象模型和通信代理技术的环境服务通用接口及符合综合自然环境数据表示与交互规范(SEDRIS)的环境数据库访问接口,最后介绍了软件在光电对抗虚拟试验系统中的应用流程。实际表明,支撑软件能为更科学、合理地评价光电对抗虚拟试验效果提供有力支持。     

软件可维护性的一种定量计算方法

软件可维护性是软件维护难易程度评价的标准,为实现软件可维护性的定量计算,在介绍波动效应的基础上,根据软件可维护性计算的基本思路和基本原理,建立了基于波动效应分析的软件可维护性计算模型,并对模型进行了分析和校验。     

振荡器相位噪声对GNSS接收机载波跟踪数字锁相环性能的影响

关于振荡器相位噪声引起的GNSS接收机载波跟踪数字锁相环相位抖动,目前的解析结论仍是基于模拟锁相环的,不能说明相位抖动大小与中频积累时间的关系,因此不能有效指导高灵敏度、高精度载波跟踪锁相环参数设计.本文首先推导中频积累输出的频率白噪声、频率游走噪声序列的功率谱,然后基于数字二阶锁相环离散线性模型导出了环路相位抖动公式并进行了仿真验证,最后对公式进行了解析和数值分析.分析结果表明:频率白噪声、频率游走噪声引起的二阶载波跟踪锁相环相位抖动,均随中频积累时间单调递增,随环路带宽先递减后递增.本文推得的相位抖动公式及其随参数变化特征的分析结论,可用于具体指导GNSS载波跟踪锁相环参数设计.