[pt] A visualização volumétrica é uma importante técnica para a exploração de dados tridimensionais complexos, como, por exemplo, o resultado de análises numéricas usando o método dos elementos finitos. A aplicação eficiente dessa técnica a malhas não-estruturadas tem sido uma importante área de pesquisa nos últimos anos. Há dois métodos básicos para a visualização dos dados volumétricos: extração de superfícies e renderização direta de volumes. Na primeira, iso-superfícies de um campo escalar são extraídas explicitamente. Na segunda, que é a utilizada neste trabalho, dados escalares são classificados a partir de uma função de transferência, que mapeia valores do campo escalar em cor e opacidade, para serem visualizados. Com a evolução das placas gráficas (GPU) dos computadores pessoais, foram desenvolvidas novas técnicas para visualização volumétrica interativa de malhas não-estruturadas. Os novos algoritmos tiram proveito da aceleração e da possibilidade de programação dessas placas, cujo poder de processamento cresce a um ritmo superior ao dos processadores convencionais (CPU). Este trabalho avalia e compara dois algoritmos para visualização volumétrica de malhas não-estruturadas, baseados em GPU: projeção de células independente do observador e traçado de raios. Adicionalmente, são propostas duas adaptações dos algoritmos estudados. Para o algoritmo de projeção de células, propõe-se uma estruturação dos dados na GPU para eliminar o alto custo de transferência de dados para a placa gráfica. Para o algoritmo de traçado de raios, propõe-se fazer a integração da função de transferência na GPU, melhorando a qualidade da imagem final obtida e permitindo a alteração da função de transferência de maneira interativa. / [en] Volume visualization is an important technique for the exploration of threedimensional complex data sets, such as the results of numerical analysis using the finite elements method. The efficient application of this technique to unstructured meshes has been an important area of research in the past few years. There are two basic methods to visualize volumetric data: surface extraction and direct volume rendering. In the first, the iso-surfaces of the scalar field are explicitly extracted. In the second, which is the one used in this work, scalar data are classified by a transfer function, which maps the scalar values to color and opacity, to be visualized. With the evolution of personal computer graphics cards (GPU), new techniques for volume visualization have been developed. The new algorithms take advantage of modern programmable graphics cards, whose processing power increases at a faster rate than the one observed in conventional processors (CPU). This work evaluates and compares two GPU- based algorithms for volume visualization of unstructured meshes: view- independent cell projection (VICP) and ray-tracing. In addition, two adaptations of the studied algorithms are proposed. For the cell projection algorithm, we propose a GPU data structure in order to eliminate the high costs of the CPU to GPU data transfer. For the raytracing algorithm, we propose to integrate the transfer function in the GPU, which increases the quality of the generated image and allows to interactively change the transfer function.

[pt] Estruturas metálicas de arquibancadas reutilizáveis ou temporárias são utilizadas em grandes eventos públicos, sendo compostas por barras e conectores, com montagem realizada in loco. O elevado nível de cargas rítmicas aplicadas a tais estruturas e sua característica de múltipla reutilização, a difere de estruturas comuns da Engenharia Civil, exigindo que elas sejam projetadas de modo a evitar o efeito de ressonância dinâmica. Isso significa que, ao otimizar tais estruturas, deve-se considerar a restrição relativa às freqüências naturais que devem estar fora da faixa das freqüências solicitantes. Além disso, é necessário que a estrutura responda adequadamente às cargas estáticas. Disto resulta que eventuais melhorias no seu desempenho estático e dinâmico trarão benefícios diretos ao projeto. A idéia deste trabalho é propor a otimização do projeto estático e dinâmico de arquibancadas reutilizáveis, utilizando-se modelagem e análise numérica de estruturas reais pelo Método dos Elementos Finitos (ANSYS 5.4/5.5 - APDL), e otimização por método de programação matemática. Pretende-se atingir o dimensionamento ótimo dos elementos componentes da estrutura, sob carga estática, baseado nos parâmetros peso e tensão, além de verificar o nível de segurança contra colapso quando sujeitas a solicitações rítmicas intensas, propondo critérios para a correta disposição do contraventamento, observando as variações nas freqüências naturais e modos de vibração. A otimização dessas estruturas de grande aplicação comercial trará benefício imediato à população. / [fr] Les structures métalliques qui sont utilisés en gradins réutilisables ou temporaires pour les grands événements publics sont composés par barres et connecteurs. Le haut niveau de charges dynamiques que ces structures sont sujets et as caractéristique d être réutilisables, la rend différent des autres structures de l ingénieur civil. Alors, elles doivent être donné évitant l effect de résonance dynamique. Cet-à-dire, lorsque nous optimisons ces structures, nous devrions considérer la restriction relative aux fréquences naturelles qui devraient être dehors de la bande des fréquences sollicitant. En plus, c est nécessaire qu elle réponde convenablement aux charges statiques. Alors, quelconque amélioration en son suppléant statique et dynamique apportera des avantages directs au projet. L idée de ce travail est proposer l optimisation du projet statique et dynamique de gradins réutilisabless en utilisant modélisation et analyse numérique de structures par la méthode des éléments finis (ANSYS 5.4/5.5-APDL) et optimisation par la méthode de programmation mathématique. Le projet optimum des éléments de la structure, sujet à charge statique, est basé sur les suivant paramètres : Poids et tension. En plus, il faut vérifier le niveau de sécurité contre la ruine lorsqu elles sont sujet à charges dynamiques intenses, en proposant des critères pour la correcte disposition du fortifier, en observant les variations dans les fréquences naturelles et façons de vibration. L optimisation de ces structures des beaucoup d applications apportera d avntage immédiat à la population.

