デルタVは必要な速度変化量です。推進剤質量は、入力された乾燥質量と比推力に基づき、ツィオルコフスキーのロケット方程式を用いて推定されます。