Geometric constraint programming increases flexibility in CAD design specifications and leads to new conceptual design paradigms.
This volume features a collection of work by leading researchers developing the various aspects of constraint-based product modeling.
In an introductory chapter the role of constraints in CAD systems of the future and their implications for the STEP data exchange format are discussed. The main part of the book deals with the application of constraints to conceptual and collaborative design, as well as state-of-the-art mathematical and algorithmic methods for constraint solving.

This new addition to the popular Essentials series provides a broad, general introduction to the topic of simulation within clinical education. An ideal tool for both teaching and learning, Essential Simulation in Clinical Education provides a theoretical and practical introduction to the subject of simulation, whilst also offering strategies for successful use of simulators within general clinical education and demonstrating best practice throughout. This timely new title provides: The latest information on developments in the field, all supported by an evidence-base Content written by a global team of experts Discussion of policy and strategy initiatives to ground simulation within the healthcare context Practical examples of cases, including inter-professional learning. A superb companion for those involved in multi-disciplinary healthcare teaching, or interested in health care education practices, Essential Simulation in Clinical Education is the most comprehensive guide to the field currently available.

This book reports on the latest advances in using BIM modelling to achieve the semantic enrichment of objects, allowing them to be used both as multidimensional databases - as comprehensive sources of information for finalizing various types of documentation in the building industry - and as modelling tools for the construction of virtual environments. Having advanced to a new stage of development, BIM modelling is now being applied in a range of increasingly complex contexts, and for various new purposes. This book examines the role that virtual reality and related technologies such as AI and IoT can play in preserving and disseminating our cultural heritage and built environment.

Illustrates the application of mathematical and computational modeling in a variety of disciplines With an emphasis on the interdisciplinary nature of mathematical and computational modeling, Mathematical and Computational Modeling: With Applications in the Natural and Social Sciences, Engineering, and the Arts features chapters written by well-known, international experts in these fields and presents readers with a host of state-of-the-art achievements in the development of mathematical modeling and computational experiment methodology. The book is a valuable guide to the methods, ideas, and tools of applied and computational mathematics as they apply to other disciplines such as the natural and social sciences, engineering, and technology. Mathematical and Computational Modeling: With Applications in the Natural and Social Sciences, Engineering, and the Arts also features: * Rigorous mathematical procedures and applications as the driving force behind mathematical innovation and discovery * Numerous examples from a wide range of disciplines to emphasize the multidisciplinary application and universality of applied mathematics and mathematical modeling * Original results on both fundamental theoretical and applied developments in diverse areas of human knowledge * Discussions that promote interdisciplinary interactions between mathematicians, scientists, and engineers Mathematical and Computational Modeling: With Applications in the Natural and Social Sciences, Engineering, and the Arts is an ideal resource for professionals in various areas of mathematical and statistical sciences, modeling and simulation, physics, computer science, engineering, biology and chemistry, industrial, and computational engineering. The book also serves as an excellent textbook for graduate courses in mathematical modeling, applied mathematics, numerical methods, operations research, and optimization.

Computer simulation was first pioneered as a scientific tool in meteorology and nuclear physics in the period following World War II, but it has grown rapidly to become indispensable in a wide variety of scientific disciplines, including astrophysics, high-energy physics, climate science, engineering, ecology, and economics. Digital computer simulation helps study phenomena of great complexity, but how much do we know about the limits and possibilities of this new scientific practice? How do simulations compare to traditional experiments? And are they reliable? Eric Winsberg seeks to answer these questions in "Science in the Age of Computer Simulation". Scrutinizing these issues with a philosophical lens, Winsberg explores the impact of simulation on such issues as the nature of scientific evidence; the role of values in science; the nature and role of fictions in science; and the relationship between simulation and experiment, theories and data, and theories at different levels of description. "Science in the Age of Computer Simulation" will transform many of the core issues in philosophy of science, as well as our basic understanding of the role of the digital computer in the sciences.

This book is concerned exclusively with discrete-time queues and their applications to the performance modeling of communication and computer networks. Since most modern networks operate on the basis of time slotting, and transmit information in fixed length (packets or cells), it thus becomes natural to model such networks in discrete-time by associating a time slot in a physical network with the unit time in the corresponding discrete-time model. The book shows how, in this way, very accurate models that faithfully reproduce the stochastic behaviour of a communication or computer network can be constructed.

