Описание: This book is devoted to the most used methodologies for performance evaluation: simulation using specialized software and mathematical modeling. An important part is dedicated to the simulation, particularly in its theoretical framework and the precautions to be taken in the implementation of the experimental procedure.
Описание: This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial 'Automata Learning in Practice' with the post-conference publication of selected contributions from the Tracks 'Process-Oriented Geoinformation Systems and Applications' and 'Processes and Data Integration in the Networked Healthcare' of ISoLA 2012.
Автор: David J. Murray-Smith Название: Testing and Validation of Computer Simulation Models ISBN: 3319150987 ISBN-13(EAN): 9783319150987 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This must-read text/reference provides a practical guide to processes involved in the development and application of dynamic simulation models, covering a wide range of issues relating to testing, verification and validation.
Описание: Computer simulations are the tools used to mathematically model natural systems in diverse fields of chemistry, astrophysics, biology, computational physics, social science, climatology, psychology, etc. They can be categorized into small simulations and large-scale simulations depending upon their usage. The different types of computer simulations are dynamic system simulation, stochastic or deterministic, local or distributed, and continuous or discrete simulations. Research in the field of computer simulation has extended its applications in the domains of weather forecasting, organizational management, traffic engineering, crop-soil systems, etc. This book is compiled in such a manner, that it will provide in-depth knowledge about the theory and development of computer simulation. It presents researches and studies performed by experts across the globe. Scientists and students actively engaged in this field will find this book full of crucial and unexplored concepts.
Описание: Social simulation can be a difficult discipline to encompass fully. There are many methods, models, directions, and theories that can be discussed and applied to various social sciences. Anthropology, sociology, political science, economy, government, and management can all benefit from social simulation.Interdisciplinary Applications of Agent-Based Social Simulation and Modeling aims to bring a different perspective to this interdisciplinary topic. This book presents current discussions and new insights on social simulation as a whole, focusing on its dangers, pitfalls, deceits, and challenges. This book is an essential reference for researchers in this field, professionals using social simulation, and even students studying this discipline.
Автор: Tai-hoon Kim; Carlos Ramos; Jemal Abawajy; Byeong- Название: Computer Applications for Modeling, Simulation, and Automobile ISBN: 3642352472 ISBN-13(EAN): 9783642352478 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Modeling and simulation.- Automotive science and technology.
As data holdings get bigger and questions get harder, data scientists and analysts must focus on the systems, the tools and techniques, and the disciplined process to get the correct answer, quickly Whether you work within industry or government, this book will provide you with a foundation to successfully and confidently process large amounts of quantitative data.
Here are just a dozen of the many questions answered within these pages:
What does quantitative analysis of a system really mean?
What is a system?
What are big data and analystics?
How do you know your numbers are good?
What will the future data science environment look like?
How do you determine data provenance?
How do you gather and process information, and then organize, store, and synthesize it?
How does an organization implement data analytics?
Do you really need to think like a Chief Information Officer?
What is the best way to protect data?
What makes a good dashboard?
What is the relationship between eating ice cream and getting attacked by a shark?
The nine chapters in this book are arranged in three parts that address systems concepts in general, tools and techniques, and future trend topics. Systems concepts include contrasting open and closed systems, performing data mining and big data analysis, and gauging data quality. Tools and techniques include analyzing both continuous and discrete data, applying probability basics, and practicing quantitative analysis such as descriptive and inferential statistics. Future trends include leveraging the Internet of Everything, modeling Artificial Intelligence, and establishing a Data Analytics Support Office (DASO).
Many examples are included that were generated using common software, such as Excel, Minitab, Tableau, SAS, and Crystal Ball. While words are good, examples can sometimes be a better teaching tool. For each example included, data files can be found on the companion website. Many of the data sets are tied to the global economy because they use data from shipping ports, air freight hubs, largest cities, and soccer teams. The appendices contain more detailed analysis including the 10 T's for Data Mining, Million Row Data Audit (MRDA) Processes, Analysis of Rainfall, and Simulation Models for Evaluating Traffic Flow.
Описание: This volume constitutes the proceedings of the 19th Asia Simulation Conference, AsiaSim 2019, held in Singapore, Singapore, in October 2019.
The 19 revised full papers and 5 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on simulation and modeling methodology; numerical and Monte Carlo simulation; simulation applications: blockchain, deep learning and cloud; simulation and visualization; simulation applications; short papers.
Описание: This volume constitutes the proceedings of the 18th Asia Simulation Conference, AsiaSim 2018, held in Kyoto, Japan, in August 2018.The 45 revised full papers presented in this volume were carefully reviewed and selected from 90 submissions. The papers are organized in topical sections on modeling and simulation technology; soft computing and machine learning; high performance computing and cloud computing; simulation technology for industry; simulation technology for intelligent society; simulation of instrumentation and control application; computational mathematics and computational science; flow simulation; visualization and computer vision to support simulation.
Автор: Hjort Blindell Gabriel Название: Instruction Selection: Principles, Methods, and Applications ISBN: 3319816586 ISBN-13(EAN): 9783319816586 Издательство: Springer Рейтинг: Цена: 5589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The survey is structured according to two dimensions: approaches to instruction selection from the past 45 years are organized and discussed according to their fundamental principles, and according to the characteristics of the supported machine instructions.
Автор: Claus Beisbart; Nicole J. Saam Название: Computer Simulation Validation ISBN: 3319707655 ISBN-13(EAN): 9783319707655 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Computer simulation is a new method that has become a standard technique in many natural and social sciences. Validation comprises the efforts to show that computer simulations provide faithful representations of their target systems. Thus far, validation has much been neglected in the literature, and working scientists have expressed uncertainty about how they should build trust their simulation results. In practice, validation is often neglected completely or only done in a sloppy way. As a consequence, some purported results from computer simulations have later turned out to rest on numerical artefacts. In the absence of clear guidelines, the method of computer simulation, successful as it might seem, is not yet fully developed.
To validate the results of simulations is to make a case for them, to argue that they are realistic, or to enhance their plausibility. Put this way, validation seems fairly straightforward, but, as a matter of fact, it is not well-understood and even controversial from a theoretical point of view. Already the very term "validation" is a matter of debate, as the term is misleading because a simulation cannot be shown to be true or valid except in trivial cases. It is further discussed how validation is related to what people call verification, i.e. the attempt to show that a simulation reliably traces the predictions of a model. Another key question is how one can determine the overall confidence of simulation results if a number of tests have been carried out. Addressing this dissatisfying understanding of validation, this book presents a methodological and philosophical discussion about the validation of computer simulation and of its techniques. The work covers the basic notions and ideas underlying validation (e.g. the notions of validation, verification and error, are clarified), conceptualizes the concept of validation in frameworks from the philosophy of science (e.g. in Bayesian epistemology), and presents practical guidelines and important techniques for validation (e.g. introducing the quantification of uncertainties). The volume also reviews the challenges of validation (e.g. considering the sparseness of data) and offers examples of best practice. This is achieved through an interdisciplinary collection of authors that includes computer scientists (who discuss the most important approaches to validation), mathematicians and statisticians (who present mathematical techniques for validation), and working scientists from various fields (who present best practice examples of validation and reflect about related challenges).
Автор: Ewa Orlowska; Andrzej Szalas Название: Relational Methods for Computer Science Applications ISBN: 3662003627 ISBN-13(EAN): 9783662003626 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
