This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning. It highlights the role of models as mediators between theory and experimentation, and as educational devices, as well as their relevance in testing hypotheses and explanatory functions. The Springer Handbook merges philosophical, cognitive and epistemological perspectives on models with the more practical needs related to the application of this tool across various disciplines and practices. The result is a unique, reliable source of information that guides readers toward an understanding of different aspects of model-based science, such as the theoretical and cognitive nature of models, as well as their practical and logical aspects. The inferential role of models in hypothetical reasoning, abduction and creativity once they are constructed, adopted, and manipulated for different scientific and technological purposes is also discussed. Written by a group of internationally renowned experts in philosophy, the history of science, general epistemology, mathematics, cognitive and computer science, physics and life sciences, as well as engineering, architecture, and economics, this Handbook uses numerous diagrams, schemes and other visual representations to promote a better understanding of the concepts. This also makes it highly accessible to an audience of scholars and students with different scientific backgrounds. All in all, the Springer Handbook of Model-Based Science represents the definitive application-oriented reference guide to the interdisciplinary field of model-based reasoning.

This handbook brings together diverse domains and technical competences of Model Based Systems Engineering (MBSE) into a single, comprehensive publication. It is intended for researchers, practitioners, and students/educators who require a wide-ranging and authoritative reference on MBSE with a multidisciplinary, global perspective. It is also meant for those who want to develop a sound understanding of the practice of systems engineering and MBSE, and/or who wish to teach both introductory and advanced graduate courses in systems engineering. It is specifically focused on individuals who want to understand what MBSE is, the deficiencies in current practice that MBSE overcomes, where and how it has been successfully applied, its benefits and payoffs, and how it is being deployed in different industries and across multiple applications. MBSE engineering practitioners and educators with expertise in different domains have contributed chapters that address various uses of MBSE and related technologies such as simulation and digital twin in the systems lifecycle. The introductory chapter reviews the current state of practice, discusses the genesis of MBSE and makes the business case. Subsequent chapters present the role of ontologies and meta-models in capturing system interdependencies, reasoning about system behavior with design and operational constraints; the use of formal modeling in system (model) verification and validation; ontology-enabled integration of systems and system-of-systems; digital twin-enabled model-based testing; system model design synthesis; model-based tradespace exploration; design for reuse; human-system integration; and role of simulation and Internet-of-Things (IoT) within MBSE.

This Springer Handbook of Metrology and Testing presents the principles of Metrology – the science of measurement – and the methods and techniques of Testing – determining the characteristics of a given product – as they apply to chemical and microstructural analysis, and to the measurement and testing of materials properties and performance, including modelling and simulation. The principal motivation for this Handbook stems from the increasing demands of technology for measurement results that can be used globally. Measurements within a local laboratory or manufacturing facility must be able to be reproduced accurately anywhere in the world. The book integrates knowledge from basic sciences and engineering disciplines, compiled by experts from internationally known metrology and testing institutions, and academe, as well as from industry, and conformity-assessment and accreditation bodies. The Commission of the European Union has expressed this as there is no science without measurements, no quality without testing, and no global markets without standards.

This handbook is the definitive reference for the interdisciplinary field that is ocean engineering. It integrates the coverage of fundamental and applied material and encompasses a diverse spectrum of systems, concepts and operations in the maritime environment, as well as providing a comprehensive update on contemporary, leading-edge ocean technologies. Coverage includes an overview on the fundamentals of ocean science, ocean signals and instrumentation, coastal structures, developments in ocean energy technologies and ocean vehicles and automation. It aims at practitioners in a range of offshore industries and naval establishments as well as academic researchers and graduate students in ocean, coastal, offshore and marine engineering and naval architecture. The Springer Handbook of Ocean Engineering is organized in five parts: Part A: Fundamentals, Part B: Autonomous Ocean Vehicles, Subsystems and Control, Part C: Coastal Design, Part D: Offshore Technologies, Part E: Energy Conversion

There are several key ingredients common to the various forms of model-based reasoning considered in this book. The term ‘model’ comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations and are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. The book’s contributors are researchers active in the area of creative reasoning in science and technology.

This resource covers all areas of interest for the practicing engineer as well as for the student at various levels and educational institutions. It features the work of authors from all over the world who have contributed their expertise and support the globally working engineer in finding a solution for today‘s mechanical engineering problems. Each subject is discussed in detail and supported by numerous figures and tables.

The Springer Handbook of Auditory Research presents a series of comprehensive and synthetic reviews of the fundamental topics in modern auditory research. The v- umes are aimed at all individuals with interests in hearing research including advanced graduate students, post-doctoral researchers, and clinical investigators. The volumes are intended to introduce new investigators to important aspects of hearing science and to help established investigators to better understand the fundamental theories and data in fields of hearing that they may not normally follow closely. Each volume presents a particular topic comprehensively, and each serves as a synthetic overview and guide to the literature. As such, the chapters present neither exhaustive data reviews nor original research that has not yet appeared in pe- reviewed journals. The volumes focus on topics that have developed a solid data and conceptual foundation rather than on those for which a literature is only beg- ning to develop. New research areas will be covered on a timely basis in the series as they begin to mature.

This book contains contributions presented during the international conference on Model-Based Reasoning (MBR ́012), held on June 21-23 in Sestri Levante, Italy. Interdisciplinary researchers discuss in this volume how scientific cognition and other kinds of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. Some of the contributions analyzed the problem of model-based reasoning in technology and stressed the issues of scientific and technological innovation. The book is divided in three main parts: models, mental models, representations; abduction, problem solving and practical reasoning; historical, epistemological and technological issues. The volume is based on the papers that were presented at the international

Electroreception has become one of the most revealing areas in the study of the neural basis of behavior, and neurobiologists recognize it as a model sensory system for experimental study. Through studies of electroreception, researchers have gained extensive knowledge about a complete sensory system, from molecular biology to computation, communication, and behavior. The book Electroreception will examine the behavior, structure, and function of the electrosensory systems of fish and other vertebrates. As a comprehensive volume on the subject, the book will serve as both an introduction to the study of electroreception and a reference and review volume for researchers in related fields.

The process of developing models, known as modeling, allows scientists to visualize difficult concepts, explain complex phenomena and clarify intricate theories. In recent years, science educators have greatly increased their use of modeling in teaching, especially real-time dynamic modeling, which is central to a scientific investigation. Modeling in science teaching is being used in an array of fields, everything from primary sciences to tertiary chemistry to college physics, and it is sure to play an increasing role in the future of education. Models and Modeling: Cognitive Tools for Scientific Enquiry is a comprehensive introduction to the use of models and modeling in science education. It identifies and describes many different modeling tools and presents recent applications of modeling as a cognitive tool for scientific enquiry.