成功加入购物车
古天龙 、 徐周波 著 / 科学出版社 / 2009-07 / 精装
售价 ¥ 98.00
品相 九五品
优惠 满包邮
延迟发货说明
上书时间2018-11-23
卖家超过10天未登录
有序二叉决策图及应用
《有序二叉决策图及应用》对OBDD相关技术问题、OBDD扩展形式、OBDD应用等方面进行了介绍和讨沦,主要内容包括布尔表达式及其描述、有序二叉决策网、零压缩二叉决策图、代数决策图、边值二叉决策图、二叉矩量图、时问变量决策图、应用专题等。有序二叉决策图是布尔函数的一种规范表达形式、一种新型数据结构。基于OBDD可以完成布尔函数的有效表述和操作运算,OBDD在VKSI逻辑综合和验证方面的成功应用引起了学术界和工业应用界的极大关注。
《有序二叉决策图及应用》可供高零院校计算机、电子工程、自动化等专业的高年级本科生、研究生以及相关领域的科研和工程技术人员参考。
前言第1章布尔表达式及其描述1.1布尔函数1.1.1布尔代数1.1.2布尔表达式1.1.3布尔函数1.1.4布尔函数的范式1.2命题公式1.2.1命题与联结词1.2.2合式公式1.2.3命题公式的范式1.2.4命题公式与布尔函数1.3逻辑电路1.3.1基本逻辑门1.3.2逻辑电路的布尔函数1.4布尔表达式的其他描述形式1.4.1真值表1.4.2决策树1.4.3二叉决策图参考文献第2章有序二叉决策图2.1OBDD及其规范型2.1.1OBDD的定义2.1.2OBDD的性质2.2OBDD的简化算法2.2.1OBDD的简化2.2.2简化算法2.3OBDD的构造及操作2.3.1OBDD的构造2.3.2OBDD的操作2.3.3补边OBDD2.4OBDD的变量序2.4.1OBDD的最小化2.4.2OBDD的重排序2.4.3OBDD的变量序算法参考文献第3章零压缩二叉决策图3.1ZBDD及其性质3.1.1组合集合及其表示3.1.2ZBDD的定义3.1.3ZBDD的性质3.2ZBDD的构造及基本操作3.2.1ZBDD的操作3.2.2ZBDD的构造3.2.3补边ZBDD3.3一元Cube集合代数3.3.1基本概念3.3.2基本运算3.3.3算法实现3.3.4皇后问题的求解3.4二元Cube集合代数3.4.1二元Cube集的表示3.4.2基本操作及算法3.4.3数字电路设计3.5多项式的隐式表示3.5.1变量次数的表示3.5.2多项式系数的表示3.5.3算术操作的算法实现参考文献第4章代数决策图4.1ADD及其性质4.1.1ADD的定义4.1.2ADD的矩阵表示4.2ADD基本操作4.2.1布尔操作4.2.2算术操作4.2.3提取操作4.3矩阵乘法计算4.3.1准环和半环4.3.2半环上的矩阵乘算法4.3.3准环上的矩阵乘算法参考文献第5章边值二叉决策图5.1EVBDD及其性质5.1.1EVBDD的定义5.1.2EVBDD的规范性5.2操作及其算法5.2.1Apply操作5.2.2操作的性质5.3整数线性规划求解5.3.10—1整数规划求解算法5.3.2改进算法5.3.3minimize函数5.4函数分解5.4.1函数分解的定义5.4.2无交集函数分解参考文献第6章二叉矩量图6.1BMD定义及性质6.1.1函数分解规则6.1.2BMD的定义6.1.3BMD的规范性6.1.4*BMD的定义6.1.5*BMD的构造算法6.2*BMD的操作算法6.2.1整数函数的表示6.2.2*BMD的加法操作6.2.3*BMD的乘法和幂操作6.2.4布尔函数的表示及操作6.2.5仿射置换6.3算术电路验证参考文献第7章时间变量决策图7.1差分约束7.1.1差分约束表达式7.1_2差分约束系统7.2差分决策图7.2.1有序差分决策图7.2.2局部简化DDD7.2.3路径简化DDD7.2.4完全简化DDD7.3DDD的构造及操作7.3.1DDD的构造7.3.2RDDD上的操作7.4赋时二叉决策图7.4.1赋时布尔函数7.4.2赋时布尔函数BDD7.4.3赋时二叉决策图参考文献第8章应用专题8.1符号模型检验8.1.1计算树逻辑8.1.2CTL的模型检验8.1.3CTL的符号模型检验8.2网络优化8.2.1网络最大流问题8.2.20—1网络最大流问题的符号算法8.2.3最大流问题的符号算法8.3装配序列规划8.3.1装配序列的符号表示8.3.2装配序列的符号生成8.3.3基于MIPs的装配序列生成8.4Petri网分析8.4.1基于OBDD的符号分析8.4.2Petri网调度的符号算法参考文献
展开全部
图2
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30