{"title":"A general model description for discrete processes","authors":"Oliver Schönherr, O. Rose","doi":"10.1109/WSC.2011.6147932","DOIUrl":"https://doi.org/10.1109/WSC.2011.6147932","url":null,"abstract":"In this paper, we present an approach for developing a simulation-tool-independent description for discrete processes and for converting such a general model into simulation-tool-specific models. Our aim is to develop models by means of SysML and to build converters from SysML models to models of a large variety of simulation tools. We developed Translator-Plugins for Anylogic, Simcron, Factory Explorer and Flexsim. Based on this architecture, we develop a general model description for discrete processes which permits to create comprehensive scenarios. Modeling can be divided into a structural, a behavioral and a control part. Our main domain is production systems but we show which elements are not domain specific and can be generalized to an approach for a standard to model discrete production planning and control problems. We also test domains like hospitals, logistics and civil engineering.","PeriodicalId":246140,"journal":{"name":"Proceedings of the 2011 Winter Simulation Conference (WSC)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123023600","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Performance analysis of comercial simulation-based optimization packages: OptQuest and Witness Optimizer","authors":"H. Eskandari, E. Mahmoodi, H. Fallah, C. Geiger","doi":"10.1109/WSC.2011.6147946","DOIUrl":"https://doi.org/10.1109/WSC.2011.6147946","url":null,"abstract":"The objective of this study is to evaluate and compare two commercial simulation-based optimization packages, OptQuest and Witness Optimizer, to determine their relative performance based on the quality of obtained solutions in a reasonable computational effort. Two well-known benchmark problems, the pull manufacturing system and the inventory system, are used to evaluate and compare the performance of OptQuest and Witness Optimizer. Significant validation efforts are made to ensure that simulation models developed in Arena and Witness are identical. The experimental results indicate that both optimization packages have good performance on the given problems. Both packages found near-global optimal (or satisfactory) solutions in an acceptable computation time.","PeriodicalId":246140,"journal":{"name":"Proceedings of the 2011 Winter Simulation Conference (WSC)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131459081","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Conditional value-at-risk model for hazardous materials transportation","authors":"C. Kwon","doi":"10.1109/WSC.2011.6147886","DOIUrl":"https://doi.org/10.1109/WSC.2011.6147886","url":null,"abstract":"This paper investigates how the conditional value-at-risk (CVaR) can be used to mitigate risk in hazardous materials (hazmat) transportation. Routing hazmat must consider accident probabilities and accident consequences that depend on the hazmat types and route choices. This paper proposes a new method for mitigating risk based on CVaR measure. While the CVaR model is popularly used in financial portfolio optimization problems, its application in hazmat transportation is new. A computational method for determining the optimal CVaR route is proposed and illustrated by a case study in the road network surrounding Albany, NY.","PeriodicalId":246140,"journal":{"name":"Proceedings of the 2011 Winter Simulation Conference (WSC)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126985664","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Importance sampling for actuarial cost analysis under a heavy traffic model","authors":"J. Blanchet, H. Lam","doi":"10.1109/WSC.2011.6148073","DOIUrl":"https://doi.org/10.1109/WSC.2011.6148073","url":null,"abstract":"We explore a bottom-up approach to revisit the problem of cash flow modeling in insurance business, and propose a methodology to efficiently simulate the related tail quantities, namely the fixed-time and the finite-horizon ruin probabilities. Our model builds upon the micro-level contract structure issued by the insurer, and aims to capture the bankruptcy risk exhibited by the aggregation of policyholders. This distinguishes from traditional risk theory that uses random-walk-type model, and also enhances risk evaluation in actuarial pricing practice by incorporating the dynamic arrivals of policyholders in emerging cost analysis. The simulation methodology relies on our model's connection to infinite-server queues with non-homogeneous cost under heavy traffic. We will construct a sequential importance sampler with provable efficiency, along with large deviations asymptotics.","PeriodicalId":246140,"journal":{"name":"Proceedings of the 2011 Winter Simulation Conference (WSC)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127776651","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
E. C. Portante, B. Craig, Leah E. Talaber, J. Kavicky, S. Folga, S. Cedres
{"title":"EPfast: A model for simulating uncontrolled islanding in large power systems","authors":"E. C. Portante, B. Craig, Leah E. Talaber, J. Kavicky, S. Folga, S. Cedres","doi":"10.1109/WSC.2011.6147891","DOIUrl":"https://doi.org/10.1109/WSC.2011.6147891","url":null,"abstract":"This paper describes the capabilities, calculation logic, and foundational assumptions of EPfast, a new simulation and impact analysis tool developed by Argonne National Laboratory. The purpose of the model is to explore the tendency of power systems to spiral into uncontrolled islanding triggered by either man-made or natural disturbances. The model generates a report that quantifies the megawatt reductions in all affected substations, as well as the number, size, and spatial location of the formed island grids. The model is linear and is intended to simulate the impacts of high-consequence events on large-scale power systems. The paper describes a recent application of the model to examine the effects of a high-intensity New Madrid seismic event on the U.S. Eastern Interconnection (USEI). The model's final upgrade and subsequent application to the USEI were made possible via funding from U.S. Department of Energy's Office of Infrastructure Security and Energy Restoration.","PeriodicalId":246140,"journal":{"name":"Proceedings of the 2011 Winter Simulation Conference (WSC)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133281837","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Simulation analysis of multithreaded programs under deadlock-avoidance control","authors":"Hongwei Liao, Hao Zhou, S. Lafortune","doi":"10.1109/WSC.2011.6147798","DOIUrl":"https://doi.org/10.1109/WSC.2011.6147798","url":null,"abstract":"We employ discrete event simulation to evaluate the performance of deadlock-prone multithreaded programs, either general-purpose software or parallel simulators, under a novel technique for deadlock-avoidance control recently proposed in the literature. The programs are modeled by a special class of Petri nets, called Gadara nets. We propose a formal simulation methodology for Gadara nets. We then use simulation to analyze two deadlock-prone multithreaded programs, where we study system performance in terms of safety, efficiency, and activity level, both before and after deadlock-avoidance control is applied. We further conduct a sensitivity analysis to investigate the effect of key parameters on the program's performance. We discuss the implications of the above results on the practical implementation of control strategies that prevent deadlocks in multithreaded programs.","PeriodicalId":246140,"journal":{"name":"Proceedings of the 2011 Winter Simulation Conference (WSC)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134531049","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Use of IDEF-SIM to document simulation models","authors":"J. Rangel, Alessandro Fernandes Nunes","doi":"10.1109/WSC.2011.6147872","DOIUrl":"https://doi.org/10.1109/WSC.2011.6147872","url":null,"abstract":"The technique of conceptual modeling IDEF-SIM uses the syntax of IDEFØ and IDEF3 adapted to the peculiarities of the simulation models. It allows the state variables and the logical elements of a discrete system to be abstracted and ordered with most representativeness. However, it is essential to establish additional measures that enhance the process of collecting and authenticating relevant data. This context has motivated this research, which suggests a model documentary that, when associated with the methodology IDEF-SIM, allows recording the details of a dynamic system in an objective and standardized way. We carried a study on a seaport, allowing verifying that the system was translated with greater speed and detail. In this sense, we concluded that the record out in detail increased efficiency in the generation of knowledge about the particularities of the system, regardless of the complexity of the problem and the computer language adopted.","PeriodicalId":246140,"journal":{"name":"Proceedings of the 2011 Winter Simulation Conference (WSC)","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114085875","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A methodology for managing distributed virtual environment scalability","authors":"H. Singh, D. Gračanin","doi":"10.1109/WSC.2011.6147979","DOIUrl":"https://doi.org/10.1109/WSC.2011.6147979","url":null,"abstract":"Distributed Virtual Environments (DVEs) are a large class of real-time simulation systems. We present an implementation-independent methodology for measuring, analyzing, and comparing DVE systems performance. The methodology comprises of a process of requirements elicitation and their conversion into measurable objectives. The process for determining quality requirements for a DVE is discussed, with a focus on interaction-based scenario analysis. An example is given with a simple game — Asteroids — that has been modified to support two players (users).","PeriodicalId":246140,"journal":{"name":"Proceedings of the 2011 Winter Simulation Conference (WSC)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114813722","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Investigating the memory characteristics of a massively parallel Time Warp kernel","authors":"A. Holder, C. Carothers","doi":"10.1109/WSC.2011.6147997","DOIUrl":"https://doi.org/10.1109/WSC.2011.6147997","url":null,"abstract":"Recently, Time Warp has shown that it achieves good strong scaling to hundreds of thousands of processors on modern supercomputer systems. These results were achieved on the Cray and IBM Blue Gene supercomputing platforms. In this paper, we investigate the ROSS Time Warp cache memory performance on (i) a commodity shared-memory desktop system based on the Intel E5504 processor and (ii) the IBM Blue Gene/L when configured to run over the standard Message Passing Interface (MPI) library.","PeriodicalId":246140,"journal":{"name":"Proceedings of the 2011 Winter Simulation Conference (WSC)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115252464","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A simulation based analysis of the B-1B's AN/ALQ-161 maintenance process","authors":"R. Hill, Daniel D. Mattioda, Ricardo Garza","doi":"10.1109/WSC.2011.6147963","DOIUrl":"https://doi.org/10.1109/WSC.2011.6147963","url":null,"abstract":"The Air Force is investigating the use of three levels of aircraft maintenance. This work examines the effect of maintenance resource collaboration and a centralized repair facility on a critical line replacement unit for a major Air Force weapon system. Maintenance data is collected, summarized into probability distributions and used in a discrete event simulation model to examine the impact of changes to the Air Force hierarchical maintenance structure.","PeriodicalId":246140,"journal":{"name":"Proceedings of the 2011 Winter Simulation Conference (WSC)","volume":"126 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123068832","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}