• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 50
  • 3
  • 1
  • Tagged with
  • 55
  • 28
  • 28
  • 28
  • 28
  • 12
  • 12
  • 10
  • 10
  • 9
  • 7
  • 6
  • 6
  • 6
  • 6
  • 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.
41

Gravitação modificada pelos efeitos quânticos e o problema de estabilidade de soluções clássicas

Salles, Filipe de Oliveira 28 August 2014 (has links)
Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-06-08T17:41:35Z No. of bitstreams: 1 filipedeoliveirasalles.pdf: 1084931 bytes, checksum: 31cdfab02357cfd8fbfb1b5400596728 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-06-26T19:07:33Z (GMT) No. of bitstreams: 1 filipedeoliveirasalles.pdf: 1084931 bytes, checksum: 31cdfab02357cfd8fbfb1b5400596728 (MD5) / Made available in DSpace on 2017-06-26T19:07:33Z (GMT). No. of bitstreams: 1 filipedeoliveirasalles.pdf: 1084931 bytes, checksum: 31cdfab02357cfd8fbfb1b5400596728 (MD5) Previous issue date: 2014-08-28 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nesta tese exploramos diferentes aspectos da gravitação e as necessidades de realizar-se modificações. Iniciaremos abordando modificações "clássicas" e, em seguida, estudamos o comportamento da dinâmica de perturbações métricas na gravitação com correções quânticas induzidas pela anomalia. Obtemos a equação para ondas gravitacionais nesta teoria em um fundo homogêneo e isotrópico geral e, em seguida, verificamos a estabilidade deste mesmo fundo com relação às perturbações. Analisamos o comportamento das perturbações durante o período inflacionário, na fase estável da inflação de Starobinsky Modificada, além dos casos de radiação e matéria. A estabilidade de perturbações métricas em teorias com derivadas de ordem superior da gravidade depende da escala de energia das condições iniciais de tais perturbações. Mostramos que, pelo menos nos casos de fundos cosmológicas específicos, fantasmas massivos não físicos que estão presentes no espectro de tais teorias não irão "crescer" como excitação física, permanecendo no estado de vácuo. Isso irá ocorrer até que a frequência inicial da perturbação chegue próximo da escala de energia de Planck. Assim as versões existentes das teorias renormalizáveis e superrenormalizáveis podem ser vistas como teo-rias efetivas satisfatórias para Gravitação Quântica. / In this thesis we look for different aspects of gravitation and the need to make modifications. We start looking for "classic" modifications and then we study the dynamic behavior of metric perturbations in gravity with anomaly-induced quantum corrections. We obtain the equation for gravitational waves in this theory in a homogeneous and isotropic background and then we verify the stability of this with respect to perturbations. We analyze the behavior of perturbations during the inflationary period, the stable phase of the modified Starobinsky inflation, besides the radiation and matter cases. The stability of metric perturbations in higher-derivative gravity theories depends on the energy scale of the initial conditions. We show that, at least in cases of specific cosmological backgrounds, nonphysical massive ghosts that are present in the spectrum of such theories will not "grow-up", remaining in the vacuum state. This will occur until the initial frequency of the perturbations reaches near the Planck energy scale. Thus renormalizable and superrenormalizable theories can be seen as satisfactory effective theories for quantum gravity.
42

Transferência de energia nas colisões entre N2 e H2: um estudo quase-clássico / Transfer energy in collisions between N2 and H2: a quasi-classical study

