有序二叉決策圖及應用 在線電子書 圖書標籤: BDD 符號模型檢驗 有序二叉決策圖 計算機科學 經典 2009
發表於2024-11-09
有序二叉決策圖及應用 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
二叉判定圖的相關知識比較詳細
評分不明白在說什麼
評分不明白在說什麼
評分不明白在說什麼
評分二叉判定圖的相關知識比較詳細
《有序二叉決策圖及應用》對OBDD相關技術問題、OBDD擴展形式、OBDD應用等方麵進行瞭介紹和討淪,主要內容包括布爾錶達式及其描述、有序二叉決策網、零壓縮二叉決策圖、代數決策圖、邊值二叉決策圖、二叉矩量圖、時問變量決策圖、應用專題等。有序二叉決策圖是布爾函數的一種規範錶達形式、一種新型數據結構。基於OBDD可以完成布爾函數的有效錶述和操作運算,OBDD在VKSI邏輯綜閤和驗證方麵的成功應用引起瞭學術界和工業應用界的極大關注。
《有序二叉決策圖及應用》可供高零院校計算機、電子工程、自動化等專業的高年級本科生、研究生以及相關領域的科研和工程技術人員參考。
評分
評分
評分
評分
有序二叉決策圖及應用 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024