Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen


INHALT & PFAD:
Startseite Textformat


Für den Fall, dass Ihr Computer das entsprechende Format nicht angezeigen kann, können Sie sich hier das Dokument als unformatierte Textausgabe ansehen.

(Bitte haben Sie dafür Verständnis, dass gewisse Dokumente nicht als Textalternative zur Verfügung stehen.)


Download:
Download Boolean Differential Calculus - a Compact Introduction and Selected Applications (application/pdf 130.4 KB)


Textalternate  Boolean Differential Calculus - a Compact Introduction and Selected Applications
Fulltext:




Einladung zum Vortrag


05. September 2017, 09.00 Uhr s.t.
Universität Bremen | MZH 4380
R

Prof. Dr. Bernd Steinbach
Freiberg University of Mining and Technology | Institute of Computer Science

Boolean Differential Calculus a Compact Introduction and
Selected Applications
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, 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.
This presentation gives a compact introduction into the BDC for Boolean functions and lattices. The use of the XBOOLE
Monitor as well as the XBOOLELibrary for efficient computations of operations of the BDC will be demonstrated. Selected
applications show the usefulness of this calculus and should encourage the audience to find improved solutions for their
problems using the Boolean Differential Calculus.
Biografie
Bernd Steinbach studied Information Technology at the University of Technology in Chemnitz, Germany, where he graduated with an MSc
in 1973, a PhD in 1981, and with a Dr. sc. techn. (Doctor scientiae technicarum) in 1984 for his second doctoral thesis from the Faculty of
Electrical Engineering. In 1991, he obtained the Habilitation (Dr.Ing. habil.) from the same Faculty. Following this, he worked as a research
engineer, developing programs for test pattern generation for computer circuits at the company Robotron. He returned to the Department
of Information Technology of the Chemnitz University of Technology as Associate Professor for Design Automation in Logic Design. He is
currently, and has been for more than two decades, the head of a group that developed the XBOOLE software system and the head of the
Steinbeis Transfer Center of Logic Systems in Chemnitz. He has been a Full Professor of Computer Science/Software Engineering and
Programming at the Freiberg University of Mining and Technology since 1992. Professor Steinbach is also the coauthor and editor of ten
books, and has published more than 250 papers in books, journals and proceedings. He is the initiator and has been served as general chair
of a biennial series of International Workshops on Boolean Problems (IWSBP), which started in 1994.
Dieser Gast wurde von Rolf Drechsler eingeladen.

Microsoft Word - Steinbach Microsoft Word - Steinbach semken PScript5.dll Version 5.2.2 Acrobat Distiller 10.1.16 (Windows) Thu Aug 03 09:34:41 2017 Thu Aug 03 09:34:41 2017 no 1 no 595.22 x 842 pts (A4) 133489 bytes yes 1.5
Boolean Differential Calculus - a Compact Introduction and Selected Applications
Boolean Differential Calculus - a Compact Introduction and Selected Applications


 



zurück  




Seitenanfang  -  Impressum Zuletzt geändert durch: semken [b]   03.08.2017 Admin-Login