Abreu, Francisco de Freitas 19 May 2017 (has links)
Submitted by Geandra Rodrigues (geandrar@gmail.com) on 2018-02-09T18:25:19Z No. of bitstreams: 1 franciscodefreitasabreu.pdf: 1020647 bytes, checksum: c0554d2b4af5e0e53222c98e83705fc4 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2018-03-19T18:03:55Z (GMT) No. of bitstreams: 1 franciscodefreitasabreu.pdf: 1020647 bytes, checksum: c0554d2b4af5e0e53222c98e83705fc4 (MD5) / Made available in DSpace on 2018-03-19T18:03:55Z (GMT). No. of bitstreams: 1 franciscodefreitasabreu.pdf: 1020647 bytes, checksum: c0554d2b4af5e0e53222c98e83705fc4 (MD5) Previous issue date: 2017-05-19 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Processos de transferência de energia em conlisões moleculares constituem uma área de grande interesse no ramo científico. Com este fomento, investigamos o processo de relaxação e ativação vibracional quando estudamos a colisão não reativa entre N2 e H2, com 10kcal/mol ≤ Etr ≤ 100kcal/mol, encontrando computacionalmente distribuições vibracionais Digite a equação aqui.do N2, a fim de obtermos informações sobre a seção de choque e da constante de velocidade. Neste trabalho, são desenvolvidos seis capítulos, sendo o primeiro destinado à introdução, e o último, às conclusões. Nos capítulos 2, 3 e 4, é feita uma revisão de literatura, que fornece um embasamento teórico para o estudo realizado. No capítulo 5, descrevemos a metologia utilizada e apresentamos os resultados obtidos. / Energy transfer in molecular collisions are an area of great interest in the scientific field. Because of this, we investigate the vibrational excitation and deactivation process when we study the non-reactive collision between N2 and H2, with 10kcal/mol ≤ Etr ≤ 100kcal/mol, finding computationally vibrational distributions of N2, in order to obtain information about the cross section and the rate constant. In this work, six chapters are developed, the first one is for the introduction, and the last, for the conclusions. In chapters 2, 3 and 4, we present a literature review. In chapter 5, we describe the methodology used and present the results obtained.
43

Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas / Belief revision in description logics and other non-classical logics

Ribeiro, Marcio Moretto 20 September 2010 (has links)
A area de revisão de crenças estuda como agentes racionais mudam suas crencas ao receberem novas informações. O marco da area de revisão de crenças foi a publicacão do trabalho de Alchourron, Gardenfors e Makinson. Nesse trabalho conhecido como paradigma AGM foram denidos criterios de racionalidade para tipos de mudanca de crencas. Desde então, a área de revisão de crenças foi influenciada por diversas disciplinas como filosoa, computacão e direito. Paralelamente ao desenvolvimento da area de revisão de crenças, os últimos 20 anos foram marcados por um grande avanço no estudo das logicas de descrição. Tal avanço, impulsionado pelo desenvolvimento da web-semântica, levou a adoção de linguagens inspiradas em logicas de descrição (OWL) como padrão para se representar ontologias na web. Nessa tese tratamos do problema de aplicar a teoria da revisão de crenças a lógicas não clássicas e especialmente a logicas de descric~ao. Trabalhos recentes mostraram que o paradigma AGM e incompatvel com diversas logicas de descricão. Estendemos esses resultados mostrando outras lógicas que não são compatíveis com o paradigma AGM. Propomos formas de aplicar a teoria de revisão tanto em bases quanto em conjuntos de crencas a essas logicas. Alem disso, usamos algoritmos conhecidos da área de depuração de ontologias para implementar operações em bases de crenças. / Belief revision theory studies how rational agents change their beliefs after receiving new information. The most in uential work in this area is the paper of Alchourron, Gardenfors and Makinson. In this work, known as AGM paradigm rationality criteria for belief change were dened. Since then, the eld has been in uenced by many areas like philosophy, computer science and law. Parallel to the development of belief revision eld, in the past 20 years there was a huge grow in the study of description logics. The climax of this development was the adoption of OWL (a language based on description logics) as the standard language to represent ontologies on the web. In this work we deal with the problem of applying belief revision in to non-classical logics, specially description logics. Recent works showed that the AGM paradigm is not compliant with several description logics. We have extended this work by showing that other logics are not compliant with AGM paradigm. Furthermore, we propose alternative ways to apply belief revision techniques to these logics. Finally, we show that well known algorithms from the area of ontology debugging eld can be used to implement the proposed constructions.
44

Modelos de regressão com coeficientes funcionais para séries temporais / Functional-coefficient regression models for time series

