Abstracts 18th annual scientific meeting of the American Uro-Gynecologic society September 25–28 1997 Tucson, Arizona.pdfVIP
- 1、本文档共18页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
Abstracts 18th annual scientific meeting of the American Uro-Gynecologic society September 25–28 1997 Tucson, Arizona
Verification and Validation of Agent-Based
Simulations Using Approximate Model Checking
( )
Benjamin Herd B , Simon Miles, Peter McBurney, and Michael Luck
Department of Informatics, King’s College London, London, UK
benjamin.c.herd@kcl.ac.uk
Abstract. This paper focusses on the usefulness of approximate prob-
abilistic model checking for the internal and external validation of large-
scale agent-based simulations. We describe the translation of typical val-
idation criteria into a variant of linear time logic. We further present a
prototypical version of a highly customisable approximate model checker
which we used in a range of experiments to verify properties of large scale
models whose complexity prevents them from being amenable to conven-
tional explicit or symbolic model checking.
Keywords: Agent-based simulation · Verification · Validation · Model
checking
1 Introduction
Agent-based simulation (ABS) is rapidly emerging as a popular paradigm for the
simulation of complex systems that exhibit a significant amount of non-linear
and emergent behaviour. It is applied successfully to an ever-increasing number
of real-world problems and could in many areas show advantages over tradi-
tional numerical and analytical approaches. Due to the high level of complexity,
however, ABSs are difficult to understand, to verify and to validate. In order
to deal with the large number of behaviours that a model can exhibit, random
variance in the output and an often huge input parameter space, comprehensive
experiments need to be conducted in all stages of the development process as
well as during productive use. Insight into the dynamics is typically obtained by
analysing the output (often by executing complex database queries), by statisti-
cal analysis and inductive reasoning
您可能关注的文档
- 2015年我国光伏装机量有望突破20GW.pdf
- 2016年人大世界史考研,复试真题,真题解析,考研真题,考研笔记,复试流程.pdf
- 2016年安宁市教师招聘考试强化训练二.pdf
- 2016年安徽小学教师资格笔试重要考点:教育教学知识与能力考点梳理.pdf
- 2016年安徽教师招聘考试《教育心理学》模拟试题(一).pdf
- 2016年这十大产业“钱景”看好.pdf
- 2016物理高考复习第8章恒定电流练习解析2.pdf
- 2016驾考科目-----技巧.pdf
- 2016高三理科综合客观题训练九.pdf
- 20T 燃煤锅炉除尘器设计方案及报价.pdf
- Abstracts der 108. Jahrestagung der Deutschen Gesellschaft für Kinder- und Jugendmedizin e.V. (DGKJ).pdf
- Ac — Bsub class=a-plus-plus1.979sub.pdf
- ACCEPTANCE AND COMMITMENT THERAPY”.pdf
- Access Denied Imposing Statutory Penalties On Sex Offenders….pdf
- ACgate ACgate 神眼安全系统神眼安全系统网站无忧解决方案网站无忧解决方案.pdf
- ACM session to examine racial disparities in women’s health A.pdf
- Acquiring Grounded Representations of Words with Situated….pdf
- Actiniaria des Südwestatlantik.pdf
- ACOUSTIC TURBIDITY AS ONLINE MONITORING TOOL FOR RIVERS AND….pdf
- Active Healthy Living Prevention of….pdf
最近下载
- 饮食业油烟污染防治工作交流会PPT.pptx VIP
- 可行性研究报告投资估算及财务分析全套计算表格共17个附表excle带公式只更改标红部分.xlsx VIP
- 附件2文物保护规划编制预算标准和要求.doc
- 论语》论学部分.ppt VIP
- 廉洁风险防控指导手册.pdf VIP
- 山东省济南市高新区2023-2024学年八年级下学期数学期中考试试卷(含答案).pdf VIP
- 2025年第六届国家版图知识竞赛题库及答案.doc VIP
- QJL J100013-2016汽车零部件条形码编制管理规则.pdf
- GB∕T+34936-2017+光伏发电站汇流箱技术要求.pdf VIP
- 汽车制动系统故障诊断与排除-2024年世界职业院校技能大赛一等奖展示PPT.pptx
文档评论(0)