Development of confidence limits by pivotal functions for estimating software reliability

The utility of pivotal functions is established for assessing software reliability. Based on the Moranda geometric de-eutrophication model of reliability growth, confidence limits for attained reliability and prediction limits for the time to the next failure are derived using a pivotal function approach. Asymptotic approximations to the confidence and prediction limits are considered and are shown to be inadequate in cases where only a few bugs are found in the software. Departures from the assumed exponentially distributed interfailure times in the model are also investigated. The effect of these departures is discussed relative to restricting the use of the Moranda model

Dispersion of Observed Position Angles of Submillimeter Polarization in Molecular Clouds

One can estimate the characteristic magnetic field strength in GMCs by comparing submillimeter polarimetric observations of these sources with simulated polarization maps developed using a range of different values for the assumed field strength. The point of comparison is the degree of order in the distribution of polarization position angles. In a recent paper by H. Li and collaborators, such a comparison was carried out using SPARO observations of two GMCs, and employing simulations by E. Ostriker and collaborators. Here we reexamine this same question, using the same data set and the same simulations, but using an approach that differs in several respects. The most important difference is that we incorporate new, higher angular resolution observations for one of the clouds, obtained using the Hertz polarimeter. We conclude that the agreement between observations and simulations is best when the total magnetic energy (including both uniform and fluctuating field components) is at least as large as the turbulent kinetic energy.Comment: revised, accepted version; to appear in The Astrophysical Journal; 20 pages, 2 figures, 2 table

French Opera and the French Revolution, Etienne Nicolas Mehul

Although Etienne Nicolas Méhul is relatively unknown today, he was greatly respected by his contemporaries, including Beethoven, Cherubini and Berlioz. He rose to popularity and notoriety during the most turbulent years of the French Revolution, when most intellectuals fled for their lives, and yet he managed to maintain his status as a favorite of the people. From an examination of some of his operas - Euphrosine (1790), Ariodant (1799), Adrien (1792, 1799), and Horatius Coclès (1794) - it is apparent that Mehul used thinly veiled allegories to express his views. His heroes in these operas were Romans, Scottish nobles, and Crusaders; his libretti referred to France\u27s history, but they represented political figures and scenes of his time. Mehul was also famous for his revolutionary anthems, which might have protected him from harsh critiques from the censor. While musicologists like M.E.C. Bartlet and David Charlton studied Mehul\u27s works mainly for his musical innovations, my research uses an historian\u27s lens to examine the libretti, scores, and the reviews of these operas. My findings reveal that Mehul was not only an excellent composer, but also a critic of the regime who sometimes knew how to overcome censorship through allegorical expression in libretti and musical themes

Voice control of the space shuttle video system

A pilot voice control system developed at the Jet Propulsion Laboratory (JPL) to test and evaluate the feasibility of controlling the shuttle TV cameras and monitors by voice commands utilizes a commercially available discrete word speech recognizer which can be trained to the individual utterances of each operator. Successful ground tests were conducted using a simulated full-scale space shuttle manipulator. The test configuration involved the berthing, maneuvering and deploying a simulated science payload in the shuttle bay. The handling task typically required 15 to 20 minutes and 60 to 80 commands to 4 TV cameras and 2 TV monitors. The best test runs show 96 to 100 percent voice recognition accuracy

Examples of Nonconservatism in the CARE 3 Program

This paper presents parameter regions in the CARE 3 (Computer-Aided Reliability Estimation version 3) computer program where the program overestimates the reliability of a modeled system without warning the user. Five simple models of fault-tolerant computer systems are analyzed; and, the parameter regions where reliability is overestimated are given. The source of the error in the reliability estimates for models which incorporate transient fault occurrences was not readily apparent. However, the source of much of the error for models with permanent and intermittent faults can be attributed to the choice of values for the run-time parameters of the program

Rebuild of US 27

An existing four lane section of US 27 was widened to eight lanes. The project lies in the rugged Valley and Ridge Province of the Appalachian mountains starting at the Tennessee River in Chattanooga, Tennessee and extending 2.6 km north to Signal Mountain Boulevard. This terrain presented many challenges to accommodate the road widening in the narrow, rugged topography. Multiple tiered wall systems consisting of large tieback walls, post-tensioned reaction blocks, and gravity MSE walls for a total of approximately 30 retaining walls were required. The retaining walls served to stabilize the thrust faulted geology while also minimizing right-of-way acquisitions. The cut walls consist mainly of a tiered system of tied-back soldier piles walls with cast-inplace concrete facing. Cast-in-place pile shear walls were required along the toe of existing MSE walls to maintain stability during construction. This paper discusses the geotechnical assessments for design and construction, slope stability analysis, landslide mitigation alternatives, soldier pile wall design features, site challenges, monitoring and performance (to date) of the wall systems

A Framework for Inferring Taxonomic Class of Asteroids.

Introduction: Taxonomic classification of asteroids based on their visible / near-infrared spectra or multi band photometry has proven to be a useful tool to infer other properties about asteroids. Meteorite analogs have been identified for several taxonomic classes, permitting detailed inference about asteroid composition. Trends have been identified between taxonomy and measured asteroid density. Thanks to NEOWise (Near-Earth-Object Wide-field Infrared Survey Explorer) and Spitzer (Spitzer Space Telescope), approximately twice as many asteroids have measured albedos than the number with taxonomic classifications. (If one only considers spectroscopically determined classifications, the ratio is greater than 40.) We present a Bayesian framework that provides probabilistic estimates of the taxonomic class of an asteroid based on its albedo. Although probabilistic estimates of taxonomic classes are not a replacement for spectroscopic or photometric determinations, they can be a useful tool for identifying objects for further study or for asteroid threat assessment models. Inputs and Framework: The framework relies upon two inputs: the expected fraction of each taxonomic class in the population and the albedo distribution of each class. Luckily, numerous authors have addressed both of these questions. For example, the taxonomic distribution by number, surface area and mass of the main belt has been estimated and a diameter limited estimate of fractional abundances of the near earth asteroid population was made. Similarly, the albedo distributions for taxonomic classes have been estimated for the combined main belt and NEA (Near Earth Asteroid) populations in different taxonomic systems and for the NEA population specifically. The framework utilizes a Bayesian inference appropriate for categorical data. The population fractions provide the prior while the albedo distributions allow calculation of the likelihood an albedo measurement is consistent with a given taxonomic class. These inputs allows calculation of the probability an asteroid with a specified albedo belongs to any given taxonomic class

On-chip polarimetry for high-throughput screening of nanoliter and smaller sample volumes

A polarimetry technique for measuring optical activity that is particularly suited for high throughput screening employs a chip or substrate (22) having one or more microfluidic channels (26) formed therein. A polarized laser beam (14) is directed onto optically active samples that are disposed in the channels. The incident laser beam interacts with the optically active molecules in the sample, which slightly alter the polarization of the laser beam as it passes multiple times through the sample. Interference fringe patterns (28) are generated by the interaction of the laser beam with the sample and the channel walls. A photodetector (34) is positioned to receive the interference fringe patterns and generate an output signal that is input to a computer or other analyzer (38) for analyzing the signal and determining the rotation of plane polarized light by optically active material in the channel from polarization rotation calculations