SlideShare a Scribd company logo
Program Analysis-based Approach for Cooperative Logistics Ichiro Satoh National Institute of Informatics Tokyo
National Institute of Informatics ,[object Object],[object Object],[object Object],[object Object],NII The Imperial  Palace Tokyo Station NII is 1.5km-near from Tokyo Station 1.5km NII
ICPS’2009 ,[object Object],[object Object]
Background ,[object Object],[object Object],[object Object],[object Object],[object Object]
Cooperative Logistics ,[object Object],[object Object],[object Object],[object Object],[object Object]
Example: Milk-run Operation ,[object Object],[object Object],[object Object],[object Object],Loading rates tend to be low.
Logistic Truck Routes as Program Control-Flow ,[object Object],[object Object],To treat truck routes as program control flow, we propose a programming language for specifying these routes. Program The flow of program execution   The routes of trucks  Program ? start { .... if (condition) { ... while(condition) { ... } switch(condition) { case 1:  { ... } case 2:  { ... } case 3:  { ... } } } else { ... } ... } Correlation
[object Object],[object Object],[object Object],Design of Specification Language E   ::= 0 (termination) |  location (migration)    |  E 1      E 2 (sequential migration)    |  E 1      E 2 (selective migration) |  E 1      E 2 (parallel migration)     |  E 1      E 2 (possible migration) |  E 1      E 2 (commutable migration) |  E* (arbitrary migration) for the routes of trucks. for the requirement of trucks.
Specification Example Truck 1 Destination G Truck  1: A[9:00,9:05] ; B[9:20,9:35] ; C[9:30,9:35] ; F[9:50,9:55]   Destination A Destination B Destination C Destination D Arrival : 9:50 〜 9:55 Truck 2 Collection/Delivering Center Arrival : 10:10 〜 10:15 Destination I Destination H Arrival : 9:00 〜 9:05 Arrival : 9:20 〜 9:25 Arrival : 9:30 〜 9:35 Arrival : 9:50 〜 9:55 Arrival : 9:30 〜 9:35 Arrival : 10:40 〜 10:45 Destination E Arrival : 10:30 〜 10:35 Arrival : 10:50 〜 10:55 Arrival : 11:10 〜 11:15 Arrival : 11:00 〜 11:05 Arrival : 11:20 〜 11:25 Departure : 10:10 〜 10:15 Truck 3 Truck 2 : D[9:30,9:35] ; E[9:50,9:55] ; F[10:10,10:15] ; H[10:40,10:45] ; I[11:00,11:05] Truck 3 : F[10:10,10:15] ; G[10:30,10:35] ; I[10:50,10:55] ; F[11:20,11:25] (A[9:00,9:05];B[9:20,9:35];C[9:30,9:35];F[9:50,9:55])  || ( D[9:30,9:35] ; E[9:50,9:55] ; F[10:10,10:15] ; H[10:40,10:45] ; I[11:00,11:05]) || (F[10:10,10:15] ; G[10:30,10:35] ; I[10:50,10:55] ; F[11:20,11:25])
Reduction of CO2-Emission by using Program Analysis and Optimization ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Algebraic Order Relation ,[object Object]
Selection of Earth-friendly Trucks Dest. A needs items to Dest. B and C and picks items from Dest. D. Specification :  (A ; (B%C)) & (D ; A) Dest. A Dest. B Dest. D Dest. C Dest. A Dest. B Dest. D Dest. C Dest. A Dest. B Dest. D Dest. C Dest. A Dest. B Dest. D Dest. C Dest. A Dest. B Dest. D Dest. C Dest. A Dest. B Dest. D Dest. C A;B;C;D;A A;B;A;C;A;D;A A;B;C;A;D A;D;B;C;A A;D;C;A;B A;B;A;D;C Truck 1 Truck 3 Truck 2 Truck 4 Truck 5 Truck 6
Current Project: Food Transportation ,[object Object],Factory E (Sushi) Factory D  (Sandwich) Factory C  (Bento) Factory A (Bread) Factory B  (Onigiri) Super-market’s distribution  center F A B C D E F A B C D E F A B C D E F Truck 1 Truck 2 Truck 3 Collection of foods ? The term of eatability Long Short Bread   < Bento&Onigiri < Sandwich < Sushi The arrival orders of trucks at factories are important, when factories may exchange their products with other factories. ,[object Object]
[object Object],[object Object],Route Optimization by using Code Optimization Optimization Reduction of   redundant route A B C A A A B A C A B A C + B C A C B A or Optimization Serialization
Application by Mizuho Bank ,[object Object],[object Object],[object Object],[object Object]
Implementation ,[object Object],Route :   A; B; D; C; E; F Route :   A; C; B; D; E; F Route :  A; B; F; C; D; E; F A B C D E F Truck 2 A B C D E F Truck 1 Requirements:   A; (B%C); D; E; F A B C D E F Truck 3 (1) Route  registration (2) Query with requirements (7) Recommendation on a truck Requirements maintained in  RFID tags Database Server  Carriers Customer/supplier Customer/supplier tag RFID tag RFID tag readers 端末 Item Item Info. distance A B F C D E F A C B D E F A B D C E F Route selection engine Truck 1 Truck 2 Truck 3 A; (B%C); D; E; F A C D E F B D E F C B 木の高さ 移動回数 ・距離 に対応 (3) Transformation to trees (4) matching tree structure (5) Selecting trucks  (6) Selecting the most efficient truck Truck 2 Cost:  shorter than 1s where 40 trucks whose visit 10 places A; C; B; D; E; F   A; (B%C); D; E; F Trucks themselves do not need any special equipments.
Conclusion ,[object Object],[object Object],[object Object],from our experiments with Japan Institute of Logistic System (JILS), which is the biggest logistic industry society.

