• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 304
  • 41
  • 28
  • 1
  • Tagged with
  • 375
  • 177
  • 109
  • 95
  • 82
  • 74
  • 73
  • 63
  • 47
  • 46
  • 43
  • 41
  • 40
  • 39
  • 39
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
241

Modelo para o desenvolvimento conceitual de produtos de tecnologia assistiva para o setor de transporte aéreo. / Model for the conceptual development of assistive technology products for the air transportation sector.

Alexandre Machado Rocha 27 June 2017 (has links)
A demanda por soluções de acessibilidade e de tecnologia assistiva (TA) é crescente frente ao envelhecimento e ao crescimento da população mundial previstos para as próximas décadas. Especificamente no setor de transporte aéreo, acessibilidade e soluções de tecnologia assistiva são questões críticas e, muitas vezes, complexas de serem adotadas devido a fatores como, por exemplo, os espaços restritos das aeronaves, normas rígidas dos órgãos de aviação, questões de segurança de voo e segurança nos aeroportos, e envolvimento de diversos stakeholders. Ao mesmo tempo, no campo de gestão de desenvolvimento de produtos, há poucas pesquisas em relação ao processo de desenvolvimento de soluções de tecnologia assistiva e não foi encontrado nenhum modelo específico durante a revisão de literatura. Nesse contexto, o objetivo deste trabalho é propor um modelo de referência para o desenvolvimento conceitual de produtos de tecnologia assistiva para o setor de transporte aéreo. O modelo proposto é focado no desenvolvimento conceitual para gerar conceitos de produtos que possam resultar na seleção de conceitos para o desenvolvimento detalhado. O trabalho analisa dois projetos de desenvolvimento de soluções de tecnologia assistiva para o setor de transporte aéreo e utiliza a metodologia Design Research Methodology (DRM) como base de pesquisa para a criação de um modelo de referência para o desenvolvimento conceitual de produtos de tecnologia assistiva. Ao sistematizar a experiência acumulada na área de DP de TA para o setor de transporte aéreo, este trabalho propõe um modelo para o desenvolvimento conceitual de produtos de tecnologia assistiva para o setor de transporte aéreo, de forma que o processo possa ser replicado em outros projetos e em outros centros de pesquisa. Outro resultado deste trabalho é a criação de um método de análise de requisitos de usuário para auxiliar a equipe de projeto no processo de escolha das personas e soluções a serem desenvolvidas na etapa inicial de projeto. / The demand for accessibility and assistive technology solutions is growing due to both the aging population and the global population growth expected for the next decades. Specifically in the air transportation sector, accessibility and assistive technology solutions are critical issues. These solutions are sometimes of very complex adoption due to several factors like the space restriction inside an aircraft, norms and regulations from governmental and official aviation agencies, flight safety and safety in the airports, as well as the involvement of a number of stakeholders. At the same time, there is few research in the field of product development of assistive technology solutions and no specific model was found during the initial research. In this context, the aim of this research work is to propose a reference model for the conceptual development of assistive technology products for the air transportation sector. The model is focused specifically in the conceptual development stage in order to generate new product concepts that could result in selection of concepts for further detailed development. This research evaluates two projects in which assistive technology solutions where developed for the air transportation sector. It follows the guidelines of the Design Research Methodology (DRM) for the creation of the reference model for the conceptual development of assistive technology products for the air transportation sector. In order to systematize the experience accumulated in the field of product development of assistive technology products for the air transportation sector, a model is proposed in a way that the process can be replicated in future projects and in other research groups. Another result of this research is the development of a method to help the selection of user requirements and solutions to be applied in the early stages of the project.
242

Utilização de veículo aéreo não tripulado (VANT) na identificação de resíduos de construção civil (RCC) dispostos em locais inadequados