[pt] A estimação dos fluxos de potência e perdas técnicas nos sistemas de subtransmissão é um grande desafio para as distribuidoras pela importância no planejamento e operação do sistema. Por isso, surge a necessidade de contar com modelos que permitam simular estas grandezas, para o adequado planejamento do sistema. Neste trabalho é proposto e implementado um modelo de estimação de fluxos de potência e perdas técnicas em um sistema de subtransmissão baseado na desagregação de potência da demanda importada da rede de transmissão. A metodologia envolve a determinação de fatores de desagregação por barra associados à importação total de potência, estimação dos fluxos de potência DC usando a matriz de sensibilidade ramo-barra caraterística da rede elétrica e, finalmente, a estimação das perdas elétricas. O sistema IEEE 24 barras foi utilizado para o caso de estudo. Neste caso, a rede elétrica de 230 kV foi tratada como a rede de transmissão e a rede de 138 kV como a rede de subtransmissão. Dados de geração e carga realistas, com base horária e ao longo de um ano, foram utilizados para estimar os parâmetros dos modelos. Para avaliar os resultados, foram utilizadas métricas estatísticas e os resultados foram comparados com um modelo puramente estatístico, que correlaciona a importação total com as potências injetadas em cada barra, os fluxos nas linhas e as perdas totais. Os resultados obtidos indicaram que o modelo proposto ganha importância quando é possível controlar algumas injeções da rede elétrica, tornando-o mais dependente da rede elétrica. / [en] The estimation of the power flows and technical losses in the subtransmission systems is a great challenge for electricity distribution companies because of their importance in the planning and operation of the system. Therefore, there is the increasing need to have models that allow to simulate these variables for the proper planning of the system. In this work, a model of estimation of power flows and technical losses in a subtransmission system is proposed and implemented; this model is based on the power disaggregation of the imported demand from the transmission network. The methodology involves the determination of buses disaggregation factors associated with total power import, estimation of DC power flows using the bus-branch sensitivity matrix of the network and finally the estimation of the electrical losses. The IEEE 24 bus system was used for this study case. In this case, the 230 kV power grid was treated as the transmission network and the 138 kV network as the subtransmission network. Realistic generation and loading data, based on hourly time and over the span of a year, were used to estimate the parameters of the models. In order to evaluate the results, statistical metrics were used and the results were compared with a purely statistical model, which correlates the total imports with the injected power in each bus, line flows and total losses. The obtained results indicate that the proposed model gains importance when it is possible to control some of the injections into the power grid, turning it more dependent of the power grid.

