메뉴 건너뛰기




Volumn , Issue , 2007, Pages 1-454

Modelling and simulation: Exploring dynamic system behaviour

Author keywords

[No Author keywords available]

Indexed keywords


EID: 84892228330     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-1-84628-622-3     Document Type: Book
Times cited : (91)

References (112)
  • 1
    • 0032069847 scopus 로고    scopus 로고
    • The spectrum of simulation software
    • May
    • Bowden, R., (1998), The spectrum of simulation software, IEEE Solutions, 30(May): 44-54.
    • (1998) IEEE Solutions , vol.30 , pp. 44-54
    • Bowden, R.1
  • 2
    • 33746319356 scopus 로고    scopus 로고
    • Endoscopy simulators for training and assessment skills
    • Endoscopy simulators for training and assessment skills, (2006), J. Cohen (Ed.), Gastrointestinal Endoscopy Clinics of North America, 16(3): 389-610 (see also: www.theclinics.com).
    • (2006) Gastrointestinal Endoscopy Clinics of North America , vol.16 , Issue.3 , pp. 389-610
    • Cohen, J.1
  • 3
    • 84892257248 scopus 로고    scopus 로고
    • Modeling and Simulation Resource Directory
    • Modeling and Simulation Resource Directory, (2005), Modeling and Simulation, 4(1) (see also www.scs.org).
    • (2005) Modeling and Simulation , vol.4 , Issue.1
  • 4
    • 0036242839 scopus 로고    scopus 로고
    • Perspectives on the evolution of simulation
    • Nance, R.E. and Sargent, R.G., (2002), Perspectives on the evolution of simulation, Operations Research, 50: 161-172.
    • (2002) Operations Research , vol.50 , pp. 161-172
    • Nance, R.E.1    Sargent, R.G.2
  • 5
    • 84976704715 scopus 로고
    • A history of discrete event simulation programming languages
    • Nance, R.E., (1993), A history of discrete event simulation programming languages, ACM SIGPLANNotices, 28(3):149-175.
    • (1993) ACM SIGPLANNotices , vol.28 , Issue.3 , pp. 149-175
    • Nance, R.E.1
  • 6
    • 0029484244 scopus 로고
    • Simulation programming languages: An abridged history
    • Arlington, VA
    • Nance, R.E., (1995), Simulation programming languages: An abridged history, in Proceedings of the 1995 Winter Simulation Conference, Arlington, VA, pp. 1307-1313.
    • (1995) Proceedings of the 1995 Winter Simulation Conference , pp. 1307-1313
    • Nance, R.E.1
  • 7
    • 0018444781 scopus 로고
    • Concepts for advanced simulation methodologies
    • Oren, T.I. and Zeigler, B.P., (1979), Concepts for advanced simulation methodologies, Simulation, 32: 69-82.
    • (1979) Simulation , vol.32 , pp. 69-82
    • Oren, T.I.1    Zeigler, B.P.2
  • 9
    • 0032627524 scopus 로고    scopus 로고
    • A hierarchical framework for evaluating simulation software
    • Nikoukaran, J., Hlupic, V., and Paul, R.J., (1999), A hierarchical framework for evaluating simulation software, Simulation Practice and Theory, 7: 219-231.
    • (1999) Simulation Practice and Theory , vol.7 , pp. 219-231
    • Nikoukaran, J.1    Hlupic, V.2    Paul, R.J.3
  • 10
    • 44949128578 scopus 로고    scopus 로고
    • Seventh biennial survey of discrete event simulation software tools
    • Swain, J.J., (2005), Seventh biennial survey of discrete event simulation software tools, OR/MS Today, 32.
    • (2005) OR/MS Today , pp. 32
    • Swain, J.J.1
  • 12
    • 84892320738 scopus 로고    scopus 로고
    • Computer architecture simulators are not as good as the real thing - They are better!
    • guest editorial, Special Issue on General Computer Architecture Simulators
    • Yurcik, W., (2002), Computer architecture simulators are not as good as the real thing - They are better!, ACM Journal of Educational Resources in Computing, 1(4) (guest editorial, Special Issue on General Computer Architecture Simulators).
    • (2002) ACM Journal of Educational Resources in Computing , vol.1 , Issue.4
    • Yurcik, W.1
  • 14
    • 21844517605 scopus 로고
    • Validation, verification, and testing techniques throughout the life cycle of a simulation study
    • Balci, 0.,(1994), Validation, verification, and testing techniques throughout the life cycle of a simulation study, Annals of Operations Research, 53: 121-173.
    • (1994) Annals of Operations Research , vol.53 , pp. 121-173
    • Balci, O.1
  • 15
    • 85013260241 scopus 로고    scopus 로고
    • A methodology for certification of modeling and simulation applications
    • Balci, O., (2001), A methodology for certification of modeling and simulation applications, ACM Transactions on Modeling and Computer Simulation, 11: 352-377.
    • (2001) ACM Transactions on Modeling and Computer Simulation , vol.11 , pp. 352-377
    • Balci, O.1
  • 16
  • 17
    • 0042825569 scopus 로고
    • Software engineering: R&D trends and defence needs
    • P. Wegner (Ed.), MIT Press, Cambridge, MA
    • Boehm, B.W., (1979), Software engineering: R&D trends and defence needs, in: P. Wegner (Ed.), Research Directions in Software Technology, MIT Press, Cambridge, MA.
    • (1979) Research Directions in Software Technology
    • Boehm, B.W.1
  • 18
    • 0022901979 scopus 로고
    • Combined discrete/continuous system simulation - Aplication, techniques and tools
    • Department of Defense (DoD) Recommended Practices Guide (RPG) for Modeling and Simulation VV&A, Millennium Edition
    • Cellier, F.E., (1986), Combined discrete/continuous system simulation - aplication, techniques and tools, in Proceedings of the 1986 Winter Simulation Conference. Department of Defense (DoD) Recommended Practices Guide (RPG) for Modeling and Simulation VV&A, Millennium Edition (available at http://vva.dmso.mil).
    • (1986) Proceedings of the 1986 Winter Simulation Conference
    • Cellier, F.E.1
  • 19
    • 84892275005 scopus 로고
    • Report to the Congress: Ways to improve management of federally funded computerized models
    • General Accounting Office, U.S. General Accounting Office, Washington, DC
    • General Accounting Office, (1976), Report to the Congress: Ways to improve management of federally funded computerized models, report LCD-75-111, U.S. General Accounting Office, Washington, DC.
    • (1976) Report LCD-75-111
  • 20
    • 0004277272 scopus 로고
    • Guidelines for model evaluation
    • General Accounting Office, U.S. General Accounting Office, Washington, DC
    • General Accounting Office, (1979), Guidelines for model evaluation, report PAD-79-17, U.S. General Accounting Office, Washington, DC.
    • (1979) Report PAD-79-17
  • 21
    • 1642459588 scopus 로고
    • DOD simulations: Improved assessment procedures would increase the credibility of results
    • General Accounting Office, U.S. General Accounting Office, Washington, DC
    • General Accounting Office, (1987), DOD simulations: Improved assessment procedures would increase the credibility of results, report GAO/PEMD-88-3, U.S. General Accounting Office, Washington, DC.
    • (1987) Report GAO/PEMD-88-3
  • 22
    • 0018999461 scopus 로고
    • Concepts and criteria to access acceptability of simulation studies
    • Oren, T.I., (1981), Concepts and criteria to access acceptability of simulation studies, Communications of the ACM, 24: 180-189.
    • (1981) Communications of the ACM , vol.24 , pp. 180-189
    • Oren, T.I.1
  • 25
    • 84886201664 scopus 로고    scopus 로고
    • Verification, validation and accreditation of simulation models
    • M.S. Obaidat and G.I. Papadimitriou (Eds.), Kluwer Academic, Boston
    • Pace, D.K., (2003), Verification, validation and accreditation of simulation models, in M.S. Obaidat and G.I. Papadimitriou (Eds.), Applied System Simulation: Methodologies and Applications, Kluwer Academic, Boston.
    • (2003) Applied System Simulation: Methodologies and Applications
    • Pace, D.K.1
  • 26
    • 84948252351 scopus 로고
    • System theoretic formalisms for combined discrete continuous system simulation
    • Praehofer, H., (1991), System theoretic formalisms for combined discrete continuous system simulation, International Journal of General Systems, 19: 219-240.
    • (1991) International Journal of General Systems , vol.19 , pp. 219-240
    • Praehofer, H.1
  • 29
    • 0002574341 scopus 로고    scopus 로고
    • Validation, verification and testing
    • Chapter 10, John Wiley & Sons, New York
    • Balci O., (1998), Validation, verification and testing, in The Handbook of Simulation, Chapter 10, John Wiley & Sons, New York, 335-393.
    • (1998) The Handbook of Simulation , pp. 335-393
    • Balci, O.1
  • 32
    • 0014599202 scopus 로고
    • Maximum likelihood estimation of the paramters of the gamma distribution and their bias
    • Choi S.C. and Wette R., (1969), Maximum likelihood estimation of the paramters of the gamma distribution and their bias, Technometrics, 11: 683-690.
    • (1969) Technometrics , vol.11 , pp. 683-690
    • Choi, S.C.1    Wette, R.2
  • 34
    • 33750897689 scopus 로고
    • Serial correlation in the generation of psuedo-random numbers
    • Coveyou, R.R., (1960), Serial correlation in the generation of psuedo-random numbers, Journal of the ACM, 7: 72-74.
    • (1960) Journal of the ACM , vol.7 , pp. 72-74
    • Coveyou, R.R.1
  • 36
    • 0039357542 scopus 로고
    • Random number generators
    • Hull, T.E. and Dobell, A.R., (1962), Random number generators, SIAM Review, 4: 230-254.
    • (1962) SIAM Review , vol.4 , pp. 230-254
    • Hull, T.E.1    Dobell, A.R.2
  • 39
    • 0003657590 scopus 로고    scopus 로고
    • Seminumerical Algorithms, 3rd ed., Addison-Wesley, Reading, MA
    • Knuth, D.E., (1998), The Art of Computer Programming, Vol. 2: Seminumerical Algorithms, 3rd ed. , Addison-Wesley, Reading, MA.
    • (1998) The Art of Computer Programming , vol.2
    • Knuth, D.E.1
  • 43
    • 0001546568 scopus 로고
    • Mathematical methods in large scale computing units
    • 1949 and Annals Comput. Lab, 1951, Harvard University Press, Cambridge, MA
    • Lehmer, D.H., (1949, 1951), Mathematical methods in large scale computing units, in Proceedings of the Second Symposium on Large-Scale Digital Calculating Machinery, 1949 and Annals Comput. Lab, 1951, vol. 26, pp. 141-146, Harvard University Press, Cambridge, MA.
    • (1949) Proceedings of the Second Symposium on Large-Scale Digital Calculating Machinery , vol.26 , pp. 141-146
    • Lehmer, D.H.1
  • 45
    • 2142709445 scopus 로고
    • A new pseudo-random number generator
    • Rotenberg, A., (1960), A new pseudo-random number generator, Journal of the ACM, 7: 75-77.
    • (1960) Journal of the ACM , vol.7 , pp. 75-77
    • Rotenberg, A.1
  • 46
    • 84870234802 scopus 로고
    • Hierarchical flow control: A framework for scheduling and planning discrete events in manufacturing
    • Y.-C. Ho (Ed.),IEEE Press, Piscataway, NJ
    • Gershwin, S.B., (1991) Hierarchical flow control: A framework for scheduling and planning discrete events in manufacturing, in Y.-C. Ho (Ed.), Discrete Event Dynamic Systems, IEEE Press, Piscataway, NJ.
    • (1991) Discrete Event Dynamic Systems
    • Gershwin, S.B.1
  • 48
    • 0035705781 scopus 로고    scopus 로고
    • EZStrobe: General-purpose simulation system based on activity cycle diagrams
    • Martinez, J.C., (2001), EZStrobe: General-purpose simulation system based on activity cycle diagrams, in Proceedings of the 2001 Winter Simulation Conference, pp. 1556-1564.
    • (2001) Proceedings of the 2001 Winter Simulation Conference , pp. 1556-1564
    • Martinez, J.C.1
  • 50
    • 0034431377 scopus 로고    scopus 로고
    • Object-oriented technology for enhancing activity-based modelling functionality
    • J.A. Joines, R.R. Barton, K. Kang, and P.A. Fishwick (Eds.), Orlando, FL, December 10-13, 2000
    • Shi, J.J., (2000), Object-oriented technology for enhancing activity-based modelling functionality, in J.A. Joines, R.R. Barton, K. Kang, and P.A. Fishwick (Eds.), Proceedings of the 2000 Winter Simulation Conference, Orlando, FL, December 10-13, 2000, pp. 1938-1944.
    • (2000) Proceedings of the 2000 Winter Simulation Conference , pp. 1938-1944
    • Shi, J.J.1
  • 51
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • Tadao, M., (1989), Petri nets: Properties, analysis and applications, Proceedings of IEEE, 77: 541-580.
    • (1989) Proceedings of IEEE , vol.77 , pp. 541-580
    • Tadao, M.1
  • 57
    • 84892235572 scopus 로고    scopus 로고
    • Version 1.2.0
    • CERN, The Colt Project, (2004), Version 1.2.0, http://dsd.lbl.gov/ ~hoschek/-colt/.
    • (2004) CERN, the Colt Project
  • 60
    • 0002582128 scopus 로고    scopus 로고
    • Comparing systems via simulation
    • J. Banks (Ed.), John Wiley, New York
    • Goldsman, D. and Nelson, B.L., (1998), Comparing Systems Via Simulation, in J. Banks (Ed.), Handbook of Simulation, John Wiley, New York, pp. 273-306.
    • (1998) Handbook of Simulation , pp. 273-306
    • Goldsman, D.1    Nelson, B.L.2
  • 61
    • 0035696577 scopus 로고    scopus 로고
    • Statistical selection of the best system
    • B.A. Peters, J.S. Smith, D.J. Medeiros, and M.W. Rohrer, (Eds.),IEEE Press, Piscataway, NJ
    • Goldsman, D. and Nelson, B.L., (2001), Statistical selection of the best system, in B.A. Peters, J.S. Smith, D.J. Medeiros, and M.W. Rohrer, (Eds.), Proceedings of the 2001 Winter Simulation Conference IEEE Press, Piscataway, NJ, pp. 139-146.
    • (2001) Proceedings of the 2001 Winter Simulation Conference , pp. 139-146
    • Goldsman, D.1    Nelson, B.L.2
  • 64
    • 0036923791 scopus 로고    scopus 로고
    • A statistical process control approach for estimating the warm-up period
    • IEEE Piscataway, NJ
    • Robinson S., (2002), A statistical process control approach for estimating the warm-up period, in Proceedings of the 2002 Winter Simulation Conference, IEEE Piscataway, NJ, pp. 439-446
    • (2002) Proceedings of the 2002 Winter Simulation Conference , pp. 439-446
    • Robinson, S.1
  • 65
    • 0028257336 scopus 로고
    • The relaxation time heuristic for the initial transient problem in M/M/K queuing systems
    • Roth, E., (1994), The relaxation time heuristic for the initial transient problem in M/M/K queuing systems, European Journal of Operational Research, 72: 376-386.
    • (1994) European Journal of Operational Research , vol.72 , pp. 376-386
    • Roth, E.1
  • 66
    • 0002112447 scopus 로고
    • The statistical analysis of simulation results
    • S. Lavenberg (Ed.), Academic Press, New York
    • Welch, P., (1983), The statistical analysis of simulation results, in S. Lavenberg (Ed.), The Computer Performance Modeling Handbook, Academic Press, New York, pp. 268-328.
    • (1983) The Computer Performance Modeling Handbook , pp. 268-328
    • Welch, P.1
  • 67
    • 0018572296 scopus 로고
    • Stability regions and transition phenomena for harvested predator-prey systems
    • Brauer, F. and Soudack, A.C., (1979), Stability regions and transition phenomena for harvested predator-prey systems, Journal of Mathematical Biology, 8: 55-71.
    • (1979) Journal of Mathematical Biology , vol.8 , pp. 55-71
    • Brauer, F.1    Soudack, A.C.2
  • 73
    • 0019536593 scopus 로고
    • Efficient automatic integration of ordinary differential equations with discontinuities
    • Ellison, D., (1981), Efficient automatic integration of ordinary differential equations with discontinuities, Mathematics and Computation in Simulation, 23: 12-20.
    • (1981) Mathematics and Computation in Simulation , vol.23 , pp. 12-20
    • Ellison, D.1
  • 76
    • 0021384431 scopus 로고
    • Solving ordinary differential equations with discontinuities
    • Gear, C.W. and Osterby, O., (1984), Solving ordinary differential equations with discontinuities, ACM Transactions on Mathematical Software, 10: 23-44.
    • (1984) ACM Transactions on Mathematical Software , vol.10 , pp. 23-44
    • Gear, C.W.1    Osterby, O.2
  • 80
    • 0036321883 scopus 로고    scopus 로고
    • Quantized state systems: A DEVS approach for continuous system simulation
    • Kofman, E. and Junco, S., (2001), Quantized state systems: A DEVS approach for continuous system simulation, Transactions of the SCS, 18(3): 123-132.
    • (2001) Transactions of the SCS , vol.18 , Issue.3 , pp. 123-132
    • Kofman, E.1    Junco, S.2
  • 85
    • 0010515793 scopus 로고
    • A derivation of conjugate gradients
    • F.A. Lottsma (Ed.), Academic Press, London
    • Beale, E.M.L., (1972), A derivation of conjugate gradients, in F.A. Lottsma (Ed.), Numerical Methods for Non-Linear Optimization, Academic Press, London, pp. 39-13.
    • (1972) Numerical Methods for Non-Linear Optimization , pp. 39-13
    • Beale, E.M.L.1
  • 86
    • 77957214026 scopus 로고
    • Descent property and global convergence of the Fletcher-Reeves method with inexact line search
    • Al-Baali, (1985), Descent property and global convergence of the Fletcher-Reeves method with inexact line search, IMA Journal on Numerical Analysis, 5: 121-124.
    • (1985) IMA Journal on Numerical Analysis , vol.5 , pp. 121-124
    • Al-Baali1
  • 88
    • 31144448660 scopus 로고    scopus 로고
    • A discrete parameter stochastic approximation algorithm for simulation optimization
    • Bhatnager, S. and Kowshik, H.J., (2005), A discrete parameter stochastic approximation algorithm for simulation optimization, Simulation, 81(11).
    • (2005) Simulation , vol.81 , Issue.11
    • Bhatnager, S.1    Kowshik, H.J.2
  • 91
    • 0000615669 scopus 로고
    • Function minimization by conjugate gradients
    • Fletcher, R. and Reeves, C.M., (1964), Function minimization by conjugate gradients, Computer Journal, 7: 149-154.
    • (1964) Computer Journal , vol.7 , pp. 149-154
    • Fletcher, R.1    Reeves, C.M.2
  • 93
    • 0002824920 scopus 로고
    • Global convergence properties of conjugate gradient methods for optimization
    • Gilbert, J. and Nocedal, J., (1992), Global convergence properties of conjugate gradient methods for optimization, SIAM Journal on Optimization, 2: 21-12.
    • (1992) SIAM Journal on Optimization , vol.2 , pp. 21-12
    • Gilbert, J.1    Nocedal, J.2
  • 97
  • 98
    • 0000238336 scopus 로고
    • A simplex method for function minimization
    • Nelder, J. and Mead, R., (1965), A simplex method for function minimization, Computer Journal,, 7: 308-313.
    • (1965) Computer Journal , vol.7 , pp. 308-313
    • Nelder, J.1    Mead, R.2
  • 103
    • 33745613789 scopus 로고    scopus 로고
    • Global Optimization toolbox for maple: An introduction with illustrative applications
    • Pinter, Janos D., Linder, David and Chin, Paulina (2006), Global Optimization toolbox for maple: an introduction with illustrative applications, Optimization Methods and Software., vol 21(4), pp. 565-582.
    • (2006) Optimization Methods and Software , vol.21 , Issue.4 , pp. 565-582
    • Pinter, J.D.1    Linder, D.2    Chin, P.3
  • 105
    • 33846446220 scopus 로고
    • Restart procedures for the conjugate gradient method
    • Powell, M.J.D., (1978), Restart procedures for the conjugate gradient method, Mathematical Progress, 12: 241-254.
    • (1978) Mathematical Progress , vol.12 , pp. 241-254
    • Powell, M.J.D.1
  • 108
    • 0013501570 scopus 로고
    • Simplex algorithms for unconstrained optimization
    • Rykov, A., (1983), Simplex algorithms for unconstrained optimization, Problems of Control and Information Theory, 12: 195-208.
    • (1983) Problems of Control and Information Theory , vol.12 , pp. 195-208
    • Rykov, A.1
  • 111
    • 0014492147 scopus 로고
    • Convergence conditions for ascent methods
    • Wolfe, P., (1969), Convergence conditions for ascent methods, SIAM Review, 11: 226-235.
    • (1969) SIAM Review , vol.11 , pp. 226-235
    • Wolfe, P.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.