Seismic structure along transitions from flat to normal subduction: central Mexico, southern Peru, and southwest Japan

The fine-scale seismic structure of the central Mexico, southern Peru, and southwest Japan subduction zones is studied using intraslab earthquakes recorded by temporary and permanent regional seismic arrays. The morphology of the transition from flat to normal subduction is explored in central Mexico and southern Peru, while in southwest Japan the spatial coincidence of a thin ultra-slow velocity layer (USL) atop the flat slab with locations of slow slip events (SSEs) is explored. This USL is also observed in central Mexico and southern Peru, where its lateral extent is used as one constraint on the nature of the flat-to-normal transitions.

In western central Mexico, I find an edge to this USL which is coincident with the western boundary of the projected Orozco Fracture Zone (OFZ) region. Forward modeling of the 2D structure of the subducted Cocos plate using a finite-difference algorithm provides constraints on the velocity and geometry of the slab’s seismic structure in this region and confirms the location of the USL edge. I propose that the Cocos slab is currently fragmenting into a North Cocos plate and a South Cocos plate along the projection of the OFZ, by a process analogous to that which occurred when the Rivera plate separated from the proto-Cocos plate 10 Ma.

In eastern central Mexico, observations of a sharp transition in slab dip near the abrupt end of the Trans Mexican Volcanic Belt (TMVB) suggest a possible slab tear located within the subducted South Cocos plate. The eastern lateral extent of the USL is found to be coincident with these features and with the western boundary of a zone of decreased seismicity, indicating a change in structure which I interpret as evidence of a possible tear. Analysis of intraslab seismicity patterns and focal mechanism orientations and faulting types provides further support for a possible tear in the South Cocos slab. This potential tear, together with the tear along the projection of the OFZ to the northwest, indicates a slab rollback mechanism in which separate slab segments move independently, allowing for mantle flow between the segments.

In southern Peru, observations of a gradual increase in slab dip coupled with a lack of any gaps or vertical offsets in the intraslab seismicity suggest a smooth contortion of the slab. Concentrations of focal mechanisms at orientations which are indicative of slab bending are also observed along the change in slab geometry. The lateral extent of the USL atop the horizontal Nazca slab is found to be coincident with the margin of the projected linear continuation of the subducting Nazca Ridge, implying a causal relationship, but not a slab tear. Waveform modeling of the 2D structure in southern Peru provides constraints on the velocity and geometry of the slab’s seismic structure and confirms the absence of any tears in the slab.

In southwest Japan, I estimate the location of a possible USL along the Philippine Sea slab surface and find this region of low velocity to be coincident with locations of SSEs that have occurred in this region. I interpret the source of the possible USL in this region as fluids dehydrated from the subducting plate, forming a high pore-fluid pressure layer, which would be expected to decrease the coupling on the plate interface and promote SSEs.

Density functional theory embedding for correlated wavefunctions

Methods that exploit the intrinsic locality of molecular interactions show significant promise in making tractable the electronic structure calculation of large-scale systems. In particular, embedded density functional theory (e-DFT) offers a formally exact approach to electronic structure calculations in which the interactions between subsystems are evaluated in terms of their electronic density. In the following dissertation, methodological advances of embedded density functional theory are described, numerically tested, and applied to real chemical systems.

First, we describe an e-DFT protocol in which the non-additive kinetic energy component of the embedding potential is treated exactly. Then, we present a general implementation of the exact calculation of the non-additive kinetic potential (NAKP) and apply it to molecular systems. We demonstrate that the implementation using the exact NAKP is in excellent agreement with reference Kohn-Sham calculations, whereas the approximate functionals lead to qualitative failures in the calculated energies and equilibrium structures.

Next, we introduce density-embedding techniques to enable the accurate and stable calculation of correlated wavefunction (CW) in complex environments. Embedding potentials calculated using e-DFT introduce the effect of the environment on a subsystem for CW calculations (WFT-in-DFT). We demonstrate that WFT-in-DFT calculations are in good agreement with CW calculations performed on the full complex.

We significantly improve the numerics of the algorithm by enforcing orthogonality between subsystems by introduction of a projection operator. Utilizing the projection-based embedding scheme, we rigorously analyze the sources of error in quantum embedding calculations in which an active subsystem is treated using CWs, and the remainder using density functional theory. We show that the embedding potential felt by the electrons in the active subsystem makes only a small contribution to the error of the method, whereas the error in the nonadditive exchange-correlation energy dominates. We develop an algorithm which corrects this term and demonstrate the accuracy of this corrected embedding scheme.

