Environmental Systems Engineering explains how to use new computerized tools to tackle problems in systems engineering. This book covers: expert systems, fuzzy logic, networks, process dynamics, control and statistical approaches to systems analysis. Computer simulation, mathematical models, and newer methods that apply artificial intelligence and neural networks to environmental problems are emphasized. Each book topic is supported by an interactive web site featuring computer graphics, teaching games and navigational aids. Topics are developed through the use of computer exercises using practical problems as examples
Verfügbarkeit an Ihrem Standort wird überprüft
Dieses Buch ist auch in Ihrer Bibliothek verfügbar:
The Healthcare Delivery System -- Complexity and Systems in Healthcare -- Patient Flow -- Healthcare Financing -- Health Data and Informatics -- Lean -- Six Sigma -- Reliability and Patient Safety -- Health Analytics -- Capacity Management -- Healthcare Logistics -- Health Supply Chains -- Infection Control
Zugriffsoptionen:
Die folgenden Links führen aus den jeweiligen lokalen Bibliotheken zum Volltext:
Megatrends wie Nachhaltigkeit, Digitalisierung und Globalisierung steigern die Komplexität in der Produktentstehung und erfordern ein neues Paradigma: das Advanced Systems Engineering (ASE). Die Gestaltung nachhaltiger und kreislaufwirtschaftlich optimierter Produkte und Systeme ist eine zentrale Herausforderung, die mit dem ASE adressiert werden kann. Der Beitrag beschreibt aktuelle Lösungsansätze aus der Forschung.
Mega trends such as greentech, digitalization and globalization drive complexity in product creation, thereby calling for a new paradigm: Advanced Systems Engineering (ASE). Currently, the design and engineering of sustainable and circular products poses a challenge that can be addressed by ASE methods and technologies. This article describes current approaches from a research perspective.
Die Entwicklung innovativer Dienstleistungen bildet einen zentralen Erfolgsfaktor für Unternehmen aller Branchen im Hinblick auf die nachhaltige Sicherung ihrer Wettbewerbsfähigkeit. Dabei stellt die zunehmende Komplexität kundengerechter Lösungen immer höhere Anforderungen an das Verständnis der Gesamtzusammenhänge sowie an die eingesetzte Konstruktionsmethodik innerhalb von Entwicklungsprojekten. Ralf Klein erarbeitet das ganzheitliche Konzept des modellgestützten Service Systems Engineering zur effizienten Durchführung derartig komplexer Projekte. Er überträgt systemtheoretische Erkenntnisse auf den Kontext der Dienstleistungsentwicklung, um dadurch einen umfassenden Erklärungsansatz für das spezifische Wesen von Service Engineering Vorhaben zu finden. Darauf aufbauend leitet er ein individuell adaptier- und erweiterbares Instrumentarium ab, das die Lösung von Gestaltungsaufgaben in der Praxis unterstützt.
Zugriffsoptionen:
Die folgenden Links führen aus den jeweiligen lokalen Bibliotheken zum Volltext:
In the last few years we have all become daily users of Internet banking, social networks and cloud services. Preventing malfunctions in these services and protecting the integrity of private data from cyber attack are both current preoccupations of society at large. While modern technologies have dramatically improved the quality of software, the computer science community continues to address the problems of security by developing a theory of formal verification; a body of methodologies, algorithms and software tools for finding and eliminating bugs and security hazards. This book presents lectures delivered at the NATO Advanced Study Institute (ASI) School Marktoberdorf 2015 - 'Verification and Synthesis of Correct and Secure Systems'. During this two-week summer school, held in Marktoberdorf, Germany, in August 2015, the lecturers provided a comprehensive view of the current state-of-the-art in a large variety of subjects, including: models and techniques for analyzing security protocols; parameterized verification; synthesis of reactive systems; software model checking; composition checking; programming by examples; verification of current software; two-player zero-sum games played on graphs; software security by information flow; equivalents - combinatorics; and analysis of synthesis with 'Big Code'. The Marktoberdorf ASIs have become a high-level scientific nucleus of the international scientific network on formal methods, and one of the major international computer science summer schools. This book will be of interest to all those seeking an overview of current theories and applications in formal verification and security.