Descrevemos os processos de captura, criação e micromanipulação cirúrgica das moscas Chrysomya megacephala. Apresentamos os processos de geração de estímulo e registro da atividade dos dois neurônios H1 localizados na placa lobular de seu cérebro. Um primeiro resultado apresentado refere-se a acuidade de seu sistema visual. Desenvolvemos um procedimento para comparar sua taxa de disparos espontâneos com as respostas do neurônio H1 quando sujeito a estímulos de excitação e inibição. Mostramos que o sistema visual da mosca não está apenas adaptado a detectar grandes fluxos ópticos mas também, é capaz de detectar pequenas velocidades de aproximadamente 1, 5o.s-1 e de apenas 0,25o de amplitude. Estes valores mostram que a mosca é capaz de detectar deslocamentos angulares muito menores do que sua abertura omatidial, = 1 2o. Outro resultado apresentado é obtido ao estudarmos o processo de codificação-decodificação neural. Alguns sistemas sensoriais agem como um conversor analógico-digital, recebendo um estímulo S(t) e codificando-o em uma sequência de pulsos, spikes. O processo de decodificação da resposta neural consiste em receber este conjunto pulsos e gerar uma estimativa Se(t) do estmulo. Este processo requer a computação e subsequente inversão de funções de correlação de alta ordem. A dimensão das matrizes que representam estas funções pode se tornar proibitivamente grande. Apresentamos um eficiente método para reduzir estas funções de correlação. Esta aproximação tem baixo custo computacional, evita a inversão de grandes matrizes e nos da um excelente resultado para a reconstrução do estímulo. Testamos a qualidade de nossa reconstrução sobre estímulos de rotação e translação. A contribuição dos núcleos de segunda ordem para a reconstrução do estímulo é de apenas 8% da contribuição dos núcleos de primeira ordem. Entretanto, em instantes específicos, a adição destes núcleos pode representar uma contribuição de ate 100%. Finalmente, investigamos quais atributos do estímulo são codificados pelos neurônios H1. Nosso espaço de estímulos possui um conjunto da ordem de 2 × 1096 elementos. É impossível imaginar que o sistema formado pelos dois neurônios H1 seja capaz de codificar eficientemente esta enorme quantidade de elementos. É razoável considerar que este sistema seja ao menos capaz de codificar um atributo essencial do movimento, seu sentido - rotações horizontais para direita ou para esquerda. Desta forma, apresentamos dois estímulos distintos para a mosca, um no qual suas velocidades são retiradas de uma distribuição Gaussiana e outro que contem apenas o sentido deste movimento. Obtemos uma correlação da ordem de 80 - 90% entre as estimativas de ambos os estímulos, estimativas obtidas através do processo de reconstrução linear. Obtemos aproximadamente 85% de eficiência na predição do sentido deste movimento. Ao utilizarmos a Teoria da Informação, encontramos uma diferença de apenas 10% entre as taxas de informação transmitida sobre os estímulos Gaussiano e sua versão reduzida. Concluímos que a propriedade comum a estes dois estímulos, o sentido do movimento, é o atributo relevante a ser codificado pelos neurônios H1. / We describe the practices of capturing, creation, and microsurgery of the flies Chrysomya megacephala. We present the procedures of stimulus generation and recording of the activity of the two H1 neurons in the lobula plate of its brain. One first result presented is related to its visual system acuity. We developed a method to compare its spontaneous firing rate with the H1s responses to excitatory and inhibitory stimuli. We show that the flys visual system is not only adapted to detect large optic flows but is also capable to detect small velocities about 1, 5o.s-1 with just 0, 25o of amplitude. These values show that the fly is capable to detect angular displacements much smallers than its ommatidial aperture, = 1 2o. Another relevant result is attained studying the processes of neural encode-decode. Some sensorial systems act as an analog-to-digital conversor, these systems encode the input stimulus S(t) in a sequence of action potential, spikes. The decoding process of the neural response consists of capturing this set of spikes and to generate an estimate Se(t) of the stimulus. This process requires the computation and subsequent inversion of high order correlations functions. The dimension of the matrixes that represent these functions can become prohibitively large. We present an efficient method to reduce these correlation functions. This approximation has low computational cost, avoids large matrixes inversion and give to us an excellent result to the stimulus reconstruction. We tested the reconstruction quality of rotational and translational stimuli. The contribution of second order stimulus reconstruction kernels is just 8% of first order kernels contribution. However, in specific times, the addition of these kernels may represent a 100% contribution. Finally, we investigate which stimulus features are codified by the H1 neurons. The stimulus space has a set of about 2 × 1096 elements. It is impossible to imagine that the system formed by the two H1 neurons could be able to encode efficiently this amount of elements. It is reasonable to consider that this system is at least able to encode an essencial characteristic of movement, its direction horizontal rotations to the right or to the left. Therefore, we presente two different stimuli to the fly, one which have velocities taken from a Gaussian distribution and another which contains just the direction of this movement. We obtain about 80 - 90% correlation between the estimates of both stimuli, estimates obtained through linear reconstruction methods. We obtain about 85% of efficiency in the prediction of stimulus direction. We find just a 10% difference between the information rate transmitted about the Gaussian stimulus and its reduced version using Information Theory. We conclude that the common attribute of these stimuli, the direction of movement, is the relevant attribute to be codified by the H1 neurons.

