206 results
Search Results
Now showing 1 - 10 of 206
- ItemWeak-strong uniqueness for the general Ericksen-Leslie system in three dimensions(Springfield, Mo. : American Institute of Mathematical Sciences, 2018) Emmrich, Etienne; Lasarzik, RobertWe study the Ericksen-Leslie system equipped with a quadratic free energy functional. The norm restriction of the director is incorporated by a standard relaxation technique using a double-well potential. We use the relative energy concept, often applied in the context of compressible Euler- or related systems of fluid dynamics, to prove weak-strong uniqueness of solutions. A main novelty, not only in the context of the Ericksen-Leslie model, is that the relative energy inequality is proved for a system with a nonconvex energy.
- ItemSynchronization of a Class of Memristive Stochastic Bidirectional Associative Memory Neural Networks with Mixed Time-Varying Delays via Sampled-Data Control(London : Hindawi Limited, 2018) Yuan, M.; Wang, W.; Luo, X.; Ge, C.; Li, L.; Kurths, J.; Zhao, W.The paper addresses the issue of synchronization of memristive bidirectional associative memory neural networks (MBAMNNs) with mixed time-varying delays and stochastic perturbation via a sampled-data controller. First, we propose a new model of MBAMNNs with mixed time-varying delays. In the proposed approach, the mixed delays include time-varying distributed delays and discrete delays. Second, we design a new method of sampled-data control for the stochastic MBAMNNs. Traditional control methods lack the capability of reflecting variable synaptic weights. In this paper, the methods are carefully designed to confirm the synchronization processes are suitable for the feather of the memristor. Third, sufficient criteria guaranteeing the synchronization of the systems are derived based on the derive-response concept. Finally, the effectiveness of the proposed mechanism is validated with numerical experiments.
- ItemSequential decision problems, dependent types and generic solutions(Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig, 2017) Botta, N.; Jansson, P.; Ionescu, C.; Christiansen, D.R.; Brady, E.We present a computer-checked generic implementation for solving finite-horizon sequential decision problems. This is a wide class of problems, including inter-temporal optimizations, knapsack, optimal bracketing, scheduling, etc. The implementation can handle time-step dependent control and state spaces, and monadic representations of uncertainty (such as stochastic, non-deterministic, fuzzy, or combinations thereof). This level of genericity is achievable in a programming language with dependent types (we have used both Idris and Agda). Dependent types are also the means that allow us to obtain a formalization and computer-checked proof of the central component of our implementation: Bellman’s principle of optimality and the associated backwards induction algorithm. The formalization clarifies certain aspects of backwards induction and, by making explicit notions such as viability and reachability, can serve as a starting point for a theory of controllability of monadic dynamical systems, commonly encountered in, e.g., climate impact research.
- ItemA rough path perspective on renormalization(Amsterdam [u.a.] : Elsevier, 2019) Bruned, Y.; Chevyrev, I.; Friz, P.K.; Preiß, R.We develop the algebraic theory of rough path translation. Particular attention is given to the case of branched rough paths, whose underlying algebraic structure (Connes-Kreimer, Grossman-Larson) makes it a useful model case of a regularity structure in the sense of Hairer. Pre-Lie structures are seen to play a fundamental rule which allow a direct understanding of the translated (i.e. renormalized) equation under consideration. This construction is also novel with regard to the algebraic renormalization theory for regularity structures due to Bruned–Hairer–Zambotti (2016), the links with which are discussed in detail. © 2019 The Author(s)
- ItemA monolithic ASIC demonstrator for the Thin Time-of-Flight PET scanner(London : Inst. of Physics, 2019) Valerio, P.; Cardarelli, R.; Iacobucci, G.; Paolozzi, L.; Ripiccini, E.; Hayakawa, D.; Bruno, S.; Caltabiano, A.; Kaynak, M.; Rücker, H.; Nessi, M.Time-of-flight measurement is an important advancement in PET scanners to improve image reconstruction with a lower delivered radiation dose. This article describes the monolithic ASIC for the TT-PET project, a novel idea for a high-precision PET scanner for small animals. The chip uses a SiGe Bi-CMOS process for timing measurements, integrating a fully-depleted pixel matrix with a low-power BJT-based front-end per channel, integrated on the same 100 µm thick die. The target timing resolution of the scanner is 30 ps RMS for electrons from the conversion of 511 keV photons. The system will include 1.6 million channels across almost 2000 different chips. A full-featured demonstrator chip with a 3×10 matrix of 500×500 µm2 pixels was fabricated to validate each block. Its design and experimental results are presented here. © 2019 CERN.
- ItemScaling limit of ballistic self-avoiding walk interacting with spatial random permutations([Madralin] : EMIS ELibEMS, 2019) Betz, Volker; Taggi, LorenzoWe consider nearest neighbour spatial random permutations on Zd. In this case, the energy of the system is proportional to the sum of all cycle lengths, and the system can be interpreted as an ensemble of edge-weighted, mutually self-avoiding loops. The constant of proportionality, α, is the order parameter of the model. Our first result is that in a parameter regime of edge weights where it is known that a single self-avoiding loop is weakly space filling, long cycles of spatial random permutations are still exponentially unlikely. For our second result, we embed a self-avoiding walk into a background of spatial random permutations, and condition it to cover a macroscopic distance. For large values of α (where long cycles are very unlikely) we show that this walk collapses to a straight line in the scaling limit, and give bounds on the fluctuations that are almost sufficient for diffusive scaling. For proving our results, we develop the concepts of spatial strong Markov property and iterative sampling for spatial random permutations, which may be of independent interest. Among other things, we use them to show exponential decay of correlations for large values of α in great generality.
- ItemImplications of possible interpretations of ‘greenhouse gas balance’ in the Paris Agreement(London : The Royal Society, 2018) Fuglestvedt, J.; Rogelj, J.; Millar, R. J.; Allen, M.; Boucher, O.; Cain, M.; Forster, P. M.; Kriegler, E.; Shindell, D.The main goal of the Paris Agreement as stated in Article 2 is ‘holding the increase in the global average temperature to well below 2°C above pre-industrial levels and pursuing efforts to limit the temperature increase to 1.5°C’. Article 4 points to this long-term goal and the need to achieve ‘balance between anthropogenic emissions by sources and removals by sinks of greenhouse gases'. This statement on ‘greenhouse gas balance’ is subject to interpretation, and clarifications are needed to make it operational for national and international climate policies. We study possible interpretations from a scientific perspective and analyse their climatic implications. We clarify how the implications for individual gases depend on the metrics used to relate them. We show that the way in which balance is interpreted, achieved and maintained influences temperature outcomes. Achieving and maintaining net-zero CO2-equivalent emissions conventionally calculated using GWP100 (100-year global warming potential) and including substantial positive contributions from short-lived climate-forcing agents such as methane would result in a sustained decline in global temperature. A modified approach to the use of GWP100 (that equates constant emissions of short-lived climate forcers with zero sustained emission of CO2) results in global temperatures remaining approximately constant once net-zero CO2-equivalent emissions are achieved and maintained. Our paper provides policymakers with an overview of issues and choices that are important to determine which approach is most appropriate in the context of the Paris Agreement.
- ItemClimate extremes, land–climate feedbacks and land-use forcing at 1.5°C(London : The Royal Society, 2018) Seneviratne, Sonia I.; Wartenburger, Richard; Guillod, Benoit P.; Hirsch, Annette L.; Vogel, Martha M.; Brovkin, Victor; van Vuuren, Detlef P.; Schaller, Nathalie; Boysen, Lena; Calvin, Katherine V.; Doelman, Jonathan; Greve, Peter; Havlik, Petr; Humpenöder, Florian; Krisztin, Tamas; Mitchell, Daniel; Popp, Alexander; Riahi, Keywan; Rogelj, Joeri; Schleussner, Carl-Friedrich; Sillmann, Jana; Stehfest, ElkeThis article investigates projected changes in temperature and water cycle extremes at 1.5°C of global warming, and highlights the role of land processes and land-use changes (LUCs) for these projections. We provide new comparisons of changes in climate at 1.5°C versus 2°C based on empirical sampling analyses of transient simulations versus simulations from the ‘Half a degree Additional warming, Prognosis and Projected Impacts’ (HAPPI) multi-model experiment. The two approaches yield similar overall results regarding changes in climate extremes on land, and reveal a substantial difference in the occurrence of regional extremes at 1.5°C versus 2°C. Land processes mediated through soil moisture feedbacks and land-use forcing play a major role for projected changes in extremes at 1.5°C in most mid-latitude regions, including densely populated areas in North America, Europe and Asia. This has important implications for low-emissions scenarios derived from integrated assessment models (IAMs), which include major LUCs in ambitious mitigation pathways (e.g. associated with increased bioenergy use), but are also shown to differ in the simulated LUC patterns. Biogeophysical effects from LUCs are not considered in the development of IAM scenarios, but play an important role for projected regional changes in climate extremes, and are thus of high relevance for sustainable development pathways.
- ItemFrom Large Deviations to Semidistances of Transport and Mixing: Coherence Analysis for Finite Lagrangian Data(New York, NY : Springer, 2018) Koltai, Péter; Renger, D.R. MichielOne way to analyze complicated non-autonomous flows is through trying to understand their transport behavior. In a quantitative, set-oriented approach to transport and mixing, finite time coherent sets play an important role. These are time-parametrized families of sets with unlikely transport to and from their surroundings under small or vanishing random perturbations of the dynamics. Here we propose, as a measure of transport and mixing for purely advective (i.e., deterministic) flows, (semi)distances that arise under vanishing perturbations in the sense of large deviations. Analogously, for given finite Lagrangian trajectory data we derive a discrete-time-and-space semidistance that comes from the “best” approximation of the randomly perturbed process conditioned on this limited information of the deterministic flow. It can be computed as shortest path in a graph with time-dependent weights. Furthermore, we argue that coherent sets are regions of maximal farness in terms of transport and mixing, and hence they occur as extremal regions on a spanning structure of the state space under this semidistance—in fact, under any distance measure arising from the physical notion of transport. Based on this notion, we develop a tool to analyze the state space (or the finite trajectory data at hand) and identify coherent regions. We validate our approach on idealized prototypical examples and well-studied standard cases.
- ItemThe invariant distribution of wealth and employment status in a small open economy with precautionary savings(Amsterdam : North-Holland, 2019) Bayer, Christian; Rendall, Alan D.; Wälde, KlausWe study optimal savings in continuous time with exogenous transitions between employment and unemployment as the only source of uncertainty in a small open economy. We prove the existence of an optimal consumption path. We exploit that the dynamics of consumption and wealth between jumps can be expressed as a Fuchsian system. We derive conditions under which an invariant joint distribution for the state variables, i.e., wealth and labour market status, exists and is unique. We also provide conditions under which the distribution of these variables converges to the invariant distribution. Our analysis relies on the notion of T-processes and applies results on the stability of Markovian processes from Meyn and Tweedie (1993a, b,c). © 2019 The Author(s)