The treatment is self contained, and progresses from basic probability theory and discrete-time queueing networks. These latter are applied to model the performance of numerous wide area satellite networks and local area networks, ranging in complexity from simple Aloha schemes to the timed token protocol of the FDDI network. The main objective of this book is to present a unified method for modeling any network access protocol as a discrete-time queueing network and t develop efficient solution techniques for these models. A significant number of the models and their solutions which are included have not previously appeared in the open literature.

The text should prove useful to practitioners and researchers concerned with communication and computer network performance modeling, or anyone wanting a sound understanding of the application of discrete-time technique to this subject area.

Soils interact with the biological environment in a number of ways. Our understanding of these interactions can often be enhanced by computer modelling. The primary function of this book is to introduce basic modelling skills and to show how even complex problems in the relationship between soil and the biosphere can be solved using modelling packages. The author presents numerous examples using ModelMaker, an easily learnt software package. Only basic mathematical skills are expected of the reader. A demo of ModelMaker is available on CD from Cherwell Scientific.

In this book the authors consider the natural environment as an integrated system and describe a cohesive approach to its modelling and prediction. The book emphasises the mathematical representation and numerical simulation of the interactions between the various environmental components and those of the environmental processes, including physical, chemical and biological. Furthermore, it summarises some of the recent progress and new developments in the modelling and prediction of the atmosphere, ocean, land surface, continental hydrosphere, cryosphere, etc. The authors also explore new theoretical frameworks in environmental prediction, such as systems analysis and statistical-dynamic modelling. The applications of remote sensing and geographic information systems in environmental modelling and prediction are discussed. Examples of integrated environmental modelling are given

Reliable scheduling in cutting conditions is very important in machining processes, and this requires thorough understanding of the physical behaviors of the machining process, which cannot be achieved without understanding the underlying mechanism of the processes. The book describes the mechanics and dynamics together with the clamping principles in milling processes, and can be used as a guideline for graduate students and research engineers who wish to be effective manufacture engineers and researchers. Many books have focused on common principles, which are suitable for general machining processes, e.g., milling, turning and drilling, etc. This book specifically aims at exploring the mechanics and dynamics of milling processes. Original theoretical derivations and new observations on static cutting force models, dynamic stability models and clamping principles associated with milling processes are classified and detailed. The book is indented as a text for graduate students and machining engineers who wish to intensively learn milling mechanism and machine tool vibration.

This book constitutes the refereed post-conference proceedings of the 6th EAI International Conference on Green Energy and Networking, GreeNets 2019, held in Dalian, China, May 5, 2019. The 30 full papers were selected form 44 submissions and cover a wide spectrum of ideas to reduce the impact of the climate change, while maintaining social prosperity. In this context, growing global concern leads to the adoption of the new technological paradigms, especially for the operation of future smart cities.

This book presents cutting-edge work on real-time modelling and processing, a highly active research field in both the research and industrial domains. Going beyond conventional real-time systems, major efforts are required to develop accurate and computational efficient real-time modelling algorithms and design automation tools that reflect the technological advances in high-speed and ultra-low-power transceiver communication architectures based on nanoscale devices. The book addresses basic and more advanced topics, such as I/O buffer circuits for ensuring reliable chip-to-chip communication, I/O buffer behavioural modelling, multiport empirical models for memory interfaces, compact behavioural modelling for memristive devices, and resource reservation modelling for distributed embedded systems. The respective chapters detail new research findings, new models, algorithms, implementations and simulations of the above-mentioned topics. As such, the book will help both graduate students and researchers understand the latest research into real-time modelling and processing.

This book discusses the latest advances in manufacturing and process control, with a special emphasis on digital manufacturing and intelligent technologies for manufacturing and industrial processes control. The human aspect of the developed technologies and products, their interaction with the users, as well as sustainability issues, are covered in detail. Development of new products using rapid prototyping systems, remote fabrication, and other advanced techniques, is described in detail, highlighting the state-of-the-art and current challenges. Based on both the AHFE 2019 International Conference on Human Aspects of Advanced Manufacturing, and the AHFE 2019 International Conference on Advanced Production Management and Process Control, held on July 24-28, 2019, in Washington D.C., USA, this book also highlight important strategies for managing enterprise of the future.

