Made available in DSpace on 2014-12-17T15:47:51Z (GMT). No. of bitstreams: 1 KarlosTMVOpdf.pdf: 2426765 bytes, checksum: 62a9ffc137cd6bee4e157ac947c8e4b0 (MD5) Previous issue date: 2009-08-10 / Currently with the increase in complexity in doing business, organizations are seeking information systems that help to quickly respond to new demands in the processes of production of products and services. An information system is no longer just a support tool and has become an integral part of doing business. However, in spite of significant technological evolution in recent years, information systems that support business do not respond efficiently to the constant alterations that occur in many organizations. One of the main problems faced by information systems currently is the lack of strategic alignment between business strategy and information technology. The concept of strategic alignment can be defined as a way between business strategies and objectives and the strategies, objectives and functions of information technology in such as way as to contribute to the increase in competitivity of the organization over time. Strategic alignment together with strategic planning are important management instruments. Approaches for operationalizing this alignment are being developed currently but are still in their initial stages due to the fact that it is a relatively new concept in the literature. Another point that needs to be taken into consideration during the strategic alignment is the question of trackability between the business elements and IT. Trackability (Tracking) is necessary for example when one wishes to know exactly which goal defined in the business strategy was left out or not accepted due to a modification made in the IT strategy. Very few proposals present concrete ways supported by software systems in order to obtain strategic alignement while taking into consideration this trackability. Therefore the objective of this work is to propose the creation of a strategic alignment process supported by a software system which is capable of permitting trackability between the organizational objectives and the business processes based on formalization standards defined through a model oriented approach / Atualmente, com o crescente aumento da complexidade do neg?cio, as organiza??es clamam por sistemas de informa??o que ajudem a responder rapidamente as novas exig?ncias dos processos de produ??o de produtos e servi?os. Um sistema de informa??o deixa de ser apenas uma ferramenta de suporte e passa a ser uma parte integrante do neg?cio. Todavia, apesar das importantes evolu??es tecnol?gicas alcan?adas nos ?ltimos anos, verifica-se que os sistemas de informa??o que suportam o neg?cio, ainda n?o respondem eficazmente ?s constantes altera??es a que a organiza??o est? sujeita. Um dos principais problemas com os sistemas de Informa??o atuais ? falta de alinhamento entre a estrat?gia de neg?cio e a tecnologia de informa??o. O conceito de alinhamento estrat?gico pode ser definido como sendo a sintonia existente entre as estrat?gias e objetivos do neg?cio com as estrat?gias, objetivos e fun??es da tecnologia da informa??o, de modo que haja contribui??o para o aumento da competitividade da organiza??o ao longo do tempo. Alinhamento estrat?gico, aliado ao planejamento estrat?gico, ? um importante instrumento de gest?o. Nesse sentido, abordagens para a operacionaliza??o desse alinhamento est?o surgindo, entretanto, ainda em estado inicial devido ao fato de ser um conceito relativamente novo na literatura. Outro ponto que deve ser levado em considera??o durante o alinhamento estrat?gico ? a quest?o da rastreabilidade entre os elementos de neg?cio e TI. A rastreabilidade ? necess?ria, por exemplo, quando se deseja saber exatamente qual meta definida na estrat?gia de neg?cio n?o foi ou deixou de ser aceita devido a uma modifica??o realizada na estrat?gia de TI. Poucas propostas apresentam formas concretas apoiadas por sistemas de software para obter o alinhamento estrat?gico levando em considera??o essa rastreabilidade. Nesse contexto o objetivo desse trabalho ? propor a cria??o de um processo de alinhamento estrat?gico apoiado por um sistema de software a qual seja capaz de permitir a rastreabilidade entre os objetivos organizacionais e as atividades dos processos de neg?cio, tomando como base para isso, padr?es de formaliza??o definidos sob uma abordagem orientada a modelos

