更改

==验证和确认==

==验证和确认==

仿真模型的[https://en.wikipedia.org/wiki/Verification_and_validation 验证和确认]是非常重要的。验证包括对模型进行调试以确保其正确工作，而确认则确保构建了正确的模型。面部验证、敏感性分析、校准和统计验证也已被证明。离散事件仿真框架的方法提出了基于主体的验证系统。在这里可以找到关于基于主体的模型的经验验证的全面资源。

仿真模型的[https://en.wikipedia.org/wiki/Verification_and_validation 验证和确认]是非常重要的<ref>{{Cite book |last1=Sargent |first1=R. G. |doi=10.1109/WSC.2000.899697 |chapter=Verification, validation and accreditation of simulation models |title=2000 Winter Simulation Conference Proceedings (Cat. No.00CH37165) |volume=1 |pages=50–59 |year=2000 |isbn=978-0-7803-6579-7 |pmid=|pmc=|citeseerx=10.1.1.17.438 |s2cid=57059217 }}</ref><ref>{{cite journal |title=Errors and Artefacts in Agent-Based Modelling |last1=Galán |first1=José Manuel |last2=Izquierdo |first2=Luis |last3=Izquierdo |first3=Segismundo S. |last4=Santos |first4=José Ignacio |last5=del Olmo |first5=Ricardo |last6=López-Paredes |first6=Adolfo |last7=Edmonds |first7=Bruce |journal=Journal of Artificial Societies and Social Simulation |volume=12 |issue=1 |pages=1 |year=2009 |url=http://jasss.soc.surrey.ac.uk/12/1/1.html}}</ref>。验证包括对模型进行调试以确保其正确工作，而确认则确保构建了正确的模型。面部验证、敏感性分析、校准和统计验证也已被证明。 <ref>{{Cite book |last1=Klügl |first1=F. |chapter=A validation methodology for agent-based simulations |doi=10.1145/1363686.1363696 |title=Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 |pages=39 |year=2008 |isbn=9781595937537 |pmid=|pmc=|s2cid=9450992 }}</ref> 离散事件仿真框架的方法提出了基于主体的验证系统<ref>{{cite journal |last1=Fortino |first1=G. |first2=A. |last2=Garro |first3=W. |last3=Russo |title=A Discrete-Event Simulation Framework for the Validation of Agent-Based and Multi-Agent Systems |year=2005 |url=http://www-lia.deis.unibo.it/books/woa2005/papers/11.pdf }}</ref> 。在这里可以找到关于基于主体的模型的经验验证的全面资源。<ref>{{cite web |title=Empirical Validation: Agent-Based Computational Economics |url=https://www2.econ.iastate.edu/tesfatsi/empvalid.htm |last=Tesfatsion |first=Leigh |publisher=[[Iowa State University]]}}</ref>

V&V技术的一个例子是VOMAS (virtual overlay multi-agent system)，一种基于软件工程的方法，在基于主体的模型基础上开发虚拟覆盖多主体系统。多主体系统中的主体能够通过生成日志来收集数据，并通过监视主体提供运行时验证和确认支持，以检查运行时是否存在不变量冲突。这些是模拟专家在SME(主题专家)的帮助下设置的。Muazi等人还提供了一个使用VOMAS验证和确认森林火灾模拟模型的例子。

V&V技术的一个例子是VOMAS (virtual overlay multi-agent system)，一种基于软件工程的方法<ref>{{cite journal |first1=Muaz |last1=Niazi |first2=Amir |last2=Hussain |first3=Mario |last3=Kolberg |title=Verification and Validation of Agent-Based Simulations using the VOMAS approach |journal=Proceedings of the Third Workshop on Multi-Agent Systems and Simulation '09 (MASS '09), as Part of MALLOW 09, Sep 7–11, 2009, Torino, Italy |url=http://www.cs.stir.ac.uk/~man/papers/VOMAS_CRV_aug_05_09_Muazv2.pdf |archiveurl=https://web.archive.org/web/20110614052017/http://www.cs.stir.ac.uk/~man/papers/VOMAS_CRV_aug_05_09_Muazv2.pdf |archivedate=June 14, 2011 |url-status=dead}}</ref>，在基于主体的模型基础上开发虚拟覆盖多主体系统。多主体系统中的主体能够通过生成日志来收集数据，并通过监视主体提供运行时验证和确认支持，以检查运行时是否存在不变量冲突。这些是模拟专家在SME(主题专家)的帮助下设置的。Muazi等人还提供了一个使用VOMAS验证和确认森林火灾模拟模型的例子。

VOMAS提供了一个正式的确认和验证的方法。为了开发一个VOMAS，必须在实际模拟中设计VOMAS主体，最好从一开始就设计。当仿真模型完成时，基本上可以认为它是一个包含两个模型的模型:

为了开发一个VOMAS，必须在实际模拟中设计VOMAS主体，最好从一开始就设计。当仿真模型完成时，基本上可以认为它是一个包含两个模型的模型:

*目标系统的基于主体的模型

*目标系统的基于主体的模型