Promela でオブジェクトの発射体の軌道をモデル化し、モデルのいくつかのプロパティを検証したいと考えています。しかし、Promela には浮動小数点データ型がありません。したがって、たとえば、発射体のモーション パラメータを計算することはできません。たとえば、正弦/余弦などの三角関数を計算できないため、発射体の動きをモデル化できません。
この問題の回避策は何ですか? そのようなシステムを Promela でモデル化するにはどうすればよいでしょうか?
Promela でオブジェクトの発射体の軌道をモデル化し、モデルのいくつかのプロパティを検証したいと考えています。しかし、Promela には浮動小数点データ型がありません。したがって、たとえば、発射体のモーション パラメータを計算することはできません。たとえば、正弦/余弦などの三角関数を計算できないため、発射体の動きをモデル化できません。
この問題の回避策は何ですか? そのようなシステムを Promela でモデル化するにはどうすればよいでしょうか?