Este trabalho descreve um programa de computador destinado ao projeto estrutural de edifícios. No atual estágio, uma vez fornecidos os dados de geometria e carregamento, o programa realiza a análise estrutural e o dimensionamento dos pórticos de concreto armado. Inicialmente, são apresentados as bases teóricas e o formulário utilizado. A seguir, trata-se da organização do programa em si. Finalmente, apresenta-se o projeto de um edifício de cinco pavimentos, como exemplo de aplicação. / In this paper a computer program for the structural design of building is described. In the present stage of development, given the geometry anyloading conditions, the program carries out the structural analysis and dimensioning of reinforced concrete frames. The theoretical bases and design criteria are discussed in detail, as well as the internal organization of the computer program. Finally, as an example, a five-stories building is designed.

Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-01-27T17:15:55Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) tbac-tese-biblioteca.pdf: 1708133 bytes, checksum: 358aacd6d090f9b7678979be16cc120e (MD5) / Made available in DSpace on 2016-01-27T17:15:55Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) tbac-tese-biblioteca.pdf: 1708133 bytes, checksum: 358aacd6d090f9b7678979be16cc120e (MD5) Previous issue date: 2015-04-23 / CAPES / Um dos problemas de reconhecimento de faces consiste em identificar quem é a pessoa cuja imagem do rosto está em uma fotografia. A representação digital desta imagem contém milhares de pixels, cada um representando a intensidade de iluminação de uma minúscula região da imagem. O problema de reconhecimento pode ser simplificado se forem extraídas poucas dezenas de características para representar toda a imagem. Neste trabalho são propostas duas metodologias de extração de características. Uma destas metodologias chama-se Agrupamento de Pixels e a outra Autofaces Fracionárias. A partir de cada uma destas metodologias são propostas técnicas de extração de características. Tais técnicas têm a mesma aplicação que a técnica de referência Autofaces (Eigenfaces): geram projeções lineares das imagens de face. Cada uma dessas projeções é dita uma característica extraída, a qual contém informações sobre propriedades visuais da imagem de face. Com a primeira metodologia proposta, Agrupamento de Pixels, são definidas duas técnicas de extração de características, Pedaçospor- valor e Pedaços-por-posição. Pedaços-por-valor define regiões da face com intensidade similar. Pedaços-por-posição define regiões por relações de vizinhança. Em ambos os métodos é extraída uma característica para cada região. Estas técnicas obtiveram taxa de reconhecimento superior a outros métodos no estado da arte. Foi demonstrado com um experimento com dados artificiais que esta técnica é capaz de extrair características discriminantes mesmo sendo uma técnica não-supervisionada. Pedaços-por-valor também é avaliada na aplicação de compressão de imagens. Demonstra-se que esta representação é mais fiel ao original do que a compressão JPEG se comprimida ao máximo. A segunda metodologia proposta também é não-supervisionada. Inspira-se em Autofaces e na técnica no estado da arte PCA Fracionário. Com esta metodologia são definidas três técnicas de extração de características. Experimentos mostram que estas técnicas extraem características que levam a uma taxa de reconhecimento maior do que as técnicas das quais são derivadas. Um experimento em visualização de dados propõe uma explicação para as vantagens destas técnicas: aumentam a fronteira de decisão; e aproximam os exemplos da mesma classe, diminuindo a sobreposição entre classes distintas. / One problem in face recognition is to identify who is the person shown in a photography. The digital representation of such photo, an image, has thousands of pixels, each pixel represent the light intensity of a tiny image region. The recognition problem is simpler if dozens of features are extracted to represent all the image. We propose two feature extraction frameworks for face recognition: Pixel Clustering and Fractional Eigenfaces. Feature extraction techniques are defined from each framework. Such techniques are applied similarly to the benchmark method Eigenfaces: they define linear projections of the face images. Each projection is an extracted feature, which encodes face visual properties. In the proposed Pixel Clustering framework, two methods are defined, Intensity-patches and Position-patches. Intensity-patches defines regions in the image that have similar intensity values. Position-patches defines regions according to neighborhood of pixels. In both methods, a single feature is extracted for each region. These methods have higher accuracy compared to other state-of-the-art for face recognition techniques. As demonstrated in experiments with artificial data, Intensity-patches is able to extract discriminant features even though it is an unsupervised method. Value-patches is also used for image compression and, compared to the JPEG compression, it generates images more similar to the original for high level compression. The second proposed framework is inspired in the Fractional PCA (FPCA) method, and the Eigenfaces method for face recognition. Three feature extraction techniques are proposed using this framework: Fractional Eigenfaces, Improved Fractional Eigenfaces, and Improved Eigenfaces. These methods presented higher accuracy rates in the face recognition problem compared to FPCA and Eigenfaces. An explanation for their performance is presented using a data visualization experiment: we show that the decision frontier is enlarged, and samples of the same class are approximated, avoiding class overlap.

