Orientador : Nelson Luis Saldanha da Fonseca / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-03T23:48:34Z (GMT). No. of bitstreams: 1 Zafalao_RogerioMakiyama_M.pdf: 562652 bytes, checksum: 8fef838d9bae43c90f268cf88c61b763 (MD5) Previous issue date: 2003 / Resumo: Sistemas de Video sob Demanda possibilitam ao usuário a escolha de vídeos para exibiçao dentre uma vasta coleção. Como a transmissão de um fluxo de vídeo demanda uma grande quantidade de bande passante, estratégias de compartilhamento da transmissão de fluxos de vídeo são utilizadas para reduzir esta demanda. Dentre estas técnicas, os protocolos baseados em difusão periódica são indicados para a transmissão dos vídeos mais requisitados, uma vez que estes utilizam largura de banda constante independente do número de usuários. Entretanto, os protocolos mais eficientes nao levam em consideração limitações de banda passante existentes no cliente. Nesta dissertação, dois protocolos de difusão periódica otimamente estruturados são estendidos de forma a permitir que clientes sujeitos a limitações de largura de banda possam utilizar serviços de Vídeo sob Demanda baseados em difusão periódica / Abstract: Video on Demand (VoD) services allow users to watch movies of their choice among a wide collection. As video transmition requires a huge amount of bandwidth, stream sharing techniques has been developed to reduce the bandwidth requirements. Among these techniques, periodic broadcasting protocols are indicated to transmit most frequently requested videos, since they require a constant amount of bandwidth. However, these protocolos do not consider users with limited bandwidth. In this dissertation two new protocols are introduced, the Polyharmonic Broadcasting with Limited User Bandwidth (PHB-LUB) and the Greedy Equal-Bandwidth Broadcasting with Limited User Bandwidth (GEBB-LUB) / Mestrado / Ciência da Computação / Mestre em Ciência da Computação

Orientador: Edson Bim / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-25T15:47:20Z (GMT). No. of bitstreams: 1 ReyesHernandez_Jaime_M.pdf: 5409078 bytes, checksum: 31f1dc17b5c1b7d1eb4ef972771be26c (MD5) Previous issue date: 1999 / Resumo: Neste trabalho é realizada a implementação digital, utilizando o processador digital de sinais DSP 56001 da Motorola, do controle vetorial com orientação direta e indireta do fluxo do rotor de um motor de indução trifásico. São apresentados resultados experimentais que ilustram o comportamento do controle implementado. A inclusão do controle PI de velocidade assim como, um estudo utilizando algoritmos genéticos e redes neurais artificiais, na estimação e atualização da constante de tempo elétrica do rotor, faz parte também dos objetivos desta dissertação... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: In this work the digital implementation of a field rotor flux oriented based control of a squirrel cage induction motor, using a versatile Motorola 56001 digital signal processor is presented. Two methods of orientation are studied: the direct and indirect. The control system contains a PI speed controller. An introductory investigation of the use of Genetic AIgorithms and Neural Networks in the estimate and updating of rotor electrical time constant are also presented. ...Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Engenharia Elétrica

Orientador: Christiano Lyra Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-25T19:24:38Z (GMT). No. of bitstreams: 1 Costa_MarcosFabioNobregada_M.pdf: 5953099 bytes, checksum: 8ffa825d7b121106adf6cb5400d1ac28 (MD5) Previous issue date: 1999 / Resumo: Este trabalho adota uma abordagem de computação evolutiva para encontrarmos a configuração de mínimas perdas de uma rede de distribuição de energia elétrica radial. O principal elemento da busca é um Algoritmo Genético, meta-heurística que imita os processos evolutivos naturais. A partir de população de indivíduos gerada aleatoriamente, a adequação média das gerações subseqüentes de indivíduos é melhorada através de mecanismos de Seleção, Cruzamento e Mutação. Uma importante característica dos Algoritmos Genéticos é a forte atração para ótimos locais com a perda da diversidade. Para escapar destas soluções, foram implementadas estratégia de diversificação inspiradas em Busca Tabu e Cruzamentos Baseados em Comportamento. A incorporação de busca local heurística explora conhecimento específico sobre o problema, sendo utilizada juntamente com procedimento de diversificação para preservação de níveis mínimos de diversidade. Resultados sobre redes reais de médio e grande porte são apresentados / Abstract: The present work adopts an evolutionary computation approach to reach the minimum loss configuration of a radial power distribution network. The main element of the search is a Genetic Algorithm, meta-heuristic that imitates the natural evolutive process. Starting with a random-generated population, the mean fitness of successive generations is increased through Selection, Crossover and Mutation mechanisms. One important feature of Genetic Algorithms is the strong attraction to local optimal solutions. To escape from these solutions, we implemented a diversification strategy inspired in Tabu Search and Behavior-Based Crossovers. The incorporation of heuristic local search, that explores specific knowledge of the problem domain, is added to the diversification procedure to preserve a minimum level of diversity. Results for real, medium, and large distribution networks are discussed. / Mestrado / Mestre em Engenharia Elétrica

