Das vorliegende Lehrbuch gibt eine umfassende und didaktische Darstellung der Modellierung und Dynamik des Strassenverkehrs. Es erschliesst Studenten dieses anschauliche und faszinierende Gebiet, welches bisher nur in der englischsprachigen Originalliteratur dargestellt wurde. Zahlreiche Abbildungen und geloste Ubungsaufgaben tragen zum Verstandnis bei. Das Buch richtet sich an Physik- und Verkehrsingenieurstudenten mit interdisziplinarer Ausrichtung sowie allgemein an Studierende der Informatik, Mathematik und technischer Richtungen.

Nach einer Darstellung der verschiedene Kategorien von Verkehrsdaten werden im Hauptteil die Einflussfaktoren der Stauentstehung und Verkehrsinstabilitaten wie Stop-and-Go-Verkehr mit mathematischen Modellen analysiert. Der Verkehr wird dabei entweder makroskopisch als Fluss beschrieben, oder mikroskopisch als Vielteilchenmodell, wobei jedes Teilchen einen Fahrer bzw. ein Fahrzeug darstellt. Im letzten Teil des Werkes werden ausgewahlte Anwendungen der dargestellten Konzepte und Methoden dargestellt, insbesondere Verkehrslageschatzung und Verkehrstelematik, Verkehrsmanagement, sowie eine detaillierte Kraftstoffverbrauchs- und Emissionsberechnung."

A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog deceptively easy, however, and there are a number of different implementations. In this book Patrice Boizumault draws from his extensive experience in Prolog implementation to describe for students of all levels the concepts, difficulties, and design limits of a Prolog system. Boizumault introduces the specific problems posed by the implementation of Prolog, studies and compares different solutions--notably those of the schools of Marseilles and Edinburgh--and concludes with three examples of implementation. Major points of interest include identifying the important differences in implementing unification and resolution; presenting three features of Prolog II--infinite trees, dif, and freeze--that introduce constraints; thoroughly describing Warren's Abstract Machine (WAM); and detailing a Lisp imple-mentation of Prolog. Originally published in 1993. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

Mit diesem Buch wollen wir verschiedene Teilgebiete der Mathematik aus algorithmischer Perspektive vorstellen und dabei auch Implementierungs- und Laufzeitaspekte diskutieren. Gleichzeitig mochten wir, bei einer verkurzten Grundausbildung in Mathematik in naturwissenschaftlichen und informatischen Studiengangen, moglichst viele Teilaspekte der Mathematik vorstellen und vielleicht zu einer vertiefenden Beschaftigung mit dem einen oder anderen Aspekt anregen.

Unser Ziel ist es dabei nicht, den Leser zu einem versierten Anwender der besprochenen Algorithmen auszubilden, sondern wir wollen, immer ausgehend von konkreten Problemen, Analyse- und Losungsstrategien in den Mittelpunkt stellen. Hierbei spielen insbesondere Beweise und Beweistechniken eine zentrale Rolle."

Algebra und Diskrete Mathematik gehoeren zu den wichtigsten mathematischen Grundlagen der Informatik. Dieses zweibandige Lehrbuch fuhrt umfassend und lebendig in den Themenkomplex ein. Dabei ermoeglichen ein klares Herausarbeiten von Loesungsalgorithmen, viele Beispiele, ausfuhrliche Beweise und eine deutliche optische Unterscheidung des Kernstoffs von weiterfuhrenden Informationen einen raschen Zugang zum Stoff. Die umfangreiche Sammlung von UEbungsaufgaben erleichtert nicht nur eine aktive Erarbeitung des Inhalts, sondern zeigt auch die unterschiedlichsten Anwendungsmoeglichkeiten auf. Zum Inhalt: Band 2 besteht aus den drei Teilen: Lineare Optimierung, Graphen und Algorithmen, Algebraische Strukturen und Allgemeine Algebra mit Anwendungen.