Orientador: Adriane Maria Brito R. de Carvalho / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-22T21:19:03Z (GMT). No. of bitstreams: 1 Lima_SergioMuinhosBarroso_M.pdf: 2073959 bytes, checksum: 569cb45e9ea6c4ef831d95ad96d1eb14 (MD5) Previous issue date: 1997 / Resumo: Nesta dissertação é apresentada a implementação de um tradutor de linguagem Natural (LN) para a linguagem LEGAL, que é uma extensão da linguagem SQL que inclui operadores espaciais e facilidades para a manipulação de campos e objetos geográficos. O objetivo deste trabalho é auxiliar os usuários de um Sistema de Informação Geográfica, não especialistas em computação, na formulação de consultas através da utilização de LN. As vantagens e desvantagens da interação em LN são apresentadas, bem como a funcionalidade de cada módulo constituinte do tradutor: além disso, os problemas lingüísticos e as particularidades que as consultas espaciais possuem e que foram tratadas pelo tradutor são apresentadas. / Abstract: This dissertation presents the implementation of a Translator from Natural Language to LEGAL, which is an extension of the SQL language and which includes spatial operators to manipulate geo-fields and geo-objects. The goal of this dissertation is to help Geographical Information System users, who are not computer experts, on the query formulation, through the use of Natural Language. The advantages and disadvantages of a Natural Language interaction, the Translator's modules, the linguistic problems encountered and the spatial query's particularities are presented. / Mestrado / Mestre em Ciência da Computação

