This paper presents an approach to model-based diagnosis that rst compiles a rst-order system description to a propositional representation, and then solves the diagnostic problem as a linear programming instance. Relevance reasoning is employed to isolate parts of the system that are related to certain observation types and to economically instantiate the theory, while methods from operations ...

W consider the problem of optimizing over time hundreds or thousands of discrete entities that may be characterized by relatively complex attributes, in the presence of different forms of uncertainty. Such problems arise in a range of operational settings such as transportation and logistics, where the entities may be aircraft, locomotives, containers, or people. These problems can be formulate...

In regions with an extensive waterway network intermodal transport including inland navigation is a good alternative for unimodal road transport. Intermodal transport networks exhibit an increased complexity due to the inclusion of multiple transport modes, multiple decision makers and multiple types of load units. A discrete event simulation methodology is proposed to understand the network dy...

Managing empty-container movements is one of the most challenging logistics problems in shipping field. With growth global trade imbalance, repositioning process has become necessary, immediately after emptying a container. The main contribution this research paper to enrich frequently used methods, models, and applications literature, for relaxing empty-container-repositioning problem. article...

Quick and qualitative services are not new issues anymore in Logistics but those are still important problems along with cost-cutting. Related to the issues, though advanced information technologies are introduced unceasingly from laboratories, yet there is long way to go for smooth and seamless information flows on physical distribution processes in the industrial field. For the reason, the st...

The vehicle routing and facility location fields are well-developed areas in management science and operations research application. There is an increasing recognition that effective decision-making in these fields requires the adoption of optimization software that can be embedded into a decision support system. In this paper, we describe the implementation details of our software components f...

Warwick Business School, The University of Warwick, Coventry, CV4 7AL, United Kingdom, [email protected] Department of Economics and Business, University of Catania, Corso Italia 55, 95129 Catania, Italy, {salvatore.corrente, salgreco}@unict.it University of Portsmouth, Portsmouth Business School, Centre of Operations Research and Logistics (CORL), Portsmouth PO1 3DE, United Kingdom Inst...

Operations research systems are employed to optimize the performance of logistics, transport and supply chain management through solutions based on mathematical models. The scope of these models is constrained not only by the analysts’ knowledge of the system, but also by the computational efficiency of the solution. This restriction can lead to a gap between mathematical models used for solvin...

The determination of the optimal carrying capacity procurement of rail and shipping services in the automobile intermodal network with unique characteristics is essential to save automobile delivery cost. In this research we develop a two-stage stochastic programming model for the tactical-level decision problem arising in the special automobile intermodal network. Furthermore, we improve the s...

• Signs are emerging that the PLA is becoming more confident about its position vis-à-vis Taiwan. At the same time, China believes that a changing international environment requires the Chinese armed forces to have more diversified capabilities. It is therefore placing relatively more emphasis on developing operational capabilities for missions other than against Taiwan (e.g., humanitarian assi...