Orientadores: Carlos Magnus Carlson Filho, Raul Vinhas Ribeiro / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T03:52:18Z (GMT). No. of bitstreams: 1 Banov_JoanaTeixeiraMachado_D.pdf: 682129 bytes, checksum: a4be8d02743c3241ac088f06534d5b78 (MD5) Previous issue date: 2005 / Resumo: Após a privatização, o setor de telecomunicações vem sofrendo grandes transformações tecnológicas. Do ponto de vista do usuário, isso significa a disponibilidade de serviços mais modernos. Para as empresas operadoras, a privatização significa concorrência. Para ganhar mercado é preciso um planejamento otimizado por parte das operadoras, de modo a maximizar receitas e evitar gastos excessivos com investimentos, operações e gerenciamAento das redes. Este estudo tem como objetivo auxiliar os planejadores na expansão de longo prazo da rede de acesso aos serviços de telecomunicações. O trabalho apresenta os modelos matemáticos correspondentes e propõe um método de resolução evolutivo capaz de lidar com a complexidade intrínseca do problema de Programação Linear Inteiro Misto (PLIM). O Algoritmo Híbrido Evolutivo (AHE) decompõe o problema em duas partes, uma inteira e outra real. A parte evolutiva assume a determinação das variáveis de decisão inteiras e é baseada em algoritmos genéticos ¿ método heurístico que imita a evolução das espécies para gerar soluções candidatas ao problema. A avaliação dessas soluções ¿ função de adequação ¿ acontece com a resolução do problema restante, de fluxo em redes, por meio de métodos clássicos de otimização linear. O algoritmo genético é ainda incrementado por regras anti-violação para evitar a geração de soluções candidatas infactíveis. As comparações de performance com o solver CPLEX ® comprovam que o AHE cumpre com louvor sua meta de fornecer resultados de boa qualidade para o problema em um tempo computacional de execução aceitável / Abstract: After privatization, the telecommunication area has been experienced big technological changes. From the user point of view, this means access to more modern services. For the service providers, the privatization means competition. The service providers need an optimized business plan to increase their market share, so that they can maximize their revenue and avoid excessive costs with investments, operation and management of the network. This research has the goal to assist the planners in their long-term project to expand the access network to the telecommunications services. This study presents corresponding mathematical models and proposes an evolutive resolution method capable to deal with the intrinsic complexity of the Mixed Integer Linear Programming problem (PLIM). The Hybrid Evolutive Algorithm (AHE) disassembles the problem in two parts. The evolutionary part assumes the evaluation of integer decision variables and it is based in genetic algorithms ¿ heuristic method that imitates the evolution of species to generate possible solutions for the problems. The evaluation of these solutions ¿ fitness function ¿ is achieved by solving the remaining network flow problem via classic linear optimization methods. The genetic algorithm is also enhanced by anti-violation rules to avoid generation of non-feasible solutions. The performance comparisons with the solver CPLEX ® confirms that the AHE does accomplish its goal of providing good quality results for the problem in an acceptable computer time / Doutorado / Automação / Doutor em Engenharia Elétrica

Optimiza la asignación de recursos operativos mediante el uso de algoritmos genéticos en la implementación de programas de fortalecimiento de competencias laborales en la Facultad de Ingeniería Industrial - UNMSM. Para esto determina en qué medida la mejora de los procesos del CEUPS-FII influye en la eficiencia de la implementación de los programas de fortalecimiento de competencias laborales del CEUPS-FII, la estructura organizacional del CEUPS-FII-UNMSM que permita el cumplimiento de los objetivos del programa y la programación de horarios óptima para atender la demanda de cursos del programa. / Tesis

Orientador: George John Shepherd / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Biologia / Made available in DSpace on 2018-08-07T20:50:25Z (GMT). No. of bitstreams: 1 Morbiolo_SergioRodrigues_M.pdf: 2368807 bytes, checksum: 47541963ceac1776da4ed3c27c6b3085 (MD5) Previous issue date: 2006 / Resumo: A taxonomia de Lantana camara tem sido alvo de discussão de estudiosos em todo o mundo. A variabilidade morfológica, ecológica e química da espécie é extremamente grande. Alguns autores consideram que L. camara seja um complexo de espécie ao invés de um táxon monotípico, algumas vezes descrito como composto por até 150 táxons diferentes. Neste trabalho, a variabilidade de L. camara é colocada a prova através de dois métodos: a morfometria geométrica e a modelagem matemática. Os métodos morfométricos são utilizados para analisar a variabilidade morfológica do corpo vegetativo dos indivíduos da espécie no Brasil, país que faz parte da região original de distribuição da espécie, a América tropical. A análise dos dados é feita por métodos multivariados a fim de verificar se existe uma unidade taxonômica nas amostras brasileiras da espécie ou não. É verificado que não existe qualquer ponto confiável em que se possa reconhecer táxons específicos ou subespecíficos em todo o território; apesar da grande discrepância entre os extremos, as medidas formam um contínuo. No segundo capítulo, um algoritmo genético (GARP) é utilizado para traçar um mapa de distribuição potencial da espécie sobre o mundo, baseado em pontos de ocorrência da espécie em áreas nativas da América tropical. Verifica-se uma grande área potencial de distribuição no Novo Mundo e em outros continentes; porém, não houve previsão de ocorrência potencial na Austrália e na África do Sul. Estes dois países estão entre os que mais investem em programas de erradicação da espécie, com populações muito bem estabelecidas em áreas naturais e cultivadas. Como o algoritmo não previu possibilidade de ocupação desses países por L. camara, infere-se, então, que as linhagens ocorrentes nesses países sejam relativamente distantes taxonomicamente da espécie típica, podendo ser oriundas de hibridização e manipulação horticultural. Aparentemente, é necessária uma revisão da espécie em nível mundial / Abstract: The taxonomy of Lantana camara has been the target of discussion by taxonomists all over the world. The morphological, ecological and chemical plasticity observed is very extensive. Some autors consider that L. camara is a species complex instead of a monotypic taxon, composed of up to 150 different taxa. In this sudy, the variability of L. camara is studied using two methods: geometric morphology and mathmatical modelling. Morphological methods are used to analyze the morphological variability of the vegetative parts of brazilian populations. Brazil is within the native distribution for the species, which occurs over a large part of the Neotropics. The data analysis is made using multivariate methods to verify if there is any obvious morphological discontinuity within brazilian samples which would allow specific or insfraspecific taxa to be recognized. It does not appear to be possible to define reliable subdivisions within this taxon; in spite of the huge discrepancy among the more extreme samples, the measures are continuous. In the second chapter, a genetic algorithm (GARP) is used to draw a potential distribution map of the species over the world, based on occurrence points of Lantana camara in areas of the Neotropics where it is native. In spite of having an extremely widespread distribution in the Americas and other continents, no potencial occurrence is predicted for Australia and South Africa, two of the countries with the most active erradication programs for this species. It is inferred that the variants found in these countries may be taxonomically distant from the typical species, possibly resulting from horticultural hybridization and manipulation. A comprehensive review of the species at world level is necessary / Mestrado / Biologia Vegetal / Mestre em Biologia Vegetal

