springer springer vieweg jun 1993 (5 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -CONTENTS: D.D. Dawson: Measure-valued Markov Processes.B. Maisonneuve: Processus de Markov: NaissanceRetournement, Regeneration.- J. Spencer: Nine lectures onRandom GraphsSpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 368 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents in a unified way the mathematical theory of well-posedness in optimization. The basic concepts of well-posedness and the links among them are studied, in particular Hadamard and Tykhonov well-posedness. Abstract optimization problems as well as applications to optimal control, calculus of variations and mathematical programming are considered. Both the pure and applied side of these topics are presented. The main subject is often introduced by heuristics, particular cases and examples. Complete proofs are provided. The expected knowledge of the reader does not extend beyond textbook (real and functional) analysis, some topology and differential equations and basic optimization. References are provided for more advanced topics. The book is addressed to mathematicians interested in optimization and related topics, and also to engineers, control theorists, economists and applied scientists who can find here a mathematical justification of practical procedures they encounter.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 436 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctness and reliability cannot be ensured to an acceptable level. Systems engineering needs to become a fully fledged scientific discipline and formal methods, which are characterised by their firm mathematical foundations, are playing a vital role in achieving this transition. This volume is based on the proceedings of the Formal Methods Workshop (FM91), held in Drymen, Scotland, 24-27 September 1991. This was the second workshop sponsored by the Canadian and US governments to address the role of formal methods in the development of digital systems. Traditionally, formal methods have evolved in isolation from more conventional approaches, and one of the aims of this workshop was to emphasise the benefits of integrating the two areas. The workshop concentrated on the themes of quality assurance, design methods and mathematical modelling techniques. Particular emphasis was given to safety and security applications. Among the topics covered in this volume are: what is a formal method ; social research on formal methods; current quality assurance methods and formal methods; a pragmatic approach to validation; integrating methods in practice; composition of descriptions; and topics in large program formal development. Formal Methods in Systems Engineering provides an overview of many of the major approaches to formal methods and the benefits which can result from them. It is relevant to academic and industrial researchers, industrial practitioners and government workers with an interest in certification.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 208 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The classical theory of natural selection, as developed by Fisher, Haldane, and 'Wright, and their followers, is in a sense a statistical theory. By and large the classical theory assumes that the underlying environment in which evolution transpires is both constant and stable - the theory is in this sense deterministic. In reality, on the other hand, nature is almost always changing and unstable. We do not yet possess a complete theory of natural selection in stochastic environ ments. Perhaps it has been thought that such a theory is unimportant, or that it would be too difficult. Our own view is that the time is now ripe for the development of a probabilistic theory of natural selection. The present volume is an attempt to provide an elementary introduction to this probabilistic theory. Each author was asked to con tribute a simple, basic introduction to his or her specialty, including lively discussions and speculation. We hope that the book contributes further to the understanding of the roles of 'Chance and Necessity' (Monod 1971) as integrated components of adaptation in nature.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -I Computer und Schnittstellen.- 1 Instrumentierung mit Arbeitsplatzcomputern.- 2 Schnittstellen und Vernetzung.- 3 Messen und Steuern mit IEC-Bus.- 4 Grundlagen der Gerätesteuerung mit IEEE-488.2 und SCPI.- II Signalerfassung, Verarbeitung, Darstellung.- 5 Grundlagen der Meßdatenerfassung und Meßdatenauswertung.- 6 Meßdatenauswertung und Meßunsicherheit.- III Praktische Instrumentierung und Anwendungen.- 7 Meßtechnische Instrumentierung von PCs.- 8 Erfassung und Verarbeitung dynamischer Meßwerte mit dem PC.- 9 PP2 - Eine typische Prozeßperipherie.- 10 Die neue Generation von Meßdateninterfaces - Gezeigt an den Unterschieden zwischen Datenlogger, Datenakquisition und Prozeßkontroller.- Tell IV Software für Erfassung und Verarbeitung.- 11 Software für Datenerfassung und Datenauswertung.- 12 Meßtechnik-Software - Anforderungen, Varianten, Lösungen.- 13 Zur Konzeption von Standardsoftware für die Meßdatenverarbeitung.- 14 ASYST - Eine Programmiersprache zur Meßdatenverarbeitung.- Normen-Verzeichnisse.- 1 Grundlagen-Normen.- 2 Normen für Elektrische Eigenschaften.- 3 Anwender-Normen.- 4 Außerdem.- 5 Internationale Normen.- 6 CCITT.- 7 Amerikanische Normen.- Sachwortverzeichnis.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 348 pp. Deutsch.