Encoder/decoder system for a rapidly synchronizable binary code Patent

Design and development of encoder/decoder system to generate binary code which is function of outputs of plurality of bistable element

EF+EX Forest Algebras

We examine languages of unranked forests definable using the temporal operators EF and EX. We characterize the languages definable in this logic, and various fragments thereof, using the syntactic forest algebras introduced by Bojanczyk and Walukiewicz. Our algebraic characterizations yield efficient algorithms for deciding when a given language of forests is definable in this logic. The proofs are based on understanding the wreath product closures of a few small algebras, for which we introduce a general ideal theory for forest algebras. This combines ideas from the work of Bojanczyk and Walukiewicz for the analogous logics on binary trees and from early work of Stiffler on wreath product of finite semigroups

Artificial intelligence in process control: Knowledge base for the shuttle ECS model

The general operation of KATE, an artificial intelligence controller, is outlined. A shuttle environmental control system (ECS) demonstration system for KATE is explained. The knowledge base model for this system is derived. An experimental test procedure is given to verify parameters in the model

Care 3, Phase 1, volume 1

A computer program to aid in accessing the reliability of fault tolerant avionics systems was developed. A simple mathematical expression was used to evaluate the reliability of any redundant configuration over any interval during which the failure rates and coverage parameters remained unaffected by configuration changes. Provision was made for convolving such expressions in order to evaluate the reliability of a dual mode system. A coverage model was also developed to determine the various relevant coverage coefficients as a function of the available hardware and software fault detector characteristics, and subsequent isolation and recovery delay statistics

Error correcting method and apparatus Patent

Description of error correcting methods for use with digital data computers and apparatus for encoding and decoding digital dat

Luscher Term for k-string Potential from Holographic One Loop Corrections

We perform a systematic analysis of k-strings in the framework of the gauge/gravity correspondence. We discuss the Klebanov-Strassler supergravity background which is known to be dual to a confining supersymmetric gauge theory with chiral symmetry breaking. We obtain the k-string tension in agreement with expectations of field theory. Our main new result is the study of one-loop corrections on the string theoretic side. We explicitly find the frequency spectrum for both the bosons and the fermions for quadratic fluctuations about the classical supergravity solution. Further we use the massless modes to compute 1/L contributions to the one loop corrections to the k-string energy. This corresponds to the Luscher term contribution to the k-string potential on the gauge theoretic side of the correspondence.Comment: 39 pages, 3 figures. New Calculation showing explicit k -> M - k symmetry of Energy utilizing the new figure. Discussion of non-k-dependence of Luscher term at end of last section right before Conclusion. Same version to be published in JHE

Reduction Redux of Adinkras

We show performing general "0-brane reduction" along an arbitrary fixed direction in spacetime and applied to the starting point of minimal, off-shell 4D, $\cal N$ $=$ 1 irreducible supermultiplets, yields adinkras whose adjacency matrices are among some of the special cases proposed by Kuznetsova, Rojas, and Toppan. However, these more general reductions also can lead to `Garden Algebra' structures beyond those described in their work. It is also shown that for light-like directions, reduction to the 0-brane breaks the equality in the number of fermions and bosons for dynamical theories. This implies that light-like reductions should be done instead to the space of 1-branes or equivalently to the worldsheet.Comment: 17 pages, corrected reference, added note at the end, various typo correction