有序二叉決策圖及套用

圖書信息

出版年:2009-7
頁數:275
定價:45.00元
ISBN:9787030250322

內容簡介

《有序二叉決策圖及套用》對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．1 OBDD及其規範型

2．1．1 OBDD的定義

2．1．2 OBDD的性質

2．2 OBDD的簡化算法

2．2．1 OBDD的簡化

2．2．2 簡化算法

2．3 OBDD的構造及操作

2．3．1 OBDD的構造

2．3．2 OBDD的操作

2．3．3 補邊OBDD

2．4 OBDD的變數序

2．4．1 OBDD的最小化

2．4．2 OBDD的重排序

2．4．3 OBDD的變數序算法

參考文獻

第3章零壓縮二叉決策圖

3．1 ZBDD及其性質

3．1．1 組合集合及其表示

3．1．2 ZBDD的定義

3．1．3 ZBDD的性質

3．2 ZBDD的構造及基本操作

3．2．1 ZBDD的操作

3．2．2 ZBDD的構造

3．2．3 補邊ZBDD

3．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 變數次數的表示

有序二叉決策圖及套用

基本介紹

圖書信息

內容簡介

圖書目錄

熱門詞條