Orientador: Rubens Maciel Filho / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-08-07T23:00:15Z (GMT). No. of bitstreams: 1 Costa_CalianeBastosBorba_D.pdf: 3831397 bytes, checksum: 780459cd80520b443e83eb1d7dc73a62 (MD5) Previous issue date: 2006 / Resumo: O foco de estudo neste trabalho é a cristalização, processo bastante utilizado industrialmente, principalmente na obtenção de produtos de alto valor agregado nas indústrias farmacêuticas e de química fina. Embora seja um processo de clássica utilização, seus mecanismos, sua modelagem e o real controle de sua operação ainda requerem estudos. A tese apresenta discussões e desenvolvimentos na área de modelagem determinística detalhada do processo e sua otimização, tanto por métodos determinísticos quanto estocásticos. A modelagem é discutida detalhadamente e os desenvolvimentos presentes na literatura de métodos numéricos aplicáveis à solução do balanço de população, parte integrante da modelagem, são apresentados com enfoque nos processos de cristalização e nas principais vantagens e desvantagens. Estudos preliminares de melhoria do processo de cristalização em modo batelada operada por resfriamento indicam a necessidade de otimização da política operacional de resfriamento. Uma vez que o método determinístico de otimização de Programação Quadrática Sucessiva se apresenta ineficiente para resolução do problema de otimização, a utilização de Algoritmo Genético, um método estocástico de otimização bastante estabelecido na literatura, é avaliada, para a busca do ótimo global deste processo, em um estudo pioneiro na literatura de aplicação dessa técnica de otimização em processos de cristalização. Uma vez que o uso de Algoritmos Genéticos exige que se executem sucessivas corridas com diferentes valores para os seus parâmetros no intuito de se aumentar a probabilidade de alcance do ótimo global (ou suas cercanias), um procedimento original, geral e relativamente simples é desenvolvido e proposto para detecção do conjunto de parâmetros do algoritmo de influência significativa sobre a resposta de otimização. A metodologia proposta é aplicada a casos de estudo gerais, de complexidades diferentes e se mostra bastante útil nos estudos preliminares via Algoritmo Genético. O procedimento é então aplicado ao problema de otimização da trajetória de resfriamento a ser utilizada em um processo de cristalização em modo batelada. Os resultados obtidos na tese apontam para a dificuldade dos métodos determinísticos de otimização em lidar com problemas de alta dimensionalidade, levando a ótimos locais, enquanto os métodos evolucionários são capazes de se aproximar do ótimo global, sendo, no entanto, de lenta execução. O procedimento desenvolvido para detecção dos parâmetros significativos do Algoritmo Genético é uma contribuição relevante da tese e pode ser aplicado a qualquer problema de otimização, de qualquer complexidade e dimensionalidade / Abstract: This work is focused on crystallization, a process widely used in industry, especially for the production of high added-value particles in pharmaceutical and fine chemistry industries. Although it is a process of established utilization, its mechanisms, modeling and the real control of its operation still require research and study. This thesis presents considerations and developments on the detailed deterministic modeling area and the process optimization with both deterministic and stochastic methods. The modeling is discussed in detail and the literature developed numerical methods for the population balance solution, which is part of the modeling, are presented focusing on crystallization processes and on the main advantages and drawbacks. Preliminary studies on batch cooling crystallization processes improvement drive to the need of cooling operating policy optimization. Since the Sequential Quadratic Programming deterministic method of optimization is inefficient for the optimization problem, the use of Genetic Algorithm (GA), a stochastic optimization method well established in literature, is evaluated in the global optimum search for this process, in a pioneering literature study of GA application in crystallization processes. Since the GA requires that many runs, with different values for its parameters, are executed, in order to increase the probability of global optimum (or its neighborhood) achievement, an original, general and relatively simple procedure for the detection of the parameters set with significant influence on the optimization response is developed and proposed. The proposed methodology is applied to general case studies, with different complexities and is very useful in the preliminary studies via GA. The procedure is, then, applied to the cooling profile optimization problem in a batch cooling optimization process. The results of the study presented in this thesis indicate that the deterministic optimization methods do not deal well with high dimensionality problems, leading to achievement of local optima. The evolutionary methods are able to detect the region of the global optimum but, on the other hand, are not fast codes. The developed procedure for the significant GA parameters detection is a relevant contribution of the thesis and can be applied to any optimization problem (of any complexity and of any dimensionality) / Doutorado / Desenvolvimento de Processos Químicos / Doutor em Engenharia Química

