Sebanyak 417 item atau buku ditemukan

Fundamental Approaches to Software Engineering

11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

This proceedings volume covers requirements and architectures, models and model transformations, conceptual models and UML, service engineering and adaptable services, verification and testing, and objects and components.

This area has been addressed by a number of researchers [16,2,19], including
our own work on formalizing feature models in higher-order logic [12]. Feature
models are not the only way to describe the capabilities of a product line.

Fundamental Problems in Quantum Physics

For many physicists quantum theory contains strong conceptual difficulties, while for others the apparent conclusions about the reality of our physical world and the ways in which we discover that reality remain philosophically unacceptable. This book focuses on recent theoretical and experimental developments in the foundations of quantum physics, including topics such as the puzzles and paradoxes which appear when general relativity and quantum mechanics are combined; the emergence of classical properties from quantum mechanics; stochastic electrodynamics; EPR experiments and Bell's Theorem; the consistent histories approach and the problem of datum uniqueness in quantum mechanics; non-local measurements and teleportation of quantum states; quantum non-demolition measurements in optics and matter wave properties observed by neutron, electron and atomic interferometry. Audience: This volume is intended for graduate students of physics and those interested in the foundations of quantum theory.

FUZZY SETS AND INFINITE-VALUED LUKASIEWICZ LOGIC IN FOUNDATIONS
OF QUANTUMMECHANICS Jaroslaw Pykacz Institute of Mathematics, University
of Gdańsk ul. Wita Stwosza 57, 80-952 Gdańsk, Poland The logic of quantum ...

Fundamental Approaches to Software Engineering

Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised v e conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Die rent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Bergadano, F.; Gunetti, D. Inductive Logic Programming, The MIT Press, 1996 8.
Berry, D.M.; Lawrence, B. “Requirements Engineering” IEEE Software, 26-29,
Mar. 1998. 9. Botilier, C.; Becher, V. “Abduction as belief revision” Art. Intelligence
 ...

Frontiers of Fundamental Physics

The Olympia conference Frontiers of Fundamental Physics was a gathering of about hundred scientists who carryon their research in conceptually important areas of physical science (they do "fundamental physics"). Most of them were physicists, but also historians and philosophers of science were well represented. An important fraction of the participants could be considered "heretical" because they disagreed with the validity of one or several fundamental assumptions of modern physics. Common to all participants was an excellent scientific level coupled with a remarkable intellectual honesty: we are proud to present to the readers this certainly unique book. Alternative ways of considering fundamental matters should of course be vitally important for the progress of science, unless one wanted to admit that physics at the end of the XXth century has already obtained the final truth, a very unlikely possibility even if one accepted the doubtful idea of the existence of a "final" truth. The merits of the Olympia conference should therefore not be judged a priori in a positive or in a negative way depending on one's refusal or acceptance, respectively, but considered after reading the actual of basic principles of contemporary science, new proposals and evidences there presented. They seem very important to us.

For him, as for the C.I., quantum-mechanical description is restricted only to
statements about phenomena: the so called restrictive interpretation. This was
the general epistemological presuppositions for the elabotation of a threevalued
logic.

Introduction to Intelligent Simulation: The RAO Language

Introduction to Intelligent Simulation of Complex Discrete Systems and Processes: RAO Language focuses on a unique approach in modeling and simulation of complex systems. In this volume are considered features of complex systems and processes, their mathematical description, and modeling. Theoretical foundations of the RAO (Resource-Action-Operation) language as well as its syntax and utilisation are given. Examples of simulation models of different complexity levels, related to different fields, are also presented. The RAO intelligent modeling system, introduced and described in Introduction to Intelligent Simulation of Complex Discrete Systems and Processes is unique because: (1) it makes simulation modeling universal for the classes of systems and processes modeled; (2) it is simple to modify the models; and (3) it has the capacity to model complex control systems together with the object controlled (including simulation modeling for on-line control). The RAO tool allows the user to use a language very similar to his professional language and rids him of intermediary, supplementary description of the system modeled. In fifteen chapters this volume provides an overview of general modeling trends, and hence serves the research community in guiding their modeling methods; intelligent simulation modeling is introduced to solve complex systems and processes.

Another problem with simulation is that it (a) is time-consuming / (b) involves a lot
of work. ... HBPR 3.1 (by Imagine That!, St. Jose, California); Arena (by Systems
Modelling); ProModel (by ProModel company); ReThink (by Gensum) [8, 11].

