Page 1
Page 1
What Every Engineer Should Know About Smart Cities
It is not just a theoretical exploration of smart cities. It goes beyond that by providing an in-depth look at the key technologies that are essential to creating smart cities. From the Internet of Things and blockchain to digital twins and modeling and simulations, readers will gain a solid understanding of the foundational technologies that make smart cities possible. With detailed discussions and real-world examples of smart mobility, smart health, smart education, and smart agribusiness, readers will gain a deep understanding of the requirements and characteristics that engineers need to contribute to the development of smart cities.
Vehicle Propulsion Systems : Introduction to Modeling and Optimization ; 2nd ed.
Automobiles are responsible for a substantial part of the world's consumption of primary energy, mostly fossil liquid hydrocarbons. The reduction of the fuel consumption of these vehicles has become a top priority. Many ideas to reach that objective have been presented. In most cases these systems are more complex than the traditional approaches. For such complex systems a heuristic design approach fails. The only way to deal with this situation is to employ model-based methods. This text provides an introduction to the mathematical modeling and subsequent optimization of vehicle propulsion systems and their supervisory control algorithms.
Tools and Algorithms for the Construction and Analysis of Systems ; 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
Tools and algorithms for the construction and analysis of systems ; 28th International Conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, part I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
Systems Modeling and Simulation : Theory and Applications, Asian Simulation Conference 2006
Aimed at exploring challenges in methodologies for modeling, control and computation in simu lation, and their applications in social, economic, and financial fields as well as established scientific and engineering solutions. The conference was held in Tokyo from October 30 to November 1, 2006, and included keynote speeches presented by technology and industry leaders, technical sessions, organized sessions, poster sessions, and vendor exhibits. It was the seventh annual inter national conference on system simulation and scientific computing, which is organized by the Japan Society for Simulation Technology (JSST), the Chi nese Association for System Simulation (CASS), and the Korea Society for Simulation (KSS). For the conference, all submitted papers were refereed by the international technical program committee, each paper receiving at least two independent reviews.
Systems modeling and simulation : Theory and applications ; 3rd Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
Constitutes the refereed post-proceedings of the third Asian Simulation Conference, AsiaSim 2004, held in Jeju Island, Korea in October 2004. The 78 revised full papers presented together with 2 invited keynote papers were carefully reviewed and selected from 178 submissions; after the conference, the papers went through another round of revision. The papers are organized in topical sections on modeling and simulation methodology, manufacturing, aerospace simulation, military simulation, medical simulation, general applications, network simulation and modeling, e-business simulation, numerical simulation, traffic simulation, transportation, virtual reality, engineering applications, and DEVS modeling and simulation.
Systems Biology : International Research and Development
Systems biology is defined for the purpose of this study as the understanding of biological network behaviors, and in particular their dynamic aspects, which requires the utilization of mathematical modeling tightly linked to experiment. This involves a variety of approaches, such as the identification and validation of networks, the creation of appropriate datasets, the development of tools for data acquisition and software development, and the use of modeling and simulation software in close linkage with experiment. All of these are discussed in this volume. Of course, the definition becomes ambiguous at the margins, but at the core is the focus on networks, which makes it clear that the goal is to understand the operation of the systems, rather than the component parts.
Systèmes multi-èchelles : Modélisation et simulation = Multi-scale systems : Modeling and simulation
Multiscale Systems is an introduction to the problem of multiscale systems from the perspective of the applied mathematician. It consists of a mosaic of examples whose only link is belonging to the very large family of problems arising from physics in the broadest sense, which present, for their modeling and simulation, this essential difficulty of containing within them very different time or space scales.
Substrate Noise Coupling in RFICs
The book reports modeling and simulation techniques for substrate noise coupling effects in RFICs and introduces isolation structures and design guides to mitigate such effects with the ultimate goal of enhancing the yield of RF and mixed signal SoCs . This is particularly critical when process feature sizes scale down to the nano meter range.
Structures Under Crash and Impact : Continuum Mechanics, Discretization and Experimental Characterization
Structures Under Crash and Impact: Continuum Mechanics, Discretization and Experimental Characterization examines the testing and modeling of materials and structures under dynamic loading conditions. Readers will find an in-depth analysis of the current mathematical modeling and simulation tools available for a variety of materials, in addition to both the benefits and limitations they pose in industrial design. The models discussed are also available in commercial codes such as LS-DYNA and AUTODYN. Following a logical and well organized structure, this volume uniquely combines experimental procedures with numerical simulation and features examples from issues taken directly from the automotive, aerospace, and defense industries.
Semiconductor Modeling : For Simulating Signal, Power, and Electromagnetic Integrity
Semiconductor Modeling: For Simulating Signal, Power, and Electromagnetic Integrity gives designers and engineers a broad view of using semiconductor models to design high-speed circuit boards. Most issues in the field of designing high-frequency circuits, from the beginning of modeling and simulation using EDA tools to future trends, are discussed and integrated.
Selected Topics in Cancer Modeling : Genesis, Evolution, Immune Competition, and Therapy
A major challenge in the modeling and simulation of tumor growth is the mathematical description of living matter, which is far more complex than a mathematical description of inert matter. One critical piece of this challenge is creating multiscale models that take into account subcellular, cellular, and macroscopic levels of cancer. The complexity of these different levels requires the development of new mathematical methods and ideas, which are examined in this work. Written by first-rate researchers in the field of mathematical biology, this collection of selected chapters offers a comprehensive overview of state-of-the-art mathematical methods and tools for modeling and analyzing cancer phenomena.
Recent Advances in Modeling and Simulation Tools for Communication Networks and Services
This book contains a selection of papers presented at a Symposium organized under the aegis of COST Telecommunications Action 285. The main objective of the Action is to enhance existing modeling and simulation tools and to develop new tools for research in emerging multi-service telecommuncation networks in the areas of model performance improvement, multilayer traffic modeling, and the important issue of evaluation and validation of the new modeling tools.
Pyomo — Optimization Modeling in Python
Illustrates the different techniques useful for formulating models, this text beautifully elucidates the breadth of modeling capabilities that are supported by Pyomo and its handling of complex real-world applications. In the third edition, much of the material has been reorganized, new examples have been added, and a new chapter has been added describing how modelers can improve the performance of their models. The authors have also modified their recommended method for importing Pyomo. A big change in this edition is the emphasis of concrete models, which provide fewer restrictions on the specification and use of Pyomo models.
Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014
Cutting edge scientific researches on various social phenomena are reviewed. New methods for analysis of big data such as financial markets, automobile traffics, epidemic spreading, world-trades and social media communications are provided to clarify complex interaction and distributions underlying in these social phenomena. Robustness and fragility of social systems are discussed based on agent models and complex network models. Techniques about high performance computers are introduced for simulation of complicated social phenomena.
Pharmacokinetic-Pharmacodynamic Modeling and Simulation
This book presents both the art and science behind pharmacokinetic-pharmacodynamic modeling. Using a building-block approach, the author starts from linear and nonlinear models at the individual level and proceeds to develop more complex linear and nonlinear mixed effects models at the population level, with particular emphasis on showing the interrelationships between the various model types. The theory behind the methods are illustrated using real data drawn from the literature and from the author’s own experiences in drug development. Data are analyzed using a variety of software, including SAS, WinNonlin, SAAM II, and NONMEM. A key component of the book is to show how models are accepted and rejected, ultimately leading to a useful and informative model that can be utilized using computer simulation to answer "what-if" questions.
Perception and Interactive Technologies; International Tutorial and Research Workshop, Kloster Irsee, PIT 2006, Germany, June 19-21, 2006
This book constitutes the refereed proceedings of the International Tutorial and Research Workshop on Perception and Interactive Technologies, PIT 2006, held at Kloster Irsee, Germany in June 2006. The 16 revised full papers presented together with 4 revised poster papers and 6 system demonstration papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on head pose and eye gaze tracking, modeling and simulation of perception, integrating information from multiple channels, visual and auditory display driven by perceptive principles, spoken dialogue systems, multimodal and situated dialogue systems, and integration of perceptive technologies and animation.
NETWORKING 2005. Networking Technologies, Services, and Protocols ; Performance of Computer and Communication Networks ; Mobile and Wireless Communications Systems ; 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005, Proceedings
This book constitutes the refereed proceedings of the 4th International IFIP-TC6 Networking Conference, NETWORKING 2005, held in Waterloo, Canada in May 2005. The 105 revised full papers and 36 posters were carefully reviewed and selected from 430 submissions. The papers are organized in topical sections on peer-to-peer networks, Internet protocols, wireless security, network security, wireless performance, network service support, network modeling and simulation, wireless LAN, optical networks, Internet performance and Web applications, ad-hoc networks, adaptive networks, radio resource management, Internet routing, queuing models, monitoring, network management, sensor networks, overlay multicast, QoS, wirless scheduling, multicast traffic management and engineering, mobility management, bandwith management, DCMA, and wireless resource management.
Nanoscale Transistors : Device Physics, Modeling and Simulation
The book is a useful reference for senior-level or graduate-level courses on nanoelectronics, modeling and simulation. Chapter 1 reviews some basic concepts, and Chapter 2 summarizes the essentials of traditional semiconductor devices, digital circuits, and systems. This material provides a baseline against which new devices can be assessed. Chapters 3 and 4 present a non-traditional view of the MOSFET using concepts that are valid at nanoscale. Chapter 5 applies the same concepts to nanotube FET as an example of how to extend the concepts to revolutionary nanotransistors. Chapter 6 explores the limits of devices by discussing conduction in single molecules.
Multiscale Modeling and Simulation of Composite Materials and Structures
Multiscale Modeling and Simulation of Composite Materials and Structures presents the state of the art in multiscale modeling and simulation techniques for composite materials and structures. The text focuses on the structural and functional properties of engineering composites and the sustainable high performance of components and structures. With contributions from leading experts in the field, Multiscale Modeling and Simulation of Composite Materials and Structures proves to be an invaluable resource for researchers, graduate students and engineers in the field of Composite Materials.
