chassis

Editor GitHub KWWnooblibraries rover_continuous specs queries thingschassis
Editor
Visualization
	title: Query_1 description: Query for the chassis model. model: '`chassis' query: query_type: FixFunMinRes min_f: total_load: 100 kg velocity: 0.05 m/s max_r: power: 100000 W total_mass: 100000 kg optimize_for: - power - total_mass
Other informationremove
QueryDefinition                                                                                     
├      model: 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  
└ query_data: QueryFixFunMinResData                                                                 
              │ functions: {total_load: NVU:100 kg, velocity: NVU:0.05 m/s}                         
              │ max_resources: {power: NVU:100000 W, total_mass: NVU:100000 kg}                     
              └ optimize_for: ff❨power,total_mass❩