customer_experience

Editor GitHub mit-zardini-lablibraries act4brd specs models thingscustomer_experience

Editor

Visualization

mcdp { provides avg_travel_time [s] provides avg_discomfort_level [Reals] provides avg_transfers [Reals] provides avg_hops [Reals] requires dissatisfaction_level [Reals] constant weight_of_hops = 1 constant weight_of_transfers = 1 constant weight_of_traveltime = 1 1/s required dissatisfaction_level >= weight_of_traveltime * provided avg_travel_time + provided avg_discomfort_level + weight_of_hops * provided avg_hops + weight_of_transfers * provided avg_transfers }

Diagramremove
Other informationremove

Internal representation details

CompositeNDP                                                                                                      
│    provides   avg_travel_time        SB(≥0) s │ requires   dissatisfaction_level   SB(≥0)                       
│    provides   avg_discomfort_level   SB(≥0)   │                                                                 
│    provides   avg_transfers          SB(≥0)   │                                                                 
│    provides   avg_hops               SB(≥0)   │                                                                 
│  7 nodes, 6 edges                                                                                               
│   connected rec: ✓                                                                                              
│  provided avg_discomfort_level ≤ avg_discomfort_level provided by _sum   equiv id                               
│  provided avg_hops             ≤ _res2 provided by _sum                  equiv id                               
│  provided avg_transfers        ≤ _res3 provided by _sum                  equiv id                               
│  provided avg_travel_time      ≤ _op provided by _mult                   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   avg_discomfort_level   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