More Related Content

What's hot

TUe AGV Poster
TUe AGV PosterTUe AGV Poster
TUe AGV Poster
Khaled Emam
 
A Combined Method for Capacitated Periodic Vehicle Routing Problem with Stric...
A Combined Method for Capacitated Periodic Vehicle Routing Problem with Stric...A Combined Method for Capacitated Periodic Vehicle Routing Problem with Stric...
A Combined Method for Capacitated Periodic Vehicle Routing Problem with Stric...
rahulmonikasharma
 
DSD-INT 2015 - Accidental spill modelling framework in the Netherlands - Rudi...
DSD-INT 2015 - Accidental spill modelling framework in the Netherlands - Rudi...DSD-INT 2015 - Accidental spill modelling framework in the Netherlands - Rudi...
DSD-INT 2015 - Accidental spill modelling framework in the Netherlands - Rudi...
Deltares
 
Clean sky towards horizon2020
Clean sky towards horizon2020Clean sky towards horizon2020
Clean sky towards horizon2020
Leonardo
 
Transportation chain shipping cost calculation for multi leg with different v...
Transportation chain shipping cost calculation for multi leg with different v...Transportation chain shipping cost calculation for multi leg with different v...
Transportation chain shipping cost calculation for multi leg with different v...
Keyur Mistry
 
Depot Modernisation Parel Wr
Depot Modernisation   Parel   WrDepot Modernisation   Parel   Wr
Depot Modernisation Parel Wr
Jogendra Yadvendu
 
Kota Stores depot Modernisation
Kota Stores depot ModernisationKota Stores depot Modernisation
Kota Stores depot Modernisation
Harpreet Singh Pruthi
 
The impact of short haul operation
The impact of short haul operationThe impact of short haul operation
The impact of short haul operation
Mohammed Awad
 
PPT10 - Planning and Managing Long Haul Freight Transportation
PPT10 - Planning and Managing Long Haul Freight TransportationPPT10 - Planning and Managing Long Haul Freight Transportation
PPT10 - Planning and Managing Long Haul Freight Transportation
Binus Online Learning
 