O Modelo Padrão (MP) da física de partículas fornece uma descrição extremamente bem sucedida de todos os dados experimentais atuais. No entanto, temos razões para esperar que ele não seja válido até escalas de energia arbitrariamente altas. No MP a massa do bóson de Higgs é quadraticamente sensível a correções radiativas, sofrendo de grandes problemas de ajuste fino. Isso gera o chamado problema da hierarquia de gauge, cuja solução natural requer nova física na escala TeV. O MP também não fornece nenhuma explicação para a grande hierarquia de massas e ângulos de mistura dos férmions. Os problemas de hierarquia podem ser resolvidos naturalmente em teorias com uma dimensão extra curva. No entanto, a sua versão mais simples viola sabor a nível árvore, em conflito com os dados. Nesta tese investigaremos modelos quadridimensionais que descrevem a física na escala TeV obtidos da discretização de teorias em cinco dimensões no espaço AdS5, segundo o procedimento de desconstrução dimensional. As hierarquias de gauge e das massas dos férmions são geradas naturalmente como no modelo extra-dimensional, satisfazendo ainda os vínculos de sabor e de precisão eletrofraca. Estudaremos também um modelo desconstruído em que o Higgs é um pseudo bóson de Nambu-Goldstone, a fim de obter um Higgs naturalmente leve e dinamicamente localizado / The Standard Model (SM) of particle physics provides an extremely successful description of all current experimental data. However, we have reasons to expect that it cannot be valid up to arbitrarily high energy scales. In the SM the Higgs boson mass is quadratically sensitive to radiative corrections and, hence, suffers from a severe fine-tunning problem. This creates the so-called gauge hierarchy problem, the natural solution of which requires new physics at the TeV scale. The SM also doesnt provide any explanation for the large hierarchy of fermion masses and mixing angles. The hierarchy problems can be naturally solved in theories with a warped extra dimension. However, their simplest version violates flavor at tree level, conflicting with experimental data. In this thesis we investigate four dimensional models that describe physics at the TeV scale obtained from a coarse discretization of five dimensional theories in AdS5 space, by the dimensional deconstruction procedure. The gauge as well as the fermion mass hierarchies are naturally generated in the same manner as in the extra-dimensional model, while also satisfying bonds from flavor physics and precision electroweak data. We also study a deconstructed model in which the Higgs is a pseudo Nambu-Goldstone boson, with the motivation of obtaining a naturally light and localized Higgs.

