二叉判定图

作品数：17被引量：17H指数：3
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：郭建于海斌王明全李绍荣韩俊刚更多>>
相关机构：中国科学院兰州大学西安邮电学院湖南大学更多>>
相关期刊：《信息与控制》《中国安全科学学报》《中国无线电电子学文摘》《计算机学报》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划重庆市建委科技计划项目湖南省科技计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于灾变遗传算法的二叉判定图最小化算法被引量：3
《计算机工程与应用》2015年第3期55-60,共6页王镇道 陈义 
湖南省科技计划资助项目(No.2014FJ3155)
二叉判定图广泛应用于形式验证,但相关算法存在节点规模过大的问题。提出了一种基于灾变遗传算法的二叉判定图最小化算法,它能在不扩大种群规模的情况下增加个体多样性,改善遗传算法局部收敛的问题。试验结果表明该算法的全局特性显著...
关键词：二叉判定图 遗传算法 灾变 最小化 变量排序 
一个高效BDD的简洁实现被引量：2
《计算机学报》2014年第9期2021-2026,共6页苏开乐 吕关锋 宋炯 
国家“九七三”重点基础研究发展规划项目基金(2010CB328103);国家自然科学基金(60725207)资助~~
二叉判定图BDD作为一种表示和操作布尔函数的数据结构,被广泛地应用在模型检测、系统验证等领域.在最坏情况下,BDD的空间规模是指数级的,因此为了设计和实现一个高效BDD包,研究者们做了大量技术性工作,同时涌现出多个高效BDD包.为了节...
关键词：二叉判定图 布尔函数 内存分配 
建筑安全事故中的事件重要性定量分析被引量：3
《中国安全科学学报》2010年第12期105-110,共6页杨莉琼 李世蓉 
重庆市建委科研项目(城科字2009第23号);笹川良一优秀青年奖学基金资助(SYLFF);西南科技大学科研基金资助(09zx7123)
为制定建筑安全措施提供理论依据,采用Birnbaum测度描述诱发事故的事件重要度,提出基于二叉判定图(BDD)的建筑安全定量分析方法。在得到安全事故故障树后,该方法执行BDD逻辑运算生成BDD结构,并通过遍历该结构计算各事件的Birnbaum测度...
关键词：建筑安全事故 故障树 二叉判定图(BDD) 事件重要度 安全管理 
具有过去时态算子的计算树逻辑模型检测被引量：2
《计算机工程》2007年第22期98-100,共3页周从华 刘志锋 
国家自然科学基金资助项目(60573046)
在计算树逻辑(CTL)中引入过去时态算子,得到了表达力更强的属性规约语言CTLP,给出了CTLP的模型检测算法及其固定点刻画。该算法的复杂性和CTL一样。固定点刻画使得CTLP的符号模型检测过程能够实现,从而有效克服了模型检测中的状态爆炸...
关键词：计算树逻辑 模型检测 二叉判定图 
MOS电流模逻辑标准单元设计方法
《贵州大学学报（自然科学版）》2007年第2期192-194,共3页黄健声 梁蓓 
分析了一种基于二叉判定图算法的MCML标准单元的设计方法。仿真分析采用SMIC0.18 CMOS标准工艺对电路进行晶体管级仿真。
关键词：MOS电流模逻辑 标准单元 二叉判定图 
简化BDD的SBDD和变量重排序结合算法
《计算机科学》2007年第4期287-288,共2页李绍荣 徐琳琳 
(No.TDXX0502)获得铁道部"铁路信息科学与工程"开放实验室/北京市"现代信息科学与网络技术"重点实验室科学基金资助
二叉判定图是一种基于图表的用来表示布尔函数的数据结构。它泛广地应用于计算机半辅助设计和数字电路的形式化验证中。本文主要研究如何存储和如何简化BDD。提出了一种把SBDD和变量重排序结合在一起的新算法,用来简化BDD的大小。
关键词：布尔函数 形式化验证 二叉判定图 变量重排序 共享BDD 
组合电路等价性检验方法研究
《计算机工程》2007年第4期253-255,共3页曾琼 闫炜 
国家自然科学基金资助项目(60373113);国家"973"计划基金资助项目(2004CB318000)
分析了数字电路等价性检验方法的基本原理,对组合电路等价性检验方法进行了综合研究,讨论了各种方法的特点,指出了各种方法的优缺点及其适用场合,总结了组合电路等价性检验方法的发展规律,指出了未来的发展方向。
关键词：等价性检验 组合电路 二叉判定图 布尔可满足 自动测试向量产生 
基于BDD的组合电路等价性检验
《计算机科学》2007年第3期293-294,F0003,共3页李绍荣 徐玉婷 
电子科技大学青年科技基金资助项目
本文分析了基于BDD的组合电路等价性检验;讨论了构造输出函数的二叉判定图BDD的不同方法,并分析了BDD间布尔操作的不同的算法的异同;然后给出了一种基于BDD的组合电路等价性检验方法。
关键词：等价性验证 二叉判定图 组合电路 
一种基于二叉判定图的包过滤规则设计方法
《计算机工程》2006年第6期183-185,共3页季莉 朱娜 
江苏省自然科学基金资助项目(04KJB520027)
提出了一种采用二叉判定图来表示规则集的新的算法,通过仿真实验证明:对于较大规模的规则集,基于BDD的包过滤规则设计方法简洁可行,且在存储空间和查询性能上要优于传统的线性顺序方法。
关键词：包过滤 二叉判定图 访问列表 
自动化技术、计算机技术
《中国无线电电子学文摘》2005年第6期113-137,0,共43页
关键词：自动化技术 计算机技术 数字音频水印 人工免疫网络 二叉判定图 测试数据集 多包传输 禁忌搜索 模式识别 规则分析 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部