Parente, Dênis Cardoso 09 November 2016 (has links)
Existe um número considerável de áreas utilizadas como pontos de descarte de resíduos de construção civil na cidade de Palmas – TO que extrapolam o alcance das ferramentas de controle e fiscalização do município, principalmente em pontos dentro do perímetro urbano. A presente pesquisa tem como objetivo principal verificar a aplicabilidade da utilização de imagens obtidas pelo veículo aéreo não tripulado (VANT), no auxílio da identificação dos resíduos e de pontos de descarte de resíduos de construção civil (RCC) em áreas irregulares da cidade. De posse do instrumento, foram tomadas como unidade amostral áreas de descarte preliminarmente mapeadas por meio de imagens de satélite com resoluções espaciais menos refinadas. Com metodologia que permitisse atestar a potencialidade dos produtos gerados em termos de fotointerpretação, precisões geométricas e geográficas, foram feitos sobrevoos com diferentes sobreposições de imageamento e com a utilização de pontos de controle coletados por meio de GPS de precisão. Os resultados encontrados mostram que as imagens aéreas obtidas e os ortomosaicos gerados podem auxiliar de forma confiável, rápida, segura e com melhores informações na identificação de pontos de lançamento de RCC, atestando que as plataformas VANTs e os sensores passíveis de serem acoplados à elas podem servir adequadamente como tecnologia para sensoriamento remoto, como ênfase no estudo proposto. / There are a considerable number of areas used as waste disposal points for construction in the city of Palmas - TO, which extrapolate the reach of the control and inspection tools of the municipality, especially in points within the urban perimeter. The present research has as main objective to verify the applicability of the use of images obtained by the unmanned aerial vehicle (UAV), in the aid of the identification of the residues and points of disposal of construction waste (RCC) in irregular areas of the city. Once the instrument was in possession, preliminary sampling areas were mapped using satellite images with less refined spatial resolution. With a methodology that allowed to attest to the potential of the products generated in terms of photointerpretation, geometric and geographic precisions, overflight with different overlays of imaging and with the use of control points collected through precision GPS were made. The results obtained show that the aerial images obtained and the generated ortomosaic can help in a reliable, fast, safe and with better information in the identification of points of launch of RCC, attesting that the platforms VANTs and the sensors that can be coupled to them can Adequately serve as a technology for remote sensing, as an emphasis on the proposed study.
243

A base aérea de Santos. Conexões e potencialidades / Santos Air Base: Connetions and Potential

Pedro Nuno Alegria Canton 02 June 2016 (has links)
A necessidade de um instrumento de transporte aéreo mais eficiente e seguro aliado ao Porto de Santos, capaz de promover a expansão e o desenvolvimento equilibrado da capital, do interior, do litoral sul e do norte do estado de São Paulo, através do incremento das conexões com a Região Metropolitana da Baixada Santista, funcionando como receptor e transmissor de energia, fluxos sociais, urbanos e econômicos na esfera macro metropolitana da capital, foi o motivo pelo especial interesse em desenvolver essa pesquisa. Nesse contexto a Base Aérea de Santos apresenta um potencial \"sui generis\" de criação de um complexo intermodal de cargas e de passageiros com a fusão única de ar, água, transportes ferroviário e rodoviário, na América Latina. Partindo de uma análise sistemática do contexto histórico da região, da sua atual conjuntura econômica e do funcionamento da logística de transporte de pessoas e mercadorias desse sistema, são delineadas as potencialidades do objeto de estudo como ponto estratégico para esse fim. / The need for a more efficient and safe air transport instrument connected to Santos Port, able to promote the expansion and balanced development of São Paulo capital, interior, south and north coast of the state by increasing the connections to the Metropolitan Region of Santos, acting as receiver and transmitter of energy, social, urban and economic flows on the macro metropolitan sphere of capital, was the reason of the special interest in developing this research. In this context, the Santos Air Base presents a potential sui generis creation of an intermodal complex of cargo and passenger with a unique fusion of air, water, rail and road transport in Latin America. Based on a systematic analysis of the historical context of the region, its current economic situation and the functioning of people and freight logistics of this system, are outlined the potential of the object of study as a strategic point for this purpose.
244

SIMULAÇÃO DO PROCESSAMENTO DE PASSAGEIROS: CHECK POINT DO TERMINAL AEROPORTUÁRIO DE GOIÂNIA / SIMULATION OF PASSENGER PROCESSING: CHECK POINT OF THE AIRPORT TERMINAL OF GOIÂNIA

