Download or read book Sixth Annual Simulation Symposium written by Joseph G. Sowa and published by . This book was released on 1973 with total page 300 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Proceedings 26th Annual Simulation Symposium written by John A. Miller and published by Society for Computer Simulation International. This book was released on 1993 with total page 372 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Parallel and Distributed Discrete Event Simulation written by Carl Tropper and published by Nova Publishers. This book was released on 2002 with total page 168 pages. Available in PDF, EPUB and Kindle. Book excerpt: Discrete-event simulation has long been an integral part of the design process of complex engineering systems and the modelling of natural phenomena. Many of the systems that we seek to understand or control can be modelled as digital systems. In a digital model, we view the system at discrete instants of time, in effect taking snapshots of the system at these instants. For example, in a computer network simulation an event can be the sending of a message from one node to another node while in a VLSI logic simulation, the arrival of a signal at a gate may be viewed as an event. Digital systems such as computer systems are naturally susceptible to this approach. However, a variety of other systems may also be modelled this way. These include transportation systems such as air-traffic control systems, epidemiological models such as the spreading of a virus, and military war-gaming models. This book is representative of the advances in this field.
Download or read book Tests and Proofs written by Wolfgang Ahrendt and published by Springer Nature. This book was released on 2020-06-20 with total page 190 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Download or read book Advanced Computer Performance Modeling and Simulation written by Kallol Bagchi and published by CRC Press. This book was released on 1998-05-13 with total page 360 pages. Available in PDF, EPUB and Kindle. Book excerpt: Addresses the major issues involved in computer design and architectures. Dealing primarily with theory, tools, and techniques as related to advanced computer systems, it provides tutorials and surveys and relates new important research results. Each chapter provides background information, describes and analyzes important work done in the field, and provides important direction to the reader on future work and further readings. The topics covered include hierarchical design schemes, parallel and distributed modeling and simulation, parallel simulation tools and techniques, theoretical models for formal and performance modeling, and performance evaluation techniques.
Download or read book Simulation and Modeling Methodologies Technologies and Applications written by Gerd Wagner and published by Springer Nature. This book was released on 2023-02-10 with total page 237 pages. Available in PDF, EPUB and Kindle. Book excerpt: The present book includes a set of selected papers from the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2021) that was held as an online event, from July 7 to 9, 2021. The conference brought together researchers and practitioners interested in methodologies and applications of modeling and simulation. New and innovative solutions are reported in this book. A selection was made after the conference, based also on the conference chairs assessment, reviewers’ assessment, quality of presentation and audience interest, so that this book includes the extended and revised versions of the very best papers of the conference.
Download or read book Processor and System on Chip Simulation written by Rainer Leupers and published by Springer Science & Business Media. This book was released on 2010-09-15 with total page 343 pages. Available in PDF, EPUB and Kindle. Book excerpt: Simulation of computer architectures has made rapid progress recently. The primary application areas are hardware/software performance estimation and optimization as well as functional and timing verification. Recent, innovative technologies such as retargetable simulator generation, dynamic binary translation, or sampling simulation have enabled widespread use of processor and system-on-chip (SoC) simulation tools in the semiconductor and embedded system industries. Simultaneously, processor and SoC simulation is still a very active research area, e.g. what amounts to higher simulation speed, flexibility, and accuracy/speed trade-offs. This book presents and discusses the principle technologies and state-of-the-art in high-level hardware architecture simulation, both at the processor and the system-on-chip level.
Download or read book Discrete Event Modeling and Simulation written by Gabriel A. Wainer and published by CRC Press. This book was released on 2018-09-03 with total page 431 pages. Available in PDF, EPUB and Kindle. Book excerpt: Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications. The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models. A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.
Download or read book The Combined Finite Discrete Element Method written by Antonio A. Munjiza and published by John Wiley & Sons. This book was released on 2004-04-21 with total page 348 pages. Available in PDF, EPUB and Kindle. Book excerpt: The combined finite discrete element method is a relatively new computational tool aimed at problems involving static and / or dynamic behaviour of systems involving a large number of solid deformable bodies. Such problems include fragmentation using explosives (e.g rock blasting), impacts, demolition (collapsing buildings), blast loads, digging and loading processes, and powder technology. The combined finite-discrete element method - a natural extension of both discrete and finite element methods - allows researchers to model problems involving the deformability of either one solid body, a large number of bodies, or a solid body which fragments (e.g. in rock blasting applications a more or less intact rock mass is transformed into a pile of solid rock fragments of different sizes, which interact with each other). The topic is gaining in importance, and is at the forefront of some of the current efforts in computational modeling of the failure of solids. * Accompanying source codes plus input and output files available on the Internet * Important applications such as mining engineering, rock blasting and petroleum engineering * Includes practical examples of applications areas Essential reading for postgraduates, researchers and software engineers working in mechanical engineering.
Download or read book Parallel Computing written by Eduard L Lafferty and published by William Andrew. This book was released on 2012-12-02 with total page 146 pages. Available in PDF, EPUB and Kindle. Book excerpt: Parallel Computing
Download or read book Object Oriented Modeling written by Jean-Michel Bergé and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 161 pages. Available in PDF, EPUB and Kindle. Book excerpt: Object-oriented techniques and languages have been proven to significantly increase engineering efficiency in software development. Many benefits are expected from their introduction into electronic modeling. Among them are better support for model reusability and flexibility, more efficient system modeling, and more possibilities in design space exploration and prototyping. Object-Oriented Modeling explores the latest techniques in object-oriented methods, formalisms and hardware description language extensions. The seven chapters comprising this book provide an overview of the latest object-oriented techniques for designing systems and hardware. Many examples are given in C++, VHDL and real-time programming languages. Object-Oriented Modeling describes further the use of object-oriented techniques in applications such as embedded systems, telecommunications and real-time systems, using the very latest techniques in object-oriented modeling. It is an essential guide to researchers, practitioners and students involved in software, hardware and system design.
Download or read book NASA Scientific and Technical Publications written by and published by . This book was released on 1991 with total page 188 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Computational Science and Its Applications ICCSA 2011 written by Beniamino Murgante and published by Springer Science & Business Media. This book was released on 2011-06-15 with total page 765 pages. Available in PDF, EPUB and Kindle. Book excerpt: The five-volume set LNCS 6782 - 6786 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2011, held in Santander, Spain, in June 2011. The five volumes contain papers presenting a wealth of original research results in the field of computational science, from foundational issues in computer science and mathematics to advanced applications in virtually all sciences making use of computational techniques. The topics of the fully refereed papers are structured according to the five major conference themes: geographical analysis, urban modeling, spatial statistics; cities, technologies and planning; computational geometry and applications; computer aided modeling, simulation, and analysis; and mobile communications.
Download or read book Technology for Large Space Systems written by and published by . This book was released on 1989 with total page 690 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Soft Computing for Reservoir Characterization and Modeling written by Patrick Wong and published by Physica. This book was released on 2013-11-11 with total page 582 pages. Available in PDF, EPUB and Kindle. Book excerpt: In the middle of the 20th century, Genrich Altshuller, a Russian engineer, analysed hundreds of thousands of patents and scientific publications. From this analysis, he developed TRIZ (G. Altshuller, "40 Principles: TRIZ Keys to Technical Innovation. TRIZ Tools," Volume 1, First Edition, Technical Innovation Center, Inc. , Worcester, MA, January 1998; Y. Salamatov, "TRIZ: The Right Solution at the Right Time. A Guide to Innovative Problem Solving. " Insytec B. V. , 1999), the theory of inventive problem solving, together with a series of practical tools for helping engineers solving technical problems. Among these tools and theories, the substance-field theory gives a structured way of representing problems, the patterns of evolution show the lifecycle of technical systems, the contradiction matrix tells you how to resolve technical contradictions, using the forty principles that describe common ways of improving technical systems. For example, if you want to increase the strength of a device, without adding too much extra weight to it, the contradiction matrix tells you that you can use "Principle 1: Segmentation," or "Principle 8: Counterweight," or "Principle 15: Dynamicity," or "Principle 40: Composite Materials. " I really like two particular ones: "Principle 1: Segmentation," and Principle 15: Dynamicity. " "Segmentation" shows how systems evolve from an initial monolithic form into a set of independent parts, then eventually increasing the number of parts until each part becomes small enough that it cannot be identified anymore.
Download or read book Energy Research Abstracts written by and published by . This book was released on 1991-10 with total page 582 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Advances In Computing Techniques Algorithms Databases And Parallel Processing written by H Imai and published by World Scientific. This book was released on 1996-01-11 with total page 258 pages. Available in PDF, EPUB and Kindle. Book excerpt: This proceedings collects papers in the areas of computer algorithms, databases and parallel processing. The papers were presented by very prominent computer scientists from Japan and Singapore invited to a three days JSPS-NUS seminar held in Singapore on Dec '94.
