Weighted Automata and Logics for Infinite Nested Words

Nested words introduced by Alur and Madhusudan are used to capture structures with both linear and hierarchical order, e.g. XML documents, without losing valuable closure properties. Furthermore, Alur and Madhusudan introduced automata and equivalent logics for both finite and infinite nested words, thus extending B\"uchi's theorem to nested words. Recently, average and discounted computations of weights in quantitative systems found much interest. Here, we will introduce and investigate weighted automata models and weighted MSO logics for infinite nested words. As weight structures we consider valuation monoids which incorporate average and discounted computations of weights as well as the classical semirings. We show that under suitable assumptions, two resp. three fragments of our weighted logics can be transformed into each other. Moreover, we show that the logic fragments have the same expressive power as weighted nested word automata.Comment: LATA 2014, 12 page

Alternative derivation of the relativistic contribution to perihelic precession

An alternative derivation of the first-order relativistic contribution to perihelic precession is presented. Orbital motion in the Schwarzschild geometry is considered in the Keplerian limit, and the orbit equation is derived for approximately elliptical motion. The method of solution makes use of coordinate transformations and the correspondence principle, rather than the standard perturbative approach. The form of the resulting orbit equation is similar to that derived from Newtonian mechanics and includes first-order corrections to Kepler's orbits due to general relativity. The associated relativistic contribution to perihelic precession agrees with established first-order results. The reduced radius for the circular orbit is in agreement to first-order with that calculated from the Schwarzschild effective potential. The method of solution is understandable by undergraduate students.Comment: 12 pages, 2 figures. Accepted for publication in the American Journal of Physic

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

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

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

Classification of some countable descendant-homogeneous digraphs

For finite q, we classify the countable, descendant-homogeneous digraphs in which the descendant set of any vertex is a q-valent tree. We also give conditions on a rooted digraph G which allow us to construct a countable descendant-homogeneous digraph in which the descendant set of any vertex is isomorphic to G.Comment: 16 page

Evolutionary design of a full-envelope full-authority flight control system for an unstable high-performance aircraft

The use of an evolutionary algorithm in the framework of H1 control theory is being considered as a means for synthesizing controller gains that minimize a weighted combination of the infinite norm of the sensitivity function (for disturbance attenuation requirements) and complementary sensitivity function (for robust stability requirements) at the same time. The case study deals with a complete full-authority longitudinal control system for an unstable high-performance jet aircraft featuring (i) a stability and control augmentation system and (ii) autopilot functions (speed and altitude hold). Constraints on closed-loop response are enforced, that representing typical requirements on airplane handling qualities, that makes the control law synthesis process more demanding. Gain scheduling is required, in order to obtain satisfactory performance over the whole flight envelope, so that the synthesis is performed at different reference trim conditions, for several values of the dynamic pressure, used as the scheduling parameter. Nonetheless, the dynamic behaviour of the aircraft may exhibit significant variations when flying at different altitudes, even for the same value of the dynamic pressure, so that a trade-off is required between different feasible controllers synthesized at different altitudes for a given equivalent airspeed. A multiobjective search is thus considered for the determination of the best suited solution to be introduced in the scheduling of the control law. The obtained results are then tested on a longitudinal non-linear model of the aircraft

Near-Optimal Scheduling for LTL with Future Discounting

We study the search problem for optimal schedulers for the linear temporal logic (LTL) with future discounting. The logic, introduced by Almagor, Boker and Kupferman, is a quantitative variant of LTL in which an event in the far future has only discounted contribution to a truth value (that is a real number in the unit interval [0, 1]). The precise problem we study---it naturally arises e.g. in search for a scheduler that recovers from an internal error state as soon as possible---is the following: given a Kripke frame, a formula and a number in [0, 1] called a margin, find a path of the Kripke frame that is optimal with respect to the formula up to the prescribed margin (a truly optimal path may not exist). We present an algorithm for the problem; it works even in the extended setting with propositional quality operators, a setting where (threshold) model-checking is known to be undecidable

Основні закономірності зародження і росту втомних тріщин в алюмінієвих пластинах із зміцненими отворами

The method of modeling stress-strain state for holes burnishing using FEM has been analyzed. A series of fatigue tests were carried out using plates containing plain holes and cold expanded holes in aluminium For various diameters of holes and cold expansion degree there exists a certain correlation between the stress range or maximum stress on the edge of hole on the entrance face of plate and lifetime of fatigue crack initiation