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

Detalhes bibliográficos
Ano de defesa: 2022
Autor(a) principal: Rigo, Cezar Antônio
Orientador(a): Bezerra, Eduardo Augusto
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Link de acesso: 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
spelling Universidade Federal de Santa CatarinaRigo, Cezar AntônioBezerra, Eduardo AugustoSeman, Laio Oriel2022-10-21T17:05:00Z2022-10-21T17:05:00Z2022378510https://repositorio.ufsc.br/handle/123456789/241098Tese (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.103 p.| il., gráfs.engEngenharia elétricaNanossatélitesProgramação linearTask scheduling for optimal power management and quality-of-service assurance in nanosatellitesinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINALPEEL2082-T.pdfPEEL2082-T.pdfapplication/pdf7856230https://repositorio.ufsc.br/bitstream/123456789/241098/-1/PEEL2082-T.pdf6939532a40c892bf25f885b16180991eMD5-1123456789/2410982022-10-21 14:05:01.005oai:repositorio.ufsc.br:123456789/241098Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar: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 Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Rigo, Cezar Antônio
dc.contributor.advisor1.fl_str_mv Bezerra, Eduardo Augusto
dc.contributor.advisor-co1.fl_str_mv Seman, Laio Oriel
contributor_str_mv Bezerra, Eduardo Augusto
Seman, Laio Oriel
dc.subject.classification.none.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.accessioned.fl_str_mv 2022-10-21T17:05:00Z
dc.date.available.fl_str_mv 2022-10-21T17:05:00Z
dc.date.issued.fl_str_mv 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 https://repositorio.ufsc.br/handle/123456789/241098
dc.identifier.other.none.fl_str_mv 378510
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.
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
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/241098/-1/PEEL2082-T.pdf
bitstream.checksum.fl_str_mv 6939532a40c892bf25f885b16180991e
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv sandra.sobrera@ufsc.br
_version_ 1851759308363005952

Registros relacionados