基于generalizeddominator的BDD布尔表达式优化分解

来源 :电脑知识与技术 | 被引量 : 0次 | 上传用户:yohoban
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  摘要:BDD是布尔函数的一种图形表示方式,可以直观地反映出布尔函数的逻辑结构,利用BDD可以实现对布尔函数的分解和优化。针对BDD的数据结构和一种以generalizcd dominators为基础的布尔表达式的优化方法进行研究,并且着重对其中的一种方法:连接的BDD分解方法(Conjunctive BDDDccomPosition)进行了详细的分析。
  关键词:布尔函数;二元决策图;通用吏配;连接分解
  中图分类号:O174
  文献标识码:A
  文章编号:1009—3044(2006)08—0172—02
其他文献
摘要:简明阐述基于AutoCAD进行二次开发的相关技术,同时引用实际案例,探讨了基于DotNET技术进行二次开发的步骤。  关键词:AutoCAD;DotNET;AutoLISP;ObjectARX  中图分类号:TP391  文献标识码:A  文章编号:1009—3044(2006)08—0134—02
期刊
摘要:在程序中画线与在纸上画线不同,需要确定两个点,而Windows程序是基于消息的编程,因此要画出一条直线需要捕获鼠标左键按下去(WMLButtonDown)和鼠标左键弹起来(WMLButtonUp)两个消息,通过对两个消息的响应获取到两个点,两点确定一条直线。由于所用的DC不同以及构造的对象不同导致画出的直线也不同,提出了作图的范围关键是看所指示的dc是和哪一个窗口相关,并对利用不同的类画出的
期刊
摘要:在编程时,经常会使用到一些日志操作,在开发阶段,需要大量的调试语句,在开发完成时需要查找并移除。程序部署后,还经常会需要有一些维护调试和进行一些繁琐的日志工作。本文介绍了Log4J(LogForJava)的使用。Log4J用Java编写的优秀日志工具包。通过Log4J可以在不修改代码的情况下,方便、灵活地控制任意粒度的日志信息的开启或关闭,然后使用定制的格式,把日志信息输出到一个或多个需要的
期刊
摘要:详细分析了8086/8088CPU工作于最大模式时其RQ/GT号线的作用及原理,利用此信号线设计了一种8086/8088CPU在最大模式下与8237DMA控制器的接口电路,并深入分析了该电路的工作原理。  关键词:8086/8088CPU;最大模式;8237DMA控制器;接口  中图分类号:TP332  文献标识码:A  文章编号:1009—3044(2006)08—0156—02
期刊
摘要:软件开发中,常常碰到应用程序连接远程SQLServer数据库。这里介绍了常见的几种错误及其处理方法和步骤。重点介绍了对“SQLServer不存在或访问被拒绝”的错误处理方法。  关键词:SQLServer服务器;防火墙;客户端程序  中图分类号:TP311  文献标识码:A  文章编号:1009—3044(2006)08—0125—02
期刊
摘要:参数传递是Java语言中函数调用的重要步骤,清楚地了解参数传递的过程是编写出高质量程序所必需的。大多数程序设计语言具有传值调用和传引用调用两种方法。通过对典型程序的研究与分析可以看出Java语言的参数传递总是传值调用的,但是对于基本类型的参数和对象类型的参数来说,参数传递的情况不完全相同。Java语言不能直接使用传引用调用,但是可以通过数组的方式模拟传引用调用。  关键词:Java语言;传值
期刊
摘要:彩色图像的数据量比较大,在进行压缩与传输时会增加工作负担。通过对图像的频谱特性分析可以知道,一幅图像中的低频成分要远远高于高频成分,大部分图像信息集中在低频部分。因此,在不过于苛刻地计较图像的再现质量的场合下,如果将代表图像边缘,跳越部分,以及颗粒噪声的高频部分通过低通滤波器滤除的话就会减少图像数据量,进而减少下一步的工作量。本文主要以真彩色RGB图像为例,介绍一种对其进行低通滤波的方法。 
期刊
摘要:Excel是当前流行的数据报表工具。本文介绍了一种在PowerBuilder中通过OLE制作Excel报表的方法,在PowerBuilder中与Excel的OLE连接,并通过VBA语言,向Excel写入数据,并对产生的Excel文件进行存储、打印等操作。  关键词:PowerBuilder;OLE;报表  中图分类号:TP311  文献标识码:A  文章编号:1009—3044(2006)0
期刊
摘要:支持向量机是在模式分类中表现优秀的一种分类方法。对现有的基于SVM的文本多类分类方法进行了介绍和比较,研究了分类器特征空间模式问题,在这些工作基础上,提出了并行SVM的模型。  关键词:支持向量机;文本分类;多类分类;特征空间模式  中图分类号:TPl81  文献标识码:A  文章编号:1009—3044(2006)08—0162—01
期刊
摘要:本文主要从窗体加载初始化时数据库路径的设置、登录密码次数限定、用户权限设置三个方面来优化登录窗体的设计。  关键词:VB;数据库;权限;密码  中图分类号:TP311  文献标志码:A  文章编号:1009—3044(2006)08—0169—01
期刊