【摘 要】
：
为了研究组合电路重汇聚现象,提出了一种基于SAT求解器的分析方法.通过深度优先搜索算法,确定瞬态脉冲产生节点和输出节点之间的所有路径;建立待检查列表,对表中的元素施加敏
【基金项目】
：
国家自然科学基金项目(61872136,61772540)资助.
论文部分内容阅读
为了研究组合电路重汇聚现象,提出了一种基于SAT求解器的分析方法.通过深度优先搜索算法,确定瞬态脉冲产生节点和输出节点之间的所有路径;建立待检查列表,对表中的元素施加敏化约束条件,并采用SAT求解器求解元素可满足性;最后判断是否存在满足条件的输入向量,使瞬态脉冲通过不同路径在输出节点发生重汇聚.所提方法可以有效地对较大规模组合电路进行分析,采用EPFL和ISCAS’85作为测试集,实验结果表明,ISCAS’85测试集中约有一半节点处产生的瞬态脉冲能够发生重汇聚,这一比例明显高于EPFL测试集,因此不同类型
其他文献
在中国古代的治国理念中“德治”的思想一直占据主导地位，有着特别重要的意义。中国传统的德治主张包括了修己安人、先德后刑、德本财末、先学后仕、尊贤使能、以民为本的基本
基于大数据技术的社会计算方法是目前学术界研究的热点,如何从网络上快速获取相应的数据资源是相关研究的关键。网络爬虫技术是目前进行网络数据采集的主要手段,针对现有爬虫
通过科学文献计量法、专家访谈法、实地考察法,发现洛阳市高校篮球队建设与运营范式存在如下误区:(1)选材模式经验化;(2)训赛体系封闭化;(3)比赛决策缺乏数字化支持。针对上
数据中心是高性能计算机的集群中心,CPU集群运行繁忙,不规则的数据结构和算法频繁使用,使得大多数基于时空局部性的预取技术不再适用。文中引用语义局部性的概念,使用增强学
随着现代化技术的发展,大数据愈来愈多地应用在各个领域,利用大数据推动乡村生态振兴是不可阻挡的趋势。要从"数字乡村"的内涵、大数据助推乡村生态振兴的内在机理、存在的问
我国高校体育专业创客教育经过多年的发展,在政策支持、教育模式、市场支持等方面有了良好的基础和初步的成效,但也面临着诸如发展“深水区”、教育“短板”和体育产业发展不
随着城市轨道交通的迅速发展,地铁短期断面客流的预测有利于运营部门观测客流的实时变化,从而调整调度策略。客流具有时空特征,在10 min粒度时间片下,客流变化存在周期性,在
基于神经网络和大数据的交通流量预测方法层出不穷,但对交通流量预测的精度仍有待进一步提高。为了解决该问题,提出一种基于时空特征挖掘的交通流量预测方法。该方法使用改进
针对现有表情识别算法未考虑头部姿态及不能使用高像素图像的问题,提出一种基于随机森林算法的头部姿态估计(RF-HPE)网络与卷积神经网络相结合的模型。首先对输入图像作强度归一化,然后利用RF-HPE确定脸部标志关键点,从而确定脸部标志的位置,最后使用卷积神经网络提取特征并训练模型。该模型降低了光线强度对识别结果的影响,并且在不牺牲算法效率的情况下提高了训练精度。实验结果表明,所提出的改进模型的学习能