Orientador: Antonio Carlos Moretti / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-18T12:57:42Z (GMT). No. of bitstreams: 1 Silva_FelipeAugustoMoreirada_M.pdf: 3501967 bytes, checksum: 3b5c547e66bcab6f708612be936759ba (MD5) Previous issue date: 2011 / Resumo: Este trabalho aborda o problema de sequenciamento de tarefas no ambiente prático na indústria, onde será considerado vários aspectos pertinentes, como produção em paralelo, tempo de setup, produção em lotes e data de entrega. Também será considerado alguns aspectos de transporte como a capacidade de transporte, tornando o problema atípico dos já estudados na literatura. O problema em questão é apresentado pela indústria panificadora, onde a alta produtividade cresce a cada ano e a necessidade de planejamentos otimizados tornam-se cada vez mais importante de uma forma a abordar todas as características apresentada pelo problema. Para resolução do problema será sugerido duas abordagens, uma usando algoritmo guloso e outra utilizando algoritmo genético, as quais serão comparadas para problemas com pequenas dimensões com o valor ótimo da solução, resolvendo-o como um problema de programação linear inteira, e para dimensões maiores será comparado com limitantes superiores. O trabalho também nos fornece uma formulação matemática do problema de sequenciamento de tarefas de forma ampla a considerar todos os aspectos presentes na indústria e também faz uma análise do tempo de execução dos algoritmos comparando-os através da análise de complexidade de cada algoritmo / Abstract: This paper addresses the problem of sequencing jobs in the practical environment in the industry, which is considered more relevant aspects such as production in parallel, setup time, batch production and delivery date. Will also be considered some aspects of transport as the transport capacity, making the problem of atypical already studied in literature. The problem in question is presented by the baking industry, where high productivity is growing every year and the need for optimized planning become increasingly important in a way to embroider all the features presented by the problem. To solve the problem is suggested two approaches, using a greedy algorithm and the other using genetic algorithm, which will be compared to small problems with the optimum solution, solving it as an integer linear programming problem, and to higher dimensions will be compared with upper bounds. The work also provides us with a mathematical formulation of the problem of sequencing jobs broadly consider all aspects in industry and also gives an analysis of the runtime of the algorithms by comparing them by analyzing the complexity of each algorithm / Mestrado / Matematica Aplicada / Mestre em Matemática Aplicada

Ingeniero Civil Electricista / Los sistemas de almacenamiento de energía (ESS) forman parte de un grupo de tecnologías que permiten experimentar mejoras significativas en la calidad y seguridad del producto eléctrico. El objetivo principal del presente trabajo de título se divide en dos: en primer lugar formular modelos de negocios con ESS que permitan entregar valor a un cliente en un requerimiento compatible con la acción de dichos dispositivos; y en segundo lugar, proponer una metodología de ubicación óptima de ESS buscando optimizar costos de operación y seguridad en sistemas interconectados. Se proponen los modelos de negocios de reserva en giro (RG), postergación de inversiones y EDAC negativo. En el modelo de RG se busca dar la reserva en giro en centrales que regulan frecuencia con BESS (\textit{Battery Energy Storage System}), lo cual permite recibir remuneraciones por SSCC y por el incremento en el nivel de generación, de esta manera se obtienen importantes ingresos por venta de energía. Postergación de inversiones busca descongestionar los sistemas de transmisión y distribución (líneas y transformadores) instalando BESS en el lado de la carga, lo que eventualmente pospone las inversiones por ampliación u obras nuevas. EDAC negativo evita el desprendimiento de carga de clientes industriales por acción del EDAC. En segundo lugar se propone la metodología de ubicación óptima, en la cual se maximiza el ahorro en costos de operación en horario punta (descarga) y valle (carga) de la demanda en un día, el que está dado por el ahorro para el sistema que significa operar con BESS, considerando un costo horario de AVI+COMA asociado a cada BESS instalado versus la situación sin BESS. Por otro lado, se propone la minimización de índices de desempeño estáticos de desviación de tensiones y uso del sistema de transmisión en horario punta. Se realizaron pruebas en el modelo IEEE 14 barras e IEEE 118 barras. Las pruebas para maximización de ahorros arrojan pequeños ahorros en operación horaria, pero que pueden ser significativos al considerar el régimen anual. La optimización de costos sólo aporta en recorte de punta y estabilización de costos marginales en las zonas de instalación de BESS. Para optimización de seguridad se logran reducir las desviaciones de tensión y en algunas barras se logran desactivar las restricciones de límites por sobretensiones, de forma similar se redistribuyen los flujos a través de los tramos de líneas, es decir, en tramos con bajo uso hay mayor circulación y en tramos con mayor uso hay reducción en los flujos. Lo anterior permite concluir que la solución con algoritmos genéticos permite encontrar buenas soluciones pese a que es un método que no asegura la convergencia al óptimo global.

