We give efficient algorithms, improving optimal known bounds, for computing a variety of simulation relations on the state space of a Büchi automaton. Our algorithms are derived via a unified and simple parity-game framework. This framework incorporates previously studied notions like fair and direct simulation, but also a new natural notion of simulation called delayed simulation, which we int...

Space-based gravitational-wave (GW) detectors, including LISA, Taiji and TianQin, are able to detect mHz GW signals produced by mergers of supermassive black hole binaries, which opens a new window for astronomy. In this article, we numerically estimate the potential capabilities future networks multiple space-based detectors using Bayesian analysis. We modify public package bilby employ sample...

A total of 1,257 gilts were used to determine the effect of space allowance during rearing and age at puberty on total pigs produced and removal rate over 3 parities. There were 2 treatments. In treatment 1, gilts were given a space allowance of 1.13 m(2)/gilt (15 gilts per pen), and in treatment 2, gilts were given 0.77 m(2)/gilt (22 gilts per pen). Gilts (38 kg and 75 d of age) were individua...

Field-programmable gate arrays (FPGAs) are often utilized in space avionics. To protect the FPGA logic against the ionizing radiation effects in space, redundancy in form of concurrent error detection can be used. In this work, we present a comparative study of a parity-based error detection with software-based retry, and a triple modular redundancy technique on a known flash-based FPGA archite...

The excitation spectrum of the nucleon with the spin 1/2 is examined by using the Friedberg-Lee model containing the constituent quark and the scalar meson. An appropriate way of quantization for the non-linear meson field is employed by taking account of the non-topological soliton existed in the classical level. Our model space for the nucleon resonances includes the three-quark plus one-meso...

We consider the design of phase shift keyed space-time coded modulation for two antenna systems based on linear codes over rings. Design rules for constructing full diversity systematic space-time codes based on underlying existing algebraic codes were rst presented by Ham-mons and El Gamal in 2000. We reformulate and simplify these design rules, resulting in the condition that the characterist...

In this paper, we address fault detection for networked control systems subject to randompacket dropout. The packet dropout is assumed to be existing in the sensor-to-controller link and the controller-toactuator link. Both parity space and observer based residual generation and evaluation approaches are proposed. In parity space based fault detection scheme, a new optimization index is propose...

Three types of pseudocodewords for LDPC codes are found in the literature: graph cover pseudocodewords, linear programming pseudocodewords, and computation tree pseudocodewords. In this paper we first review these three notions and known connections between them. We then propose a new decoding rule — universal cover decoding — for LDPC codes. This new decoding rule also has a notion of pseudoco...

We define, for any partition of a state space and for formulas of the modal μ-calculus, two variants of precision for abstractions that have the partition set as state space. These variants are defined via satisfaction parity games in which the Refuter can replace a concrete state with any state in the same partition before, respectively after, a quantifier move. These games are independent of ...