


Остановите войну!
for scientists:


default search action
WSC 2000: Orlando, FL, USA
- Paul A. Fishwick, Keebom Kang, Jeffrey A. Joines, Russell R. Barton:
Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000. WSC 2000, ISBN 0-7803-6582-8
Doctoral colloquium keynote address
- Robert G. Sargent:
Being a professional. 3-7
Keynote address
- Richard Kidd:
The changing face of entertainment and the driving force behind it: computer simulation. 6
Tutorial Session: Introductory tutorials
- Jerry Banks:
Simulation fundamentals: simulation fundamentals. 9-16 - Lawrence Leemis:
Input modeling. 17-25 - Deborah A. Sadowski, Mark R. Grabau:
Simulation practice: tips for successful practice of simulation. 26-31 - W. David Kelton:
Design of experiments: experimental design for simulation. 32-38 - David Goldsman, Gamze Tokol:
Output analysis: output analysis procedures for computer simulations. 39-45 - Averill M. Law, Michael G. McComas:
Simulation-based optimization. 46-49 - Robert G. Sargent:
Verification, validation, and accreditation: verification, validation, and accreditation of simulation models. 50-59 - S. Narayanan:
Web-based simulation: web-based modeling and simulation. 60-62 - Scott A. Miller, Claude Dennis Pegden:
Manufacturing simulation: introduction to manufacturing simulation. 63-66
Tutorial Session: Advanced tutorials
- Susan M. Sanchez:
Design of experiments: robust design: seeking the best of all possible worlds. 69-76 - Marvin S. Seppanen:
Modeling for application: developing industrial strength simulation models using Visual Basic for Applications (VBA). 77-82 - Simon J. E. Taylor
:
Groupware and the simulation consultant. 83-89 - Thomas J. Schriber, Daniel T. Brunner:
Inside simulation software: inside discrete-event simulation software: how it works and why it matters. 90-100 - Christos Alexopoulos, Andrew F. Seila:
Output analysis: output analysis for simulations. 101-108 - Stephen E. Chick:
Bayesian methods: bayesian methods for simulation. 109-118 - James R. Swisher, Paul Hyden, Sheldon H. Jacobson, Lee Schruben:
Simulation optimization: a survey of simulation optimization techniques and procedures. 119-128 - H. Gonda Neddermeijer, Gerrit J. van Oortmarssen, Nanda Piersma, Rommert Dekker:
A framework for Response Surface Methodology for simulation optimization. 129-136 - Shane G. Henderson:
Mathematics and hybrid modeling: mathematics for simulation. 137-146 - Nico M. van Dijk:
On hybrid combination of queueing and simulation. 147-150 - John M. Charnes:
Options pricing: using simulation for option pricing. 151-157 - Bernard P. Zeigler, Hessam S. Sarjoughian:
Distributed simulation: creating distributed simulation using DEVS M&S environments. 158-160
Tutorial Session: Software/modelware tutorials I
- Vivek Bapat, Nancy Swets:
Arena: the Arena product family: enterprise modeling solutions. 163-169 - Matthew W. Rohrer:
AutoMod product suite: AutoMod tutorial. 170-176 - James O. Henriksen, Robert C. Crain:
GPSS/H, SLX, proof: GPSS/H: a 23-year retrospective view. 177-182 - James O. Henriksen:
SLX: the X is for extensibility. 183-190 - James O. Henriksen:
Adding animation to a simulation using ProofTM. 191-196 - Charles R. Harrell, Rochelle N. Price:
ProModel/MedModel: simulation modeling and optimization using ProModel. 197-202 - Charles R. Harrell, Rochelle N. Price:
Healthcare simulation modeling and optimization using MedModel. 203-207 - Richard A. Phelps, David J. Parsons, Andrew J. Siprelle:
SDI industry product suite: the SDI Industry Product Suite: simulation from the production line to the supply chain. 208-214 - Dursun Delen, Perakath C. Benjamin:
Enterprise modeling and analysis: an enterprise modeling and analysis toolkit. 215-223 - Robert G. Brown:
Digital manufacturing: driving digital manufacturing to reality. 224-228 - Matthias U. Heinicke, Alan Hickman:
eM-Plant: eliminate bottlenecks with integrated analysis tools in eM-Plant. 229-231 - Camille Alain Rabbath, M. Abdoune, Jay Belanger:
Real-time simulations: effective real-time simulations of event-based systems. 232-238
Tutorial Session: Software/modelware tutorials II
- Arvind Mehta:
Smart modeling: smart modeling - basic methodology and advanced tools. 241-245 - Richard A. Kilgore:
Silk, Java and object-oriented simulation. 246-252 - Averill M. Law, Michael G. McComas:
Expert fit: how the ExpertFit distribution-fitting package can make your simulation models more valid. 253-258 - Kendra E. Moore, Jack C. Chiang:
ALPHA/Sim: ALPHA/Sim simulation software tutorial. 259-267 - Herbert D. Schwetman:
CSIM18/OptQuest: optimizing simulations with CSIM18/OptQuest: finding the best configuration. 268-273 - Daniel W. Schunk:
Micro saint: modeling with the Micro Saint simulation package. 274-279 - David Krahl:
Extend: the Extend simulation environment. 280-289
Modeling methodology
- Paul K. Davis:
Dealing with complexity: exploratory analysis enabled by multiresolultion, multiperspective modeling. 293-302 - John B. Gilmer Jr.:
Circumstance descriptors: a method for generating plan modifications and fragmentary orders. 303-311 - Felix Breitenecker, Martin Lingl, Erwin Rybin:
The ARGESIM-Comparisons on discrete simulation: results and evaluation. 312-315 - Paul K. Davis, James H. Bigelow, Jimmie McEver:
Model abstraction techniques and applications: informing and calibrating a multiresolution exploratory analysis model with high resolution simulation: the interdiction problem as a case history. 316-325 - Robert M. McGraw, Richard A. MacDonald:
Abstract modeling for engineering and engagement level simulations. 326-334 - Christos G. Panayiotou, Christos G. Cassandras, Weibo Gong:
Model abstraction for discrete event systems using neural networks and sensitivity information. 335-341 - Bernhard J. Angerhofer, Marios C. Angelides:
System dynamics modelling in supply chain management: research review. 342-351 - Michael W. Barnett, Charles J. Miller:
Analysis of the virtual enterprise using distributed supply chain modeling and simulation: an application of e-SCOR. 352-355 - Rajeev Sudra, Simon J. E. Taylor
, Tharumasegaram Janahan:
Distributed supply chain simulation in GRIDS. 356-361 - Ricki G. Ingalls, Douglas J. Morrice:
Graph-based modeling: PERT scheduling with resources using qualitative simulation graphs. 362-370 - Gert Zülch, Jörg Fischer, Uwe Jonsson:
An integrated object model for activity network based simulation. 371-380 - Lee Schruben:
Mathematical programming models of discrete event system dynamics. 381-385 - Antonio Diaz-Calderon, Christiaan J. J. Paredis, Pradeep K. Khosla:
Architectures and languages for model building and reuse: organization and selection of reconfigurable models. 386-393 - Hendrik Richter, Lothar März:
Toward a standard process: the use of UML for designing simulation models. 394-398 - Henk de Swaan Arons, Eelco van Asperen:
Computer assistance for model definition. 399-408 - Vittorio Cortellessa, Francesco Quaglia:
Techniques for optimizing model execution I: aggressiveness/risk effects based scheduling in Time Warp. 409-417 - Kevin G. Jones, Samir Ranjan Das:
Parallel execution of a sequential network simulator. 418-424 - David M. Nicol, L. Felipe Perrone
:
Cost/benefit analysis of interval jumping in power-control simulation. 425-431 - David H. Withers:
Some fundamental issues in model building: software engineering Best Practices applied to the modeling process. 432-439 - Hessam S. Sarjoughian, Bernard P. Zeigler:
Models and representation of their ownership. 440-448 - Leonardo Chwif, Marcos Ribeiro Pereira Barretto, Ray J. Paul:
On simulation model complexity. 449-455 - Tony Dean:
Advances in modeling and analysis: a method for achieving stable distributions of wireless mobile location in motion simulations. 456-463 - Marc S. Atkin, Paul R. Cohen:
Using simulation and critical points to define states in continuous search spaces. 464-470 - Niki C. Thornock, J. Kelly Flanagan:
Facilitating level three cache studies using set sampling. 471-479 - Hossein Salehfar, Nagy Bengiamin, Jun Huang:
Techniques for optimizing model execution II: a systematic approach to linguistic fuzzy modeling based on input-output data. 480-486 - Kah Leong Tan, Ian Li-Jin Thng:
SNOOPy Calendar Queue. 487-495 - Helen D. Karatza:
A simulation model of backfilling and I/O scheduling in a partitionable parallel system. 496-505
Analysis methodology I
- Christiane Lemieux, Pierre L'Ecuyer:
Quasi-random numbers and their applications: using lattice rules for variance reduction in simulation. 509-516 - Michael G. Hilgers:
Quasi-Monte Carlo methods in cash flow testing simulations. 517-526 - Shane G. Henderson, Belinda A. Chiera, Roger M. Cooke:
Generating "dependent" quasi-random numbers. 527-536 - Justin Boesel:
Ranking, selection, and multiple comparisons in simulation: adaptively choosing the best procedure for selecting the best system. 537-543 - David Goldsman, William S. Marshall, Seong-Hee Kim, Barry L. Nelson:
Ranking and selection for steady-state simulation. 544-553 - Stephen E. Chick, Koichiro Inoue:
New results on procedures that select the best system using CRN. 554-561 - Michael E. Kuhl, Prashant S. Bhairgond:
New frontiers in input modeling: nonparametric estimation of Nonhomogeneous Poisson processes using wavelets. 562-571 - Michael J. Evans, Tim B. Swartz:
Simulation from non-standard distributions using envelope methods. 572-576 - Diane L. Evans, Lawrence M. Leemis:
Input modeling using a computer algebra system. 577-586 - Yi Su, Michael C. Fu:
Simulation in financial engineering: importance sampling in derivative securities pricing. 587-596 - Harriet Black Nembhard, Leyuan Shi, Mehmet Aktan:
A real options design for quality control charts. 597-603 - Paul Glasserman, Philip Heidelberger, Perwez Shahabuddin:
Variance reduction techniques for value-at-risk with heavy-tailed risk factors. 604-609 - Michael C. Fu, Sigrún Andradóttir, John S. Carson II, Fred W. Glover, Charles R. Harrell, Yu-Chi Ho, James P. Kelly, Stephen M. Robinson:
Integrating optimization and simulation: research and practice. 610-616 - E. Jack Chen, W. David Kelton:
Batching methods for simulation output analysis: a stopping procedure based on phi-mixing conditions. 617-626 - Natalie M. Steiger, James R. Wilson:
Experimental performance evaluation of batch means procedures for simulation output analysis. 627-636 - Yingchieh Yeh, Bruce W. Schmeiser:
Simulation output analysis via dynamic batch means. 637-645 - Pieter-Tjerk de Boer, Victor F. Nicola, Reuven Y. Rubinstein:
Techniques for simulating difficult queueing problems: adaptive importance sampling simulation of queueing networks. 646-655 - Nam Kyoo Boots, Perwez Shahabuddin:
Simulating GI/GI/1 queues and insurance risk processes with subexponential distributions. 656-665 - Robert Geist, James Westall:
Practical aspects of simulating systems having arrival processes with long-range dependence. 666-674 - Wolfgang Hörmann, Josef Leydold:
Random-number and random-variate generation: automatic random variate generation for simulation input. 675-682 - Pierre L'Ecuyer, Renée Touzin:
Fast combined multiple recursive generators with multipliers of the form a = ±2q ±2r. 683-689 - Pierre L'Ecuyer, François Panneton:
A new class of linear feedback shift register generators. 690-696 - Russell C. H. Cheng, Owen D. Jones:
Methods for comparing and optimizing simulated systems: analysis of simulation factorial experiments by EDF resample statistics. 697-703 - Theodore Allen, Liyang Yu:
Low cost response surface methods for and from simulation optimization. 704-714 - S. J. Abspoel, L. F. P. Etman, J. Vervoort, Jacobus E. Rooda:
Simulation optimization of stochastic systems with integer variables by sequential linearization. 715-723
Analysis methodology II
- E. Jack Chen, W. David Kelton:
Comparing systems via stochastic simulation: an enhanced two-stage selection procedure. 727-735 - Sigurdur Ólafsson, Nithin Gopinath:
Optimal selection probability in the two-stage nested partitions method for simulation-based optimization. 736-742 - Paul Hyden, Lee Schruben:
Improved decision processes through simultaneous simulation and time dilation. 743-748 - Linda Trocine, Linda C. Malone:
Statistical tools for simulation design and analysis I: finding important independent variables through screening designs: a comparison of methods. 749-754 - K. Preston White, Michael J. Cobb, Stephen C. Spratt:
A comparison of five steady-state truncation heuristics for simulation. 755-760 - Edjair de Souza Mota
, Adam Wolisz, Krzysztof Pawlikowski:
A perspective of batching methods in a simulation environment of multiple replications in parallel. 761-766 - Yun Bae Kim, Deok Seon Roh, Myeong Yong Lee:
Statistical tools for simulation design and analysis II: nonparametric adaptive importance sampling for rare event simulation. 767-772 - Maria de los A. Irizarry, Michael E. Kuhl, Emily K. Lada, Sriram Subramanian, James R. Wilson:
Analyzing transformation-based simulation metamodels. 773-781 - Andrés Suárez-González, Cándido López-García, José C. López-Ardao, Manuel Fernández-Veiga:
On the use of control variates in the simulation of medium access control protocols. 782-787 - Felipe F. Baesler, José A. Sepúlveda:
Simulation optimization: multi-response simulation optimization using stochastic genetic search within a goal programming framework. 788-794 - Michael C. Ferris, Todd S. Munson, Krung Sinapiromsaran:
A practical approach to sample-path simulation optimization. 795-804 - Berna Dengiz, Cigdem Alabas-Uslu:
Simulation optimization using tabu search. 805-810
Verification, validation and accreditation
- Jennifer Chew, Cindy Sullivan:
VV&A; I: verification, validation, and accreditation in the life cycle of models and simulations. 813-818 - Candace L. Conwell, Rosemary Enright, Marcia A. Stutzman:
Capability maturity models support of modeling and simulation verification, validation, and accreditation. 819-828 - Osman Balci, William F. Ormsby, John T. Carr III, Said D. Saadi:
Planning for verification, validation, and accreditation of modeling and simulation applications. 829-839 - Dirk Brade:
VV&A; II: enhancing modeling and simulation accreditation by structuring Verification and Validation results. 840-848 - Osman Balci, William F. Ormsby:
Well-defined intended uses: an explicit requirement for accreditation of modeling and simulation applications. 849-854 - Michael L. Metz:
Joint Warfare System (JWARS) verification and validation lessons learned. 855-858 - James D. Arthur, Richard E. Nance:
V&A; III: verification and validation without independence: a recipe for failure. 859-865 - John T. Carr III, Osman Balci:
Verification and validation of object-oriented artifacts throughout the simulation model development life cycle. 866-871 - Don Caughlin:
An integrated approach to verification, validation, and accredition of models and simulations. 872-881 - Jack P. C. Kleijnen, Russell C. H. Cheng, Bert Bettonvil:
VV&A; IV: validation of trace-driven simulation models: more on bootstrap tests. 882-892 - Harald Schludermann, Thomas Kirchmair, Markus Vorderwinkler:
Soft-commissioning: hardware-in-the-loop-based verification of controller software. 893-899 - Fernando G. Gonzalez, Alicia Helton, Douglas Helton, Jeffrey S. Smith, Eileen Thompson, Gerry Walterscheild:
The design of a solid-state physical model of an automated system to be used as a test bed for control applications. 900-908 - Robert G. Sargent, Priscilla A. Glasow, Jack P. C. Kleijnen, Averill M. Law, Ian McGregor, Simone Youngblood:
Strategic directions in VV&A; research: strategic directions in Verification, Validation, and Accreditation research. 909-916