Simulation-Based Case Studies in Logistics

Education and Applied Research

“Simulation-based Case Studies in Logistics” presents an intensive learning course on the application of simulation as a decision support tool to tackle complex logistic problems. The book describes and illustrates different approaches to developing simulation models at the right abstraction level to be used efficiently by engineers when dealing with strategic, tactical or operational decisions in logistic systems. 11 simulation-based case studies in logistics and supply chain management are discussed, based on the results of applied research, covering application areas such as production logistics, warehousing, transportation, material flow management, and hospital logistics. “Simulation-based Case Studies in Logistics” is an essential text for postgraduate engineering students and researchers working in the area of logistics modeling and simulation.

In: Proc 18th European simulation multiconference 'networked simulation and
simulated networks', pp 327–333 [3] Harrell CR, Ghosh BK, Bowden RO (2004)
Simulation using ProModel, 2nd edn. McGraw- Hill, New York [4] Merkuryeva G, ...

Systems Modeling and Simulation: Theory and Applications

Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

This book 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.

Using Z as the test statistic, the critical values for two tailed-test are as follows. ...
Through analyzing the results of sample Z-test and normal probability plot, we
can conclude that ProModel properly generates random numbers under the
given ...

Simulation-Based Optimization

Parametric Optimization Techniques and Reinforcement Learning

Simulation-Based Optimization: Parametric Optimization Techniques and Reinforcement Learning introduces the evolving area of simulation-based optimization. The book's objective is two-fold: (1) It examines the mathematical governing principles of simulation-based optimization, thereby providing the reader with the ability to model relevant real-life problems using these techniques. (2) It outlines the computational technology underlying these methods. Taken together these two aspects demonstrate that the mathematical and computational methods discussed in this book do work. Broadly speaking, the book has two parts: (1) parametric (static) optimization and (2) control (dynamic) optimization. Some of the book's special features are: *An accessible introduction to reinforcement learning and parametric-optimization techniques. *A step-by-step description of several algorithms of simulation-based optimization. *A clear and simple introduction to the methodology of neural networks. *A gentle introduction to convergence analysis of some of the methods enumerated above. *Computer programs for many algorithms of simulation-based optimization.

C. Harrell, B.K. Ghosh, and R. Bowden. Simulation Using Promodel. McGraw Hill
Higher Education, Boston, MA, USA, 2000. T. Hastie, R. Tibshirani, and J.
Friedman. The Elements of Statistical Learning. Springer, New York, NY, USA,
2001.

Advanced Methods, Techniques, and Applications in Modeling and Simulation

Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

This book is a compilation of research accomplishments in the fields of modeling, simulation, and their applications, as presented at AsiaSim 2011 (Asia Simulation Conference 2011). The conference, held in Seoul, Korea, November 16–18, was organized by ASIASIM (Federation of Asian Simulation Societies), KSS (Korea Society for Simulation), CASS (Chinese Association for System Simulation), and JSST (Japan Society for Simulation Technology). AsiaSim 2011 provided a forum for scientists, academicians, and professionals from the Asia-Pacific region and other parts of the world to share their latest exciting research findings in modeling and simulation methodologies, techniques, and their tools and applications in military, communication network, industry, and general engineering problems.

Nasereddin, M., Mullens, M., Cope, D.: The Development of A Reusable
Simulation Model for the Modular Housing Industry Using ProModel and Visual
Basic. In: Proceedings of Industrial Engineering Research Conference (2002)
Page, S.J.: ...

Artificial Intelligence and Simulation

13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

This book constitutes the refereed post-proceedings of the 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, held in Jeju Island, Korea in October 2004. The 74 revised full papers presented together with 2 invited keynote papers were carefully reviewed and selected from 170 submissions; after the conference, the papers went through another round of revision. The papers are organized in topical sections on modeling and simulation methodologies, intelligent control, computer and network security, HLA and simulator interoperation, manufacturing, agent-based modeling, DEVS modeling and simulation, parallel and distributed modeling and simulation, mobile computer networks, Web-based simulation and natural systems, modeling and simulation environments, AI and simulation, component-based modeling, watermarking and semantics, graphics, visualization and animation, and business modeling.

Vivek Bapat and Eddie B. Pruitte, Jr., Using Simulation in Call Centers,
Proceedings of the 1998 Winter Simulation Conference, pp. 1395-1399 ... H.
Biman Charles, K. G. Biman, and B. Royce, “Simulation Using ProModel”,
McGraw-Hill, 2001.