二叉决策图相关论文
物联网、云计算、信息物理系统等先进技术的快速发展催生了许多先进的制造模式,云制造便是其一。通过将传统工业系统与新兴信息技......
在工业界,大多数的硬件设计验证都是采用基于RTL级或者门级的逻辑模拟验证的方法.传统的逻辑模拟验证方法的优点在于它的准确性,而......
学位
机群系统已经成为高性能计算机的主流,其中又以中小规模机群应用得最广泛。机群文件系统为机群应用提供数据存储、数据共享、数据访......
网络可靠性分析是网络可靠性研究的基础。目前网络的可靠性分析往往高估了网络的可靠性。约束条件下的网络可靠性分析受计算复杂性......
随着计算机软硬件系统规模的日益复杂化、重要化,如何保证计算机系统的正确性和可靠性,逐渐成为当前理论界和产业界共同关心的重要问......
无线传感器网络(WSN)可靠性分析是WSN设计、部署、验证和维护的一个重要环节。在传感器网络的应用中,为了让数据在环境嘈杂,故障以及......
别名是C/C++程序的典型特征之一,通过别名分析可以提高数据流分析的准确性并且将有助于构建性能良好的程序分析工具。本文在综述别......
学位
自从1986年R.E.Bryany等人提出了二叉决策图(Binary Decision Diagrams)的概念以来,由于其空间和时间上表示和处理布尔函数的高效性......
在装配序列规划问题中解出符合约束条件、可行的装配序列,达成即定的装配目标是装配序列规划问题中一项重要的研究内容,也是研究中......
近年来,随着我国城市化的不断推进,建筑业生产规模的日益扩大,与之而来是建筑安全生产事故也越来越多,给人民的生命和财产造成严重损害......
符号BDD(BinaryDecisionDiagram,二叉决策图)是布尔函数的一种表达方法,可对目标数据进行层次划分与表示。基于BDD的符号算法已被广泛......
随着深亚微米集成电路时代的来临,数字电路的可测性越来越显现出他的重要性,而且正在作为一个不断发展的领域独立出来。本文对数字集......
近年来 ,二叉判定图 BDD(Binary Decision Diagram )和符号模型检验在形式化验证数字电路设计中取得了突破性进展 .文中介绍了符号......
给出了一组从Verilog HDL到可符号执行代码的转换规则,并且提出了ProcessQueue机制。通过运用符号模拟的方法和二叉决策图技术,给出......
二叉决策图(BDDs)是布尔函数的一个表示方法,最近它被广泛应用于逻辑综合、布尔电路的模拟和测试等领域.在这些应用中,有些基本问......
有序二叉判定图OBDD(ordered binary decision diagram)是一种数据结构,它把布尔函数表示为有向无回路图,是布尔函数的一种正则表......
符号模拟电路中的错误诊断设计方法错误诊断是集成电路验证后期一个非常重要的阶段,它帮助设计者在一个错误芯片中预测错误点,因此可......
网络可靠度BDD分析的计算复杂度与BDD尺度线性相关,而BDD尺度依赖边排序策略,边排序问题是BDD网络可靠度分析的重要问题.从网络结......
建筑施工行业属于高危行业,揭示其施工事故衍生、发展、衰亡规律是施工安全管理的重要内容。根据施工事故形成机理,系统分析了安全......
针对传统访问控制难以高效应对云制造因实体规模大、种类多引发的安全问题,提出一种基于属性基加密的访问控制机制。借助于通用属......
现有的二终端网络可靠度评估方法,多数基于不交积和,由于没有充分利用普遍存在的同构子网特性,导致存在大量冗余计算,无法适用于大型网......
提出一新的验证算法,利用电路拓扑信息选择有效割集,以减小验证规模,并对割集进行无依赖性处理,减少伪错误发生概率,提高验证效率;......
网络可靠度二元决策图(BDD)分析过程包含边排序、BDD生成和可靠度评估3个步骤,其中BDD生成和可靠度评估的计算复杂度和BDD尺度线性相......
针对边扩展图EED方法和边界集BS方法存在的存储空间浪费和可靠度结果精度不高等缺陷,提出了一种基于依赖集的分析方法,解决了节点......
在BDD网络可靠性分析中,还没有一种可用的方法用来选择最佳(或高性能)的排序起点.为了找到最佳的排序起点,基于对BDD构建过程的深......
针对现有攻击图生成方法中普遍通过网络扫描获得网络可达性信息存在信息不完整、耗时长、产生网络干扰等不足,提出一种基于二叉决策......
为了分析和计算Petri网模型的陷阱和极小信标,同时实现符号化快速求解,提出了基于二叉决策图(BDD)获取模型的陷阱和优化已有的求解极......
网络可靠度BDD分析方法的计算性能与BDD尺度紧密相关,而BDD尺度严重依赖边排序质量.因此边排序问题是网络可靠度BDD分析方法的重要......
网络可靠度BDD分析方法的计算复杂度与BDD尺度线性相关,而BDD尺度严重依赖边排序质量.由于求解最优边排序是一个NP问题,在实际应用......
二叉决策图(BDD)是一种数据结构,广泛应用于数字电路的逻辑综合、测试和验证等领域。将BDD每个结点映射成2选1数据选择器(MUX)可得......
离散事件系统具有离散的状态空间和分段的稳定轨迹的特性,其在制造业、交通运输业、机器人等领域中有着诸多体现,对离散事件系统的......
和传统Boolean逻辑相比,Reed-Muller逻辑运用在运算电路、通信电路、奇偶校验电路等数字电路中时,具备更好的面积、速度、功耗和可......
学位
客专安全数据网联结铁路信号系统的各个设备,关系行车安全,有较高的可靠性要求。在研究一般网络可靠性的基础上,针对客专安全数据......
近年来,二叉判定图BDD和符号模型检验在形式验证数字电路设计中取得了突破性进展,文中介绍了符号模型检验的基本原理和方法,重点介绍了如......
基于政策的频谱管理模式能够对认知无线电进行灵活、细化的频谱管理。政策推理引擎是实现该频谱管理模式的关键。本文概括了频谱管......
启发式排序DFS、BFS和NDS被广泛应用于BDD网络的可靠性分析,然而这三种排序策略整体性能的优劣性尚缺乏研究成果。采用实证研究的......
二叉决策图(BDDs)是布尔函数的一个表示方法,最近它被广泛应用于逻辑综合中布尔电路的模拟和测试等领域.在这些应用中,有些基本问......
在保证密文策略属性基加密(CP-ABE)算法安全性的前提下,尽可能地提升其工作效率一直是密码学领域的研究热点。该文从作为CP-ABE效......
采用边界分区标识网络的思想,实现基于边界分区的自顶向下K端可靠度二叉决策图(BDD)构建算法。针对BDD构建过程中存在的节点冗余问题......
为了明确启发式排序DFS,BFS和NDS的性能优劣及正确选择合适的排序策略和排序起点,采用实证研究方法,在比较DFS,BFS和NDS排序策略性......
技术映射的任务是将一个电路的门级网表转换成采用FPGA芯片内部LUT实现的LUT网表,它是FPGA CAD流程中的重要一环,包含逻辑优化与结......
随着芯片的尺寸越来越小,互连线延迟已经超越门延迟成为芯片延迟的主要部分。互连线已成为现在集成电路设计中主要的关注对象,在过......
随着集成电路的设计规模越大越大、复杂度越来越高,产品上市时间却越来越紧迫,集成电路的验证变得越来越困难。2003年度的国际半导体......