PPT9 - Planning and Managing Long Haul Freight Transportation
PPT9 - Planning and Managing Long Haul Freight TransportationPPT9 - Planning and Managing Long Haul Freight Transportation
PPT9 - Planning and Managing Long Haul Freight Transportation
Binus Online Learning
 
PPT8 - Planning and Managing Long Haul Freight Transportation
PPT8 - Planning and Managing Long Haul Freight TransportationPPT8 - Planning and Managing Long Haul Freight Transportation
PPT8 - Planning and Managing Long Haul Freight Transportation
Binus Online Learning
 
Wherecamp Navigation Conference 2015 - GraphHopper Route Optimization
Wherecamp Navigation Conference 2015 - GraphHopper Route OptimizationWherecamp Navigation Conference 2015 - GraphHopper Route Optimization
Wherecamp Navigation Conference 2015 - GraphHopper Route Optimization
WhereCampBerlin
 
P07012_Chaudhari&Gupta
P07012_Chaudhari&GuptaP07012_Chaudhari&Gupta
P07012_Chaudhari&Gupta
Pankaj Gupta
 
Informs_Xiaonan_03Oct2013
Informs_Xiaonan_03Oct2013Informs_Xiaonan_03Oct2013
Informs_Xiaonan_03Oct2013
Xiaonan Zhou
 
South East Europe Rail conference - Thomas Wimroither
South East Europe Rail conference -  Thomas WimroitherSouth East Europe Rail conference -  Thomas Wimroither
South East Europe Rail conference - Thomas Wimroither
Russell Publishing
 
