×
北卡罗来纳州博塔。;A.曼德尔。;伊奥内斯库，C。;霍夫曼，M。;D.林克。;S.舒普。;杰格，C。

基于代理的交换模型的功能框架。 （英语） Zbl 1239.91094号

申请。数学。计算。 218，第8期，4025-4040（2011）.
摘要：我们提出了一个研究基于agent的动态交换模型的功能框架。该框架由一个符号和一些基本定义组成。我们认为，与叙事描述相比，该框架有许多优点：（1）它可以精确地表达一般均衡的经典概念与基于主体的交换模型之间的关系；（2） 它支持可明确实现的交换模型的计算描述；（3） 它通过提供一组特定的基本概念和计算原语来帮助对此类模型进行数值研究。这些可用于推断模型属性，并设置“关键”数值实验来验证模型实现。在另一篇论文中，我们应用该框架指定并研究了一个交易模型，其中多种均衡价格共存，价格按照简单的交易方案和通用遗传规则演变。

引用于1文件

MSC公司：

91磅60 贸易模型

关键词：

易货经济;一般均衡;基于agent的方法;功能规范;价格动态

软件：

艾菲尔;莫德;哈斯克尔
PDF格式BibTeX公司 XML格式引用
\textit{N.Botta}等人，应用。数学。计算。218，第8号，4025--4040（2011；Zbl 1239.91094）
全文： 内政部 链接

参考文献：