Figueiredo, Luiz Antonio 09 March 2017 (has links)
Submitted by admin tede (tede@pucgoias.edu.br) on 2017-06-29T18:12:20Z No. of bitstreams: 1 LUIZ ANTONIO FIGUEIREDO.pdf: 5501025 bytes, checksum: 98fb8b800c62427de5e93d93791120c3 (MD5) / Made available in DSpace on 2017-06-29T18:12:20Z (GMT). No. of bitstreams: 1 LUIZ ANTONIO FIGUEIREDO.pdf: 5501025 bytes, checksum: 98fb8b800c62427de5e93d93791120c3 (MD5) Previous issue date: 2017-03-09 / Due to the growth of the amount of air transport travelers around the world, it is necessary to deploy an efficient control of the passenger flow in the internal processes of the airport terminals. Like every public place, airport terminals have always been vulnerable to all kinds of crimes. In addition, terminal security concerns not only encompass the fight against acts of terrorism, but also involve problems that may adversely influence the operations of the airport. This work aims to present a model, based on computational simulation of passenger service process from a safety inspection of the airport terminal of Goiânia. It was develop a combined method, based on a quantitative method to deal with measurable elements with a qualitative method to assess the complexity of the problem analyzed. Through the simulation, using Flexsim software it was modelled the inspection system of an airport security, leading to conclusions that the characteristics of passengers directly influence the processing times in the system. In this regard, it was noted the lack of information regarding the procedures that passengers should adopt in relation to their belongings and clothing during the crossing of the airport security system. / Devido ao crescimento da quantidade de viajantes no transporte aéreo em todo o mundo, faz-se necessário implantar um controle eficiente do fluxo de passageiros nos processos internos dos terminais aeroportuários. Como todo local público, os terminais aeroportuários sempre são vulneráveis a todos os tipos de crimes. Além disso, as preocupações da segurança do terminal não englobam somente a luta contra atos de terrorismo, mas também problemas que podem influenciar negativamente as operações do aeroporto. Nesse contexto, este trabalho tem o objetivo de apresentar um modelo, baseado na simulação computacional, do processo de atendimento de passageiros do ponto de inspeção de segurança do terminal aeroportuário de Goiânia. Para atingir seus objetivos foi construído um método combinado, de natureza quantitativa para lidar com elementos mensuráveis do processo de inspeção de segurança, com uma análise qualitativa, destinada a avaliar mais profundamente a complexidade do problema. Através da simulação realizada no software Flexsim, foram obtidos resultados estatísticos de desempenho do sistema de inspeção de segurança do aeroporto, permitindo concluir que as características dos passageiros influenciam diretamente os tempos de processamento no sistema. Nesse sentido, foi constatada a falta de informações a respeito dos procedimentos que os passageiros devem adotar em relação aos seus pertences e vestimentas durante o atravessamento no processo de inspeção.
245

Desenvolvimento de um protótipo de simulador para monitoramento e vigilância do espaço aéreo.

Juliana Forin Pasquini Martinez 00 December 2004 (has links)
O presente trabalho propõe uma Abordagem de Monitoramento e Vigilância do Espaço Aéreo para a Região Amazônica. A Amazônia ocupa mais 50% do território brasileiro e possui áreas inóspitas e cobiçadas internacionalmente. As tecnologias de Vigilância, com base nos conceitos de Comunicação, Navegação e Vigilância para o Gerenciamento do Tráfego Aéreo (Communication, Navigation and Surveillance for Air Traffic Management - CNS/ATM), apoiadas por métodos, técnicas, ferramentas e procedimentos de Engenharia de Software, no atual estado da arte, servem de subsídio a este trabalho. Foram pesquisadas informações relacionadas aos sistemas existentes de vigilância, com o objetivo de verificar quais eram as inovações propostas pelo CNS/ATM em relação ao sistema atual, auxiliando na identificação das principais funcionalidades do Sistema Proposto denominado SIMOVE - Sistema de Monitoramento e Vigilância do Espaço Aéreo. Foi utilizado o Processo Unificado da Rational (Rational Unified Process - RUP), de maneira simplificada e adaptada composto pelas seguintes fases: 1 - Iniciação - responsável pela identificação do protótipo a ser desenvolvido, a qual originou-se um Estudo de Caso, e a partir dele levantou-se os requisitos iniciais; 2 - Elaboração - onde detalhou-se as funcionalidades encontradas na fase anterior de iniciação; 3 - Construção - onde coube o desenvolvimento do protótipo do SIMOVE, e algumas funcionalidades foram implementadas; e 4 - Transição - fase em que ocorreram, por fim, alguns testes para verificação, validação e entrega do Protótipo. Ao longo das fases do RUP foi possível aplicar os principais assuntos pesquisados tais como conceitos de novas tecnologias sobre Vigilância Dependente Automática (Automatic Dependent Surveillance - ADS), abrindo-se as portas para aplicações futuras da Vigilância Dependente Automática por Radiodifusão (Automatic Dependent Surveillance - Broadcast - ADS-B). Dentre as contribuições deste trabalho acadêmico destacam-se a metodológica, a documental, a modelagem, a prototipação e a tecnológica. Conclui-se no presente trabalho sobre a importância da utilização de novas tecnologias como ADS e ADS-B para o auxílio na vigilância aérea, adequando-se o Sistema de Vigilância da Amazônia - SIVAM ao sistema CNS/ATM. Para que ele fosse desenvolvido com sucesso foi fundamental a utilização do RUP apoiado nas tecnologias de Engenharia de Software Auxiliada por Computador (Computer Aided Software Engineering - CASE) em conjunto com as tecnologias ADS e ADS-B, que proporcionaram o desenvolvimento do Protótipo de Sistema Software, que representa um apoio adicional para a capacitação dos profissionais que desejam atuar ou já atuam no domínio do conhecimento do CNS/ATM.
246

Mineração de dados aplicada ao estudo do perfil de tráfegos aéreos desconhecidos.

Francisco Guirado Bernabeu 00 December 2004 (has links)
Nesta dissertação aplicam-se técnicas de mineração de dados no estudo do perfil de Tráfegos Aéreos Desconhecidos (TAD), registrados em relatórios armazenados em bases de dados do Comando de Defesa Aeroespacial Brasileiro. O objetivo é dotar o Comando da Aeronáutica de um estudo sobre instrumentos que aumentem a eficiência da análise dos Relatórios de Tráfegos Aéreos Desconhecidos, a fim de levantar padrões comportamentais que possam auxiliar no planejamento de operações aéreas do Comando da Aeronáutica ou de operações de fiscalização, executadas por órgãos de repressão policial. Aborda-se o problema sistemática e iterativamente, seguindo-se as etapas do processo KDD (Knowledge Discovery in Databases), que consiste nas fases de Identificação do Problema, Pré-Processamento, Mineração dos Dados e Pós-Processamento. Na fase de Pré-Processamento, foram desenvolvidos algoritmos para agrupar as trajetórias dos TAD, enriquecendo a base de dados original com dados sobre as rotas predominantes e os pontos onde se originam ou desaparecem os tráfegos, possibilitando a identificação de aeródromos clandestinos ou de maior incidência de TAD. Foram realizados experimentos com algoritmos genéticos, extraindo regras por meio de duas funções de avaliação: uma para retornar regras genéricas, na fase de Mineração; e outra para obter regras precisas, centradas nos dados, na fase de Pós-Processamento do KDD. Foram também realizados estudos com o algoritmo APRIORI, para uma tarefa de Associação. Os experimentos constituíram um passo importante para descobrir a necessidade de estabelecer a presença de determinados atributos no antecedente ou no conseqüente das regras geradas, em função das características do domínio de aplicação. Finalmente, foi proposto um algoritmo de mineração de dados denominado Perfil Pré-Fixado (PPF), de maneira a possibilitar a extração de regras a partir de um conjunto de informações conhecidas e a superar as dificuldades impostas pelas particularidades da base de dados dos TAD. As soluções foram então implementadas e validadas por meio de uma interface gráfica desenvolvida em linguagem JAVA.
247

Uma estrutura de comunicação de dados para o ambiente CNS/ATM brasileiro.