Submitted by Rosivalda Pereira (mrs.pereira@ufma.br) on 2017-08-23T18:04:55Z No. of bitstreams: 1 EduardoCarvalho.pdf: 588274 bytes, checksum: c6f59c7f025b5de8d00feac1696b6979 (MD5) / Made available in DSpace on 2017-08-23T18:04:55Z (GMT). No. of bitstreams: 1 EduardoCarvalho.pdf: 588274 bytes, checksum: c6f59c7f025b5de8d00feac1696b6979 (MD5) Previous issue date: 2011-07-08 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / The CPT-even abelian gauge sector of the Standard Model Extension is represented by the Maxwell term supplemented by KF )µνρσ FµνFρσ, where the Lorentz-violating background tensor, (KF )µνρσ, possesses the symmetries of the Riemann tensorand a double null trace. In the present work, it is examined the planar version of this theory, obtained by means of a dimensional reduction procedure to (1 + 2) dimensions. The resulting planar electrodynamics is composed of a gauge sector containing six Lorentz-violating coe¢ cients, a scalar …eld endowed with a noncanonical kinetic term, and a coupling term that links the scalar and gauge sectors. The parity of the components of the Lorentz violating tensors is analyzed, following the de…nition of the parity operator in (1 +2) dimensions. The equations of motion of the theory are also found, where the electromagnetic …eld appears coupled to scalar …eld. This coupling however appears only as a second order e¤ect on the violation coe¢ cients and thus it is neglected. The energy-momentum tensor of the theory is calculated, revealing contributions of scalar, gauge and coupling sectors. From this tensor it is found a positive energy density de…ned for small violation parameters. The wave equations for the …elds E and B and the potential A0 and A are written and solved in the steady state by the method of Green. It is observed that the Lorentz-violating parameters do not alter the asymptotic behavior of the …elds but induce an angular dependence not observed in the Maxwell planar theory. It is also observed that electrical charges generate static magnetic …eld, as well as stationary currents generate electric …eld, a property already present in the original theory in (1 +3) dimensions. The dispersion relation also is determined, revealing that the six parameters related to the pure electromagnetic sector do not yield birefringence at …rst order. In this model, the birefringence may appear only as a second order efect associated with the coupling tensor linking the gauge and scalar sectors. / O setor de gauge abeliano CPT-Par do Modelo Padrão Estendido é representado pelo termo de Maxwell suplementado por (KF )µνρσ FµνFρσ, onde o tensor de campo de fundo violador de Lorentz, (KF )µνρσ, possui as simetrias do tensor de Riemann e um duplo traço nulo. No presente trabalho é examinada a versão planar dessa teoria, obtida por meio do procedimento de redução dimensional para (1+2) dimensões. A eletrodinâmica planar resultante é composta de um setor de gauge contendo seis coe…ficientes de violação de Lorentz, um campo escalar regido por um termo cinético não canônico, e um termo de acoplamento que interliga os dois setores. A paridades das componentes dos tensores violadores de Lorentz é analisada. Também são encontradas as equações de movimento da teoria, onde o campo eletromagnético aparece acoplado ao campo escalar. Este acoplamento, no entanto, aparece apenas como um efeito de segunda ordem nas equações de movimento e por isso é descartado. O tensor de energia-momento da teoria é calculado, apresentando contribuições tanto dos setores escalar e de gauge quanto do de acoplamento. A partir deste tensor é encontrada uma densidade de energia positiva de…nida apenas para pequenas parâmetros de violação. As equações de onda para, os campos E e B e potenciais A0 e A, são escritas e resolvidas no regime estacionário, via o método de Green. Observa-se que os parâmetros de violação de Lorentz não alteram o comportamento assimptótico dos campos, mas induzem uma dependência angular não observada na teoria planar de Maxwell. É também observado que cargas estáticas geram campo magnético, assim como correntes estacionárias geram campo elétrico, uma propriedade já presente na teoria original em (1+3) dimensões. A relação de dispersão também é determinada, revelando que os seis parâmetros relacionados ao setor eletromagnético puro não produzem birrefringência. Neste modelo, a birrefringência pode aparecer apenas como um efeito de segunda ordem associado ao tensor de acoplamento que liga os campos escalar e de gauge.

