Beschreibung
Dieses Buch bietet dem Leser einen einfachen Einstieg in das Quantencomputing sowie in den Entwurf entsprechender Geräte. Die Autoren behandeln verschiedene Entwurfsaufgaben, die für das Quantencomputing wichtig sind, und stellen entsprechende Lösungen vor. Eine Besonderheit des Buches ist, dass diese Aufgaben und Lösungen explizit aus der Perspektive der Entwurfsautomatisierung diskutiert werden, d.h. unter Verwendung von cleveren Algorithmen und Datenstrukturen, die von der Entwurfsautomatisierungs-Community für konventionelle Logik (d.h. für elektronische Geräte und Systeme) entwickelt worden sind und nun für diese neue Technologie angewendet werden. Auf diese Weise können relevante Entwurfsaufgaben wesentlich effizienter als bisher durchgeführt werden, was zu Verbesserungen um mehrere Größenordnungen führt (in Bezug auf die Laufzeit und andere Entwurfsziele).
Beschreibt den aktuellen Stand der Technik für den Entwurf von Quantenschaltungen, für deren Simulation und für deren Abbildung auf reale Hardware; Bietet eine erste umfassende Einführung in die Entwurfsautomatisierung für Quantencomputer, die sich mit praxisrelevanten Aufgabenstellungen befasst;Es richtet sich sowohl an die Quantencomputer-Gemeinschaft als auch an die Gemeinschaft der Entwurfsautomatisierung und zeigt, welche beeindruckenden Verbesserungen möglich sind, wenn man das Wissen beider Gemeinschaften kombiniert.
Autorenportrait
Alwin Zulehner erhielt seinen MSc-Abschluss und sein PhD in Informatik von der Johannes Kepler Universität Linz, Österreich, im Jahr 2015 bzw. 2019. Seine Forschungsinteressen umfassen die Entwurfsautomatisierung für Quantencomputer. In diesem Bereich hat er mehrere Beiträge auf internationalen Konferenzen und in Fachzeitschriften veröffentlicht, darunter die IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), die Asia and South Pacific Design Automation Conference (ASP-DAC), die Design, Automation and Test in Europe (DATE) Konferenz, die Design Automation Conference (DAC) und die International Conference on Computer-Aided Design (ICCAD). Für seine Arbeit wurde er mit dem Best Student Award ausgezeichnet und gewann die IBM Qiskit Challenge für die Entwicklung eines Quantencompiler-Ansatzes.
Robert Wille ist ordentlicher Professor an der Johannes Kepler Universität Linz, Österreich. Er erhielt 2006 bzw. 2009 den Diplom- und Dr.-Ing.-Titel in Informatik von der Universität Bremen, Deutschland. Seitdem arbeitete er an der Universität Bremen, am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI), an der Hochschule Bremen, an der Universität Potsdam und an der Technischen Universität Dresden. Seit 2015 ist er in Linz tätig. Seine Forschungsinteressen liegen im Entwurf von Schaltungen und Systemen sowohl für konventionelle als auch für neue Technologien. In diesen Bereichen hat er mehr als 300 Beiträge in Fachzeitschriften und auf Konferenzen veröffentlicht und war in Redaktionsausschüssen und Programmkomitees zahlreicher Fachzeitschriften/Konferenzen tätig. Für seine Forschung wurde er u.a. mit Best Paper Awards, einem Under-40 Innovator Award und einem Google Research Award ausgezeichnet.
Inhalt
Einführung.- Quantencomputer.- Entwurfsautomatisierungsmethoden für konventionelle Systeme.- Überblick über die Quantenschaltungssimulation.- Entscheidungsdiagramm-basierte Simulation.- Kombinierte Operationen in der DD-basierten Simulation.- Effiziente Implementierung der vorgeschlagenen DDs.- Genauigkeit und Kompaktheit der vorgeschlagenen DDs.- Entwurf boolescher Komponenten für Quantenschaltungen.- Funktionale Synthese.- Entwurfsablauf in einem Durchgang.- Abbildung von Quantenschaltungen auf NISQ-Bauelemente.- Minimale und nahezu minimale Ansätze.- Heuristischer Ansatz.- Ein spezieller heuristischer Ansatz für SU(4)-Quantenschaltungen.- Fazit.
Informationen zu E-Books
„E-Book“ steht für digitales Buch. Um diese Art von Büchern lesen zu können wird entweder eine spezielle Software für Computer, Tablets und Smartphones oder ein E-Book Reader benötigt. Da viele verschiedene Formate (Dateien) für E-Books existieren, gilt es dabei, einiges zu beachten.
Von uns werden digitale Bücher in drei Formaten ausgeliefert. Die Formate sind EPUB mit DRM (Digital Rights Management), EPUB ohne DRM und PDF. Bei den Formaten PDF und EPUB ohne DRM müssen Sie lediglich prüfen, ob Ihr E-Book Reader kompatibel ist. Wenn ein Format mit DRM genutzt wird, besteht zusätzlich die Notwendigkeit, dass Sie einen kostenlosen Adobe® Digital Editions Account besitzen. Wenn Sie ein E-Book, das Adobe® Digital Editions benötigt herunterladen, erhalten Sie eine ASCM-Datei, die zu Digital Editions hinzugefügt und mit Ihrem Account verknüpft werden muss. Einige E-Book Reader (zum Beispiel PocketBook Touch) unterstützen auch das direkte Eingeben der Login-Daten des Adobe Accounts – somit können diese ASCM-Dateien direkt auf das betreffende Gerät kopiert werden.
Da E-Books nur für eine begrenzte Zeit – in der Regel 6 Monate – herunterladbar sind, sollten Sie stets eine Sicherheitskopie auf einem Dauerspeicher (Festplatte, USB-Stick oder CD) vorsehen. Auch ist die Menge der Downloads auf maximal 5 begrenzt.