12 Basic Principle Of Intersection Signalization (Traffic Engineering هندسة ا...
12 Basic Principle Of Intersection Signalization (Traffic Engineering هندسة ا...12 Basic Principle Of Intersection Signalization (Traffic Engineering هندسة ا...
12 Basic Principle Of Intersection Signalization (Traffic Engineering هندسة ا...
Hossam Shafiq I
 
Verolog 2019 : Multiple solving approaches applied to the Heterogeneous Vehic...
Verolog 2019 : Multiple solving approaches applied to the Heterogeneous Vehic...Verolog 2019 : Multiple solving approaches applied to the Heterogeneous Vehic...
Verolog 2019 : Multiple solving approaches applied to the Heterogeneous Vehic...
Manon Bouly
 
The thing with Fuel SAS helps the KLM Fuel & Emission DWH
The thing with Fuel SAS helps the KLM Fuel & Emission DWHThe thing with Fuel SAS helps the KLM Fuel & Emission DWH
The thing with Fuel SAS helps the KLM Fuel & Emission DWH
Business_Analytics
 
The London LEZ - An Economic Evaluation
The London LEZ - An Economic EvaluationThe London LEZ - An Economic Evaluation
The London LEZ - An Economic Evaluation
Isobel Daley
 
CV_181214
CV_181214CV_181214
CV_181214
Josef Saberi
 

What's hot (20)

TUe AGV Poster
TUe AGV PosterTUe AGV Poster
TUe AGV Poster
 
A Combined Method for Capacitated Periodic Vehicle Routing Problem with Stric...
A Combined Method for Capacitated Periodic Vehicle Routing Problem with Stric...A Combined Method for Capacitated Periodic Vehicle Routing Problem with Stric...
A Combined Method for Capacitated Periodic Vehicle Routing Problem with Stric...
 
DSD-INT 2015 - Accidental spill modelling framework in the Netherlands - Rudi...
DSD-INT 2015 - Accidental spill modelling framework in the Netherlands - Rudi...DSD-INT 2015 - Accidental spill modelling framework in the Netherlands - Rudi...
DSD-INT 2015 - Accidental spill modelling framework in the Netherlands - Rudi...
 
Clean sky towards horizon2020
Clean sky towards horizon2020Clean sky towards horizon2020
Clean sky towards horizon2020
 
Transportation chain shipping cost calculation for multi leg with different v...
Transportation chain shipping cost calculation for multi leg with different v...Transportation chain shipping cost calculation for multi leg with different v...
Transportation chain shipping cost calculation for multi leg with different v...
 
Depot Modernisation Parel Wr
Depot Modernisation   Parel   WrDepot Modernisation   Parel   Wr
Depot Modernisation Parel Wr
 
Kota Stores depot Modernisation
Kota Stores depot ModernisationKota Stores depot Modernisation
Kota Stores depot Modernisation
 
The impact of short haul operation
The impact of short haul operationThe impact of short haul operation
The impact of short haul operation
 
PPT10 - Planning and Managing Long Haul Freight Transportation
PPT10 - Planning and Managing Long Haul Freight TransportationPPT10 - Planning and Managing Long Haul Freight Transportation
PPT10 - Planning and Managing Long Haul Freight Transportation
 
PPT9 - Planning and Managing Long Haul Freight Transportation
PPT9 - Planning and Managing Long Haul Freight TransportationPPT9 - Planning and Managing Long Haul Freight Transportation
PPT9 - Planning and Managing Long Haul Freight Transportation
 
PPT8 - Planning and Managing Long Haul Freight Transportation
PPT8 - Planning and Managing Long Haul Freight TransportationPPT8 - Planning and Managing Long Haul Freight Transportation
PPT8 - Planning and Managing Long Haul Freight Transportation
 
Wherecamp Navigation Conference 2015 - GraphHopper Route Optimization
Wherecamp Navigation Conference 2015 - GraphHopper Route OptimizationWherecamp Navigation Conference 2015 - GraphHopper Route Optimization
Wherecamp Navigation Conference 2015 - GraphHopper Route Optimization
 
P07012_Chaudhari&Gupta
P07012_Chaudhari&GuptaP07012_Chaudhari&Gupta
P07012_Chaudhari&Gupta
 
Informs_Xiaonan_03Oct2013
Informs_Xiaonan_03Oct2013Informs_Xiaonan_03Oct2013
Informs_Xiaonan_03Oct2013
 
South East Europe Rail conference - Thomas Wimroither
South East Europe Rail conference -  Thomas WimroitherSouth East Europe Rail conference -  Thomas Wimroither
South East Europe Rail conference - Thomas Wimroither
 
12 Basic Principle Of Intersection Signalization (Traffic Engineering هندسة ا...
12 Basic Principle Of Intersection Signalization (Traffic Engineering هندسة ا...12 Basic Principle Of Intersection Signalization (Traffic Engineering هندسة ا...
12 Basic Principle Of Intersection Signalization (Traffic Engineering هندسة ا...
 
Verolog 2019 : Multiple solving approaches applied to the Heterogeneous Vehic...
Verolog 2019 : Multiple solving approaches applied to the Heterogeneous Vehic...Verolog 2019 : Multiple solving approaches applied to the Heterogeneous Vehic...
Verolog 2019 : Multiple solving approaches applied to the Heterogeneous Vehic...
 
The thing with Fuel SAS helps the KLM Fuel & Emission DWH
The thing with Fuel SAS helps the KLM Fuel & Emission DWHThe thing with Fuel SAS helps the KLM Fuel & Emission DWH
The thing with Fuel SAS helps the KLM Fuel & Emission DWH
 
The London LEZ - An Economic Evaluation
The London LEZ - An Economic EvaluationThe London LEZ - An Economic Evaluation
The London LEZ - An Economic Evaluation
 
CV_181214
CV_181214CV_181214
CV_181214
 

Viewers also liked

Milk run distribution
Milk run distributionMilk run distribution
Milk run distribution
Hammaduddin
 
Milk run
Milk runMilk run
Milk run1
Milk run1Milk run1
Outbound Logistics of AMUL and Liverpool (An Apparel Company, India) v2.0
Outbound Logistics of AMUL and Liverpool (An Apparel Company, India) v2.0Outbound Logistics of AMUL and Liverpool (An Apparel Company, India) v2.0
Outbound Logistics of AMUL and Liverpool (An Apparel Company, India) v2.0
Vinay Prajapati
 
Inbound outbound
Inbound outboundInbound outbound
Inbound outbound
digiexpress1239
 
3rd party logistic
3rd party logistic3rd party logistic
3rd party logistic
vikramkr3116
 

Viewers also liked (6)

Milk run distribution
Milk run distributionMilk run distribution
Milk run distribution
 
Milk run
Milk runMilk run
Milk run
 
Milk run1
Milk run1Milk run1
Milk run1
 
Outbound Logistics of AMUL and Liverpool (An Apparel Company, India) v2.0
Outbound Logistics of AMUL and Liverpool (An Apparel Company, India) v2.0Outbound Logistics of AMUL and Liverpool (An Apparel Company, India) v2.0
Outbound Logistics of AMUL and Liverpool (An Apparel Company, India) v2.0
 
Inbound outbound
Inbound outboundInbound outbound
Inbound outbound
 
3rd party logistic
3rd party logistic3rd party logistic
3rd party logistic
 

Similar to Ichiro Satoh

Taxi Algebra.pptx
Taxi Algebra.pptxTaxi Algebra.pptx
Taxi Algebra.pptx
WillS36
 
Major project highways report
Major project highways reportMajor project highways report
Major project highways report
Gregory Mark Thomson
 
Review network modeling
Review network modelingReview network modeling
Review network modeling
Harun Al-Rasyid Lubis
 
LAST MILE DELIVERY
LAST MILE DELIVERYLAST MILE DELIVERY
LAST MILE DELIVERY
IRJET Journal
 
SimCap Louisiana Educational Meeting #1 Slides
SimCap Louisiana Educational Meeting #1 SlidesSimCap Louisiana Educational Meeting #1 Slides
SimCap Louisiana Educational Meeting #1 Slides
Christopher Melson
 
The Effects of Crossdock Shapes on Material Handling Costs
The Effects of Crossdock Shapes on Material Handling CostsThe Effects of Crossdock Shapes on Material Handling Costs
The Effects of Crossdock Shapes on Material Handling Costs
ijceronline
 
BDE_SC4_WS3_3_Rodrigo Castineira - Transforming Transport Project
BDE_SC4_WS3_3_Rodrigo Castineira - Transforming Transport ProjectBDE_SC4_WS3_3_Rodrigo Castineira - Transforming Transport Project
BDE_SC4_WS3_3_Rodrigo Castineira - Transforming Transport Project
BigData_Europe
 
Central moments of traffic delay at a signalized intersection
Central moments of traffic delay at a signalized intersectionCentral moments of traffic delay at a signalized intersection
Central moments of traffic delay at a signalized intersection
Alexander Decker
 
Traffic Conditions - From Now Until Forever
Traffic Conditions - From Now Until ForeverTraffic Conditions - From Now Until Forever
Traffic Conditions - From Now Until Forever
WSP
 
Tilos for linear project
Tilos for linear projectTilos for linear project
Tilos for linear project
Thanh Hoang Lam
 
BCG - Port of Los Angeles.pdf
BCG - Port of Los Angeles.pdfBCG - Port of Los Angeles.pdf
BCG - Port of Los Angeles.pdf
ssuser455a701
 
An Enhanced Agglomerative Clustering Algorithm for Solving Vehicle Routing Pr...
An Enhanced Agglomerative Clustering Algorithm for Solving Vehicle Routing Pr...An Enhanced Agglomerative Clustering Algorithm for Solving Vehicle Routing Pr...
An Enhanced Agglomerative Clustering Algorithm for Solving Vehicle Routing Pr...
ijtsrd
 
923 2 wheeler_public privat partnerships
923 2 wheeler_public privat partnerships923 2 wheeler_public privat partnerships
923 2 wheeler_public privat partnerships
Rail~Volution
 
Optimization Approach for Capacitated Vehicle Routing Problem Using Genetic A...
Optimization Approach for Capacitated Vehicle Routing Problem Using Genetic A...Optimization Approach for Capacitated Vehicle Routing Problem Using Genetic A...
Optimization Approach for Capacitated Vehicle Routing Problem Using Genetic A...
ijsrd.com
 
Viamente Route Planner
Viamente Route PlannerViamente Route Planner
Viamente Route Planner
Viamente
 
Ports in Short Sea Shipping. A critical assessment of the European Maritime T...
Ports in Short Sea Shipping. A critical assessment of the European Maritime T...Ports in Short Sea Shipping. A critical assessment of the European Maritime T...
Ports in Short Sea Shipping. A critical assessment of the European Maritime T...
Ancor Suárez Alemán
 
A modal shift for the logistics network system in japan
A modal shift for the logistics network system in japanA modal shift for the logistics network system in japan
A modal shift for the logistics network system in japan
Tran Dieu Huyen
 
3a09fc7ee1175120b31399b1ce06b175_lect21.pdf
3a09fc7ee1175120b31399b1ce06b175_lect21.pdf3a09fc7ee1175120b31399b1ce06b175_lect21.pdf
3a09fc7ee1175120b31399b1ce06b175_lect21.pdf
OlumideAzeez1
 
Exit Presentation 2.pptx
Exit Presentation 2.pptxExit Presentation 2.pptx
Exit Presentation 2.pptx
YitbarekSisay
 
CV_Anil Malagi
CV_Anil MalagiCV_Anil Malagi
CV_Anil Malagi
Anil Malagi
 

Similar to Ichiro Satoh (20)

Taxi Algebra.pptx
Taxi Algebra.pptxTaxi Algebra.pptx
Taxi Algebra.pptx
 
Major project highways report
Major project highways reportMajor project highways report
Major project highways report
 
Review network modeling
Review network modelingReview network modeling
Review network modeling
 
LAST MILE DELIVERY
LAST MILE DELIVERYLAST MILE DELIVERY
LAST MILE DELIVERY
 
SimCap Louisiana Educational Meeting #1 Slides
SimCap Louisiana Educational Meeting #1 SlidesSimCap Louisiana Educational Meeting #1 Slides
SimCap Louisiana Educational Meeting #1 Slides
 
The Effects of Crossdock Shapes on Material Handling Costs
The Effects of Crossdock Shapes on Material Handling CostsThe Effects of Crossdock Shapes on Material Handling Costs
The Effects of Crossdock Shapes on Material Handling Costs
 
BDE_SC4_WS3_3_Rodrigo Castineira - Transforming Transport Project
BDE_SC4_WS3_3_Rodrigo Castineira - Transforming Transport ProjectBDE_SC4_WS3_3_Rodrigo Castineira - Transforming Transport Project
BDE_SC4_WS3_3_Rodrigo Castineira - Transforming Transport Project
 
Central moments of traffic delay at a signalized intersection
Central moments of traffic delay at a signalized intersectionCentral moments of traffic delay at a signalized intersection
Central moments of traffic delay at a signalized intersection
 
Traffic Conditions - From Now Until Forever
Traffic Conditions - From Now Until ForeverTraffic Conditions - From Now Until Forever
Traffic Conditions - From Now Until Forever
 
Tilos for linear project
Tilos for linear projectTilos for linear project
Tilos for linear project
 
BCG - Port of Los Angeles.pdf
BCG - Port of Los Angeles.pdfBCG - Port of Los Angeles.pdf
BCG - Port of Los Angeles.pdf
 
An Enhanced Agglomerative Clustering Algorithm for Solving Vehicle Routing Pr...
An Enhanced Agglomerative Clustering Algorithm for Solving Vehicle Routing Pr...An Enhanced Agglomerative Clustering Algorithm for Solving Vehicle Routing Pr...
An Enhanced Agglomerative Clustering Algorithm for Solving Vehicle Routing Pr...
 
923 2 wheeler_public privat partnerships
923 2 wheeler_public privat partnerships923 2 wheeler_public privat partnerships
923 2 wheeler_public privat partnerships
 
Optimization Approach for Capacitated Vehicle Routing Problem Using Genetic A...
Optimization Approach for Capacitated Vehicle Routing Problem Using Genetic A...Optimization Approach for Capacitated Vehicle Routing Problem Using Genetic A...
Optimization Approach for Capacitated Vehicle Routing Problem Using Genetic A...
 
Viamente Route Planner
Viamente Route PlannerViamente Route Planner
Viamente Route Planner
 
Ports in Short Sea Shipping. A critical assessment of the European Maritime T...
Ports in Short Sea Shipping. A critical assessment of the European Maritime T...Ports in Short Sea Shipping. A critical assessment of the European Maritime T...
Ports in Short Sea Shipping. A critical assessment of the European Maritime T...
 
A modal shift for the logistics network system in japan
A modal shift for the logistics network system in japanA modal shift for the logistics network system in japan
A modal shift for the logistics network system in japan
 
3a09fc7ee1175120b31399b1ce06b175_lect21.pdf
3a09fc7ee1175120b31399b1ce06b175_lect21.pdf3a09fc7ee1175120b31399b1ce06b175_lect21.pdf
3a09fc7ee1175120b31399b1ce06b175_lect21.pdf
 
Exit Presentation 2.pptx
Exit Presentation 2.pptxExit Presentation 2.pptx
Exit Presentation 2.pptx
 
CV_Anil Malagi
CV_Anil MalagiCV_Anil Malagi
CV_Anil Malagi
 

Ichiro Satoh

  • 1. Program Analysis-based Approach for Cooperative Logistics Ichiro Satoh National Institute of Informatics Tokyo
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9. Specification Example Truck 1 Destination G Truck 1: A[9:00,9:05] ; B[9:20,9:35] ; C[9:30,9:35] ; F[9:50,9:55]   Destination A Destination B Destination C Destination D Arrival : 9:50 〜 9:55 Truck 2 Collection/Delivering Center Arrival : 10:10 〜 10:15 Destination I Destination H Arrival : 9:00 〜 9:05 Arrival : 9:20 〜 9:25 Arrival : 9:30 〜 9:35 Arrival : 9:50 〜 9:55 Arrival : 9:30 〜 9:35 Arrival : 10:40 〜 10:45 Destination E Arrival : 10:30 〜 10:35 Arrival : 10:50 〜 10:55 Arrival : 11:10 〜 11:15 Arrival : 11:00 〜 11:05 Arrival : 11:20 〜 11:25 Departure : 10:10 〜 10:15 Truck 3 Truck 2 : D[9:30,9:35] ; E[9:50,9:55] ; F[10:10,10:15] ; H[10:40,10:45] ; I[11:00,11:05] Truck 3 : F[10:10,10:15] ; G[10:30,10:35] ; I[10:50,10:55] ; F[11:20,11:25] (A[9:00,9:05];B[9:20,9:35];C[9:30,9:35];F[9:50,9:55]) || ( D[9:30,9:35] ; E[9:50,9:55] ; F[10:10,10:15] ; H[10:40,10:45] ; I[11:00,11:05]) || (F[10:10,10:15] ; G[10:30,10:35] ; I[10:50,10:55] ; F[11:20,11:25])
  • 10.
  • 11.
  • 12. Selection of Earth-friendly Trucks Dest. A needs items to Dest. B and C and picks items from Dest. D. Specification :  (A ; (B%C)) & (D ; A) Dest. A Dest. B Dest. D Dest. C Dest. A Dest. B Dest. D Dest. C Dest. A Dest. B Dest. D Dest. C Dest. A Dest. B Dest. D Dest. C Dest. A Dest. B Dest. D Dest. C Dest. A Dest. B Dest. D Dest. C A;B;C;D;A A;B;A;C;A;D;A A;B;C;A;D A;D;B;C;A A;D;C;A;B A;B;A;D;C Truck 1 Truck 3 Truck 2 Truck 4 Truck 5 Truck 6
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.