Engineering topics
Butler, Bryan
Publications and source records attributed to Butler, Bryan.
Atmospheric Waves and Dynamics Beneath Jupiters Clouds from Radio Wavelength Observations
We observed Jupiter at wavelengths near 2 cm with the Karl G. Jansky Very Large Array (VLA) in February 2015. These frequencies are mostly sensitive to variations in ammonia abundance and probe between approx. 0.5- 2.0 bars of pressure in Jupiters atmosphere; within and below the visible cloud deck which has its base near 0.7 bars. The resultant observed data were projected into a cylindrical map of the planet with spatial resolution of approx. 1500 km at the equator. We have examined the data for atmospheric waves and observed a prominent bright belt of radio hotspot features near 10 N, likely connected to the same equatorial wave associated with the 5-m hotspots. We conducted a passive tracer power spectral wave analysis for the entire map and latitude regions corresponding to eastward and westward jets and compare our results to previous studies. The power spectra analysis revealed that the atmosphere sampled in our observation (excluding the NEB region) is in a 2-D turbulent regime and its dynamics are predominately governed by the shallow water equations. The Great Red Spot (GRS) is also very prominent and has a noticeable meridional asymmetry and we compare it, and nearby storms, with optical images. We find that the meridional radio profile has a global north-south hemisphere distinction and find correlations of it to optical intensity banding and to shear zones of the zonal wind profile over select regions of latitude. Amateur optical images taken before and after our observation complemented the radio wave- length map to investigate dynamics of the equatorial region in Jupiters atmosphere. We find that two radio hotspots at 2 cm are well correlated with optical plumes in the NEB, additionally revealing they are not the same 5 m hotspot features correlated with optical dark patches between adjacent plumes. This analysis exploits the VLAs upgraded sensitivity and explores the opportunities now possible when studying gas giants, especially atmospheric dynamics of layers beneath upper level clouds.
A fault-tolerant network architecture for integrated avionics
The Army Fault-Tolerant Architecture (AFTA) under construction at the Charles Stark Draper Laboratory is an example of a highly integrated critical avionics system. The AFTA system must connect to other redundant and nonredundant systems, as well as to input/output devices. A fault-tolerant data bus (FTDB) is being developed to provide highly reliable communication between the AFTA computer and other network stations. The FTDB is being designed for Byzantine resilience and is probably capable of tolerating any single arbitrary fault. The author describes a prototype architecture for the fault-tolerant data bus.
A Byzantine resilient processor with an encoded fault-tolerant shared memory
The memory requirements for ultra-reliable computers are expected to increase due to future increases in mission functionality and operating-system requirements. This increase will have a negative effect on the reliability and cost of the system. Increased memory size will also reduce the ability to reintegrate a channel after a transient fault, since the time required to reintegrate a channel in a conventional fault-tolerant processor is dominated by memory realignment time. A Byzantine Resilient Fault-Tolerant Processor with Fault-Tolerant Shared Memory (FTP/FTSM) is presented as a solution to these problems. The FTSM uses an encoded memory system, which reduces the memory requirement by one-half compared to a conventional quad-FTP design. This increases the reliability and decreases the cost of the system. The realignment problem is also addressed by the FTSM. Because any single error is corrected upon a read from the FTSM, a faulty channel's corrupted memory does not need realignment before reintegration of the faulty channel. A combination of correct-on-access and background scrubbing is proposed to prevent the accumulation of transient errors in the memory. With a hardware-implemented scrubber, the scrubbing cycle time, and therefore the memory fault latency, can be upper-bounded at a small value. This technique increases the reliability of the memory system and facilitates validation of its reliability model.