构造二元判决图过程中的记忆方法

来源 :电子学报 | 被引量 : 0次 | 上传用户:chiivy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在二元判廖图BDD(BinaryDecisionDiagram)运算包中,缓存记忆对提高BDD的运算速度起了很大的作用本文提出了一种电路级上的动态记忆方法,它根据电路的结构进行更有目的记忆,对ISCAS85标准电路作的实验结果表明本文的动态记忆方法有效地提高了构造BDD的速度。
其他文献
为使富顺式二氯菊酸的合成方法更加方便、安全,以甲醇钠和叔丁醇为原料,用交换法合成叔丁醇钠,与3,3-二甲基4,6,6,6-四氯己酸甲酯反应,得到富顺式二氯菊酸甲酯,进一步水解即
参照HG/T 2778-2009对高纯盐酸中的游离氯含量的测定进行了的理论研究和试验摸索,通过试验确定了高纯盐酸中游离氯的测定方法,并从不同方面验证了方法的可行性。
近几年,在我国开发了不少新农药,国外一些新品种也相继在我国进行了注册.由于<农药通用名称>国标受修订时间的限制,现将近几年新增暂定农药中文名称名单公布,一是让读者了解,
文章采用电化学阻抗谱测试、扫描电镜观察、微区能谱分析等试验手段对316不锈钢在添加Na2MoO4海水中的成膜行为进行了研究。结果表明:初步优化316不锈钢成膜环境条件为:pH值7,
【正】 山西小说是不是落后了?如果真是落后了,原因是什么?真正的阻力、真正的症结在哪里?这个问题是当前山西文艺界(创作界与理论界)所关切的问题,不少人发表了不少高见。在
海洋环境中低速小目标的有效检测是许多领域所关心的问题,本文在Nohara等提出的基于AR模型的ARLPM检测方法的基础上,提出了一种新的基于Dechirp和谱峰差分绝对值平均值SPMAD的检测方法,仿真结果表明:该方法
期刊
在网络中同一隐层的所有神经元对不同样本的输出所构成的向量相应线性无关、本文利用这一基本事实,对每一隐层引入了一相关向量及相应的无关度,根据无关度对该隐层神经元数目进
【正】 冯玉祥是一位“为民主而牺牲”的爱国将领。他在探索救国救民之路中,曾几度发生重大转折,“一生很坎坷,他经过清朝、民国两朝,从光绪、宣统至袁世凯,到孙中山北上,从
【正】 当代名藏书家周叔弢老人于一九八四年二月十四日逝世,享年九十三岁,他身后党和人民对他作了“忠诚的爱国主义者,共产党的忠诚朋友”的评价,并给他很高的荣誉。他的自