岭澳二期核岛三废处理控制系统(KSN)设计

本文对岭澳二期核电工程核岛三废处理控制系统(KSN)的设计进行了介绍,对KSN系统所采用的数字化控制系统,从系统功能及特点,硬件设置,网络结构等方面进行了详细描述。     

一种嵌入式软件逻辑覆盖测试方法研究

针对嵌入式软件测试覆盖率低的问题,提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性.     

电站三重冗余ETS的设计

根据相关标准规范,结合安全完整性仪表的设计理念,进行三重冗余紧急跳闸系统(ETS)的研究及设计。从ETS的传感器、电源、I/O卡件、控制器等故障裕度和危险失效频率分析系统安全性,在设备选型及回路设计中考虑系统动作的快速性和系统在线试验功能的可靠性。设计了跳闸回路驱动电源、控制系统电源、I/O卡件电源的独立冗余电源系统。设计了三重冗余传感器、I/O卡件、控制器,降低了系统危险失效频率。设计了电源、控制器、I/O卡件、传感器、过程信号状态监视和报警及在线试验功能,以实现ETS三重冗余。该设计大幅度提高了系统的可靠性和可维护性,简化了跳闸回路,确保了机组安全运行。     

OSEK/VDX操作系统功能测试研究

传统OSEK/VDX操作系统测试采用分类树的测试方法,导致测试路径不完全和冗余性高。为此,提出以系统服务接口为目标的面向符合类的流框图测试方法。通过评估接口重要度,准确判断接口的各种调用组合方式,提高测试覆盖率,实现测试代码的复用,其测试工作量比原方法减少三分之一。     

飞机电气系统交流畸变频谱测试方法研究与仿真

在航空电气系统中,电源系统是飞机正常工作的关键部件,其供电质量的好坏直接影响机上的各种用电设备,所以其供电指标必须满足GJB 181A<飞机供电特性>的要求,在这些指标中最重要的一项是交流畸变系数与畸变频谱.主要介绍了一种基于虚拟仪器图形编程软件LabVIEW的交流畸变频谱的测试方法,重点是数据处理方法,并且简要地介绍了整个畸变频谱的测试硬件.通过计算机仿真与实际测试结果相比较,说明测试方法可行,测试结果可靠,达到了设计要求.     

一种基于FSM的BGP-4协议模糊测试方法

BGP-4路由协议的安全性对于保障整个网络安全、可靠运行具有重要意义。现有的模糊测试方法在对BGP-4协议测试时存在状态测试困难、测试用例冗余等问题。为了解决这些问题,提出了一种基于有限状态机的BGP-4协议模糊测试方法BFuzz,设计了测试序列生成算法TSGF（Test Sequences Generation for Fuzzing）和测试用例生成算法TCGVF（Test Cases Generation based on Vulnerable Fields）,实现了原型系统BFuzzer。测试结果表明该方法能够有效地挖掘BGP-4协议中的漏洞。     

核电厂棒电源系统停堆功能的接口设计

为解决核电工程项目中因系统接口不明晰而可能造成的安全风险及工程进度延误等问题,以第三代国产化核电堆型CAP1400示范工程为例,着重解决了与棒电源系统实现停堆功能相关的接口问题。简要介绍了核电厂棒电源系统的基本结构和功能需求,给出了CAP1400数字化仪控系统的总体结构,并重点描述了棒电源系统(RDPS)、多样化驱动系统(DAS)、主交流电源系统(ECS)、电厂控制系统(PLS)、地震自动停堆系统(ESS),包括仪控系统的层级分布、接口功能实现原理及设计特点等。总结了第三代核电堆型CAP1400棒电源系统停堆功能的多样性和冗余性等特点。该设计保证了RDPS停堆功能的安全、可靠运行,并为后续核电项目的接口设计及管理提供参考。     

航空二次电源计算机综合测试系统的设计与实现

航空二次电源是飞机电源系统的重要组戍部分，其工作的可靠性和供电质量直接影响到飞机的安全和性能。为了实现各种二次电源性能参数的自动化测试，以计算机为核心，附以信号调理箱、控制柜等硬件模块，通过VC＋＋环境下的软件编程，设计实现了航空二次电源计算机综合测试系统。对测试系统设计开发的背景及意义作了简单介绍，并阐述了系统的测试参数及总体功能特点。论述了测试系统的硬件系统结构和功能及软件系统的设计思路。     

web服务器拟态防御原理验证系统测试与分析

web服务器拟态防御原理验证系统是基于拟态防御原理的新型web安全防御系统,利用异构性、冗余性、动态性等特性阻断或扰乱网络攻击,以达成系统安全风险可控的要求。针对传统的测试方法实施于web服务器拟态防御原理验证系统中存在不足、不适应复杂安全功能测试以及难以实现准确度量等问题,本文提出了适用于拟态防御架构的web服务器测试方法,基于让步规则改进了灰盒测试,还丰富了漏洞和后门利用复杂度的含义。并以此为基础设计适于该系统的测试方案、测试原则和测试方法,在性能、兼容性、功能实现、HTTP协议一致性,安全性这些方面进行了全面的测试和分析。     

嵌入式SRAM的优化修复方法及应用

为了提高SRAM的成品率并降低其功耗,提出一种优化的SRAM.通过增加的冗余逻辑及电熔丝盒来代替SRAM中的错误单元,以提高其成品率;通过引入电源开启或关闭状态及隔离逻辑降低其功耗.利用二项分布计算最佳冗余逻辑,引入成品率边界因子判定冗余逻辑的经济性.将优化的SRAM64K×32应用到SoC中,并对SRAM64K×32 的测试方法进行了讨论.该SoC经90nm CMOS工艺成功流片, 芯片面积为5.6mm×5.6mm, 功耗为1997mW.测试结果表明:优化的SRAM64K×32 在每个晶圆上的成品率提高了9.267%,功耗降低了17.301%.