O constitucionalismo solidário: responsabilidade, democracia e inclusão

A presente dissertação tem por objetivo analisar a solidariedade social e sua projeção no sistema constitucional brasileiro, buscando definir seus contornos, fundamentos e limites na efetivação de políticas públicas e decisões judiciais. Ademais, busca-se na presente dissertação demarcar os limites e possibilidades da solidariedade enquanto valor que norteia o campo da política, notadamente na prática democrática. O estudo parte de uma análise histórica e filosófica para contextualizar a solidariedade como princípio jurídico que fundamenta direitos e deveres e que encontra nas demandas por reconhecimento das diferenças seu maior campo de incidência. Na política, a solidariedade se abre à opção de uma democracia anti-elitista que tem no conflito, na tolerância e nas divergências as pedras de toque que proporcionam uma dinâmica que respeita as diferenças e geram cooperação social por conta dessa estima intersubjetiva. Os deveres de reconhecimento intersubjetivo e de estima social possibilitam uma construção social dialógica e interacional, na qual seus sujeitos são respeitados como seres livres e iguais, dignos de igual respeito e consideração. Tal afirmativa é colocada a prova quando da viabilidade constitucional da cota racial nas Universidades Públicas brasileiras. Da mesma forma, a solidariedade se projeta para o campo jurídico devido a sua positivação na Constituição brasileira de 1988 como princípio/objetivo fundamental da República Federativa do Brasil. Deste modo, a jurisprudência do Supremo Tribunal Federal vem lançando mão do princípio fundamental da solidariedade para fundamentar decisões que envolvam deveres fundamentais de redistribuição e reconhecimento. Tais decisões nos permitem traçar um conteúdo mínimo desse princípio à luz da ordem social e cultural brasileira que, aliás, não foi deixada de lado em nenhum momento no decorrer do estudo. Esse conteúdo material encontra nos deveres de redistribuição e reconhecimento, principalmente neste último, seu suporte de eficácia jurídica, viabilizando, em certos momentos, até uma aplicação direta da solidariedade por meio dos deveres.

Kinetic theory of normal quantum fluids

Close to equilibrium, a normal Bose or Fermi fluid can be described by an exact kinetic equation whose kernel is nonlocal in space and time. The general expression derived for the kernel is evaluated to second order in the interparticle potential. The result is a wavevector- and frequency-dependent generalization of the linear Uehling-Uhlenbeck kernel with the Born approximation cross section.

The theory is formulated in terms of second-quantized phase space operators whose equilibrium averages are the n-particle Wigner distribution functions. Convenient expressions for the commutators and anticommutators of the phase space operators are obtained. The two-particle equilibrium distribution function is analyzed in terms of momentum-dependent quantum generalizations of the classical pair distribution function h(k) and direct correlation function c(k). The kinetic equation is presented as the equation of motion of a two -particle correlation function, the phase space density-density anticommutator, and is derived by a formal closure of the quantum BBGKY hierarchy. An alternative derivation using a projection operator is also given. It is shown that the method used for approximating the kernel by a second order expansion preserves all the sum rules to the same order, and that the second-order kernel satisfies the appropriate positivity and symmetry conditions.

Discrete Modeling of Granular Media: A NURBS-based Approach

This dissertation is concerned with the development of a new discrete element method (DEM) based on Non-Uniform Rational Basis Splines (NURBS). With NURBS, the new DEM is able to capture sphericity and angularity, the two particle morphological measures used in characterizing real grain geometries. By taking advantage of the parametric nature of NURBS, the Lipschitzian dividing rectangle (DIRECT) global optimization procedure is employed as a solution procedure to the closest-point projection problem, which enables the contact treatment of non-convex particles. A contact dynamics (CD) approach to the NURBS-based discrete method is also formulated. By combining particle shape flexibility, properties of implicit time-integration, and non-penetrating constraints, we target applications in which the classical DEM either performs poorly or simply fails, i.e., in granular systems composed of rigid or highly stiff angular particles and subjected to quasistatic or dynamic flow conditions. The CD implementation is made simple by adopting a variational framework, which enables the resulting discrete problem to be readily solved using off-the-shelf mathematical programming solvers. The capabilities of the NURBS-based DEM are demonstrated through 2D numerical examples that highlight the effects of particle morphology on the macroscopic response of granular assemblies under quasistatic and dynamic flow conditions, and a 3D characterization of material response in the shear band of a real triaxial specimen.

