【摘 要】
：
针对纳米级工艺下瞬态故障引发的软错误可能造成电路失效这一问题，提出一种容软错误的电路加固方案．该方案面向软错误的两种诱因SEU与SET，构造容错时序单元RHBD-DFF，并在对电路中原始时序单元进行加固的同时，考虑到所带来的附加开销，提出了基于开销限制前提的选择性加固关键单元的策略，达到以低开销代价换取高容错性能的目的．
【机 构】
：
合肥工业大学计算机与信息学院 合肥 230009 合肥工业大学电子科学与应用物理学院 合肥 230
论文部分内容阅读
针对纳米级工艺下瞬态故障引发的软错误可能造成电路失效这一问题，提出一种容软错误的电路加固方案．该方案面向软错误的两种诱因SEU与SET，构造容错时序单元RHBD-DFF，并在对电路中原始时序单元进行加固的同时，考虑到所带来的附加开销，提出了基于开销限制前提的选择性加固关键单元的策略，达到以低开销代价换取高容错性能的目的．
其他文献
@@2008年开春以后，煤炭价格屡创新高，厂家成本负担日益加重，单醇装置停车检修增多，加上春耕化肥需求旺盛，迫使联醇装置优先保证化肥生产，甲醇产量自3月份开始连续3个月下降，同时国内外套利空间使商家出口仍继续，因此国内总体供给量减少。
@@烯烃不仅仅是重要的基础化工原料，而且已经成为能源化工发展过程中的重要支柱产业。多年来，乙烯、丙烯产品在整个石油化工市场中一直占居第一、二的龙头位置，尤其是乙烯的生产装置规模、产量和技术装备水平标志着国家石油化学工业的发展水平，也极大影响着下游产品的竞争能力。
@@我们经过实验研究提出：一种利用铁矿煤球团作为直接还原铁竖炉颗粒床除尘器的除尘颗粒，在对高温粗煤气除尘的过程中，生产直接还原铁，同时降低粗煤气温度，煤气净化后用于生产化工产品的原料气，可以有效地提高煤炭能源综合利用效率约7.8％，降低炼铁能耗约30%-70%。
为了满足系统对通信带宽的要求，片上网络逐渐取代总线成为当前多核及众核系统的主流互连方案．然而，由于芯片特征尺寸的不断减小，芯片内发生故障的概率显著增加．为了提供可靠的片上通信，本文提出了一种低成本的可重构路由算法．通过时路由器状态的更新，本文提出的片上网络系统可以容忍任意数目，任意分布的路由器以及链路故障．与目前存在的容错设计方案不同之处在于，本文提出的可重构路由器不需要增加虚拟通道来保证网络的无
基于形式化方法PAR，提出了一种高可靠算法程序设计技术，并采用范畴论形式化了相关的概念和定义．该技术通过重用一类问题的算法规约，算法程序的形式化推导和正确性证明来快速设计出正确的问题求解算法程序，使得算法程序的设计效率和可靠性得到提高．通过实例说明了使用这一技术进行算法程序设计的过程。
本文通过对云计算环境的服务质量评价出发，分析当前服务质量评价体系的存在的不足，现有大多数评价采用运行期的集中、单一的测试方法，通过测试结果来评价服务质量．本文从云计算环境的特征进行分析，认为云环境中面向服务的质量评价不应采用现有评价方式，也不适合开发过程后模拟真实环境所进行的度量评价方法，而是应该采用多种方法从不同角度来综合地获得评价数据，再进行相关的度量评价．本文提出基于测试集成的服务质量的在线
针对无线传感器网络，采用基于身份的理念，提出一种新的分布式基于身份的密钥管理方案；不需要在线认证中心，通过网络中的节点自发共举产生通信组密钥，引入ZSS签名方案，实现通信各个节点间的双向认证，结合门限密码机制提高系统的健壮性，在保证系统安全性的同时，改进系统效率，达到轻量级应用．对于所提出的基于身份的密钥管理方案，阐述了它在随机预言模型下的可证安全性，并探讨了它在无线传感器网络中的可行性与适用性．
缓冲区溢出已经成为一种常见的安全漏洞．本文介绍了一种基于代码静态分析的缓冲区溢出检测算法，该算法对源代码进行建模，构造其抽象语法树．符号表、控制流图、函数调用图，在此基础上对所有变量进行区间运算，并采用函数摘要的方式记录函数的前置约束条件．该方法具有良好的扩展性，用户可以通过配置文件增加需要检测的函数，最后使用该方法对开源项目进行检测，检测结果表明该方法能够有效地、精确地检测缓冲区溢出．
在晶圆芯片测试时，提高单位时间内的效率能够实现低投入、高产出的效果．在采用Multi-site方式的并行测试中，需要先解决选择何种产品进行并行测试，如何确定并行site数等问题，然后再用最高效率的方法设计确定Multi-site并行测试方案．本文从软件和硬件方面对当前流行的Multi-site并行测试进行了效率分析，研究了影响Multi-site并行测试效率的各种因素，并对其影响深度和范围进行分析
本文介绍了一种实现1553B总线智能节点功能的SOPC，并以此为例对本领域工程师们共同面临的可靠性问题进行了分析，展示了在民用FPGA上构建高可靠性低恢复延时的复杂系统的一种可行的方法．文中使用域划分模型对具有多个候选配置的可重构SOPC进行建模，从而将各候选配置的资源优化分配问题转化为二次规划问题求解，产生使可靠性最大的分配方案．使用盲重构的故障恢复技术降低恢复延时．本文还介绍了仿真实验，用于权