Esta tese de doutorado apresenta um modelo de especificação, textual e grafico, para sistemas transacionais em banco de dados (ER/T+) e, também, um modelo de implementação desta especificação. Sugere uma técnica de proceduralização de especificações declarativas, usando um grafo de dependencia de fluxos de dados para estabelecer a relação de precedecia entre os fluxos do diagrama da linguagem gráfica de especificação. Apresenta, também, os mecanismos de execução da linguagem de especificação proposta e as regras de mapeamento da linguagem de especificação, em seus aspectos estruturais (dados) e comportamentais (transações), para correspondentes construções na linguagem de implementação (C e SQL). Adicionalmente, são discutidos aspectos de otimização de consultas no âmbito da linguagem de especificação de transações e, também, aspectos de aninhamento de consultas para combinar diversos fluxos do diagrama ER/T+ em expressões complexas de consultas SQL. / This Ph.D thesis presents a graphic and textual specification model for database transactions systems (ER/T+) and, also, an implementation model for this specification. Suggest a proceduralization technique for declarative specifications using a data flow dependency graph to establish a precedence relation between the diagram flows of the graphics specification language. Furthermore it presents the execution mechanism of the proposal specification language and the behavioral and structural rules for mapping the specification language into corresponding implementation language (C and SQL) constructions. Additionaly, are discussed query optimization aspects for transaction specification language and aspects of nested queries to combine various ER/T+ diagram flows into complex SQL query expressions

[pt] A definição da estratégia de produção de petróleo é uma tarefa muito importante que consiste em um processo bastante complexo devido à grande quantidade de variáveis envolvidas. Estas variáveis estão relacionadas com características geológicas, fatores econômicos e decisões como alocação de poços, número de poços produtores e injetores, condições operacionais e cronograma de abertura de poços. No contexto da otimização da produção de petróleo, o objetivo é encontrar a melhor configuração de poços que contribua para maximizar, na maioria dos casos, o valor presente líquido (VPL). Esse valor é calculado, principalmente, a partir do óleo, gás e água produzidos do campo, que são encontrados através do uso do simulador de reservatórios. Porém, vários parâmetros e variáveis devem ser prefixados e inseridos no sistema de simulação para que esses valores de produção sejam previstos. Esse processo geralmente exige um alto custo computacional para modelar as transferências de fluidos dentro do reservatório simulado. Assim, o uso de simuladores pode ser substituído por aproximadores. Neste estudo, eles são desenvolvidos através da Programação Genética Linear com Inspiração Quântica, uma técnica da Computação Evolucionária. Esses aproximadores serão utilizados para substituir a simulação do reservatório no processo de otimização da localização e tipo de poços a serem perfurados em um campo petrolífero. Para a construção dos proxies de reservatório, as amostras, originadas utilizando a técnica do Hipercubo Latino, foram simuladas para a criação da base de dados. O modelo para criação de aproximadores foi testado em um reservatório sintético. Dois tipos de otimização foram realizados para a validação do modelo. A primeira foi a otimização determinística e a segunda uma otimização sob incerteza considerando três diferentes cenários geológicos, um caso onde o número de simulações é extremamente alto. Os resultados encontrados apontam que o modelo para a criação de proxies consegue bom desempenho na substituição dos simuladores devido aos baixos erros encontrados e na considerável redução do custo computacional. / [en] The purpose of oil production strategy in the context of production optimization is to find the best configuration of wells that contributes to maximizing the Net Present Value. This value is calculated mainly from the amount of oil, gas, and water recovered from the field, which can be obtained by running the reservoir simulator. However, many parameters and variables must be prefixed and inserted into the simulation system in order to generate these production values. This process involves a high computational cost for modeling the transfer of fluids within the simulated reservoir. Thus, the use of simulators may be substituted by approximators. In this thesis, we aim to develop these approximators using Quantum-Inspired Linear Genetic Programming, a technique of Evolutionary Computation. These approximators were used to replace the reservoir simulation in the process of optimizing the location and type of wells to be drilled in a field. For the reservoir proxies construction, samples obtained from the technique of Latin Hypercube were simulated to create the database. The model for creating approximators was tested on a synthetic reservoir. Two types of optimization were performed to validate the model. The first was a deterministic optimization and the second an optimization under uncertainty considering three different geological settings, a situation in which the number of simulations becomes extremely high. Our results indicated that the model for the creation of proxies achieves a satisfactory performance in the replacement of simulators due to low levels of errors and a considerable reduction of the computational cost.