This book presents simple, elegant methods for dealing, both in theory and in application, with a variety of problems that have formulations in terms of flows in capacity-constrained networks. Since the theoretical considerations lead in all cases to computationally efficient solution procedures, the hook provides a common meeting ground for persons interested in operations research, industrial and communications engineering, or combinatorial mathematics. Originally published in 1962. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

Il volume tratta alcuni fra i temi piu importanti della Ricerca Operativa, traendo spunti da alcuni problemi reali di carattere gestionale e cercando di dare al lettore un metodo di modellizzazione e di risoluzione, cosi da fornire quella professionalita che poi permettera di risolvere casi reali abbastanza complessi. A questo riguardo la Programmazione lineare e la Programmazione lineare intera svolgono nel testo un ruolo centrale, come "utensili" principali del processo risolutivo.

I problemi proposti, inizialmente presentati in forma semplice, sono poi modellati in modo sempre piu complesso. Gli strumenti analitici e informatici per progettare e risolvere i modelli vengono spiegati facendo riferimento ai problemi stessi.

Viele mathematische Problemstellungen, die auf den ersten Blick nichts miteinander zu tun haben, lassen sich in ein lineares Komplementaritatsproblem uberfuhren. Das vorliegende erste deutschsprachige Buch zu diesem Thema stellt ausfuhrlich viele dieser Problemstellungen vor und beschreibt, wie sie letztendlich auf ein lineares Komplementaritatsproblem fuhren. Zur Loesung werden sowohl direkte als auch iterative Verfahren betrachtet, wobei auch ein Augenmerk darauf geworfen wird, welche Besonderheiten auftreten koennen, wenn die Algorithmen auf einem Computer umgesetzt werden. Ausgearbeitete Loesungen zu den in den einzelnen Kapiteln gestellten Aufgaben runden das Buch ab.

Il testo intende fornire un introduzione alla teoria della misura e all analisi funzionale. E in particolare pensato per i corsi universitari triennali e della laurea Specialistica in Matematica e Ingegneria. L'impostazione della teoria della misura e di tipo astratto, intesa ad arrivare rapidamente al classico teorema di estensione delle funzioni d'insieme sigma-additive, strumento di uso frequentissimo in probabilita. Essa presuppone una qualche conoscenza dell'integrale di Lebesgue in spazi euclidei, anche se la costruzione di quest'ultimo viene richiamata nel testo insieme alle sue proprieta fondamentali. Gli argomenti tipici della teoria dell'integrazione sono sviluppati in modo piuttosto approfondito, cercando laddove possibile di dedurre anche risultati classici dalla moderna impostazione della teoria. Ad esempio, il teorema di approssimazione di Weierstrass per funzioni continue e ottenuto applicando le proprieta del prodotto di convoluzione. La parte di analisi funzionale e davvero introduttiva: si studiano proprieta di base degli spazi di Hilbert e di Banach, con una certa enfasi sugli aspetti geometrici degli spazi infinito-dimensionali. A questo scopo abbiamo curato abbastanza a fondo la parte riguardante gli spazi l "piccolo" p che spiegano rapidamente i fenomeni nuovi che si presentano in dimensione infinita. Il testo presenta inoltre una coda di argomenti avanzati che comprende la teoria della funzioni BV e AC con applicazioni agli integrali semplici del calcolo delle variazioni (esistenza alla Tonelli, equazioni di Eulero, etc.). Il testo inoltre propone una ricca varieta di esempi ed esercizi, per i quali si forniscono spesso suggerimenti generosi.

Aus den wichtigsten Gebieten der Regelungstechnik wurden 457 Aufgaben zusammengefasst (rund 50 mehr als in der ersten Auflage), wie sie bei Prufungen oder bei Rechenubungen gestellt werden konnen. An jede Angabe schliesst sich die genaue Durchrechnung analytisch, numerisch und computeralgebraisch in MATLAB und anderen Simulationssprachen, haufig mit Diskussion und Losungsgraphik an. Die Beispiele betreffen den Entwurf von Regelkreisen, Stabilitatsuntersuchungen, Zustandsraum, Abtastregelungen, Optimierung, Robustheit, stochastische und lineare Systeme; aber auch einzelne komplexere Gebiete werden angesprochen. Neu sind in der zweiten Auflage die Kapitel 15 und 16 die auf fachubergreifende und komplexere Aufgabenstellungen sowie numerische und symbolische Computerunterstutzung eingehen."

Cet ouvrage presente des modeles aleatoires elementaires et certaines de leurs applications courantes: algorithmes d'optimisation, gestion des approvisionnements, dimensionnement de files d'attente, fiabilite et dimensionnement d'ouvrages. Des problematiques plus recentes sont egalement abordees: recherche de sequences exceptionnelles et de zones homogenes de l'ADN, estimation du taux de mutation de l'ADN, phenomenes de coagulation de molecules de polymeres ou d'aerosols.

Cet ouvrage est consacrA(c) aux points fixes d'applications diffA(c)rentiables, aux zA(c)ros de systA]mes non-linA(c)aires et A la mA(c)thode de Newton. Il s'adresse A des A(c)tudiants de mastA]re ou prA(c)parant l'agrA(c)gation de mathA(c)matique et A des chercheurs confirmA(c)s. La premiA]re partie est consacrA(c)e A la mA(c)thode des approximations successives et confronte un point de vue AsystA]mes dynamiquesA (thA(c)orA]mes de Grobman-Hartman, de la variA(c)tA(c) stable) A des exemples issus de l'analyse numA(c)rique. La seconde partie de cet ouvrage expose la mA(c)thode de Newton et ses dA(c)veloppements les plus rA(c)cents (thA(c)orie alpha de Smale, systA]mes sous ou sur-dA(c)terminA(c)s). Elle prA(c)sente une nouvelle approche de ce sujet et un ensemble de rA(c)sultats originaux publiA(c)s pour la premiA]re fois dans un ouvrage de langue franAaise.

This is an advanced text on fixed points, zeros of nonlinear systems and the Newton method. Its first part, devoted to fixed points, includes the Grobman-Hartman and the stable manifold theorems. The second part describes the Newton method from a modern point of view: Smale's alpha theory, underdetermined and overdetermined systems of equations. These results are illustrated by various examples from numerical analysis.

Le but de ce livre est de presenter les developpements recents du controle geometrique oriente vers la commande des vehicules spatiaux. Son contenu a servi de base a une serie de cours de controle et d'automatique de 3e cycle. Il s'appuie sur des projets de recherche avec l'ESTEC et le CNES, sur le controle d'attitude d'un satellite, le probleme de transfert orbital en temps minimal, et le probleme de rentree atmospherique d'une navette spatiale.

Systemes multi-echelles est une introduction a la problematique des systemes multi-echelles du point de vue du mathematicien applique. Il se compose d'une mosaique d'exemples dont le seul lien est d'appartenir a la tres grande famille des problemes issus de la physique au sens large qui presentent pour leur modelisation et leur simulation cette difficulte essentielle de comporter en leur sein des echelles de temps ou d'espace tres differentes.

Ce livre est une initiation aux approches modernes de l'optimisation mathematique de formes. Il s'appuie sur les seules connaissances de premiere annee de Master de mathematiques, mais permet deja d'aborder les questions ouvertes dans ce domaine en pleine effervescence. On y developpe la methodologie ainsi que les outils d'analyse mathematique et de geometrie necessaires a l'etude des variations de domaines. On y trouve une etude systematique des questions geometriques associees a l'operateur de Laplace, de la capacite classique, de la derivation par rapport a une forme, ainsi qu'un FAQ sur les topologies usuelles sur les domaines et sur les proprietes geometriques des formes optimales avec ce qui se passe quand elles n'existent pas, le tout avec une importante bibliographie.

In real-world problems related to finance, business, and management, mathematicians and economists frequently encounter optimization problems. In this classic book, George Dantzig looks at a wealth of examples and develops linear programming methods for their solutions. He begins by introducing the basic theory of linear inequalities and describes the powerful simplex method used to solve them. Treatments of the price concept, the transportation problem, and matrix methods are also given, and key mathematical concepts such as the properties of convex sets and linear vector spaces are covered.

George Dantzig is properly acclaimed as the "father of linear programming." Linear programming is a mathematical technique used to optimize a situation. It can be used to minimize traffic congestion or to maximize the scheduling of airline flights. He formulated its basic theoretical model and discovered its underlying computational algorithm, the "simplex method," in a pathbreaking memorandum published by the United States Air Force in early 1948. "Linear Programming and Extensions" provides an extraordinary account of the subsequent development of his subject, including research in mathematical theory, computation, economic analysis, and applications to industrial problems.

Dantzig first achieved success as a statistics graduate student at the University of California, Berkeley. One day he arrived for a class after it had begun, and assumed the two problems on the board were assigned for homework. When he handed in the solutions, he apologized to his professor, Jerzy Neyman, for their being late but explained that he had found the problems harder than usual. About six weeks later, Neyman excitedly told Dantzig, "I've just written an introduction to one of your papers. Read it so I can send it out right away for publication." Dantzig had no idea what he was talking about. He later learned that the "homework" problems had in fact been two famous unsolved problems in statistics.

Dieses Buch ist aus verschiedenen Vorlesungen der Autoren an den Universitaten Hamburg und Trier entstanden. Es bietet eine umfassende und aktuelle Darstellung des Themenbereichs "Theorie und Numerik restringierter Optimierungsaufgaben," die uber die bislang existierende Lehrbuchliteratur deutlich hinausgeht. Das Buch wendet sich in erster Linie an Studierende der Mathematik, der Wirtschaftsmathematik und der Technomathematik in mittleren und hoheren Semestern, sollte aber auch erfahrenen Mathematikern einen Zugang zur aktuellen Forschung und Anwendern einen Uberblick uber die vorhandenen Verfahren geben. Im Einzelnen werden folgende Themenkreise ausfuhrlich behandelt: Lineare Programme: Simplex-Verfahren und Innere-Punkte-Methoden, Optimalitatsbedingungen erster und zweiter Ordnung, nichtlineare restringierte Programme, nichtglatte Optimierung, Variationsungleichungen. Etwa 140 Ubungsaufgaben, teilweise mit ausfuhrlichen Losungshinweisen runden die Darstellung ab."

Entscheidungen unter Unsicherheit kAnnen mit dem A1/4blichen Erwartungsnutzenkonzept hAufig nicht angemessen modelliert werden, da die zugrunde liegenden Informationen den wahrscheinlichkeitstheoretischen Anforderungen nicht genA1/4gen. AnsAtze der "beschrAnkten RationalitAt" erscheinen dagegen oft willkA1/4rlich, da die Kriterien ihrer Anwendbarkeit fehlen. Die Modellierung von Unsicherheit mit Fuzzy-Mengen, die hier in einer maAtheoretischen Interpretation verwendet werden, erlaubt eine Verallgemeinerung der RationalitAtsbedingungen, die viele dieser AnsAtze als SpezialfAlle enthAlt. Eine Anwendung bei Social Choice Problemen zeigt das Potential des Ansatzes zur ErklArung und Verbesserung der Verfahren kollektiver Entscheidungen.

Dieses Buch ist eine EinfA1/4hrung in die mathematische Theorie der Optimierung. Nach einer kurzen Beschreibung der Problemstellung und einer Aoebersicht A1/4ber die grundlegenden Typen von Optimierungsaufgaben werden im zweiten Kapitel lineare Optimierungsprobleme behandelt, fA1/4r die ein vollstAndiges LAsungsverfahren, der Simplexalgorithmus, zur VerfA1/4gung steht. FA1/4r die LAsung nichtlinearer Optimierungsaufgaben mit differenzierbaren bzw. konvexen Funktionen werden im dritten Kapitel notwendige und hinreichende OptimimalitAtsbedingungen bereitgestellt. Bei der Darstellung des Stoffes wurde darauf geachtet, neue Begriffe und Methoden anhand vieler Beispiele auf anschauliche Art einzufA1/4hren. Vorausgesetzt werden einige wenige mathematische Grundkenntnisse, wie sie in jeder einfA1/4hrenden Vorlesung in die HAhere Mathematik vermittelt werden. Jeder Abschnitt schlieAt mit einer Reihe von Aoebungsaufgaben. Die ausfA1/4hrlichen LAsungen zu allen Aufgaben werden am Ende des Lehrbuchs gegeben.

