Thermal out-of-time-order correlators, KMS relations, and spectral functions

We describe general features of thermal correlation functions in quantum systems, with specific focus on the fluctuation-dissipation type relations implied by the KMS condition. These end up relating correlation functions with different time ordering and thus should naturally be viewed in the larger context of out-of-time-ordered (OTO) observables. In particular, eschewing the standard formulation of KMS relations where thermal periodicity is combined with time-reversal to stay within the purview of Schwinger-Keldysh functional integrals, we show that there is a natural way to phrase them directly in terms of OTO correlators. We use these observations to construct a natural causal basis for thermal n-point functions in terms of fully nested commutators. We provide several general results which can be inferred from cyclic orbits of permutations, and exemplify the abstract results using a quantum oscillator as an explicit example.Comment: 36 pages + appendices. v2: minor changes + refs added. v3: minor changes, published versio

Safety verification of asynchronous pushdown systems with shaped stacks

In this paper, we study the program-point reachability problem of concurrent pushdown systems that communicate via unbounded and unordered message buffers. Our goal is to relax the common restriction that messages can only be retrieved by a pushdown process when its stack is empty. We use the notion of partially commutative context-free grammars to describe a new class of asynchronously communicating pushdown systems with a mild shape constraint on the stacks for which the program-point coverability problem remains decidable. Stacks that fit the shape constraint may reach arbitrary heights; further a process may execute any communication action (be it process creation, message send or retrieval) whether or not its stack is empty. This class extends previous computational models studied in the context of asynchronous programs, and enables the safety verification of a large class of message passing programs

Real-Time data-driven average active period method for bottleneck detection

Prioritising improvement and maintenance activities is an important part of the production management and development process. Companies need to direct their efforts to the production constraints (bottlenecks) to achieve higher productivity. The first step is to identify the bottlenecks in the production system. A majority of the current bottleneck detection techniques can be classified into two categories, based on the methods used to develop the techniques: Analytical and simulation based. Analytical methods are difficult to use in more complex multi-stepped production systems, and simulation-based approaches are time-consuming and less flexible with regard to changes in the production system. This research paper introduces a real-Time, data-driven algorithm, which examines the average active period of the machines (the time when the machine is not waiting) to identify the bottlenecks based on real-Time shop floor data captured by Manufacturing Execution Systems (MES). The method utilises machine state information and the corresponding time stamps of those states as recorded by MES. The algorithm has been tested on a real-Time MES data set from a manufacturing company. The advantage of this algorithm is that it works for all kinds of production systems, including flow-oriented layouts and parallel-systems, and does not require a simulation model of the production system

Optical Property Evaluation of Next Generation Thermal Control Coatings

Next generation white thermal control coatings were developed via the Small Business Innovative Research program utilizing lithium silicate chemistry as a binder. Doping of the binder with additives yielded a powder that was plasma spray capable and that could be applied to light weight polymers and carbon-carbon composite surfaces. The plasma sprayed coating had acceptable beginning-of-life and end-of-live optical properties, as indicated by a successful 1.5 year exposure to the space environment in low Earth orbit. Recent studies also showed the coating to be durable to simulated space environments consisting of 1 keV and 10 keV electrons, 4.5 MeV electrons, and thermal cycling. Large scale deposition was demonstrated on a polymer matrix composite radiator panel, leading to the selection of the coating for use on the Gravity Recovery And Interior Laboratory (GRAIL) mission

Approximated Computation of Belief Functions for Robust Design Optimization

This paper presents some ideas to reduce the computational cost of evidence-based robust design optimization. Evidence Theory crystallizes both the aleatory and epistemic uncertainties in the design parameters, providing two quantitative measures, Belief and Plausibility, of the credibility of the computed value of the design budgets. The paper proposes some techniques to compute an approximation of Belief and Plausibility at a cost that is a fraction of the one required for an accurate calculation of the two values. Some simple test cases will show how the proposed techniques scale with the dimension of the problem. Finally a simple example of spacecraft system design is presented.Comment: AIAA-2012-1932 14th AIAA Non-Deterministic Approaches Conference. 23-26 April 2012 Sheraton Waikiki, Honolulu, Hawai