• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 664
  • 113
  • 34
  • 33
  • 33
  • 29
  • 28
  • 20
  • 6
  • 5
  • 4
  • 2
  • 2
  • 2
  • 1
  • Tagged with
  • 817
  • 187
  • 181
  • 159
  • 105
  • 101
  • 90
  • 87
  • 87
  • 86
  • 74
  • 74
  • 73
  • 69
  • 62
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
801

Metodología analítica para el análisis de alternativas en la evaluación ambiental estratégica y sus incertidumbres en la toma de decisiones

González González, Ramona Lidibert 27 May 2022 (has links)
[ES] La Evaluación Ambiental Estratégica (EAE) proporciona el marco para la articulación de los proyectos de forma coherente y respetuosa con el medio ambiente, condiciones sociales, políticas y económicas (Arce y Gullón, 2000) y aunque comúnmente se le conoce a la EAE como una herramienta, esta representa un proceso que puede mejorar la toma de decisiones y propiciar el desarrollo sostenible (Bidstrup y Hansen, 2014). El análisis de alternativas es una de las áreas más débiles de la EAE, debido a que no se ha investigado suficientemente qué funciona y qué no en el desarrollo, evaluación y selección de alternativas. Estas investigaciones deben incluir enfoques sistemáticos para la identificación y el desarrollo de alternativas, para involucrar plenamente a las partes interesadas en su definición y evaluación, y proporcionar detalles suficientes al documentar el proceso de la selección (González et al., 2018). A estas debilidades se añade la dificultad de desarrollar una metodología que sea adaptable a diferentes con-textos. Estos condicionantes han encauzado la construcción de la metodología desarrollada en esta tesis y así, lograr minimizar estas brechas, planteando un método analítico, simple y flexible. La metodología denominada "Índice de Selección de Alternativas Estratégicas Ambientales (ISAEA) y sus incertidumbres", parte de la utilización de indicadores simples construidos en base a las metas que se plantean en el instrumento evaluado en la EAE. Al construir los indicadores partiendo de los criterios de los propios objetivos o metas del Plan, Proyecto o Programa (PPP), se disminuye la complejidad y ambigüedad que típicamente existe en la construcción y/o selección de indicadores ambientales, pues queda claro la dirección que debe seguirse en la construcción del indicador. Los criterios de construcción permiten optimizar la calidad del indicador, ya que el mismo describe el objetivo y, por ende, se manejan indicadores que son los adecuados para ese PPP en particular, es decir, adaptado al contexto preciso del PPP. El ISAEA se complementa con un análisis de incertidumbre, que ofrece al tomador de decisiones herramientas completas para proceder a seleccionar con información cuantitativa, la alternativa que más conveniente para el PPP estudiado. De este modo, la metodología propuesta proporciona un índice que representa en qué medida se acerca la alternativa a la meta planteada, aportando además una adaptación de los análisis de incertidumbre al uso de indicadores compuestos. La experiencia de la aplicación de esta metodología en ambos de sus componentes principales, el ISAEA y el análisis de incertidumbre, deja de manifiesto la importancia de la cooperación abierta de la entidad promotora del PPP para garantizar el flujo de información y más importante aún, de información confiable. Tras el desarrollo de la presente investigación se concluye que la metodología desarrollada aporta una herramienta valiosa, que puede ser utilizada de forma simple y a la vez permite reflejar las circunstancias propias del PPP. A la vez, la metodología ofrece resultados en un lenguaje matemático llano, fácilmente entendible para los tomadores de decisiones. La metodología que se aporta en esta investigación doctoral llega a minimizar una brecha en la temática de selección de alternativas en la EAE, ya que se basa en información cuantitativa y a la vez ha asumido un desafío pendiente en evaluaciones ambientales al incorporar el análisis de incertidumbre como un criterio de acompañamiento al ISAEA, que permite realizar una selección de alternativas estratégicas en base a criterios científicos. / [CA] L'Avaluació Ambiental Estratègica (AAE) proporciona el marc per a l'articulació dels projectes de forma coherent i respectuosa amb el medi ambient, condicions socials, polítiques i econòmiques (Arce i Gullón, 2000) i encara que comunament se li coneix a la AAE com una eina, aquesta representa un procés que pot millorar la presa de decisions i propiciar el desenvolupament sostenible (Bidstrup i Hansen, 2014). L'anàlisi d'alternatives és una de les àrees més febles de la AAE, pel fet que no s'ha investigat prou què funciona i què no en el desenvolupament, avaluació i selecció d'alternatives. Aquestes investigacions han d'incloure enfocaments sistemàtics per a la identificació i el desenvolupament d'alternatives, per involucrar plenament a les parts interessades en la seva definició i avaluació, i proporcionar detalls suficients al documentar el procés de la selecció (González et al., 2018). A aquestes debilitats s'afegeix la dificultat de desenvolupar una metodologia que sigui adaptable a diferents contextos. Aquests condicionants han canalitzat la construcció de la metodologia desenvolupada en aquesta tesi i així, aconseguir minimitzar aquestes bretxes, plantejant un mètode analític, simple i flexible. La metodologia anomenada "Índex de Selecció d'Alternatives Estratègiques Ambientals (ISAEA) i les seves incerteses", part de la utilització de indicadors simples construïts en base a les metes que es plantegen en el instrument avaluat en l'AAE. Al construir els indicadors partint dels criteris dels propis objectius o metes de el Pla, Projecte o Programa (PPP), es disminueix la complexitat i ambigüitat que típicament existeix en la construcció i/o selecció d'indicadors ambientals, ja que queda clar la direcció que ha de seguirse en la construcció de l'indicador. Els criteris de construcció permeten optimitzar la qualitat de l'indicador, ja que el mateix descriu el objectiu i, per tant, es manegen indicadors que són els adequats per a aquest PPP en particular, és a dir, adaptat al context precís de l'PPP. L'ISAEA es complementa amb una anàlisi d'incertesa, que ofereix al prenedor de decisions eines completes per a procedir a seleccionar amb informació quantitativa, l'alternativa que més convenient per al PPP estudiat. D'aquesta manera, la metodologia proposada proporciona un índex que representa en quina mesura s'acosta l'alternativa a la meta plantejada, aportant a més una adaptació de les anàlisis d'incertesa a l'ús d'indicadors com-llocs. L'experiència de l'aplicació d'aquesta metodologia en tots dos dels seus components principals, l'ISAEA i l'anàlisi d'incertesa, deixa de manifest la importància de la cooperació oberta de l'entitat promotora de l'PPP per garantir el flux d'informació i, més important encara, d'informació ambfiable. Després de concloure la present investigació queda demostrat que la metodologia desenvolupada aporta una eina valuosa, que pot ser utilitzada de forma simple i alhora permet reflectir les circumstàncies pròpies de l'PPP. Alhora, la metodologia ofereix resultats en un llenguatge matemàtic pla, fàcilment comprensible per als prenedors de decisions. La metodologia que s'aporta en aquesta tesi doctoral arriba a minimitzar una bretxa en la temàtica de selecció d'alternatives a l'EAE, ja que es basa en informació quantitativa i alhora ha assumit un repte pendent en avaluacions ambientals a l'incorporar el anàlisi d'incertesa com un criteri d'acompanyament a l'ISAEA, que permet realitzar una selecció d'alternatives estratègiques en base a criteris científics / [EN] Strategic Environmental Assessment (SEA) provides the framework for the articulation of projects in a coherent and respectful way with the environment, social, political and economic conditions (Arce and Gullón, 2000). Although SEA is commonly known as a tool, it represents a process that can improve decision-making and promote sustainable development (Bidstrup and Hansen, 2014). The analysis of alternatives is one of the weakest areas of SEA, because what works and what does not in the development, evaluation and selection of alternatives has not been sufficiently investigated. These investigations should include systematic ap-proaches for the identification and development of alternatives, to fully involve stake-holders in their definition and evaluation, and provide sufficient detail when documenting the selection process (González et al., 2018). Besides these weaknesses, the difficulty of developing a methodology that is adaptable to different contexts appears. These conditioning factors have guided the construction of the methodology developed in this thesis and thus, manage to minimize these gaps, proposing an analytical, simple and flexible method. The methodology called "Selection Index for Strategic Environmental Alternatives (ISAEA) and its uncertainties", starts from the use of simple indicators built on the basis of the goals set out in the instrument evaluated by the SEA. By constructing the indicators based on the criteria of the objectives or goals of the Plan, Project or Program (PPP), the complexity and ambiguity that typically exists in the construction and/or selection of environmental indicators is reduced, since the direction to be followed in the construction of the indicator. The construction criteria allow optimizing the quality of the indicator, since it describes the objective and, therefore, indicators are used that are appropriate for that particular PPP, that is, adapted to the precise context of each PPP. The ISAEA is complemented with an uncertainty analysis, which offers the decision maker complete tools to proceed to select with quantitative information, the most convenient alternative for the PPP studied. Therefore, the proposed methodology provides an index that represents to what extent the alternative approaches the proposed goal, also providing an adaptation of the uncertainty analyzes to the use of composite indicators. The experience of applying this methodology in both of its main components, the ISAEA and the uncertainty analysis, shows the importance of the open cooperation of the PPP promoter to guarantee the flow of information and, more importantly, reliable information. After the development of this research, it is concluded that the developed methodology provides a valuable tool, which can be used in a simple way while allowing reflecting the circumstances of the PPP. At the same time, the methodology offers results in plain mathematical language, easily understood by decision makers. The methodology provided in this doctoral research minimizes a gap in the subject of selecting alternatives in SEA, since it is based on quantitative information and at the same time has assumed a pending challenge in environmental evaluations by incorporating the uncertainty analysis as an accompanying criterion to the ISAEA, which allows a selection of strategic alternatives based on scientific criteria. / González González, RL. (2022). Metodología analítica para el análisis de alternativas en la evaluación ambiental estratégica y sus incertidumbres en la toma de decisiones [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/183152
802