Funtzio sintaktikoen gold estandarra eskuz etiketatzeko gidalerroak

[EN]In this report we present the tags we use when annotating the gold standard of syntactic functions and the decisions taken during its annotation. The gold standard is a necessary resource to evaluate the rulebased surface syntactic parser (the one based on the Constraint Grammar formalism), and, moreover, it can be useful to develop and evaluate statistical parsers. The tags we are presenting here follow the Constraint Grammar (CG) formalism (Karlsson et al., 1995). In fact, last experiments show that good results have been obtained when parsing with CG (Karlsson et al., 1995; Samuelsson and Voutilainen,1997; Tapanainen and Järvinen, 1997; Bick, 2000).

Development and Application of Embedding Methods for the Simulation of Large Chemical Systems

The high computational cost of correlated wavefunction theory (WFT) calculations has motivated the development of numerous methods to partition the description of large chemical systems into smaller subsystem calculations. For example, WFT-in-DFT embedding methods facilitate the partitioning of a system into two subsystems: a subsystem A that is treated using an accurate WFT method, and a subsystem B that is treated using a more efficient Kohn-Sham density functional theory (KS-DFT) method. Representation of the interactions between subsystems is non-trivial, and often requires the use of approximate kinetic energy functionals or computationally challenging optimized effective potential calculations; however, it has recently been shown that these challenges can be eliminated through the use of a projection operator. This dissertation describes the development and application of embedding methods that enable accurate and efficient calculation of the properties of large chemical systems.

Chapter 1 introduces a method for efficiently performing projection-based WFT-in-DFT embedding calculations on large systems. This is accomplished by using a truncated basis set representation of the subsystem A wavefunction. We show that naive truncation of the basis set associated with subsystem A can lead to large numerical artifacts, and present an approach for systematically controlling these artifacts.

Chapter 2 describes the application of the projection-based embedding method to investigate the oxidative stability of lithium-ion batteries. We study the oxidation potentials of mixtures of ethylene carbonate (EC) and dimethyl carbonate (DMC) by using the projection-based embedding method to calculate the vertical ionization energy (IE) of individual molecules at the CCSD(T) level of theory, while explicitly accounting for the solvent using DFT. Interestingly, we reveal that large contributions to the solvation properties of DMC originate from quadrupolar interactions, resulting in a much larger solvent reorganization energy than that predicted using simple dielectric continuum models. Demonstration that the solvation properties of EC and DMC are governed by fundamentally different intermolecular interactions provides insight into key aspects of lithium-ion batteries, with relevance to electrolyte decomposition processes, solid-electrolyte interphase formation, and the local solvation environment of lithium cations.

狭缝投影位置传感技术及其在精密定位中的应用

提出了一种基于狭缝投影的位置传感技术，阐述了此技术的传感原理及其在精密定位中的应用。准直激光束照明的投影狭缝由一个透镜以掠入射角度投影在被测物体上，狭缝投影经过被测物体表面的反射和另一个透镜的成像在探测双缝上形成投影狭缝像。探测双缝放大成像在双像限探测器上，投影狭缝像透过探测双缝的光强分别被双像限探测器的两个像限所接收，通过检测双像限探测器两个像限上的光强获得被测物体的位置。实验验证了此传感技术的可行性，其位置重复测量偏差小于32nm（1σ）。

Contribution of the temporoammonic pathway to hippocampal processing

The temporoammonic (TA) pathway is the direct, monosynaptic projection from layer III of entorhinal cortex to the distal dendritic region of area CA1 of the hippo­ campus. Although this pathway has been implicated in various functions, such as memory encoding and retrieval, spatial navigation, generation of oscillatory activity, and control of hippocampal excitability, the details of its physiology are not well understood. In this thesis, I examine the contribution of the TA pathway to hippocampal processing. I find that, as has been previously reported, the TA pathway includes both excitatory, glutamatergic components and inhibitory, GABAergic components. Several new discoveries are reported in this thesis. I show that the TA pathway is subject to forms of short-term activity-dependent regulation, including paired-pulse and frequency­ dependent plasticity, similar to other hippocampal pathways such as the Schaffer collateral (SC) input from CA3 to CA1. The TA pathway provides a strongly excitatory input to stratum radiatum giant cells of CA1. The excitatory component of the TA pathway undergoes a long-lasting decrease in synaptic strength following low-frequency stimulation in a manner partially dependent on the activation of NMDA receptors. High­ frequency activation of the TA pathway recruits a feedforward inhibition that can prevent CA1 pyramidal cells from spiking in response to SC input; this spike-blocking effect shows that the TA pathway can act to regulate information flow through the hippocampal trisynaptic pathway.

