Statistical Model Checking of NetLogo Models
创建于 更新于
摘要
本文提出将统计模型检验（SMC）方法集成到广泛使用的NetLogo代理模型平台，通过MultiVeStA工具自动确定仿真次数、热身期长度及稳态持续时间，提升代理模型结果分析的统计严谨性。两大案例展示：人工阿纳萨兹模型的瞬态分析及参数校准，揭示多参数组合的统计等价性；Alpha鸟类模型的稳态分析，自动判断稳态和热身阶段，避免前人经验法的不足，显著提高模型分析的可靠性和结果解释力[page::0][page::1][page::2][page::11][page::12][page::16][page::17][page::19][page::22][page::23][page::24][page::25][page::28]。