Esta tese de doutorado apresenta um modelo de especificação, textual e grafico, para sistemas transacionais em banco de dados (ER/T+) e, também, um modelo de implementação desta especificação. Sugere uma técnica de proceduralização de especificações declarativas, usando um grafo de dependencia de fluxos de dados para estabelecer a relação de precedecia entre os fluxos do diagrama da linguagem gráfica de especificação. Apresenta, também, os mecanismos de execução da linguagem de especificação proposta e as regras de mapeamento da linguagem de especificação, em seus aspectos estruturais (dados) e comportamentais (transações), para correspondentes construções na linguagem de implementação (C e SQL). Adicionalmente, são discutidos aspectos de otimização de consultas no âmbito da linguagem de especificação de transações e, também, aspectos de aninhamento de consultas para combinar diversos fluxos do diagrama ER/T+ em expressões complexas de consultas SQL. / This Ph.D thesis presents a graphic and textual specification model for database transactions systems (ER/T+) and, also, an implementation model for this specification. Suggest a proceduralization technique for declarative specifications using a data flow dependency graph to establish a precedence relation between the diagram flows of the graphics specification language. Furthermore it presents the execution mechanism of the proposal specification language and the behavioral and structural rules for mapping the specification language into corresponding implementation language (C and SQL) constructions. Additionaly, are discussed query optimization aspects for transaction specification language and aspects of nested queries to combine various ER/T+ diagram flows into complex SQL query expressions

Made available in DSpace on 2016-08-18T12:52:12Z (GMT). No. of bitstreams: 1 DISSERTACAO_LUCIANA SANTOS SOUSA.pdf: 3790913 bytes, checksum: 01be021d698e27ca4ac02535f3f96f53 (MD5) Previous issue date: 2015-05-28 / With a growing number of digital literary books aimed at children, it is appropriate that these platforms become the subject of study and research to find out if the interfaces follow the guidelines of usability for children. As an object of research, this case study focus on Portal Biblon, which is defined as a social network for children with the purpose of promoting encouragement of children's literature, to evaluate its interface with emphasis on system usability and in the user experience of children. The methodology adopted was qualitative research, consisted of theoretical, empirical and exploratory phases. As a tool for data collection, this research made use of interview, assessment of Biblon portal interface, user observation, thinking out loud, actual usage record, Likert scale and survey of satisfaction and focus groups. The research shows the results obtained from heuristic evaluation with experts, based on guidelines of the authors Nielsen (1995), Shneiderman (2005) and Guaraldo and Andrade (2014), usability tests with children and observations made by the researcher during the usability test. It is considered that the Portal Biblon platform is an interactive product that allows kid's interaction with other kids and with the world of digital books. However, the portal's evaluation of usability pointed out some interface aspects that could be improved, and consequently provide a better user experience. Through the results, it was prepared a list of recommendations to improve Biblon Portal's usability that can also serve other children's literature websites with the same goal as Biblon. / Com o crescente número de livros literários digitais voltados ao público infantil, convém que essas plataformas sejam alvo de estudo e pesquisa para descobrir se as interfaces seguem as diretrizes de usabilidade para o usuário infantil. O estudo de caso em voga tem o Portal Biblon como objeto de pesquisa, definido como uma rede social voltada para crianças a fim de promover o incentivo à literatura infantil, objetivando avaliar a sua interface com ênfase na usabilidade do sistema e na experiência do usuário infantil. Foi adotada como metodologia a pesquisa qualitativa, composta das fases teórica, exploratória e empírica. Como instrumento para coletas de dados, a investigação valeu-se da entrevista, avaliação da interface do Portal Biblon, observação do usuário, pensando em voz alta, registro do uso real, escala de Likert e questionário de satisfação e grupo focal. A pesquisa apresenta os resultados obtidos a partir de avaliação heurística com especialistas, baseado nas diretrizes dos autores Nielsen (1995), Shneiderman (2005) e Guaraldo e Andrade (2014), teste de usabilidade com o usuário infantil e observações feitas pela pesquisadora durante o teste de usabilidade. Considera-se que a plataforma Portal Biblon é um produto interativo que permite às crianças interatividade com outras crianças e com o mundo dos livros digitais. Porém, a avaliação da usabilidade do Portal apontou alguns aspectos na interface que podem ser melhorados e, consequentemente, proporcionar uma melhor experiência de usuário. Por meio dos resultados, elaborou-se uma lista de recomendações na usabilidade do Portal Biblon e que, por consequência, servem para outros sites de literatura infantil que têm o mesmo objetivo deste.