Montoril, Michel Helcias 28 February 2013 (has links)
Nesta tese, consideramos o ajuste de modelos de regressão com coeficientes funcionais para séries temporais, por meio de splines, ondaletas clássicas e ondaletas deformadas. Consideramos os casos em que os erros do modelo são independentes e correlacionados. Através das três abordagens de estimação, obtemos taxas de convergência a zero para distâncias médias entre as funções do modelo e seus respectivos estimadores, propostos neste trabalho. No caso das abordagens de ondaletas (clássicas e deformadas), obtemos também resultados assintóticos em situações mais específicas, nas quais as funções do modelo pertencem a espaços de Sobolev e espaços de Besov. Além disso, estudos de simulação de Monte Carlo e aplicações a dados reais são apresentados. Por meio desses estudos numéricos, fazemos comparações entre as três abordagens de estimação propostas, e comparações entre outras abordagens já conhecidas na literatura, onde verificamos desempenhos satisfatórios, no sentido das abordagens propostas fornecerem resultados competitivos, quando comparados aos resultados oriundos de metodologias já utilizadas na literatura. / In this thesis, we study about fitting functional-coefficient regression models for time series, by splines, wavelets and warped wavelets. We consider models with independent and correlated errors. Through the three estimation approaches, we obtain rates of convergence to zero for average distances between the functions of the model and their estimators proposed in this work. In the case of (warped) wavelets approach, we also obtain asymptotic results in more specific situations, in which the functions of the model belong to Sobolev and Besov spaces. Moreover, Monte Carlo simulation studies and applications to real data sets are presented. Through these numerical results, we make comparisons between the three estimation approaches proposed here and comparisons between other approaches known in the literature, where we verify interesting performances in the sense that the proposed approaches provide competitive results compared to the results from methodologies used in literature.
45

Estudo da consistência e soluções clássicas da eletrodinâmica de Maxwell-Carroll-Field- Jackiw-Proca / Study of the consistency and classic solutions of the electrodynamics of Maxwell-Carroll-Field- Jackiw-Proca

Santos, Carlos Eduardo da Hora 21 August 2008 (has links)
Submitted by Rosivalda Pereira (mrs.pereira@ufma.br) on 2017-06-06T20:31:13Z No. of bitstreams: 1 CarlosSantos.pdf: 658387 bytes, checksum: 1df4b4e3039b37f11e39d47fde182d45 (MD5) / Made available in DSpace on 2017-06-06T20:31:13Z (GMT). No. of bitstreams: 1 CarlosSantos.pdf: 658387 bytes, checksum: 1df4b4e3039b37f11e39d47fde182d45 (MD5) Previous issue date: 2008-08-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Fundação de Amparo à Pesquisa e ao Desenvolvimento Científico e Tecnológico do Maranhão (FAPEMA) / In this work, we investigate some significant aspects of the Maxwell-Carroll-Field- Jackiw-Proca (MCFJP) electrodynamics. This electrodynamics is built through the im- plementation of the Carroll-Field-Jackiw(CFJ) term on the Proca Lagrangian. The CFJ term is the CPT odd term of the gauge sector of the Standard Model Extension. First, we verify under which circumstances this model yields a consistent Quantum Field The- ory (QFT) capable of describing the interactions mediated by photons. In this sense, the propagator ‹Aα(k)Av (k)› is carried out, with the dispersion relations and associated propagation modes being determined. Then, we verify which of these modes are stable, causal and unitary. Only when the theory is causal, stable and unitary, we can say that it can be consistently quantized. It follows that the MCFJP electrodynamics is consistent only for a purely space-like background field, Vα = (0; v). A posteriori, we investigate the classical solutions (static and stationary) of MCFJP electrodynamics. The starting point is the wave equation for the gauge field A (r), which through the use of Green Method, yields explicit expressions for A (k). For a purely time-like background field, Vα= (v0; 0), an exponentially decreasing solution for the electric sector is obtained, equal to the Maxwell-Proca solution. Therefore, the background does not promote any change in electric sectors of the MCFJP and MCFJ electrodynamics. On the other hand, the magnetic sector is changed: for stationary currents, it displays an oscillating behavior [in Maxwell-Proca (MP) electrodynamics, these solutions have an exponentially decreasing behavior]. In the limitMA!0, we obtain the stationary field B(r) ofMCFJ electrodynam- ics (oscillating behavior), which is compatible with the emission of Cerenkov radiation. For a purely space-like background, V = (0; v), we obtain stationary solutions at second order in v, assuming v2 M2 A ; and v jj r. It appears that both magnetic and electric sectors display exponentially decreasing solutions, which recover those ones of the MP electrodynamics in the limit v → 0. / Neste trabalho, objetiva-se investigar significativos aspectos da eletrodinâmica de Maxwell-Carroll-Field-Jackiw-Proca (MCFJP). Esta eletrodinâmica é construída via a implementação de campos de fundo (backgrounds), responsáveis pela violação da invariância de Lorentz, no setor de gauge puro do Modelo Padrão usual. Primeiramente, averigua-se sob quais circunstâncias é possível a definição de uma Teoria Quântica de Campo (TQC) consistente, ou seja, capaz de descrever as interações mediadas por fótons. Neste ínterim, calcula-se o propagador ‹Aα(k)Av (k)›, relações de dispersão e modos de propagação associados. Em seguida, identifica-se quais destes modos são estáveis, cau- sais e unitários. Apenas quando a teoria é causal, estável e unitária, pode-se dizer que a mesma pode ser consistentemente quantizada. Conclui-se que a eletrodinâmica deMCFJP é consistente apenas apenas para o caso de um background tipo-espaço, Vα = (0; v). Na sequência, investiga-se as soluções clássicas (estáticas e estacionárias) para a eletrodinâmica de MCFJP. Calcula-se a equação de onda para o setor Av(r) e, via a implementação do Método de Green, expressões explícitas para Av(k). Para um background tipo-tempo, Vα= (v0; 0), resulta um setor elétrico exponencialmente decrescente. No limite MA!0, conclui-se que o background não promove alteração nos setores elétricos das eletrodinâmicas de MCFJP e MCFJ. Já o setor magnético é alterado: quando gerado por cargas em movimento estacionário, este exibe um comportamento oscilante [na eletrodinâmica de Maxwell-Proca (MP), as soluções são exponencialmente decrescentes]. No limite MA→0, obtém-se o campo B(r) estacionário de MCFJ (comportamento oscilante), o qual é compatível com a emissão de radiação Cerenkov. Para um background tipo-espaço, Vα = (0; v), obtém-se soluções estacionárias em segunda ordem em v, e supondo v / r, v2≪ M2 A. Verifia-se que ambos os setores elétrico e magnético exibem soluções exponencialmente decrescentes, as quais, no limite v → 0, reproduzem aquelas da eletrodinâmica de MP.
46

