Formal specification terminology for demographic agent-based models of fixed-step single-clocked simulations

要約

この文書は、人口統計分野におけるエージェント ベース モデル (ABM) のサブセットの数学的仕様に適切な正式な用語を示します。
ターゲットとなる ABM のシミュレーションは、固定ステップのシングルクロック パターンに従います。
提案された用語はモデルの理解をさらに改善し、仕様のためのスタンドアロンの方法論として機能し、オプションで (人口統計上の) ABM の重要なセットの文書化として機能します。
それにもかかわらず、おそらくさらなる拡張を伴うこの用語が、ほとんど非公式で広く使用されているモデルのドキュメントやコミュニケーション O.D.D と統合される可能性があることは想像できます。
プロトコル [Grimm and et al., 2020, Amouroux et al., 2010] を使用して、他のモデラーによるモデルの複製を妨げる多くの曖昧さの原因を減らします。
公開されている人口統計モデルの文書は、孤独親モデル [Gostoli and Silverman, 2020] の大幅に簡略化されたバージョンであり、正式な用語の説明として [Elsheikh, 2023b] で別途公開されています。
このモデルは、Agents.jl julia パッケージ [Datseris et al., 2022] に基づいて Julia 言語 [Elsheikh, 2023a] で実装されました。

要約(オリジナル)

This document presents adequate formal terminology for the mathematical specification of a subset of Agent Based Models (ABMs) in the field of Demography. The simulation of the targeted ABMs follows a fixed-step single-clocked pattern. The proposed terminology further improves the model understanding and can act as a stand-alone methodology for the specification and optionally the documentation of a significant set of (demographic) ABMs. Nevertheless, it is imaginable the this terminology probably with further extensions can be merged with the largely-informal widely-used model documentation and communication O.D.D. protocol [Grimm and et al., 2020, Amouroux et al., 2010] to reduce many sources of ambiguity, hindering model replications by other modelers. A published demographic model documentation, largely simplified version of the Lone Parent Model [Gostoli and Silverman, 2020] is separately published in [Elsheikh, 2023b] as illustration for the formal terminology. The model was implemented in the Julia language [Elsheikh, 2023a] based on the Agents.jl julia package [Datseris et al., 2022].

arxiv情報

提供元, 利用サービス

arxiv.jp, Google