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
http://www.stw.de/su/158
Rechtliche Hinweise zu diesem Unternehmens-Profil:
Steinbeis GmbH & Co. KG für Technologietransfer | Adornostraße 8 | 70599 Stuttgart | Fon: +49 711 1839-5
Registergericht Stuttgart HRA 12 480 | Komplementär: Steinbeis Verwaltungs-GmbH (Registergericht Stuttgart HRB 18 715) | Ein Unternehmen im Steinbeis-Verbund
Geschäftsführung: Prof. Dr. Michael Auer (Vorsitz), Dipl.-Kfm. Manfred Mattulat | www.steinbeis.de | stw@steinbeis.de
