QueryDefinition
β model: CompositeNDP
β β provides satisfied_demand {demand_1_8_190__2_6_10} β requires total_cost SB([0,200000000000]) USD
β β β requires dissatisfaction_level SB(β₯0)
β β β requires total_emissions SB({2000, 3000}) kg/year
β β 10 nodes, 14 edges
β β connected rec: β
β β provided satisfied_demand β€ satisfied_demand provided by dp_service_network_design equiv (always satisfied)
β β _res required by _mult β€ _res provided by _sum diff AmbientConversion SB(β₯0::1000) USD βΈ SB([0,100000000000]::1000) USD > D USD
β β π β€ π
β β _result required by _sum β€ required total_cost equiv id
β β _result required by _sum β€ roi provided by dp_guideline diff DP_GenericConstant SB([0,200000000000]) USD βΈ {100000000000 $}
β β π β€ 100000000000 USD
β β β b: ()
β β β lf: LowerSet(maximals=ffβ¨100000000000.000000000β©)
β β β ur: UpperSet(minimals=ffβ¨100000000000.000000000β©)
β β dissatisfaction_level required by dp_customer_experience β€ required dissatisfaction_level equiv id
β β total_capital_cost required by dp_fleet β€ total_capital_cost provided by _sum diff AmbientConversion SB(β₯0) USD βΈ SB([0,100000000000]) USD > D USD
β β π β€ π
β β total_num_operators required by dp_fleet β€ _op provided by _mult equiv id
β β satisfied_demand required by dp_guideline β€ satisfied_demand provided by dp_service_network_design equiv (always satisfied)
β β avg_discomfort_level required by dp_service_network_design β€ avg_discomfort_level provided by dp_customer_experience diff DP_GenericConstant {1} βΈ SB(β₯0)
β β 1 β€ π
β β β b: ()
β β β lf: LowerSet(maximals=ffβ¨1.000000000β©)
β β β ur: UpperSet(minimals=ffβ¨1.000000000β©)
β β avg_hops required by dp_service_network_design β€ avg_hops provided by dp_customer_experience diff DP_GenericConstant {1} βΈ SB(β₯0)
β β 1 β€ π
β β β b: ()
β β β lf: LowerSet(maximals=ffβ¨1.000000000β©)
β β β ur: UpperSet(minimals=ffβ¨1.000000000β©)
β β avg_transfers required by dp_service_network_design β€ avg_transfers provided by dp_customer_experience diff DP_GenericConstant {1} βΈ SB(β₯0)
β β 1 β€ π
β β β b: ()
β β β lf: LowerSet(maximals=ffβ¨1.000000000β©)
β β β ur: UpperSet(minimals=ffβ¨1.000000000β©)
β β avg_travel_time required by dp_service_network_design β€ avg_travel_time provided by dp_customer_experience diff AmbientConversion SB({200, 300}) s βΈ SB(β₯0) s > D s
β β π β€ π
β β composition required by dp_service_network_design β€ composition provided by dp_fleet diff AmbientConversion {fleet_1_2,fleet_1_1} βΈ Fin {fleet_0_2,fleet_0_3,fleet_1_1,fleet_1_2, β¦}
β β π β€ π
β β Fin {fleet_0_2,fleet_0_3,fleet_1_1,fleet_1_2, β¦}
β β total_emissions required by dp_service_network_design β€ required total_emissions equiv id
β β _mult: SimpleWrap
β β β provides _op SB(β₯0::1) β requires _res SB(β₯0::1000) USD
β β β DP_L_UME SB(β₯0::1) βΈ SB(β₯0::1000) USD
β β π β
1000 β€ π
β β β M_C_WrapUnits dimensionless β USD
β β M_A_Mult1_Upper SB(β₯0::1) β SB(β₯0::1000) x βΌ x β
1000
β β _sum: SimpleWrap
β β β provides _res SB([0,100000000000]::1000) USD β requires _result SB([0,200000000000]) USD
β β β provides total_capital_cost SB([0,100000000000]) USD β
β β β M_Res_AddMany_DP WU β¨USD,USDβ© βΈ SB([0,200000000000]) USD
β β β Ξ <2>
β β β SB([0,100000000000]::1000)
β β β SB([0,100000000000])
β β πβ + πβ β€ π
β β β Fs: β SB([0,100000000000]::1000) USD
β β β β SB([0,100000000000]) USD
β β β opspace: SB([0,200000000000]) USD
β β β algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT
β β dp_customer_experience: 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
β β dp_fleet: CompositeNDP
β β β provides composition Fin {fleet_0_2,fleet_0_3,fleet_1_1,fleet_1_2, β¦} β requires total_capital_cost SB(β₯0) USD
β β β β requires total_num_operators SB(β₯0::1)
β β β 8 nodes, 9 edges
β β β connected rec: β
β β β provided composition β€ composition provided by dp_fleet_trival equiv id
β β β _result required by _sum β€ required total_capital_cost equiv id
β β β _result2 required by _sum1 β€ required total_num_operators equiv id
β β β number_t1 required by dp_fleet_trival β€ number_t1 provided by dp_t1 diff AmbientConversion SB({0, 1, 2, 3}) car βΈ SB(β₯0) car > D car
β β β π β€ π
β β β number_t2 required by dp_fleet_trival β€ number_t2 provided by dp_t2 diff AmbientConversion SB({0, 1, 2, 3}) car βΈ SB(β₯0) car > D car
β β β π β€ π
β β β capital_cost required by dp_t1 β€ dp_t1_capital_cost provided by _sum equiv id
β β β operators required by dp_t1 β€ dp_t1_operators provided by _sum1 equiv id
β β β capital_cost required by dp_t2 β€ dp_t2_capital_cost provided by _sum equiv id
β β β operators required by dp_t2 β€ dp_t2_operators provided by _sum1 equiv id
β β β _sum: SimpleWrap
β β β β provides dp_t1_capital_cost SB(β₯0) USD β requires _result SB(β₯0) USD
β β β β provides dp_t2_capital_cost SB(β₯0) USD β
β β β β M_Res_AddMany_DP SB(β₯0)ΓSB(β₯0) β¨USD,USDβ© βΈ SB(β₯0) USD
β β β πβ + πβ β€ π
β β β β Fs: β SB(β₯0) USD
β β β β β SB(β₯0) USD
β β β β opspace: SB(β₯0) USD
β β β β algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT
β β β _sum1: SimpleWrap
β β β β provides dp_t1_operators SB(β₯0::1) β requires _result2 SB(β₯0::1)
β β β β provides dp_t2_operators SB(β₯0::1) β
β β β β M_Res_AddMany_DP WU β¨dimensionless,dimensionlessβ© βΈ SB(β₯0::1)
β β β β Ξ <2>
β β β β SB(β₯0::1)
β β β β SB(β₯0::1)
β β β πβ + πβ β€ π
β β β β Fs: β SB(β₯0::1)
β β β β β SB(β₯0::1)
β β β β opspace: SB(β₯0::1)
β β β β algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT
β β β dp_fleet_trival: SimpleWrap
β β β β provides composition Fin {fleet_0_2,fleet_0_3,fleet_1_1,fleet_1_2, β¦} β requires number_t1 SB({0, 1, 2, 3}) car
β β β β β requires number_t2 SB({0, 1, 2, 3}) car
β β β β DP_Catalog Fin {fleet_0_2, βΈ WU β¨car,carβ©
β β β fleet_0_3, β Ξ <2> Showing first 5 of 7
β β β fleet_1_1, β SB({0, 1, 2, 3}) fleet_1_1 β€ modelsub1 β¦ β¨1 car,1 carβ©
β β β fleet_1_2, β¦} β SB({0, 1, 2, 3}) fleet_2_0 β€ modelsub2 β¦ β¨2 car,0 carβ©
β β β catalogue(π, π) fleet_0_2 β€ modelsub3 β¦ β¨0 car,2 carβ©
β β β fleet_2_1 β€ modelsub4 β¦ β¨2 car,1 carβ©
β β β fleet_1_2 β€ modelsub5 β¦ β¨1 car,2 carβ©
β β β dp_t1: CompositeNDP
β β β β provides number_t1 SB(β₯0) car β requires capital_cost SB(β₯0) USD
β β β β β requires operators SB(β₯0::1)
β β β β 5 nodes, 4 edges
β β β β connected rec: β
β β β β provided number_t1 β€ _op provided by _mult equiv id
β β β β provided number_t1 β€ _op provided by _mult1 equiv id
β β β β _res required by _mult β€ required capital_cost equiv id
β β β β _res2 required by _mult1 β€ required operators diff AmbientConversion SB(β₯0) βΈ SB(β₯0::1) > D
β β β β π β€ π
β β β β _mult: SimpleWrap
β β β β β provides _op SB(β₯0) car β requires _res SB(β₯0) USD
β β β β β DP_L_UME SB(β₯0) car βΈ SB(β₯0) USD
β β β β π β
1200000 β€ π
β β β β β M_C_WrapUnits car β USD
β β β β β M_A_Mult1_Upper SB(β₯0) β same x βΌ x β
1200000
β β β β _mult1: SimpleWrap
β β β β provides _op SB(β₯0) car β requires _res2 SB(β₯0)
β β β β DP_L_UME SB(β₯0) car βΈ SB(β₯0)
β β β π β€ π
β β β β M_C_WrapUnits car β dimensionless
β β β M_Identity SB(β₯0) β same x βΌ x
β β β dp_t2: CompositeNDP
β β β provides number_t2 SB(β₯0) car β requires capital_cost SB(β₯0) USD
β β β β requires operators SB(β₯0::1)
β β β 5 nodes, 4 edges
β β β connected rec: β
β β β provided number_t2 β€ _op provided by _mult equiv id
β β β provided number_t2 β€ _op provided by _mult1 equiv id
β β β _res required by _mult β€ required capital_cost equiv id
β β β _res2 required by _mult1 β€ required operators diff AmbientConversion SB(β₯0) βΈ SB(β₯0::1) > D
β β β π β€ π
β β β _mult: SimpleWrap
β β β β provides _op SB(β₯0) car β requires _res SB(β₯0) USD
β β β β DP_L_UME SB(β₯0) car βΈ SB(β₯0) USD
β β β π β
850000 β€ π
β β β β M_C_WrapUnits car β USD
β β β β M_A_Mult1_Upper SB(β₯0) β same x βΌ x β
850000
β β β _mult1: SimpleWrap
β β β provides _op SB(β₯0) car β requires _res2 SB(β₯0)
β β β DP_L_UME SB(β₯0) car βΈ SB(β₯0)
β β π β€ π
β β β M_C_WrapUnits car β dimensionless
β β M_Identity SB(β₯0) β same x βΌ x
β β dp_guideline: SimpleWrap
β β β provides roi {100000000000 $} β requires satisfied_demand {demand_1_8_190__2_6_10}
β β β DP_Catalog {100000000000 $} βΈ {demand_1_8_190__2_6_10}
β β catalogue(π, π) 100000000000 $ β€ modelguideline1 β¦ demand_1_8_190__2_6_10
β β 100000000000 $ β€ modelguideline2 β¦ demand_1_8_190__2_6_10
β β dp_service_network_design: SimpleWrap
β β provides satisfied_demand {demand_1_8_190__2_6_10} β requires composition {fleet_1_2,fleet_1_1}
β β β requires avg_travel_time SB({200, 300}) s
β β β requires avg_discomfort_level {1}
β β β requires avg_transfers {1}
β β β requires avg_hops {1}
β β β requires total_emissions SB({2000, 3000}) kg/year
β β DP_Catalog {demand_1_8_190__2_6_10} βΈ WU β¨-,s,dimensionless,dimensionless,dimensionless,kg/yearβ©
β β Ξ <6> demand_1_8_190__2_6_10 β€ modelsub1 β¦ β¨fleet_1_1,300 s,1,1,1,2000 kg/yearβ©
β β {fleet_1_2,fleet_1_1} demand_1_8_190__2_6_10 β€ modelsub2 β¦ β¨fleet_1_2,200 s,1,1,1,3000 kg/yearβ©
β β SB({200, 300})
β β SB(1)
β β SB(1)
β β SB(1)
β β SB({2000, 3000})
β catalogue(π, π)
β query_data: QueryFixFunMinResData
β functions: {satisfied_demand: VU:demand_1_8_190__2_6_10}
β max_resources: {total_cost: NVU:β USD, total_emissions: NVU:β kg/year, dissatisfaction_level: NVU:β}
β optimize_for: ffβ¨dissatisfaction_level,total_cost,total_emissionsβ©