batteries

Editor GitHub co-design-modelslibraries pretty specs models thingsbatteries
Editor
Visualization
	choose ( LiPo: `Battery_LiPo, LMO: `Battery_LMO )
Diagramremove
Other informationremove
Internal representation details
NamedDPCoproduct                                                                                                  
├ LiPo: CompositeNDP                                                                                              
│       │    provides   capacity   SB(≥0) J │ requires   mass          SB(≥0) g                                   
│       │    provides   missions   SB(≥0)   │ requires   cost          SB(≥0) $                                   
│       │                                   │ requires   maintenance   SB(≥0::1)                                  
│       │  14 nodes, 13 edges                                                                                     
│       │   connected rec: ✓                                                                                      
│       │  _res3 required by _RuleResCeil_NWU ≤ num_replacements provided by _prod   equiv id                     
│       │  _res3 required by _RuleResCeil_NWU ≤ required maintenance                 equiv id                     
│       │  _result required by _approx        ≤ _result provided by _conversion      equiv id                     
│       │  _result2 required by _approx1      ≤ _result2 provided by _conversion1    equiv id                     
│       │  cost required by _conversion       ≤ required cost                        equiv id                     
│       │  mass required by _conversion1      ≤ required mass                        equiv id                     
│       │  _res required by _divr             ≤ _op provided by _approx1             equiv id                     
│       │  _res2 required by _divr1           ≤ _op provided by _RuleResCeil_NWU     equiv id                     
│       │  _res4 required by _divr2           ≤ _res4 provided by _prod              equiv id                     
│       │  provided capacity                  ≤ _op provided by _divr                equiv id                     
│       │  provided capacity                  ≤ _op provided by _divr2               equiv id                     
│       │  provided missions                  ≤ _op provided by _divr1               equiv id                     
│       │  _res5 required by _prod            ≤ _op provided by _approx              equiv id                     
│       ├ _RuleResCeil_NWU: SimpleWrap                                                                            
│       │                   │  provides   _op   SB(≥0) │ requires   _res3   SB(≥0::1)                             
│       │                   └ DP_L_UME SB(≥0)  ⇸  SB(≥0::1)                                                       
│       │                      ceil(𝒇) ≤ 𝒓                                                                        
│       │                     └ M_C_WrapUnits   dimensionless → dimensionless                                     
│       │                       M_A_RoundUp   SB(≥0)  →  SB(≥0::1) x ⟼ ceil(x)                                    
│       ├          _approx: SimpleWrap                                                                            
│       │                   │  provides   _op   SB(≥0) USD*J/Wh │ requires   _result   SB(≥0::3600) USD*J/Wh      
│       │                   └ DP_L_UME SB(≥0) USD*J/Wh  ⇸  SB(≥0::3600) USD*J/Wh                                  
│       │                      round_up(3600,𝒇) ≤ 𝒓                                                               
│       │                     └ M_C_WrapUnits   USD*J/Wh → USD*J/Wh                                               
│       │                       M_A_RoundUp   SB(≥0)  →  SB(≥0::3600) x ⟼ round_up(3600,x)                        
│       ├         _approx1: SimpleWrap                                                                            
│       │                   │  provides   _op   SB(≥0) J*kg/Wh │ requires   _result2   SB(≥0::36) J*kg/Wh         
│       │                   └ DP_L_UME SB(≥0) J*kg/Wh  ⇸  SB(≥0::36) J*kg/Wh                                      
│       │                      round_up(36,𝒇) ≤ 𝒓                                                                 
│       │                     └ M_C_WrapUnits   J*kg/Wh → J*kg/Wh                                                 
│       │                       M_A_RoundUp   SB(≥0)  →  SB(≥0::36) x ⟼ round_up(36,x)                            
│       ├      _conversion: SimpleWrap                                                                            
│       │                   │  provides   _result   SB(≥0::3600) USD*J/Wh │ requires   cost   SB(≥0) $            
│       │                   └ UnitConversion SB(≥0::3600) USD*J/Wh  ⇸  SB(≥0) $                                   
│       │                      𝒇 [USD*J/Wh] ≤ 𝒓 [$]                                                               
│       │                     ├      F0: SB(≥0::3600)                                                             
│       │                     ├  factor: 1/3600                                                                   
│       │                     ├ F_units: SingleUnits USD*J/Wh                                                     
│       │                     └ R_units: SingleUnits $                                                            
│       ├     _conversion1: SimpleWrap                                                                            
│       │                   │  provides   _result2   SB(≥0::36) J*kg/Wh │ requires   mass   SB(≥0) g              
│       │                   └ UnitConversion SB(≥0::36) J*kg/Wh  ⇸  SB(≥0) g                                      
│       │                      𝒇 [J*kg/Wh] ≤ 𝒓 [g]                                                                
│       │                     ├      F0: SB(≥0::36)                                                               
│       │                     ├  factor: 5/18                                                                     
│       │                     ├ F_units: SingleUnits J*kg/Wh                                                      
│       │                     └ R_units: SingleUnits g                                                            
│       ├            _divr: SimpleWrap                                                                            
│       │                   │  provides   _op   SB(≥0) J │ requires   _res   SB(≥0) J*kg/Wh                       
│       │                   └ DP_L_UME SB(≥0) J  ⇸  SB(≥0) J*kg/Wh                                                
│       │                      𝒇 / 150 ≤ 𝒓                                                                        
│       │                     M_C_WrapUnits   J → J*kg/Wh > M_A_Divide1_Upper   SB(≥0)  →   same x ⟼ x / 150      
│       ├           _divr1: SimpleWrap                                                                            
│       │                   │  provides   _op   SB(≥0) │ requires   _res2   SB(≥0)                                
│       │                   └ DP_L_UME SB(≥0)  ⇸  SB(≥0)                                                          
│       │                      𝒇 / 600 ≤ 𝒓                                                                        
│       │                     └ M_C_WrapUnits   dimensionless → dimensionless                                     
│       │                       M_A_Divide1_Upper   SB(≥0)  →   same x ⟼ x / 600                                  
│       ├           _divr2: SimpleWrap                                                                            
│       │                   │  provides   _op   SB(≥0) J │ requires   _res4   SB(≥0) USD*J/Wh                     
│       │                   └ DP_L_UME SB(≥0) J  ⇸  SB(≥0) USD*J/Wh                                               
│       │                      𝒇 / 2.5 ≤ 𝒓                                                                        
│       │                     M_C_WrapUnits   J → USD*J/Wh > M_A_Divide1_Upper   SB(≥0)  →   same x ⟼ x / 2.5     
│       └            _prod: SimpleWrap                                                                            
│                           │  provides   _res4              SB(≥0) USD*J/Wh │ requires   _res5   SB(≥0) USD*J/Wh 
│                           │  provides   num_replacements   SB(≥0::1)       │                                    
│                           └ M_Res_MultiplyMany_DP WU ⟨USD*J/Wh,dimensionless⟩  ⇸  SB(≥0) USD*J/Wh               
│                                                   └ Π<2>                                                        
│                                                     ├ SB(≥0)                                                    
│                                                     └ SB(≥0::1)                                                 
│                              𝒇₁⋅𝒇₂ ≤ 𝒓                                                                          
│                             ├   Fs: ├ SB(≥0) USD*J/Wh                                                           
│                             │       └ SB(≥0::1)                                                                 
│                             └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT            
└  LMO: CompositeNDP                                                                                              
        │    provides   capacity   SB(≥0) J │ requires   mass          SB(≥0) g                                   
        │    provides   missions   SB(≥0)   │ requires   cost          SB(≥0) $                                   
        │                                   │ requires   maintenance   SB(≥0::1)                                  
        │  14 nodes, 13 edges                                                                                     
        │   connected rec: ✓                                                                                      
        │  _res3 required by _RuleResCeil_NWU ≤ num_replacements provided by _prod   equiv id                     
        │  _res3 required by _RuleResCeil_NWU ≤ required maintenance                 equiv id                     
        │  _result required by _approx        ≤ _result provided by _conversion      equiv id                     
        │  _result2 required by _approx1      ≤ _result2 provided by _conversion1    equiv id                     
        │  cost required by _conversion       ≤ required cost                        equiv id                     
        │  mass required by _conversion1      ≤ required mass                        equiv id                     
        │  _res required by _divr             ≤ _op provided by _approx1             equiv id                     
        │  _res2 required by _divr1           ≤ _op provided by _RuleResCeil_NWU     equiv id                     
        │  _res4 required by _divr2           ≤ _res4 provided by _prod              equiv id                     
        │  provided capacity                  ≤ _op provided by _divr                equiv id                     
        │  provided capacity                  ≤ _op provided by _divr2               equiv id                     
        │  provided missions                  ≤ _op provided by _divr1               equiv id                     
        │  _res5 required by _prod            ≤ _op provided by _approx              equiv id                     
        ├ _RuleResCeil_NWU: SimpleWrap                                                                            
        │                   │  provides   _op   SB(≥0) │ requires   _res3   SB(≥0::1)                             
        │                   └ DP_L_UME SB(≥0)  ⇸  SB(≥0::1)                                                       
        │                      ceil(𝒇) ≤ 𝒓                                                                        
        │                     └ M_C_WrapUnits   dimensionless → dimensionless                                     
        │                       M_A_RoundUp   SB(≥0)  →  SB(≥0::1) x ⟼ ceil(x)                                    
        ├          _approx: SimpleWrap                                                                            
        │                   │  provides   _op   SB(≥0) USD*J/Wh │ requires   _result   SB(≥0::3600) USD*J/Wh      
        │                   └ DP_L_UME SB(≥0) USD*J/Wh  ⇸  SB(≥0::3600) USD*J/Wh                                  
        │                      round_up(3600,𝒇) ≤ 𝒓                                                               
        │                     └ M_C_WrapUnits   USD*J/Wh → USD*J/Wh                                               
        │                       M_A_RoundUp   SB(≥0)  →  SB(≥0::3600) x ⟼ round_up(3600,x)                        
        ├         _approx1: SimpleWrap                                                                            
        │                   │  provides   _op   SB(≥0) J*kg/Wh │ requires   _result2   SB(≥0::36) J*kg/Wh         
        │                   └ DP_L_UME SB(≥0) J*kg/Wh  ⇸  SB(≥0::36) J*kg/Wh                                      
        │                      round_up(36,𝒇) ≤ 𝒓                                                                 
        │                     └ M_C_WrapUnits   J*kg/Wh → J*kg/Wh                                                 
        │                       M_A_RoundUp   SB(≥0)  →  SB(≥0::36) x ⟼ round_up(36,x)                            
        ├      _conversion: SimpleWrap                                                                            
        │                   │  provides   _result   SB(≥0::3600) USD*J/Wh │ requires   cost   SB(≥0) $            
        │                   └ UnitConversion SB(≥0::3600) USD*J/Wh  ⇸  SB(≥0) $                                   
        │                      𝒇 [USD*J/Wh] ≤ 𝒓 [$]                                                               
        │                     ├      F0: SB(≥0::3600)                                                             
        │                     ├  factor: 1/3600                                                                   
        │                     ├ F_units: SingleUnits USD*J/Wh                                                     
        │                     └ R_units: SingleUnits $                                                            
        ├     _conversion1: SimpleWrap                                                                            
        │                   │  provides   _result2   SB(≥0::36) J*kg/Wh │ requires   mass   SB(≥0) g              
        │                   └ UnitConversion SB(≥0::36) J*kg/Wh  ⇸  SB(≥0) g                                      
        │                      𝒇 [J*kg/Wh] ≤ 𝒓 [g]                                                                
        │                     ├      F0: SB(≥0::36)                                                               
        │                     ├  factor: 5/18                                                                     
        │                     ├ F_units: SingleUnits J*kg/Wh                                                      
        │                     └ R_units: SingleUnits g                                                            
        ├            _divr: SimpleWrap                                                                            
        │                   │  provides   _op   SB(≥0) J │ requires   _res   SB(≥0) J*kg/Wh                       
        │                   └ DP_L_UME SB(≥0) J  ⇸  SB(≥0) J*kg/Wh                                                
        │                      𝒇 / 150 ≤ 𝒓                                                                        
        │                     M_C_WrapUnits   J → J*kg/Wh > M_A_Divide1_Upper   SB(≥0)  →   same x ⟼ x / 150      
        ├           _divr1: SimpleWrap                                                                            
        │                   │  provides   _op   SB(≥0) │ requires   _res2   SB(≥0)                                
        │                   └ DP_L_UME SB(≥0)  ⇸  SB(≥0)                                                          
        │                      𝒇 / 500 ≤ 𝒓                                                                        
        │                     └ M_C_WrapUnits   dimensionless → dimensionless                                     
        │                       M_A_Divide1_Upper   SB(≥0)  →   same x ⟼ x / 500                                  
        ├           _divr2: SimpleWrap                                                                            
        │                   │  provides   _op   SB(≥0) J │ requires   _res4   SB(≥0) USD*J/Wh                     
        │                   └ DP_L_UME SB(≥0) J  ⇸  SB(≥0) USD*J/Wh                                               
        │                      𝒇 / 2.84 ≤ 𝒓                                                                       
        │                     M_C_WrapUnits   J → USD*J/Wh > M_A_Divide1_Upper   SB(≥0)  →   same x ⟼ x / 2.84    
        └            _prod: SimpleWrap                                                                            
                            │  provides   _res4              SB(≥0) USD*J/Wh │ requires   _res5   SB(≥0) USD*J/Wh 
                            │  provides   num_replacements   SB(≥0::1)       │                                    
                            └ M_Res_MultiplyMany_DP WU ⟨USD*J/Wh,dimensionless⟩  ⇸  SB(≥0) USD*J/Wh               
                                                    └ Π<2>                                                        
                                                      ├ SB(≥0)                                                    
                                                      └ SB(≥0::1)                                                 
                               𝒇₁⋅𝒇₂ ≤ 𝒓                                                                          
                              ├   Fs: ├ SB(≥0) USD*J/Wh                                                           
                              │       └ SB(≥0::1)                                                                 
                              └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT