Redes de Petri aplicadas na análise de algoritmo para autoteste de torre de integração de veículos espaciais

Detalhes bibliográficos
Ano de defesa: 2009
Autor(a) principal: Rodrigo Petterle
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Instituto Tecnológico de Aeronáutica
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
Palavras-chave em Português:
Plataformas de lançamento
Equipamentos de apoio no solo
Redes de Petri
Simulação computadorizada
VLS (Brasil)
Auto-testes
Engenharia aeroespacial
Link de acesso: http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2298
Resumo: O Veículo Lançador de Satélites, desenvolvido atualmente no Brasil, necessita que suas partes sejam integradas em uma unidade especializada do centro de lançamento que é denominada Torre Móvel de Integração. Na estrutura dessa torre são instalados os seguintes equipamentos: ponte rolante, elevador, plataformas de trabalho (fixas e móveis), portas, truques para movimentação e outros equipamentos que auxiliam especialmente a execução das tarefas de integração, testes e lançamento desse veículo. O atendimento dos procedimentos previstos nessas tarefas expõe seus realizadores aos riscos inerentes do setor espacial, configurando uma situação na qual é estratégico para o aumento da segurança que cada um dos mencionados equipamentos seja submetido a um conjunto de testes operacionais, antes da sua efetiva utilização pelo sistema de controle principal da referida torre. Nesse contexto, este trabalho apresenta o modelo elaborado para representar uma proposta de algoritmo destinado ao autoteste dos sensores e atuadores utilizados pelos principais equipamentos previstos na torre de integração do aludido veículo, por meio das Redes de Petri. São realizadas simulações computacionais nesse modelo, com a meta de avaliar as propriedades de desempenho da Rede de Petri que estão relacionadas principalmente com a conservação, a vivacidade e os conflitos do tipo confusão e mortal. Os resultados positivos obtidos nessas simulações indicam que o algoritmo proposto será capaz de detectar não-conformidades durante a execução do autoteste nos equipamentos previstos na mencionada torre.
id ITA_ea3a5e66bd5239157292422a020aea04
oai_identifier_str oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:2298
network_acronym_str ITA
network_name_str Biblioteca Digital de Teses e Dissertações do ITA
spelling Redes de Petri aplicadas na análise de algoritmo para autoteste de torre de integração de veículos espaciaisPlataformas de lançamentoEquipamentos de apoio no soloRedes de PetriSimulação computadorizadaVLS (Brasil)Auto-testesEngenharia aeroespacialO Veículo Lançador de Satélites, desenvolvido atualmente no Brasil, necessita que suas partes sejam integradas em uma unidade especializada do centro de lançamento que é denominada Torre Móvel de Integração. Na estrutura dessa torre são instalados os seguintes equipamentos: ponte rolante, elevador, plataformas de trabalho (fixas e móveis), portas, truques para movimentação e outros equipamentos que auxiliam especialmente a execução das tarefas de integração, testes e lançamento desse veículo. O atendimento dos procedimentos previstos nessas tarefas expõe seus realizadores aos riscos inerentes do setor espacial, configurando uma situação na qual é estratégico para o aumento da segurança que cada um dos mencionados equipamentos seja submetido a um conjunto de testes operacionais, antes da sua efetiva utilização pelo sistema de controle principal da referida torre. Nesse contexto, este trabalho apresenta o modelo elaborado para representar uma proposta de algoritmo destinado ao autoteste dos sensores e atuadores utilizados pelos principais equipamentos previstos na torre de integração do aludido veículo, por meio das Redes de Petri. São realizadas simulações computacionais nesse modelo, com a meta de avaliar as propriedades de desempenho da Rede de Petri que estão relacionadas principalmente com a conservação, a vivacidade e os conflitos do tipo confusão e mortal. Os resultados positivos obtidos nessas simulações indicam que o algoritmo proposto será capaz de detectar não-conformidades durante a execução do autoteste nos equipamentos previstos na mencionada torre.Instituto Tecnológico de AeronáuticaAlfredo Rocha de FariaFrancisco Carlos Parquet BizarriaRodrigo Petterle2009-10-14info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2298reponame:Biblioteca Digital de Teses e Dissertações do ITAinstname:Instituto Tecnológico de Aeronáuticainstacron:ITAporinfo:eu-repo/semantics/openAccessapplication/pdf2019-02-02T14:04:44Zoai:agregador.ibict.br.BDTD_ITA:oai:ita.br:2298http://oai.bdtd.ibict.br/requestopendoar:null2020-05-28 19:38:44.205Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáuticatrue
dc.title.none.fl_str_mv Redes de Petri aplicadas na análise de algoritmo para autoteste de torre de integração de veículos espaciais
title Redes de Petri aplicadas na análise de algoritmo para autoteste de torre de integração de veículos espaciais
spellingShingle Redes de Petri aplicadas na análise de algoritmo para autoteste de torre de integração de veículos espaciais
Rodrigo Petterle
Plataformas de lançamento
Equipamentos de apoio no solo
Redes de Petri
Simulação computadorizada
VLS (Brasil)
Auto-testes
Engenharia aeroespacial
title_short Redes de Petri aplicadas na análise de algoritmo para autoteste de torre de integração de veículos espaciais
title_full Redes de Petri aplicadas na análise de algoritmo para autoteste de torre de integração de veículos espaciais
title_fullStr Redes de Petri aplicadas na análise de algoritmo para autoteste de torre de integração de veículos espaciais
title_full_unstemmed Redes de Petri aplicadas na análise de algoritmo para autoteste de torre de integração de veículos espaciais
title_sort Redes de Petri aplicadas na análise de algoritmo para autoteste de torre de integração de veículos espaciais
author Rodrigo Petterle
author_facet Rodrigo Petterle
author_role author
dc.contributor.none.fl_str_mv Alfredo Rocha de Faria
Francisco Carlos Parquet Bizarria
dc.contributor.author.fl_str_mv Rodrigo Petterle
dc.subject.por.fl_str_mv Plataformas de lançamento
Equipamentos de apoio no solo
Redes de Petri
Simulação computadorizada
VLS (Brasil)
Auto-testes
Engenharia aeroespacial
topic Plataformas de lançamento
Equipamentos de apoio no solo
Redes de Petri
Simulação computadorizada
VLS (Brasil)
Auto-testes
Engenharia aeroespacial
dc.description.none.fl_txt_mv O Veículo Lançador de Satélites, desenvolvido atualmente no Brasil, necessita que suas partes sejam integradas em uma unidade especializada do centro de lançamento que é denominada Torre Móvel de Integração. Na estrutura dessa torre são instalados os seguintes equipamentos: ponte rolante, elevador, plataformas de trabalho (fixas e móveis), portas, truques para movimentação e outros equipamentos que auxiliam especialmente a execução das tarefas de integração, testes e lançamento desse veículo. O atendimento dos procedimentos previstos nessas tarefas expõe seus realizadores aos riscos inerentes do setor espacial, configurando uma situação na qual é estratégico para o aumento da segurança que cada um dos mencionados equipamentos seja submetido a um conjunto de testes operacionais, antes da sua efetiva utilização pelo sistema de controle principal da referida torre. Nesse contexto, este trabalho apresenta o modelo elaborado para representar uma proposta de algoritmo destinado ao autoteste dos sensores e atuadores utilizados pelos principais equipamentos previstos na torre de integração do aludido veículo, por meio das Redes de Petri. São realizadas simulações computacionais nesse modelo, com a meta de avaliar as propriedades de desempenho da Rede de Petri que estão relacionadas principalmente com a conservação, a vivacidade e os conflitos do tipo confusão e mortal. Os resultados positivos obtidos nessas simulações indicam que o algoritmo proposto será capaz de detectar não-conformidades durante a execução do autoteste nos equipamentos previstos na mencionada torre.
description O Veículo Lançador de Satélites, desenvolvido atualmente no Brasil, necessita que suas partes sejam integradas em uma unidade especializada do centro de lançamento que é denominada Torre Móvel de Integração. Na estrutura dessa torre são instalados os seguintes equipamentos: ponte rolante, elevador, plataformas de trabalho (fixas e móveis), portas, truques para movimentação e outros equipamentos que auxiliam especialmente a execução das tarefas de integração, testes e lançamento desse veículo. O atendimento dos procedimentos previstos nessas tarefas expõe seus realizadores aos riscos inerentes do setor espacial, configurando uma situação na qual é estratégico para o aumento da segurança que cada um dos mencionados equipamentos seja submetido a um conjunto de testes operacionais, antes da sua efetiva utilização pelo sistema de controle principal da referida torre. Nesse contexto, este trabalho apresenta o modelo elaborado para representar uma proposta de algoritmo destinado ao autoteste dos sensores e atuadores utilizados pelos principais equipamentos previstos na torre de integração do aludido veículo, por meio das Redes de Petri. São realizadas simulações computacionais nesse modelo, com a meta de avaliar as propriedades de desempenho da Rede de Petri que estão relacionadas principalmente com a conservação, a vivacidade e os conflitos do tipo confusão e mortal. Os resultados positivos obtidos nessas simulações indicam que o algoritmo proposto será capaz de detectar não-conformidades durante a execução do autoteste nos equipamentos previstos na mencionada torre.
publishDate 2009
dc.date.none.fl_str_mv 2009-10-14
dc.type.driver.fl_str_mv info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/masterThesis
status_str publishedVersion
format masterThesis
dc.identifier.uri.fl_str_mv http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2298
url http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2298
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Instituto Tecnológico de Aeronáutica
publisher.none.fl_str_mv Instituto Tecnológico de Aeronáutica
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações do ITA
instname:Instituto Tecnológico de Aeronáutica
instacron:ITA
reponame_str Biblioteca Digital de Teses e Dissertações do ITA
collection Biblioteca Digital de Teses e Dissertações do ITA
instname_str Instituto Tecnológico de Aeronáutica
instacron_str ITA
institution ITA
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáutica
repository.mail.fl_str_mv
subject_por_txtF_mv Plataformas de lançamento
Equipamentos de apoio no solo
Redes de Petri
Simulação computadorizada
VLS (Brasil)
Auto-testes
Engenharia aeroespacial
_version_ 1706804998796476416

Registros relacionados