The book reports on the 11th International Workshop on Railway Noise, held on 9 - 13 September, 2013, in Uddevalla, Sweden. The event, which was jointly organized by the Competence Centre Chalmers Railway Mechanics (CHARMEC) and the Departments of Applied Mechanics and Applied Acoustics at Chalmers University of Technology in Gothenburg, Sweden, covered a broad range of topics in the field of railway noise and vibration, including: prospects, legal regulations and perceptions; wheel and rail noise; prediction, measurements and monitoring; ground-borne vibration; squeal noise and structure-borne noise; and aerodynamic noise generated by high-speed trains. Further topics included: resilient track forms; grinding, corrugation and roughness; and interior noise and sound barriers. This book, which consists of a collection of peer-reviewed papers originally submitted to the workshop, not only provides readers with an overview of the latest developments in the field, but also offers scientists and engineers essential support in their daily efforts to identify, understand and solve a number of problems related to railway noise and vibration, and to achieve their ultimate goal of reducing the environmental impact of railway systems.

DRAG (from un modele de la Demande Routiere, des Accidents et leur Gravite) is a complex computer model that simulates accident propensities under detailed conditions. The DRAG approach constitutes the largest road accident modelling effort ever undertaken. Gaudry is the creator and developer of DRAG and this work explains its nature, purpose and value. Such a model, which explains accidents for a whole region, province or country, has advantages in answering many questions asked about accidents (such as the role of the economic cycle, weather, prices, insurance etc.) that other models fail to take fully into account.
DRAG research is underpinned by a fundamental theoretical innovation which sees a 3-level approach to analysing the determinants of the number of road victims in a given accident: Exposure (the distance travelled), Accident Frequency Risk and Accident Severity Risk (i.e. the number of victims of each type of accident). In applying flexible mathematical forms, the DRAG model also allows significant conceptual and empirical claims to be made about the importance of detecting responses that reverse themselves (to alcohol, and to other factors).
Under Gaudry's guidance, a family of DRAG-inspired models has grown up, based on their development for different countries and this book explores each national model in turn. As more countries seek to adopt the DRAG approach, this book serves as a timely, unique and valuable guide to the model.

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in the system, either taking up roles that used to be performed by mechanical devices, or providing functionality that is not otherwise possible. The goal of this book is to investigate how formal methods can be applied to the domain of embedded system design. The emphasis is on the specification, representation, validation, and design exploration of such systems from a high-level perspective. The authors review the framework upon which the theories and experiments are based, and through which the formal methods are linked to synthesis and simulation. A formal verification methodology is formulated to verify general properties of the designs and demonstrate that this methodology is efficient in dealing with the problem of complexity and effective in finding bugs. However, manual intervention in the form of abstraction selection and separation of timing and functionality is required. It is conjectured that, for specific properties, efficient algorithms exist for completely automatic formal validations of systems. Synchronous Equivalence: Formal Methods for Embedded Systems presents a brand new formal approach to high-level equivalence analysis. It opens design exploration avenues previously uncharted. It is a work that can stand alone but at the same time is fully compatible with the synthesis and simulation framework described in another book by Kluwer Academic Publishers Hardware-Software Co-Design of Embedded Systems: The POLIS Approach, by Balarin et al. Synchronous Equivalence: Formal Methods for Embedded Systems will be of interest to embedded system designers (automotive electronics, consumer electronics, and telecommunications), micro-controller designers, CAD developers and students, as well as IP providers, architecture platform designers, operating system providers, and designers of VLSI circuits and systems.

SISDEP a (TM)95 provides an international forum for the presentation of state-of-the-art research and development results in the area of numerical process and device simulation. Continuously shrinking device dimensions, the use of new materials, and advanced processing steps in the manufacturing of semiconductor devices require new and improved software. The trend towards increasing complexity in structures and process technology demands advanced models describing all basic effects and sophisticated two and three dimensional tools for almost arbitrarily designed geometries. The book contains the latest results obtained by scientists from more than 20 countries on process simulation and modeling, simulation of process equipment, device modeling and simulation of novel devices, power semiconductors, and sensors, on device simulation and parameter extraction for circuit models, practical application of simulation, numerical methods, and software.

