問題タブ [systemdynamics]

NetLogo のシステム ダイナミックに変数があり、ネストされた if else を次のように試しています。

エラー " Expected reporter" が表示されます 助けてください

小さなプログラムでは、ユーザーは複数のタイプされた数式を挿入し、それらを結び付けて連立方程式のシステムを作成します。そして、次元が一致しない場合にエラーを報告するために、実行時の型チェックを導入したいと思います

基本的な型は何でもかまいません。たとえばPersons, Money, Money/Period, m^2/s^2、実行時に文字列として入力されます。

Hindley-Milner 型推論について読みましたが、少し誇張されていると思いました。

私の考えは、次の 2 つのルールに依存することでした。

最初にトークン化し、次に

a*b の場合、個々の次元の数を追跡するという意味で、次元は「拡張」または「縮小」されます。

次に、個々のカウントを減算Money(2) Person(1) Year(1)します。final type

これは、ツリー ウォーカーとして実装できます。ここでは、次元の制約が (+/-) ノードごとにテストされ、単純化して最終的な答えが得られます。

これは、この問題を解決する良い方法ですか?

複数のエージェントで構成される anylogic で実稼働インフラストラクチャをモデル化しようとしています。その一つが、どこからともなく流れ始める「蒸気ネットワーク」（システムダイナミクス）です。このフローの動的な値は、別のエージェントの蒸気出力であると想定されています。残念ながら、フローをエージェント「マシン」の蒸気生成 (動的変数) にリンクする方法がわかりません。

皆様のご協力に感謝いたします。