Marck da Silva 00 December 2004 (has links)
Este trabalho de investigação envolve sistemas de comunicação no campo aeroespacial. Nele, foi desenvolvida uma Estrutura de Comunicação de Dados entre um Órgão de Controle de Tráfego Aéreo e Aeronaves. Ele descreve a necessidade de levantamento e acompanhamento dos mais evidentes e significativos avanços tecnológicos no ambiente de Comunicação, Navegação e Vigilância para o Gerenciamento de Tráfego Aéreo (Communication, Navigation, Surveillance/Air Traffic Management - CNS/ATM) brasileiro, com enfoque nas comunicações por enlace de dados. Ele aborda também as principais dificuldades atuais enfrentadas por controladores de tráfego aéreo e pilotos de aeronaves durante o processo de troca e compreensão de mensagens. Este trabalho pode servir de base para a investigação sobre o desenvolvimento e implementação de aplicativos que diminuam o esforço requerido por controladores e pilotos durante a troca e compreensão de mensagens. Nele, abordou-se tópicos relacionados ao ambiente CNS/ATM, ao controle de tráfego aéreo, aos sistemas de comunicação, à Engenharia de Software, às metodologias para o seu desenvolvimento, às ferramentas de auxílio à criação e às linguagens de programação orientadas a objeto. Nele, foram ainda utilizadas: a Técnica de Modelagem de Objetos (Object Modeling Technique - OMT) adaptada ao padrão da Linguagem de Modelagem Unificada (Unified Modeling Language - UML); e as Ferramentas de Engenharia de Software auxiliadas por computador, propiciando maior agilidade no desenvolvimento. Isso possibilitou a geração dos diagramas e documentação necessários para uma melhor compreensão. A etapa de implementação ocorreu, por meio de ferramentas com recursos visuais para edição e compilação do código, facilitando a geração do Protótipo e a realização de seus testes funcionais. Finalmente, uma Interface Gráfica para o Usuário foi desenvolvida como parte integrante de um Protótipo, para reduzir esforços de comunicação e assegurar o processo de troca e interpretação de mensagens entre Controladores e Pilotos.
248

Aprendizado autônomo aplicado a solução de conflitos em gerenciamento de tráfego aéreo.

Ricardo Machado Maia 00 December 2004 (has links)
Modelos híbridos são uma poderosa abstração utilizada para representar sistemas híbridos, que consistem de uma combinação de sistemas com dinâmica contínua e discreta. A natureza híbrida de um sistema pode ser resultante da atuação de um controle discreto sobre uma unidade de produção de natureza contínua ou da dinâmica da unidade em si. Um sistema híbrido é muito geral, uma vez que contêm tanto sistemas discretos quanto sistemas contínuos como casos particulares. Existem várias propostas de abordagem para a análise e síntese de estratégias de controle para tais sistemas. Podemos encontrá-las na literatura e citamos algumas alternativas no corpo deste trabalho. Este trabalho propicia a avaliação da aplicabilidade e desempenho de técnicas de aprendizado autônomo (baseadas em Aprendizado por Reforço) a um problema tipicamente formalizado como de controle híbrido. É adotado como estudo de caso um problema de Gerenciamento de Tráfego Aéreo (GTA) atuando sobre dois aviões em situação de colisão iminente. O problema em questão é de difícil modelagem no caso mais geral, o que motiva o uso de técnicas model-free tais como Aprendizado por Reforço (AR) para a sua solução. Apresentamos o projeto de um controlador aprendiz com estratégia de aplicação de reforços visando unicamente afastar um avião do outro e a sua atuação sobre: a) a velocidade angular; b) a velocidade linear e c) as velocidades angular e linear em conjunto. Fazemos um estudo sobre a indução de ruídos nas variáveis de controle. Por fim, apresentamos uma modificação do projeto do controlador incluindo uma estratégia de manutenção da rota, e em seguida comparamos os resultados aos obtidos por técnicas de controle híbrido.
249

Estudo comparativo de métodos de previsão de demanda: uma aplicação ao caso dos aeroportos com tráfego aéreo regular administrados pelo DAESP.

