Diese Webseite nutzt Dienste für den Betrieb, statistische Auswertungen, die Anzeige und das Teilen von Inhalten aus sozialen Netzwerken sowie interessengerechte Werbung. Diese Dienste machen die Website nutzbar, verbessern Ihre Browsererfahrung, ermöglichen Interaktionen mit Netzwerken und zeigen relevante Werbebotschaften. Aktivieren Sie die gewünschten Dienste in den jeweiligen Kategorien, um diese zu akzeptieren. Mehr Informationen
Indem Sie auf "Auswahl bestätigen" oder "Alle auswählen & bestätigen" klicken, willigen Sie ein, dass Ihre Daten von den entsprechenden Diensten verarbeitet werden.
Die aktivierten Dienste beeinflussen Ihre Browserkonfiguration nicht. Cookies dieser Dienste werden je nach Browserkonfiguration beim Schließen des Browsers gelöscht oder müssen manuell gelöscht werden, falls diese nicht über jeweils ausgewiesene Zeit hinaus gültig sein sollen.
Mit Aktivierung der jeweiligen Dienste willigen Sie ein, dass wir Ihnen Informationen und Angebote in Social Media, Suchmaschinen oder Displaynetzwerken, ggf. geräteübergreifend, unterbreiten. Diese Einwilligung können Sie jederzeit kostenlos und formlos widerrufen. Es fallen nur die Übermittlungskosten nach Basistarifen an (z. B. Telefon, Fax, E-Mail, Briefporto).
Steinbeis-Transferzentrum Logische Systeme
09126 Chemnitz
Deutschland
- Fon: +49 371 5381928
-
Transferunternehmer:
- Prof. Dr.-Ing. habil. Bernd Steinbach
Dienstleistungsangebot
- Beratung
- Angewandte Forschung und Entwicklung
- Seminare und Schulungen
- Softwareentwicklung
Schwerpunktthemen
- XBOOLE:
- Softwaretool zur hocheffizienten Lösung von technischen Anwendungen der Logik und anderen Booleschen Problemen
- XBOOLE erlaubt eine logisch unbeschränkte Anzahl von Problemvariablen
- über 100 Operationen aus 11 Kategorien, darunter
- Mengenoperation
- Ableitungsoperationen des Booleschen Differentialkalküls
- Konvertierungsoperationen
- Matrixoperationen
- Variablenmengenoperationen
- Beratung und Schulung zu Grundlagen und Einsatz von XBOOLE
- Behandlung von typischen Anwendungslösungen
- Logikentwurf
- Algorithmen und Programme für Analyse, Synthese, Optimierung und Verifikation
- Algorithmen und Programme für den dekompositorischen und testfreundlichen Entwurf
- Der Boolesche Differentialkalkül
- Seminare und Schulungen zum Booleschen Differentialkalkül
- Erweiterung des Booleschen Differentialkalküls auf Verbände und Klassen Boolescher Funktionen
- Digitale Steuerungen
- Assoziative Steuerungen
- Hardwarestrukturen für binäre dynamische Systeme
- Diagnostik in der Digitaltechnik
- Testdatenberechnung unter Verwendung des Booleschen Differentialkalküls
- Entwurf vollständig testbarer Schaltnetze
- Graphen und Relationen
- Technische Anwendungen von Graphen und Netzmodellen
- XBOOLE-Algorithmen für relationale Datenstrukturen
- Diskrete Signal- und Bildverarbeitung: Binäre Signale und Flächenmuster
- Kryptographie
- Modellierung von objektorientierten Systemen mit der Unified Modeling Language (UML)
- Generieren von vollständiger Software aus UML-Modellen
Projektbeispiele
- Anwendung von XBOOLE in Lehre und Forschung
- Extrem komplexe Färbung von Graphen (über 10195 Möglichkeiten)
- Automatischer Logikentwurf
- Steuerungsentwurf
- Analyse der Eigenschaften von Verschlüsselungsschaltungen
- Analyse des Verhaltens von Quantenschaltungen (quantum computing) mit Hilfe von XBOOLE und Boolescher Kodierung komplexer Zahlen