chassis

Editor GitHub mit-zardini-lablibraries rover_continuous specs models thingschassis

Editor

Visualization

	`mcdp { provides total_load [kg] provides velocity [m/s] requires power [W] requires total_mass [kg] self_mass = 770 [kg] gain_mass_velocity_to_power = 1 [Ws/m/kg] min_required_power = 10 [W] required power >= min_required_power + gain_mass_velocity_to_power (provided total_load + self_mass) * provided velocity required total_mass >= provided total_load + self_mass }`

Diagramremove
Other informationremove

Internal representation details

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