springer berlin heidelberg springer berlin heidelberg apr 1992 (34 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -From Gauss to G|del, mathematicians have sought an efficientalgorithm to distinguish prime numbers from compositenumbers. This book presents a random polynomial timealgorithm for the problem. The methods used are fromarithmetic algebraic geometry, algebraic number theory andanalyticnumber theory. In particular, the theory of twodimensional Abelian varieties over finite fields isdeveloped.The book will be of interest to both researchers andgraduate students in number theory and theoretical computerscience.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume collects the papers accepted for presentation atthe Second European Conference on Computer Vision, held in Santa Margherita Ligure, Italy, May 19-22, 1992. Sixteen long papers, 41 short papers and 48 posters were selected from 308 submissions. The contributions are structured into 14 sections reflecting the major research topics in computer vision currently investigated worldwide. The sections are entitled: features, color, calibration and matching, depth, stereo-motion, tracking, active vision, binocular heads, curved surfaces and objects, reconstruction and shape, recognition, and applications. 932 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Those interested in the relationships between psychological and physiological functions will again and again be impressed by the fact that great individual differences and large situational variability are manifested in psychophysiological data. Psychophysiology from a differential perspective has been an enduring theme throughout the history of personality and temperament research. However, the present book is the first to bear the word differential in its title. Actually, this monography is not only concerned with psychophysiological personality research, but with a much broader program of systematic investigation. Multivariate research methodology permits one to operationalize physiological response profiles, both with regard to lasting differences between persons and the discrimination of situations. In order to determine functional relationships between person characteristics and situational demands, that is, to determine the processes of stimulus-response mediation, one first needs to systemize these various sources of variance in assessment models and subsequently partition the observed covariance. A series of the author's own investigations in the Hamburg and Freiburg laboratories shows just how fruitful this research approach can be.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Modern Methods in Analytical Acoustics considers topics fundamental to the understanding of noise, vibration and fluid mechanisms. The series of lectures on which this material is based began by some twenty five years ago and has been developed and expanded ever since. Acknowledged experts in the field have given this course many times in Europe and the USA. Although the scope of the course has widened considerably, the primary aim of teaching analytical techniques of acoustics alongside specific areas of wave motion and unsteady fluid mechanisms remains. The distinguished authors of this volume are drawn from Departments of Acoustics, Engineering of Applied Mathematics in Berlin, Cambridge and London. Their intention is to reach a wider audience of all those concerned with acoustic analysis than has been able to attend the course.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 760 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Es bleiben nicht viele Wege und nicht viel Zeit, die sich immer deutlicher ab zeichnende globale Gefahrdung, vor der seit nun tiber 30 lahren gewarnt wird, abzuwenden. Oberstes Gebot muB eine bewuBtere Nutzung des nicht vermehr baren Naturraums sein, die auf sparsamen und schonenden Umgang mit den Ressourcen ausgerichtet ist, urn die Auswirkungen der bisherigen Schaden zu begrenzen und ktinftige Schaden moglichst gering zu halten. Dazu benotigen wir Bestandsaufnahmen, urn Ursachen, Art und AusmaB der Schadigungen abschatzen zu konnen. So, wie der Kriminologe versucht, die Hintergrtinde der des weltweiten Tat und den Tathergang zu ermitteln, mtissen die Auswirkungen fahrlassigen Umganges mit der Erde systematisch studiert werden. Bereits die bisher vorgenommenen Untersuchungen zu den Veranderungen auf unserem Planeten lieBen erkennen, daB die gesamte Erde als 'Tatort' zu betrachten ist. Die Erfassungsmethoden fUr die Umweltveranderungen wurden laufend verfei nert, aber das AusmaB und die Geschwindigkeit der Veranderungen haben sich kaum verringert. Zu viele, im einzelnen vielleicht unscheinbare Einzeltaten summieren sich zu den inzwischen untibersehbaren globalen Folgen. GroBe Hoffnungen werden nun z. B. an die neue Weltklimakonvention ge kntipft. Doch was kann der einzelne zur Verbesserung der Situation beitragen Wir denken, nur wenn jeder einzelne bei sich anfangt, in seiner unmittelbaren Umgebung, in seinem personlichen Verantwortungsbereich alles Handeln kri tisch zu prtifen und auf umweltschadigende Handlungen weitgehend zu ver zichten, kann es gelingen, die Folgen zu begrenzen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Dieses aus drei Einzelb{nden bestehende Werk bietet einenumfassenden ]berblick }ber das Gebiet des OperationsResearch (OR). Das Buch entstand aus einem Kurs derFernuniversit{t Hagen, die Autoren sind herausragendeauch international anerkannte Fachvertreter. Das Werk istLehrbuch und Nachschlagewerk gleichzeitig. Durch viele|konomische und geometrische Beispiele, durch ]bungsaufgabenund deren L|sungen (im Anhang) ist das Buch auch zumSelbststudium geeignet. Die Breite der behandelten ThemenSachwort- und Literaturverzeichnisse erm|glichen eineOrientierung }ber das gesamte Fachgebiet. In jedem Kapiteldes Buches werden neben den Grundallgen der relevantenTheorie auch die entsprechenden Verfahren (MethodenAlgorithmen) dargestellt. Teil 2 behandelt die Theorie derGraphen, Netwerkprobleme und deren L|sung, Transport- undverwandte Probleme sowie die ganzzahlige Optimierung.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Die vorliegende Arbeit entstand wihrend meiner Tiitigkeit als wissenschaftlicher Mitarbeiter am Fraunhofer-Institut flir Produktionstechnik und Automatisierung (IPA), Stuttgart. Die Untersuchungen wurden anteilig mit Mitteln des Bundes ministeriums flir Forschung und Technologie (BMFT), Projekttriigerschaft 'Halb leiterfertigungsgerlite' gefOrdert. Mein besonderer Dank gilt dem Leiter des Instituts, Herrn Professor Dr. -Ing. H. -J. Warnecke, flir seine groBziigige Unterstiitzung und Forderung, die entscheidend zur erfolgreichen Durchflihrung dieser Arbeit beigetragen haben. Herrn Professor Dr. -Ing. H. Bach danke ich flir die Ubernahme des Mitberichtes, flir die eingehende Durchsicht und flir die wertvollen Hinweise, die sich daraus ergaben. Aus dem groBen Kreis der Kollegen am Institut, die mich durch ihre Mitarbeit und anregende Kritik unterstiitzt haben, mi)chte ich die Herren Dr. -Ing. J. GeiSinger, DipI. -Ing. J. SchlieBer, Dr. -Ing. M. Schweizer, P. Baumbusch und Prof. Dr. -Ing. R-D. Schraft besonders erwihnen. Ihnen allen gilt mein herzlicher Dank. Stuttgart, Januar 1992 Elmar Degenhart Inhaltsverzeichnis Abkiirzungen und Formelzeichen 13 1 Einleitung 15 1. 1 Problemstellung 15 1. 2 Zielsetzung und Vorgehensweise 16 2 Stand der Technik 17 2. 1 Begriffe und Definitionen 17 2. 1. 1 Reinraumtechnologie 17 2. 1. 2 Reinheitsldassen 17 2. 1. 3 Reinraum 18 2. 2 Ausgangssituation 21 2. 2. 1 Kontaminationsquellen im Reinraum 21 Stromungsverhaltnisse im Reinraum 2. 2. 2 23 2. 2. 3 Stromungstechnische Untersuchungsmethoden 24 Quantitative Methoden 2. 2. 3. 1 24 2. 2. 3. 2 Qualitative Methoden der Stromungssichtbarmachung 26 2. 2. 4 Fertigungsgeratetechnik 29 3 Entwicklungsscbwerpunkte 33 3.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Innerhalb und auBerhalb der Unternehrnen vollzieht sich derzeit ein technologischer, wirtschaftlicher und personeller Wandel, der die betrieblichen Rahmenbedingungen maBgeblich verandert. Diesen neuen Anforderungen sind konventionelle Produktionskonzepte nur bedingt gewachsen, wie iiber hohte Umlaufbestande, fehlende Lieferbereitschaft und der zunehmende Anteil von Mitarbeitern in den indirekten Bereichen der Unternehmen zeigen. Verantwortlich fUr diesen Zustand sind vor allem die heute noch vielfach vorzufindenden tayloristi schen Produktionsstrukturen. Aufgrund deren ausgepragter Zentralisierungstendenz und Arbeitstei lung zwischen direkt bzw. indirekt produktiven Bereichen sowie deren Arbeitsteilung innerhalb die ser Bereiche resultieren informations- und materialfluBtechnische SchnittsteUen, die tiber Reibungs verluste, Mehraufwande und Parallelarbeiten zu den genannten Effekten fUhren. In diesem Zusarnmenhang wird heute in Forschung und Praxis daruber diskutiert, welche MaBnah men sich zur Losung des Konflikts eignen. Dabei komrnt vor allem dem Integrationsgedanken eine besondere Bedeutung zu. Gleichzeitig wird aber immer deutlicher, daB sich Strategien, die sich allein mit der LOsung technischer Probleme unter Beibehaltung gewachsener Organisationsstrukturen sowie traditioneller Produktionsphilosophien beschaftigen und sich in Schlagworten wie CIM und cm auBern, nicht per se zum gewtinschten Erfolg ftihren. Vielmehr konnen sie sogar eine Verschar fung der Situation bewirken /1,2/.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Etwa 90% der Bev|lkerung werden vomSozialversicherungssystem der BRD erfa~tund sind somitMitglied der Gesetzlichen Krankenversicherung. Die ambulantemedizinische Versorung obliegt den Kassen{rzten, die damitin das |ffentlich-rechtlich organisierte Versorgungssystemeingebunden werden, weshalb sie hoheitliche Eingriffe inihre grundgesetzlich garantierte Berufsfreiheit, Art. 12 GG.hinnehmen m}ssen.In der vorliegenden Arbeitwerden M|glichkeiten und Grenzenzur Beschr{nkung der (kassen-){rztlichen Berufsfreiheitdurch hoheitliche Ma~nahmen zum Zwecke der Kostend{mpfung imGesundheitswesen aufgezeigt, das System derGesetzlichen Krankenversicherung wird dargestellt und diewirtschaftlichen und rechtstheoretischen Grundlagen einersolchen Untersuchung werden aufgezeigt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Anhand von In-vivo-Experimenten werden in diesem Buch dieHerz-Kreislauf-Funktion sowie die sympathoadrenergen undnervalen Auswirkungen des akuten an{sthesieinduziertenHyperthermiegeschehens dargestellt. Simultan durchgef}hrteAnalysen an Herz- und Skelettmuskulatur erm|glichen dabeieinen direkten Vergleich der funktionellen, metabolischenenzymatischen und morphologischen Ver{nderungen an beidenGeweben. Dazu kommen umfangreiche histologische undhistochemische Untersuchungen .Mit diesen Befunden und erg{nzenden tierexperimentellenIn-vitro-Studien leistet der Autor eine wichtigen Beitragzur Kl{rung der Frage nach einer Prim{rbeteiligung desMyokards bei maligner Hyperthermie und zur Erhellung derpathophysiologischen Zusammenh{nge dieser lebensbedrohlichenNarkosekomplikationen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Buch befa~t sich mit Problemen der Qualit{tssicherungbei der Herstellung und Anwendung von Kontrastmitteln. Nacheinf}hrenden Beitr{gen zur Fertigung und Lagerung wird dieklinische Anwendung von Kontrastmitteln f}r R|ntgen-, CTund MRT-Untersuchungen ausf}hrlich er|rtert.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Ausfiihrungen eine meisterhafte Verflechtung experi menteller Studien mit den klinischen Erfordemissen, die Kniebandrekonstruktionen 'ab verlangen. Die eindriicklichen Ergebnisse und klinischen Konsequenzen sollten all denje nigen bekannt sein, die sich mit Bandrekonstruktionen des Kniegelenks zu beschaftigen haben.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Grundlage dieses Buches bildet die Wissensbasis desLILOG-Systems als integraler Bestandteil der zweitenprototypischen Implementierung eines textverstehendenSystems, die im Wissenschaftlichen Zentrum der IBMDeutschland GmbH in Kooperation mit mehreren Universit{tenrealisiert wurde. Die bei der Entwicklung der Wissensbasisgetroffenen Modellierungsentscheidungen werden dokumentiertund in ihrem Zusammenhang mit anderen Komponenten desSystems, insbesondere den Modulen f}r die sprachlicheAnalyse und Generierung, betrachtet. Besonderes Augenmerkgilt jeweils der Verkn}pfung von Alltagswissen mitsprachlichem Wissen und der Benutzersicht auf logikbasierteFormalismen.Ziel ist es, einen Beitrag zu leisten zuerfahrungsgest}tzten und theoriegeleitetenEntwurfsprinzipien f}r Wissensbasen. Die verschiedenenAufs{tze lassen sich vier Bereichen zuordnenundbesch{ftigen sich mit }bergreifenden Aspekten derWissensmodellierung, mit Bez}gen zur sprachlichen Oberfl{cheund zu Inferenzen im System, sowie mit Aspekten derEntwicklung und Verwaltung von Wissensbasen. Die erreichtehohe Vernetzung der interdisziplin{ren Diskussion spiegeltsich in wechselseitigen Bezugnahmen und Kommentaren derAutoren wider.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Gegenstand dieses Buches ist die Entwicklung komplexerverteilter Anwendungsprogramme. Thema ist nicht, wie in dentraditionellen B}chern }berverteilte DV-Systeme, dieEntwicklung oder der Betrieb von Rechnernetzen, sondernderen Einsatz bei der Entwicklung verteilter Anwendungen. InBereichen wie B}roautomatisierung und Produktionsautomationoder bei Firmen, deren Abl{ufe stark auf internationaleWeitverkehrsnetze abgest}tzt sind (Fluggesellschafteninternationale Broker-Firmen), spiegeln die im Buchbehandelten Fragestellungen schon heute die Probleme derAnwendungsentwickler wider; in vielen anderenIndustriezweigen zeichnet sich die Notwendigkeit komplexerverteilter Anwendungen durch den zunehmenden Zwang zurVerflechtung und zur Automatisierung bereits ab. Ein Blickauf die in der Industrie eingesetzten Hilfsmittel zeigtjedoch, da~ diese f}r die erw{hnten komplexen Anwendungennicht mehr ad{quat sind. Das Buch richtet sich in ersterLinie an Dozenten, Studenten und Wissenschaftler im Bereichdes Software Engineering, sowie an Softwareentwickler in derPraxis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Im Chirurgischen Forum werden ausgew{hlte Beitr{ge vorabver|ffentlicht, dieauf dem Kongre~ der DeutschenGesellschaft f}r Chirurgie vorgetragen werden.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 520 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -In diesem Buch wird dargelegt, wie die bew{hrten Methoden der Betriebsfestigkeit in der Konstruktionspraxis f}r einen rechnerischen Betriebsfestigkeits-Nachweis genutzt werden k|nnen und unter welchen Voraussetzungen und mit welchem Grad der Verl{~lichkeit sie anwendbar sind. Der Begriff Be- triebsfestigkeit wird dabei als Oberbegriff verstanden, der die Begriffe Dauerfestigkeit und Zeitfestigkeit als Sonder- f{lle einschlie~t. Das Thema wird, zugunsten einer sinnf{lligen Gliederung des Stoffs, allein nach dem traditionellen Nennspannungs-Konzept abgehandelt, aber Querverweise auf die neueren Betrachtungs- weisen nach dem Kerbgrund-Konzept oder nach dem Bruchmecha- nik-Konzept werden gegeben. Ausf}hrlich dargestellt wird auch, wie das Konzept eines Betriebsfestigkeits-Nachweises in die Konstruktionspraxis umzusetzen ist. Diese Darstellung orientiert sich an einer aufgezeigten Leitlinie der abzuhan- delnden Teilaufgaben sowie an Erfordernissen einer neuzeit- lichen Konstruktionsmethodik. Unmittelbar anwendungsrelevante Informationen werden in der erforderlichen Ausf}hrlichkeit dargeboten, jedoch unter Ver- zicht auf weitergehende Einzelheiten und theoretische Her- leitungen zu den experimentellen und rechnerischen Verfah- ren. Sachfragen werden vom Autor so beantwortet, da~ keine widerspr}chlichen Ansichten und Befunde unbewertet nebenein- anderstehen und den Leser verunsichern.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Dieser Band 2 der Reihe Mikrocomputer-Forum f}r Bildung undWissenschaft enth{lt die }berarbeiteten Beitr{ge zum 3.CIP-Status-Kongre~ im Produktionstechnischen Zentrum der TUund der Fraunhofer-Gesellschaft, Berlin 1989. DieNutzanwendung des Computer-Investitionsprogramms wurde unterreger Beteiligung der Wissenschaftsverwaltungen und derIndustrie von allen Fachrichtungen der Hochschulen allerBundesl{nder eindrucksvoll dokumentiert.Das vielseitige Vortragsprogramm bot neben eingeladenenVortr{gen sowie Hochschul-Softwarem{rkten undProduktvorstellungen der DV-Industrie Gespr{chskreise undRahmenveranstaltungen zu folgenden Themenbereichen:Softwareb|rsen, Hochschul- und Standardsoftware; MethodikLern- und Autorensysteme; Vernetzung; Betriebssysteme;Ingenieurwissenschaften, Architektur und Design; Rechtsund Wirtschaftswissenschaften; Medizin; CIP - kontrovers ;Multimedia f}r die Lehre Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 780 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Ökologie und Ökonomie: Ihre Integration stellt eine wichtige Aufgabe für Ingenieure heute und in der Zukunft dar. Das Buch liefert eine zusammenfassende Darstellung der Analyse, Bewertung und Nutzung ökologischer Systeme durch den Menschen und seine Technik. Die Notwendigkeit der Einpassung ökonomischer Nutzung in die ökologischen Potentiale und die Grenzen dieser Nutzung werden deutlich gemacht. Der Leser erkennt sehr schnell, daß alle Systeme, auch Ökosysteme, nach relativ einfachen gemeinsamen Grundprinzipien arbeiten, daß jedes aber doch seine besondere Struktur hat, seine eigenen Schwachstellen und Nutzungsoptionen. Der Autor hat das Buch in einer Weise verfaßt, die auch dem Nichtfachmann die Problematik der Nutzung von ökologischen Systemen aufzeigt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen, 1991.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das vorliegende Buch enth{lt die Proceedings einer Tagung der Konferenz der Akademien der Wissenschaften in der Bundesrepublik Deutschland. Ziel der Tagung war es, M|glich- keiten, Hindernisse und Chancen der Zusammenarbeit zwischen Industrie und Wissenschaft sowie die Rolle der Politik, Gesetzgebung und ffentlichkeit grunds{tzlich zu diskutieren und neue Anregungen unter Ber}cksichtigung der besonderen aktuellen Situation in Deutschland zu geben. In dem Buch wurden Diskussionsbeitr{ge von Vertretern von Wissenschaftsinstitutionen, der forschenden Industrie, den Medien und Wissenschaftsphilosophen mit aufgenommen. Dabei ging es nicht nur um Formen der Forschungsf|rderung, sondern auch um die Darstellung der Zusammenarbeit von Wissenschaft und Industrie im Lichte der ffentlichkeit.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das vorliegende Buch ist eine gelungene Synthese aus der komplexeren Grundlagenwissenschaft - ohne deren Mitwirken die Mechanismen des Herzversagens nicht verstehbar w{ren -, unmittelbarer klinischer Entscheidungshilfe (Diagnostik/Differentialdiagnostik) und zeitgem{~en Therapieempfehlungen. Der Einstieg in die Thematik geschieht mit der Darstellung der unkomplizierteren diagnostischen Schritte, die auch das Bem}hen um rationale Entscheidungsfindung beinhalten. Die in sich schon kompliziertere Differentialtherapie wird anhand von Stufenpl{nen geordnet und im Spiegel aktueller Literatur begr}ndet. Der bew{hrte ']berblick f}r die Praxis' bietet dem Leser kapitelweise das Wesentliche zurschnellen Orientierung an. Dieses Buch d}rfte gegenw{rtig die beste ]bersicht vermitteln }ber die im {rztlichen Alltag relevanten Probleme bei der Herzinsuffizienz. F}r [rzte und PJ-Studenten der genannten Fachgebiete in Klinik und Praxis MonographieSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Die in diesem Buch beschriebene Arbeit ist im Umfeld dernat}rlichsprachlichen Beschreibung von Bildfolgenangesiedelt, einemTeilbereich des Aufgabengebietes'Kopplung von bildverstehenden und sprachverstehendenSystemen'. In diesem Bereich hat man sich bisher nur mit derErkennung und Beschreibung von Objekten sowie derenr{umlichen Relationen und Bewegungen, also mitraum-zeitlichen Aspekten, besch{ftigt. Diese Beschr{nkungwird hier }berwunden. Unter der Annahme, da~ das beobachteteVerhalten zielgerichtet ist, kann unter Zuhilfenahme vongeeigneten Verarbeitungsverfahren und von Hintergrundwissenmehr Information aus Szenenfolgen extrahiert werden als nur}ber Eigenschaften und Bewegungen von Objekten. Es k|nnenintentionale Entit{ten wie Pl{ne, Intentionen, Interaktionenzwischen mehreren Akteuren, das Fehlschlagen von Pl{nensowie dessen Ursachen erkannt werden.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -In diesem Buch wird ein Verfahren vorgestellt, mit demInduktionsbeweise vonExistenzaussagen automatisch gef}hrtwerden k|nnen. Es ist ein deduktivesProgrammsyntheseverfahren, das ausgehend vonExistenzaussagen, die als formale Programmspezifikationenaufgefa~t werden, rekursive Programme erzeugt. Kann einsolches Programm korrekt erstellt werden, so beschreibt derSyntheseproze~ gleichzeitig einen Induktionsbeweis derentsprechenden Existenzaussage.Auf der Basis dieses Verfahrens wurde ein automatischesProgrammsynthesesystem entwickelt und implementiert. Esverwendet spezielle Transformationsregeln sowie Strategienund Heuristiken, die die Beweissuche steuern. Sie werdenanhand vieler Beispiele ausf}hrlich diskutiert.Obwohl die hier beschriebene Methode in erster Linie zurAutomatisierung von Existenzbeweisen entwickelt worden istund der Aspekt der automatischen Softwareentwicklung eher imHintergrund steht, motivieren zahlreiche Beispiele dazu, dasVerfahren auch f}r diesen Zweck einzusetzen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Der vorliegende Teil I des Verhandlungsberichts 1992 der Deutschen Gesellschaft f}r Hals-Nasen-Ohren-Heilkunde, Kopf- und Hals-Chirurgie enth{lt die Hauptreferate, die von besonderen Sachkennern zu dem Thema 'Transplantation und Implantation in der Kopf-Hals-Chirurgie' f}r die Jahresversammlung geschrieben wurden. Die Autoren befassen sich sowohl mit grunds{tzlichen Aspekten zu Transplantation und Implantation als auch mit speziellen Fragen nach alloplastischen Materialien, Gewebs- undOrganersatz.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -In den Bereichen Laser/Optoelektronik/Mikrowellen werdenForschungsergebnisse in rasantem Tempo in technischeEntwicklungen und Anwendungen umgesetzt. Der seit 1973 alle2Jahre in M}nchen veranstaltete internationale Kongressgibt, in Verbindung mit der bedeutendsten internationalenFachmesse der Optoelektronik, einen ]berblick }ber denaktuellen Stand in Forschung, Technik und Medizin.InFortsetzung dieser Tradition vermittelt der 10.Internationale Kongre~ LASER91 neue Erkenntnisse ausGrundlagenforschung, Entwicklung und praxisbezogenerAnwendung. Zur Abdeckung des breiten Interessenspektrums vonForschern, Ingenieuren, [rzten und Anwendern wurde derKongre~ in unterschiedliche Darbietungsebenen strukturiert.Die Vortr{ge, die sich mit medizinischen Anwendungenbefassen, wurden in folgende Themengruppen gegliedert:Chirurgie/Surgery.-Urologie/Urology.-PhotodynamischeTherapie/Photodynamic Therapy.-Gyn{kologie/Gynecology.Neurochirurgie/Neurosurgery.-A ngioplastie/Angioplasty.HNO/ENT.-Ophtalmologie/Ophtalmology. - Zahnmedizin/Dentistry.Optische Methoden in der Diagnostik/Optical Methods in Diagnosis.-Dermatologie/Dermatology.-Photobiologie/Photobiology.-Laserstrahlenschutz in der klinischen Forschung undRoutine/Laser Ray Protection in clinical research andpractice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -In den Bereichen Laser/Optoelektronik/Mikrowellen werdenForschungsergebnisse in rasantem Tempo in technischeEntwicklungen und Anwendungen umgesetzt. Der seit 1973 alle2Jahre in M}nchen veranstaltete internationale Kongressgibt, in Verbindung mit der bedeutendsten internationalenFachmesse der Optoelektronik, einen ]berblick }ber denaktuellen Stand in Forschung, Technik und Medizin. InFortsetzung dieser Tradition vermittelt der 10.Internationale Kongre~ LASER 91 neue Erkenntnisse ausGrundlagenforschung, Entwicklung und praxisbezogenerAnwendung. Zur Abdeckung des breiten Interessenspektrums vonForschern, Ingenieuren, [rzten und Anwendern wurde derKongre~ in unterschiedliche Darbietungsebenen strukturiert.Die Vortr{ge, die sich mit Anwendungen in derUmweltme~technik befassen, wurden in folgende Themengruppengegliedert: Spektroskopie der Verbrennung/Spectroscopy ofCombustion.-Wasserverschmutzung/Water Pollution.-Vegetationsstre~/Vegetation Stress.-Luftverschmutzung/Air Pollution.Optische Fernme~verfahren zur Erfassung von Luftverunreinigungen/Optical Remote Sensing for Air Pollution Detection.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Die vorliegende Arbeit entstand während meiner Tätigkeit als wissenschaftlicher Mitarbeiter am Institut für Steuerungs technik der werkzeugmaschinen und Fertigungseinrichtungen der Universität Stuttgart. Mein besonderer Dank gilt Herrn Professor Dr. - Ing. A. Storr, der durch seine eingehende Durchsicht und die damit verbundenen wertvollen Hinweise ganz wesentlich zu dem Gelingen der Arbeit beigetragen hat. Herrn Prof. Dr. - Ing. R. Lauber danke ich für die Übernahme des Mitberichts. Allen Mitarbeitern der Gruppe 2. 1, insbesondere Herrn Dipl. Ing. J. Schneider, sowie Herrn Dr. - Ing. M. Härdtner danke ich für Anregungen und Diskussionen während meiner Insti tutszeit. Gregor Diehl - 7 - Inhaltsverzeichnis 5 Abkürzungen Formelzeichen und Symbole 6 1 Einleitung 7 1. 1 Problemstellung 7 1. 2 9 Begriffsdefinitionen 1. 2. 1 Stellglied, Aktor, Aktorik 9 1. 2. 2 10 Fehler, Störung, Ausfall 1. 2. 3 Diagnosesystem, Diagnose, Überwachung, Fehl- lokalisierung und -anzeige, Reaktion 10 1. 2. 4 Überwachungsmethode, Überwachungsverfahren 11 1. 2. 5 Diagnosebereiche an einer Fertigungseinrichtung 11 Z Stand der Technik 13 2. 1 Fehleranalyse an Fertigungseinrichtungen 13 2. 2 Folgerungen aus der Stördatenanalyse 18 2. 3 Verfahren zur Überwachung und Diagnose von steuerungsexternen Fehlern 19 2. 3. 1 Bekannte Überwachungs verfahren 20 2. 3. 2 Lösungen aus sicherheitsgerichteten Bereichen 24 2. 3. 2. 1 25 Programmtechnische Verfahren 2. 3. 2. 2 25 Gerätetechnische Verfahren 2. 3. 3 Bewertung der Verfahren zur Fehlererkennung und -diagnose sowie von Lösungen aus der - cherheitstechnik 27 2.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Stelle gedankt sei.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Thema 'Gesundheit und Umwelt' zog 750 Tagungsteilnehmernach M}nchen, umErgebnisse und methodische Fragen derinterdisziplin{ren Forschung aus Epidemiologiemedizinischer Biometrie und Informatik zu diskutieren.Die hier abgedruckten Beitr{ge versuchen folgende Thesen zubelegen: Rationale quantitative Risikoanalysen relativieren dieGesundheitsgef{hrdung aus der Umwelt. Multikausalit{t und Komplexit{t der Zusammenh{nge in derForschung m}ssen ber}cksichtigt und in der Diskussionvertragen werden. Von Vergleichen zwischen Populationenaus Ost und Westk|nnen weitere Aufschl}sse erhofft werden. Auch hoherapparativer Aufwand sichert keine leichterinterpretierbaren Ergebnisse. Risikoforschung kann und mu~ auf eine rationale Basisgestellt werden. Unter DV-Einsatz mu~ die ]bersicht }ber die Ergebnissebehalten und diese effektiv weitervermittelt werden. Die generelle Lehre f}r die Umweltmedizin ist f}r einenLaien nicht leicht verst{ndlich, was f}r die t{glichegesellschaftliche Auseinandersetzung }berdiegesundheitsgerechte Gestaltung der Umwelt manch falschemBotschafterden Weg bereitet: den gro~en Vereinfachern, diealles genau wissen und f}r jedes ein Rezept haben, dengro~en Skeptikern, die alles noch genauer wissenwollen, ehesie entschlossen handeln.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Deutsch.