Dislocation core field. I. Modeling in anisotropic linear elasticity theory

Aside from the Volterra field, dislocations create a core field, which can be modeled in linear anisotropic elasticity theory with force and dislocation dipoles. We derive an expression of the elastic energy of a dislocation taking full account of its core field and show that no cross term exists between the Volterra and the core fields. We also obtain the contribution of the core field to the dislocation interaction energy with an external stress, thus showing that dislocation can interact with a pressure. The additional force that derives from this core field contribution is proportional to the gradient of the applied stress. Such a supplementary force on dislocations may be important in high stress gradient regions, such as close to a crack tip or in a dislocation pile-up

Constructive Dimension and Turing Degrees

This paper examines the constructive Hausdorff and packing dimensions of Turing degrees. The main result is that every infinite sequence S with constructive Hausdorff dimension dim_H(S) and constructive packing dimension dim_P(S) is Turing equivalent to a sequence R with dim_H(R) <= (dim_H(S) / dim_P(S)) - epsilon, for arbitrary epsilon > 0. Furthermore, if dim_P(S) > 0, then dim_P(R) >= 1 - epsilon. The reduction thus serves as a *randomness extractor* that increases the algorithmic randomness of S, as measured by constructive dimension. A number of applications of this result shed new light on the constructive dimensions of Turing degrees. A lower bound of dim_H(S) / dim_P(S) is shown to hold for the Turing degree of any sequence S. A new proof is given of a previously-known zero-one law for the constructive packing dimension of Turing degrees. It is also shown that, for any regular sequence S (that is, dim_H(S) = dim_P(S)) such that dim_H(S) > 0, the Turing degree of S has constructive Hausdorff and packing dimension equal to 1. Finally, it is shown that no single Turing reduction can be a universal constructive Hausdorff dimension extractor, and that bounded Turing reductions cannot extract constructive Hausdorff dimension. We also exhibit sequences on which weak truth-table and bounded Turing reductions differ in their ability to extract dimension.Comment: The version of this paper appearing in Theory of Computing Systems, 45(4):740-755, 2009, had an error in the proof of Theorem 2.4, due to insufficient care with the choice of delta. This version modifies that proof to fix the error

Influência do uso e ocupação da terra no ciclo hidrológico no Município de Viçosa - MG.

O ciclo hidrológico é um dos processos biogeoquímicos mais afetados pela ação antrópica. Objetivou-se com esse trabalho analisar a influência do uso e ocupação da terra nas etapas de infiltração e escoamento superficial do ciclo hidrológico no município de Viçosa ? Minas Gerais. O mapa de uso e ocupação foi gerado com a partir de imagens ópticas do sensor Multispectral Instrument (MSI) acoplado na constelação de satélites Sentinel-2, considerando, a partir da classificação supervisionada de máxima verossimilhança, quatro classes de uso e ocupação da terra, que são: ?área florestal/agricultura?, ?pastagem?, ?solo exposto? e ?área construída?. Para validação da acurácia da classificação foi utilizada a estatística do coeficiente Kappa e o Índice de Exatidão Global. Considerando, sobretudo, a grande área de ?pastagem? (66%), é possível afirmar que o uso e ocupação da terra local, considerando as classes analisadas, possibilita maior potencial para o escoamento superficial que infiltração da água no solo

PU.1 controls fibroblast polarization and tissue fibrosis

Fibroblasts are polymorphic cells with pleiotropic roles in organ morphogenesis, tissue homeostasis and immune responses. In fibrotic diseases, fibroblasts synthesize abundant amounts of extracellular matrix, which induces scarring and organ failure. By contrast, a hallmark feature of fibroblasts in arthritis is degradation of the extracellular matrix because of the release of metalloproteinases and degrading enzymes, and subsequent tissue destruction. The mechanisms that drive these functionally opposing pro-fibrotic and pro-inflammatory phenotypes of fibroblasts remain unknown. Here we identify the transcription factor PU.1 as an essential regulator of the pro-fibrotic gene expression program. The interplay between transcriptional and post-transcriptional mechanisms that normally control the expression of PU.1 expression is perturbed in various fibrotic diseases, resulting in the upregulation of PU.1, induction of fibrosis-associated gene sets and a phenotypic switch in extracellular matrix-producing pro-fibrotic fibroblasts. By contrast, pharmacological and genetic inactivation of PU.1 disrupts the fibrotic network and enables reprogramming of fibrotic fibroblasts into resting fibroblasts, leading to regression of fibrosis in several organs

Bounding Helly numbers via Betti numbers

We show that very weak topological assumptions are enough to ensure the existence of a Helly-type theorem. More precisely, we show that for any non-negative integers $b$ and $d$ there exists an integer $h(b,d)$ such that the following holds. If $\mathcal F$ is a finite family of subsets of $\mathbb R^d$ such that $\tilde\beta_i\left(\bigcap\mathcal G\right) \le b$ for any $\mathcal G \subsetneq \mathcal F$ and every $0 \le i \le \lceil d/2 \rceil-1$ then $\mathcal F$ has Helly number at most $h(b,d)$. Here $\tilde\beta_i$ denotes the reduced $\mathbb Z_2$-Betti numbers (with singular homology). These topological conditions are sharp: not controlling any of these $\lceil d/2 \rceil$ first Betti numbers allow for families with unbounded Helly number. Our proofs combine homological non-embeddability results with a Ramsey-based approach to build, given an arbitrary simplicial complex $K$, some well-behaved chain map $C_*(K) \to C_*(\mathbb R^d)$.Comment: 29 pages, 8 figure

