Recent Progress in the Boolean Domain
暫譯: 布林領域的最新進展
Bernd Steinbach
- 出版商: Cambridge
- 出版日期: 2014-04-01
- 售價: $3,620
- 貴賓價: 9.5 折 $3,439
- 語言: 英文
- 頁數: 455
- 裝訂: Hardcover
- ISBN: 144385638X
- ISBN-13: 9781443856386
海外代購書籍(需單獨結帳)
相關主題
商品描述
In today's world, people are using more and more digital systems in daily life. Such systems utilize the elementariness of Boolean values. A Boolean variable can carry only two different Boolean values: FALSE or TRUE (0 or 1), and has the best interference resistance in technical systems. However, a Boolean function exponentially depends on the number of its variables. This exponential complexity is the cause of major problems in the process of design and realization of circuits. According to Moore's Law, the complexity of digital systems approximately doubles every 18 month. This requires comprehensive knowledge and techniques to solve very complex Boolean problems. This book summarizes the recent progress in the Boolean domain in solving such issues. Part 1 describes the most powerful approaches in solving exceptionally complex Boolean problems. It is shown how an extremely rare solution could be found in a gigantic search space of more than 10195 (this is a number of 196 decimal digits) different color patterns. Part 2 describes new research into digital circuits that realize Boolean functions. This part contains the chapters "Design" and "Test", which present solutions to problems of power dissipation, and the testing of digital circuits using a special data structure, as well as further topics. Part 3 contributes to the scientific basis of future circuit technologies, investigating the need for completely new design methods for the atomic level of quantum computers. This section also concerns itself with circuit structures in reversible logic as the basis for quantum logic.
商品描述(中文翻譯)
在當今世界,人們在日常生活中使用越來越多的數位系統。這些系統利用布林值的基本性質。布林變數只能承載兩種不同的布林值:FALSE 或 TRUE(0 或 1),並且在技術系統中具有最佳的干擾抵抗力。然而,布林函數的複雜度指數性地依賴於其變數的數量。這種指數複雜性是設計和實現電路過程中主要問題的根源。根據摩爾定律,數位系統的複雜度大約每 18 個月翻倍。這需要全面的知識和技術來解決非常複雜的布林問題。本書總結了在布林領域解決此類問題的最新進展。第一部分描述了解決極其複雜的布林問題的最強大方法。顯示了如何在超過 10^195(這是一個 196 位十進制數字)的巨大搜尋空間中找到極其稀有的解決方案。第二部分描述了實現布林函數的數位電路的新研究。這部分包含了「設計」和「測試」兩章,提出了解決功耗問題的方案,以及使用特殊數據結構對數位電路進行測試的方案,還有其他主題。第三部分為未來電路技術的科學基礎做出貢獻,探討量子電腦原子層級全新設計方法的需求。這一部分還涉及可逆邏輯中的電路結構,作為量子邏輯的基礎。