Diseño de reactores de burbujeo para el tratamiento de aguas residuales mediante ozono. Caracterización física, análisis cinético y optimización con redes neuronales artificiales

Ferre Aracil, Jesús 01 September 2017 (has links)
Tesis por compendio / The water ozonation processes are really interesting to remove some organic compounds that are recalcitrant to the conventional water treatments. To adequately design and control the gas-liquid reactors it is necessary to use proper mathematical models that describe the behaviour of those reactors. However, the definition of suitable models is complex, since the performance of these reactors is defined by the interaction of the hydrodynamic processes of the gas and liquid phases, the transfer processes between the different phases and the chemical reactions. The present work intends to do the definition of suitable mathematical models of the bubble column reactors and the reactive schemes of the ozone. To validate them, the experimental designs are proposed for: i) the determination of physical parameters of the reactors, such as the gas holdup and the volumetric mass transfer coefficient; ii) the estimation of reaction rates of ozone decomposition and the elimination of some pollutants; and iii) the calculation of ozone properties, such as the molar extinction coefficient or solubility. The study of ozone solubility has demonstrated that the molar extinction coefficient of the dissolved ozone obtained in this work differs from the corresponding value traditionally used in the literature. This fact has been verified with different analytical methodologies. The estimation of kinetic constants fitting the mathematical models to the experimental results is usually carried out by optimization using classical gradient algorithms, which is sometimes quite complex. To facilitate these procedures, in this thesis an algorithm has been developed based on artificial neural networks to estimate the initial values of the classical methodologies. The developed algorithm is sensitive enough to estimate suitable values of kinetic constants, as it was demonstrated. A microscopic transfer model for bubble column reactors was formulated allowing the implementation of any type of reaction mechanism for the ozone. The sensitivity analysis of this model shows that the kinetic constant can be determined by knowing the evolution of a substrate, and if the evolution of the ozone gas phase concentration is also known, the volumetric mass transfer coefficient can be determined at the same time. On the other hand, a reactive model of the ozone chemical decay process has been developed. The application of a sensitivity analysis on this model shows that knowing the evolution of the ozone concentration and the initial and final concentration of hydrogen peroxide we can determine three kinetic constants of the chemical mechanism. Finally, as an example of application, we study the elimination of cytostatic compounds in hospital raw waters by ozone. The experimental results were used to estimate the kinetic rate constants of the reaction of some of these compounds with the ozone. Using these constants we carried out a preliminary economical study of the operating costs of an ozone plant to treat water of these characteristics. / Los procesos de ozonización de aguas ofrecen una serie de ventajas muy interesantes para la eliminación de ciertos compuestos orgánicos que resultan recalcitrantes a los procesos de tratamiento de aguas convencionales. El correcto diseño y control de los reactores gas-líquido necesarios para su implementación industrial precisa de adecuados modelos matemáticos que describan el comportamiento de los mismos. Sin embargo, la definición de modelos adecuados resulta compleja, ya que el rendimiento de estos reactores viene definido por la interacción de los procesos hidrodinámicos de las fases gas y líquida, los procesos de transferencia entre las fases y las reacciones químicas. Con el presente trabajo se pretende la definición de modelos matemáticos adecuados de los reactores de burbujeo y de los esquemas reactivos del ozono. Para validarlos se realizan diseños experimentales para: i) la determinación de parámetros físicos de los reactores, como la fracción de gas y el coeficiente volumétrico de transferencia de materia; ii) la estimación de velocidades de reacción de la descomposición del ozono y de la eliminación de algunos contaminantes; y iii) el cálculo de propiedades del ozono, como el coeficiente de extinción molar o la solubilidad. Los estudios de solubilidad del ozono realizados en esta tesis han demostrado que el coeficiente de extinción molar del ozono disuelto obtenido difiere del valor utilizado tradicionalmente en la bibliografía. Este hecho se ha verificado con diferentes metodologías analíticas. El cálculo de constantes cinéticas por medio del ajuste de los modelos matemáticos a los resultados experimentales suele realizarse mediante optimización por algoritmos clásicos de gradiente, lo que resulta en ocasiones bastante complejo. Para facilitar estos procedimientos, en esta tesis se desarrolla un algoritmo basado en redes neuronales artificiales para estimar los parámetros de inicio de las metodologías clásicas. Se ha comprobado que el algoritmo desarrollado es sensible por sí mismo para estimar valores adecuados de las constantes cinéticas. La metodología desarrollada ha permitido establecer un modelo de transferencia microscópico para reactores de burbujeo al que se le puede implementar cualquier tipo de mecanismo de reacción para el ozono. El análisis de sensibilidad de este modelo demuestra que conociendo la evolución de un substrato se puede determinar la constante cinética, y si también se conoce la evolución de la concentración de ozono en fase gas se puede determinar al mismo tiempo el coeficiente de transferencia de materia volumétrico. Por otra parte, se ha desarrollado un modelo reactivo del proceso de descomposición química del ozono. La aplicación de un análisis de sensibilidad sobre este modelo demuestra que conociendo la evolución de la concentración de ozono y la concentración inicial y final de peróxido de hidrógeno se pueden determinar un máximo de 3 constantes cinéticas del mecanismo utilizado. Finalmente, como ejemplo de aplicación de esta tecnología, se estudia la eliminación de compuestos citostáticos en aguas hospitalarias mediante ozono. A partir de los resultados experimentales se han determinado las constantes cinéticas de la reacción de alguno de estos compuestos con el ozono. Haciendo uso de estas constantes se realiza un estudio económico preliminar de los costes de operación de una planta de ozono para tratar aguas de estas características. / Els processos d'ozonització d'aigües ofereixen alguns avantatges molt interessants per a l'eliminació de certs compostos orgànics que són recalcitrants als processos de tractament d'aigües convencionals. Per a dissenyar i controlar correctament els reactors gas-líquid, per a la seua implementació industrial, es necessari utilitzar models matemàtics que descriguen adequadament el seu comportament. Però, la definició de models adequats resulta complexa, ja que el rendiment d'aquests reactors ve definit per la interacció dels processos hidrodinàmics de les fases gas i líquida, els processos de transferència entre ambdues fases i les reaccions químiques. La present tesi pretén la definició de models matemàtics adequats del reactors de bombolleig i dels esquemes reactius de l'ozó. Per a validar-los es realitzaran dissenys experimentals amb la finalitat de: i) determinar paràmetres físics dels reactors, com la fracció de gas i el coeficient volumètric de transferència de matèria; ii) l'estimació de velocitats de reacció de descomposició de l'ozó i de l'eliminació d'alguns contaminants; i iii) el càlcul de propietats de l'ozó, com el coeficient d'extinció molar o la solubilitat. Els estudis de solubilitat de l'ozó realitzats en aquesta tesi han demostrat que el coeficient d'extinció molar de l'ozó dissolt determinat difereix del valor utilitzat tradicionalment a la bibliografia. Aquest fet s'ha verificat amb diferents metodologies analítiques. El càlcul de constants cinètiques per mitjà de l'ajust dels models matemàtics als resultats experimentals sol realitzar-se mitjançant algoritmes d'optimització clàssics basats en el gradient, el que resulta bastant complex en algunes ocasions. Per facilitar aquests procediments, en aquesta tesi es desenvolupa un algoritme basat en xarxes neuronals artificials per a estimar els paràmetres d'inici de les metodologies clàssiques. S'ha comprovat que l'algoritme desenvolupat es sensible per sí mateix per a estimar valors adequats per a les constants cinètiques. La metodologia desenvolupada ha permès establir un model de transferència microscòpic per a reactors de bombolleig al que es pot implementar qualsevol mecanisme de reacció per a l'ozó. L'anàlisi de sensibilitat d'aquest model demostra que coneixent l'evolució d'un substrat es pot determinar la constant cinètica. A més a més, si es coneix l'evolució de la concentració d'ozó en fase gas es pot determinar al mateix temps el coeficient volumètric de transferència de matèria. D'altra banda, s'ha desenvolupat un model reactiu del procés de descomposició química de l'ozó. L'aplicació d'un anàlisis de sensibilitat sobre aquest model demostra que coneixent l'evolució de la concentració d'ozó i la concentració inicial i final de peròxid d'hidrogen es pot determinar una màxim de tres constants cinètiques del mecanisme utilitzat. Finalment, com a exemple d'aplicació d'aquesta tecnologia, s'estudia l'eliminació de compostos citostàtics en aigües hospitalàries mitjançant l'ozó. A partir dels resultats experimentals s'han determinat les constants cinètiques de la reacció d'algun d'aquests compostos amb l'ozó. Fent ús d'aquestes constants es realitza un estudi econòmic preliminar dels costos d'operació d'una planta d'ozó per a tractar aigües d'aquestes característiques. / Ferre Aracil, J. (2017). Diseño de reactores de burbujeo para el tratamiento de aguas residuales mediante ozono. Caracterización física, análisis cinético y optimización con redes neuronales artificiales [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/86163 / Compendio
803

Pressupostos de incidência do imposto de importação no direito brasileiro

Sehn, Solon 18 December 2015 (has links)
Made available in DSpace on 2016-04-26T20:24:06Z (GMT). No. of bitstreams: 1 Tese-Solon-Sehn-25-11-2015.pdf: 1845933 bytes, checksum: 21648572dc0f2ab5539d2efa9c47062a (MD5) Previous issue date: 2015-12-18 / After a literature review and a critical analysis of existing theories, the thesis presents a new theory concerning the imposition of the tax on import under the Brazilian law. The study, based on a hypothetic-deductive method, concluded that the tax rule has as material criterion the behavior of import (verb) goods (complement), or the act of introducing goods into the national territory with the intention of incorporated into them. The space criterion is the Customs territory. The time criterion is the moment when a person did or should have done the registration of customs declaration. The creditor (active subject) is the Federal Union, while the debtor (passive subject) is the importer. The customs duties shall be calculated on an ad valorem basis consistent with the methods of valuation established by the GATT Valuation Code. The rate of duty, on the other hand, vary according the origen and the nomenclature under which particular goods should be classified / Após a revisão bibliográfica e a análise crítica das teorias existentes, a tese apresenta uma nova proposta para a compreensão dos pressupostos de incidência do imposto de importação no direito brasileiro. O estudo, baseado no método hipotético-dedutivo, concluiu que o critério material da hipótese de incidência compreende a conduta de importar (verbo) e produtos (complemento), isto é, a introdução de bens móveis e corpóreos no território nacional com a finalidade integradora. O critério espacial corresponde ao território aduaneiro. Já o critério temporal, ao momento em que se promove ou deveria promover o registro da declaração de importação perante a autoridade aduaneira. O credor (sujeito ativo) é a União Federal, recaindo a sujeição passiva sobre o importador (devedor). A base de cálculo equivale ao valor aduaneiro, determinado de acordo com os métodos de valoração do Acordo de Valoração Aduaneira (AVA). As alíquotas ad valorem, por sua vez, são determinadas em função com a origem e a classificação fiscal do produto
804

Ensino de cálculo diferencial e integral: das técnicas ao humans-with-media / Differential and Integral calculus: from the technique to humans-with-media

Vieira, Aldo Freitas 04 April 2013 (has links)
As dificuldades epistemológicas e metodológicas do ensino de Cálculo Diferencial e Integral em cursos do ensino superior presenciais, a rápida evolução tecnológica (tanto em hardwares como em softwares) e o avanço aparentemente irreversível do ensino a distância, constituíram uma grande motivação para este trabalho. Analisando as dificuldades na construção de significados no estudo do Cálculo como em Barufi (1999), sua natureza epistemológica em Rezende (2003), e metodologias usadas na Educação à Distância, apresentam-se as idéias da natureza artificial de Simon (1981), as tecnologias da inteligência de Lévy (1993), as mediações sobre a técnica de Ortega y Gasset (1963), culminando no conceito do coletivo humans-with-media, como em Borba e Villarreal (2005). Pretende-se alargar os passos, verificando-se os limites e possibilidades do uso de novas Tecnologias da Informação (TI´s) no ensino do Cálculo Diferencial e Integral, aplicáveis tanto no ensino Presencial como na Educação à Distância, no coletivo humans-with-media. A expectativa é a de que uma nova fase da técnica tem início, uma fase em que a separação homem/técnica é impossível. Não se trata mais da técnica e o humano, ou o humano e a técnica, mas do humano midiático. Tanto um (o humano) quanto o outro (a técnica) são atores no processo de construção do conhecimento. Sendo assim, não é mais possível abrir mão do uso das tecnologias informáticas no estudo do Cálculo Diferencial e Integral. Faz-se necessária a compreensão de sua importância na construção dos significados 9 num curso de Cálculo para o coletivo humans-with-media, e também trabalhálas, as tecnologias, como recurso potencial na mediação das dificuldades de natureza epistemológica existentes nos eixos sistematização/construção, variabilidade/permanência, global/local, discreto/contínuo, finito/infinito e construção/significação. / The epistemological and methodological difficulties in teaching Differential and Integral Calculus in graduate classrooms, the rapid technological advancements in both hardware and software and the apparently irreversible growth of distance learning constituted a major inspiration for this work. Analyzing the difficulties in giving meaning to the study of calculus as in Barufi (1999), its epistemological nature in Rezende (2003) and the methodologies used in Distance Education, this paper explores the ideas of artificial nature in Simon (1981), the intelligence technologies of Lévy (1993) and the debate over the technique of Ortega y Gasset (1963) to culminate with the concept of the collective humans-with-media as in Borba and Villarreal (2005). The present study intends to expand the boundaries by verifying the limits and possibilities of using new Information Technologies (IT\'s) to teach Differential and Integral Calculus courses to real and virtual students within the collective of humans-with-media. It suggests a new phase is beginning, where it is impossible to separate the technique from the human being, where there is no longer a technique and a human being, but only a media oriented individual who merges with the technique to become combined actors in the process of building knowledge. In this sense, it is impossible to relinquish the use of information technologies in the study of Differential and Integral Calculus. It is imperative to understand the importance of these technologies in giving meaning to the study of Calculus by 13 the collective humans-with-media and explore these technologies as a potential resource to overcome the epistemological difficulties found in the axes systematization/construction, variability/permanence, global/local, discrete/continuous, finite/infinite and construction/meaning.
805

A concepção de educação matemática de Henri Lebesgue

Palaro, Luzia Aparecida 22 May 2006 (has links)
Made available in DSpace on 2016-04-27T16:57:42Z (GMT). No. of bitstreams: 1 tese_luzia_aparecida_palaro.pdf: 27255885 bytes, checksum: d2ee8521118c71c7bfe212a84a1dfc70 (MD5) Previous issue date: 2006-05-22 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The main aim of this study was to consider the aspects which characterises Henri Lebesgue s conception of Mathematics Education. Lebesgue (1875-1941), as well as being one of the most eminent mathematicians of the twentieth century and revolutionising Mathematical Analysis with the creation of a new theory of measure and hence a new definition of the integral, was also a extremely dedicated teacher. Concerned about teacher education, he contributed much to debates on didactical, historical and philosophical issues related to Mathematics. The methodology adopted for this study was based on research with a bibliographic character, with a historic-descriptive approach employed, beginning with a brief presentation of the life and works of Lebesgue. Following this, a historicphilosophical contextualisation of Mathematics of his epoch is presented, along with a description of the philosophy of Mathematics he defended. To highlight the originality of Lebesgue s mathematical practices, a study of the historical development of Calculus from the seventeenth century until his time is presented, with the theory of functions serving as the leading thread of this development. Using as a basis this historical development, a study is made of how some Calculus and Analysis textbooks define Integration and how they approach the Fundamental Theorem of Calculus. Finally, a study of the work About the Measure of Magnitude is presented, which identifies aspects of the process that Lebesgue proposed for the teaching of mathematics. The study concludes that Lebesgue, given his constructivist stance: was not keen in the axiomatic tendency that characterised the practice of Mathematics during his time; that he placed emphasis on activity considering Mathematics as a tool without its own objects: that he defended a philosophy of Mathematics as simple and utilitarian, which would be a mere report on the practices of mathematician: and that he believed that teaching like the practice of Mathematicians, should begin with an activity which could be used as the basis from which to abstract concepts and make generalization, leaving the axiomatic definitions until the end / O objetivo geral deste trabalho foi levantar os aspectos caracterizadores da concepção de Educação Matemática de Henri Lebesgue (1875-1941), que além de ter sido um dos mais eminentes matemáticos do século XX pois revolucionou a Análise Matemática com a criação de uma nova teoria da medida e, fundamentado nesta, uma nova definição de integral , foi também um professor extremamente dedicado e que se preocupava com a formação de professores e, muito contribuiu para os assuntos didáticos, históricos e filosóficos da Matemática. A metodologia do estudo baseou-se em uma pesquisa de caráter bibliográfico, sob a abordagem histórico-descritiva; iniciando-se com uma breve apresentação da vida e das obras de Lebesgue. Em seguida, foram apresentadas uma contextualização histórico-filosófica da Matemática de sua época e a filosofia da Matemática que propagava. Buscando realçar a originalidade de Lebesgue, pela sua forma de fazer Matemática, foi apresentado um estudo do desenvolvimento histórico do Cálculo, do século XVII até Lebesgue, sendo a teoria das funções o fio condutor desse desenvolvimento. Tendo como base este desenvolvimento histórico, é apresentado um estudo de como alguns livros didáticos de Cálculo e Análise definem a integração e como abordam o Teorema Fundamental do Cálculo, identificando assim, a perspectiva adotada. Por fim, é apresentado um estudo da obra Sobre a Medida das Grandezas de autoria de Lebesgue, buscando identificar aspectos do processo que Lebesgue considerava para o ensino da Matemática. O estudo concluiu que Lebesgue, construtivista que era, não gostava da tendência axiomática de fazer Matemática de sua época; dava ênfase a atividade e considerava a Matemática um instrumento que não tem objetos próprios; propagava uma filosofia da Matemática simples e utilitária, que seria apenas um relato das práticas desenvolvidas pelos matemáticos; considerava que, no ensino assim como na prática de fazer matemática, se deveria iniciar com uma atividade, a partir da qual poderiam ser abstraídos conceitos, fazer generalizações, deixando as definições axiomáticas por último
806

Formação de formadores de professores de matemática: Identificação de possibilidades e limites da estratégia de organização de grupos colaborativos

Traldi Júnior, Armando 06 October 2006 (has links)
Made available in DSpace on 2016-04-27T16:57:45Z (GMT). No. of bitstreams: 1 EDM - Armando Traldi Jr.pdf: 2147430 bytes, checksum: 25b748586338a3af2807c9f19ae7b9a6 (MD5) Previous issue date: 2006-10-06 / The purpose of this work is to understand the possibilities to construct a work group of the collaborative type, from a collective work group, constituted of formers of teachers who teach the discipline of Differential and Integral Calculus, in an institution that has the individualism as its scholar culture. The theoretical referential of the study integrates the areas of the knowledge of the professor, searching to understand how this is developed and clarified; of the school culture in the perspective to observe its interference in the professional development of the formers of teachers, and the didactic aspects of the area of knowledge of Differential and Integral Calculus that constitutes a source to know of the formers of Mathematics teachers. The research methodology follows a qualitative boarding, of the type case study . A collective work group was constituted, formed for seven formers of teachers, that teach Differential and Integral Calculus, in one determined institution of superior education. The main instruments of data collection had been the document comment, interviews and analysis and had happened during the period between April,2004 until August,2006. We define categories from our theoretical referential, that made us possible to organize and to understand the collected data. From this study it is possible to agree with Hargreaves (1998) that the contribution is one of the most promising paradigms for the professional development of the formers of teachers, therefore it makes possible to elucidate the doubts related to the learning practical , to argue concepts that had not been argued during the formal formation and recreate some teach-and-learn conceptions. Also we have analyzed the difficulties so that a collective work group pass to a collaborative form and we have concluded that the main ones are: the lack of the experience in organizing the guideline that will guide the works; the excess of unarticulated personal impressions with theories that lead to generating quarrels; a false expectation to find magical solutions; little knowledge on the possibility of the reflection on the action as a strategy of professional development; the lack of the habit to search the practical itself. Finally, we can affirm that in the group that we have investigated there are different possibilities of the transition from a collective work to a collaborative one; among them we focus: the objectives in common of the formers, the necessity of the exchange of experience and the quarrel of specific didactic knowledge of the area of Differential and Integral Calculus, the search of support to face the necessary curricular changes, the climate of camaraderie and confidence constructed throughout the meetings, the search of specific knowledge of the Differential and Integral Calculus / O presente estudo tem como objetivo compreender as possibilidades de construir um grupo de trabalho do tipo colaborativo, a partir de um grupo de trabalho coletivo, constituído por formadores de professores que ministram a disciplina de Cálculo Diferencial e Integral, numa instituição que tem como cultura escolar o individualismo. O referencial teórico da investigação integra as áreas do conhecimento do professor, buscando entender como esse é desenvolvido e explicitado; da cultura escolar na perspectiva de observar sua interferência no desenvolvimento profissional do formador de professores e, dos aspectos didáticos da área de conhecimento de Cálculo Diferencial e Integral que constitui uma fonte de saber dos formadores de professores de Matemática. A metodologia de pesquisa segue abordagem qualitativa do tipo estudo de caso. Foi constituído um grupo de trabalho coletivo, formado por sete formadores de professores que ministram a disciplina de Cálculo Diferencial e Integral, em uma determinada instituição do ensino superior. Os principais instrumentos de coleta de dados foram a observação, entrevistas e análise de documentos e aconteceram durante o período de abril/2004 a agosto/2006. Definimos categorias, a partir do nosso referencial teórico, que nos possibilitaram organizar e compreender os dados coletados. Deste estudo é possível afirmar com Hargreaves (1998) que a colaboração é um dos paradigmas mais promissores para o desenvolvimento profissional do formador de professores, pois possibilita que ele explicite suas dúvidas relacionadas à sua prática letiva, discuta conceitos que não teve a oportunidade de discutir durante sua formação formal e reelabore suas concepções de ensino-aprendizagem. Também analisamos as dificuldades que um grupo de trabalho coletivo enfrenta ao trabalhar de forma colaborativa, e concluímos que as principais são: a falta de prática na organização da pauta que irá orientar os trabalhos; o excesso de impressões pessoais desarticuladas com teorias que acaba gerando um esvaziamento das discussões; uma expectativa falsa de encontrar soluções mágicas; pouco conhecimento sobre a possibilidade da reflexão sobre a ação como uma estratégia de desenvolvimento profissional; a falta do hábito de pesquisar a própria prática. Finalmente, podemos afirmar que no grupo que investigamos aparecem diferentes possibilidades da transição do trabalho coletivo para o colaborativo e, entre elas, destacamos: os objetivos em comum dos formadores, a necessidade da troca de experiência e da discussão de conhecimentos didáticos específicos da área de Cálculo Diferencial e Integral, a busca de apoio para enfrentar as mudanças curriculares necessárias, o clima de camaradagem e confiança construído ao longo dos encontros, a busca de conhecimentos específicos do Cálculo Diferencial e Integral
807

Valoração aduaneira e preços de transferência: pontos de conexão e distinções sistêmico-aplicativas

Vita, Jonathan Barros 16 December 2010 (has links)
Made available in DSpace on 2016-04-26T20:19:48Z (GMT). No. of bitstreams: 1 Jonathan Barros Vita.pdf: 5194428 bytes, checksum: 7048b069242b053bd21fc350d61cc235 (MD5) Previous issue date: 2010-12-16 / Firstly, it shall be explicated that the scientific approach of this work has as premises the coupling between Linguistics Theory and System s Theory. This essay is divided into three parts, each one with its own chapters, which can be divided into: the theoretical instruments as starting point; the instruments and structures which have pertinence with this work thru a research into national and comparative law texts; and the clearing of the studied legal institutes with its specificities and connecting points. The first part deals with the fundaments of Legal Logics and Linguistics Theory adopted and its counterweights and complements in System s Theory, resulting in the third chapter which is the consolidation of the theoretical support used in this work. Second part defines the institutes of Brazilian law, specially, using the Matrix Rule of Tax Incidence, focusing into the manifestation of the word tax and into the taxable basis. Also, there is a chapter dedicated to the problems of the international law coupled to the problems deriving from the integration with the internal law, specially, with tax law. Last Part, with three chapters, was meant to define and demonstrate the application of each one of the studied institutes, which are: customs valuation and transfer pricing. Final chapter deals with the interaction between these two institutes in their structures, functions and relationships, pointing out convergences and perspectives / Primeiramente, deve ser elucidado que a forma de abordagem científica deste trabalho é direcionada pelo acoplamento entre Teoria da Linguagem e Teoria dos Sistemas. Este texto é dividido em três partes, cada uma com capítulos próprios que delimitam: os instrumentos teóricos utilizados como ponto de partida; os instrumentos e estruturas que guardam relação de pertinência com o trabalho através de uma pesquisa no direito brasileiro e comparado; e a elucidação dos institutos a serem estudados com suas especificidades e pontos de conexão. A primeira parte trata de enumerar os fundamentos da Lógica Jurídica e da Teoria da Linguagem adotados e seus contrapontos e complementos na Teoria dos Sistemas, resultando no terceiro capítulo que é a consolidação do suporte teórico final utilizado. Segunda parte trata de definições trazidas pelo direito brasileiro, em especial utilizando-se da estrutura da Regra-matriz de Incidência Tributária, focalizando nas manifestações do vocábulo tributo e na base de cálculo tributária. Ainda, existe um capítulo dedicado aos problemas do direito internacional acoplados aos problemas derivantes da integração com o direito interno, em especial com o direito tributário. Parte final, de três capítulos, foi destinada a definir e demonstrar a aplicação de cada um dos institutos estudados, que sejam: valoração aduaneira e preços de transferência. Capítulo final trata das interações entre estes dois institutos em suas estruturas, funções e relações, apontando convergências e perspectivas
808

Tratamento numérico da mecânica de interfaces lipídicas: modelagem e simulação / A numerical approach to the mechanics of lipid interfaces: modeling and simulation

Rodrigues, Diego Samuel 04 September 2015 (has links)
A mecânica celular jaz nas propriedades materiais da membrana plasmática, fundamentalmente uma bicamada fosfolipídica com espessura de dimensões moleculares. Além de forças elásticas, tal material bidimensional também experimenta tensões viscosas devido ao seu comportamento fluido (presumivelmente newtoniano) na direção tangencial. A despeito da notável concordância entre teoria e experimentos biofísicos sobre a geometria de membranas celulares, ainda não se faz presente um método computacional para simulação de sua (real) dinâmica viscosa governada pela lei de Boussinesq-Scriven. Assim sendo, introduzimos uma formulação variacional mista de três campos para escoamentos viscosos de superfícies fechadas curvas. Nela, o fluido circundante é levado em conta considerando-se uma restrição de volume interior, ao passo que uma restrição de área corresponde à inextensibilidade. As incógnitas são a velocidade, o vetor curvatura e a pressão superficial, todas estas interpoladas com elementos finitos lineares contínuos via estabilização baseada na projeção do gradiente de pressão. O método é semi-implícito e requer a solução de apenas um único sistema linear por passo de tempo. Outro ingrediente numérico proposto é uma força que mimetiza a ação de uma pinça óptica, permitindo interação virtual com a membrana, onde a qualidade e o refinamento de malha são mantidos por remalhagem adaptativa automática. Extensivos experimentos numéricos de dinâmica de relaxação são apresentados e comparados com soluções quasi-analíticas. É observada estabilidade temporal condicional com uma restrição de passo de tempo que escala como o quadrado do tamanho de malha. Reportamos a convergência e os limites de estabilidade de nosso método e sua habilidade em predizer corretamente o equilíbrio dinâmico de compridas e finas elongações cilíndricas (tethers) que surgem a partir de pinçamentos membranais. A dependência de forma membranal com respeito a uma velocidade imposta de pinçamento também é discutida, sendo que há um valor limiar de velocidade abaixo do qual um tether não se forma de início. Testes adicionais ilustram a robustez do método e a relevância dos efeitos viscosos membranais quando sob a ação de forças externas. Sem dúvida, ainda há um longo caminho a ser trilhado para o entendimento completo da mecânica celular (há de serem consideradas outras estruturas tais como citoesqueleto, canais iônicos, proteínas transmembranares, etc). O primeiro passo, porém, foi dado: a construção de um esquema numérico variacional capaz de simular a intrigante dinâmica das membranas celulares. / Cell mechanics lies on the material properties of the plasmatic membrane, fundamentally a two-molecule-thick phospholipid bilayer. Other than bending elastic forces, such a two-dimensional interfacial material also experiences viscous stresses due to its (presumably Newtonian) surface fluid tangential behaviour. Despite the remarkable agreement on membrane shapes between theory and biophysical experiments, there is no computational method for simulating its (actual) viscous dynamics governed by the Boussinesq- Scriven law. Accordingly, we introduce a mixed three-field variational formulation for viscous flows of closed curved surfaces. In it, the bulk fluid is taken into account by means of an enclosed-volume constraint, whereas an area constraint stands for the membranes inextensible character. The unknowns are the velocity, vector curvature and surface pressure fields, all of which are interpolated with linear continuous finite elements by means of a pressure-gradient-projection scheme. The method is semi-implicit and it requires the solution of a single linear system per time step. Another proposed ingredient is a numerical force that emulates the action of an optical tweezer, allowing for virtual interaction with the membrane, where mesh quality and refinement are maintained by adaptively remeshing. Extensive relaxation experiments are reported and compared with quasi-analytical solutions. Conditional time stability is observed, with a time step restriction that scales as the square of the mesh size. We discuss both convergence and the stability limits of our method, its ability to correctly predict the dynamical equilibrium of the tether due to tweezing. The dependence of the membrane shape on imposed tweezing velocities is also addressed. Basically, there is a threshold velocity value below which the tethers shape does not arise at first. Further tests illustrate the robustness of the method and show the significance of viscous effects on membranes deformation under external forces. Undoubtedly, there is still a long way to track toward the understanding of celullar mechanics (one still has to account other structures such as cytoskeleton, ion channels, transmembrane proteins, etc). The first step has given, though: the design of a numerically robust variational scheme capable of simulating the engrossing dynamics of fluid cell membranes.
809

Stabilized finite element methods for convection-diffusion-reaction, helmholtz and stokes problems

Nadukandi, Prashanth 13 May 2011 (has links)
We present three new stabilized finite element (FE) based Petrov-Galerkin methods for the convection-diffusionreaction (CDR), the Helmholtz and the Stokes problems, respectively. The work embarks upon a priori analysis of a consistency recovery procedure for some stabilization methods belonging to the Petrov- Galerkin framework. It was ound that the use of some standard practices (e.g. M-Matrices theory) for the design of essentially non-oscillatory numerical methods is not appropriate when consistency recovery methods are employed. Hence, with respect to convective stabilization, such recovery methods are not preferred. Next, we present the design of a high-resolution Petrov-Galerkin (HRPG) method for the CDR problem. The structure of the method in 1 D is identical to the consistent approximate upwind (CAU) Petrov-Galerkin method [doi: 10.1016/0045-7825(88)90108-9] except for the definitions of he stabilization parameters. Such a structure may also be attained via the Finite Calculus (FIC) procedure [doi: 10.1 016/S0045-7825(97)00119-9] by an appropriate definition of the characteristic length. The prefix high-resolution is used here in the sense popularized by Harten, i.e. second order accuracy for smooth/regular regimes and good shock-capturing in non-regular re9jmes. The design procedure in 1 D embarks on the problem of circumventing the Gibbs phenomenon observed in L projections. Next, we study the conditions on the stabilization parameters to ircumvent the global oscillations due to the convective term. A conjuncture of the two results is made to deal with the problem at hand that is usually plagued by Gibbs, global and dispersive oscillations in the numerical solution. A multi dimensional extension of the HRPG method using multi-linear block finite elements is also presented. Next, we propose a higher-order compact scheme (involving two parameters) on structured meshes for the Helmholtz equation. Making the parameters equal, we recover the alpha-interpolation of the Galerkin finite element method (FEM) and the classical central finite difference method. In 1 D this scheme is identical to the alpha-interpolation method [doi: 10.1 016/0771 -050X(82)90002-X] and in 2D choosing the value 0.5 for both the parameters, we recover he generalized fourth-order compact Pade approximation [doi: 10.1 006/jcph.1995.1134, doi: 10.1016/S0045- 7825(98)00023-1] (therein using the parameter V = 2). We follow [doi: 10.1 016/0045-7825(95)00890-X] for the analysis of this scheme and its performance on square meshes is compared with that of the quasi-stabilized FEM [doi: 10.1016/0045-7825(95)00890-X]. Generic expressions for the parameters are given that guarantees a dispersion accuracy of sixth-order should the parameters be distinct and fourth-order should they be equal. In the later case, an expression for the parameter is given that minimizes the maximum relative phase error in 2D. A Petrov-Galerkin ormulation that yields the aforesaid scheme on structured meshes is also presented. Convergence studies of the error in the L2 norm, the H1 semi-norm and the I ~ Euclidean norm is done and the pollution effect is found to be small. / Presentamos tres nuevos metodos estabilizados de tipo Petrov- Galerkin basado en elementos finitos (FE) para los problemas de convecci6n-difusi6n- reacci6n (CDR), de Helmholtz y de Stokes, respectivamente. El trabajo comienza con un analisis a priori de un metodo de recuperaci6n de la consistencia de algunos metodos de estabilizaci6n que pertenecen al marco de Petrov-Galerkin. Hallamos que el uso de algunas de las practicas estandar (por ejemplo, la eoria de Matriz-M) para el diserio de metodos numericos esencialmente no oscilatorios no es apropiado cuando utilizamos los metodos de recu eraci6n de la consistencia. Por 10 tanto, con res ecto a la estabilizaci6n de conveccion, no preferimos tales metodos de recuperacion . A continuacion, presentamos el diser'io de un metodo de Petrov-Galerkin de alta-resolucion (HRPG) para el problema CDR. La estructura del metodo en 10 es identico al metodo CAU [doi: 10.1016/0045-7825(88)90108-9] excepto en la definicion de los parametros de estabilizacion. Esta estructura tambien se puede obtener a traves de la formulacion del calculo finito (FIC) [doi: 10.1 016/S0045- 7825(97)00119-9] usando una definicion adecuada de la longitud caracteristica. El prefijo de "alta-resolucion" se utiliza aqui en el sentido popularizado por Harten, es decir, tener una solucion con una precision de segundo orden en los regimenes suaves y ser esencialmente no oscilatoria en los regimenes no regulares. El diser'io en 10 se embarca en el problema de eludir el fenomeno de Gibbs observado en las proyecciones de tipo L2. A continuacion, estudiamos las condiciones de los parametros de estabilizacion para evitar las oscilaciones globales debido al ermino convectivo. Combinamos los dos resultados (una conjetura) para tratar el problema COR, cuya solucion numerica sufre de oscilaciones numericas del tipo global, Gibbs y dispersiva. Tambien presentamos una extension multidimensional del metodo HRPG utilizando los elementos finitos multi-lineales. fa. continuacion, proponemos un esquema compacto de orden superior (que incluye dos parametros) en mallas estructuradas para la ecuacion de Helmholtz. Haciendo igual ambos parametros, se recupera la interpolacion lineal del metodo de elementos finitos (FEM) de tipo Galerkin y el clasico metodo de diferencias finitas centradas. En 10 este esquema es identico al metodo AIM [doi: 10.1 016/0771 -050X(82)90002-X] y en 20 eligiendo el valor de 0,5 para ambos parametros, se recupera el esquema compacto de cuarto orden de Pade generalizada en [doi: 10.1 006/jcph.1 995.1134, doi: 10.1 016/S0045-7825(98)00023-1] (con el parametro V = 2). Seguimos [doi: 10.1 016/0045-7825(95)00890-X] para el analisis de este esquema y comparamos su rendimiento en las mallas uniformes con el de "FEM cuasi-estabilizado" (QSFEM) [doi: 10.1016/0045-7825 (95) 00890-X]. Presentamos expresiones genericas de los para metros que garantiza una precision dispersiva de sexto orden si ambos parametros son distintos y de cuarto orden en caso de ser iguales. En este ultimo caso, presentamos la expresion del parametro que minimiza el error maxima de fase relativa en 20. Tambien proponemos una formulacion de tipo Petrov-Galerkin ~ue recupera los esquemas antes mencionados en mallas estructuradas. Presentamos estudios de convergencia del error en la norma de tipo L2, la semi-norma de tipo H1 y la norma Euclidiana tipo I~ y mostramos que la perdida de estabilidad del operador de Helmholtz ("pollution effect") es incluso pequer'ia para grandes numeros de onda. Por ultimo, presentamos una coleccion de metodos FE estabilizado para el problema de Stokes desarrollados a raves del metodo FIC de primer orden y de segundo orden. Mostramos que varios metodos FE de estabilizacion existentes y conocidos como el metodo de penalizacion, el metodo de Galerkin de minimos cuadrados (GLS) [doi: 10.1016/0045-7825(86)90025-3], el metodo PGP (estabilizado a traves de la proyeccion del gradiente de presion) [doi: 10.1 016/S0045-7825(96)01154-1] Y el metodo OSS (estabilizado a traves de las sub-escalas ortogonales) [doi: 10.1016/S0045-7825(00)00254-1] se recuperan del marco general de FIC. Oesarrollamos una nueva familia de metodos FE, en adelante denominado como PLS (estabilizado a traves del Laplaciano de presion) con las formas no lineales y consistentes de los parametros de estabilizacion. Una caracteristica distintiva de la familia de los metodos PLS es que son no lineales y basados en el residuo, es decir, los terminos de estabilizacion dependera de los residuos discretos del momento y/o las ecuaciones de incompresibilidad. Oiscutimos las ventajas y desventajas de estas tecnicas de estabilizaci6n y presentamos varios ejemplos de aplicacion
810

Teoria e prática da substituição tributária progressiva no ICMS : uma análise do instituto após os julgamentos do recurso extraordinário nº 213396/SP e da ADIn nº1851-4/AL.

Melo, Angelo Braga Netto Rodrigues de 23 November 2007 (has links)
This present work analyses one of the most relevant and debated themes of tributary law nowadays, the progressive tributary substitution institute applied to the tax over merchandise circulation and services of interstate and intercity transportation as well as over communication ICMS - , and analyses it with the clear objective of offering a dogmatic description of the institute, compatible with constitutional principles and able to serve as a guide to its practical application. For this it starts by fixing the theoretical tools to be used in the referred analyses, so from this describe dogmatically the respective normative bundle (after exposing a dialectic critics of other theories about the subject), specially the 7th paragraph of article 150 of the Federal Constitution (which contains two rules, the first one authoritative of the use of absolute presumptions and the second one containing a resolutive of efficacy legal condition), opposing this exegesis to the constitutional principles of legality, juridical security, isonomy, contributive capacity, workability, non-cumulating and confiscation impediment, seeking harmonizing interpretations able to preserve the maximum effectiveness of the institute without the sacrifice of the ruling efficacy of the quoted above principles, specially of those which contain fundamental rights of the tax-payer or contain guarantees of these rights. Having done this we go to the study of the main alterations provoked in the origin-rule of tributary incidence by this special collecting technique, this in relation to the normal pattern, without progressive substitution, retaining specially in the changes in relation to the passive subjective and to the calculus base, and in the final chapter present the conclusions of this study. It is worth mentioning that all work takes jurisprudence about the theme, specially from the Superior Tribunals, as an object of research (besides the ruling bundle), in an analyses really focused to practice, which aims to contribute to the construction of a pattern which is able to Express a balance point between the objective of combating illegal withholdment and the rights and guarantees of the tax-payers. / O presente trabalho analisa um dos mais relevantes e debatidos temas do direito tributário na atualidade, o instituto da substituição tributária progressiva aplicado ao imposto sobre operações relativas à circulação de mercadorias e sobre prestações de serviços de transporte interestadual e intermunicipal e de comunicação ICMS , e o faz com o claro objetivo de oferecer uma descrição dogmática do instituto, compatível com os princípios constitucionais, e capaz de servir de guia para a aplicação prática desse. Para tanto, inicia pela fixação das ferramentas teóricas a serem usadas na referida análise, para a partir daí descrever dogmaticamente o respectivo feixe normativo (após a crítica dialética de outras teorias sobre o assunto), especialmente o § 7º do art. 150 da Constituição Federal (que contém duas normas, a primeira autorizativa do uso de presunções absolutas, a segunda contendo uma condição legal resolutiva de eficácia), contrapondo-se essa exegese aos princípios constitucionais da legalidade, segurança jurídica, isonomia, capacidade contributiva, praticidade, nãocumulatividade e vedação de confisco, buscando interpretações harmonizadoras, capazes de preservar a máxima efetividade do instituto sem sacrifício da eficácia normativa dos supracitados princípios, especialmente daqueles que encerram direitos fundamentais do contribuinte ou garantias desses direitos. Feito isso, parte-se para o estudo das principais alterações provocadas na regra-matriz de incidência tributária por essa especial técnica arrecadatória, isso com relação ao modelo normal , sem substituição progressiva, detendo-se especialmente nas modificações com relação ao sujeito passivo e à base de cálculo, para no capítulo final apresentar as conclusões do estudo. Cabe salientar ainda que todo o trabalho toma a jurisprudência acerca do tema, especialmente a dos Tribunais Superiores, como objeto de pesquisa (ao lado do feixe normativo), numa análise verdadeiramente orientada para a prática, e que visa contribuir para a construção de um modelo capaz de expressar um ponto de equilíbrio entre o objetivo de combate à sonegação e os direitos e garantias dos contribuintes.

Page generated in 0.037 seconds