期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于遗传算法的TBDD排序方法 被引量：2
1
作者 龙望宁 杨士元 +1 位作者 闵应骅 童诗白 《电子学报》 EI CAS CSCD 北大核心 1998年第5期1-6,共6页
带时间参数的二叉判决图（TBDD）在电路的时滞故障测试中有着重要的应用价值，但其变量排序是用常规方法无法解决的一个优化问题．本文提出一种基于遗传算法的TBDD排序算法．用快速衡量值和TBDD节点数来计算个体的适应度，针对变量排序... 带时间参数的二叉判决图（TBDD）在电路的时滞故障测试中有着重要的应用价值，但其变量排序是用常规方法无法解决的一个优化问题．本文提出一种基于遗传算法的TBDD排序算法．用快速衡量值和TBDD节点数来计算个体的适应度，针对变量排序的特定问题，提出一种模板保序交叉方法．采用自适应的变异概率计算方法，并提出一个适合于TBDD排序问题的变异算法．实验结果表明较好地解决了TBDD的排序问题． 展开更多
关键词 遗传算法 二叉判决图 tbdd 变量排序
在线阅读 下载PDF
带时间参数布尔函数的符号表示及其在计算电路时间延迟中的应用 被引量：6
2
作者 赵宇虹 李忠诚 闵应骅 《计算机学报》 EI CSCD 北大核心 1997年第10期908-917,共10页
本文提出了一种形式表示带时间参数布尔函数（ＴｉｍｅｄＢｏｏｌｅａｎＦｕｎｃｔｉｏｎ或ＴＢＦ）的新方法──带时间参数的二叉判定图（ＴｉｍｅｄＢｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍ或ＴＢＤＤ），并将其应用于电路时间延... 本文提出了一种形式表示带时间参数布尔函数（ＴｉｍｅｄＢｏｏｌｅａｎＦｕｎｃｔｉｏｎ或ＴＢＦ）的新方法──带时间参数的二叉判定图（ＴｉｍｅｄＢｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍ或ＴＢＤＤ），并将其应用于电路时间延迟的准确计算．ＴＢＤＤ是传统布尔函数的符号表示──有序二叉判定图（ＯＢＤＤ）的扩展，可以统一地描述电路的逻辑功能和时间特征．由于采用了有效的压缩和节点共享策略，在典型的应用中，描述电路行为的ＴＢＤＤ的大小是令人满意的．数字电路时间延迟的准确计算对于高性能数字系统的设计和验证十分重要，本文利用ＴＢＤＤ这一有力工具，给出了计算电路最大时间延迟的一种新方法．实验结果表明这种方法是十分有效的． 展开更多
关键词 布尔函数 电路延时 符号表示 逻辑设计
在线阅读 下载PDF
实时二叉判定图
3
作者 王强 郭建 刘建元 《西安邮电学院学报》 1999年第3期1-5,74,共6页
对布尔函数的有效操作是许多计算机辅助设计的重要组成部分，二叉判定图（ＢＤＤ）是对布尔函数的一种有效表示，为了表示带时间参数的布尔函数，在ＢＤＤ的基础上，本文给出了带时间参数的布尔函数（ＴＢＦ）的表示—带时间参数的二叉... 对布尔函数的有效操作是许多计算机辅助设计的重要组成部分，二叉判定图（ＢＤＤ）是对布尔函数的一种有效表示，为了表示带时间参数的布尔函数，在ＢＤＤ的基础上，本文给出了带时间参数的布尔函数（ＴＢＦ）的表示—带时间参数的二叉判定图（ＴＢＤＤ），并利用ＣＵＤＤ包实现了ＴＢＤＤ． 展开更多
关键词 二叉判定图 时间参数 布尔函数 BDD VLSI CAD
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部