欧美亚洲日韩一区字幕,亚洲熟妇久久国内精品,午夜无码理论片一级毛片

內(nèi)容簡介

　　《有序二叉決策圖及應(yīng)用》對OBDD相關(guān)技術(shù)問題、OBDD擴展形式、OBDD應(yīng)用等方面進(jìn)行了介紹和討淪，主要內(nèi)容包括布爾表達(dá)式及其描述、有序二叉決策網(wǎng)、零壓縮二叉決策圖、代數(shù)決策圖、邊值二叉決策圖、二叉矩量圖、時問變量決策圖、應(yīng)用專題等。有序二叉決策圖是布爾函數(shù)的一種規(guī)范表達(dá)形式、一種新型數(shù)據(jù)結(jié)構(gòu)?；贠BDD可以完成布爾函數(shù)的有效表述和操作運算，OBDD在VKSI邏輯綜合和驗證方面的成功應(yīng)用引起了學(xué)術(shù)界和工業(yè)應(yīng)用界的極大關(guān)注?！队行蚨鏇Q策圖及應(yīng)用》可供高零院校計算機、電子工程、自動化等專業(yè)的高年級本科生、研究生以及相關(guān)領(lǐng)域的科研和工程技術(shù)人員參考。

作者簡介

暫缺《有序二叉決策圖及應(yīng)用》作者簡介

圖書目錄

前言
第1章布爾表達(dá)式及其描述
1．1 布爾函數(shù)
1．1．1 布爾代數(shù)
1．1．2 布爾表達(dá)式
1．1．3 布爾函數(shù)
1．1．4 布爾函數(shù)的范式
1．2 命題公式
1．2．1 命題與聯(lián)結(jié)詞
1．2．2 合式公式
1．2．3 命題公式的范式
1．2．4 命題公式與布爾函數(shù)
1．3 邏輯電路
1．3．1 基本邏輯門
1．3．2 邏輯電路的布爾函數(shù)
1．4 布爾表達(dá)式的其他描述形式
1．4．1 真值表
1．4．2 決策樹
1．4．3 二叉決策圖
參考文獻(xiàn)
第2章有序二叉決策圖
2．1 OBDD及其規(guī)范型
2．1．1 OBDD的定義
2．1．2 OBDD的性質(zhì)
2．2 OBDD的簡化算法
2．2．1 OBDD的簡化
2．2．2 簡化算法
2．3 OBDD的構(gòu)造及操作
2．3．1 OBDD的構(gòu)造
2．3．2 OBDD的操作
2．3．3 補邊OBDD
2．4 OBDD的變量序
2．4．1 OBDD的最小化
2．4．2 OBDD的重排序
2．4．3 OBDD的變量序算法
參考文獻(xiàn)
第3章零壓縮二叉決策圖
3．1 ZBDD及其性質(zhì)
3．1．1 組合集合及其表示
3．1．2 ZBDD的定義
3．1．3 ZBDD的性質(zhì)
3．2 ZBDD的構(gòu)造及基本操作
3．2．1 ZBDD的操作
3．2．2 ZBDD的構(gòu)造
3．2．3 補邊ZBDD
3．3 一元Cube集合代數(shù)
3．3．1 基本概念
3．3．2 基本運算
3．3．3 算法實現(xiàn)
3．3．4 皇后問題的求解
3．4 二元Cube集合代數(shù)
3．4．1 二元Cube集的表示
3．4．2 基本操作及算法
3．4．3 數(shù)字電路設(shè)計
3．5 多項式的隱式表示
3．5．1 變量次數(shù)的表示
3．5．2 多項式系數(shù)的表示
3．5．3 算術(shù)操作的算法實現(xiàn)
參考文獻(xiàn)
第4章代數(shù)決策圖
4．1 ADD及其性質(zhì)
4．1．1 ADD的定義
4．1．2 ADD的矩陣表示
4．2 ADD基本操作
4．2．1 布爾操作
4．2．2 算術(shù)操作
4．2．3 提取操作
4．3 矩陣乘法計算
4．3．1 準(zhǔn)環(huán)和半環(huán)
4．3．2 半環(huán)上的矩陣乘算法
4．3．3 準(zhǔn)環(huán)上的矩陣乘算法
參考文獻(xiàn)
第5章邊值二叉決策圖
5．1 EVBDD及其性質(zhì)
5．1．1 EVBDD的定義
5．1．2 EVBDD的規(guī)范性
5．2 操作及其算法
5．2．1 Apply操作
5．2．2 操作的性質(zhì)
5．3 整數(shù)線性規(guī)劃求解
5．3．1 0—1整數(shù)規(guī)劃求解算法
5．3．2 改進(jìn)算法
5．3．3 minimize函數(shù)
5．4 函數(shù)分解
5．4．1 函數(shù)分解的定義
5．4．2 無交集函數(shù)分解
參考文獻(xiàn)
第6章二叉矩量圖
6．1 BMD定義及性質(zhì)
6．1．1 函數(shù)分解規(guī)則
6．1．2 BMD的定義
6．1．3 BMD的規(guī)范性
6．1．4 *BMD的定義
6．1．5 *BMD的構(gòu)造算法
6．2 *BMD的操作算法
6．2．1 整數(shù)函數(shù)的表示
6．2．2 *BMD的加法操作
6．2．3 *BMD的乘法和冪操作
6．2．4 布爾函數(shù)的表示及操作
6．2．5 仿射置換
6．3 算術(shù)電路驗證
參考文獻(xiàn)
第7章時間變量決策圖
7．1 差分約束
7．1．1 差分約束表達(dá)式
7．1 _2差分約束系統(tǒng)
7．2 差分決策圖
7．2．1 有序差分決策圖
7．2．2 局部簡化DDD
7．2．3 路徑簡化DDD
7．2．4 完全簡化DDD
7．3 DDD的構(gòu)造及操作
7．3．1 DDD的構(gòu)造
7．3．2 RDDD上的操作
7．4 賦時二叉決策圖
7．4．1 賦時布爾函數(shù)
7．4．2 賦時布爾函數(shù)BDD
7．4．3 賦時二叉決策圖
參考文獻(xiàn)
第8章應(yīng)用專題
8．1 符號模型檢驗
8．1．1 計算樹邏輯
8．1．2 CTL的模型檢驗
8．1．3 CTL的符號模型檢驗
8．2 網(wǎng)絡(luò)優(yōu)化
8．2．1 網(wǎng)絡(luò)最大流問題
8．2．2 0—1網(wǎng)絡(luò)最大流問題的符號算法
8．2．3 最大流問題的符號算法
8．3 裝配序列規(guī)劃
8．3．1 裝配序列的符號表示
8．3．2 裝配序列的符號生成
8．3．3 基于MIPs的裝配序列生成
8．4 Petri網(wǎng)分析
8．4．1 基于OBDD的符號分析
8．4．2 Petri網(wǎng)調(diào)度的符號算法
參考文獻(xiàn)