A “Logic-Constrained” Knapsack Formulation and a Tabu Algorithm for the Daily Photograph Scheduling of an Earth Observation Satellite - Archive ouverte HAL
Article Dans Une Revue Computational Optimization and Applications Année : 2001

A “Logic-Constrained” Knapsack Formulation and a Tabu Algorithm for the Daily Photograph Scheduling of an Earth Observation Satellite

Résumé

The daily photograph scheduling problem of earth observation satellites such as Spot 5 consists of scheduling a subset of mono or stereo photographs from a given set of candidates to different cameras. The scheduling must maximize a profit function while satisfying a large number of constraints. In this paper, we first present a formulation of the problem as a generalized version of the well-known knapsack model, which includes large numbers of binary and ternary ldquologicalrdquo constraints. We then develop a tabu search algorithm which integrates some important features including an efficient neighborhood, a dynamic tabu tenure mechanism, techniques for constraint handling, intensification and diversification. Extensive experiments on a set of large and realistic benchmark instances show the effectiveness of this approach.
Fichier principal
Vignette du fichier
a-logic-constrained-knapsack.pdf (2.96 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00359386 , version 1 (24-10-2023)

Identifiants

Citer

Michel Vasquez, Jin-Kao Hao. A “Logic-Constrained” Knapsack Formulation and a Tabu Algorithm for the Daily Photograph Scheduling of an Earth Observation Satellite. Computational Optimization and Applications, 2001, 20 (2), pp.137-157. ⟨10.1023/A:1011203002719⟩. ⟨hal-00359386⟩
81 Consultations
48 Téléchargements

Altmetric

Partager

More