0

オートマトンを実行し、eps ファイルをエクスポートしました。しかし、eps ファイルから情報をさらに分析して取得するにはどうすればよいでしょうか。変数値を外部ログ ファイルに書き込むことはできますか? 前もって感謝します

4

1 に答える 1

0

eps を分析する意味はありません (これらはレポートに含まれることを意図しています)。データ分析のために、次のsimulateような (Uppaal 4.1) クエリを使用して検証ツールで次のことを試してください。

simulate 1 [<=300] { 
  (T(1).Ready+2*T(1).Computing+3*T(1).Release+4*T(1).Error)+8,
  (T(2).Ready+2*T(2).Computing+3*T(2).Release+4*T(2).Error)+4,
  (T(3).Ready+2*T(3).Computing+3*T(3).Release+4*T(3).Error)+0
}

ここT(i)で、 はプロセス、Ready、Computing、ReleaseおよびErrorはその場所です。次に、クエリをモデルチェックし、右クリックしてプロットを確認します。次に、次のようにします。

a) プロットを右クリックして、Export->comma separated valuesを選択します。

また：

b) 上記のクエリを検証するときに、veredita (コマンド ライン ツール) からの標準出力からのプロット値を解析します。

于 2016-06-17T07:51:57.880 に答える