[1] Abrial，J.，《B书：赋予程序意义》（The B-Book:Assigning Programs to Meanings，1996），剑桥大学出版社·Zbl 0915.68015号
[2] Aho，A。；Ullman，J。；霍普克罗夫特，J.，《数据结构和算法》（1982），艾迪森·韦斯利
[3] W.B.Arthur、V.Morrison、S.N.Durlauf（编辑），《经济作为一个不断演变的复杂系统II》。圣达菲研究所复杂性科学讲座笔记，1997年。；W.B.Arthur、V.Morrison、S.N.Durlauf（编辑），《经济作为一个不断演变的复杂系统II》。圣达菲研究所复杂性科学研究讲座笔记，1997年。
[4] Backhouse，R.，《程序构建：从规范计算实现》（2003），John Wiley&Sons
[5] Bird，R.，《使用Haskell的函数编程导论》。使用Haskell的函数编程导论，国际计算机科学系列（1998），Prentice Hall
[6] N.Botta，A.Mandel，M.Hofmann，S.Schupp，基于代理的交换模型的数学规范：案例研究，应用数学和计算，提交出版。；N.Botta，A.Mandel，M.Hofmann，S.Schupp，基于代理的交换模型的数学规范：案例研究，应用数学和计算，提交出版·Zbl 1239.91094号
[7] Bowen，J.，《使用Z的形式规范和文档：案例研究方法》（1996），国际汤姆森计算机出版社
[8] Clavel，M。；杜恩，F。；艾克，S。；林肯，P。；Mart-Oliet，N。；梅塞盖尔，J。；Talcott，C.，All About Maude-A High-Performance Logical Framework。All About-Maude-A High-Performance-Logical Framework，计算机科学讲稿（2007），Springer-Verlag·Zbl 1115.68046号
[9] Cohn，M.，《应用的用户故事：敏捷软件开发》。应用的用户故事：敏捷软件开发，Addison-Wesley签名系列（2004），Addison-Wesley
[10] D.Colander、F.F.öllmer、H.Haas、M.Goldberg、M.Juselius、K.Kirman、T.Lux、B.Sloth，《金融危机与学术经济学的系统性失败》。技术报告，基尔工作文件1489，基尔世界经济研究所，2009年。；D.Colander、F.F.öllmer、H.Haas、M.Goldberg、M.Juselius、K.Kirman、T.Lux、B.Sloth，《金融危机与学术经济学的系统性失败》。技术报告，基尔工作文件1489，基尔世界经济研究所，2009年。
[11] Dawid，H.，《进化博弈动力学和基于主体的模拟模型分析：长期、中期和全球分析的重要性》，《经济动力学与控制杂志》，312108-2133（2007）·Zbl 1201.91014号
[12] 德布鲁，G.，《价值理论：经济均衡的公理分析》。《价值理论：经济均衡的公理分析》，考尔斯基金会专著系列（1959），耶鲁大学出版社·Zbl 0193.20205号
[13] DeCanio，S.J.，《气候变化的经济模型：评论》（2003），帕尔格雷夫·麦克米伦：纽约帕尔格雷夫·麦克米伦出版社
[14] Dijkstra，E.W.，《程序设计学科》。程序设计学科，自动计算中的Prentice-Hall系列（1976），Prentice-Hall·Zbl 0368.68005号
[15] （Colander，D.，《后瓦尔拉斯宏观经济学》（2006），剑桥大学出版社）
[16] Peyton Jones，S.L.，《哈斯克尔98语言与图书馆：修订报告》（2003），剑桥大学出版社·Zbl 1067.68041号
[17] Fowler，M.，UML提炼。UML蒸馏，Addison-Wesley对象技术系列（2003），Addison-Wesley
[18] 加勒加蒂，M。；Richiardi，M.，《经济学和复杂性中基于代理的模型》（Meyers，R.A.，《复杂性和系统科学百科全书》（2009），Springer），200-223
[19] Gintis，H.，《分散双边交易中价格体系的出现》，《英国经济研究院理论经济学杂志》，第6期，第1302-1322页（2006年）
[20] Gintis，H.，《一般均衡的动力学》，《经济杂志》，第17期，第1280-1309页（2007年）
[21] 格林·V。；美国伯杰。；巴斯蒂安森，F。；Eliassen，S。；吉诺，V。；Giske，J。；戈斯·卡斯特，J。；格兰德，T。；Heinz，S.K。；Huse，G。；Huth，A。；杰普森，J.U。；Jorgensen，C。；Mooij，W.M。；B.穆勒。；佩尔，G。；Piou，C。；Railsback，S.F。；罗宾斯，A.M。；罗宾斯，M.M。；Rossmanith，E。；Ruger，N。；股，E。；苏伊西，S。；斯蒂尔曼，R.A。；瓦博，R。；维瑟，美国。；Deangelis，D.L.，描述基于个体和基于代理模型的标准协议，生态建模，198，1-2，115-126（2006）
[22] 西蒙·赫伯特（Simon Herbert，A.），《人的模型》（Models of Man）（1957），威利出版社：威利纽约·Zbl 0082.35305号
[23] Jones，C.B.，《使用VDM的系统软件开发》。使用VDM进行系统软件开发，Prentice-Hall计算机科学国际系列（1990），Prentice-Hall·Zbl 0743.68048号
[24] （Kahneman，D.；Tversky，A.，《选择、价值观和框架》（2000），剑桥大学出版社：剑桥大学出版社，纽约）·Zbl 1225.91017号
[25] Kirman，A.P.，代表个人代表谁或代表什么？，《经济展望杂志》，6，117-136（1992）
[26] Kirman，A.P.，《作为复杂系统的经济》（Blume，L.E.，《新帕尔格雷夫经济学词典》，第2卷（2008年），帕尔格雷夫·麦克米利安），723-729
[27] Lawvere，F.W。；Rosebrugh，R.，《数学集合》（2003），剑桥大学出版社·Zbl 1031.18001号
[28] P.Martin-Löf，直觉主义类型理论，Bibliopolis，1984年。；P.Martin-Löf，直觉主义类型理论，Bibliopolis，1984年。
[29] Mas-Colllel，A.，《一般经济均衡理论：差异方法》（1985），剑桥大学出版社：剑桥大学出版社
[30] Meyer，B.，《面向对象的软件构造》。面向对象的软件构建，Prentice-Hall Resource（2000），Prentice-Hall
[31] B.H.Mitra-Kahn，一般均衡理论，其历史及其与市场经济的关系（如果有）。未出版，2005年。；B.H.Mitra Kahn，《一般均衡理论及其历史及其与市场经济的关系（如果有的话）》。未出版，2005年。
[32] B.H.Mitra-Kahn，揭穿可计算一般均衡模型的神话，施瓦茨经济政策分析中心工作文件2008-1，2008。；B.H.Mitra-Kahn，揭穿可计算一般均衡模型的神话，施瓦茨经济政策分析中心工作文件2008-1，2008。
[33] Morgan，C.，《规范编程》。《规范编程》，Prentice Hall国际计算机科学系列（1990），Prentice Hall·Zbl 0697.68018号
[34] 诺德斯特伦，B。；彼得森，K。；Smith，J.，《Martin-Löf类型理论中的程序设计》（1990），牛津大学出版社·Zbl 0744.03029号
[35] 加里·波尔希尔（Gary Polhill），J。；帕克，道恩；丹尼尔·布朗；Grimm，Volker，使用ODD协议描述土地利用变化的三个基于代理的社会模拟模型，《人工社会与社会模拟杂志》，11，2，3（2008）
[36] 赖特，S。；Maroulis，S.，《稳定的交换过程》，《数学经济学杂志》，4413981412（2008）·Zbl 1170.91016号
[37] Scarf，H.，《竞争均衡全球不稳定的一些例子》，《国际经济评论》，第1期，第157-172页（1960年）·Zbl 0096.14204号
[38] Sommerville，I.，软件工程（2006），Addison-Wesley·Zbl 0557.68006号
[39] Sonnenschein，H.，Walras恒等式和连续性是否表征了社区超额需求函数的类别？，《经济理论杂志》，6345-354（1973）
[40] K.Taisei，离散吨过程中的多重平衡和混沌。国际基督教大学技术报告，MPRA论文编号24002，2010。；K.Taisei，离散吨过程中的多重平衡和混沌。技术报告，国际基督教大学，MPRA论文编号240022010。
[41] （Tesfastion，L.；Judd，K.，《计算经济学手册II：基于代理的计算经济学》（2006），北荷兰）·Zbl 1143.91300号
[42] Hal R.Varian，微观经济分析。诺顿，第三版，1992年。；Hal R.Varian，微观经济分析。诺顿，第三版，1992年。
[43] L.Walras，《纯粹经济政治，社会富裕之路》（《纯粹经济学原理》或《社会财富理论》）。洛桑科尔巴兹，1874年。；L.Walras，《纯粹经济政治，社会富裕之路》（《纯粹经济学原理》或《社会财富理论》）。1874年洛桑科尔巴兹·JFM 21.0229.03号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。