简介：半导体存储器一般由存储体、地址译码驱动器、读／写放大器和控制电路组成，是一种能存储大量信息的器件，它是由许多存储单元组成的。半导体存储器的测试有功能测试、直流参数测试、交流参数测试，而功能测试和交流参数测试对存储器来说是至关重要的。SRAM（静态随机存储器）的功能测试是通过算法图形发生器产生不同的测试图形，对被测器件各个不同存储单位进行读写操作，以检查其功能。主要讲述了SRAM交流参数测试原理及其测试关键技术，介绍了SRAM交流参数测试的故障模型。通过研究SRAM交流参数测试图形向量，给出了SRAM交流参数测试图形向量的优化方法。

简介：在研究静态随机存储器故障模型以及常用功能验证方法的基础上，提出采用MarchSOF算法结合故障注入的EDAC测试程序作为宇航用带EDAC功能SRAM存储器的验证方法。该方法将MarchSOF算法扩展为32位字定向算法，同时增加数据保持故障以及EDAC功能的测试，可以对宇航用SRAM进行全方位功能验证。采用实际电路，对该方法进行实现和验证，验证结果表明了方法的可行性和有效性。

简介：分层自治域AS的提出解决了天地一体化信息网络因结构复杂、拓扑动态变化所带来的整网控制难题。针对AS组网特点及天地一体化信息网络内节点存储资源严重受限的问题,本文提出一种混合分布式存储管理策略。利用MDS编码产生冗余编码包,编码包存储过程分为AS间存储和AS内存储两部分。将AS间存储建模为最优数据分配问题,通过AS的可用性表征网络异构性,在AS间存储过程中,根据可用性向每个AS分发不同数量的编码包;在AS内部利用喷泉码对收到的编码包进行分布式存储。通过混合存储管理策略,将信息分散存储在整个天地一体化信息网络中,以期改善网络资源利用效率,同时提高数据存储可靠性。

简介：面对日益增加的赛博空间威胁，评估任务关键系统能否有效运转变得更加紧要。首先，介绍了任务关键系统赛博安全性的概念内涵；然后，通过系统核心能力分析，构建了综合体现系统运行与安全特征的评估指标体系，并依据指标分类给出了几种典型指标的计算／评估模型；最后，提出了一种赛博安全性评估试验方法，并结合典型场景进行了试验验证。

简介：针对网络态势感知中的预测精度问题,提出了基于广义径向基函数（RBF）神经网络的网络安全态势预测方法。该方法利用K-means聚类算法确定RBF的数据中心和扩展函数,并采用最小均方算法调整权值,得出态势值前后之间的非线性映射关系,并进行态势预测。仿真试验表明,该方法能较准确获得态势预测结果,提高网络安全的主动安全防护。

简介：针对网络化信息系统对抗试验环境的安全性需求，从安全要素、安全属性和对抗环境3个层次给出了安全防护体系的描述框架，建立了基于多种隔离机制的对抗试验资源安全防护基础结构模型。为了实现多层次和多领域的立体防护，依据面向服务和安全域划分的基本原则，建立了适应网络化信息系统对抗试验环境的各层次安全防护系统，为安全技术开发和安全设施建设提供借鉴。

简介：针对天基综合信息系统面临的安全威胁,结合安全需求和约束条件,面向远程空间信息支援任务想定,设计主动可控的安全防护策略规则,并研究安全策略规则的形式化描述方法,进而实现动态可配置的安全策略仿真验证系统,以安全策略规则对安全分发技术的动态部署驱动为例,迭代验证安全策略对安全技术的指导作用。为从策略层面提高天基综合信息系统安全防护部署的可动态配置能力和性能/代价提供解决思路和验证方法。