7194511
A Concept Prototype for Integrated Gaming and Simulation for Incident Management
This paper describes a prototype that has been developed to demonstrate the concept of integrated gaming and simulation for incident management. An architecture for the purpose was developed and presented at the last conference. A hypothetical emergency incident scenario has been developed for demonstrating the applicability of integrated simulation and gaming. A number of simulation and gaming modules have been utilized to model the major aspects of the hypothetical scenario. The modules demonstrate the value of utilizing simulation for incident management applications. They can be used to highlight the value of simulation and gaming for training applications in particular. Two of the simulation modules have been integrated using a modified implementation of the high level architecture to give an idea of the advantages. Technical issues in integration are identified
6477912
Stress testing a supply chain using simulation
Simulation provides the capability to evaluate performance of a system operating under current or proposed configurations, policies and procedures. It is very applicable to evaluation of strategic and operational level plans for supply chains. It is especially useful for exploring the viability of a supply chain before beginning production. This paper describes the use of simulation for determining the readiness of a supply chain designed by a small company for providing sub-systems to a defense contractor. The supply chain had to be stress tested at surge and mobilization volume levels to meet the requirements. Simulation provided the ideal methodology to identify and demonstrate the behavior of the supply chain under stress and evaluate strategies to meet the defined volumes. It was used to prove the readiness of the supply chain reducing perceived risks in using the virtual operation.
34370031
Simulation for emergency response: a framework for modeling and simulation for emergency response
A number of modeling and simulation tools have been developed and more are being developed for emergency response applications. The available simulation tools are meant mostly for standalone use. Addressing an emergency incident requires addressing multiple interdependent aspects of the situation. The simulation tools addressing different aspects of an emergency situation need to be integrated to provide the whole picture to planners, trainers, and responders. A framework is required to ensure that modeling and simulation tools can be systematically integrated together to address the overall response. This paper proposes a framework for integration of modeling, simulation, and visualization tools for emergency response. The development and implementation of the proposed framework will significantly improve the nation's capability in the emergency response area.
201885623
Manufacturing supply chain applications: modeling computer assembly operations for supply chain integration
Factory operations have been modeled for years to understand the relationship between the different design and policy factors and the performance measures of interest. The increasing awareness of the need to manage factories as a link in the supply chain places a corresponding requirement for an enhanced approach for factory modeling. This paper describes the modeling of a computer assembly factory for supply chain integration by including aspects of inbound and outbound logistics and relevant business processes. Lessons are drawn based on the experience.
195860327
Criticality of detailed modeling in semiconductor supply chain simulation
Supply chain management offers a large potential for organizations to reduce costs and improve customer service performance. Simulation of supply chains can help in these objectives by evaluating the impact of alternative inventory control policies. Supply chain simulation involves the modeling of multiple factories across the chain and can get quite complex. Analysts typically carry out such simulation at a coarse level of detail to keep the complexity and computing resources manageable. However, modeling at coarse levels may reduce the accuracy of outputs and affect the quality of decisions. In this paper, we report on a study to compare the quality of results at different levels of detail in a semiconductor supply chain simulation.
5859647
Simulation in the next millennium
The paper looks into the future of simulation. The capabilities and features of simulation software of the future are hypothesized, focusing on the major aspects of their use. The features addressed include model building, visualization, output analysis and optimization, integration and the Internet. The discussion of simulation software in the future is closely related to the vision of future applications of simulation. Applications of simulation in the near term future are proposed using examples of advanced applications that are in conceptual stages at present. Applications of simulation in the long term future are also proposed, bordering on science fiction.
35698338
Generality's price: Inescapable deficiencies in machine-learned programs
Abstract This paper investigates some delicate tradeoffs between the generality of an algorithmic learning device and the quality of the programs it learns successfully. There are results to the effect that, thanks to small increases in generality of a learning device, the computational complexity of some successfully learned programs is provably unalterably suboptimal. There are also results in which the complexity of successfully learned programs is asymptotically optimal and the learning device is general, but, still thanks to the generality, some of those optimal, learned programs are provably unalterably information deficient—in some cases, deficient as to safe, algorithmic extractability/provability of the fact that they are even approximately optimal. For these results, the safe, algorithmic methods of information extraction will be by proofs in arbitrary, true, computably axiomatizable extensions of Peano Arithmetic.
30237295
Crowd Control: Coordinating Processes in Parallel
Tutorials • Bridget Rosewell and Paul Ormerod " Agent Based Models and Social Simulation in the Policy Process " [Room: Aula Magna] This tutorial will focus on practical examples of agent based models which are actually being used as part of the decision making process of policy makers. The tutorial will also address key issues in integrating ABMs and social simulation into the policy making process. The tutorial will introduce the Multi-Agent Simulation Suite (MASS), a novel, integrated simulation environment for agent-based social simulation. MASS was designed with scientific modelers and not professional programmers in mind. Therefore, ease of use and prudent scientific practices were at the focus of the suite's design. The tutorial consists in a brief introductory part providing a generalized definition of the basic elements composing a simulation model. Then, it will be shown how LSD allows users to transparently adopt the theoretical definition, automatically generating all the technical code necessary for developing, running and analysing a simulation model. A series of examples will show the advantages of the definition proposed and the most relevant features of LSD. The tutorial will introduce the Multi-Agent Simulation Suite (MASS), a novel, integrated simulation environment for agent-based social simulation. MASS was designed with scientific modelers and not professional programmers in mind. Therefore, ease of use and prudent scientific practices were at the focus of the suite's design.
44358650
Banishing Robust Turing Completeness
This paper proves that “promise classes” are so fragilely structured that they do not robustly (i.e. with respect to all oracles) possess Turinghard sets even in classes far larger than themselves. In particular, this paper shows that FewP does not robustly possess Turing hard sets for UP∩coUP and IP∩coIP does not robustly possess Turing hard sets for ZPP. It follows that ZPP, R, coR, UP∩coUP, UP, FewP∩coFewP, FewP, and IP∩coIP do not robustly possess Turing complete sets. This both resolves open questions of whether promise classes lacking robust downward closure under Turing reductions (e.g., R, UP, FewP) might robustly have Turing complete sets, and extends the range of classes known not to robustly contain many-one complete sets.
38775916
Convergence to nearly minimal size grammars by vacillating learning machines
In Gold's influential language learning paradigm a learning machine converges in the limit to one correct grammar. In an attempt to improve Gold's paradigm, Case considered the question whether people might converge to vacillating between up to (some integer) n > 1 distinct, but equivalent, correct grammars. He showed that larger classes of languages can be algorithmically learned (in the limit) by converging to up to n +1 rather than up to n correct grammars. He also argued that, for “small” n > 1, it is plausible that people might sometimes converge to vacillating between up to n grammars. The insistence on small n was motivated by the consideration that, for “large” n , at least one of n grammars would be too large to fit in peoples' heads. This latter assumes, of course, that human brain storage is not magic, admitting of infinite regress, etc. Of course, even for Gold's n = 1 case, the single grammar converged to in the limit may be infeasibly large. An interesting complexity restriction to make, then, on the final grammar(s) converged to in the limit is that they all have small size. In this paper we study some of the tradeoffs in learning power involved in making a well-defined version of this restriction.
39763724
Branch and bound on the network model
Abstract Karp and Zhang developed a general randomized parallel algorithm for solving branch and bound problems. They showed that with high probability their algorithm attained optimal speedup within a constant factor (for p⩽ n/( log n) c , where p is the number of processors, n is the “size” of the problem, and c is a constant). Ranade later simplified the analysis and obtained a better processor bound. Karp and Zhang's algorithm works on models of computation where communication cost is constant. The present paper considers the Branch and Bound problem on networks where the communication cost is high. Suppose sending a message in a p processor network takes G = O ( log p) time and node expansion (defined below) takes unit time (other operations being free). Then a simple randomized algorithm is presented which is, asymptotically, nearly optimal for p = O (2 log c n ) , where c is any constant and n is the number of nodes in the input tree with cost no greater than the cost of the optimal leaf in the tree.