Orientadores: Paulo Sérgio Martins Pedro, Edson Luiz Ursini / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Tecnologia / Made available in DSpace on 2018-08-27T04:51:09Z (GMT). No. of bitstreams: 1 MassaroJunior_FlavioRubens_M.pdf: 3302871 bytes, checksum: aa117bbaac53f7ead30d1a21700e03aa (MD5) Previous issue date: 2015 / Resumo: Modos de operação e mudanças de modo são uma abstração útil para permitir que sistemas de tempo real sejam flexíveis e configuráveis. Trabalhos prévios em escalonamento preemptivo com prioridades fixas permitem que as tarefas passem de um modo de operação para outro provendo garantias de tempo real. No entanto, a configuração adequada dos parâmetros críticos, tais como o offset de uma tarefa, apesar de trabalhos anteriores terem abordado este assunto, permanece uma lacuna a ser explorada. Sem um método que automatize esta etapa do processo, garantindo ao mesmo tempo que os requisitos básicos sejam atendidos, a adoção plena de mudanças de modo em sistemas de tempo real permanece limitada a sistemas relativamente simples, com um conjuntos de tarefas limitado. Propomos um método para atribuir offsets às tarefas em uma mudança modo, através de uma abordagem Metaheurística (algoritmos genéticos). Este método permite a configuração e/ou a minimização da latência de pior caso de uma mudança modo. A latência de uma mudança de modo é um parâmetro crítico para ser minimizado, uma vez que durante a mudança de modo o sistema oferece funcionalidade limitada, uma vez que o conjunto de tarefas está parcialmente em operação. Também elaboramos uma classificação das mudanças de modo de acordo com as necessidades das aplicações. Esta classificação, quando aplicada a uma série de estudos de casos, permitiu validar a abordagem de minimização/configuração, estender a classificação anteriormente existente e demonstrar que o método é flexível, já que pode acomodar uma ampla variedade de tipos de mudanças de modo / Abstract: Modes of operation and mode-changes are a useful abstraction to enable configurable, flexible real-time systems. Substantial work on the fixed priority preemptive scheduling approach allowed tasks across a mode-change to be provided with real-time guarantees. However, the proper configuration of critical parameters such as task offsets, despite initial work, remains a gap in research. Without a method that automates this design step, while assuring that the basic requirements are met, the full adoption of mode-changes in real-time systems remains limited to relatively simple systems with limited task sets. We propose a method to assign offsets to tasks across a mode-change, using a metaheuristic approach (genetic algorithms). This method allows the configuration and/or the minimization of the worst-case latency of a mode-change. The latency of a mode change is a critical parameter to be minimized, since during the mode change the system offers limited functionality due to the fact that the task set is still incomplete. We also provide a classification of mode changes according to applications¿ requirements. This classification was useful, once applied to a number of case studies, both to validate the configuration approach and to a greater extent to show that the method is flexible in that it can accommodate a wide variety of types of mode-changes / Mestrado / Mestre em Tecnologia