具有错误探测和纠正功能的电路设计策略

为了克服传统处理器设计方法采用最坏情况来确定电路的工作频率带来的性能(吞吐率)损失,人们开始采用具有探测错误和纠正错误功能的电路设计方法。该文在已有的探测错误、纠正错误电路基础上,提出了一种针对具有延时错误纠错功能的电路的设计策略。该方法通过计算电路的延时错误概率函数,得出在一定电源电压下使得电路达到最大吞吐率的工作频率。模拟实验结果表明,该方法可以求得使电路获得最大吞吐率的工作频率。

测头探测错误点的自动剔除

本文对自动化数字仿形在采样过程中由测头引起的探测误差进行了分析，并提出了软硬件相结合的校正方法，对提高数字化仿形加工的精确性、可靠性有较高的实用价值。

一种软件实现的程序控制流错误检测方法

在太空环境中，由于宇宙射线的存在，计算机系统的硬件经常发生各种瞬态或永久故障，致使软件系统的执行流程产生错误。针对太空环境的强辐射特点，提出了一种对程序的控制流进行检查的纯软件方法RSCFC，它首先把程序划分为“基本模块”，然后给每个基本模块赋予一“关系标记”和错误探测指令。通过对程序运行期间生成的“即时标记”和事先嵌入程序的模块位置信息的“与”运算来探测控制流错误。该方法在几个C语言标准程序上进行了实现，并进行了故障注入实验，结果表明在没有RSCFC时，大约20．7％～68．8％的分支故障会产生探测不到的不正确输出，而在RSCFC存在的情况下，该区间会降低到2．8％～20．4％。与其它的软件控制流错误检测方法相比较，它具有探测率高，对原始代码影响小的特点。

病态信息检测策略及其分析

从大规模信息集合的质量问题出发,讨论了病态信息的危害、病态信息检测的指导思想、无损检测论、有限检测论、极大检测论、循序渐进论、大规模信息集合病态信息检测的部分策略、基本检测类型、检测目标定位、检测步骤、检测程序配置等问题。为进一步进行病态信息研究提供了一个良好的研究与实验基础。

软件实现的程序控制流校验方法研究进展

在太空环境中,由于宇宙射线的存在,计算机系统的硬件经常发生各种故障,致使软件系统的执行流程产生错误.对于这种由硬件引入的控制流错误,软件实现的运行时校验可提供一种低价、高效的在线错误探测方法.本文以国外近年来有关文献为依据,对由软件实现的控制流校验方法进行了综述与分类,介绍了它们的实现原理并阐明了它们之间的联系与区别,最后指出了软件控制流探测方法目前存在的问题以及发展前景.

信息关系与病态信息判定准则

从大规模信息集合的质量问题出发 ,研究了用于病态信息检测的信息关系 :信息单元限定、单向制约关系、双向制约关系、非突变关系、组合关系、顺序关系、子集关系、表达式关系、函数关系 ,以及复合关系与外部定义关系等。讨论了用于病态信息判定的准则 :合法性、合理性、真实性和正确性等 。

一种对IPKC的ESA攻击及对策

首先介绍了PPKC和IPKC的概念,然后对比了几种典型攻击方法对PPKC和IPKC安全性的不同影响。利用IPKC的特殊性,提出了一种专门针对IPKC的攻击方法———错误探测攻击方法(Errors SniffingAttacks,ESA);新型公钥密码方案NTRU是一种IPKC,因此必须研究其抵抗ESA攻击的能力;设计了一种利用NTRU解密错误发起的ESA攻击算法,该算法可以推测出私钥f部分甚至全部的信息。最后提出了增强NTRU抵抗ESA攻击的具体措施。