Submitted by Rosivalda Pereira (mrs.pereira@ufma.br) on 2017-08-23T18:24:30Z No. of bitstreams: 1 RoemirMoreira.pdf: 689688 bytes, checksum: 82f6a2259d4db9b3772731a4618fdc96 (MD5) / Made available in DSpace on 2017-08-23T18:24:30Z (GMT). No. of bitstreams: 1 RoemirMoreira.pdf: 689688 bytes, checksum: 82f6a2259d4db9b3772731a4618fdc96 (MD5) Previous issue date: 2011-09-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / The gauge sector of the Standard Model Extended (MPE) has been investigated in many respects in recent years, discussing the effects of Lorentz symmetry violation in physical systems and the limitations on the magnitude of the parameters of violation. This work revisited some planar theories derived from the dimensional reduction of the gauge sector of the MPE, and perform an original contribution: the dimensional reduction of the CPT-even and nonbirefringent gauge sector of the MPE, composed of nine components. The resulting planar theory includes a gauge sector and scalar sector (which has an nonsual kinetic term), coupled together by a 3-vector Cα Lorentz violation. Both sectors, gauge and scale, are affected by the six components of a symmetric tensor violates Lorentz, kµρ. The energy-momentum tensor is explicitly calculated, revealing that the energy of the gauge and scalar sectors is stable for small values of the parameters of violation. The equations of motion for the electric and magnetic elds, as well as the potentials, are written and analyzed in the steady state. Then employ the method of Green to get the stationary solutions of classical electrodynamics to rst order in the parameters of violation. It is observed that the coe cients of Lorentz violation does not alter the asymptotic behavior of the elds, but does not induce an angular dependence observed in the planar theory of Maxwell. The dispersion relation is exactly computed and is compatible with a theory does not birefringent, and demonstrating that the theory is stable, but in general, not causal. Finally, we calculate the Feynman propagator for the gauge elds and scalar theory of planar, accurately, using a set of 11 projectors that form a closed algebra. We use the expression of the Feynman propagator to analyze the consistency of the theory regarding its stability, causality and unitarity. / O setor de gauge do Modelo Padrão Estendido (MPE) tem sido investigado em muitos aspectos nos últimos anos, discutindo os efeitos da violação da simetria de Lorentz em sistemas físicos e as limitações da magnitude dos parâmetros de violação. Neste trabalho, rediscutimos algumas teorias planares obtidas a partir da redução dimensional do setor de gauge do MPE, e realizamos uma contribuição original: a redução dimensional do setor de gauge CPT-par e não-birrefringente do MPE, composto por nove componentes. A resultante teoria planar abarca um setor de gauge e um setor escalar (dotado de um termo cinético não usual), acoplados entre si por um 3-vetor Cα de violação de Lorentz (LV). Ambos os setores, de gauge e escalar, são afetados pelas seis componentes de um tensor simétrico violador de Lorentz, kµρ. O tensor de energia-momento É explicitamente calculado, revelando que a energia dos setores de gauge e escalar são estáveis para pequenos valores dos parâmetros de violação. As equações de movimento para os campos elétrico e magnético, assim como para os potenciais, são escritas e analisadas no regime estacionário. Empregamos então o método de Green para obter as soluções clássicas estacionárias desta eletrodinâmica em primeira ordem nos parâmetros de violação. É observado que os coefi cientes de violação de Lorentz não alteram o comportamento assintótico dos campos, mas induzem uma dependência angular não observada na teoria planar de Maxwell. A relação de dispersão é exatamente computada, sendo compatível com uma teoria não birrefringente, e demonstrando que a teoria é estável, mas, em geral, não causal. Por fim, calculamos o propagador de Feynman para os campos de gauge e escalar desta teoria planar, de forma exata, usando um conjunto de 11 projetores que formam uma álgebra fechada. Usamos a expressão do propagador de Feynman para analisar a consistência da teoria no que concerne a sua estabilidade, causalidade e unitariedade.