This book compares existing soil erosion models and determines their suitability for predicting the impacts of global change upon soil erosion. The common datasets used for the evaluation are drawn from both temperate and semi-arid areas; they represent 73 site-years of data from seven sites in three countries. Six field-scale erosion models are evaluated; five of these are continuous-simulation types (GLEAMS, EPIC, CSEP, MEDRUSH and WEPP), the other is event-based (EUROSERM). After an introduction, the results of the model evaluation exercise are presented. Subsequent sections deal with weaknesses or omissions in current modelling approaches, descriptions of specific erosion models, and potential or actual model applications.

The book describes what these models are, what they are based on, how they function, and then, most innovatively, how they can be used to generate new useful knowledge about the environmental system.

Discusses this generation of knowledge by computer models from an epistemological perspective and illustrates it by numerous examples from applied and fundamental research.

Includes ample technical appendices and is a valuable source of information for graduate students and scientists alike working in the field of environmental sciences.

This book highlights recent developments in multidimensional data visualization, presenting both new methods and modifications on classic techniques. Throughout the book, various applications of multidimensional data visualization are presented including its uses in social sciences (economy, education, politics, psychology), environmetrics, and medicine (ophthalmology, sport medicine, pharmacology, sleep medicine).

The book provides recent research results in optimization-based visualization. Evolutionary algorithms and a two-level optimization method, based on combinatorial optimization and quadratic programming, are analyzed in detail. The performance of these algorithms and the development of parallel versions is discussed.

The encorporation of new visualization techniques to improve the capabilies of artificial neural networks (self-organizing maps, feed-forward networks) is also discussed.

The book includes over 100 detailed images presenting examples of the different visualization techniques that are presented.

This book is intended for scientists and researchers in any field of study where complex and multidimensional data must be represented visually.

Building upon the fundamental principles of decision theory, Decision-Based Design: Integrating Consumer Preferences into Engineering Design presents an analytical approach to enterprise-driven Decision-Based Design (DBD) as a rigorous framework for decision making in engineering design. Once the related fundamentals of decision theory, economic analysis, and econometrics modelling are established, the remaining chapters describe the entire process, the associated analytical techniques, and the design case studies for integrating consumer preference modeling into the enterprise-driven DBD framework. Methods for identifying key attributes, optimal design of human appraisal experiments, data collection, data analysis, and demand model estimation are presented and illustrated using engineering design case studies. The scope of the chapters also provides: A rigorous framework of integrating the interests from both producer and consumers in engineering design, Analytical techniques of consumer choice modelling to forecast the impact of engineering decisions, Methods for synthesizing business and engineering models in multidisciplinary design environments, and Examples of effective application of Decision-Based Design supported by case studies. No matter whether you are an engineer facing decisions in consumer related product design, an instructor or student of engineering design, or a researcher exploring the role of decision making and consumer choice modelling in design, Decision-Based Design: Integrating Consumer Preferences into Engineering Design provides a reliable reference over a range of key topics.

Shape interrogation is the process of extraction of information from a geometric model. It is a fundamental component of Computer Aided Design and Manufacturing (CAD/CAM) systems. The authors focus on shape interrogation of geometric models bounded by free-form surfaces. Free-form surfaces, also called sculptured surfaces, are widely used in the bodies of ships, automobiles and aircraft, which have both functionality and attractive shape requirements. Many electronic devices as well as consumer products are designed with aesthetic shapes, which involve free-form surfaces. This book provides the mathematical fundamentals as well as algorithms for various shape interrogation methods including nonlinear polynomial solvers, intersection problems, differential geometry of intersection curves, distance functions, curve and surface interrogation, umbilics and lines of curvature, geodesics, and offset curves and surfaces. This book will be of interest both to graduate students and professionals.