Orientador: Bruto Max Pimentel Escobar / Banca: Dmitry Vasilevich / Banca: José Abdalla Helaÿel-Neto / Banca: Álvaro de Souza Dutra / Banca: Roldão da Rocha Júnior / Resumo: Neste trabalho apresentaremos o formalismo de Hamilton-Jacobi para sistemas singulares em teorias de campos, com foco em teorias com derivadas de ordem superior. Iniciaremos com uma análise preliminar do cálculo variacional para esses sistemas, que envolve as condições para a extremização de uma integral fundamental múltipla e a análise dos teoremas de Noether. Buscaremos seguir este caminho na construção do formalismo de Hamilton- Jacobi em forma covariante, em que nos utilizaremos da clássica abordagem de Carathéodory adaptada a teorias de campos. No terceiro capítulo, mostraremos como o formalismo pode ser construído dada a escolha de uma dinâmica relativística específica e como esta escolha nos permite tratar de sistemas singulares de forma natural. No quarto capítulo abordaremos o problema das condições de integrabilidade, análise que garantirá um método autoconsistente de análise de vínculos. Nesta análise, seremos capazes de relacionar um conjunto de geradores a simetrias da integral fundamental e um segundo tipo a uma modificação da dinâmica com a introdução de parênteses generalizados. Nos dois últimos capítulos apresentaremos aplicações deste método / Abstract: In this work we will develop the Hamilton-Jacobi formalism to singular and higher-order derivative field theories. We will begin with a preliminary approach to the variational problem concerning the search for extrema of a given fundamental integral, and the analysis of the Noether's theorems. Next, we will present a covariant Hamilton-Jacobi theory using the classical approach of Carathéodory applied to field theories. In the third chapter we will show how this formalism can be derived given a choice of relativistic dynamics, and how this choice allows us to deal with singular systems. In the fourth chapter we will address the problem of integrability conditions. This analysis will be the basic tool for a self consistent constraint analysis. We will see that we can relate a certain set of generators to symmetries of the action, as well as a second type of generators to a modification of the dynamics by means of generalized brackets. The two last chapters will be used for applications / Doutor

The Large Hadron Collider (LHC) has provided, and will continue to provide, data for collisions at the highest energies ever seen in a particle accelerator. A strong knowledge of the properties of amplitudes for Quantum Chromodynamics in the High Energy Limit is therefore important to interpret this data. We study this limit in the context of the High Energy Jets (HEJ) formalism. This formalism resums terms in the perturbative expansion of the cross-section that behave like αn/s log (s/-t)ⁿ¯¹, which are enhanced in this limit. Understanding this region is particularly important in certain key analyses at the LHC: for example, Higgs-boson- plus-dijet analyses where cuts are applied to pick out events with a large mjj and in many searches for new physics. In this thesis, we discuss two directions in which HEJ's accuracy has been improved. Firstly, we look at adding descriptions of partonic subprocesses which are formally sub-leading in the jet cross-section but Leading Logarithmic (LL) in the particular subprocess itself. This required the derivation of new effective vertices that describe the emission of a quark/anti-quark pair in a way that is consistent with the resummation procedure. The inclusion of such processes reduces HEJ's dependence on fixed-order calculations and marks an important step towards full Next-to-Leading Logarithmic (NLL) accuracy in the inclusive dijet cross-section. The second extension was to improve our description of events involving the emission of a Higgs boson along with jets. Specifically, we derive new effective vertices which keep the full dependence on the quark mass that appears in the loops that naturally arise in such amplitudes. The formalism is also simple enough to allow for any number of extra nal state jets in the process. Therefore, HEJ is unique in its ability to provide predictions for high-multiplicity Higgs-plus-jets processes with full nite quark mass e ects. Such a calculation is far beyond the reach of any xed order approach.

O presente estudo pretende analisar a relação entre direito material e direito processual à luz do paradigma do formalismo-valorativo, a fim de buscar a solução para intrigantes problemas existentes em matéria de tutela jurisdicional de urgência, em especial a delimitação dessa modalidade diferenciada de tutela, a adequação procedimental, suas técnicas e a influência que sofre do direito material quanto ao preenchimento dos requisitos autorizadores de sua aplicação e quanto à escolha do meio a ser empregado em sua efetivação. / The present study analyzes the relations between Material Law and Process in the light of the methodological paradigm of axiological formalism. It is aimed at seeking the solution to intriguing problems related to urgency jurisdictional tutelage, focusing on limiting this distinctive tutelage kind, its procedural adequacy and the influence it suffers from the Material Law in regards to meeting the authorization requirements to be applied and also in choosing the executive means to enforce it.

