Download e-book for kindle: Entwurf und Verifikation mikroprogrammierter by Werner Damm

By Werner Damm

ISBN-10: 3540183205

ISBN-13: 9783540183204

ISBN-10: 3642511376

ISBN-13: 9783642511370

Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden sämtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen Beschreibung der Anforderungen, Techniken zur hierarchischen employer des Entwurfs, die Mikroprogrammierung in einer geeigneten höheren Mikroprogrammiersprache, sowie formale Techniken zur Überprüfung der Korrektheit des Entwurfs. Damit wird erstmals eine Firmwareverifikationsmethode vorgestellt, die sowohl für beliebige Mikroarchitekturen einsetzbar ist als auch eine inkrementelle und modulare Verifikation des Entwurfs ermöglicht. Besonderes Gewicht wurde sowohl auf eine präzise mathematische Durchdringung des Firmwareentwurfs als auch auf die praktische Anwendbarkeit der Entwurfsmethode gelegt. Sämtliche Konzepte und Techniken werden an Hand eines Emulationsbeispiels illustriert. Der textual content enthält ein einführendes Kapitel, das sowohl die Grundbegriffe aus dem Bereich der Mikroprogrammierung als auch die verwendeten mathematischen Begriffsbildungen zusammenfaßt. Die beiden Hauptteile behandeln jeweils den Entwurf sowie die Verifikationsmethodik. In Anhängen werden ausführliche Entwurfs- und Verifikationsbeispiele gegeben. Das Buch bietet sowohl dem Entwickler größerer Mikroprogramme als auch dem Ersteller von Firmwareentwicklungswerkzeugen einen geeigneten Rahmen zur Beherrschung der Komplexität von Mikroarchitekturen. Für Studenten der Informatik veranschaulicht der textual content die Relevanz mathematischer Modellbildungen in einem konkreten Anwendungesgebiet.

Show description

Download e-book for kindle: Grundlagen der Elektrotechnik I: Das elektrostatische Feld by Prof. Dr.-Ing. Georg Bosse, Prof. Dr.-Ing. Wolfgang

By Prof. Dr.-Ing. Georg Bosse, Prof. Dr.-Ing. Wolfgang Mecklenbräuker (auth.)

ISBN-10: 354062144X

ISBN-13: 9783540621447

ISBN-10: 3662008548

ISBN-13: 9783662008546

Ausgehend von einfachen physikalischen Vorstellungen wird in Band I die Theorie des elektrostatischen Feldes vorgestellt. Darauf aufbauend werden die Berechnungsgrundlagen für die examine linearer Netze abgeleitet. Zwei Berechnungsmethoden (Maschenanalyse und Knotenanalyse) werden ausführlich und an Beispielen erklärt.

Show description

Download PDF by Univ.-Prof. Dr. phil. Gerd Baron, Univ.-Doz. Mag. rer. nat.: Einführung in die Mathematik für Informatiker

By Univ.-Prof. Dr. phil. Gerd Baron, Univ.-Doz. Mag. rer. nat. Dr. phil. Peter Kirschenhofer (auth.)

ISBN-10: 3211823972

ISBN-13: 9783211823972

ISBN-10: 3709166837

ISBN-13: 9783709166833

Das dreibändige Werk bietet eine Einführung in die wichtigsten mathematischen Grundlagen aus den Gebieten der Linearen und Nichtlinearen Algebra, der research und der Diskreten Mathematik für Informatiker. Besondere Schwerpunkte bilden die in den Computerwissenschaften wichtigen Methoden aus Kombinatorik, Graphentheorie und der Theorie endlicher Körper. Damit zeichnet sich das Werk gegenüber den klassischen Grundlagenwerken der Ingenieurmathematik durch informatik-spezifischere Inhalte aus. Zahlreiche durchgerechnete Beispiele und Erklärungen sollen die Möglichkeiten des Selbststudiums fördern. Nach der Neuauflage von Band 1 im Jahr 1992 liegen nun auch die Bände 2 und three in einer verbesserten Neuauflage vor.

Show description

Get Probleme? Höhere Mathematik!: Eine Aufgabensammlung zur PDF

By Hans L. Trinkaus (auth.), Helmut Neunzert (eds.)

ISBN-10: 3540193464

ISBN-13: 9783540193463

ISBN-10: 3642971172

ISBN-13: 9783642971174

Ein Hauptanliegen des Ingenieurstudiums gilt der Umwandlung praktischer Probleme in mathematische Fragestellungen, der mathematischen Modellbildung. In diesem Sinne soll das vorliegende Buch Studenten der Ingenieurwissenschaften bzw. der Physik auf ihre sp?tere Berufst?tigkeit vorbereiten. Behandelt wird der weitgehend standardisierte Stoff der Vorlesungen ?ber H?here Mathematik des ersten Studienjahres. Der Aufbau des Buches orientiert sich an den in derselben Reihe erschienenen B?nden Analysis 1 und Analysis 2. Zu Beginn jedes Kapitels werden die erforderlichen Begriffe, Definitionen und S?tze vorgestellt: Leser anderer Lehrb?cher d?rften sich damit m?helos auch in diesem Aufgabenband zurechtfinden, Kenner obiger B?nde m?gen dies als Repetitorium oder Formelsammlung betrachten. Danach jeweils folgen die Aufgaben aus den unterschiedlichsten Anwendungsgebieten: Ingenieurwissenschaften, Physik, Chemie, Biologie, Medizin. Ausf?hrliche Aufl?sungen aller Aufgaben enth?lt der zweite Teil des Buches, das sich auch zum Selbststudium und insbesondere zur Vorbereitung auf Klausuren eignet.

Show description

Technologie Geographischer Informationssysteme: Kongreß und - download pdf or read online

By André Kilchenmann (auth.), Professor Dr. phil. II André Kilchenmann (eds.)

ISBN-10: 3540548890

ISBN-13: 9783540548898

ISBN-10: 3642771432

ISBN-13: 9783642771439

Mit Hilfe Geographischer Informationssysteme (GIS) k|nnen die in gro~en Mengen anfallenden raumbezogenen (geographi- schen) Daten optimum genutzt werden. W{hrend heute GIS noch vorwiegend f}r die Herstellung von thematischen Karten und r{umliche Netzwerke verwendet werden bzw. lediglich der digitalen Speicherung r{umlicher Daten dienen , werden GIS zuk}nftigals Datenbanken f}r verschiedendste Zwecke zur Verf}gung stehen. So k|nnen sie z.B. in viel st{rkerem Ma~e als bisher in der Geo|kologie und in der Raum- und Landesplanung als foundation f}r Analysen, Modellrechnungen und Standortentscheidungen zum Einsatz gelangen.

Show description