Task scheduling for optimal power management and quality-of-service assurance in nanosatellites

Detalhes bibliográficos
Autor(a) principal: Rigo, Cezar Antônio
Data de Publicação: 2022
Tipo de documento: Tese
Idioma: eng
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/241098
Resumo: Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2022.
id UFSC_620b39dead6ed03e89d27310702af1d5
oai_identifier_str oai:repositorio.ufsc.br:123456789/241098
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Task scheduling for optimal power management and quality-of-service assurance in nanosatellitesEngenharia elétricaNanossatélitesProgramação linearTese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2022.O escalonamento de tarefas é uma abordagem eficaz para aumentar a extração de valor de uma missão espacial, podendo proporcionar uma melhor gestão de recursos e garantias de qualidade de serviço. Apesar de estar sujeito a muitas restrições, o escalonamento de tarefas em um satélite é, em última análise, restringido pela quantidade de energia disponível a qualquer momento. Nesta tese, é desenvolvido um framework para escalonamento de tarefas em nanossatélites focado no gerenciamento ótimo da energia disponível, enquanto garantindo qualidade de serviço. Uma formulação matemática de programação inteira (IP), projetada para maximizar o número de tarefas a serem executadas por um satélite, restrita à quantidade de potência disponível, momento a momento, ao longo de uma órbita é apresentada. O modelo de otimização é formulado para contemplar a prioridade da tarefa, número mínimo e máximo de ativação, tempo mínimo e máximo de execução, período mínimo e máximo e janela de execução. A decomposição de Dantzig-Wolfe é usada para explorar a estrutura especial da formulação mista inteira (MILP), decompondo-a por tarefas, o que resulta em uma nova formulação baseada em colunas para o problema. Para resolver a formulação resultante, é proposto um algoritmo branch-and-price (B&P) adequado para o escalonamento de um grande número de tarefas em um horizonte de tempo expandido. O vetor variante de energia de entrada foi calculado com base na eficiência das células solares e em um modelo analítico usado para estimar o campo de irradiância segundo parâmetros de órbita e atitude. Para demonstrar a aplicabilidade da metodologia, vários experimentos foram conduzidos considerando quatro tamanhos de satélites com diferentes órbitas e parâmetros de tarefa. Os resultados mostram que a estratégia de escalonamento offline proposta gera um plano de escalonamento eficiente e ótimo, permitindo o melhor uso possível dos recursos energéticos disponíveis e garantindo a qualidade de serviço. Além disso, a metodologia de solução B\&P se mostrou 88% mais eficiente computacionalmente para chegar a escalonamentos ótimos contraposto ao MILP.Abstract: Task scheduling is an effective approach to increase the value of a satellite mission, which leads to improved resource management and quality of service. Despite subject to many constraints, satellite task scheduling is ultimately restricted by the amount of power available at any given moment. In this thesis, a nanosatellite task scheduling framework for optimal power management and quality-of-service assurance is developed. A mixed-integer linear programming (MILP) formulation is proposed, designed to maximize the number of tasks to be executed by a satellite, constrained to the amount of power available at any moment along the course of an orbit is presented. The optimization model is formulated to contemplate task priority, minimum and maximum number of task activation, minimum and maximum execution time, minimum and maximum period of a given task and execution window. The Dantzig-Wolfe decomposition is used to explore the special structure of the (MILP) formulation, decomposing it by tasks, which results in a novel profile-based formulation for the problem. To solve the resulting formulation, a branch-and-price (B&P) algorithm is developed, that is suitable for the scheduling of a large number of tasks over an expanded time horizon. The variant power input vector was calculated based on the solar cells efficiency and on an analytical model used to estimate the irradiance field according to parameters of orbit and attitude. To demonstrate the applicability of the methodology several experiments were conducted considering four satellite sizes with different orbits and task parameters. The results show that the proposed offline scheduling algorithm generates an optimal energy effective scheduling plan, allowing the best possible use of available energy resources while ensuring the quality of service (QoS). Furthermore, the B\&P methodology proved to be 88% more computationally efficient to reach optimal schedules as opposed to the MILP.Bezerra, Eduardo AugustoSeman, Laio OrielUniversidade Federal de Santa CatarinaRigo, Cezar Antônio2022-10-21T17:05:00Z2022-10-21T17:05:00Z2022info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesis103 p.| il., gráfs.application/pdf378510https://repositorio.ufsc.br/handle/123456789/241098engreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2022-10-21T17:05:01Zoai:repositorio.ufsc.br:123456789/241098Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732022-10-21T17:05:01Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Task scheduling for optimal power management and quality-of-service assurance in nanosatellites
title Task scheduling for optimal power management and quality-of-service assurance in nanosatellites
spellingShingle Task scheduling for optimal power management and quality-of-service assurance in nanosatellites
Rigo, Cezar Antônio
Engenharia elétrica
Nanossatélites
Programação linear
title_short Task scheduling for optimal power management and quality-of-service assurance in nanosatellites
title_full Task scheduling for optimal power management and quality-of-service assurance in nanosatellites
title_fullStr Task scheduling for optimal power management and quality-of-service assurance in nanosatellites
title_full_unstemmed Task scheduling for optimal power management and quality-of-service assurance in nanosatellites
title_sort Task scheduling for optimal power management and quality-of-service assurance in nanosatellites
author Rigo, Cezar Antônio
author_facet Rigo, Cezar Antônio
author_role author
dc.contributor.none.fl_str_mv Bezerra, Eduardo Augusto
Seman, Laio Oriel
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Rigo, Cezar Antônio
dc.subject.por.fl_str_mv Engenharia elétrica
Nanossatélites
Programação linear
topic Engenharia elétrica
Nanossatélites
Programação linear
description Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2022.
publishDate 2022
dc.date.none.fl_str_mv 2022-10-21T17:05:00Z
2022-10-21T17:05:00Z
2022
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 378510
https://repositorio.ufsc.br/handle/123456789/241098
identifier_str_mv 378510
url https://repositorio.ufsc.br/handle/123456789/241098
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 103 p.| il., gráfs.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652406299295744

Registros relacionados