Este trabalho divide-se em três partes. Na primeira parte fazemos uma breve descrição de cadeias de Markov a tempo discreto e tempo contínuo. Na segunda parte, seguindo o artigo [5], introduzimos o formalismo termodinâmico no espaço de Bernoulli com símbolos dados em um espaço métrico compacto, generalizando a teoria usual onde o espaço de estados é finito. Após, seguindo o artigo [1], introduziremos uma versão do Operador de Ruelle para cadeias de Markov a tempo contínuo. Ainda, a partir de uma função V que funcionará como uma perturbação, definiremos um operador de Ruelle modificado e, para este operador, mostraremos a existência de uma auto-função e uma auto-medida. / This work is divided in three parts. In the first one, we give a brief description of Markov chains in both discrete time and continuous time. In the second one, following the article [5], we introduce the thermodynamic formalism in the Bernoulli space with symbols in a compact metric space, generalizing the usual theory, where the space of states is finite. Then, following the article [1], we will introduce a version of Ruelle Opemtor for Markov chains in continuous time. Also, using a V function, which will be seen as a perturbation, we will define a modified Ruelle operator and, for this operator, we will show the existence of a eigenfunction and a eigenmeasure.

This thesis deals with implementation of computer technologies to teaching practice of mathematics in the 7th year of elementary school. The thesis is divided into two parts ? a theory and an application. The theory includes the most important knowledge of interactive teaching divided into teaching with interactive whiteboard and computer assisted learning. It also discusses approaches to teaching mathematics as an important part of education and connecting problem solving into education. The application includes worksheets that introduce the usage of interactive issues in education and description of a trial performed in the 7th class of elementary school. The aim of the trial was to find out the influence of interactive education to dealing with mathematical problem solving