Amplificação de pequenos sinais em osciladores parametricamente forçados.

SANTOS, Desiane Maiara Gomes dos. 10 October 2018 (has links)
Submitted by Emanuel Varela Cardoso (emanuel.varela@ufcg.edu.br) on 2018-10-10T18:52:25Z No. of bitstreams: 1 DESIANE MAIARA GOMES DOS SANTOS – DISSERTAÇÃO (PPGFísica) 2015.pdf: 6011160 bytes, checksum: a5021549766593cfe2eb8fe5314ea39b (MD5) / Made available in DSpace on 2018-10-10T18:52:25Z (GMT). No. of bitstreams: 1 DESIANE MAIARA GOMES DOS SANTOS – DISSERTAÇÃO (PPGFísica) 2015.pdf: 6011160 bytes, checksum: a5021549766593cfe2eb8fe5314ea39b (MD5) Previous issue date: 2015-04-10 / Capes / Nesta dissertação, analisamos a dinâmica de osciladores parametricamente forçados, com enfoque na amplificação de pequenos sinais. Iniciamos por uma revisão da ressonância paramétrica e da amplificação paramétrica em um oscilador linear parametricamente excitado. Em seguida, estudamos dois tipos de osciladores não-lineares parametricamente forçados e concluímos a dissertação com a análise de um dímero parametricamente excitado. Basicamente, analisamos os fenômenos de ressonância paramétrica e de amplificação paramétrica, comparando os resultados obtidos analiticamente (via métodos da média ou do balanço harmônico) com os obtidos via integração numérica das equações do movimento. Em todos os casos, obtivemos a linha de transição para a instabilidade paramétrica do oscilador paramétrico. Nós excitamos os amplificador paramétrico com e sem dessintonia entre entre o bombeamento e o sinal externo ac. Verificamos que o ganho da amplificação paramétrica depende da sensitivamente na fase do sinal externo ac e na amplitude do bombeamento. Mostramos que tais sistemas podem ser facilmente utilizados para recepção e decodificação de sinais com modulação de fase. Além disso, obtivemos séries temporais, envelopes e transformadas de Fourier para a resposta da amplificação paramétrica de pequenos sinais ac. Especificamente nos casos dos osciladores de Duffing parametricamente forçados, obtivemos e analisamos linhas de bifurcação e a amplitude dos ciclos limites como função da frequência e da amplitude de bombeamento. Adicionalmente, conseguimos obter uma relação analítica para os ganhos do sinal e do idler dos osciladores não-lineares parametricamente forçados pelo método do balanço harmônico. Os resultados obtidos implicam que os amplificadores paramétricos não-lineares podem ser excelentes detectores, especialmente em pontos próximos a bifurcações para instabilidade, em que apresentam altos ganhos e largura de banda bem estreitas. Por último, investigamos também o comportamento de dois osciladores lineares acoplados e parametricamente estimulados, com e sem força externa ac. Tais sistemas são muito sensíveis à fase do sinal a ser amplificado e podem ser utilizados para criar amplificadores sintonizáveis em função do parâmetro de acoplamento. / In this dissertation, we studied the dynamics of parametrically-driven oscillators, with a focus on the amplification of small signals. We begin with a revision of parametric resonance and parametric amplification in a linear oscillator parametrically excited. Next, we studied two types of nonlinear parametrically-driven oscillators and finished the dissertation with an analysis of a parametric dimer. Basically, we analyzed the phenomena of parametric resonance and parametric amplification by comparing the results obtained analytically (via the averaging or harmonic balance methods) with those of numerical integration of the equations of motion. In all cases, we obtained the transition line to parametric instability of the parametric oscillator. We excited the parametric amplifier with and without detuning between the pump and the external signal. We found that the parametric amplification depends sensitively on the phase of the external ac signal and on the internal pump amplitude. We showed that such amplifiers can be easily used for the reception and decoding of signals with phase modulation. Furthermore, we obtained time series, envelopes, and Fourier transforms of the response of the parametric amplifier to small external ac signals. Specifically in the cases of the parametrically-driven Duffing oscillators, we obtained and analysed the bifurcation lines and the amplitude of limit cycles as function of the pump amplitude and frequency. In addition, we derived an expression for the signal and idler gains of the nonlinear parametrically-driven oscillators with the harmonic balance method. The results imply that the nonlinear parametric amplifiers can be excellent detectors, specially near bifurcations to instability, due to their high gains and narrow bandwidths. Finally, we studied the dynamics of two linear oscillators coupled and parametrically excited, with and without external ac driving. We found that such systems have a wealth of dynamical responses. They present parametric amplification that is dependent on the coupling parameter and on the phases of the external ac signals. Such systems may be used as tunable amplifiers.
47