Fernando Neves Breseghello 18 March 2005 (has links)
O presente trabalho tem como objetivo principal comparar o desempenho de metodologias preditivas, baseadas na abordagem de séries temporais, diferentes das atualmente utilizadas para prognosticar a demanda, para um horizonte de 12 meses, dos aeroportos administrados pelo Departamento Aeroviário do Estado de São Paulo (DAESP) operando com tráfego aéreo regular. A determinação de previsões adequadas e, ao mesmo tempo, realistas, o que, em outras palavras, significa utilizar o método preditivo com maior grau de precisão (ou menor margem de erro), constitui-se em uma etapa fundamental para que o processo de planejamento da administração aeroportuária possa ser adequadamente realizado. Para alcançar o objetivo proposto, buscou-se, em primeiro lugar, estudar os principais aspectos teóricos relacionados aos métodos de previsão de demanda abordados neste trabalho. Posteriormente, segue-se o processo de calibração dos modelos propostos, aplicados às séries históricas disponibilizadas pela referida instituição. Os modelos de séries temporais experimentados nesta dissertação são: Trivial, Média Móvel de seis e 12 meses, Suavização Exponencial Simples, Holt, Holt-Winters Aditivo, Holt-Winters Multiplicativo e os possíveis modelos Box-Jenkins selecionados a partir do processo de identificação. Por fim emprega-se uma estratégia de avaliação e seleção de modelos preditivos, de natureza quantitativa, para subsidiar as conclusões apresentadas no final deste trabalho. Os resultados obtidos, mediante a utilização desta estratégia, demonstraram que as metodologias propostas são mais adequadas (superiores em acurácia) para a projeção de valores para um horizonte de 12 meses do que a metodologia atualmente utilizada pela instituição estudada. Neste contexto, os modelos Box-Jenkins se mostraram como os mais acurados em 61% dos casos (cinco aeroportos). Os modelos Aditivo de Holt-Winters, S.E.S. e Holt apresentaram-se como os modelos com menor margem de erro em 13% (um aeroportos), 13% (um aeroportos) e 13% (um aeroporto) dos casos, respectivamente.
250

Métodos para a redução de custos operacionais em empresas aéreas.

Luiz Pradines de Menezes Junior 05 May 2006 (has links)
Nesta Dissertação, exploramos o assunto "redução de custos operacionais" através da otimização da trajetória de vôo vertical de uma aeronave hipotética. A otimização da trajetória horizontal não foi abordada neste trabalho devido à menor liberdade que as empresas aéreas têm em definirem a rota a ser voada, uma vez que as aeronaves devem voar sempre sobre aerovias definidas. A otimização da trajetória de vôo é baseada em estudos desenvolvidos pela NASA. Nestes estudos, a otimização da trajetória vertical é feita através da teoria do controle ótimo, com as equações de movimento simplificadas pelo uso do Método da Energia Específica. Assume-se que as trajetórias de vôo são constituídas por três segmentos distintos: subida (com energia específica incrementando monotonicamente), cruzeiro e descida (com energia específica diminuindo monotonicamente). A otimização é feita simultaneamente nas três trajetórias, o que significa que o perfil de subida e descida é afetado pela distância a ser voada. Para distâncias pequenas, a velocidade de subida tende a aumentar e a de descida, a se reduzir. Devido ao presente estado da tecnologia dos computadores de bordo, a implementação do algoritmo da teoria de controle ótimo nos FMC é muito difícil. Assim, foram criadas funções lineares de controle da velocidade da aeronave baseadas na sintetização de diversas trajetórias de vôo no modo de tração fixo. As vantagens advindas do emprego da teoria de controle ótimo foram medidas ao se comparar os resultados com aqueles derivados do método atual incorporado nos FMC, baseado no parâmetro "Cost Index". Em algumas trajetórias, verificaram-se reduções de custo operacional da ordem de 5%, especialmente em distâncias curtas (até 500 km). Isto pode ser explicado devido à maior importância relativa das trajetórias de subida e descida em curtas distâncias, o que tende a se tornar menos relevante quando a etapa em cruzeiro tende a aumentar. Também foram discutidas algumas técnicas empregadas por empresas aéreas para a redução do desgaste dos motores, como o derate e o flexible takeoff. Devido à relevância destes custos, sugere-se que o DOC venha a ser modelado com a participação de um termo derivado do custo de manutenção dos motores. Por fim, diversas técnicas para a diminuição de custos e a maximização de receitas foram analisadas, procurando demonstrar-se a variedade de recursos empregados pelas empresas aéreas para a redução de custos e melhoria da eficiência operacional. A grande variedade de procedimentos usados pelas empresas aéreas para a redução de seus custos impôs a necessidade de se restringir o escopo da pesquisa efetuada neste trabalho, sendo focado em maior profundidade o assunto "Otimização de Trajetórias Verticais".

Page generated in 0.058 seconds