Submitted by Anderson Nogueira (andsogueira@hotmail.com) on 2016-03-08T21:06:11Z No. of bitstreams: 1 Tese-Anderson.pdf: 1337697 bytes, checksum: 95996aacf55769a399e7a2c11a2a1e5f (MD5) / Approved for entry into archive by Ana Paula Grisoto (grisotoana@reitoria.unesp.br) on 2016-03-09T18:28:05Z (GMT) No. of bitstreams: 1 nogueira_aa_dr_ift.pdf: 1337697 bytes, checksum: 95996aacf55769a399e7a2c11a2a1e5f (MD5) / Made available in DSpace on 2016-03-09T18:28:05Z (GMT). No. of bitstreams: 1 nogueira_aa_dr_ift.pdf: 1337697 bytes, checksum: 95996aacf55769a399e7a2c11a2a1e5f (MD5) Previous issue date: 2016-02-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este trabalho tem como objetivo explorar a dinâmica quântica de interação entre partículas escalares e vetoriais e estudar o equilíbrio termodinâmico dessas partículas no ensemble gran-canônico. A dinâmica de interação, escrita em uma linguagem covariante entre o campo de matéria (escalar) e o campo intermediador de interação (vetorial), apresenta uma simetria de calibre local, U(1) no caso quântico e SO(4) no equilíbrio termodinâmico. Sendo assim dividimos o trabalho em dois setores. No primeiro setor analisamos sistematicamente a interação quântica entre partículas escalares (mésons) e partículas vetoriais (fótons) no contexto da eletrodinâmica quântica escalar generalizada de Duffin-Kemmer-Petiau (GSDKP). Para isso quantizamos a teoria, utilizando uma abordagem funcional. Construímos a estrutura Hamiltoniana do sistema seguindo a metodologia de Dirac, o procedimento de Faddeev-Senjanovic para obter a amplitude de transição no calibre de Coulomb generalizado e o método de Faddeev-Popov-DeWitt para escrever a amplitude de transição anterior de maneira covariante na condição de calibre no-mixing. Daí, escrevendo o funcional gerador via Schwinger, as equações de Schwinger-Dyson (SD) e as identidades de Ward-Takahashi (WT) são obtidas. Como introdução à análise das correções radiativas, fizemos um cálculo quantitativo para ver os tipos de divergências superficiais (ultravioleta) que poderiam aparecer na teoria. Depois apresentamos um cálculo explícito das primeiras correções radiativas (1-laço) associadas ao propagador do fóton, propagador do méson, vértice e, estudamos a função de 4 pontos (fóton-fóton) utilizando o método de regularização dimensional, em que a simetria de calibre é manifesta. Como veremos, uma consequência do estudo é que a álgebra de DKP assegura o funcionamento das identidades de WT nas primeiras correções radiativas proibindo certas divergências no ultravioleta. Com o conhecimento das divergências no ultravioleta (UV) e no infravermelho (IV) abordadas nas correções radiativas, estabelecemos o Programa de Renormalização multiplicativo para esta teoria na camada de massa. O fato do propagador do campo escalar possuir uma nova estrutura divergente na massa de Podolsky nos levou a analisar as correções radiativas a 2-laços. Do propagador do fóton definimos o tensor de polarização e com este, de maneira fenomenológica, analisando o comportamento assintótico das funções de Green para altos momentos, abordamos a dependência da constante de estrutura com a escala de energia. No segundo setor estudamos o Formalismo de Matsubara-Fradkin (MF) para descrever campos em equilíbrio termodinâmico. Para isso foi necessário construir as equações em equilíbrio termodinâmico que descrevessem o setor escalar e vetorial e a posteriori extrair a função de partição. Ao construir o setor vetorial, percebemos o surgimento e a importância dos campos fantasmas e sua conexão com a simetria de Bechi-Rouet-Stora-Tyutin (BRST). No caso da escolha de calibre covariante no-mixing, foi necessário contornar o surgimento de uma estrutura pseudo-diferencial. Analisando a função de partição associada aos fótons livres de Podolsky via método dos parâmetros fictícios, percebemos o fato da simetria BRST assegurar que a função de partição não depende das escolhas covariantes ao fixarmos o calibre. As condições de Lorenz, no-mixing e Lorenz generalizado são amarradas pela simetria BRST e esse fato está contido em uma afirmação geral em teorias de calibre a temperatura finita, atribuída ao trabalho de Tyutin, de que a física não depende das escolhas de calibre, covariantes ou não, devido a simetria BRST. Por fim, com a funções de partição em mãos, construímos as equações de Schwinger-Dyson-Fradkin (SDF) e as identidades de Ward-Takahashi-Fradkin (WTF) em equilíbrio termodinâmico. / This work has as aim to explore the quantum dynamics of interaction between scalar and vectorial particles and to study the thermodynamic equilibrium of these particles in the gran-canonical ensemble. The dynamics of interaction, written in a covariance language, between the matter field (scalar) and the field that intermediate the interaction (vectorial) exhibit a local gauge symmetry, U(1) in a quantum case and SO(4) in a thermodynamic equilibrium. Therefore we divided the work into two sections. In the first section we analyze systematically the quantum interaction between the scalar particles (mesons) and vectorial particles (photons) in the context of the generalized scalar Duffin-Kemmer-Petiau quantum electrodynamics (GSDKP). For this we use the functional approach to quantize the theory. We built the hamiltonian structure by the Dirac methodology, utilize the Faddeev-Senjanovic procedure to obtain the transition amplitude in the generalized Coulomb gauge and the Faadeev-Popov-DeWitt method to write the covariant form of the previously amplitude in the no-mixing gauge condition. Then writing the functional generator by Schwinger, the Schwinger-Dyson (SD) equations and the Ward-Takahashi (WT) identities are obtained. As an introductory analysis to the first radiative corrections we make a quantitative calculus to see the types of ultraviolet (UV) superficial divergences that appear in the theory. After this we show an explicit calculation of the first radiative corrections (1-loop) associated with the photon propagator, meson propagator, vertex and the 4 point function (photon-photon) utilizing the dimensional regularization method, where the gauge symmetry is manifest. As we will see one of the consequences of the study is that the DKP algebra ensures the functioning of the WT identities in the first radiative corrections prohibiting certain UV divergences. With the knowledge of the UV divergences and de infrared (IR) addressed in the radiative corrections we established the multiplicative renormalization procedure to this theory in the mass shell. The fact that the meson propagator has a new divergence structure in terms of the Podolsky mass took us to analyze the radiative correction at 2-loops. With the photon propagator we define the polarization tensor and in a phenomenological manner, analyzing the asymptotic behavior of Green's functions for higher momentum, we derive the dependence of the structure constant by the scale of energy. In the second section we study the Matsubara-Fradkin (MF) formalism to describe fields in thermodynamical equilibrium. For this it was necessary to construct the equations in thermodynamic equilibrium that describe the scalar sector and vectorial sector and then extract the partition function. When we construct the vectorial sector we realize the emergence and the importance of the ghost fields and their connection to the Bechi-Rouet-Stora-Tyutin (BRST) symmetry. In the case of the no-mixing gauge condition was necessary to contour a pseudo-differential structure. Analyzing the free partition function associated with the free Podolsky photons by the method of fictitious parameters we realize that the BRST symmetry ensures that it does not depend of the covariant choices when we fix de gauge. The Lorenz condition, no-mixing and generalized Lorenz are tied by the BRST symmetry and this fact is contained in a general statement in gauge theories at finite temperature, assigned by Tyutin work, that the physics doesn't depend of the gauge choices, covariant or not, due to BRST symmetry. Lastly, with the partition function in hands, we construct the Schwinger-Dyson-Fradkin (SDF) and the Ward-Takahashi-Fradkin (WTF) in thermodynamic equilibrium.

