customer_experience

Editor GitHub dtemkin1libraries bus specs models thingscustomer_experience

Editor

Visualization

mcdp { provides average_travel_time [s] provides discomfort [Reals] provides average_num_transfers [Reals] provides average_num_hops [Reals] requires dissatisfaction_level [Reals] constant weight_of_hops = 1 constant weight_of_transfers = 1 constant weight_of_travel_time = 1 1/s required dissatisfaction_level >= weight_of_travel_time * provided average_travel_time + provided discomfort + weight_of_hops * provided average_num_hops + weight_of_transfers * provided average_num_transfers }

Diagramremove
Other informationremove

Internal representation details

CompositeNDP                                                                                                      
│    provides   average_travel_time     SB(≥0) s │ requires   dissatisfaction_level   SB(≥0)                      
│    provides   discomfort              SB(≥0)   │                                                                
│    provides   average_num_transfers   SB(≥0)   │                                                                
│    provides   average_num_hops        SB(≥0)   │                                                                
│  7 nodes, 6 edges                                                                                               
│   connected rec: ✓                                                                                              
│  provided average_num_hops      ≤ _res2 provided by _sum           equiv id                                     
│  provided average_num_transfers ≤ _res3 provided by _sum           equiv id                                     
│  provided average_travel_time   ≤ _op provided by _mult            equiv id                                     
│  provided discomfort            ≤ discomfort provided by _sum      equiv id                                     
│  _res required by _mult         ≤ _res provided by _sum            equiv id                                     
│  _result required by _sum       ≤ required dissatisfaction_level   equiv id                                     
├ _mult: SimpleWrap                                                                                               
│        │  provides   _op   SB(≥0) s │ requires   _res   SB(≥0)                                                  
│        └ DP_L_UME SB(≥0) s  ⇸  SB(≥0)  > M_C_WrapUnits   s → dimensionless > M_Identity   SB(≥0)  →   same x ⟼ x
│           𝒇 ≤ 𝒓                                                                                                 
└  _sum: SimpleWrap                                                                                               
         │  provides   _res         SB(≥0) │ requires   _result   SB(≥0)                                          
         │  provides   discomfort   SB(≥0) │                                                                      
         │  provides   _res2        SB(≥0) │                                                                      
         │  provides   _res3        SB(≥0) │                                                                      
         └ M_Res_AddMany_DP WU ⟨dimensionless,dimensionless,dimensionless,dimensionless⟩  ⇸  SB(≥0)               
                            └ Π<4>                                                                                
                              ├ SB(≥0)                                                                            
                              ├ SB(≥0)                                                                            
                              ├ SB(≥0)                                                                            
                              └ SB(≥0)                                                                            
            𝒇₁ + 𝒇₂ + 𝒇₃ + 𝒇₄ ≤ 𝒓                                                                                 
           ├      Fs: ├ SB(≥0)                                                                                    
           │          ├ SB(≥0)                                                                                    
           │          ├ SB(≥0)                                                                                    
           │          └ SB(≥0)                                                                                    
           ├ opspace: SB(≥0)                                                                                      
           └    algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT