【摘 要】
：
针对现有FPGA 加固方法开销过大的问题, 提出一种利用逻辑门对故障的屏蔽效应进行选择性加固的双模冗余方法. 首先建立待加固电路的查找表结构模型, 根据故障的传播概率按电
【机 构】
：
中国科学院自动化研究所空天信息中心,中国科学院大学
【基金项目】
：
国家自然科学基金（61073035）.
论文部分内容阅读
针对现有FPGA 加固方法开销过大的问题, 提出一种利用逻辑门对故障的屏蔽效应进行选择性加固的双模冗余方法. 首先建立待加固电路的查找表结构模型, 根据故障的传播概率按电路结构依次计算每个查找表的故障敏感度; 然后将故障敏感度高的查找表进行双模冗余, 并根据要屏蔽的故障类型在冗余后的查找表输出端添加“与”,“或”逻辑进行表决; 最后对加固后的电路进行故障注入, 验证加固效果. 对MCNC 测试集电路的实验结果表明, 与现有方法相比, 在同等开销下, 文中方法对故障的屏蔽效果更显著; 全冗余时, 该方法可将
其他文献
针对"多塔"结构的3D堆叠集成电路(3D-SIC)测试耗时很长的问题,提出一种基于量子粒子群优化的测试调度方法,以缩短测试时间.首先,构造初始粒子群用以表示初始可行解,产生具有量子行为的新粒子,并更新粒子群;然后进行粒子群的迭代进化以获取全局最优解.最小化"终堆"测试时间和集成过程总测试的调度结果均表明,该方法可显著地缩短测试时间;当复杂晶片集成在3D-SIC底层时,"终堆"测试时间较短,而集成过
众所周知,茶文化作为一种极具中国特色的民族文化现象,是中华民族先辈们在长期的生活和生产实践中创造和积淀的宝贵财富,是中华民族文化遗产宝库中的一朵奇葩。现代教育理论
曲线的参数特性直接决定基于自由曲线的路径规划、运动控制等算法的质量.为了生成满足C1连续的近似弧长参数化,提出一种基于分段三次重新参数化的参数优化算法.首先利用Simpson方法离散积分能量,然后使用极值求解法求得初始解,最后通过LM(Levenberg-Marquardt)优化算法计算出曲线的最优参数表示.与C1连续的分段有理重新参数化方法相比,该算法能够在分段数量很少的情况下达到局部最优.最后
数字图像抠图是数字图像处理与编辑领域中的一类经典方法, 而仿射方法则是图像抠图中与采样法相并列的一个重要分支, 较采样类方法的主要特点和优势是计算速度快、对结果的平
文章以日本音乐体裁"地歌"为切入口,将16世纪下半叶至19世纪中下叶、19世纪中下叶至今两个时期作为历史考察区间,对日本传统音乐的传承机制进行探究。认为家元制度是该传承机
由于制造资源的调用与执行比计算资源要复杂得多,使得在云制造环境下的服务组合执行可靠性成为必须考虑的问题.为此,提出一种基于离散粒子群智能优化的、考虑执行可靠性的云制造服务组合算法.以概率密度函数描述服务可靠性,基于服务模型库动态生成云制造服务组合的工作流模型,基于语义实现服务匹配,通过离散变量粒子群优化算法计算出执行可靠性最优的云制造服务组合方案.最后以结构设计工作流模型为例,在不同服务实例规模、
<正>患者,男,62岁,于2016年7月1日就诊。主诉:足跟疼痛10年,加重1周。10年前无明显诱因出现足跟局部疼痛,遇劳加重,曾接受封闭、臭氧等多种治疗,效果不佳,近1周逐渐加重,为求
针对目前已有的三维点云配准算法直接在全局上进行配准,不能有效地处理重叠比例较低和重叠区域特征不明显的三维点云数据的问题,提出一种区域层次上的自动点云配准算法.首先利用刚体变换的低维性质,把区域作为基本的配准对象,将全局配准分解为多个规模更小的区域配准,通过重叠的区域恢复区域间局部的刚体变换;其次引入可信性和一致性的概念,通过求解一个优化问题从一系列区域配准中得到全局配准;最后用稀疏ICP算法进行精
近年来,随着我国经济的飞速增长与教育改革进程的不断推进,人们对艺术类专业的重视程度越来越高,选择报考艺术类专业的学生人数亦在逐年增多,其中亦包括钢琴专业。另外,还有
针对目前小型熔铝炉烟气排放温度高、余热回收利用率低的问题,提出适用于小型熔铝炉蓄热式节能燃烧器的开发研制方案,其中包括烧嘴类型的确定、蓄热材质的选择、蓄热式的设计