Mean-payoff Automaton Expressions

Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on transitions that assign to each infinite path the long-run average of the transition weights. When the mode of branching of the automaton is deterministic, nondeterministic, or alternating, the corresponding class of quantitative languages is not robust as it is not closed under the pointwise operations of max, min, sum, and numerical complement. Nondeterministic and alternating mean-payoff automata are not decidable either, as the quantitative generalization of the problems of universality and language inclusion is undecidable. We introduce a new class of quantitative languages, defined by mean-payoff automaton expressions, which is robust and decidable: it is closed under the four pointwise operations, and we show that all decision problems are decidable for this class. Mean-payoff automaton expressions subsume deterministic mean-payoff automata, and we show that they have expressive power incomparable to nondeterministic and alternating mean-payoff automata. We also present for the first time an algorithm to compute distance between two quantitative languages, and in our case the quantitative languages are given as mean-payoff automaton expressions

Fourth order indirect integration method for black hole perturbations: even modes

On the basis of a recently proposed strategy of finite element integration in time domain for partial differential equations with a singular source term, we present a fourth order algorithm for non-rotating black hole perturbations in the Regge-Wheeler gauge. Herein, we address even perturbations induced by a particle plunging in. The forward time value at the upper node of the $(r^*,t)$ grid cell is obtained by an algebraic sum of i) the preceding node values of the same cell, ii) analytic expressions, related to the jump conditions on the wave function and its derivatives, iii) the values of the wave function at adjacent cells. In this approach, the numerical integration does not deal with the source and potential terms directly, for cells crossed by the particle world line. This scheme has also been applied to circular and eccentric orbits and it will be object of a forthcoming publication.Comment: This series of papers deals with EMRI for LISA. With the respect to the v1 version, the algorithm has been improved; convergence tests and references have been added; v2 is composed by 23 pages, and 6 figures. Paper accepted by Class. Quantum Gravity for the special issue on Theory Meets Data Analysis at Comparable and Extreme Mass Ratios (Capra and NRDA) at Perimeier Institute in June 201

Circadian and Ultradian Rhythms of Free Glucocorticoid Hormone Are Highly Synchronized between the Blood, the Subcutaneous Tissue, and the Brain

Total glucocorticoid hormone levels in plasma of various species, including humans, follow a circadian rhythm that is made up from an underlying series of hormone pulses. In blood most of the glucocorticoid is bound to corticosteroid-binding globulin and albumin, resulting in low levels of free hormone. Although only the free fraction is biologically active, surprisingly little is known about the rhythms of free glucocorticoid hormones. We used single-probe microdialysis to measure directly the free corticosterone levels in the blood of freely behaving rats. Free corticosterone in the blood shows a distinct circadian and ultradian rhythm with a pulse frequency of approximately one pulse per hour together with an increase in hormone levels and pulse height toward the active phase of the light/dark cycle. Similar rhythms were also evident in the subcutaneous tissue, demonstrating that free corticosterone rhythms are transferred from the blood into peripheral target tissues. Furthermore, in a dual-probe microdialysis study, we demonstrated that the circadian and ultradian rhythms of free corticosterone in the blood and the subcutaneous tissue were highly synchronized. Moreover, free corticosterone rhythms were also synchronous between the blood and the hippocampus. These data demonstrate for the first time an ultradian rhythm of free corticosterone in the blood that translates into synchronized rhythms of free glucocorticoid hormone in peripheral and central tissues. The maintenance of ultradian rhythms across tissue barriers in both the periphery and the brain has important implications for research into aberrant biological rhythms in disease and for the development of improved protocols for glucocorticoid therapy

The theory of the exponential differential equations of semiabelian varieties

The complete first order theories of the exponential differential equations of semiabelian varieties are given. It is shown that these theories also arises from an amalgamation-with-predimension construction in the style of Hrushovski. The theory includes necessary and sufficient conditions for a system of equations to have a solution. The necessary condition generalizes Ax's differential fields version of Schanuel's conjecture to semiabelian varieties. There is a purely algebraic corollary, the "Weak CIT" for semiabelian varieties, which concerns the intersections of algebraic subgroups with algebraic varieties.Comment: 53 pages; v3: Substantial changes, including a completely new introductio

Discounting in LTL

In recent years, there is growing need and interest in formalizing and reasoning about the quality of software and hardware systems. As opposed to traditional verification, where one handles the question of whether a system satisfies, or not, a given specification, reasoning about quality addresses the question of \emph{how well} the system satisfies the specification. One direction in this effort is to refine the "eventually" operators of temporal logic to {\em discounting operators}: the satisfaction value of a specification is a value in $[0,1]$, where the longer it takes to fulfill eventuality requirements, the smaller the satisfaction value is. In this paper we introduce an augmentation by discounting of Linear Temporal Logic (LTL), and study it, as well as its combination with propositional quality operators. We show that one can augment LTL with an arbitrary set of discounting functions, while preserving the decidability of the model-checking problem. Further augmenting the logic with unary propositional quality operators preserves decidability, whereas adding an average-operator makes some problems undecidable. We also discuss the complexity of the problem, as well as various extensions