Made available in DSpace on 2014-06-11T19:35:38Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-04-30Bitstream added on 2014-06-13T20:07:08Z : No. of bitstreams: 1 bertin_mcfg_dr_ift.pdf: 756466 bytes, checksum: ce1f33918fe3aabd6f7ec3c8bae37297 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Neste trabalho apresentaremos o formalismo de Hamilton-Jacobi para sistemas singulares em teorias de campos, com foco em teorias com derivadas de ordem superior. Iniciaremos com uma análise preliminar do cálculo variacional para esses sistemas, que envolve as condições para a extremização de uma integral fundamental múltipla e a análise dos teoremas de Noether. Buscaremos seguir este caminho na construção do formalismo de Hamilton- Jacobi em forma covariante, em que nos utilizaremos da clássica abordagem de Carathéodory adaptada a teorias de campos. No terceiro capítulo, mostraremos como o formalismo pode ser construído dada a escolha de uma dinâmica relativística específica e como esta escolha nos permite tratar de sistemas singulares de forma natural. No quarto capítulo abordaremos o problema das condições de integrabilidade, análise que garantirá um método autoconsistente de análise de vínculos. Nesta análise, seremos capazes de relacionar um conjunto de geradores a simetrias da integral fundamental e um segundo tipo a uma modificação da dinâmica com a introdução de parênteses generalizados. Nos dois últimos capítulos apresentaremos aplicações deste método / In this work we will develop the Hamilton-Jacobi formalism to singular and higher-order derivative field theories. We will begin with a preliminary approach to the variational problem concerning the search for extrema of a given fundamental integral, and the analysis of the Noether’s theorems. Next, we will present a covariant Hamilton-Jacobi theory using the classical approach of Carathéodory applied to field theories. In the third chapter we will show how this formalism can be derived given a choice of relativistic dynamics, and how this choice allows us to deal with singular systems. In the fourth chapter we will address the problem of integrability conditions. This analysis will be the basic tool for a self consistent constraint analysis. We will see that we can relate a certain set of generators to symmetries of the action, as well as a second type of generators to a modification of the dynamics by means of generalized brackets. The two last chapters will be used for applications

O presente estudo pretende analisar a relação entre direito material e direito processual à luz do paradigma do formalismo-valorativo, a fim de buscar a solução para intrigantes problemas existentes em matéria de tutela jurisdicional de urgência, em especial a delimitação dessa modalidade diferenciada de tutela, a adequação procedimental, suas técnicas e a influência que sofre do direito material quanto ao preenchimento dos requisitos autorizadores de sua aplicação e quanto à escolha do meio a ser empregado em sua efetivação. / The present study analyzes the relations between Material Law and Process in the light of the methodological paradigm of axiological formalism. It is aimed at seeking the solution to intriguing problems related to urgency jurisdictional tutelage, focusing on limiting this distinctive tutelage kind, its procedural adequacy and the influence it suffers from the Material Law in regards to meeting the authorization requirements to be applied and also in choosing the executive means to enforce it.

Este trabalho divide-se em três partes. Na primeira parte fazemos uma breve descrição de cadeias de Markov a tempo discreto e tempo contínuo. Na segunda parte, seguindo o artigo [5], introduzimos o formalismo termodinâmico no espaço de Bernoulli com símbolos dados em um espaço métrico compacto, generalizando a teoria usual onde o espaço de estados é finito. Após, seguindo o artigo [1], introduziremos uma versão do Operador de Ruelle para cadeias de Markov a tempo contínuo. Ainda, a partir de uma função V que funcionará como uma perturbação, definiremos um operador de Ruelle modificado e, para este operador, mostraremos a existência de uma auto-função e uma auto-medida. / This work is divided in three parts. In the first one, we give a brief description of Markov chains in both discrete time and continuous time. In the second one, following the article [5], we introduce the thermodynamic formalism in the Bernoulli space with symbols in a compact metric space, generalizing the usual theory, where the space of states is finite. Then, following the article [1], we will introduce a version of Ruelle Opemtor for Markov chains in continuous time. Also, using a V function, which will be seen as a perturbation, we will define a modified Ruelle operator and, for this operator, we will show the existence of a eigenfunction and a eigenmeasure.