Software reliability: Repetitive run experimentation and modeling

A software experiment conducted with repetitive run sampling is reported. Independently generated input data was used to verify that interfailure times are very nearly exponentially distributed and to obtain good estimates of the failure rates of individual errors and demonstrate how widely they vary. This fact invalidates many of the popular software reliability models now in use. The log failure rate of interfailure time was nearly linear as a function of the number of errors corrected. A new model of software reliability is proposed that incorporates these observations

Experiences with a simplified microsimulation for the Dallas/Fort Worth area

We describe a simple framework for micro simulation of city traffic. A medium sized excerpt of Dallas was used to examine different levels of simulation fidelity of a cellular automaton method for the traffic flow simulation and a simple intersection model. We point out problems arising with the granular structure of the underlying rules of motion.Comment: accepted by Int.J.Mod.Phys.C, 20 pages, 14 figure

Two-dimensional cellular automaton model of traffic flow with open boundaries

A two-dimensional cellular automaton model of traffic flow with open boundaries are investigated by computer simulations. The outflow of cars from the system and the average velocity are investigated. The time sequences of the outflow and average velocity have flicker noises in a jamming phase. The low density behavior are discussed with simple jam-free approximation.Comment: 14 pages, Phys. Rev. E in press, PostScript figures available at ftp://hirose.ai.is.saga-u.ac.jp/pub/documents/papers/1996/2DTR/ OpenBoundaries/Figs.tar.g

Software reliability: Additional investigations into modeling with replicated experiments

The effects of programmer experience level, different program usage distributions, and programming languages are explored. All these factors affect performance, and some tentative relational hypotheses are presented. An analytic framework for replicated and non-replicated (traditional) software experiments is presented. A method of obtaining an upper bound on the error rate of the next error is proposed. The method was validated empirically by comparing forecasts with actual data. In all 14 cases the bound exceeded the observed parameter, albeit somewhat conservatively. Two other forecasting methods are proposed and compared to observed results. Although demonstrated relative to this framework that stages are neither independent nor exponentially distributed, empirical estimates show that the exponential assumption is nearly valid for all but the extreme tails of the distribution. Except for the dependence in the stage probabilities, Cox's model approximates to a degree what is being observed

Future long-range transports: Prospects for improved fuel efficiency

A status report is provided on current thinking concerning potential improvements in fuel efficiency and possible alternate fuels. Topics reviewed are: (1) historical trends in airplane efficiency; (2) technological opportunities including supercritical aerodynamics, (3) vortex diffusers, (4) composite materials, (5) propulsion systems, (6) active controls, and terminal-area operations; (7) unconventional design concepts, and (8) hydrogen-fueled airplane

Coalescence in low-viscosity liquids

The expected universal dynamics associated with the initial stage of droplet coalescence are difficult to study visually due to the rapid motion of the liquid and the awkward viewing geometry. Here we employ an electrical method to study the coalescence of two inviscid droplets at early times. We measure the growth dynamics of the bridge connecting the two droplets and observe a new asymptotic regime inconsistent with previous theoretical predictions. The measurements are consistent with a model in which the two liquids coalesce with a slightly deformed interface.Comment: 4 pages and 4 figure

Generalized Intelligent States for an Arbitrary Quantum System

Generalized Intelligent States (coherent and squeezed states) are derived for an arbitrary quantum system by using the minimization of the so-called Robertson-Schr\"odinger uncertainty relation. The Fock-Bargmann representation is also considered. As a direct illustration of our construction, the P\"oschl-Teller potentials of trigonometric type will be shosen. We will show the advantage of the Fock-Bargmann representation in obtaining the generalized intelligent states in an analytical way. Many properties of these states are studied

Discrete stochastic models for traffic flow

We investigate a probabilistic cellular automaton model which has been introduced recently. This model describes single-lane traffic flow on a ring and generalizes the asymmetric exclusion process models. We study the equilibrium properties and calculate the so-called fundamental diagrams (flow vs.\ density) for parallel dynamics. This is done numerically by computer simulations of the model and by means of an improved mean-field approximation which takes into account short-range correlations. For cars with maximum velocity 1 the simplest non-trivial approximation gives the exact result. For higher velocities the analytical results, obtained by iterated application of the approximation scheme, are in excellent agreement with the numerical simulations.Comment: Revtex, 30 pages, full postscript version (including figures) available by anonymous ftp from "fileserv1.mi.uni-koeln.de" in the directory "pub/incoming/" paper accepted for publication in Phys.Rev.