Mixed-Integer Programming Approaches for Hydropower Generator Maintenance Scheduling
Notice bibliographique
Résumé
Dans les systèmes de production d'électricité, la maintenance régulière des unités de production est essentielle pour éviter des pannes imprévues et coûteuses, pour maintenir l'efficacité du système et pour prolonger la durée de vie de l'équipement.Cependant, l'arrêt des générateurs pour maintenance préventive réduit temporairement la capacité, l'efficacité et la fiabilité du système.Etant donnée une liste des activités de maintenance à réaliser dans un horizon de planification, le problème de planification de maintenance des générateurs (GMSP, pour Generator Maintenance Scheduling Problem) consiste à déterminer un calendrier d'arrêts pour maintenance qui maximise une métrique de performance du système.Le calendrier optimal qui en résulte doit répondre aux exigences opérationnelles de la production d'électricité ainsi qu'aux contraintes de maintenance, telles que les fenêtres de temps des activités de maintenance.Dans les systèmes hydroélectriques, l'ordonnancement de la maintenance des unités de production comporte des défis uniques en raison de la non-linéarité de la production d'hydroélectricité, de l'incertitude des débits d'eau et de l'interdépendance des décisions opérationnelles dans l'espace et le temps.Le GMSP est particulièrement pertinent pour les producteurs d'hydroélectricité parce que l'avancement ou le report des activités de maintenance peut générer des économies significatives en réduisant les déversements d'eau et en améliorant l'efficacité de la production d'hydroélectricité.Nous développons un programme linéaire mixte en nombres entiers (MILP, pour Mixed-Integer Linear Program) pour le GSMP dans les systèmes hydroélectriques, avec hyperplans pour approximer l'effet non-linéaire des rejets d'eau, les niveaux d'eau stockés et le nombre de générateurs actifs sur la production d'hydroélectricité.Nous affinons notre formulation en utilisant des inégalités valides, la désagrégation de variables et de contraintes, et une technique de réduction de modèle basée sur des informations de fenêtres temporelles.Nos tests numériques montrent que la meilleure combinaison de ces techniques peut réduire jusqu'à dix fois le temps de calcul pour obtenir une solution.Pour incorporer l'effet des afflux d'eau incertains, nous étendons notre modèle en un programme linéaire stochastique en deux étapes, et nous implémentons une méthode de décomposition de Benders parallélisée pour sa solution.Nous proposons sept techniques d'accélération, et lors de nos expériences numériques, nous observons qu'une combinaison de cinq de ces techniques permet d'obtenir les meilleures performances, avec une accélération de l'algorithme de Benders quadruplée par rapport à la méthode Benders de base.Nos tests sur une vi grille de calcul avec 200 cœurs pour résoudre le problème avec un grand nombre de scénarios, confirment la supériorité de la méthode Benders parallélisée par rapport à la solution directe avec un solveur général pour MILP.Enfin, nous proposons des extensions de notre formulation, en incluant d'autres contraintes de maintenance pertinentes, des décisions sur la durée des activités et des réserves de production pour anticiper l'incertitude de la charge d'électricité.En outre, nous présentons d'autres stratégies de décomposition pour les GMSP dans les systèmes hydroélectriques et nous discutons des perspectives de recherche, telles que des améliorations à la méthode de décomposition et les applications de notre formulation MILP à des problèmes d'ordonnancement similaires.vii
Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.
Comment cette classification a été obtenuedéplier
Prédiction machine sur la base complète
Imitation des enseignantsNi prévalence calibrée, ni vérité terrain. Validation humaine à venir. Le volet Gemma est une étiquette directe du modèle pour chaque travail de la base, lue sur la notice réduite au titre. Le volet Codex est un classifieur appris des 10 348 étiquettes directes de Codex et calibré sur les taux pondérés de l'échantillon; les champs sans appui suffisant ne portent aucun appel Codex. Le mode candidate est l'union des deux volets; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont pas des étiquettes humaines.
Scores du classifieur distillé par catégorie (deux têtes)
| Catégorie | Codex | Gemma |
|---|---|---|
| Métarecherche | 0,002 | 0,004 |
| Méta-épidémiologie (sens strict) | 0,002 | 0,001 |
| Méta-épidémiologie (sens large) | 0,002 | 0,001 |
| Bibliométrie | 0,001 | 0,001 |
| Études des sciences et des technologies | 0,001 | 0,001 |
| Communication savante | 0,003 | 0,002 |
| Science ouverte | 0,002 | 0,001 |
| Intégrité de la recherche | 0,002 | 0,003 |
| Charge utile insuffisante (le modèle a refusé de juger) | 0,010 | 0,001 |
Scores machine (provisoires)
Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.
Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.
score_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découleClassification
machine, non validéePrédiction automatique; un appel candidat d’une seule source (Gemma direct ou Codex distillé), pas un consensus.
Le détail, modèle par modèle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».