Nonlocal Astroparticles in Einstein's Universe

Gravitational probes should maintain spatial flatness for Einsten-Infeld-Hoffmann dynamics of relativistic matter-energy. The continuous elementary source/particle in Einstein's gravitational theory is the r^{-4} radial energy density rather than the delta-operator density in empty-space gravitation. The space energy integral of such an infinite (astro)particle is finite and determines its nonlocal gravitational charge for the energy-to-energy attraction of other nonlocal (astro)particles. The non-empty flat space of the undivided material Universe is charged continuously by the world energy density of the global ensemble of overlapping radial particles. Nonlocal gravitational/inertial energy-charges incorporate Machian relativism quantitatively into Einstein's gravitation for self-contained SR-GR dynamics without references on Newton's mass-to-mass attraction.Comment: 9 pages, typos and arguments adde

A myopic adjustment process leading to best-reply matching

We analyze a myopic strategy adjustment process in strategic-form games. It is shown that the steady states of the continuous time limit, which is constructed assuming frequent play and slow adjustment of strategies, are exactly the best-reply matching equilibria, as discussed by Droste, Kosfeld, and Voorneveld (2000. Mimeo, Tilburg University). In a best-reply matching equilibrium every player ‘matches’ the probability of playing a pure strategy to the probability that this pure strategy is a best reply to the pure-strategy profile played by his opponents. We derive stability results for the steady states of the continuous time limit in 2×2 bimatrix games and coordination games. Analyzing the asymptotic behavior of the stochastic adjustment process in discrete time shows convergence to minimal curb sets of the game. Moreover, absorbing states of the process correspond to best-reply matching equilibria of the game

Разработка системы автоматизированного управления установки предварительного сброса пластовой воды

Объектом исследования является установка предварительного сброса воды. Цель работы – модернизация автоматизированной системы установки предварительного сброса воды с использованием ПЛК, на основе выбранной SCADA-системы. В данном проекте была разработана система контрoля и управления технологическим процессoм на базе промышленных контроллерoв ПЛК Siemens S7-1500, с применением SCADA-системы. Разработанная системa может применяться в системах контрoля, управления и сборa данных на различных промышленных предприятиях. Данная системa позволит увеличить производительность, повысить точность и надежность измерений, сократить число аварий.The object of the study is to install a preliminary discharge of water. The purpose of the work is to upgrade the automated system for the installation of a preliminary discharge of water using a PLC, based on the selected SCADA system. In this project, a process control and process control system was developed based on industrial PLC controllers Siemens S7-1500, using a SCADA system. The developed system can be used in control systems, control and data collection in various industrial enterprises. This system will increase productivity, improve measurement accuracy and reliability, and reduce the number of accidents

Trends and emissions of six perfluorocarbons in the Northern Hemisphere and Southern Hemisphere

Perfluorocarbons (PFCs) are potent greenhouse gases with global warming potentials up to several thousand times greater than CO2 on a 100-year time horizon. The lack of any significant sinks for PFCs means that they have long atmospheric lifetimes of the order of thousands of years. Anthropogenic production is thought to be the only source for most PFCs. Here we report an update on the global atmospheric abundances of the following PFCs, most of which have for the first time been analytically separated according to their isomers: c-octafluorobutane (c-C4F8), n-decafluorobutane (n-C4F10), n-dodecafluoropentane (n-C5F12), n-tetradecafluorohexane (n-C6F14), and n-hexadecafluoroheptane (n-C7F16). Additionally, we report the first data set on the atmospheric mixing ratios of perfluoro-2-methylpentane (i-C6F14). The existence and significance of PFC isomers have not been reported before, due to the analytical challenges of separating them. The time series spans a period from 1978 to the present. Several data sets are used to investigate temporal and spatial trends of these PFCs: time series of air samples collected at Cape Grim, Australia, from 1978 to the start of 2018; a time series of air samples collected between July 2015 and April 2017 at Tacolneston, UK; and intensive campaign-based sampling collections from Taiwan. Although the remote “background” Southern Hemispheric Cape Grim time series indicates that recent growth rates of most of these PFCs are lower than in the 1990s, we continue to see significantly increasing mixing ratios that are between 6 % and 27 % higher by the end of 2017 compared to abundances measured in 2010. Air samples from Tacolneston show a positive offset in PFC mixing ratios compared to the Southern Hemisphere baseline. The highest mixing ratios and variability are seen in air samples from Taiwan, which is therefore likely situated much closer to PFC sources, confirming predominantly Northern Hemispheric emissions for most PFCs. Even though these PFCs occur in the atmosphere at levels of parts per trillion molar or less, their total cumulative global emissions translate into 833 million metric tonnes of CO2 equivalent by the end of 2017, 23 % of which has been emitted since 2010. Almost two-thirds of the CO2 equivalent emissions within the last decade are attributable to c-C4F8, which currently also has the highest emission rates that continue to grow. Sources of all PFCs covered in this work remain poorly constrained and reported emissions in global databases do not account for the abundances found in the atmosphere