Synthesis Lectures on Digital Circuits and Systems: Boolean Differential Calculus (PDF)
Its applications are based on Boolean spaces ?? and ??ⁿ, Boolean operations, and basic structures such as Boolean...
29 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
The Boolean Differential Calculus (BDC) is a very powerful theory that extends the basic concepts of Boolean Algebras significantly.
Its applications are based on Boolean spaces ?? and ??ⁿ, Boolean operations, and basic structures such as Boolean Algebras and Boolean Rings, Boolean functions, Boolean equations, Boolean inequalities, incompletely specified Boolean functions, and Boolean lattices of Boolean functions. These basics, sometimes also called switching theory, are widely used in many modern information processing applications.
The BDC extends the known concepts and allows the consideration of changes of function values. Such changes can be explored for pairs of function values as well as for whole subspaces. The BDC defines a small number of derivative and differential operations. Many existing theorems are very welcome and allow new insights due to possible transformations of problems. The available operations of the BDC have been efficiently implemented in several software packages.
The common use of the basic concepts and the BDC opens a very wide field of applications. The roots of the BDC go back to the practical problem of testing digital circuits. The BDC deals with changes of signals which are very important in applications of the analysis and the synthesis of digital circuits. The comprehensive evaluation and utilization of properties of Boolean functions allow, for instance, to decompose Boolean functions very efficiently; this can be applied not only in circuit design, but also in data mining. Other examples for the use of the BDC are the detection of hazards or cryptography. The knowledge of the BDC gives the scientists and engineers an extended insight into Boolean problems leading to new applications, e.g., the use of Boolean lattices of Boolean functions.
Steinbach worked in industry as an electrician, where he had tested professional controlling systems at the Niles Company. After his studies he taught as Assistant Lecturer at the Department of Information Technology of the Chemnitz University of Technology. As a research engineer he developed programs for test pattern generation for computer circuits at the company Robotron. He later returned to the Department of Information Technology of the Chemnitz University of Technology as Associate Professor for design automation in logic design.
Since 1992 he has worked as a Full Professor of Computer Science/Software Engineering and Programming at the Freiberg University of Mining and Technology, Department of Computer Science. He has served as Head of the Department of Computer Science and Vice-Dean of the Faculty of Mathematics and Computer Science.
His research areas include logic functions and equations and their application in many fields, such as artificial intelligence, UML-based testing of software, and UML based hardware/software co-design. He is the head of a group that developed the XBOOLE software system.
He published three books about logic synthesis. The first one (together with D. Bochmann) covers Logic Design using XBOOLE (in German), Technik 1991. The following
He has served as Program Chairman for the IEEE International Symposium on Multiple-Valued Logic (ISMVL), and as guest editor of the Journal of Multiple-Valued Logic and Soft Computing. He is the initiator and general chair of a biennial series of International Workshops on Boolean Problems (IWSBP) which started in 1994, now with 12 workshops.
He received the Barkhausen Award from the University of Technology Dresden in 1983.
From 1963–1968, Christian Posthoff studied Mathematics at the University of Leipzig. His thesis was titled: "Axiomatic Description of a Finite Class Calculus" (Prof. Dr. Klaua). From 1968-1972, he worked as a programmer and in the field of Operations Research; simultaneously, he did his Ph.D. in 1975 with the thesis "Application of Mathematical Methods in Communicative Psychotherapy."
In 1972, he joined the Department of Information Technology at the Chemnitz University of Technology; until 1983, his research activities concentrated on logic design, particularly on numerical methods for Boolean problems. His cooperation with B. Steinbach goes back to these days. Important results have been algorithms and programs for solving Boolean equations with a high number of variables and the Boolean Differential Calculus for the analytical treatment of different problems in the field of logic design. These results have been collected in a monograph Binary Dynamic Systems published simultaneously in Akademie-Verlag Berlin, Oldenbourg-Verlag Munich-Vienna and in the Soviet Union, and allowed the habilitation (Dr.- Ing. habil.) at the Faculty of Electrical Engineering in 1979 and the promotion to Associate Professor. He wrote two textbooks at this time, aimed at a higher level in the theoretical and mathematical training of graduate engineers of information technology. About 1976, he started research activities in Artificial Intelligence.
In 1983, Posthoff started as Full Professor of Computer Science in the Department of Computer Science at the same university, with the aim of starting the program in Computer Science in 1984. In 1984, he became Head of the Institute of Theoretical Computer Science and Artificial Intelligence and Research Director of the Department of Computer Science. An independent direction of research activities within AI, investigations of computer chess and other strategic games, arose from his love for chess. His research activities concentrated on the application of fuzzy logic for the modeling of human-like "thinking" methods, the learning from examples, the construction of intelligent tutoring systems, the application of inference mechanisms, the construction of systems for diagnosis, and configuration. In cooperation with colleagues from different areas of mechanical engineering and medicine, he has been supervising the construction of several expert systems. He received the Scientific Award of the Chemnitz University of Technology four times.
In 1994, he moved to the Chair of Computer Science at the University of The West Indies, St. Augustine, Trinidad & Tobago. From 1996–2002 he was Head of the Department of Mathematics & Computer Science. His main focus was the development of Computer Science education at the undergraduate and graduate level to attain international standard. In 2001, he received the Vice-Chancellor's Award of Excellence.
He is the author or co-author of 19 books and many publications in journals and conference proceedings.
- Autoren: Christian Posthoff , Bernd Steinbach
- 2017, 215 Seiten, Englisch
- Verlag: Morgan & Claypool Publishers
- ISBN-10: 1627056173
- ISBN-13: 9781627056175
- Erscheinungsdatum: 07.06.2017
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 2.96 MB
- Mit Kopierschutz
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Synthesis Lectures on Digital Circuits and Systems: Boolean Differential Calculus".
Kommentar verfassen