This volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on constraint processing; these workshops were held in conjunction with the International Congress on Computer Systems and Applied Mathematics (St. Petersburg, Russia, July 1993) and the European Conference on Artificial Intelligence (Amsterdam, The Netherlands, August 1994).
This volume essentially contributes to integrating the different approaches to the young and very active field of constraint processing by offering papers from logic programming, knowledge representation, expert systems, theoretical computer science, operations research, and other fields. Among contributions are two surveys, by Podelski and van Roy and by Freuder.

Die elektrische Antriebstechnik, iiber deren gegenwiirtigen Stand in diesem zweibiindi- gen Werk berichtet wird, befindet sich in einer stiirmischen Entwicklung. Wiihrend die Anpassung der elektrischen Maschinen an die Anforderungen der modernen Antriebs- technik in evolutionaren Bahnen veriauft, werden die Fortschritte auf den Gebieten "Umformung elektrischer Energie (Leistungselektronik)" sowie "Steuer-, Regel-, MeB-und Uberwachungstechnik" durch Innovationen bei den elektrischen Bauele- men ten gepriigt. Technische Fortschritte ermoglichen immer wieder neue, bessere Losungen fUr die an ein Antriebssystem gestellten Forderungen beziiglich Regeldyna- mik, Pendelmomenten, Wirkungsgrad, Netzriickwirkungen, Geriiuschabstrahlung und Betriebssicherheit. 1m voriiegenden Band 2 werden geregelte elektrische Antriebe behandelt. Zuniichst wird der heute am weitesten verbreitete geregelte elektrische Antrieb, die stromrichter- gespeiste Gleichstrom-Kommutatormaschine, eingehend beschrieben. Es wird gezeigt, daB dieser Antrieb neben vielen Vorteilen einen groBen Nachteil hat, den mechani- schen Kommutator; dieser bedarf einerseits der Wartung, andererseits bestimmt er die Grenzleistung in Abhiingigkeit von der Drehzahl. In den letzten fiinfundzwanzig lahren wurden vielfiiltige Antriebslosungen in Form von geregelten stromrichterge- speisten Drehstrommaschinen erarbeitet, mit denen die durch den mechanischen Kommutator gegebenen Einschriinkungen iiberwunden werden konnten. Ich habe versucht, die vielen he ute auf dem Markt angebotenen Antriebsvarianten, die sich sowohl hinsichtlich der Art der eingesetzten elektrischen Maschinen als auch der verwendeten Strom richter und der angewandten Steuer-und Regelverfahren unter- scheiden, systematisch zu gliedern. An ausgesuchten Beispielen werden Funktion und Wirkungsweise dieser Antriebe eingehend erkliirt. Dabei habe ich mich bemiiht, den Stoff moglichst anschaulich darzustellen.

Nach einer Einfuhrung in das Fachgebiet Leistungselektronik werden die erforderlichen Grundlagen abgeleitet. Daruber hinaus wird der Stand der Technik dargestellt und anwendungsorientiertes Fachwissen vermittelt: Neue Schaltungstechniken mit modernen Bauelementen sowie Hinweise fur deren praktischen Einsatz. Behandelt werden "selbst-und " "fremdgefuhrte Stromrichter." Selbstgefuhrten Stromrichtern eroffnen sich durch die Entwicklung elektrischer Ventile, die uber den Steueranschluss auch abschaltbar sind, neue Schaltungstechniken und Anwendungsgebiete. Die Theorie selbstgefuhrter Stromrichter und der dazugehorigen "Puls- und" "Modulationsverfahren" wird daher zukunftig zum zentralen Thema der Leistungselektronik. Dem tragt das Buch in besonderer Weise Rechnung."

Das Buch behandelt den Entwurf von Semicustom-ICs, einer Untergruppe der anwendungsspezifischen Schaltungen (ASICs), zu denen programmierbare Logikbausteine, Gate Arrays und Standardzellen-ICs gehoren. Nach einer kurzen Einfuhrung in die technischen und wirtschaftlichen Aspekte wird auf die fur ASIC-Anwender wesentlichen Eigenschaften der verwendeten Technologien eingegangen. Hieran schliesst sich eine ausfuhrliche Darstellung des Aufbaus sowie der typischen Eigenschaften von Semicustom-ICs an. Dabei werden auch PLDs in ihrer Vielfalt diskutiert, einschliesslich der neueren Entwicklungen. CAD-Werkzeugen und besonders der Testbarkeit von Semicustom-Schaltungen sind jeweils eigene Kapitel gewidmet. Der praktische Design-Ablauf wird anhand zweier uberschaubarer Beispiele demonstriert. Das Buch zeigt dem Entwicklungsingenieur die fur einen ASIC-Entwurf wesentlichen Zusammenhange auf, gibt Anregungen und weiterfuhrende Hinweise und ermoglicht dem Studenten einen Einstieg in das Thema.