基于NoC的众核处理器可靠性仿真分析研究

随着半导体制造工艺的发展,众核芯片上的晶体管密度不断增加,随之而来的寿命可靠性问题日益严重。为了准确评估芯片的可靠性,本文提出了一种基于蒙特卡洛方法的系统级可靠性仿真框架,并在此基础上研究了No C通信架构对可靠性的影响。实验结果表明,如果不考虑众核芯片的No C通信结构,系统级可靠性评估的相对偏差最高可达到60%左右。     

基于成团效应的众核处理器失效核分布建模方法

随机产生失效核分布的方法不能反映众核处理器物理拓扑结构的真实状况,在评价相关拓扑重构算法的效能时有失客观性.本文针对这一现状,提出了一种基于缺陷成团效应的众核处理器失效核分布建模方法.实验表明,本方法得到的物理拓扑结构缺陷分布呈现出不同程度的成团特性,且成团效应会显著影响核级冗余技术的拓扑重构效果.     

一种基于SIFT的改进优化特征匹配算法

尺度不变特征变换即SIFT算法存在实时性差,易误匹配等固有问题,本文针对性地提出了特征描述符降维处理和匹配优化解决方案,得到一种能满足更高实时性和精确性需求的特征匹配算法.通过使用特征点为中心的9个同心圆环梯度累计值,构建72维特征向量,进行特征描述符降维,达到简化特征描述的目的,从而减少描述符的生成和匹配时间.此外,结合匹配点择优筛选和RANSAC算法匹配提纯,有效地减少了误匹配.实验表明:改进优化后的特征匹配算法既显著地提高了特征匹配精确度,又改善了算法自身实时性.     

一种考虑实时约束的数据流卸载技术

在数据流管理系统中,流数据的高到达速率和进发性等特点会引起系统过载,为此人们提出了各种卸载技术来缓解过载问题.目前几乎所有的卸载技术都使用随机丢弃数据的方法,由于随机丢弃数据策略对数据丢弃过程没有任何控制,这对某些考虑实时约束的数据流管理系统是不适合的.本文认为更为精确的卸载模型,比如文中使用的(m,k)截止期模型,更适合于一类重要的实时数据流事件检测应用.基于(m,k)截止期模型,提出一种新的策略SOSA,该策略一方面提供了可证明的卸载能力,同时也保证了系统的时间约束.为验证SOSA的有效性,设计了一种新的数据流调度算法SOSA-DBP.理论分析与模拟实验证明了SOSA-DBP比现有的算法有更好的性能.     

一种基于Gabor变换的芯片缺陷特征增强方法

由于特征信息获取受限,基于二维图像处理技术的芯片外观缺陷检测方法对微小外观缺陷的检测率不高.为满足开发高端芯片的微小外观缺陷检测算法的需要,本文提出了一种基于Gabor变换的芯片缺陷特征增强方法.首先基于光度立体法采集芯片外观图像并做算子运算,得到特征信息丰富的反照率图;然后利用Gabor变换对反照率图进行滤波处理,可...     

大功率毫米波环板行波管注波互作用线性理论研究

考虑了电子注的厚度和相对效应，采和场匹配和变分法中的特殊方法－－Ritz-Galerkin法，导出了考虑电子束空间电荷效应的环板行波管的热然散方程，并对该方程进行数值求解，得到了其小讯号增益，讨论了慢波系统几何尺寸和电子注参量对小信号增益的影响，为毫米波环板行波管的设计提供了理论依据。     

一种优化的众核处理器核级冗余拓扑重构算法

现有的行波列借拓扑重构算法是基于分级优化思想,把整体优化问题分解为以失效核为中心的局部优化问题,通过局部搜索失效核重构的最优解来求解整体优化问题的最优解。但其在局部邻域进行的是单向搜索,易导致搜索到的解并不是局部最优解,或者前一单元依次占用下一单元最优解而导致连锁列借操作。针对上述情况,构造一种局部邻域双向搜索的优化行波列借算法,可使局部解更优,并避免连锁操作。实验结果表明,该算法在失效核数目较多的情况下,与原有行波列借算法相比,众核处理器虚拟拓扑结构性能明显提高。     

2D-Torus众核任务绑定与调度的近似算法

任务绑定与调度是众核软件综合过程中要研究的关键问题,由于众核平台的多样性与特殊性,任务绑定与调度算法在设计时需要充分考虑任务集与物理平台的特性.本文针对2D-Torus同构众核处理器平台,提出一种基于BAMSE近似算法的任务绑定与调度方案,实现了具有通信开销的非独立任务集到物理内核的绑定,并通过实验探究了改进后的BAMSE算法在2D-Torus众核平台上实现任务绑定与调度的性能.     

基于加速剖面的软件防危性验证测试方法

在严格区分软件防危性和可靠性的基础上,提出一种基于加速剖面的软件防危性验证测试方法。该方法通过系统性的防危分析,构建软件加速剖面,根据重要性取样原理求得测试加速因子,能在减少测试代价的同时实现对软件防危性指标的高可信验证测试。     

实时多任务软件高可靠性测评方法

为了克服传统可靠性测试方法在验证高可靠性指标时测试持续期太长的困难,针对实时多任务软件的特点,提供了一种融基于体系结构的系统可靠性建模、最大熵原理、贝叶斯统计推断为一体的多级高可靠性测评方法。数值仿真表明,该方法在不降低验证测试置信水平的基础上,能有效缩短验证测试持续期。