The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
친환경 물류 관리 시스템을 구체화하고 추론하기 위한 공식적인 접근 방식이 제시됩니다. 운송으로 인한 화석연료 소비와 이산화탄소 배출을 줄이기 위해서는 현대 물류서비스의 운송수단인 트럭의 운송 효율성을 높여야 합니다. 이 문서에서는 Milk-run 접근 방식을 다룹니다. 이는 이 문제에 대한 가장 효과적이고 대중적인 솔루션 중 하나이지만 물류 관리 시스템에서 구현하기가 복잡합니다. 우리는 트럭의 경로를 지정하고 경로 요구 사항과 가능한 트럭 경로 간의 순서 관계를 지정하기 위한 언어를 제안합니다. 전자는 프로세스 계산으로 공식화되고 후자는 경로에 따라 적합한 트럭을 선택합니다.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
부
Ichiro SATOH, "A Formal Approach for Milk-Run Transport Logistics" in IEICE TRANSACTIONS on Fundamentals,
vol. E91-A, no. 11, pp. 3261-3268, November 2008, doi: 10.1093/ietfec/e91-a.11.3261.
Abstract: A formal approach for specifying and reasoning about earth-friendly logistics management systems is presented. To reduce fossil fuel consumption and carbon dioxide emissions resulting from transport, we must enhance the transport efficiency of trucks, which play an essential role as carriers in modern logistics services. This paper addresses the milk-run approach. It is one of the most effective and popular solutions to this problem, but it makes it be complicated to implement in a logistics management system. We propose a language for specifying the routes of trucks and an order relation between the requirements of routes and the possible routes of trucks. The former is formulated as process calculus and the latter selects suitable trucks according to their routes.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1093/ietfec/e91-a.11.3261/_p
부
@ARTICLE{e91-a_11_3261,
author={Ichiro SATOH, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={A Formal Approach for Milk-Run Transport Logistics},
year={2008},
volume={E91-A},
number={11},
pages={3261-3268},
abstract={A formal approach for specifying and reasoning about earth-friendly logistics management systems is presented. To reduce fossil fuel consumption and carbon dioxide emissions resulting from transport, we must enhance the transport efficiency of trucks, which play an essential role as carriers in modern logistics services. This paper addresses the milk-run approach. It is one of the most effective and popular solutions to this problem, but it makes it be complicated to implement in a logistics management system. We propose a language for specifying the routes of trucks and an order relation between the requirements of routes and the possible routes of trucks. The former is formulated as process calculus and the latter selects suitable trucks according to their routes.},
keywords={},
doi={10.1093/ietfec/e91-a.11.3261},
ISSN={1745-1337},
month={November},}
부
TY - JOUR
TI - A Formal Approach for Milk-Run Transport Logistics
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 3261
EP - 3268
AU - Ichiro SATOH
PY - 2008
DO - 10.1093/ietfec/e91-a.11.3261
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E91-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 2008
AB - A formal approach for specifying and reasoning about earth-friendly logistics management systems is presented. To reduce fossil fuel consumption and carbon dioxide emissions resulting from transport, we must enhance the transport efficiency of trucks, which play an essential role as carriers in modern logistics services. This paper addresses the milk-run approach. It is one of the most effective and popular solutions to this problem, but it makes it be complicated to implement in a logistics management system. We propose a language for specifying the routes of trucks and an order relation between the requirements of routes and the possible routes of trucks. The former is formulated as process calculus and the latter selects suitable trucks according to their routes.
ER -