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.
18971661
Development of a high-level supply chain simulation model
This paper describes an effort that involved development of a simulation model for evaluating the business processes and inventory control parameters of a logistics and distribution supply chain. A generic simulation tool, rather than a supply chain simulator, was developed for meeting customized needs of the effort. The paper describes, the approaches used to model at the selected level of abstraction, the development of interfaces for data and experimentation and the development and delivery of animation for communicating the approach and results to the client.
32884753
Expert Simulation For On-line Scheduling
In recent years, the automotive industry has realized the importance of speed of new products to market and has mounted efforts for improving it. The Expert System Scheduler (ESS) facilitates these efforts by enabling manufacturing plants to generate viable schedules under increasing constraints and demands for flexibility. The scheduler takes advantage of the Computer Integrated Manufacturing (CIM) environment by utilizing the real-time information from the factory for responsive scheduling. The Expert System Scheduler uses heuristics developed by an experiences factory scheduler. It uses simulation concepts and these heuristics to generate schedules. Forward and "backward" simulation are used at different stages of the schedule generation process. The system is used to control parts flow on the factory floor at one automated facility. This highly automated facility is a testbed for implementation of CIM concepts. The scheduler runs on a Texas Instruments (TI) Explorer II computer using software developed inhouse utilizing IntelliCorp's Knowledge Engineering Environment (KEE) shell and the LISP language. The scheduling computer is networked to the factory control computer, which actually controls the plant floor. The TI Explorer II acquires current plant floor information from the factory control system, generates a new schedule and sends it back within a short time. The configuration allows fast response to changes in requirements and plant floor conditions.
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.
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.
18211780
Supply chain opportunities: panel session: opportunities for simulation in supply chain management
It has become a matter of survival that many companies improve their supply chain efficiency. This presents an opportunity for simulation. However, there are many challenges that must be overcome for simulation to be a contributor to play an effective role. Four contributors discuss the opportunities that they see for simulation to play a meaningful role in the area of supply chain management.
35328155
Hypothesis spaces for learning
In this paper we survey some results in inductive inference showing how learnability of a class of languages may depend on the hypothesis space chosen. Additionally, optimal hypothesis spaces, usable for every learnable class, are considered. We also discuss results which consider how learnability is effected if one requires learning using every suitable hypothesis space.
42486504
Index Sets and Universal Numberings
This paper studies the Turing degrees of various properties defined for universal numberings, that is, for numberings which list all partial-recursive functions. In particular properties relating to the domain of the corresponding functions are investigated like the set DEQ of all pairs of indices of functions with the same domain, the set DMIN of all minimal indices of sets and DMIN* of all indices which are minimal with respect to equality of the domain modulo finitely many differences. A partial solution to a question of Schaefer is obtained by showing that for every universal numbering with the Kolmogorov property, the set DMIN* is Turing equivalent to the double jump of the halting problem. Furthermore, it is shown that the join of DEQ and the halting problem is Turing equivalent to the jump of the halting problem and that there are numberings for which DEQ itself has 1-generic Turing degree.
15526852
Ordinal Mind Change Complexity of Language Identification
Abstract The approach of ordinal mind change complexity, introduced by Freivalds and Smith, uses (notations for) constructive ordinals to bound the number of mind changes made by a learning machine. This approach provides a measure of the extent to which a learning machine has to keep revising its estimate of the number of mind changes it will make before converging to a correct hypothesis for languages in the class being learned. Recently, this notion, which also yields a measure for the difficulty of learning a class of languages, has been used to analyze the learnability of rich concept classes. The present paper further investigates the utility of ordinal mind change complexity. It is shown that for identification from both positive and negative data and n ⩾ 1, the ordinal mind change complexity of the class of languages formed by unions of up to n + 1 pattern languages is only ω ×0 notn(n) (where notn(n) is a notation for n, ω is a notation for the least limit ordinal and ×0 represents ordinal multiplication). This result nicely extends an observation of Lange and Zeugmann that pattern languages can be identified from both positive and negative data with 0 mind changes. Existence of an ordinal mind change bound for a class of learnable languages can be seen as an indication of its learning “tractability”. Conditions are investigated under which a class has an ordinal mind change bound for identification from positive data. It is shown that an indexed family of languages has an ordinal mind change bound if it has finite elasticity and can be identified by a conservative machine. It is also shown that the requirement of conservative identification can be sacrificed for the purely topological requirement of M-finite thickness. Interaction between identification by monotonic strategies and existence of ordinal mind change bound is also investigated.
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.
70017
Learning Languages from Positive Data and Negative Counterexamples
In this paper we introduce a paradigm for learning in the limit of potentially infinite languages from all positive data and negative counterexamples provided in response to the conjectures made by the learner. Several variants of this paradigm are considered that reflect different conditions/constraints on the type and size of negative counterexamples and on the time for obtaining them. In particular, we consider the models where 1) a learner gets the least negative counterexample; 2) the size of a negative counterexample must be bounded by the size of the positive data seen so far; 3) a counterexample may be delayed. Learning power, limitations of these models, relationships between them, as well as their relationships with classical paradigms for learning languages in the limit (without negative counterexamples) are explored. Several surprising results are obtained. In particular, for Gold’s model of learning requiring a learner to syntactically stabilize on correct conjectures, learners getting negative counterexamples immediately turn out to be as powerful as the ones that do not get them for indefinitely (but finitely) long time (or are only told that their latest conjecture is not a subset of the target language, without any specific negative counterexample). Another result shows that for behaviourally correct learning (where semantic convergence is required from a learner) with negative counterexamples, a learner making just one error in almost all its conjectures has the “ultimate power”: it can learn the class of all recursively enumerable languages. Yet another result demonstrates that sometimes positive data and negative counterexamples provided by a teacher are not enough to compensate for full positive and negative data.