Orientador : Guido Costa Souza de Araujo, Paulo Cesar Centoducatte / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-31T15:05:26Z (GMT). No. of bitstreams: 1 Buss_MarciodeOliveira_M.pdf: 6143829 bytes, checksum: 232f545e77eff7126860d60f0be8372a (MD5) Previous issue date: 2001 / Resumo: A incansável busca por máquinas mais velozes, aliada aos enormes avanços tecnológicos na concepção de circuitos integrados, retiraram as arquiteturas Very Long Instruction W ord (VLIW) de um estado amórfico para a realidade. Embora tenham surgido como CIs recentemente [1], as máquinas VLIW foram idealizadas há algumas décadas atrás [13, 16, 22, 23]. Os processadores que definem este modelo de processamento não mais obedecem regras clássicas de execução: instruções de um dos possíveis fluxos de controle de um comando de desvio condicional são executadas mesmo antes do término da avaliação da condição, a qual determinará se a transferência de controle deverá ocorrer ou não; executam simultaneamente inúmeras instruções, de diferentes tipos, oriundas do mesmo programa; computam programas que foram compilados de uma forma revolucionária: todo o programa é analisado em busca de operações paralelizáveis, como se fosse um único (macro) bloco. Numa tentativa de contribuição a esta linha de pesquisa, este trabalho visa a detecção e exploração do paralelismo 'escondido' em programas originalmente sequenciais. Esta busca gera resultados que são analisados e quantificados com o intuito de se encontrar uma arquitetura-alvo adequada para uma aplicação específica. Esta metodologia encontra-se inserida no contexto de uma área denominada Embedded Systems, a qual se preocupa em otimizar ao máximo a execução de uma classe restrita de aplicações ou até mesmo uma única aplicação-chave de um sistema dedicado. O modelo de arquitetura considerado neste trabalho é denominado VLIW particionado (do inglês partitioned VLIW). Este modelo difere da máquina VLIW ideal pelo fato de não possuir um único banco de registradores centralizado, mas sim vários bancos de registradores que se comunicam através de barramentos especiais. Com este modelo de arquitetura em mãos, o trabalho desenvolvido nesta dissertação trata da investigação de problemas relacionados com o mapeamento de uma aplicação específica a uma máquina VLIW dedicada. Em um macro-cenário, este trabalho tenta responder a seguinte questão: "Qual é a máquina VLIW adequada para uma dada aplicação ?,'. Ou ainda, "Quantos bancos de registradores e quantas unidades funcionais o processador para esta aplicação deveria ter?" / Abstract: The untiring search for faster machines, alIied to the great technological advances in the field of integrated circuits conception, brought out the Very Long Instruction Word architectures from an amorphous status to reality. Although they have appeared recently as real chips [1], the VLIW machines were idealized some decades ago [13, 16, 22, 23]. The microprocessors that define this processing model no longer obey classical rules of execution: instructions coming from one of the possible control flows resulted of a branch instruction are executed even before the finish of the evaluation condition. This evaluation condition will determine if the control transfer should occur or noto Also, these architectures execute simultaneously many instructions, of different kinds, issued from the same programo Moreover, these processors compute programs that were compiled through a revolutionary way: alI the program is analized to search for paralelizable operations. As an attempt to contribute to this research field, this work aim the development of a methodology to detect and exploit the paralelism "hided" in sequential-written programs. The results generated by this search are analized and quantified in order to find a targetarchitecture for a specific application. This work is inserted in the context of an area calIed Embedded Systems. This research field worry about the maximum optimization of an application class or even only one key-application of a embedded system. The architecture model considered in this work is denoted as "Partitioned VLIW Architecture". This model is slightly different of the ideal VLIW architecture model. In the ideal model, there must be only one centralized register file, in order to guarantee the maximum Instruction Levei ParalIelism (ILP). AlI the functional units share the same register file. On the other hand, the architecture model being considered here presents many distributed register files, which have an special bus to communicate data among them. With this architecture model in mind, the work developed in this thesis investigates some of the problems related to mapping one specific application to an embedded VLIW architecture. Roughly speaking, this work tries to answer the following question: "What is the ideal VLIW architecture for a given application'1" or "How many register files and how many functional units the processor for that application should have '1" / Mestrado / Mestre em Ciência da Computação

Orientador: Clesio Luis Tozzi / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T23:49:11Z (GMT). No. of bitstreams: 1 Bellon_OlgaReginaPereira_M.pdf: 1421898 bytes, checksum: 784c9208defce208f7dd1448bd181f8b (MD5) Previous issue date: 1990 / Resumo: No presente trabalho apresenta-se um sistema para determinar a localização de objetos no espaço tridimensional, podendo o mesmo ser inserido no contexto de visão computacional. 0 trabalho foi dividido em duas etapas principais: calibração da câmera e localização do objeto no espaço 3D. Na primeira etapa é feita uma discussão acerca da teoria envolvida/ bem como são mostrados alguns resultados práticos obtidos a partir de sua implementação. Na segunda etapa é apresentado o método desenvolvido para determinar a localização do objeto a partir de informações referentes ao seu modelo geométrico utilizando-se visão monocular. Seguem-se os resultados experimentais obtidos / Abstract: It is presented a system for locating objects in a 3D space and that can be considered in the context of computer vision. The work is divided in two main parts: camera calibration, and the 3D space position of the object. In the first step a discussion on the theory of camera calibration procedure is made and some practical results are presented. In the second step it is presented the developed method for determining the object position in the space from its geometric model information and through the employement of monocular vision. The final experimental results are then analysed / Mestrado / Mestre em Engenharia Elétrica