We consider the set of all spacelike embeddings of the circle S1 into a spacetime R1 × S1 with a metric globally conformal to the Minkowski metric. We identify this set and the group of conformal isometries of this spacetime as quotients of semidirect products involving diffeomorphism groups and give a transitive action of the conformal group on the set of spacelike embeddings. We provide results showing that the group of conformal isometries is a topological group and that its action on the set of spacelike embeddings is continuous. Finally, we point out some directions for future research.

Hamilton-Jacobi theory provides a powerful method for extracting the equations of motion out of some given systems in classical mechanics. On occasion it allows some systems to be solved by the method of separation of variables. If a system with n degrees of freedom has 2n - 1 constants of the motion that are polynomial in the momenta, then that system is called superintegrable. Such a system can usually be solved in multiple coordinate systems if the constants of the motion are quadratic in the momenta. All superintegrable two dimensional Hamiltonians of the form H = (p_x)sup2 + (p_y)sup2 + V(x,y), with constants that are quadratic in the momenta were classified by Kalnins et al [5], and the coordinate systems in which they separate were found. We discuss Hamilton-Jacobi theory and its development from a classical viewpoint, as well as superintegrability. We then proceed to use the theory to find equations of motion for some of the superintegrable Hamiltonians from Kalnins et al [5]. We also discuss some of the properties of the Poisson algebra of those systems, and examine the orbits.

Le systeme bidimensionnel etudié dans cette thèse est un film de Langmuir, film constitué d'une unique couche de molécules amphiphiles à l'interface eau-air. Une transition du premier ordre, observée dans une monocouche d'acide NBD-stéarique révèle la coexistence entre une phase cristalline et une phase liquide. Les domaines monocristallins se présentent sous la forme de longs bâtonnets, parfaitement adaptés aux études mécaniques. Nous étudions certaines propriétés de ce cristal bidimensionnel. La première étude concerne la rupture de ce solide bidimensionnel. Un cristal maintenu fléchi dans le plan de l'eau se rompt après une durée bien déterminée. Cette durée s'est avérée être fonction de la déformation appliquée au cristal. A fortescontraintes, on second mode de rupture coexiste : un certains nombre de cristaux cassent intantanément tandis que d'autres présentent une rupture différée. La seconde étude s'intéresse à la fusion des cristaux en équilibre avec leur phase liquide. La fusion peut être provoquée par trois processus distincts : deux processus thermodynamiques (réchauffement et décompression) et un processus photochimique. Ce dernier s'est avéré dû à une réaction photochimique réversible avec l'oxygène de l'air, conduisant a l'abaissement du point de fusion du cristal. Les trois processus de fusion conduisent à des observations similaires, indiquant ainsi l'existence d'un mécanisme commun dans l'initiation de la fusion. Les observation montrent que l'intérieur du crystal fond bien avant ses bords. De plus, la fusion d'un cristal maintenu déformé a lieu le long d'une ligne ou la contrainte s'annule. Nous suggérons que le mécanisme responsable de ce phénomène est la migration de défauts, probablement des dislocations, à l'endoit du cristal non déformé.; Ces défauts jouant le rôle de centres de nucléation de la fusion. Ces résultats montrent le rôle primordial des défauts dans la fusion à deux dimension.