Um estudo sobre julgamentos e escolhas: vieses e heurísticas no processo de decisão dos regimes próprios de previdência social

Sandoval, Daniel Boueres 05 August 2016 (has links)
Submitted by DANIEL BOUERES SANDOVAL (dbsandoval@gmail.com) on 2016-08-28T21:43:50Z No. of bitstreams: 1 DISSERTAÇÃO_VERSÃO_FINAL_FORMATADA.pdf: 2730150 bytes, checksum: 8f9bd9c4276be136442684824ad7bfc1 (MD5) / Rejected by Renata de Souza Nascimento (renata.souza@fgv.br), reason: Daniel, boa noite Para que possamos aceitar seu trabalho junto à biblioteca, por gentileza realizar a alteração abaixo: Numeração das páginas - Está correta ter iniciado na Introdução, mas por exemplo: se a Introdução foi a página 10 incluir a numeração 10 e dar sequência e não página 1 como consta. Em seguida realizar uma nova submissão. Grata. on 2016-08-29T21:16:44Z (GMT) / Submitted by DANIEL BOUERES SANDOVAL (dbsandoval@gmail.com) on 2016-08-30T00:13:27Z No. of bitstreams: 1 DISSERTAÇÃO_VERSÃO_FINAL_FORMATADA.pdf: 2731015 bytes, checksum: eede2206b8c4ce02df64b991ee6f82a2 (MD5) / Approved for entry into archive by Renata de Souza Nascimento (renata.souza@fgv.br) on 2016-08-30T00:57:35Z (GMT) No. of bitstreams: 1 DISSERTAÇÃO_VERSÃO_FINAL_FORMATADA.pdf: 2731015 bytes, checksum: eede2206b8c4ce02df64b991ee6f82a2 (MD5) / Made available in DSpace on 2016-08-30T12:33:05Z (GMT). No. of bitstreams: 1 DISSERTAÇÃO_VERSÃO_FINAL_FORMATADA.pdf: 2731015 bytes, checksum: eede2206b8c4ce02df64b991ee6f82a2 (MD5) Previous issue date: 2016-08-05 / Up to the middle of last century, the theoretical framework of finance was mostly dominated by approaches that considered the investors, in their decision-making role, as rational agents gifted with unshakable uprightness, at the same time that saw the prices of the assets as nothing more than the results of the decisions taken by these agents, as they made use of all the information available in the market. The way these agents played their role, based on their aversion to risk and counting on a full view of their portfolio every time a decision had to be made, aimed at maximizing utility. The aim of this dissertation is to show, by means of a broader approach of finances and economics aligned with concepts of psychology and sociology, how agents, more particularly investors, are susceptible to rationality deviations that impact directly their choices, conflicting with the fundamentals of classical finance theories. As a consequence, investors do not always make their judgments and their choices in a way to avoid risk, with a consolidated view of their portfolio and with an aim at maximizing utility. The research was made with investors of the Brazilian Social Security Regimes, relevant to the country's present scenario, since expenses with social security is a key factor for striking a balance in the domestic budget and, consequently, for the sustainable growth of the country. / Até meados do século passado o framework das teorias de finanças era dominado por abordagens que consideravam o investidor, na figura do tomador de decisões, um agente racional dotado de retidão inabalável, sendo os preços dos ativos nada mais são do que o resultados desses agentes, fazendo uso de todas as informações disponíveis, tomando decisões no mercado. A forma de atuar desses agentes, avessos ao risco e que com uma visão integral do seu portfólio sempre que precisavam tomar uma decisão, tem como objetivo a maximização da utilidade. O objetivo desse trabalho é mostrar, através da utilização de uma abordagem mais ampla das finanças e da economia, que inclui conceitos de psicologia e sociologia, como os agentes, e particularmente os investidores, estão suscetíveis a desvios de racionalidade que impactam diretamente nas suas escolhas, fazendo com que suas decisões nem sempre estejam de acordo com os pilares que sustentam as teorias clássicas de finanças. Como consequência, os investidores nem sempre julgam e escolhem de forma avessa ao risco, tendo a visão do portfólio integrado, e no sentido de maximizar a utilidade. A pesquisa é feita com Regimes Próprios de Previdência Social, investidores esses que possuem relevância no cenário atual, já que os gastos com o sistema previdenciário é um fator chave para o equilíbrio das contas domésticas e, consequentemente, para o crescimento sustentável do país.
48