Submitted by Marta Toyoda (1144061@mackenzie.br) on 2018-05-03T00:05:28Z No. of bitstreams: 2 ALCIDES TEIXEIRA BARBOZA JUNIOR.pdf: 9020009 bytes, checksum: 471b5496a42233bdb8f2c97b65202fd4 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Paola Damato (repositorio@mackenzie.br) on 2018-05-04T16:06:30Z (GMT) No. of bitstreams: 2 ALCIDES TEIXEIRA BARBOZA JUNIOR.pdf: 9020009 bytes, checksum: 471b5496a42233bdb8f2c97b65202fd4 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-05-04T16:06:30Z (GMT). No. of bitstreams: 2 ALCIDES TEIXEIRA BARBOZA JUNIOR.pdf: 9020009 bytes, checksum: 471b5496a42233bdb8f2c97b65202fd4 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-03-12 / Digital games make use of the principles related to the concepts of persuasion, motivation and engagement, principles that are often applied intuitively and unsystematically in the game design process. However, these principles are not always followed, they need more precise definitions, as well as a systematization. Therefore, this thesis aims to propose a framework called PerMotivE (Persuasion - Motivation - Engagement), formed by three components: the first is a conceptual model, called PerMotivE Model, whose objective is to define guidelines and relations between these bases in a systematization of the concepts persuasion, motivation and engagement based on a literature review; the second is a software architecture proposal that aims to support the use of the framework, this component is called PerMotivE Maker; the third component of the framework establishes a set of elements that make up a simplified GDD proposal, called PerMotivE Artifacts, making available the artifacts used in a game design, analyzed by means of Bayesian networks, as to its adherence to the proposed guidelines in the conceptual model . Based on the components of this framework, a web application was developed with the aim of evaluating it together with a limited group of designers to evaluate its pertinence in the elaboration of some game designs. These designs were evaluated qualitatively and quantitatively in order to verify the relevance of the framework. It has been found that the conceptual model can help designers to understand the principles that influence, motivate and engage players in games. It was also noticed that some guidelines could not be evaluated due to the inexistence of game prototypes analyzed through their designs. It has also been found that the application developed for the tests can be expanded to assist the game design process more broadly. In general, the framework was adequate for the purpose of evidencing the principles related to persuasion, motivation and engagement that can be worked on in the game design process from its artifacts. / Os jogos digitais fazem uso dos princípios relacionados aos conceitos de persuasão, motivação e engajamento, princípios que, na maioria das vezes são aplicados de forma intuitiva e não sistemática no processo de game design. Contudo, nem sempre esses princípios são devidamente seguidos, uma vez que carecem de definições mais precisas, bem como de uma sistematização. Isto posto, esta tese tem como objetivo propor um framework denominado PerMotivE (Persuasão – Motivação – Engajamento), formado por três componentes: o primeiro é modelo conceitual, denominado de PerMotivE Model, cujo objetivo é definir diretrizes e relações entre estas embasado em uma sistematização dos conceitos de persuasão, motivação e engajamento com base em uma revisão de literatura; o segundo é uma proposta de arquitetura de software que visa dar suporte ao uso do framework. Este componente é denominado PerMotivE Maker. O terceiro componente do framework estabelece um conjunto de elementos que compõem uma proposta de GDD simplificado, denominado de PerMotivE Artifacts, disponibilizando os artefatos utilizados em um game design analisados computacionalmente, por meio de redes bayesianas, quanto à sua aderência as diretrizes propostas no modelo conceitual. Baseando-se nos componentes desse framework, foi desenvolvida uma aplicação web com o intuito de avaliá-lo junto com um grupo limitado de designers para avaliar sua pertinência na elaboração de alguns game designs. Tais designs foram avaliados de forma quali-quantitativamente a fim de verificar a pertinência do framework. Verificou-se que o modelo conceitual pode auxiliar os designers a compreender os princípios que influenciam, motivam e engajam os jogadores nos jogos. Também se percebeu que algumas diretrizes não puderam ser avaliadas devido à inexistência de protótipos dos jogos analisados por meio dos seus designs. Verificou-se também que a aplicação desenvolvida para os testes pode ser expandida para auxiliar o processo de game design de forma mais ampla. De forma geral, o framework se mostrou adequado quanto ao propósito de evidenciar os princípios ligados a persuasão, motivação e engajamento que podem ser trabalhados no processo de game design a partir dos seus artefatos.