In GPU Pro5 Advanced Rendering Techniques, section editors Wolfgang Engel, Christopher Oat, Carsten Dachsbacher, Michal Valient, Wessam Bahnassi, and Marius Bjorge have once again assembled a high-quality collection of cutting-edge techniques for advanced graphics processing unit (GPU) programming.

Divided into six sections, the book covers rendering, lighting, effects in image space, mobile devices, 3D engine design, and compute. It explores rasterization of liquids, ray tracing of art assets that would otherwise be used in a rasterized engine, physically based area lights, volumetric light effects, screen-space grass, the usage of quaternions, and a quadtree implementation on the GPU. It also addresses the latest developments in deferred lighting on mobile devices, OpenCL optimizations for mobile devices, morph targets, and tiled deferred blending methods.

In color throughout, GPU Pro5 is the only book that incorporates contributions from more than 50 experts who cover the latest developments in graphics programming for games and movies. It presents ready-to-use ideas and procedures that can help solve many of your daily graphics programming challenges. Example programs with source code are provided on the book s CRC Press web page."

Supramolecular chemistry has been defined by J.-M. Lehn as "a highly interdisciplinary field of science covering the chemical, physical, and biological features of chemical species of higher complexity, that are held together and organized by means of intermolecular (noncovalent) binding interactions" (Science, 1993). Recognition, reactivity, and transport represent three basic functional features, in essence dynami s, which may be translated into structural features. The purpose of the NATO workshop which took place september 1-5, 1993 at the Bischenberg (near Strasbourg) was to present computations which may contribute to the atomic level understanding of the structural and thermodynamical features involved in the processes of molecular recognition and supramolecular organization. of "supra-molecular modeling." Other The main focus was therefore, on the many facets applications of computers in chemistry, such as automation, simulation of processes, procedures for fitting kinetic or thermodynamic data, computer assisted synthetic strategies, use of data bases for structure elucidation or for bibliographic searches, have an obvious impact in supramolecular chemistry as well, but were not presented at the workshop.

This introduction to random variables and signals provides engineering students with the analytical and computational tools for processing random signals using linear systems. It presents the underlying theory as well as examples and applications using computational aids throughout, in particular, computer-based symbolic computation programs are used for performing the analytical manipulations and the numerical calculations. The accompanying CD-ROM provides MathcadTM and MatlabTM notebooks and sheets to develop processing methods. Intended for a one-semester course for advanced undergraduate or beginning graduate students, the book covers such topics as: set theory and probability; random variables, distributions, and processes; deterministic signals, spectral properties, and transformations; and filtering, and detection theory. The large number of worked examples together with the programming aids make the book eminently suited for self study as well as classroom use.

The focus from most Virtual Reality (VR) systems lies mainly on the visual immersion of the user. But the emphasis only on the visual perception is insufficient for some applications as the user is limited in his interactions within the VR. Therefore the textbook presents the principles and theoretical background to develop a VR system that is able to create a link between physical simulations and haptic rendering which requires update rates of 1\,kHz for the force feedback. Special attention is given to the modeling and computation of contact forces in a two-finger grasp of textiles. Addressing further the perception of small scale surface properties like roughness, novel algorithms are presented that are not only able to consider the highly dynamic behaviour of textiles but also capable of computing the small forces needed for the tactile rendering at the contact point. Final analysis of the entire VR system is being made showing the problems and the solutions found in the work

