메뉴 건너뛰기




Volumn 2, Issue 1, 2014, Pages

A theoretical formalism for analyzing agent-based models

Author keywords

Agent based modeling; Computational complexity theory; Random access stored program machine

Indexed keywords


EID: 84958796802     PISSN: None     EISSN: 21943206     Source Type: Journal    
DOI: 10.1186/2194-3206-2-3     Document Type: Article
Times cited : (31)

References (59)
  • 1
    • 0242581919 scopus 로고    scopus 로고
    • Modelling, Simulation and Design Lab, School of Computer Science, McGill University, Technical Report, Montreal, Quebec, Canada
    • Bolduc JS, Vangheluwe H: A Modeling and Simulation Package for Classic Hierarchical DEVS. Montreal, Quebec, Canada: Modelling, Simulation and Design Lab, School of Computer Science, McGill University, Technical Report; 2002.
    • (2002) A Modeling and Simulation Package for Classic Hierarchical DEVS
    • Bolduc, J.S.1    Vangheluwe, H.2
  • 2
    • 0037076425 scopus 로고    scopus 로고
    • Agent-based modeling: Methods and techniques for simulating human systems
    • 3, National Academy of Sciences Press, Washington, D.C. USA
    • Bonabeau E: Agent-based modeling: Methods and techniques for simulating human systems. 3. In Proceedings of the National Academy of Sciences. Volume 99. Washington, D.C. USA: National Academy of Sciences Press; 2002:7280–7287. 10.1073/pnas.082080899
    • (2002) Proceedings of the National Academy of Sciences , vol.99 , pp. 7280-7287
    • Bonabeau, E.1
  • 3
    • 16344372312 scopus 로고    scopus 로고
    • Spatial process and data models: toward integration of agent-based models and GIS
    • Brown DG, Riolo R, Robinson DT, North MJ, Rand W: Spatial process and data models: toward integration of agent-based models and GIS. J Geogr Syst 2005, 7(1):25–47. 10.1007/s10109-005-0148-5
    • (2005) J Geogr Syst , vol.7 , Issue.1 , pp. 25-47
    • Brown, D.G.1    Riolo, R.2    Robinson, D.T.3    North, M.J.4    Rand, W.5
  • 5
    • 84883387100 scopus 로고    scopus 로고
    • Parallel agent-based programming with Repast for High Performance Computing
    • Collier NT, North MJ: Parallel agent-based programming with Repast for High Performance Computing. Simulation 2012, 1–21.
    • (2012) Simulation , pp. 1-21
    • Collier, N.T.1    North, M.J.2
  • 6
    • 0015852657 scopus 로고
    • Time-bounded random access machines
    • Cook SA, Reckhow RA: Time-bounded random access machines. J Comput Syst Sci 1973, 7(4):354–375. 10.1016/S0022-0000(73)80029-7
    • (1973) J Comput Syst Sci , vol.7 , Issue.4 , pp. 354-375
    • Cook, S.A.1    Reckhow, R.A.2
  • 8
    • 2942525268 scopus 로고
    • Random-access stored-program machines, an approach to programming languages
    • Elgot CC, Robinson A: Random-access stored-program machines, an approach to programming languages. J ACM 1964, 11(4):365–399. 10.1145/321239.321240
    • (1964) J ACM , vol.11 , Issue.4 , pp. 365-399
    • Elgot, C.C.1    Robinson, A.2
  • 9
    • 0002587523 scopus 로고    scopus 로고
    • Zones of cooperation in demographic prisoner’s dilemma
    • Epstein JM: Zones of cooperation in demographic prisoner’s dilemma. Complexity 1998, 4(2):36–48. 10.1002/(SICI)1099-0526(199811/12)4:2<36::AID-CPLX9>3.0.CO;2-Z
    • (1998) Complexity , vol.4 , Issue.2 , pp. 36-48
    • Epstein, J.M.1
  • 13
    • 0002525388 scopus 로고
    • Computational complexity of random access stored program machines
    • Hartmanis J: Computational complexity of random access stored program machines. Math Syst Theory 1970, 5(3):232–245.
    • (1970) Math Syst Theory , vol.5 , Issue.3 , pp. 232-245
    • Hartmanis, J.1
  • 15
    • 85028100315 scopus 로고    scopus 로고
    • A mathematical framework for agent based models of complex biological networks
    • Hinkelmann F, Murrugarra D, Jarrah AS, Laubenbacher RC: A mathematical framework for agent based models of complex biological networks. Bull Math Biol 2011, 73(7):1583–1602. 10.1007/s11538-010-9582-8
    • (2011) Bull Math Biol , vol.73 , Issue.7 , pp. 1583-1602
    • Hinkelmann, F.1    Murrugarra, D.2    Jarrah, A.S.3    Laubenbacher, R.C.4
  • 18
    • 33748946079 scopus 로고    scopus 로고
    • Studying complex adaptive systems
    • Holland JH: Studying complex adaptive systems. J Syst Sci Complex 2006, 19: 1–8. 10.1007/s11424-006-0001-z
    • (2006) J Syst Sci Complex , vol.19 , pp. 1-8
    • Holland, J.H.1
  • 20
    • 0002434050 scopus 로고
    • Recursive predicates and quantifiers
    • Kleene SC: Recursive predicates and quantifiers. Trans Am Math Soc 1943, 53(1):41–73. 10.1090/S0002-9947-1943-0007371-8
    • (1943) Trans Am Math Soc , vol.53 , Issue.1 , pp. 41-73
    • Kleene, S.C.1
  • 21
    • 21444439083 scopus 로고    scopus 로고
    • Why are economists skeptical about agent-based simulations?
    • Leombruni R, Richiardi M: Why are economists skeptical about agent-based simulations? Phys A: Stat Mech Appl 2005, 355: 103–109. 10.1016/j.physa.2005.02.072
    • (2005) Phys A: Stat Mech Appl , vol.355 , pp. 103-109
    • Leombruni, R.1    Richiardi, M.2
  • 22
  • 25
    • 79951608890 scopus 로고    scopus 로고
    • To agent-based simulation from system dynamics
    • Johansson B, Jain S, Montoya-Torres J, Hugan J, Yücesan E, (eds), IEEE/ACM, Baltimore, MD
    • Macal CM: To agent-based simulation from system dynamics. In Proceedings of the 2010 Winter Simulation Conference. Edited by: Johansson B, Jain S, Montoya-Torres J, Hugan J, Yücesan E. Baltimore, MD: IEEE/ACM; 2010.
    • (2010) Proceedings of the 2010 Winter Simulation Conference
    • Macal, C.M.1
  • 26
    • 77956300313 scopus 로고    scopus 로고
    • Tutorial on agent-based modeling and simulation
    • Macal CM, North MJ: Tutorial on agent-based modeling and simulation. J Simul 2010, 4: 151–162. 10.1057/jos.2010.3
    • (2010) J Simul , vol.4 , pp. 151-162
    • Macal, C.M.1    North, M.J.2
  • 28
    • 84944736584 scopus 로고    scopus 로고
    • http://cs.gmu.edu/, [~eclab/projects/mason]
    • MASON: Accessed. 2014.http://cs.gmu.edu/
    • (2014) Accessed
  • 29
    • 0031599142 scopus 로고    scopus 로고
    • Mersenne twister: A 623-dimensionally equidistributed uniform pseudo-random number generator
    • 1, ACM, New York
    • Matsumoto M, Nishimura T: Mersenne twister: A 623-dimensionally equidistributed uniform pseudo-random number generator. In ACM Transactions on Modeling and Computer Simulation. Volume 8. 1st edition. New York: ACM; 1998:3–30. 10.1145/272991.272995
    • (1998) ACM Transactions on Modeling and Computer Simulation , vol.8 , pp. 3-30
    • Matsumoto, M.1    Nishimura, T.2
  • 30
    • 39749093168 scopus 로고
    • The magic number seven plus or minus two
    • Miller GA: The magic number seven plus or minus two. Psychol Rev 1956, 63: 81–97.
    • (1956) Psychol Rev , vol.63 , pp. 81-97
    • Miller, G.A.1
  • 34
    • 85051713922 scopus 로고    scopus 로고
    • NetLogo: Wilensky. 2014.http://ccl.northwestern.edu/netlogo/ []
    • (2014) Wilensky
  • 35
    • 85051701102 scopus 로고    scopus 로고
    • A novel agent-based simulation framework for sensing in complex adaptive environments
    • Niazi M, Hussain A: A novel agent-based simulation framework for sensing in complex adaptive environments. IEEE Sensors J 2010, 5(3):1–9.
    • (2010) IEEE Sensors J , vol.5 , Issue.3 , pp. 1-9
    • Niazi, M.1    Hussain, A.2
  • 37
    • 85051726416 scopus 로고    scopus 로고
    • A theoretical foundation for computational agent-based modeling
    • National Chengchi University, Taipei, Taiwan
    • North MJ: A theoretical foundation for computational agent-based modeling. In 2012 World Congress on Social Simulation. Taipei, Taiwan: National Chengchi University; 2012.
    • (2012) 2012 World Congress on Social Simulation
    • North, M.J.1
  • 39
    • 84858037578 scopus 로고    scopus 로고
    • Foundations of and recent advances in artificial life modeling with Repast 3 and Repast Simphony
    • Adamatzky A, Komosinski M, (eds), 2, Springer, Heidelberg
    • North MJ, Macal CM: Foundations of and recent advances in artificial life modeling with Repast 3 and Repast Simphony. In Artificial Life Models in Software. 2nd edition. Edited by: Adamatzky A, Komosinski M. Heidelberg: Springer; 2009:37–60.
    • (2009) Artificial Life Models in Software , pp. 37-60
    • North, M.J.1    Macal, C.M.2
  • 40
    • 33745204609 scopus 로고    scopus 로고
    • Experiences creating three implementations of the Repast agent modeling toolkit
    • 1, ACM, New York
    • North MJ, Collier NT, Vos RJ: Experiences creating three implementations of the Repast agent modeling toolkit. In ACM Transactions on Modeling and Computer Simulation. Volume 16. 1st edition. New York: ACM; 2006:1–25. 10.1145/1122012.1122013
    • (2006) ACM Transactions on Modeling and Computer Simulation , vol.16 , pp. 1-25
    • North, M.J.1    Collier, N.T.2    Vos, R.J.3
  • 43
    • 84857147980 scopus 로고    scopus 로고
    • A distributed platform for global-scale agent-based models of disease transmission
    • 1, ACM, New York
    • Parker J, Epstein JM: A distributed platform for global-scale agent-based models of disease transmission. In ACM Transactions on Modeling and Computer Simulation. Volume 22. 1st edition. New York: ACM; 2011:1–25.
    • (2011) ACM Transactions on Modeling and Computer Simulation , vol.22 , pp. 1-25
    • Parker, J.1    Epstein, J.M.2
  • 45
    • 46149106176 scopus 로고    scopus 로고
    • Parallel and distributed simulation: traditional techniques and recent advances
    • Perrone LF, Lawson B, Liu J, Wieland FP, (eds), USA IEEE Press, Monterey. California
    • Perumulla KS: Parallel and distributed simulation: traditional techniques and recent advances. In Proceedings of the 2006 Winter Simulation Conference. Edited by: Perrone LF, Lawson B, Liu J, Wieland FP. Monterey. California: USA IEEE Press; 2006:84–95.
    • (2006) Proceedings of the 2006 Winter Simulation Conference , pp. 84-95
    • Perumulla, K.S.1
  • 46
    • 61849110802 scopus 로고    scopus 로고
    • Heterogeneity and network structure in the dynamics of diffusion: comparing agent-based and differential equation models
    • Rahmandad H, Sterman JD: Heterogeneity and network structure in the dynamics of diffusion: comparing agent-based and differential equation models. Manag Sci 2008, 54(5):998–1014. 10.1287/mnsc.1070.0787
    • (2008) Manag Sci , vol.54 , Issue.5 , pp. 998-1014
    • Rahmandad, H.1    Sterman, J.D.2
  • 47
    • 84944736584 scopus 로고    scopus 로고
    • Repast 3: Accessed. 2014.http://repast.sourceforge.net/repast_3 []
    • (2014) Accessed
  • 48
    • 84944736584 scopus 로고    scopus 로고
    • Repast for High Performance Computing: Accessed. 2014.http://repast.sourceforge.net/repast_hpc.html []
    • (2014) Accessed
  • 49
    • 84944736584 scopus 로고    scopus 로고
    • Repast Simphony: Accessed. 2014.http://repast.sourceforge.net/repast_simphony.html []
    • (2014) Accessed
  • 51
    • 46149125746 scopus 로고    scopus 로고
    • A simulation algorithm for dynamic structure DEVS modeling
    • Perrone LF, Wieland FP, Liu L, Lawson BG, Nicol DM, Fujimoto RM, (eds), IEEE Press, Monterey, CA, USA
    • Shang H, Wainer G: A simulation algorithm for dynamic structure DEVS modeling. In Proceedings of the 2006 Winter Simulation Conference. Edited by: Perrone LF, Wieland FP, Liu L, Lawson BG, Nicol DM, Fujimoto RM. Monterey, CA, USA: IEEE Press; 2006:815–822.
    • (2006) Proceedings of the 2006 Winter Simulation Conference , pp. 815-822
    • Shang, H.1    Wainer, G.2
  • 52
    • 84968514104 scopus 로고
    • Differentiable dynamical systems
    • Smale S: Differentiable dynamical systems. Bull Am Math Soc 1967, 73(6):747–817. 10.1090/S0002-9904-1967-11798-1
    • (1967) Bull Am Math Soc , vol.73 , Issue.6 , pp. 747-817
    • Smale, S.1
  • 53
    • 0003566434 scopus 로고
    • 2, Programming Research Group, University of Oxford, Oxford, UK
    • Spivey JM: The Z Notation: A Reference Manual. 2nd edition. Oxford, UK: Programming Research Group, University of Oxford; 1992.
    • (1992) The Z Notation: A Reference Manual
    • Spivey, J.M.1
  • 54
    • 84944736584 scopus 로고    scopus 로고
    • StarLogo: Accessed. 2014.http://education.mit.edu/starlogo/ []
    • (2014) Accessed
  • 55
    • 84944736584 scopus 로고    scopus 로고
    • Swarm: Accessed. 2014.http://www.swarm.org/ []
    • (2014) Accessed
  • 56
    • 0002604954 scopus 로고
    • Variazioni e fluttuazioni del numero d’individui in specie animali conviventi
    • Volterra V: Variazioni e fluttuazioni del numero d’individui in specie animali conviventi. Mem. Acad. Lincei Roma 1926, 2: 31–113.
    • (1926) Mem. Acad. Lincei Roma , vol.2 , pp. 31-113
    • Volterra, V.1
  • 57
    • 0141877349 scopus 로고    scopus 로고
    • Center for Connected Learning and Computer-Based Modeling, Northwestern University, Evanston, IL
    • Wilensky U: NetLogo. Evanston, IL: Center for Connected Learning and Computer-Based Modeling, Northwestern University; 1999.
    • (1999) NetLogo
    • Wilensky, U.1
  • 58
    • 0031889278 scopus 로고    scopus 로고
    • Resolving discrepancies between deterministic population models and individual-based simulations
    • Wilson WG: Resolving discrepancies between deterministic population models and individual-based simulations. Am Nat 1998, 151(2):116–134. 10.1086/286106
    • (1998) Am Nat , vol.151 , Issue.2 , pp. 116-134
    • Wilson, W.G.1


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