Uma introdução às lógicas clássica e modal e alguns métodos de dedução

Ribeiro, Samuel Xavier January 2015 (has links)
Orientador: Prof. Dr. Vinícius Cifú Lopes / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Mestrado Profissional em Matemática em Rede Nacional, 2015. / Iniciamos esse trabalho com uma breve introdução histórica para que o leitor tenha uma noção de quando e por que houve interesse em sistematizar os raciocínios lógicos desde Aristóteles até nossos dias. A seguir, apresentamos noções de linguagens, com seus símbolos e regras de formação, sintaxe dos cálculos proposicional e de predicados, funções e operações envolvendo o cálculo de predicados e aplicações (fórmulas matemáticas bem conhecidas). No terceiro capítulo introduzimos o conceito de semântica e apresentamos alguns procedimentos de prova como as tabelas-verdade, tableaux e dedução natural envolvidos nesses sistemas. No quarto capítulo apresentamos a Lógica Modal Alética, demonstrações de teoremas do sistema S5, semântica relacionada com mundos possíveis. Em seguida, apresentamos noções de lógicas modais não aléticas e no sexto capítulo, finalizamos esse trabalho com uma atividade que pode ser aplicada para alunos no Ensino Médio. / We begin this work with a brief historical introduction to when and why there was interest in systematizing logical reasoning since Aristotle until our days. Next, we introduce notions of languages, with its symbols and forming rules, the syntax of propositional and predicate calculi, functions and operations involving the predicate calculus and applications (well known mathematical formulas). In the third chapter we introduce the concept of semantics and present some proof procedures as truth tables, tableaux and natural deduction involved in these systems. In the fourth chapter we present alethic Modal logic, proofs of theorems of the S5 system, and the semantics related to possible worlds. Then, we present notions of non-alethic modal logics. In the sixth chapter, we conclude with an activity that can be applied to high school students.
49

Sintese, análise estrutural e supramolecular de complexos triazenido de Ag(I), Cd(II) E Zn(II) / Syntheses, structural and supramolecular analysis of the triazenide complexes of the Ag(I), Cd(II) AND Zn(II)