Orientador : Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T23:48:33Z (GMT). No. of bitstreams: 1 Chaim_MarcosLordello_M.pdf: 9685376 bytes, checksum: 62dd048f141f0aa396783b07b16c711e (MD5) Previous issue date: 1991 / Resumo: Os principais aspectos da especificação e implementação de uma ferramenta multilinguagem para suporte ao teste estrutural de programas baseado em fluxo de dados são apresentados. Na versão atual a ferramenta, denominada PORETOOL, suporta o teste de programas escritos na linguagem C e automatiza a aplicação dos critérios Potenciais Usos (PU) [MAL88a, MAL88b]. Os pontos mais relevantes e os principais algoritmos da implementaçâo são apresentados em detalhe. São também descritos os passos do procedimento a ser realizado por um usuário configurador para gerar configurações desta ferramenta para outras linguagens procedurais. Os aspectos funcionais e de controle de atividades da POKE- TOOL são ilustrados através de uma sessão de trabalho completa, que mostra a aplicação da ferramenta em um programa; o programa exemplo foi extraído de um conjunto de programas utilizado para conduzir um "benchmark" dos critérios Potenciais Usos / Abstract: The main aspects of the specification and implementation of a multilanguage tool for structural data flow testing of programs are presented. In the present version, the tool, named POKE- TOOL, supports the test of programs written in C; it automates the application of the Potential Uses Criteria [MAL88a, MAL88b]. The most relevant points and main algorithms of the implementation are presented in detail. We also describe the steps of the procedure to be carried out by a user-configurer to generate configurations of the tool for other procedural languages. Functional and activities control aspects of POKE- TOOL are ilustrated through a complete work session, showing the application of the tool on a program; the examp]e program was extracted from a set of programs used to conduct a benchmark of the Potential Uses criteria / Mestrado / Mestre em Engenharia Elétrica

Orientador: Arthur João Catto / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-13T23:43:49Z (GMT). No. of bitstreams: 1 Silva_SergioRobertoPereirada_M.pdf: 3782784 bytes, checksum: 8771856aad12b2f4a67a5a5f06a2c221 (MD5) Previous issue date: 1991 / Resumo: Este trabalho apresenta o desenvolvimento e a análise de um modelo para a arquitetura de fluxo de dados de Manchester empregando a Teoria Geral de Redes. As fases de desenvolvimento do modelo encontram-se detalhadas demonstrando a aplicabilidade desta teoria à modelagem de sistemas com tarefas concorrentes. Na fase de validação do modelo foi utilizado para sua análise um método analítico determinístico baseado em redes de Petri, o modelo-Q. Este mesmo método foi empregado na fase de análise do modelo, visando a identificação de pontos de estrangulamento do desempenho da arquitetura, e na avaliação de algumas alternativas, visando a remoção destes pontos. O trabalho, além de desenvolver um modelo para a arquitetura de fluxo de dados de Manchester, demonstra a potencialidade deste tipo de ferramenta para identificação de problemas e avaliação de alternativas de projeto para esta classe de máquinas. / Abstract: This work presents the development and analysis of a model for the Manchester data flow architecture using the General Net Theory. The model's development phases are detailed, demonstrating the applicability of such theory to the modelling of systems with concurrent tasks. During the model's validation phase, an analytical deterministic method based on Petri nets, the Q-model, was used. The same method was used during the model's analysis phase, aiming at identifying performance bottlenecks in the architecture and at evaluating alternatives in order to correct such problems. The work, besides developing a model for the Manchester data flow architecture, demonstrates the potential of this kind of tool for identifying problems and evaluating design alternatives for this class of machines. / Mestrado / Mestre em Ciência da Computação

