The aircraft conflict detection and resolution problem in air traffic management consists of deciding the best strategy for an arbitrary aircraft configuration such that all conflicts in the airspace are avoided. A conflict situation occurs if two or more aircraft do not maintain the minimum safety distance during their flight plans. A two-step approach is presented. The first step consists of a nonconvex mixed integer nonlinear optimization (MINLO) model based on geometric constructions. The objective is to minimize the weighted aircraft angle variations to obtain the new flight configuration. The second step consists of a set of unconstrained quadratic optimization models where aircraft are forced to return to their original flight plan as soon as possible once there is no aircraft in conflict with any other. The main results of extensive computation are reported by comparing the performance of state-of-the-art nonconvex MINLO solvers and an approximation by discretizing the possible angles of motion for solving a sequence of integer linear optimization (SILO) models in an iterative way. Minotaur, one of the nonconvex MINLO solvers experimented with, gives better solutions but requires more computation time than the SILO approach, which requires only a short time to obtain a good, feasible solution. Its value in the objective function has a reasonable goodness gap compared with the Minotaur solution. Given the need to solve the problem in almost real time, the approximate SILO approach is favored because of its short computation time and solution quality for the testbeds used in the experiment, which include both small- and real-sized instances. However, Minotaur is useful in this particular case for simulation purposes and for calibrating the SILO approach.
Emergency management is a highly relevant area of interest in operations research. Currently the area is undergoing widespread development. Furthermore, recent disasters have highlighted the importance of disaster management, in order to alleviate the suffering of vulnerable people and save lives. In this context, the problem of designing plans for the distribution of humanitarian aid according to the preferences of the decision maker is crucial. In this paper, a lexicographical dynamic flow model to solve this problem is presented, extending a previously introduced static flow model. The new model is validated in a realistic case study and a computational study is performed to compare both models, showing how they can be coordinated to improve their overall performance.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.