Cezar, Renato Silveira 23 May 2011 (has links)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work was synthesized and determined the crystal and molecular structure of two silver triazenide complexes, two cadmium triazenide complexes and a zinc triazenide complex. The complexes {Ag[C12H9N2NNNC6H4(NO2)](C5H5N)}2 (1) and {Ag[C6H3Br2NNNC6H3Br2](C5H5N)}2 (2) crystallize in the monoclinic crystal system, space group P2(1)/c and P2(1)/n respectively. The refinement of those structures converge to de follow discordance indexes R1 = 0,0473 and 0,0503 respectively. The structures of complexes (1) and (2) consist of binucleated neutral silver complexes, centrosymmetric and acentric, respectively, in which metal ions are coordinated by two desprotonated molecules of the ligand (L1) and (L2), respectively, and a neutral molecule of the pyridine. Both complexes (1) and (2) show Ag···Ag interactions allowing an expansion of the coordination geometry of distorted tetrahedral from the distorted T in the case of complex (1) and distorted T to a distorted pyramid with square base in the case of complex (2). In addition, the complex (1) shows the formation of 2-D supramolecular arrangement, forming centrosymmetric dimers through interactions Ag-arene- η2, η2 π and hydrogen centrosymmetric bonding C-H···O and formation of supramolecular 3-D to the complex (2) through non-classic centrosymmetric hydrogen bonds C-H···Mi, weak interactions Br2···Br2ii and Br3···Br3ii . The cadmium complex Cd[(C6H3Br2NNNC6H3Br2)(C5H5N)]2 (3) and [Cd(C6H3Br2NNNC6H3NO2OCH3)2(C5H5N)2] (4) are mononucleated. The complex (3) present a distorted octahedral geometry of coordination and the complex (4) present a distorted tetrahedral geometry of coordination. They crystallized on the monoclinic and triclinic crystal system and P2(1)/c and P(-1) space group, respectively. The refinement of those structures converge to the discordance indexes R1 = 0,0310 and 0,0693 respectively. The structure of the complex (3) consists of a neutral mononuclear complex of cadmium, centrosymmetric, in which the ion metal is hexacoordenated, presenting a coordination geometry distorted octahedral with two molecules of ligand (L2) connected in a bidentate chelating and two molecules of pyridine trans. The structure of the complex (4) consists of a neutral mononuclear complex of cadmium, acentric, in which the ion metal is tetracoordenated, with distorted tetrahedral coordination geometry with two molecules of ligand (L3) linked monodentate and two molecules of pyridine. The complex (3) provides 2-D supramolecular arrangement according to the non-classical hydrogen bonds centrosymmetric C16-H16···Bri and Br2···Br4ii and the complex (4) shows 2-D supramolecular arrangement via hydrogen bonds non-classical centrosymmetric C-H···O. The zinc complex Zn(C6H3Br2NNNC6H3Br2)2(C5H5N)2] (5), has distorted tetrahedral coordination geometry similar to the complex (4) since it comprises the ligand (L3), which is coordinated in the same way as observed in the complex (4), and crystallizes in the triclinic crystal system, space group P (-1). The refinement of this structure converged to the discordance indexes R1 = 0.0757. The complex (5) shows 2-D supramolecular arrangement through no-classical hydrogen bonds centrosymmetric C-H···O. / Neste trabalho sintetizou-se e determinou-se a estrutura cristalina e molecular de dois complexos triazenidos de prata, dois complexos triazenidos de cádmio e um complexo triazenido de zinco. Os complexos {Ag[C12H9N2NNNC6H4(NO2)](C5H5N)}2 (1) e {Ag[C6H3Br2NNNC6H3Br2](C5H5N)}2 (2) cristalizam no sistema cristalino monoclínico, grupo espacial P2(1)/c e P2(1)/n respectivamente. O refinamento dessas estruturas convergiu aos índices R1 = 0,0473 e 0,0503 respectivamente. As estruturas dos complexos (1) e (2) são constituídas de complexos binucleados neutros de prata, acêntrico e centrossimétrico, respectivamente, no qual os íons metálicos são tricoordenados por duas moléculas do ligante (L1) e (L2), respectivamente, desprotonados e uma molécula neutra de piridina. Ambos os complexos (1) e (2) apresentam interações Ag···Ag, o que permite uma expansão da geometria de coordenação de T distorcida para tetraédrica distorcida no caso do complexo (1) e T distorcida para uma geometria de coordenação pirâmide de base quadrada distorcida no caso do complexo (2). Além disso, o complexo (1) apresenta a formação de arranjo supramolecular 2-D, formando dímeros centrossimétricos através das interações Ag-areno-η2, η2 π e ligações de hidrogênio não clássicas centrossimétricas C-H···O e formação de arranjo supramolecular 3-D para o complexo (2) via ligações de hidrogênio não clássicas centrossimétricas C-H···Mi, interações fracas do tipo Br2···Br2ii e Br3···Br3ii . Os complexos de Cádmio Cd[(C6H3Br2NNNC6H3Br2)(C5H5N)]2 (3) e [Cd(C6H3Br2NNNC6H3NO2OCH3)2(C5H5N)2] (4) são mononucleados, sendo o complexo (3) com geometria de coordenação octaédrica distorcida e o complexo (4) apresentar uma geometria de coordenação tetraédrica distorcida, cristalizam no sistema cristalino monoclínico e triclínico, grupo espacial P2(1)/c e P(-1), respectivamente. O refinamento dessas estruturas convergiu aos índices R1 = 0,0310 e 0,0693 respectivamente. A estrutura do complexo (3) é constituída de um complexo mononucleado neutro de cádmio, centrossimétrico, no qual o íon metálico é hexacoordenado, apresentando uma geometria de coordenação octaédrica distorcida, com duas moléculas do ligante (L2) ligados de forma quelante bidentada e duas moléculas de piridina em trans. A estrutura do complexo (4) é constituída de um complexo mononucleado neutro de cádmio, acêntrico, no qual o íon metálico é tetracoordenado, apresentando geometria de coordenação tetraédrica distorcida, com duas moléculas do ligante (L3) ligados de forma monodentada ao íon e duas moléculas de piridina. O complexo (3) apresenta arranjo supramolecular 2-D em função das ligações de hidrogênio não clássicas centrossimétricas C16-H16···Bri e das interações Br2···Br4ii e o complexo (4) apresenta arranjo supramolecular 2-D via ligações de hidrogênio não-clássicas centrossimétricas C-H···O. O complexo de zinco Zn(C6H3Br2NNNC6H3Br2)2(C5H5N)2] (5), apresenta geometria de coordenação tetraédrica distorcida semelhante ao complexo (4) já que é composto pelo mesmo ligante L3, o qual se coordenada da mesma forma que observado no complexo (4), cristaliza no sistema cristalino e triclínico, grupo espacial P(-1). O refinamento dessa estrutura convergiu aos índices R1 = 0,0757. O complexo (5) apresenta arranjo supramolecular 2-D via ligações de hidrogênio não-clássicas centrossimétricas C-H···O.
50