The management of production and service processes can be supported by microcomputer simulation models-effectively and inexpensively-if the techniques are presented in an understandable manner. Drs. Klafehn, Weinroth, and Boronico prove this and show how to do it-not only for the benefit of operations managers themselves, but for others with management responsibilities in a variety of businesses and industries. They will learn how important daily operations problems can be modeled on a microcomputer, gain understanding of overall simulation methodology, and learn the several forms of cost savings achievable through simulation. For teachers in business schools the book will also provide a link between general management and the management of engineering and R&D. The first chapter introduces the reader to the concepts and steps for undertaking a microcomputer simulation project. In addition, the benefits, drawbacks, and myths are reviewed in detail. Chapter two explores, in a conversational scenario, what is involved in taking a management operations problem involving a truck transfer depot from its point of inception to the formulation of a systems operation model, which in a later chapter is ultimately put into a computer simulation model and tested to, in a sense, come up with answers to the questions posed in the hypothetical conversation. Subsequent chapters in the book are oriented to a discussion of other operations management problems and the effort to seek insight and solutions through simulation modeling. A Just-in-Time manufacturing system is addressed, recognizing the push-pull concept as well as looking at the quality aspect. Attempting to determine the optimum levels for safety, stock, order points, and order quantity is investigated through computer simulation. These levels are predicated on balancing the costs associated with ordering and holding goods as well as the penalty costs of stocking out. Using a simulated environment enables the inclusion of the variability evidenced by the type of distribution. The remaining chapters also review alternative rules and what ifs as applied to machine configuration, facility location for a satellite EMS unit, and job shop operations. Each of the applications chapters provides a printout of the basic computer model, written in GPSS, that was then modified to investigate alternative scenarios.

This book is devoted to a new branch of experimental design theory called simulation experimental design. There are many books devoted either to the theory of experimental design or to system simulation techniques, but in this book an approach to combine both fields is developed. Especially the mathematical theory of such universal variance reduction techniques as splitting and Russian Roulette is explored. The book contains a number of results on regression design theory related to nonlinear problems, the E-optimum criterion and designs which minimize bias. Audience: This volume will be of value to readers interested in systems simulation, applied statistics and numerical methods with basic knowledge of applied statistics and linear algebra.

This book presents a collection of papers on topics in the field of strategic mine planning, including orebody modeling, mine-planning optimization and the optimization of mining complexes. Elaborating on the state of the art in the field, it describes the latest technologies and related research as well as the applications of a range of related technologies in diverse industrial contexts.

I: EMGP3 USER GUIDE.- II: INTEGRATION ALGORITHMS.- III: METEOROLOGICAL DATA FILES AND DATA PROCESSING.- IV: EMGP3 COMPONENT MODELS.- V: EXAMPLES OF EMGP3 SIMULATIONS.- Annex A: EMGP3 INPUT FILES: Preparation, Limitations, and Data Sequence.- Preparing an EMGP3 simulation.- Limits imposed to EMGP3 configurations.- EMGP3 input file data sequence.- Annex B: TABLES OF INPUT PARAMETERS.- Types of parameter tables.- Use of the parameter tables.- Tables EL-1 to EL-41: System element parameters.- Tables CR-1 to CR-15: Controller parameters.- Tables SV-1 and SV-2: Switching valve parameters.- Tables HP-1 and HP-2: Heat pump parameters.- Tables ES-1 to ES-22: Excitation function and subsystem parameters.- Annex C: LIST OF ERROR MESSAGES.

This textbook provides a comprehensive introduction to probability and stochastic processes, and shows how these subjects may be applied in computer performance modeling. The author's aim is to derive probability theory in a way that highlights the complementary nature of its formal, intuitive, and applicative aspects while illustrating how the theory is applied in a variety of settings. Readers are assumed to be familiar with elementary linear algebra and calculus, including being conversant with limits, but otherwise, this book provides a self-contained approach suitable for graduate or advanced undergraduate students. The first half of the book covers the basic concepts of probability, including combinatorics, expectation, random variables, and fundamental theorems. In the second half of the book, the reader is introduced to stochastic processes. Subjects covered include renewal processes, queueing theory, Markov processes, matrix geometric techniques, reversibility, and networks of queues. Examples and applications are drawn from problems in computer performance modeling. Throughout, large numbers of exercises of varying degrees of difficulty will help to secure a reader's understanding of these important and fascinating subjects.

