|
Editor |
Visualization |
||||
|
Internal representation detailsCompositeNDP │ provides extra_payload SB(≥0) kg │ requires cost_and_mass WU ⟨USD,kg⟩ > (overall_cost:{8656.17,612.08365061}×total_mass:SB(≥770)) │ provides velocity SB(≥0) m/s │ │ 7 nodes, 8 edges │ connected rec: ✓ │ provided extra_payload ≤ extra_payload provided by _sum equiv id │ provided velocity ≤ velocity provided by chassis_dp equiv id │ _muxed required by _if ≤ required cost_and_mass equiv id │ _result required by _sum ≤ total_load provided by chassis_dp diff AmbientConversion SB(≥7.21348) kg ⇸ SB(≥0) kg > D kg │ 𝒇 ≤ 𝒓 │ mass_battery required by battery_dp ≤ mass_battery provided by _sum equiv id │ total_cost required by battery_dp ≤ overall_cost provided by _if equiv id │ power required by chassis_dp ≤ power provided by battery_dp diff AmbientConversion SB(≥10) W ⇸ SB([23.75831588,250]) W > D W │ 𝒇 ≤ 𝒓 │ total_mass required by chassis_dp ≤ total_mass provided by _if equiv id ├ _if: SimpleWrap │ │ provides overall_cost {8656.17,612.08365061} USD │ requires _muxed WU ⟨USD,kg⟩ > (overall_cost:{8656.17,612.08365061}×total_mass:SB(≥770)) │ │ provides total_mass SB(≥770) kg │ │ └ DP_Id WU ⟨USD,kg⟩ ⇸ WU ⟨USD,kg⟩ │ └ Π<2> └ Π<2> │ ├ overall_cost: {8656.17,612.08365061} ├ overall_cost: {8656.17,612.08365061} │ └ total_mass: SB(≥770) └ total_mass: SB(≥770) │ 𝒇 ≤ 𝒓 ├ _sum: SimpleWrap │ │ provides extra_payload SB(≥0) kg │ requires _result SB(≥7.21348) kg │ │ provides mass_battery {228.110266561,7213.48,7.21348} kg │ │ └ M_Res_AddMany_DP WU ⟨kg,kg⟩ ⇸ SB(≥7.21348) kg │ └ Π<2> │ ├ SB(≥0) │ └ FiniteSubWithMath n=3 │ ├ wrapped: SB([7.21348,7213.48]) │ └ values: {228.110266561, 7.21348, 7213.48} │ 𝒇₁ + 𝒇₂ ≤ 𝒓 │ ├ Fs: ├ SB(≥0) kg │ │ └ {228.110266561,7213.48,7.21348} kg │ ├ opspace: SB(≥0) kg │ └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT ├ battery_dp: SimpleWrap │ │ provides power SB([23.75831588,250]) W │ requires mass_battery {228.110266561,7213.48,7.21348} kg │ │ │ requires total_cost {8656.17,612.08365061} USD │ └ DP_Catalog SB([23.75831588,250]) W ⇸ WU ⟨kg,USD⟩ │ └ Π<2> Showing first 5 of 6 │ ├ FiniteSubWithMath n=3 23.75831588 W ↤ model1 ↦ ⟨7.21348 kg,612.08365061 USD⟩ │ │ ├ wrapped: SB([7.21348,7213.48]) 23.790645491 W ↤ model2 ↦ ⟨7.21348 kg,8656.17 USD⟩ │ │ └ values: {228.110266561, 7.21348, 7213.48} 239.09234533 W ↤ model4 ↦ ⟨228.110266561 kg,612.08365061 USD⟩ │ └ {8656.17,612.08365061} 239.417695094 W ↤ model5 ↦ ⟨228.110266561 kg,8656.17 USD⟩ │ catalogue(𝒇, 𝒓) 249.660269718 W ↤ model7 ↦ ⟨7213.48 kg,612.08365061 USD⟩ └ 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 |
||||