| 期刊全稱(chēng) | Boolean Differential Equations | | 影響因子2023 | Bernd Steinbach,Christian Posthoff | | 視頻video | http://file.papertrans.cn/190/189777/189777.mp4 | | 學(xué)科分類(lèi) | Synthesis Lectures on Digital Circuits & Systems | | 圖書(shū)封面 |  | | 影響因子 | The Boolean Differential Calculus (BDC) is a very powerful theory that extends the structure of a Boolean Algebra significantly. Based on a small number of definitions, many theorems have been proven. The available operations have been efficiently implemented in several software packages. There is a very wide field of applications. While a Boolean Algebra is focused on values of logic functions, the BDC allows the evaluation of changes of function values. Such changes can be explored for pairs of function values as well as for whole subspaces. Due to the same basic data structures, the BDC can be applied to any task described by logic functions and equations together with the Boolean Algebra. The BDC can be widely used for the analysis, synthesis, and testing of digital circuits. Generally speaking, a Boolean differential equation (BDE) is an equation in which elements of the BDC appear. It includes variables, functions, and derivative operations of these functions. The solution of such a BDE is a set of Boolean functions. This is a significant extension of Boolean equations, which have sets of Boolean vectors as solutions. In the simplest BDE a derivative operation of the BDC on t | | Pindex | Book 2013 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-4 20:42
發(fā)表于 2025-3-21 18:14:32
