نتایج جستجو برای: parity space

تعداد نتایج: 518237  

Journal: :SIAM J. Comput. 2001
Kousha Etessami Thomas Wilke Rebecca A. Schuller

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...

Journal: :Physical review 2021

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...

Journal: :Journal of animal science 2008
M G Young M D Tokach F X Aherne S S Dritz R D Goodband J L Nelssen T M Loughin

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...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده علوم 1376

in chapter 1, charactrizations of fragmentability, which are obtained by namioka (37), ribarska (45) and kenderov-moors (32), are given. also the connection between fragmentability and its variants and other topics in banach spaces such as analytic space, the radone-nikodym property, differentiability of convex functions, kadec renorming are discussed. in chapter 2, we use game characterization...

2015
Gökçe Aydos Görschwin Fey

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...

2001
Masaki Arima

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...

2001
Andrew M. Guidi Alex J. Grant Steven S. Pietrobon

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...

Journal: :Automatica 2009
Yongqiang Wang Hao Ye Steven X. Ding Guizeng Wang Donghua Zhou

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...

2007
Nathan Axvig Emily Price Eric Psota Deanna Turk Lance C. Pérez Judy L. Walker

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...

2007
Harald Fecher Michael Huth

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 ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید