基于单片机的红外遥控解码滤波模块设计

本文以单片机为控制核心,利用相应的硬件滤波功能和软件滤波算法对红外遥控接收头的输出信号进行实时地动态处理,解析出真实的控制信号并输入到与BL9149相兼容的输出管脚。本红外遥控解码模块即滤除了干扰信号,提高了抗外界干扰光源的性能;同时实时操控性能达到了要求。     

A method for evaluating fault coverage using simulated fault injection for digitalized systems in nuclear power plants

The fault coverage for digital system in nuclear power plants is evaluated using a simulated fault injection method. Digital systems have numerous advantages, such as hardware elements share and hardware replication of the needed number of independent channels. However, the application of digital systems to safety-critical systems in nuclear power plants has been limited due to reliability concerns. In the reliability issues, fault coverage is one of the most important factors. In this study, we propose an evaluation method of the fault coverage for safety-critical digital systems in nuclear power plants. The system under assessment is a local coincidence logic processor for a digital plant protection system at Ulchin nuclear power plant units 5 and 6. The assessed system is simplified and then a simulated fault injection method is applied to evaluate the fault coverage of two fault detection mechanisms. From the simulated fault injection experiment, the fault detection coverage of the watchdog timer is 44.2% and that of the read only memory (ROM) checksum is 50.5%. Our experiments show that the fault coverage of a safety-critical digital system is effectively quantified using the simulated fault injection method.     

基于算法容错中的编码方法

论述了基于算法容错技术的基本思想以及用于该容错技术的线性码的结构，并分析了加权校验和容方案在实际计算系统中的性能，同指出了目前有待进一步研究的几个问题。     

基于堆叠式分布式文件系统的端到端校验

端到端校验是一种有效的数据完整性检测手段,可为分布式存储系统提供基本的可靠性保证。Glusterfs 是一种常用的堆叠式分布式文件系统,但缺乏有效的数据完整性检测机制,存在用户数据遭受破坏而无法被发现的风险,即返回错误数据给用户。这种风险在某些情况还会扩散,造成多副本或灾备、双活情况下的数据丢失。针对这一问题,该文提出了一种高性价比的基于 Glusterfs 的端到端校验方案(命名为 Glusterfs-E2E),可以有效解决 Glusterfs 文件系统中存在的数据完整性风险。该方案不但可以提供全路径的保护,具备 2%～8% 的高性能开销,而且还可以提供软件故障的定位功能。     

一种新的直放站性能自动测试方法

对直放站性能的自动化测试在生产线和监管机构均有很高的需求。本文提出了一种通过同时控制直放站和测试仪表完成规定测试项目。从而实现自动化测试的方法。实验证明,利用这样的方法,可以对各测试项目进行无人值守的自动化测试,大幅提高测试速度,杜绝人为失误对测试结果的影响,从而提高测试的效率和准确性。     

S7-200PLC与多台仪表的自由口通信

本文以S7-200PLC和日本理化RKC温控仪表为对象,详细介绍了S7-200PLC在自由端口模式下与多台仪表的通讯实现方法。     

嵌入式计算机CMOS掉电、校验和出错解决方案

本文对CMOS寄存器进行了比较深入的研究，解决了嵌入式计算机CMOS掉电、CMOS校验和出错的问题，具有较高的实用价值。     

PE文件格式研究及修改

详细介绍PE文件格式,包括文件头、节表、节、资源目录、资源等等。研究如何用对各部分的内容进行读取分析,及对原PE文件的内容进行可行的修改、检验、导入导出等功能。通过修改达到对原有PE文件内容的替换、加密、反修改等。     

白名单主动防御系统的设计与实现

党政机关对于未知木马、恶意程序入侵造成的泄密往往采用安装杀毒软件的方法,但是基于黑名单技术的传统杀毒软件的特征库的更新晚于恶意软件的发现,所以无法从根本上做提前防范,因此提出了一种基于白名单技术的主动防御系统。详细阐述了系统功能模块的划分和客户端验证等关键技术的实现方法。白名单采集的是经过管理员验证后可信任软件的文件指纹,然后通过文件指纹的校验和比对,可以禁止运行未知的软件,从而在根源上节制了恶意软件的运行和传播。     

基于散列时间有效性的轻量级完整性监测方法

实时监测节点完整性状态是资源受限节点安全保护的有效手段.分析针对资源受限节点的主要篡改攻击模式及对散列时间带来的影响,提出基于散列时间有效性检验的纯软件完整性监测手段.基于对散列时间有效性可检验条件分析,提出采用验证值伪造惩罚系数描述散列模块抗篡改能力,设计一种融入程序状态的轻量级散列算法,通过简化算法结构与融入程序状态,增大验证值伪造难度,提高验证值伪造惩罚系数.设计支持消息认证的监测协议防止消息伪造,基于验证值比较与散列时间有效性统计,判定节点完整性状态.实验结果表明：该方案以微小的节点开销为代价,获得了更高的散列时间有效性检验可靠性,增强了对散列时间与消息传输时间波动干扰的容忍能力,提高了资源受限节点防篡改攻击性能.