Optical intrinsically fuzzy mathematical morphology for gray-scale image processing

Intrinsically fuzzy morphological erosion and dilation are extended to a total of eight operations that have been formulated in terms of a single morphological operation--biased dilation. Based on the spatial coding of a fuzzy variable, a bidirectional projection concept is proposed. Thus, fuzzy logic operations, arithmetic operations, gray-scale dilation, and erosion for the extended intrinsically fuzzy morphological operations can be included in a unified algorithm with only biased dilation and fuzzy logic operations. To execute this image algebra approach we present a cellular two-layer processing architecture that consists of a biased dilation processor and a fuzzy logic processor. (C) 1996 Optical Society of America

Visual pattern recognition network: Its training algorithm and its optoelectronic architecture

A visual pattern recognition network and its training algorithm are proposed. The network constructed of a one-layer morphology network and a two-layer modified Hamming net. This visual network can implement invariant pattern recognition with respect to image translation and size projection. After supervised learning takes place, the visual network extracts image features and classifies patterns much the same as living beings do. Moreover we set up its optoelectronic architecture for real-time pattern recognition. (C) 1996 Optical Society of America

Ruas imaginárias: o humor linguístico-expressivo nas crônicas de Aldir Blanc

O objetivo desta pesquisa é analisar as marcas linguísticas que compõem as relações de sentido no que diz respeito ao humor da crônica de Aldir Blanc. A partir da percepção da estrutura da Língua Portuguesa, verificar quais as ações na produção textual da crônica sejam estas morfológicas, gramaticais, lexicais, sintáticas, fonéticas, estilísticas ou semânticas que, ao aliar-se à práxis cotidiana (contexto) oferecida pelos jornais, propiciam o discurso humorístico do autor. Os pressupostos teóricos que corroboram as respectivas demarcações linguísticas terão ênfase no tocante aos aspectos semânticos, com Stephen Ullman, Pierre Guiraud e Edward Lopes. Os traços característicos da crônica, o humor e a ironia como recursos discursivos, a seleção lexical, as inferências, o jogo lúdico da grafia das palavras, as formas textuais serão inferidos dialogicamente em grande parte pelos estudos estilísticos de Marcel Cressot, Pierre Guiraud, Mattoso Câmara, Nilce SantAnna Martins e José Lemos Monteiro. Desse modo, apontamos para um estudo da língua sob uma ótica semântico-discursiva, levando em conta sua expressividade estilística. Dessa forma, à valorização do manuseamento linguístico, quer pela escritura, quer pela leitura, acrescenta-se o dado crítico da língua através do discurso presente no humor, tendo em vista o gênero textual que é a crônica e sua grande penetração social pelos jornais de grande circulação

基于光栅成像投影的微位移检测方法

提出了一种基于光栅成像投影的微位移检测方法，利用光学傅里叶变换原理给出了具体的理论分析。准直激光束照明的光栅通过一个4f系统成像投影在被测物体表面上，光栅投影经过被测物体表面反射后由另一个4f系统成像在探测光栅上。探测光栅由一个透镜组成像在光电探测器上，其中采用由起偏器、光弹调制器和检偏器组成的偏振调制单元对探测光强进行调制。通过在4f系统的频谱面上设置滤波光阑，在光电探测器上获得了与被测物体的微位移成正弦关系的光强变化，检测出光电探测器上的光强变化即可以获得被测物体的位移量。实验验证了该检测方法的可行性

基于光学对准的光刻机投影物镜密集线焦深原位检测技术

提出了一种检测光刻机投影物镜密集线焦深（DOF）的新技术。该技术将具有精细结构的测量标记曝光在硅片上，硅片显影后，由光学对准系统获取曝光在硅片上的测量标记图形的对准位置信息，根据对准位置信息计算得到视场中各点的焦深。与传统的FEM焦深测试技术相比，该技术具有测量精度高、速度快、成本低、操作简单等优点，在光刻工艺参数优化及光刻设备性能评价等方面有很好的应用前景。