Orientador: Clesio Luiz Tozzi / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T01:57:32Z (GMT). No. of bitstreams: 1 Barros_FernandoCarvalhode_M.pdf: 5841624 bytes, checksum: dd27ebf7b722af56f84e75772b484f28 (MD5) Previous issue date: 1991 / Resumo: Esta dissertação apresenta o desenvolvimento e implementação de um sistema de Visão Computacional monocular para reconhecimento e localização de objetos no espaço tri-dimensional. São apresentadas também as técnicas de processamento Paralelo MIMO e SIMO aplicadas à este sistema, visando uma redução de seu tempo de execução total. Este trabalho é multidisciplinar e pode ser inserido nos contextos de Visão Computacional,Automação Industrial, Robótica e processamento Paralelo. São apresentados resultados experimentais do sistema aplicado à Imagens reais. Procura-se mostrar como os resultados de precisão e velocidade conseguidos no sistema possibilitam sua utilização em tarefas típicas de ambientes industriais. Como um resultado prático, mostra-se que, utilizando-se 9 transputers, consegue-se que o sistema reconheça e localize, em 33ms, um paralelepípedo com complexidade de 706 pixels de borda. Mostra-se também que a precisão dos resultados obtidos situa-se dentro das especificações atualmente aceitas pela literatura especializada / Abstract: This dissertation describes the development and Implementation of a computer Vision System for the recognition and localization of objects In 3D space through monocular computer vision. This work Is multidisciplinary and It can be Inserted In the context of Computer Vision, Industrial Automaton, Robotics and Parallel Processing. It Is shown the experimental results of this system applied to real Images. And It is also shown how these results - mainly in precision and speed ¿ allows its use typical tasks in industrial environment. As a practical result, with nine tranputer5, real-time operation Is achieved for an Image of a parallelepiped with 706 edge pixels complexly. It Is also presented that the precision achieved by this system falls into the specifications accepted by the specialized literature / Mestrado / Mestre em Engenharia Elétrica

Orientador : Jairo Panetta / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-14T01:56:28Z (GMT). No. of bitstreams: 1 MullerJunior_Bruno_M.pdf: 2086664 bytes, checksum: 7172d83771d9e983497bbefe376709a4 (MD5) Previous issue date: 1991 / Resumo: Este trabalho apresenta uma interface de comunicação entre um ambiente de reestruturação de programas e o usuário. A interface contém um conjunto de componentes gráficos (widgets) que permitem ao usuário interagir amigavelmente com o seu programa. Estes componentes gráficos estão divididos em dois grupos, widgets tradicionais e widgets específicos ao ambiente em questão. Dentre os widgets específicos destaca-se o widget que desenha hierarquias. Grande parte deste trabalho concentra-se no algoritmo que efetua o desenho, apresentando melhoramentos ao algoritmo conhecido na literatura / Abstract: Not informed / Mestrado / Mestre em Ciência da Computação

