Codes and coding circuitry for automatic error correction within digital systems technical report no. 2

Codes and coding circuits for automatic error correction in digital computer

Search for solid conductors of Na(+) and K(+) ions: Five new conductors

Five conductors of three structure types were discovered which, as solids, can transport Na(+) or K(+) ions with conductivities of approximately .00001/(omega cm) at 300 K. These compounds are: (1) the pyrochlores NaTaWO6 and NaTa2O5F, both with an activation energy for conduction delta E of 21 kJ/mole; (2) the bodycentered cubic form of NaSbO3, with delta E = 42 kJ/mole; and (3) the niobates 2Na2O with 3Nb2O5 and 2K2O with 3Nb2O5, with the alkali ions probably in open layers of the incompletely determined structure; delta E = 17 kJ/mole. On the basis of approximately 40 structure types, some generalizations were made regarding the relation between structure and ionic transport

Conductivity of boules of single crystal sodium beta-alumina

The ionic and electrochemical polarization characteristics of two boules of single crystal sodium beta-alumina (Na2O.8Al2O3), 2 cm in diameter, were investigated over the range of 25 to 300 C using 2- and 4-probe ac and dc techniques with reversible and ion-blocking electrodes. Textural (or internal) polarization at 27 C was present only in boule 1 which cleaved easily. Interfacial polarization, using solid sodium electrodes, was present at 27 C in the 2-probe conductivities for both boules. Cleaning with liquid sodium at 300 C reduced its magnitude, but some interfacial polarization was still present in the 2-probe conductivities for boule 2 below about 140 C. Above 140 C, with liquid sodium electrodes, the 2-probe conductivities, essentially polarization-free, were given by KT = 3300 exp(-3650/RT). The conductivity of boule 2 at 180 C remained essentially constant with increasing current density up to about 140 milliamps per square centimeter

Development and analysis of the Software Implemented Fault-Tolerance (SIFT) computer

SIFT (Software Implemented Fault Tolerance) is an experimental, fault-tolerant computer system designed to meet the extreme reliability requirements for safety-critical functions in advanced aircraft. Errors are masked by performing a majority voting operation over the results of identical computations, and faulty processors are removed from service by reassigning computations to the nonfaulty processors. This scheme has been implemented in a special architecture using a set of standard Bendix BDX930 processors, augmented by a special asynchronous-broadcast communication interface that provides direct, processor to processor communication among all processors. Fault isolation is accomplished in hardware; all other fault-tolerance functions, together with scheduling and synchronization are implemented exclusively by executive system software. The system reliability is predicted by a Markov model. Mathematical consistency of the system software with respect to the reliability model has been partially verified, using recently developed tools for machine-aided proof of program correctness

NASA space station automation: AI-based technology review

Research and Development projects in automation for the Space Station are discussed. Artificial Intelligence (AI) based automation technologies are planned to enhance crew safety through reduced need for EVA, increase crew productivity through the reduction of routine operations, increase space station autonomy, and augment space station capability through the use of teleoperation and robotics. AI technology will also be developed for the servicing of satellites at the Space Station, system monitoring and diagnosis, space manufacturing, and the assembly of large space structures

NASA space station automation: AI-based technology review. Executive summary

Research and Development projects in automation technology for the Space Station are described. Artificial Intelligence (AI) based technologies are planned to enhance crew safety through reduced need for EVA, increase crew productivity through the reduction of routine operations, increase space station autonomy, and augment space station capability through the use of teleoperation and robotics

Convolutional State Space Models for Long-Range Spatiotemporal Modeling

Effectively modeling long spatiotemporal sequences is challenging due to the need to model complex spatial correlations and long-range temporal dependencies simultaneously. ConvLSTMs attempt to address this by updating tensor-valued states with recurrent neural networks, but their sequential computation makes them slow to train. In contrast, Transformers can process an entire spatiotemporal sequence, compressed into tokens, in parallel. However, the cost of attention scales quadratically in length, limiting their scalability to longer sequences. Here, we address the challenges of prior methods and introduce convolutional state space models (ConvSSM) that combine the tensor modeling ideas of ConvLSTM with the long sequence modeling approaches of state space methods such as S4 and S5. First, we demonstrate how parallel scans can be applied to convolutional recurrences to achieve subquadratic parallelization and fast autoregressive generation. We then establish an equivalence between the dynamics of ConvSSMs and SSMs, which motivates parameterization and initialization strategies for modeling long-range dependencies. The result is ConvS5, an efficient ConvSSM variant for long-range spatiotemporal modeling. ConvS5 significantly outperforms Transformers and ConvLSTM on a long horizon Moving-MNIST experiment while training 3X faster than ConvLSTM and generating samples 400X faster than Transformers. In addition, ConvS5 matches or exceeds the performance of state-of-the-art methods on challenging DMLab, Minecraft and Habitat prediction benchmarks and enables new directions for modeling long spatiotemporal sequences

Tree defence and bark beetles in a drying world: carbon partitioning, functioning and modelling.

Drought has promoted large-scale, insect-induced tree mortality in recent years, with severe consequences for ecosystem function, atmospheric processes, sustainable resources and global biogeochemical cycles. However, the physiological linkages among drought, tree defences, and insect outbreaks are still uncertain, hindering our ability to accurately predict tree mortality under on-going climate change. Here we propose an interdisciplinary research agenda for addressing these crucial knowledge gaps. Our framework includes field manipulations, laboratory experiments, and modelling of insect and vegetation dynamics, and focuses on how drought affects interactions between conifer trees and bark beetles. We build upon existing theory and examine several key assumptions: (1) there is a trade-off in tree carbon investment between primary and secondary metabolites (e.g. growth vs defence); (2) secondary metabolites are one of the main component of tree defence against bark beetles and associated microbes; and (3) implementing conifer-bark beetle interactions in current models improves predictions of forest disturbance in a changing climate. Our framework provides guidance for addressing a major shortcoming in current implementations of large-scale vegetation models, the under-representation of insect-induced tree mortality

Theory of phase-locking in generalized hybrid Josephson junction arrays

A recently proposed scheme for the analytical treatment of the dynamics of two-dimensional hybrid Josephson junction arrays is extended to a class of generalized hybrid arrays with ''horizontal'' shunts involving a capacitive as well as an inductive component. This class of arrays is of special interest, because the internal cell coupling has been shown numerically to favor in-phase synchronization for certain parameter values. As a result, we derive limits on the circuit design parameters for realizing this state. In addition, we obtain formulas for the flux-dependent frequency including flux-induced switching processes between the in-phase and anti-phase oscillation regime. The treatment covers unloaded arrays as well as arrays shunted via an external load.Comment: 24 pages, REVTeX, 5 Postscript figures, Subm. to Phys. Rev.

Fractional diffusion in periodic potentials

Fractional, anomalous diffusion in space-periodic potentials is investigated. The analytical solution for the effective, fractional diffusion coefficient in an arbitrary periodic potential is obtained in closed form in terms of two quadratures. This theoretical result is corroborated by numerical simulations for different shapes of the periodic potential. Normal and fractional spreading processes are contrasted via their time evolution of the corresponding probability densities in state space. While there are distinct differences occurring at small evolution times, a re-scaling of time yields a mutual matching between the long-time behaviors of normal and fractional diffusion