Information modeling technology - the open representation of information for database and other computing applications - has grown significantly in recent years as the need for universal systems of information coding has steadily increased. EXPRESS is a particularly successful ISO International Standard language family for object-flavored information modeling. This cogent introduction to EXPRESS provides numerous, detailed examples of the language family's applicability to a diverse range of endeavors, including mechanical engineering, petroleum exploration, stock exchange asset management, and the human genome project. The book also examines the history, practicalities, and implications of information modeling in general, and considers the vagaries of normal language that necessitate precise communication methods. This first-ever guide to information modeling and EXPRESS offers invaluable advice based on years of practical experience. It will be the introduction that students as well as information and data modeling professionals have been waiting for.

Why a book about logs? That's easy: the humble log is an abstraction that lies at the heart of many systems, from NoSQL databases to cryptocurrencies. Even though most engineers don't think much about them, this short book shows you why logs are worthy of your attention. Based on his popular blog posts, LinkedIn principal engineer Jay Kreps shows you how logs work in distributed systems, and then delivers practical applications of these concepts in a variety of common uses - data integration, enterprise architecture, real-time stream processing, data system design, and abstract computing models. Go ahead and take the plunge with logs; you're going love them. Learn how logs are used for programmatic access in databases and distributed systems Discover solutions to the huge data integration problem when more data of more varieties meet more systems Understand why logs are at the heart of real-time stream processing Learn the role of a log in the internals of online data systems Explore how Jay Kreps applies these ideas to his own work on data infrastructure systems at LinkedIn

Wireless networks represent an inexpensive and convenient way to connect to the Internet. However, despite their applications across several technologies, one challenge still remains: to understand the behavior of wireless sensor networks and assess their performance in large-scale scenarios. When a large number of network nodes need to interact, developing suitable analytical models is essential to ensure the appropriate coverage and throughput of these networks and to enhance user mobility. This is intrinsically difficult due to the size and number of different network nodes and users. This book highlights some examples which show how this problem can be overcome with the use of different techniques. An intensive parameter analysis shows the reader how to the exploit analytical models for an effective development and management of different types of wireless networks.

This book constitutes the refereed proceedings of the 4th EAI International Conference on Industrial Networks and Intelligent Systems, INISCOM 2018, held in Da Nang, Vietnam, in August 2018. The 26 full papers were selected from 38 submissions and are organized thematically in tracks: Telecommunications Systems and Networks; Industrial Networks and Applications; Hardware and Software Design and Development; Information Processing and Data Analysis; Signal Processing; Security and Privacy.

This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018.The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.

This book considers evolution at different scales: sequences, genes, gene families, organelles, genomes and species. The focus is on the mathematical and computational tools and concepts, which form an essential basis of evolutionary studies, indicate their limitations, and give them orientation. Recent years have witnessed rapid progress in the mathematics of evolution and phylogeny, with models and methods becoming more realistic, powerful, and complex. Aimed at graduates and researchers in phylogenetics, mathematicians, computer scientists and biologists, and including chapters by leading scientists: A. Bergeron, D. Bertrand, D. Bryant, R. Desper, O. Elemento, N. El-Mabrouk, N. Galtier, O. Gascuel, M. Hendy, S. Holmes, K. Huber, A. Meade, J. Mixtacki, B. Moret, E. Mossel, V. Moulton, M. Pagel, M.-A. Poursat, D. Sankoff, M. Steel, J. Stoye, J. Tang, L.-S. Wang, T. Warnow, Z. Yang, this book of contributed chapters explains the basis and covers the recent results in this highly topical area.