Orientador : Mauricio Prates de Campos Filho / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-14T03:11:00Z (GMT). No. of bitstreams: 1 Barczak_CzeslauLubomiro_D.pdf: 6088416 bytes, checksum: 88c7746f44719cebb2186511d730018a (MD5) Previous issue date: 1987 / Resumo: O problema considerado neste trabalho está relacionado com a implementação de computadores e controladores no controle de processos industriais, em cuja arquitetura prevê-se a inclusão de meios de diagnose e de tratamento de faltas que podem ocorrer durante a fabricação e durante a operação dos sistema, atribuindo-lhe características de tolerância a faltas.O objetivo é a utilização plena de recursos de projeto e de construção de computadores tolerantes a faltas para controle industrial, dentro de certos critérios de limitação desses recursos. No capítulo I, discute-se a obtenção de dados e critérios bem como o estabelecimento de modelos do problema. São estabelecidas definições claras dos diversos elementos necessários para decidir se, onde e como implementar a tolerância a faltas. Uma discussão sobre a terminologia e algumas sugestões são incluídas no capítulo II, para melhor definição de termos em português. Com certa ênfase são discutidos os conceitos de falta, falha e erro, seu diagnóstico e tratamento, bem como as formas de tolerá-los. Algumas soluções já adotadas em sistemas existentes são apresentadas e discutidas no capitulo III. Embora aplicadas, em geral, a situações muito criticas, foram estudada para se obter uma noção mais clara de suas limitações e, incorporar um certo "insight" do problema. No capítulo III, discute-se alguns aspectos de modelagem e do uso de redundâncias em um sistema. Modelos de Markov são explicados, modelos para sistemas tolerantes a faltas são introduzidos, a análise combinatória de sistemas com redundâncias e modelos de Markov para sistemas com reparo são discutidos. Para a análise do comportamento de um sistema com características de tolerância a faltas e no qual se considere as faltas que podem ocorrer durante a sua fabrição bem como durante sua operação, alguns modelos são desenvolvidos e investigados. No capítulo V, desenvolve-se modelos matemáticos para a análise do comportamento de sistemas como acima exposto, considerando que o processo a ser analisado é estocástico em sua natureza, e muito complexo. A escolha de modelos de Markov pôde ser considerada natural. Um grafo de Markov é utilizado e um modelo de equações diferenciais, é estabelecido. Com esses modelos pode-se avaliar o comportamento do sistema em termos de confiabilidade, disponibilidade, ou outros critérios similares. Um modelo geral de Markov é proposto. Na modelagem, considera-se que faltas de fabricação podem incluir falhas de componentes que ocorrem durante o processo de difusão ou outras falhas que ocorrem na fabricação de circuitos integrados. Faltas também podem ocorrer durante a montagem dos circuitos, durante a montagem de subsistemas, e podem incluir, ainda, falhas humanas e erros de projeto (de componentes, de circuitos, de subsistemas). Todas essas falhas são consideradas como faltas de fabricação. Por outro lado, faltas de operação podem incluir falhas de componentes ou subsistemas (faltas de hardware), erros de programação (faltas de software), erros de operação, erros de manutenção, erros de manuseio. Alguns exemplos de aplicação e estudos de casos são apresentados no capitulo VI, acompanhados de uma discussão dos resultados. Conclusões são apresentadas no capitulo VI. Diversas sugestões para futuros trabalhos são também apresentadas no Apêndice A / Abstract: The problem investigated in this work is related to the use of computers and controlers in industrial process controls considering that faults may occur in the system during the manufacture and during the operation on the system. The means used for diagnosis and processing of this kind of faults, and the characteristics of fault-tolerance of the system are also discussed. The target of the work is to enhance the perspectives for design and construction of such fault-tolerant machines for use as controllers in industrial processes, considering some criteria for the limited resources. In chapter I, data and criteria for the design of a fault tolerant computer are presented, and the possibilities of modeling the problem. A review of definitions and of the elements necessary for decisions like if, where and how to implement fault tolerance, is made. A short discussion about the terminology and some suggestions are included in chapter II for a better definition in portuguese. Some emphasis is made in relation to the definitions of the concepts: fault, failure and error, the diagnosis and the means to tolerate them. Some actual solutions are presented in chapter III. These cases are usually applied to very critical situations but, in order to clear the limitations of this solutions and to acquire some insight and skill for the proposition of new solutions of the problem, it was decided to include them. In chapter IV, some modeling aspects and the use of redundance in a system are presented. Markov models are explained, mathematical models for fault-tolerant systems are introduced and combinatorial analysis of redundant elements and Markov models for systems with repair are discussed. In order to analyse a fault-tolerant system, where faults may initiate during the manufacture of the system and during the operation of the system, some models are investigated. In chapter V, mathematical models are developed for the analysis of the behavior of a system like above explained, considering that the processes to be analysed are stochastic in its nature, and very complex. A Markov graph model and the corresponding diferential equations model are established. With this kind of models one can evaluate the system behavior in terms of reliability, availability, or other similar criteria. A general Markov model is proposed. In the modeling, is considered that manufacture faults may include component failure during the difusion process or other failures that occur in the integrated circuit manufacture. Failures may initiate during the circuit assembly, or subsystems assembly, and may includes human failures and design errors (of components, circuits, subsystems). All this failures are considered as manufactured failure. Operating faults on the other hand, can include components and subsystem failure (hardware failures), programming errors (software failures), operating errors, repairing errors, handling errors. Some applications and case studies are made in chapter VI, and the results are discussed. Conclusions are presented in chapter VII. Many future work suggestions are presented and discussed in Apendix A / Doutorado / Doutor em Engenharia Mecânica