|
Editor |
Visualization |
||||
|
Internal representation detailsCompositeNDP │ provides extra_payload SB(≥0) kg │ requires cost_and_mass SB(8656.17)×SB(≥770) ⟨USD,kg⟩ │ provides velocity SB(≥0) m/s │ │ 8 nodes, 9 edges │ connected rec: ✓ │ provided extra_payload ≤ extra_payload provided by _sum_0 equiv id │ provided velocity ≤ velocity provided by chassis_dp equiv id │ _muxed required by _if ≤ required cost_and_mass equiv id │ _r required by _sum_0 ≤ _f provided by _sum_1 equiv id │ _result required by _sum_1 ≤ total_load provided by chassis_dp diff AmbientConversion SB(≥7213.48) kg ⇸ SB(≥0) kg > D kg │ 𝒇 ≤ 𝒓 │ mass_battery required by battery_dp ≤ mass_battery provided by _sum_0 equiv (always satisfied) │ total_cost required by battery_dp ≤ overall_cost provided by _if equiv (always satisfied) │ power required by chassis_dp ≤ power provided by battery_dp diff DP_GenericConstant SB(≥10) W ⇸ {250 W} │ 𝒇 ≤ 250 W │ ├ b: () │ ├ lf: LowerSet(maximals=ff❨250.000000000❩) │ └ ur: UpperSet(minimals=ff❨250.000000000❩) │ total_mass required by chassis_dp ≤ total_mass provided by _if equiv id ├ _if: SimpleWrap │ │ provides overall_cost {8656.17 USD} │ requires _muxed SB(8656.17)×SB(≥770) ⟨USD,kg⟩ │ │ provides total_mass SB(≥770) kg │ │ └ DP_Id SB(8656.17)×SB(≥770) ⟨USD,kg⟩ ⇸ SB(8656.17)×SB(≥770) ⟨USD,kg⟩ │ 𝒇 ≤ 𝒓 ├ _sum_0: SimpleWrap │ │ provides extra_payload SB(≥0) kg │ requires _r SB(≥0) kg │ │ provides mass_battery {7213.48 kg} │ │ └ DP_Mux SB(≥0)×SB(7213.48) ⟨kg,kg⟩ ⇸ SB(≥0) kg │ iso(𝒇, 𝒓) ⟨a,b⟩ ↦ a │ ⟨α,7213.48 kg⟩ ↤ α ├ _sum_1: SimpleWrap │ │ provides _f SB(≥0) kg │ requires _result SB(≥7213.48) kg │ └ DP_L_UME SB(≥0) kg ⇸ SB(≥7213.48) kg │ 𝒇 + 7213.48 ≤ 𝒓 │ M_C_WrapUnits kg → kg > M_A_Add1_Upper SB(≥0) → SB(≥7213.48) x ⟼ x + 7213.48 ├ battery_dp: SimpleWrap │ │ provides power {250 W} │ requires mass_battery {7213.48 kg} │ │ │ requires total_cost {8656.17 USD} │ └ DP_GenericConstant {250 W} ⇸ {⟨7213.48,8656.17⟩ ⟨kg,USD⟩} │ true │ ├ b: model8 │ ├ lf: LowerSet(maximals=ff❨250.000000000❩) │ └ ur: UpperSet(minimals=ff❨⟨7213.480000000,8656.170000000⟩❩) └ chassis_dp: CompositeNDP │ provides total_load SB(≥0) kg │ requires power SB(≥10) W │ provides velocity SB(≥0) m/s │ requires total_mass SB(≥770) kg │ 9 nodes, 8 edges │ connected rec: ✓ │ provided total_load ≤ _op provided by _plus equiv id │ provided total_load ≤ _op provided by _plus2 equiv id │ provided velocity ≤ velocity provided by _prod equiv id │ _res3 required by _mult ≤ _op provided by _plus1 equiv id │ _res required by _plus ≤ _res provided by _prod equiv id │ _res4 required by _plus1 ≤ required power equiv id │ _res5 required by _plus2 ≤ required total_mass equiv id │ _res2 required by _prod ≤ _op provided by _mult equiv id ├ _mult: SimpleWrap │ │ provides _op SB(≥0) kg*m/s │ requires _res3 SB(≥0) W │ └ DP_L_UME SB(≥0) kg*m/s ⇸ SB(≥0) W │ 𝒇 ≤ 𝒓 │ M_C_WrapUnits kg*m/s → W > M_Identity SB(≥0) → same x ⟼ x ├ _plus: SimpleWrap │ │ provides _op SB(≥0) kg │ requires _res SB(≥770) kg │ └ DP_L_UME SB(≥0) kg ⇸ SB(≥770) kg │ 𝒇 + 770 ≤ 𝒓 │ M_C_WrapUnits kg → kg > M_A_Add1_Upper SB(≥0) → SB(≥770) x ⟼ x + 770 ├ _plus1: SimpleWrap │ │ provides _op SB(≥0) W │ requires _res4 SB(≥10) W │ └ DP_L_UME SB(≥0) W ⇸ SB(≥10) W │ 𝒇 + 10 ≤ 𝒓 │ M_C_WrapUnits W → W > M_A_Add1_Upper SB(≥0) → SB(≥10) x ⟼ x + 10 ├ _plus2: SimpleWrap │ │ provides _op SB(≥0) kg │ requires _res5 SB(≥770) kg │ └ DP_L_UME SB(≥0) kg ⇸ SB(≥770) kg │ 𝒇 + 770 ≤ 𝒓 │ M_C_WrapUnits kg → kg > M_A_Add1_Upper SB(≥0) → SB(≥770) x ⟼ x + 770 └ _prod: SimpleWrap │ provides _res SB(≥770) kg │ requires _res2 SB(≥0) kg*m/s │ provides velocity SB(≥0) m/s │ └ M_Res_MultiplyMany_DP SB(≥770)×SB(≥0) ⟨kg,m/s⟩ ⇸ SB(≥0) kg*m/s 𝒇₁⋅𝒇₂ ≤ 𝒓 ├ Fs: ├ SB(≥770) kg │ └ SB(≥0) m/s └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT |
||||