[pt] Aplicações extensíveis por usuários finais representam uma proposta para tratar o problema de que é improvável que um software consiga atender a todas as necessidades específicas de cada usuário em um domínio. Uma das áreas de pesquisa de aplicações extensíveis é a de Programação por Usuários Finais ou End-User Programming (EUP). Investigações empíricas de EUP evidenciam a existência de práticas colaborativas relacionadas ao processo de extensão de aplicação, onde pessoas se comunicam com diversos objetivos: para ajudarem-se a resolver seus problemas com computação, para compartilhar extensões prontas ou construí-las conjuntamente. Nosso trabalho complementa essas investigações, contribuindo com um tratamento aprofundado e teoricamente motivado dos fenômenos de comunicação relacionados às práticas colaborativas observadas. Com base na teoria da Semiótica e na Engenharia Semiótica, propomos um modelo desses fenômenos, descrevendo sua estrutura e comportamento, permitindo assim uma melhor compreensão das questões relacionadas aos mesmos. De acordo com o modelo, projetamos uma linguagem computável para a representação de extensões de forma associada aos discursos das comunicações estudadas. / [en] Applications that are extensible by end-users represent a proposal to cope with the issue that it is improbable that a software will attend every specific need of each different user within a domain. One of the research areas approaching extensible applications is End-User Programming (EUP). EUP empirical investigations evidence the existence of collaborative practices related to the process of application extension. In these practices, people communicate with each other with various purposes: to help themselves deal with their problems regarding computing, to share ready-made extensions or to build extensions together. Our work complements these investigations by offering a deep and theoretically motivated treatment of the communication phenomena related to the observed collaborative practices. Based on Semiotics theory and Semiotic Engineering, we propose a model of these phenomena, describing its structure and behavior thus supporting a better understanding of the issues related to them. According to the model, we designed a computable language for the representation of extensions in association with corresponding communicative discourse.

[pt] O problema de Roteamento de Veículos com restrição de capacidade (CVRP) é um dos problemas mais estudados em Otimização Combinatória. Sendo uma generalização imediata do conhecido problema do Caixeiro Viajante, o CVRP tem atraído a atenção dos pesquisadores mais proeminentes da área desde os anos 60. Um dos algoritmos mais importantes para a sua resolução foi proposto no início dos anos 80 quando um algoritmo utilizando uma relaxação Lagrangeana particularmente adequada provou ser bastante superior aos algoritmos contemporâneos. Este algoritmo sugeriu a utilização de técnicas de geração de colunas que, nos anos seguintes até o início dos anos 90, assumiram o rótulo de melhor algoritmo para o CVRP. Finalmente, em meados dos anos 90, algoritmos de planos de corte apresentaram resultados que convenceram a comunidade de que esta deveria ser a abordagem para resolver os problemas mais difíceis de CVRP. Esta dissertação apresenta uma revisão deste algoritmos anteriores e propõe um formulação que permite reunir o melhor deles. O algortimo resultante, que pode ser rotulado como de branch-and-cut-and-price, trabalha com um número exponencial de variáveis e restrições que definem um espaço relaxado de soluções que corresponde à interseção dos espaços de solução relaxados utilizados pelos algoritmos anteriores. Esta dissertação também descreve um implementação especial do algoritmo de programação dinâmica para resolução do problema de geração de colunas. Estratégias para fazer um branching robusto também são discutidas. Tudo isso permite construir um algoritmo que é capaz de ter uma boa performance quando aplicado a diferentes classes de instâncias. A experiência computacional mostrou que a abordagem proposta obtém limites inferiores consistentemente melhores que os dos algoritmos anteriores. Mais ainda, permite resolver em tempo hábil diferentes tipos de instâncias de até 135 vértices, incluindo 18 que foram resolvidas pela primeira vez. / [en] The Capacitated Vehicle Routing problem (CVRP) has been one of the most studied problems in the field of Combinatorial Optimization. A straight forward generalization of the popular Travelling Salesperson problem, the CVRP has drawn attention of the most prominent researchers since the early 60`s. One of the most important algorithms appeared in the early 80`s when a suitable Lagrangean relaxation algorithm has demonstrated to be far better than the contemporary ones. This algorithm suggested the use of column generation algorithms that succeeded to become the best ones in the late 80`s and early 90`s. Finally, in the mid 90`s, cutting plane methods presented results that convinced the community that this should be the approach for solving the hardest CVRP problems. This dissertation presents an overview of those early algorithms and proposes a formulation that allows uniting the best contributions of them. The resulting algorithm, labeled as a branch-and-cut-and-price algorithm, deals with exponentially many variables and constraints that define a relaxed solution space that is the intersection of the relaxed solution spaces considered in the previous algorithms. The dissertation also describes a specially devised dynamic programming algorithm to solve the column generation subproblem and discusses robust branching strategies that altogether allowed to build an algorithm that perfoms well on several different classes of instances. The computational experience has shown that the approach here proposed leads to lower bounds superior than the previous ones. Moreover, it allowed to consistently solve instances with up to 135 vertices, including 18 that were solved for the first time.