Este trabalho apresenta uma ferramenta flexível e eficiente para o campo de projeto e desenho preliminar de cascos de embarcações. O estado da arte de projeto de cascos de embarcações consiste em um processo iterativo onde, primeiramente, definem-se parâmetros geométricos, de estabilidade, e hidrodinâmicos. Em seguida, o casco é modelado através de curvas paramétricas. submetido a uma análise de desempenho, e, após isso, é feita a tomada de decisão para otimizar os parâmetros iniciais. O ciclo se repete até que se atinja o resultado desejado. O que será apresentado cumpre com a parte de modelagem paramétrica, e é capaz de gerar de forma automática e otimizada curvas que compõem o projeto de uma embarcação de recreio. A ferramenta recebe parâmetros de alto nível, como razões adimensionais, coeficientes de forma e restrições, e desenha tridimensionalmente um casco intrinsecamente suave, de forma que todos os parâmetros especificados sejam atendidos. Uma metodologia de projeto de cascos de veleiros é utilizada em conjunto com curvas B-Splines, submetidas a um algoritmo de otimização, em cuja função objetivo se empregam critérios de suavidade (\"fairness criteria\"). O problema de otimização de curvas B-Splines é não linear, pela própria formulação da função objetivo e suas restrições. Para tal, utiliza-se um método de Programação Quadrática Seqüencial. Para a otimização dos parâmetros principais do casco, utiliza-se uma metodologia de baixo custo, baseada na técnica de Superfície de Resposta, que otimiza uma função de mérito, no caso, a resistência residual, variando-se dois parâmetros do casco. A interface com softwares CAD é desenvolvida com o objetivo de se realizar outras análises, como de curvatura da superfície, além do projeto do restante da embarcação. Neste também pode ser gerado o bloco sólido para integração com softwares de CAM para a usinagem e fabricação do mesmo. / This article presents a flexible and efficient tool to the field of ship project and preliminary design by using an approach of parametric modeling of hull forms. The state of the art of design of hulls consists in an iterative process where, first, geometric, stability and hydrodynamic parameters are defined. After that, the hull is modeled through parametric curves, simulated in a performance analysis software, and, after that, it is taken the decision to optimize the initial parameters. The cycle repeats until it reaches the desired result. This work deals with the part of parametric modeling, and is capable to generate, in an automatic way, optimized curves that compose the design of the hull of a yacht. The tool receives high level parameters, such as non-dimensional ratios, coefficients and restrictions, and draws a three-dimensional hull, intrinsically fair, fulfilling all the specified parameters. A methodology for the design of sail-boats is presented together with B-Splines curves, submitted to an optimization algorithm, using fairness criteria as the objective function. The optimization problem of B-Splines curves is not linear, because of its mathematical formulation, the objective function and constraints adopted. Therefore, a method of Sequential Quadratic Programming is used. For the optimization of the main parameters of the hull, a cost-effective methodology, based on the Surface Response Method, is proposed, optimizing a merit criterion, such as, the residuary resistance, changing two parameters of the hull. The interface with CAD software is implemented in order to allow other analyses, such as surface curvature, and the design of the other parts of the boat. The drawing also can be transformed into a solid model, and integrated with a CAM software to be ready for itsmanufacturing.

Esta dissertação de mestrado tem como objetivo a validação do modelo numérico de manobras para navios utilizado pelo simulador chamado SMH - Simulador Marítimo Hidroviário, que foi desenvolvido no laboratório Tanque de Provas Numérico. Para tanto foram realizados ensaios experimentais de manobras com um modelo em escala reduzida da embarcação Alpha Crucis com o objetivo de criar dados de manobra que serviram como referência para validação do modelo numérico. Foram selecionados diversos tipos de manobras com o propósito de criar uma caracterização da manobrabilidade da embarcação em baixas velocidades e regime transitório, permitindo a medição de diversas características, que permitem quantificar as capacidades de manobra da embarcação. Através de experimentos numéricos foram, então, realizadas as mesmas manobras executadas pelo modelo físico em escala reduzida, de forma a reproduzir as mesmas condições iniciais e os mesmos comandos, procurando reproduzir as manobras para validação do modelo implementado no SMH. Os resultados obtidos apresentam a aderência das características de manobras do modelo implementado no SMH, através da comparação das características de manobra obtidas pelo modelo físico em escala reduzida e das obtidas pelo modelo numérico. A dissertação apresenta ainda um estudo de sensibilidade que mostra o efeito dos principais fatores utilizados no laboratório Tanque de Provas Numérico para a calibração dos modelos de embarcações, mostrando que para as manobras consideradas neste trabalho alguns dos efeitos possuem pouca influência nos resultados. Por fim o trabalho conclui que o modelo matemático utilizado pelo SMH representa a capacidade de manobra da embarcação de forma consistente para diversos tipos de manobra, e com um grau de aderência satisfatório. / This research aims to present a validation for the ship maneuvering simulator named SMH, anachronym in Portuguese for Maritime and Waterway Simulator, developed on Tanque de Provas Numérico laboratory. For this propose small scale tests were performed with a model of Alpha Crucis ship aiming to create maneuver data that was used as reference for the numerical model validation. Several types of maneuver where selected to create a characterization of the maneuverability of the ship at low speeds and transient regime, and the parameters that quantify the maneuverability were measured. Then were performed numerical experiments recreating the same maneuver executed with the experimental model, with the same initial conditions and propulsion/rudder controls, trying to reproduce the maneuvers to validate the model implemented on the SMH. The results showed that the maneuvering characteristics predicted by the SMH simulator are similar to measured values in the experiment. The dissertation also presents a sensitivity study that shows the effect of the main parameters used in the laboratory Tanque de Provas Numérico for the vessel model calibration, This study showed that for some maneuvers, the tuning parameters have less influence on the results. Finally, the work concludes that the mathematical model used by the SMH represents the ability of the vessel to maneuver consistently for several types of maneuvers, and with a satisfactory degree of accuracy.

O problema do desenvolvimento do \"Software\" para a pilotagem automática de embarcações é tratado através da aplicação de conceitos de controle estocástico. O movimento da embarcação é descrito de forma aproximada através do modelo clássico das derivadas hidrodinâmicas. A partir do Princípio da Separação desenvolve-se um procedimento sequencial em que os problemas de estimação do estado e de controle são tratados concomitantemente com as identificação de efeitos não modelados da dinâmica adotada para o piloto automático. A estimação de estados realiza-se através do filtro estendido de Kalman, que opera sobre informações de posição e velocidade da embarcação. O controlador, de natureza sequencial, atua sobre a embarcação em tempo discreto, sendo o leme o único elemento de controle. O piloto automático proposto foi testado através de simulação digital e alguns resultados obtidos são apresentados e discutidos. / The software development problem for the ship automatic steering is considered through the application of stochastic control concepts. Ship motion is described in an approximate way by the classical hydrodynamic derivatives model. A sequential procedure based on the Separation Principle is developed, being state estimation and control problems handled simultaneously with the identification of unmodeled effects of automatic pilot ship dynamics. State estimates are provided by the extended Kalman filter by using ship position and velocity measurements. The rudder is the only control element for the sequential, discrete-time controller. Digital simulation is employed for testing of the proposed automatic pilot, and some results are presented and discussed.

O problema do desenvolvimento do \"Software\" para a pilotagem automática de embarcações é tratado através da aplicação de conceitos de controle estocástico. O movimento da embarcação é descrito de forma aproximada através do modelo clássico das derivadas hidrodinâmicas. A partir do Princípio da Separação desenvolve-se um procedimento sequencial em que os problemas de estimação do estado e de controle são tratados concomitantemente com as identificação de efeitos não modelados da dinâmica adotada para o piloto automático. A estimação de estados realiza-se através do filtro estendido de Kalman, que opera sobre informações de posição e velocidade da embarcação. O controlador, de natureza sequencial, atua sobre a embarcação em tempo discreto, sendo o leme o único elemento de controle. O piloto automático proposto foi testado através de simulação digital e alguns resultados obtidos são apresentados e discutidos. / The software development problem for the ship automatic steering is considered through the application of stochastic control concepts. Ship motion is described in an approximate way by the classical hydrodynamic derivatives model. A sequential procedure based on the Separation Principle is developed, being state estimation and control problems handled simultaneously with the identification of unmodeled effects of automatic pilot ship dynamics. State estimates are provided by the extended Kalman filter by using ship position and velocity measurements. The rudder is the only control element for the sequential, discrete-time controller. Digital simulation is employed for testing of the proposed automatic pilot, and some results are presented and discussed.

Esta dissertação de mestrado tem como objetivo a validação do modelo numérico de manobras para navios utilizado pelo simulador chamado SMH - Simulador Marítimo Hidroviário, que foi desenvolvido no laboratório Tanque de Provas Numérico. Para tanto foram realizados ensaios experimentais de manobras com um modelo em escala reduzida da embarcação Alpha Crucis com o objetivo de criar dados de manobra que serviram como referência para validação do modelo numérico. Foram selecionados diversos tipos de manobras com o propósito de criar uma caracterização da manobrabilidade da embarcação em baixas velocidades e regime transitório, permitindo a medição de diversas características, que permitem quantificar as capacidades de manobra da embarcação. Através de experimentos numéricos foram, então, realizadas as mesmas manobras executadas pelo modelo físico em escala reduzida, de forma a reproduzir as mesmas condições iniciais e os mesmos comandos, procurando reproduzir as manobras para validação do modelo implementado no SMH. Os resultados obtidos apresentam a aderência das características de manobras do modelo implementado no SMH, através da comparação das características de manobra obtidas pelo modelo físico em escala reduzida e das obtidas pelo modelo numérico. A dissertação apresenta ainda um estudo de sensibilidade que mostra o efeito dos principais fatores utilizados no laboratório Tanque de Provas Numérico para a calibração dos modelos de embarcações, mostrando que para as manobras consideradas neste trabalho alguns dos efeitos possuem pouca influência nos resultados. Por fim o trabalho conclui que o modelo matemático utilizado pelo SMH representa a capacidade de manobra da embarcação de forma consistente para diversos tipos de manobra, e com um grau de aderência satisfatório. / This research aims to present a validation for the ship maneuvering simulator named SMH, anachronym in Portuguese for Maritime and Waterway Simulator, developed on Tanque de Provas Numérico laboratory. For this propose small scale tests were performed with a model of Alpha Crucis ship aiming to create maneuver data that was used as reference for the numerical model validation. Several types of maneuver where selected to create a characterization of the maneuverability of the ship at low speeds and transient regime, and the parameters that quantify the maneuverability were measured. Then were performed numerical experiments recreating the same maneuver executed with the experimental model, with the same initial conditions and propulsion/rudder controls, trying to reproduce the maneuvers to validate the model implemented on the SMH. The results showed that the maneuvering characteristics predicted by the SMH simulator are similar to measured values in the experiment. The dissertation also presents a sensitivity study that shows the effect of the main parameters used in the laboratory Tanque de Provas Numérico for the vessel model calibration, This study showed that for some maneuvers, the tuning parameters have less influence on the results. Finally, the work concludes that the mathematical model used by the SMH represents the ability of the vessel to maneuver consistently for several types of maneuvers, and with a satisfactory degree of accuracy.

De maneira geral, o mercado náutico brasileiro ainda é muito restrito, principalmente o de pequenas embarcações. Nos últimos anos, porém, devido a uma maior exposição na mídia dos bons resultados internacionais de velejadores e exploradores brasileiros, a vela tem se popularizado. Esta dissertação descreve o projeto de um veleiro de pequeno porte para esporte/lazer fabricado em polietileno linear de média densidade (PEMD) pelo método da rotomoldagem. Este método tem se difundido rapidamente no exterior para a fabricação de equipamentos náuticos de pequeno porte, como veleiros e caiaques, proporcionando redução de custos e vantagens ambientais relacionadas ao processo de construção. A embarcação projetada é voltada para uma tripulação de duas pessoas adultas (ou um adulto e duas crianças) e foi dimensionada para um fácil transporte, possibilitando carregá-la sobre o bagageiro de um automóvel. O foco deste trabalho está no projeto naval. Desta forma, foram percorridas todas as etapas pertinentes de um projeto de veleiro, desde o projeto do casco, passando pelo projeto do plano vélico, projeto dos apêndices (bolina e leme), análise estrutural do casco em elementos finitos e verificação de desempenho comparativo com um veleiro bem conhecido no ramo da vela. Destaca-se o projeto do plano vélico, no qual, de forma otimizada, se obteve um conjunto de velas (mestra e buja) de bom desempenho, sem, contudo, comprometer a estabilidade do veleiro. Uma análise econômica preliminar indicou a possibilidade de se fabricar o veleiro rotomoldado com custo reduzido, abaixo do preço de mercado de veleiros do mesmo porte disponíveis no mercado nacional. Complementarmente, verificou-se também a possibilidade de se utilizar material reciclado na construção da embarcação, o que, além de ser uma alternativa para diminuir custos, proporciona benefícios ambientais ao minimizar sobras de produção. / In a general way, the Brazilian nautical market is still very restricted, specially the one of small dinghies. In the last years, however, mainly due to a greater exposure on the media based on good international results of Brazilian sailors and explorers, sailing has being popularized. This Msc. Thesis describes the design of a small sail dinghy, for sport or leisure use, made with medium density linear polyethylene using the method of rotomolding. This method has been spreading rapidly worldwide as a process of fabrication of small nautical crafts like sailboats and kayaks, since it results in cost reductions and environmental gains related to the construction process. The designed sailboat is directed for a crew of two adults (or an adult and two children), and was dimensioned for an easy transport, even on the top of a car. This work is focused on the development of the naval design. Therefore, it goes through all the design steps of a sailboat, starting with the design of the hull, and then going through the design of the sails, appendices (rudder and dagger board), hull structural analysis by Finite Elements Method (FEM) and verification of performance of the sailboat in comparison with a well known sailing dinghy. It should be highlighted, also, the sails designing process, which, in an optimized way, generated a set of sails (main and jib) of good performance, without, however, jeopardizing the stability of the sailboat. Through a preliminary economical analysis, it was verified that it is possible to produce a rotomolded sailboat with reduced cost, even below the market prices of national sailboats of this size. As a complement, the possibility of employing recycled material in the construction of the boat has been studied. Besides being an alternative to diminish costs, it can bring environmental benefits, as it minimizes production scraps.

É elaborada uma proposta de procedimentos de projetos de comboios fluviais adaptados às condições existentes das vias navegáveis, a partir de uma visão ampliada da necessidade de obtenção de menores custos de transporte, com níveis adequados de segurança e de respeito ao meio ambiente. Uma análise das inter-relações técnicas entre hidrovias e embarcações, assim como dos condicionantes e implicações do conceito de embarcações adaptadas às vias navegáveis, orientou a elaboração do modelo. Este foi estruturado em módulos, com o objetivo de reproduzir, um a um, os fatores mais importantes que influenciam a eficiência, a segurança e o nível de interferência ambiental do transporte de cargas por comboios. Um programa computacional foi desenvolvido como instrumento de aplicação do modelo, consolidando os procedimentos propostos para a escolha das melhores alternativas de projeto e de operação de comboios. Resultados experimentais com comboios em escala real e com modelos em tanques de provas, foram utilizados para validação dos procedimentos adotados. Dados de acidentes com comboios em várias hidrovias do mundo foram utilizados como bases para avaliações de risco. O modelo foi aplicado aos casos de transportes de soja pela hidrovia Tietê-Paraná e pelo rio Araguaia, exemplificando as formas de análise e de escolha das alternativas de soluções de projeto. Ao final, os resultados obtidos comprovaram a utilidade da adoção de um enfoque mais abrangente do processo de projeto de comboios fluviais. / It is proposed a procedure model for design of barges push-tow adapted to waterway actual conditions, with the purpose of minimize transportation costs but always making verifications of navigation safety and ambient interferences levels. An analysis of inter-relations on inland waterways and cargo ships and, also, detailed conditionings and implications of waterway adapted ships concept, was used for model elaboration. It was structured in blocks to reproduce, one to one, the most important factors that modify efficiency, safety and environmental interference levels of barges push-tow cargo transportation. A computational program was developed to consolidate the proposed model and to apply procedures to choose best design and operational alternatives. Results of full scale and towing tank tests with push-tows were used to verify the mathematical and semi-empirical models. Barges push-tows accidents data from waterways of the world was used as risk model basis. To evaluate its effectiveness, the model was applied to bulk grain transportation cases by Tietê-Paraná waterway and by Araguaia river. The results shows that the special emphasis on three factors (efficiency, safety and ambient) improves the quality of barges push-tow design process.

This thesis addresses the development of a weakly non-linear Higher Order Time Domain Rankine Panel Method (TDRPM) for the linear and weakly non-linear seakeeping analysis of floating offshore structures, including wave-current interaction effects. A higher order boundary elements method is adopted based on the body geometry description using Non-uniform Rational B-splines (NURBS) formulation, which can be generated by many standard Computed Aided Design (CAD) softwares widely available, and the several computed quantities (velocity potential, free surface elevation and others) are described using a B-spline formulation of arbitrary degree. The problem is formulated considering wave-current-body interactions up to second order effects, these ones considering the terms obtained by interaction of zero/first order quantities. In order to provide numerical stability, the Initial Boundary Value Problem (IBVP) is formulated in terms of the velocity potential and the local acceleration potential, the later used to predict the hydrodynamic pressure accurately. The zeroth order problem is solved using the double-body linearization instead of the Neumman-Kelvin one in order to allow bluff bodies simulation, leading to very complex expressions regarding the m-terms computation. The method adopts the Rankine sources as Green\'s function, which are integrated using Gauss quadrature in the entire domain, but for the self-influence terms that are integrated using a desingularized procedure. The numerical method is verified initially considering simplified geometries (sphere and circular cylinder) for both, first and second-order computations, with and without current effects. The derivatives of the velocity potential are verified by comparing the numerical m-terms to the analytical solutions for a hemisphere under uniform flow. The mean and double frequency drift forces are computed for fixed and floating structures and the quantities involved in these computations (wave runup, velocity field) are also compared to literature results, including the free floating response of a sphere under current effects. Two practical cases are also studied, namely the wave-induced second order responses of a semi-submersible platform and the wavedrift-damping effect evaluated through the equilibrium angle of a turret moored FPSO. For the former, some specific model tests were designed and conducted in a wave-basin. / Essa tese aborda o desenvolvimento de um método de Rankine de ordem alta no domínio do tempo (TDRPM) para o estudo de problemas lineares e fracamente não lineares, incluindo o efeito de corrente, envolvendo sistemas flutuantes. O método de ordem alta desenvolvido considera a geometria do corpo como descrita pelo padrão Non-uniform Rational Basis Spline (NURBS), que está disponível em diverso0s softwares de Computed Aided Design (CAD) disponíveis, sendo as diversas funções (potencial de velocidades, elevação da superfície-livre e outros) descritos usando B-splines de grau arbitrário. O problema é formulado considerando interações onda-corrente-estrutura para efeitos de até segunda ordem, os de ordem superior sendo calculados considerando as interações somente dos termos de ordem inferior. Para garantir a estabilidade numérica, o problema de contorno com valor inicial é formulado0 com relação ao potencial de velocidade e de parcela local do potencial de acelerações, este para garantir cálculos precisos da pressão dinâmica. O problema de ordem zero é resolvido usando a linearização de corpo-duplo ao invés da linearização de Neumman-Kelvin para permitir a análise de corpos rombudos, o que requer o cálculo de termos-m de grande complexidade. O método adota fontes de Rankine como funções de Green, que são integradas através de quadratura de Gauss-Legendre no domínio todo, exceto com relação aos termos de auto-influência que adotasm um procedimento de dessingularização. O método numérico é inicialmente verificado considerando corpos de geometria simplificada (esfera e cilindro), considerando efeitos de primeira e segunda ordens, com e sem corrente. As derivadas do potencial de velocidade são verificadas comparando os termos-m obtidos numericamente com soluções analíticas disponíveis para a esfera em fluído infinito. As forças de deriva média e dupla-frequência são calculadas para estruturas fixas e flutuantes, sendo as funções calculadas (elevação da superfície, campo de velocidade) comparadas com resultados disponíveis na literatura, incluindo o movimento da esfera flutuante sob a ação de corrente e ondas. São também estudados dois casos de aplicação prática, a resposta de segunda ordem de uma plataforma semi-submersível e o efeito de wave-drift damping para o ângulo de equilíbrio de uma plataforma FPSO ancorada através de sistema turred. No caso da semi-submersível, os ensaios foram projetados e realizados em tanque de provas.

Em geral, uma embarcação de planeio é projetada para atingir elevados níveis de velocidade. Esse atributo de desempenho está diretamente relacionado ao porte da embarcação e à potência instalada em sua planta propulsiva. Tradicionalmente, durante o projeto de uma embarcação, as análises de desempenho são realizadas através de resultados de embarcações já existentes, retirados de séries sistemáticas ou de embarcações já desenvolvidas pelo estaleiro e/ou projetista. Além disso, a determinação dos atributos de desempenho pode ser feita através de métodos empíricos e/ou estatísticos, onde a embarcação é representada através de seus parâmetros geométricos principais; ou a partir de testes em modelos em escala reduzida ou protótipos. No caso específico de embarcações de planeio, o custo dos testes em escala reduzida é muito elevado em relação ao custo de projeto. Isso faz com que a maioria dos projetistas não opte por ensaios experimentais das novas embarcações em desenvolvimento. Ao longo dos últimos anos, o método de Savitsky foi largamente utilizado para se realizar estimativas de potência instalada de uma embarcação de planeio. Esse método utiliza um conjunto de equações semi-empíricas para determinar os esforços atuantes na embarcação, a partir dos quais é possível determinar a posição de equilíbrio de operação e a força propulsora necessária para navegar em uma dada velocidade. O método de Savitsky é muito utilizado nas fases iniciais de projeto, onde a geometria do casco ainda não foi totalmente definida, pois utiliza apenas as características geométricas principais da embarcação para realização das estimativas de esforços. À medida que se avança nas etapas de projeto, aumenta o detalhamento necessário das estimativas de desempenho. Para a realização, por exemplo, do projeto estrutural é necessária uma estimativa do campo de pressão atuante no fundo do casco, o qual não pode ser determinado pelo método de Savitsky. O método computacional implementado nesta dissertação, tem o objetivo de determinar as características do escoamento e o campo de pressão atuante no casco de uma embarcação de planeio navegando em águas calmas. O escoamento é determinado através de um problema de valor de contorno, no qual a superfície molhada no casco é considerada um corpo esbelto. Devido ao uso da teoria de corpo esbelto o problema pode ser tratado, separadamente, em cada seção, onde as condições de contorno são forçadamente respeitadas através de uma distribuição de vórtices. / Generally, a planing craft is designed to achieve high speed levels. This performance attribute is directly related to the boat size and to the propeller plant power. Traditionally, during a boat design, performance analyses are carried out using results taken from systematic series or from others boat previously build by the shipyard and/or designer. Furthermore, performance attributes can be calculated by semi-empirical and/or statistic methods or by tests of reduced scale models. In the specific case of planing boats, the costs of reduced scale tests are too high compared to the design cost itself. Because of this, most designers do not perform experimental tests during the development of new boats. During the last years, the Savitsky method was extensively used to estimate planing craft effective power. The method uses a set of semi-empirical equations to calculate the forces acting on the boat, from which the equilibrium position and the required propeller thrust are determined. During the preliminary phases of planing craft design, the hull geometry hasn\'t been fully defined. Therefore, the Savitsky method is widely used during this phase, because it uses only the main geometrical characteristics to estimate the forces acting on the hull. Advancing toward the final phases of the design process, more detailed information is required. To execute the structural design, for example, the pressure field acting on the hull must be known, which can\'t be estimate using the Savitsky method. The main objective of the present study is to implement a computer method that can be used to estimate the fluid flow and pressure field acting on the hull of a boat moving with forward speed constant in calm water. The fluid flow around the hull is treated as a boundary value problem, in which the wetted hull surface is considered a slender body. The slender body theory enables to solve the problem separately, in each transverse section, where boundary conditions are respected by a sheet of vortices.

Made available in DSpace on 2016-04-26T20:19:39Z (GMT). No. of bitstreams: 1 Cassiano Inserra Bernini.pdf: 720433 bytes, checksum: d298dd79462719292c50326ec106424b (MD5) Previous issue date: 2010-10-26 / This work constructs the source rule for the Tax on Property of Automotive Vehicles (IPVA) levy. The competence to establish and collect this tax was given to the States and the Federal District by article 155, item III, of the 1988 Federal Constitution of Brazil. The methodology conceived by the Logical and Semantic Constructivism was used to study the theme. According to said methodology, the Law is taken as a cultural object expressed in language and based on the categories of the Philosophy of Language. Initially, the object is submitted to an analytical analysis and following it is reconstructed with emphasis on the syntactic, semantic and pragmatic aspects of the terms. The work starts with some brief considerations on the legal rule and the source rule for the tax levy. Following, the work focuses on the historical aspects involving the IPVA and the possible requirement for the prior enactment of a nationwide supplementary law providing for the elements of the source rule for this tax levy enabling the competent political entities to establish it. This work also addresses the constitutional principles applicable to the IPVA. Finally, the source rule for the IPVA levy is constructed through a detailed analysis of all its constituent criteria / O trabalho constrói a regra matriz de incidência do Imposto sobre a Propriedade de Veículos Automotores IPVA , cuja competência para instituição e cobrança foi outorgada aos Estados e ao Distrito Federal pelo artigo 155, inciso III, da Constituição Federal do Brasil de 1988. Para o estudo do tema foi utilizada a metodologia idealizada pelo Construtivismo Lógico-Semântico, que toma o Direito positivo como objeto cultural expresso em linguagem e que parte de categorias da Filosofia da Linguagem para, inicialmente, realizar uma análise analítica do objeto, para em seguida reconstruí-lo, dando-se ênfase aos aspectos sintático, semântico e pragmático dos termos. O trabalho inicia-se com breves considerações a respeito da norma jurídica e da regra matriz de incidência tributária. Em seguida, foram examinados os aspectos históricos envolvendo o IPVA e a eventual necessidade da prévia edição de lei complementar nacional dispondo sobre elementos da regra matriz de incidência deste imposto para que as pessoas políticas competentes possam instituí-lo. Foram estudados, também, os princípios constitucionais aplicáveis ao IPVA. Por fim, é construída a regra matriz de incidência do IPVA, com o desenvolvimento de todos os seus critérios constitutivos