{"title":"Non-Interfering Gvt Computation via Asynchronous Global Reductions","authors":"Sudhir Srinivasan, Paul F. Reynolds","doi":"10.1109/WSC.1993.718314","DOIUrl":"https://doi.org/10.1109/WSC.1993.718314","url":null,"abstract":"GVT computation has been a significant problem in Time Warp implementations since it affects the completion time of the simulation. We present a new method for computing GVT using inexpensive hardware designed to support synchronization in parallel computations. The main contribution of this paper is this new GVT algorithm. Unlike previous methods, the computation of GVT using our method does not interfere with the simulation. For the LP's, the cost of obtaining GVT is reduced to insignificance. Preliminary studies indicate that our method provides very accurate GVT.","PeriodicalId":177234,"journal":{"name":"Proceedings of 1993 Winter Simulation Conference - (WSC '93)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124312148","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":"Conjectured Upper Bounds on Transient Mean Total Waiting Times in Queuing Networks","authors":"F. Chance","doi":"10.1109/WSC.1993.718080","DOIUrl":"https://doi.org/10.1109/WSC.1993.718080","url":null,"abstract":"In this paper, we give conjectured upper bounds on transient total mean waiting times for jobs in initially idle single source open Jackson networks. If true, these upper bounds provide lower bounds on the time required for the transient mean to approach its steady-state value. We compute the bounds by a weighted sum of transient means from a network de- composition, and we graphically display bound performance for five and fifty node networks.","PeriodicalId":177234,"journal":{"name":"Proceedings of 1993 Winter Simulation Conference - (WSC '93)","volume":"23 Suppl A 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124556450","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":"the Philosophy of Science and Validation in Simulation","authors":"G. Kleindorfer, Ram Geneshan","doi":"10.1109/WSC.1993.718028","DOIUrl":"https://doi.org/10.1109/WSC.1993.718028","url":null,"abstract":"More than twenty-five years ago, Naylor and Finger suggested that the problem of validation in simulation was analogous to the problem of validating scientific theories in general. They went on to prescribe an eclectic approach to validation in simulation that they put together from what they viewed at the time as an exhaustive description of the possible philosophical alternatives. A considerable development has taken place in the philosophy of science since Naylor and Finger wrote their paper. Most notably the justificationist positions in the philosophy of science that Naylor and Finger appealed to have been largely discredited. We attempt here to provide a new examination of the various relevant positions. And we also attempt to show in one way or another how these positions provide additional perspectives on overcoming some of the conceptual difficulties involved in simulation validation.","PeriodicalId":177234,"journal":{"name":"Proceedings of 1993 Winter Simulation Conference - (WSC '93)","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116363236","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":"An Application of Perturbation Analysis to a Replacement Problem in Maintenance Theory","authors":"M. Fu, Jianqiang Hu, Leyuan Shi","doi":"10.1109/WSC.1993.718069","DOIUrl":"https://doi.org/10.1109/WSC.1993.718069","url":null,"abstract":"We consider the problem of sensitivity analysis for replacement problems in maintenance theory. In particular, we apply the technique of perturbation analysis to derive estimators for the gradient of a cost performance measure with respect to replacement parameters for a variation of a problem in L'Ecuyer (1990).","PeriodicalId":177234,"journal":{"name":"Proceedings of 1993 Winter Simulation Conference - (WSC '93)","volume":"288 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116403093","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":"Semi-Automated Forces for Corps Battle Simulation","authors":"E. Gat, J. Fearey, J. Provenzano","doi":"10.1109/WSC.1993.718359","DOIUrl":"https://doi.org/10.1109/WSC.1993.718359","url":null,"abstract":"This paper describes ongoing development of semi-automated forces (SAFORs) for the Corps Battle Simulation (CBS). Our approach adapts a control architecture which was originally developed to control autonomous mobile robots. The architecture extends a control methodology called behavior control with conditional sequencing and strategic planning capabilities. An initial implementation is scheduled to be completed in the third quarter of FY93.","PeriodicalId":177234,"journal":{"name":"Proceedings of 1993 Winter Simulation Conference - (WSC '93)","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123945760","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 of Information Flow in Organizations","authors":"Douglas W. Jones","doi":"10.1109/WSC.1993.718415","DOIUrl":"https://doi.org/10.1109/WSC.1993.718415","url":null,"abstract":"The Icarus simulation system is the result of an experiment in embedding small rule-based expert systems into a discrete event simulation environment. The goal of this work is to allow the use of expert systems to model the intelligent behavior of people that are included in the system being simulated. The major problems we have encountered in building the Icarus system have resulted from unexpected and fundamental interactions between expert systems and our discrete event simulation framework. These interactions are the focus of this paper.","PeriodicalId":177234,"journal":{"name":"Proceedings of 1993 Winter Simulation Conference - (WSC '93)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125862319","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":"Joining a Distributed Simulation Environment via Alsp","authors":"Lydia P. Dubon","doi":"10.1109/WSC.1993.718362","DOIUrl":"https://doi.org/10.1109/WSC.1993.718362","url":null,"abstract":"The Aggregate-Level Simulation Protocol (ALSP) provides a common platform where a simulation can import objects owned by other simulations (ghosting) into its local modeling framework, and can export its objects to other simulations. In ALSP, simulations are referred to as actors, and an aggregate of simulations form the ALSP Confederation. The first pair of actors to successfully join the confederation are the Corps Battle Simulation (CBS) and the Air Warfare Simulation (AWSIM). CBS is currently undergoing changes to interface with the Combat Service Support Training Simulation System (CSSTSS). This paper describes the approach and changes that allow CBS to successfully join the ALSP Confederation. There are two distinct areas of changes that CBS had to undertake: functional changes and interface changes. The functional changes give CBS the ability to generate the simulation event data and object state changes needed to support the modeling interface with other actors. This was achieved by enhancing or inhibiting certain functionality in the model. The interface changes provide CBS with the ability to recognize and generate ALSP messages needed to support the functional changes. The implementation approach to the above changes was based on the philosophy that CBS's stand- alone functionality should be kept intact.","PeriodicalId":177234,"journal":{"name":"Proceedings of 1993 Winter Simulation Conference - (WSC '93)","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124696605","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":"Incremental State Saving in Speedes Using C++","authors":"J. Steinman","doi":"10.1109/WSC.1993.718308","DOIUrl":"https://doi.org/10.1109/WSC.1993.718308","url":null,"abstract":"Optimistic parallel discrete-event simulation engines require a rollback mechanism to restore the state of a simulation object to an earlier time if its events are accidentally processed out of time order. Traditional approaches save the entire state of an object before its next event is processed so that its original state can be restored. However, this approach can very quickly use up all of a processor's available memory. In addition, the overhead for copying large amounts of memory can be quite high. Incremental state saving helps to overcome these problems by saving only the changes that an event makes to an object. This paper describes some reversible incremental state saving techniques (i.e., the Delta Exchange Method and the Rollback Queue Mechanism) that are used by the object-oriented C++ SPEEDES (Synchronous Parallel Environment for Emulation and Discrete-Event Simulation) operating system, The need for reversible incremental state saving is emphasized by a brief discussion on lazy cancellation techniques which require roll-forward as well as rollback support.","PeriodicalId":177234,"journal":{"name":"Proceedings of 1993 Winter Simulation Conference - (WSC '93)","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124717971","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":"Multi-Hospital Validation of Critical Care Simulation Model","authors":"J. Lowery","doi":"10.1109/WSC.1993.718381","DOIUrl":"https://doi.org/10.1109/WSC.1993.718381","url":null,"abstract":"The objective of the study reported herein was to design and validate a general simulation model of a hospital's critical care units, such that with minor changes to the model's input variables, the model can be used to represent the critical care area in a variety of different hospitals. A model was written in GPSS/H and validated for four Department of Veterans Affairs medical centers (VAMCs). The model includes exponential patient interarrival time distributions and lognormal length of stay distributions. The results from this research suggest that a general critical care model can be written which is valid for multiple hospitals. The general model described in this article is easily tailored to the unique patient characteristics and critical care unit configurations of a given hospital.","PeriodicalId":177234,"journal":{"name":"Proceedings of 1993 Winter Simulation Conference - (WSC '93)","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127071824","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":"Families of Models that Cross Levels of Resolution: Issues for Design, Calibration and Management","authors":"P. Davis, R. Hillestad","doi":"10.1109/WSC.1993.718351","DOIUrl":"https://doi.org/10.1109/WSC.1993.718351","url":null,"abstract":"This review paper summarizes an ARPA-sponsored project to study variable-resolution modeling (VRM) and the connection of models across levels of resolution. We describe work introducing basic concepts, highlighting a design approach called integrated hierarchical variable-resolution modeling (IHVR), exploring mathematically some long-standing issues of aggregation in ground-combat modeling, and experimenting with cross-organizational efforts to develop and compare models created with different techniques and perspectives. We also describe highlights of a conference held in May, 1992 and touch briefly on some subsequent work. Despite the substantial progress, we conclude that the VRM problem is central, difficult, and greatly under invested. It should be approached as a matter of military science rather than technology, although we discuss new software tools that can be quite valuable.","PeriodicalId":177234,"journal":{"name":"Proceedings of 1993 Winter Simulation Conference - (WSC '93)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127488877","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}