FPGA互连测试中的反馈桥接故障覆盖问题

现场可编程门阵列(FPGA)内部资源众多,其中互连资源出现故障的概率远远高于片内其他资源,而在以往许多互连测试研究中,所生成的测试配置存在无法覆盖反馈桥接故障的难题,所以较难有测试配置实现故障列表的100%覆盖。因此通过约束桥接故障只发生在单个查找表(LUT)内的信号线上,并结合单项函数,对反馈桥接故障模型进行优化改进,从根本上解决难题；然后对优化后的反馈桥接故障设置相应的约束条件,再使用布尔可满足性理论(SAT)生成满足约束条件的测试配置。采用优化后的故障模型对ISCAS"89基准电路进行了测试配置生成实验,结果表明生成的测试向量解决了反馈桥接故障的覆盖难题,并且在实现故障列表的100%覆盖下,优化后的故障模型所需要的测试配置数最少。     

基于静态随机存取存储器型FPGA的测试技术发展

可编程逻辑门阵列(FPGA)技术迅速发展,广泛应用于各种电子系统中,与此同时,对FPGA测试的需求也日益增多。针对FPGA的测试方法和特性进行综述研究,给出了测试对象FPGA的分类,根据FPGA的类型特点说明其测试重点,并着重介绍了目前应用最广泛的基于静态随机存取存储器(SRAM)型FPGA的内部资源结构。重点针对SRAM型FPGA,对相应的现有测试方法进行了分类与特性分析。最后对测试技术的发展方向进行了展望。     

探讨某建筑工程中高性能混凝土施工技术

本文结合某建筑工程实例，根据现场实际情况对高性能混凝土最优配合比实施了动态调配，在施工中为保证施工质量，对每批进场混凝土进行严格检验，完善了泵送混凝土技术的施工工艺，在施工中对不同部位采用不同的浇筑及振捣模式，同时注重混凝土成品后期的养护及保护，该技术提高了工程技术含量，加快了施工进度，减少了对周围环境的影响，为业主提供了高质量的住宅建筑。     

基于XGBoost的混合模式门级硬件木马检测方法

针对恶意的第三方厂商在电路设计阶段中植入硬件木马的问题,该文提出一种基于XGBoost的混合模式门级硬件木马检测方法。该检测方法将电路的每个线网类型作为节点,采用混合模式3层级的检测方式。首先,基于提取的电路静态特征,利用XGBoost算法实现第1层级的检测。继而,通过分析扫描链的结构特征,对第1层级分离得到的正常电路继续进行第2层级的面向扫描链中存在木马电路的静态检测。最后,在第3层级采用动态检测方法进一步提升检测的准确性。Trust-Hub基准测试集的实测结果表明,该方法与现有的其他检测方法相比具有较优的木马检测率,可达到94.0%的平均真阳率(TPR)和99.3%的平均真阴率(TNR)。     

第20届世界氢能大会成功召开

<正>第20届世界氢能大会(WHEC 2014)于2014年6月15-20日在韩国光州金大中会展中心成功召开。由于大会组织者失误,本届会议仅有来自世界各国的近400名代表出席了开幕式,而2012年则有1200多位代表参加加拿大的WHEC2012开幕式。WHEC 2014会上,各国代表介绍了自己国家的氢能进展。值得注意的是,氢燃料电池车发展迅速,明年将开始进入市场,多个汽车企业计划明年生产1000台燃料电池轿车,预计2020年将进入商业化上升期。为此,各国都有加氢站计划。     

装备维修精益六西格玛项目价值流分析研究

提出了装备维修活动“价值属性”以及“质量角色”的概念，在顾客需求价值概念的基础上，建立了装备维修质量价值流的模型框架，给出了具体的分析流程和实例，为提高装备维修效率、降低维修成本以及发现并消除装备维修过程中的“浪费”提供了方法。     

黄土地区大口径深竖井工程研究——郑州黄河国家地质公园地质博物馆观光电梯厅设计施工方案探索

在黄土地区的场地狭窄情况下建造大直径深竖井工程,采取一般设计施工方案难以施工。对此,本文探索研究出新型的护壁方案—地埋式圆形框架剪力墙结构逆作法方案,实施后已取得圆满成功。     

基于XGBoost的混合模式门级硬件木马检测方法

针对恶意的第三方厂商在电路设计阶段中植入硬件木马的问题,该文提出一种基于XGBoost的混合模式门级硬件木马检测方法.该检测方法将电路的每个线网类型作为节点,采用混合模式3层级的检测方式.首先,基于提取的电路静态特征,利用XGBoost算法实现第1层级的检测.继而,通过分析扫描链的结构特征,对第1层级分离得到的正常电路继续进行第2层级的面向扫描链中存在木马电路的静态检测.最后,在第3层级采用动态检测方法进一步提升检测的准确性.Trust-Hub基准测试集的实测结果表明,该方法与现有的其他检测方法相比具有较优的木马检测率,可达到94.0％的平均真阳率(TPR)和99.3％的平均真阴率(TNR).