7,129
个编辑
更改
→验证和确认
VOMAS提供了一个正式的确认和验证的方法。<ref>{{cite journal |first1=Muaz |last1=Niazi |first2=Qasim |last2=Siddique |first3=Amir |last3=Hussain |first4=Mario |last4=Kolberg |title=Verification & Validation of an Agent-Based Forest Fire Simulation Model |journal=Proceedings of the Agent Directed Simulation Symposium 2010, as Part of the ACM SCS Spring Simulation Multiconference |pages=142–149 |date=April 11–15, 2010 |url=http://cs.stir.ac.uk/~man/papers/2_ADS_09_Final_Paper.pdf |archiveurl=https://web.archive.org/web/20110725083937/http://cs.stir.ac.uk/~man/papers/2_ADS_09_Final_Paper.pdf |archivedate=July 25, 2011 |url-status=dead}}</ref><ref>{{cite journal |first=Muaz A. K. |last=Niazi |title=Towards A Novel Unified Framework for Developing Formal, Network and Validated Agent-Based Simulation Models of Complex Adaptive Systems |date=June 11, 2011 |publisher=University of Stirling|hdl=1893/3365 }} PhD Thesis</ref>
VOMAS提供了一个正式的确认和验证的方法。<ref>{{cite journal |first1=Muaz |last1=Niazi |first2=Qasim |last2=Siddique |first3=Amir |last3=Hussain |first4=Mario |last4=Kolberg |title=Verification & Validation of an Agent-Based Forest Fire Simulation Model |journal=Proceedings of the Agent Directed Simulation Symposium 2010, as Part of the ACM SCS Spring Simulation Multiconference |pages=142–149 |date=April 11–15, 2010 |url=http://cs.stir.ac.uk/~man/papers/2_ADS_09_Final_Paper.pdf |archiveurl=https://web.archive.org/web/20110725083937/http://cs.stir.ac.uk/~man/papers/2_ADS_09_Final_Paper.pdf |archivedate=July 25, 2011 |url-status=dead}}</ref><ref>{{cite journal |first=Muaz A. K. |last=Niazi |title=Towards A Novel Unified Framework for Developing Formal, Network and Validated Agent-Based Simulation Models of Complex Adaptive Systems |date=June 11, 2011 |publisher=University of Stirling|hdl=1893/3365 }} PhD Thesis</ref>
为了开发一个VOMAS，必须在实际模拟中设计VOMAS主体，最好从一开始就设计。当仿真模型完成时，基本上可以认为它是一个包含两个模型的模型:
为了开发一个VOMAS，必须在实际模拟中设计VOMAS主体，最好从一开始就设计。当仿真模型完成时，基本上可以认为它是一个包含两个模型的模型:
*目标系统的基于主体的模型
*目标系统的基于主体的模型
====基于逻辑确定性的个体元胞自动机模型的种群增长模型====
====基于逻辑确定性的个体元胞自动机模型的种群增长模型====
复杂系统白盒模型的建立涉及到建模主体先验基础知识的必要性问题。确定性逻辑[https://en.wikipedia.org/wiki/Cellular_automaton 元胞自动机]是白盒模型的必要条件，但不是充分条件。白盒模型的第二个必要前提是被研究对象的物理本体论的存在。白盒建模代表了来自第一原理的自动超逻辑推理，因为它完全基于主体的确定性逻辑和公理理论。白盒建模的目的是从基本的公理中获得关于被研究对象的动态的更详细、更具体的力学知识。在创建白盒模型之前，需要建立主体的内在[https://en.wikipedia.org/wiki/Axiomatic_system 公理系统]，这将白盒型元胞自动机模型与基于任意逻辑规则的元胞自动机模型区分开来。如果元胞自动机规则没有从主体的第一原则中制定出来，那么这样的模型可能与真正的问题的相关性较微弱。
复杂系统白盒模型的建立涉及到建模主体先验基础知识的必要性问题。确定性逻辑[https://en.wikipedia.org/wiki/Cellular_automaton 元胞自动机]是白盒模型的必要条件，但不是充分条件。白盒模型的第二个必要前提是被研究对象的物理本体论的存在。白盒建模代表了来自第一原理的自动超逻辑推理，因为它完全基于主体的确定性逻辑和公理理论。白盒建模的目的是从基本的公理中获得关于被研究对象的动态的更详细、更具体的力学知识。在创建白盒模型之前，需要建立主体的内在[https://en.wikipedia.org/wiki/Axiomatic_system 公理系统]，这将白盒型元胞自动机模型与基于任意逻辑规则的元胞自动机模型区分开来。如果元胞自动机规则没有从主体的第一原则中制定出来，那么这样的模型可能与真正的问题的相关性较微弱。
==另外参阅==
==另外参阅==