Dieses Buch bietet eine umfassende und aktuelle Darstellung des Themenbereichs "Numerische Losung unrestringierter Optimierungsaufgaben mit differenzierbarer Zielfunktion," die uber die bislang existierende Lehrbuchliteratur deutlich hinausgeht. Es wendet sich in erster Linie an Studierende der Mathematik, der Wirtschaftsmathematik und der Technomathematik in mittleren und hoheren Semestern, sollte aber auch erfahrenen Mathematikern einen Zugang zur aktuellen Forschung und Anwendern einen Uberblick uber die vorhandenen Verfahren geben. Alle besprochenen Verfahren sind ausfuhrlich motiviert und mit einer vollstandigen Konvergenzanalyse versehen, und es werden zu allen konkreten Algorithmen Tabellen mit numerischen Resultaten angegeben. In Anhangen sind die benotigten Grundlagen aus der mehrdimensionalen Analysis und der linearen Algebra sowie Testbeispiele zusammengestellt. Abgerundet wird das Buch durch ca. 150 Aufgaben unterschiedlichen Umfangs und Schwierigkeitsgrades."

Le but de ce livre est de donner une introduction aux methodes de Monte-Carlo orientee vers la resolution des equations aux derivees partielles. Apres des rappels sur les techniques de simulation, de reduction de variance et de suites a discrepance faible, les auteurs traitent en detail le cas des equations de transport, de l'equation de Boltzmann et des equations paraboliques de diffusion. Dans chaque cas ils introduisent les processus aleatoires associees et discutent les techniques d'implementation.

Ce livre est exclusivement consacre aux algorithmes numeriques d'optimisation (quasi-Newton, faisceaux, programmation quadratique successive, points interieurs); les bases theoriques (conditions d'optimalite, multiplicateurs de Lagrange) sont supposees connues.
Son but est de familiariser le lecteur avec ces algorithmes, qui sont pour la plupart bien classiques. Leur description insiste sur leur implementation numerique, ils peuvent etre programmes directement par un lecteur experimente. Le cote theorique n'est pas pour autant neglige, avec demonstration de chaque theoreme de convergence ou vitesse de convergence; souvent, ces demonstrations utilisent des hypotheses minimales.

Le fil directeur de ce livre, construit a partir des cours de DESS et de DEA de l'auteur, est la fiabilite. Son but est de montrer concretement ce que peut apporter l'etude des processus stochasitques dans ce domaine. Chemin faisant, cela permet d'aborder, dans des cas relativement simples, des techniques variees utilisees dans l'etude des processus stochastiques, tout en conservant l'esprit des demonstrations generales.

Au cours des dernieres annees, les algorithmes stochastiques se sont beaucoup developpes tant sur le plan de l'analyse mathematique que vers diverses applications: automatique, images, neurones, statistique... Ce livre presente les divers types d'algorithmes stochastiques, illustres par des exemples: algorithmes a pas decroissants, algorithmes markoviens, recuit simule. Un large panorama des outils mathematiques requis et de leurs progres recents est explore. Ingenieurs a la recherche d'un eclairage mathematique sur leur pratique et mathematiciens interesses par un terrain ou les problemes ouverts restent nombreux decouvriront la variete et l'actualite de ce sujet. Mais ce livre est avant tout destine a attirer vers ce domaine quelques apprentis chercheurs.

Le but de ce livre est de presenter la theorie des solutions de viscosite pour les equations de Hamilton-Jacobi du premier ordre et ses applications aux problemes de controle optimal deterministe et de perturbations singulieres, en particulier du type Grandes Deviations. Il est principalement destine aux etudiants de troisieme cycle et aux chercheurs qui souhaitent se familiariser avec cette theorie mais il en fournit egalement un panorama assez complet pour les equations du premier ordre.