Modelos de regressão com coeficientes funcionais para séries temporais / Functional-coefficient regression models for time series

Michel Helcias Montoril 28 February 2013 (has links)
Nesta tese, consideramos o ajuste de modelos de regressão com coeficientes funcionais para séries temporais, por meio de splines, ondaletas clássicas e ondaletas deformadas. Consideramos os casos em que os erros do modelo são independentes e correlacionados. Através das três abordagens de estimação, obtemos taxas de convergência a zero para distâncias médias entre as funções do modelo e seus respectivos estimadores, propostos neste trabalho. No caso das abordagens de ondaletas (clássicas e deformadas), obtemos também resultados assintóticos em situações mais específicas, nas quais as funções do modelo pertencem a espaços de Sobolev e espaços de Besov. Além disso, estudos de simulação de Monte Carlo e aplicações a dados reais são apresentados. Por meio desses estudos numéricos, fazemos comparações entre as três abordagens de estimação propostas, e comparações entre outras abordagens já conhecidas na literatura, onde verificamos desempenhos satisfatórios, no sentido das abordagens propostas fornecerem resultados competitivos, quando comparados aos resultados oriundos de metodologias já utilizadas na literatura. / In this thesis, we study about fitting functional-coefficient regression models for time series, by splines, wavelets and warped wavelets. We consider models with independent and correlated errors. Through the three estimation approaches, we obtain rates of convergence to zero for average distances between the functions of the model and their estimators proposed in this work. In the case of (warped) wavelets approach, we also obtain asymptotic results in more specific situations, in which the functions of the model belong to Sobolev and Besov spaces. Moreover, Monte Carlo simulation studies and applications to real data sets are presented. Through these numerical results, we make comparisons between the three estimation approaches proposed here and comparisons between other approaches known in the literature, where we verify interesting performances in the sense that the proposed approaches provide competitive results compared to the results from methodologies used in literature.

Page generated in 0.0656 seconds