The essential textbook on agent-based modeling-now fully updated and expanded Agent-Based and Individual-Based Modeling has become the standard textbook on the subject for classroom use and self-instruction. Drawing on the latest version of NetLogo and fully updated with new examples, exercises, and an enhanced text for easier comprehension, this is the essential resource for anyone seeking to understand how the dynamics of biological, social, and other complex systems arise from the characteristics of the agents that make up these systems. Steven Railsback and Volker Grimm lead students stepwise through the processes of designing, programming, documenting, and doing scientific research with agent-based models, focusing on the adaptive behaviors that make these models necessary. They cover the fundamentals of modeling and model analysis, introduce key modeling concepts, and demonstrate how to implement them using NetLogo. They also address pattern-oriented modeling, an invaluable strategy for modeling real-world problems and developing theory. This accessible and authoritative book focuses on modeling as a tool for understanding real complex systems. It explains how to pose a specific question, use observations from actual systems to design models, write and test software, and more. A hands-on introduction that guides students from conceptual design to computer implementation to analysis Filled with new examples and exercises and compatible with the latest version of NetLogo Ideal for students and researchers across the natural and social sciences Written by two leading practitioners Supported by extensive instructional materials at www.railsback-grimm-abm-book.com

The majority of 0D/1D knock models available today are known for their poor accuracy and the great effort needed for their calibration. Alexander Fandakov presents a novel, extensively validated phenomenological knock model for the development of future engine concepts within a 0D/1D simulation environment that has one engine-specific calibration parameter. Benchmarks against the models commonly used in the automotive industry reveal the huge gain in knock boundary prediction accuracy achieved with the approach proposed in this work. Thus, the new knock model contributes substantially to the efficient design of spark ignition engines employing technologies such as full-load exhaust gas recirculation, water injection, variable compression ratio or lean combustion. About the Author Alexander Fandakov holds a PhD in automotive powertrain engineering from the Institute of Internal Combustion Engines and Automotive Engineering (IVK) at the University of Stuttgart, Germany. Currently, he is working as an advanced powertrain development engineer in the automotive industry.

This textbok deals with modelling, analysis, and control of dynamical systems. Its objective is to familiarize students with the basics of dynamical system theory while equipping them with the tools needed for control system design. The emphasis is on design in order to show how dynamical system theory fits into practical applications. The broad scope of this book allows it to demonstrate the multidisciplinary role of dynamics and control. In particular, it presents neural networks, fuzzy systems, and genetic algorithms, and provides a concise introducton to chaotic systems. Systems and Control covers classical methods as well as the techniques of modern control engineering such as fuzzy logic, neural networks, and genetic algorithms. No special background is necessary to use this text beyond basic differential equations and elements of linear algebra. A free solutions manual is avaialbe for adopting lecturers.

This book constitutes the thoroughly refereed papers of the workshops held at the 8th International Conference on New Trends in Model and Data Engineering, MEDI 2018, in Marrakesh, Morocco, in October 2018. The 19 full and the one short workshop papers were carefully reviewed and selected from 50 submissions. The papers are organized according to the 4 workshops: International Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2018, Model and Data Engineering for Social Good Workshop, MEDI4SG 2018, Second International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems, IWCFS 2018, International Workshop on Formal Model for Mastering Multifaceted Systems, REMEDY 2018.

This book constitutes the refereed proceedings of the 37th International Conference on Conceptual Modeling, ER 2018, held in XI'an, China, in October 2018. The 30 full and 13 short papers presented together with 3 keynotes were carefully reviewed and selected from 151 submissions. This events covers a wide range of following topics: Conceptual modeling studies, ontological modeling, semi-structured data modeling, process modeling and management, spatio-temporal modeling, cloud-based modeling, schema and view modeling,languages and models, NoSQL modeling, conceptual modeling for machine learning and reasoning, applications of conceptual modeling.

This book constitutes the refereed proceedings of the 14th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2018, held in Tallinn, Estonia, in June 2018. The main focus of EOMAS is on the role, importance, and application of modeling and simulation within the extended organizational and enterprise context. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections on conceptual modeling, enterprise engineering, and formal methods.

This two-volume set LNICST 286-287 constitutes the post-conference proceedings of the First EAI International Conference on Artificial Intelligence for Communications and Networks, AICON 2019, held in Harbin, China, in May 2019. The 93 full papers were carefully reviewed and selected from 152 submissions. The papers are organized in topical sections on artificial intelligence, mobile network, deep learning, machine learning, wireless communication, cognitive radio, internet of things, big data, communication system, pattern recognition, channel model, beamforming, signal processing, 5G, mobile management, resource management, wireless position.