On the strength of the finite intersection principle

We study the logical content of several maximality principles related to the finite intersection principle (F\IP) in set theory. Classically, these are all equivalent to the axiom of choice, but in the context of reverse mathematics their strengths vary: some are equivalent to \ACA over \RCA, while others are strictly weaker, and incomparable with \WKL. We show that there is a computable instance of F\IP all of whose solutions have hyperimmune degree, and that every computable instance has a solution in every nonzero c.e.\ degree. In terms of other weak principles previously studied in the literature, the former result translates to F\IP implying the omitting partial types principle ($\mathsf{OPT}$). We also show that, modulo $\Sigma^0_2$ induction, F\IP lies strictly below the atomic model theorem ($\mathsf{AMT}$).Comment: This paper corresponds to section 3 of arXiv:1009.3242, "Reverse mathematics and equivalents of the axiom of choice", which has been abbreviated and divided into two pieces for publicatio

Numerical and experimental analysis of wrinkling during the cup drawing of an AA5042 aluminium alloy

The recent trend to reduce the thickness of metallic sheets used in forming processes strongly increases the likelihood of the occurrence of wrinkling. Thus, in order to obtain defect-free components, the prediction of this kind of defect becomes extremely important in the tool design and selection of process parameters. In this study, the sheet metal forming process proposed as a benchmark in the Numisheet 2014 conference is selected to analyse the influence of the tool geometry on wrinkling behaviour, as well as the reliability of the developed numerical model. The side-wall wrinkling during the deep drawing process of a cylindrical cup in AA5042 aluminium alloy is investigated through finite element simulation and experimental measurements. The material plastic anisotropy is modelled with an advanced yield criterion beyond the isotropic (von Mises) material behaviour. The results show that the shape of the wrinkles predicted by the numerical model is strongly affected by the finite element mesh used in the blank discretization. The accurate modelling of the plastic anisotropy of the aluminium alloy yields numerical results that are in good agreement with the experiments, particularly the shape and location of the wrinkles. The predicted punch force evolution is strongly influenced by the friction coefficient used in the model. Moreover, the two punch geometries provide drawn cups with different wrinkle waves, mainly differing in amplitude.The authors gratefully acknowledge the financial support of the Portuguese Foundation for Science and Technology (FCT) under project PTDC/EMS-TEC/1805/2012. The first author is also grateful to the FCT for the Postdoctoral grant SFRH/BPD/101334/2014 and P.D. Barros is grateful to the FCT for the PhD Grant SFRH/BD/98545/2013info:eu-repo/semantics/publishedVersio

Complex type 4 structure changing dynamics of digital agents: Nash equilibria of a game with arms race in innovations

The new digital economy has renewed interest in how digital agents can innovate. This follows the legacy of John von Neumann dynamical systems theory on complex biological systems as computation. The Gödel-Turing-Post (GTP) logic is shown to be necessary to generate innovation based structure changing Type 4 dynamics of the Wolfram-Chomsky schema. Two syntactic procedures of GTP logic permit digital agents to exit from listable sets of digital technologies to produce novelty and surprises. The first is meta-analyses or offline simulations. The second is a fixed point with a two place encoding of negation or opposition, referred to as the Gödel sentence. It is postulated that in phenomena ranging from the genome to human proteanism, the Gödel sentence is a ubiquitous syntactic construction without which escape from hostile agents qua the Liar is impossible and digital agents become entrained within fixed repertoires. The only recursive best response function of a 2-person adversarial game that can implement strategic innovation in lock-step formation of an arms race is the productive function of the Emil Post [58] set theoretic proof of the Gödel incompleteness result. This overturns the view of game theorists that surprise and innovation cannot be a Nash equilibrium of a game

Plasma physics and control studies planned in JT-60SA for ITER and DEMO operations and risk mitigation

| openaire: EC/H2020/633053/EU//EUROfusionA large superconducting machine, JT-60SA has been constructed to provide major contributions to the ITER program and DEMO design. For the success of the ITER project and fusion reactor, understanding and development of plasma controllability in ITER and DEMO relevant higher beta regimes are essential. JT-60SA has focused the program on the plasma controllability for scenario development and risk mitigation in ITER as well as on investigating DEMO relevant regimes. This paper summarizes the high research priorities and strategy for the JT-60SA project. Recent works on simulation studies to prepare the plasma physics and control experiments are presented, such as plasma breakdown and equilibrium controls, hybrid and steady-state scenario development, and risk mitigation techniques. Contributions of JT-60SA to ITER and DEMO have been clarified through those studies.Peer reviewe