This book presents the state of the art in high-performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and the future of high-performance systems and heterogeneous architectures in particular. The application-related contributions cover computational fluid dynamics, material science, medical applications and climate research; innovative fields such as coupled multi-physics and multi-scale simulations are highlighted. All papers were chosen from presentations given at the 18th Workshop on Sustained Simulation Performance held at the HLRS, University of Stuttgart, Germany in October 2013 and subsequent Workshop of the same name held at Tohoku University in March 2014.

This book contains contributions presented during the international conference on Model-Based Reasoning (MBR012), 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

"

This status report features the most recent developments in the field, spanning a wide range of topical areas in the computer simulation of condensed matter/materials physics. Both established and new topics are included, ranging from the statistical mechanics of classical magnetic spin models to electronic structure calculations, quantum simulations, and simulations of soft condensed matter.

Changes and additions are sprinkled throughout. Among the significant new features are: * Markov-chain simulation (Sections 1. 3, 2. 6, 3. 6, 4. 3, 5. 4. 5, and 5. 5); * gradient estimation (Sections 1. 6, 2. 5, and 4. 9); * better handling of asynchronous observations (Sections 3. 3 and 3. 6); * radically updated treatment of indirect estimation (Section 3. 3); * new section on standardized time series (Section 3. 8); * better way to generate random integers (Section 6. 7. 1) and fractions (Appendix L, program UNIFL); * thirty-seven new problems plus improvements of old problems. Helpful comments by Peter Glynn, Barry Nelson, Lee Schruben, and Pierre Trudeau stimulated several changes. Our new random integer routine extends ideas of Aarni Perko. Our new random fraction routine implements Pierre L'Ecuyer's recommended composite generator and provides seeds to produce disjoint streams. We thank Springer-Verlag and its late editor, Walter Kaufmann-Bilhler, for inviting us to update the book for its second edition. Working with them has been a pleasure. Denise St-Michel again contributed invaluable text-editing assistance. Preface to the First Edition Simulation means driving a model of a system with suitable inputs and observing the corresponding outputs. It is widely applied in engineering, in business, and in the physical and social sciences.

1.1. INTRODUCTION Plastic covering, either framed or floating, is now used worldwide to protect crops from unfavorable growing conditions, such as severe weather and insects and birds. Protected cultivation in the broad sense, including mulching, has been widely spread by the innovation of plastic films. Paper, straw, and glass were the main materials used before the era of plastics. Utilization of plastics in agriculture started in the developed countries and is now spreading to the developing countries. Early utilization of plastic was in cold regions, and plastic was mainly used for protection from the cold. Now plastic is used also for protection from wind, insects and diseases. The use of covering techniques started with a simple system such as mulching, then row covers and small tunnels were developed, and finally plastic houses. Floating mulch was an exception to this sequence: it was introduced rather recently, although it is a simple structure. New development of functional and inexpensive films triggered widespread use of floating mulch. Table 1.1. The use a/plastic mulch in the world (after Jouet, 2001).

This contributed volume contains the conference proceedings of the Simulation of Urban Mobility (SUMO) conference 2014, Berlin. The included research papers cover a wide range of topics in traffic planning and simulation, including open data, vehicular communication, e-mobility, urban mobility, multimodal traffic as well as usage approaches. The target audience primarily comprises researchers and experts in the field, but the book may also be beneficial for graduate students.

This book offers a new, theoretical approach to information dynamics, i.e., information processing in complex dynamical systems. The presentation establishes a consistent theoretical framework for the problem of discovering knowledge behind empirical, dynamical data and addresses applications in information processing and coding in dynamical systems. This will be an essential reference for those in neural computing, information theory, nonlinear dynamics and complex systems modeling.