The Optimisation of Stochastic Grammars to Enable Cost-Effective Probabilistic Structural Testing

The effectiveness of probabilistic structural testing depends on the characteristics of the probability distribution from which test inputs are sampled at random. Metaheuristic search has been shown to be a practical method of optimis- ing the characteristics of such distributions. However, the applicability of the existing search-based algorithm is lim- ited by the requirement that the software’s inputs must be a fixed number of numeric values. In this paper we relax this limitation by means of a new representation for the probability distribution. The repre- sentation is based on stochastic context-free grammars but incorporates two novel extensions: conditional production weights and the aggregation of terminal symbols represent- ing numeric values. We demonstrate that an algorithm which combines the new representation with hill-climbing search is able to effi- ciently derive probability distributions suitable for testing software with structurally-complex input domains

Sustainable supply chain management in the digitalisation era: The impact of Automated Guided Vehicles

Internationalization of markets and climate change introduce multifaceted challenges for modern supply chain (SC) management in the today's digitalisation era. On the other hand, Automated Guided Vehicle (AGV) systems have reached an age of maturity that allows for their utilization towards tackling dynamic market conditions and aligning SC management focus with sustainability considerations. However, extant research only myopically tackles the sustainability potential of AGVs, focusing more on addressing network optimization problems and less on developing integrated and systematic methodological approaches for promoting economic, environmental and social sustainability. To that end, the present study provides a critical taxonomy of key decisions for facilitating the adoption of AGV systems into SC design and planning, as these are mapped on the relevant strategic, tactical and operational levels of the natural hierarchy. We then propose the Sustainable Supply Chain Cube (S2C2), a conceptual tool that integrates sustainable SC management with the proposed hierarchical decision-making framework for AGVs. Market opportunities and the potential of integrating AGVs into a SC context with the use of the S2C2 tool are further discussed

Sequence-Based Simulation-Optimization Framework With Application to Port Operations at Multimodal Container Terminals

It is evident in previous works that operations research and mathematical algorithms can provide optimal or near-optimal solutions, whereas simulation models can aid in predicting and studying the behavior of systems over time and monitor performance under stochastic and uncertain circumstances. Given the intensive computational effort that simulation optimization methods impose, especially for large and complex systems like container terminals, a favorable approach is to reduce the search space to decrease the amount of computation. A maritime port can consist of multiple terminals with specific functionalities and specialized equipment. A container terminal is one of several facilities in a port that involves numerous resources and entities. It is also where containers are stored and transported, making the container terminal a complex system. Problems such as berth allocation, quay and yard crane scheduling and assignment, storage yard layout configuration, container re-handling, customs and security, and risk analysis become particularly challenging. Discrete-event simulation (DES) models are typically developed for complex and stochastic systems such as container terminals to study their behavior under different scenarios and circumstances. Simulation-optimization methods have emerged as an approach to find optimal values for input variables that maximize certain output metric(s) of the simulation. Various traditional and nontraditional approaches of simulation-optimization continue to be used to aid in decision making. In this dissertation, a novel framework for simulation-optimization is developed, implemented, and validated to study the influence of using a sequence (ordering) of decision variables (resource levels) for simulation-based optimization in resource allocation problems. This approach aims to reduce the computational effort of optimizing large simulations by breaking the simulation-optimization problem into stages. Since container terminals are complex stochastic systems consisting of different areas with detailed and critical functions that may affect the output, a platform that accurately simulates such a system can be of significant analytical benefit. To implement and validate the developed framework, a large-scale complex container terminal discrete-event simulation model was developed and validated based on a real system and then used as a testing platform for various hypothesized algorithms studied in this work

Modelling of integrated vehicle scheduling and container storage problems in unloading process at an automated container terminal

Effectively scheduling vehicles and allocating storage locations for containers are two important problems in container terminal operations. Early research efforts, however, are devoted to study them separately. This paper investigates the integration of the two problems focusing on the unloading process in an automated container terminal, where all or part of the equipment are built in automation. We formulate the integrated problem as a mixed-integer programming (MIP) model to minimise ship’s berth time. We determine the detailed schedules for all vehicles to be used during the unloading process and the storage location to be assigned for all containers. A series of experiments are carried out for small-sized problems by using commercial software. A genetic algorithm (GA) is designed for solving large-sized problems. The solutions from the GA for the small-sized problems are compared with the optimal solutions obtained from the commercial software to verify the effectiveness of the GA. The computational results show that the model and solution methods proposed in this paper are efficient in solving the integrated unloading problem for the automated container terminal

Control of free-ranging automated guided vehicles in container terminals

Container terminal automation has come to the fore during the last 20 years to improve their efficiency. Whereas a high level of automation has already been achieved in vertical handling operations (stacking cranes), horizontal container transport still has disincentives to the adoption of automated guided vehicles (AGVs) due to a high degree of operational complexity of vehicles. This feature has led to the employment of simple AGV control techniques while hindering the vehicles to utilise their maximum operational capability. In AGV dispatching, vehicles cannot amend ongoing delivery assignments although they have yet to receive the corresponding containers. Therefore, better AGV allocation plans would be discarded that can only be achieved by task reassignment. Also, because of the adoption of predetermined guide paths, AGVs are forced to deploy a highly limited range of their movement abilities while increasing required travel distances for handling container delivery jobs. To handle the two main issues, an AGV dispatching model and a fleet trajectory planning algorithm are proposed. The dispatcher achieves job assignment flexibility by allowing AGVs towards to container origins to abandon their current duty and receive new tasks. The trajectory planner advances Dubins curves to suggest diverse optional paths per origin-destination pair. It also amends vehicular acceleration rates for resolving conflicts between AGVs. In both of the models, the framework of simulated annealing was applied to resolve inherent time complexity. To test and evaluate the sophisticated AGV control models for vehicle dispatching and fleet trajectory planning, a bespoke simulation model is also proposed. A series of simulation tests were performed based on a real container terminal with several performance indicators, and it is identified that the presented dispatcher outperforms conventional vehicle dispatching heuristics in AGV arrival delay time and setup travel time, and the fleet trajectory planner can suggest shorter paths than the corresponding Manhattan distances, especially with fewer AGVs.Open Acces

Simulation model to determine ratios between quay, yard and intra-terminal transfer equipment in an integrated container handling system

This paper presents a generic simulation model to determine the equipment mix (quay, yard and intra-terminal transfer) for a Container Terminal Logistics Operations System (CTLOS). The simulation model for the CTLOS, a typical type of discrete event dynamic system (DEDS), consists of three sub-models: ship queue, loading-unloading operations and yard-gate operations. The simulation model is empirically applied to phase 1 of the Yangshan Deep Water Port in Shanghai. This study considers different scenarios in terms of container throughput levels, equipment utilization rates, and operational bottle-necks, and presents a sensitivity analysis to evaluate and choose reasonable equipment ratio ranges under different operational conditions