The main objective of this thesis is to design reliable clock-distribution networks and power-delivery networks for three-dimensional integrated circuits (3D ICs) using through-silicon vias (TSVs). This dissertation supports this goal by addressing six research topics. The first four works focus on 3D clock tree synthesis for low power, pre-bond testability, TSV-induced obstacle avoidance, and TSV utilization. The last two works develop modeling approaches for reliability analysis on 3D power-delivery networks. In the first work, a clock synthesis algorithm is developed for low-power and low-slew 3D clock network design. The impact of various design parameters on clock performance, including the wirelength, clock power, clock slew, and skew, is investigated. These parameters cover the TSV count, TSV parasitics, the maximum loading capacitance of the clock buffers, and the supply voltage. In the second work, a clock synthesis algorithm is developed to construct 3D clock networks for both pre-bond testability and post-bond operability. Pre-bond testing of 3D stacked ICs involves testing each individual die before bonding, which can improve the overall yield of 3D ICs by avoiding stacking defective dies with good ones. Two key techniques including TSV-buffer insertion and redundant tree generation are implemented to minimize clock skew and ensure pre-bond testing. The impact of TSV utilization and TSV parasitics on clock power is also investigated. In the third work, an obstacle-aware clock tree synthesis method is presented for through-silicon-via (TSV)-based 3D ICs. A unique aspect of this problem lies in the fact that various types of TSVs become obstacles during 3D clock routing including signal, power/ground, and clock TSVs. These TSVs may occupy silicon area or routing layers. The generated clock tree does not sacrifice wirelength or clock power too much and avoids TSV-induced obstacles. In the fourth work, a decision-tree-based clock synthesis (DTCS) method is developed for low-power 3D clock network design, where TSVs form a regular 2D array. This TSV array style is shown to be more manufacturable and practical than layouts with TSVs located at irregular spots. The DTCS method explores the entire solution space for the best TSV array utilization in terms of low power. Close-to-optimal solutions can be found for power efficiency with skew minimization in short runtime. In the fifth work, current crowding and its impact on 3D power grid integrity is investigated. Due to the geometry of TSVs and connections to the global power grid, significant current crowding can occur. The current density distribution within a TSV and its connections to the global power grid is explored. A simple TSV model is implemented to obtain current density distributions within a TSV and its local environment. This model is checked for accuracy by comparing with identical models simulated using finite element modeling methods. The simple TSV models are integrated with the global power wires for detailed chip-scale power analysis. In the sixth work, a comprehensive multi-physics modeling approach is developed to analyze electromigration (EM) in TSV-based 3D connections. Since a TSV has regions of high current density, grain boundaries play a significant role in EM dominating atomic transport. The transient analysis is performed on atomic transport including grain and grain boundary structures. The evolution of atomic depletion and accumulation is simulated due to current crowding. And the TSV resistance change is modeled.

Residual-distribution methods offer several potential benefits over classical methods, such as a means of applying upwinding in a multi-dimensional manner and a multi-dimensional positivity property. While it is apparent that residual-distribution methods also offer higher accuracy than finite-volume methods on similar meshes, few studies have directly compared the performance of the two approaches in a systematic and quantitative manner. In this study, comparisons between residual distribution and finite volume are made for steady-state smooth and discontinuous flows of gas dynamics, governed by hyperbolic conservation laws, to illustrate the strengths and deficiencies of the residual-distribution method. Deficiencies which reduce the accuracy are analyzed and a new nonlinear scheme is proposed that closely reproduces or surpasses the accuracy of the best linear residual-distribution scheme. The accuracy is further improved by extending the scheme to fourth order using established finite-element techniques. Finally, the compact stencil, arithmetic workload, and data parallelism of the fourth-order residual-distribution scheme are exploited to accelerate parallel computations on an architecture consisting of both CPU cores and a graphics processing unit. Numerical experiments are used to assess the gains to efficiency and possible monetary savings that may be provided by accelerated architectures.

Residual-distribution methods offer several potential benefits over classical methods, such as a means of applying upwinding in a multi-dimensional manner and a multi-dimensional positivity property. While it is apparent that residual-distribution methods also offer higher accuracy than finite-volume methods on similar meshes, few studies have directly compared the performance of the two approaches in a systematic and quantitative manner. In this study, comparisons between residual distribution and finite volume are made for steady-state smooth and discontinuous flows of gas dynamics, governed by hyperbolic conservation laws, to illustrate the strengths and deficiencies of the residual-distribution method. Deficiencies which reduce the accuracy are analyzed and a new nonlinear scheme is proposed that closely reproduces or surpasses the accuracy of the best linear residual-distribution scheme. The accuracy is further improved by extending the scheme to fourth order using established finite-element techniques. Finally, the compact stencil, arithmetic workload, and data parallelism of the fourth-order residual-distribution scheme are exploited to accelerate parallel computations on an architecture consisting of both CPU cores and a graphics processing unit. Numerical experiments are used to assess the gains to efficiency and possible monetary savings that may be provided by accelerated architectures.