Evaluating the reliability of NAND multiplexing with PRISM

Probabilistic-model checking is a formal verification technique for analyzing the reliability and performance of systems exhibiting stochastic behavior. In this paper, we demonstrate the applicability of this approach and, in particular, the probabilistic-model-checking tool PRISM to the evaluation of reliability and redundancy of defect-tolerant systems in the field of computer-aided design. We illustrate the technique with an example due to von Neumann, namely NAND multiplexing. We show how, having constructed a model of a defect-tolerant system incorporating probabilistic assumptions about its defects, it is straightforward to compute a range of reliability measures and investigate how they are affected by slight variations in the behavior of the system. This allows a designer to evaluate, for example, the tradeoff between redundancy and reliability in the design. We also highlight errors in analytically computed reliability bounds, recently published for the same case study

Inflation, Renormalization, and CMB Anisotropies

In single-field, slow-roll inflationary models, scalar and tensorial (Gaussian) perturbations are both characterized by a zero mean and a non-zero variance. In position space, the corresponding variance of those fields diverges in the ultraviolet. The requirement of a finite variance in position space forces its regularization via quantum field renormalization in an expanding universe. This has an important impact on the predicted scalar and tensorial power spectra for wavelengths that today are at observable scales. In particular, we find a non-trivial change in the consistency condition that relates the tensor-to-scalar ratio "r" to the spectral indices. For instance, an exact scale-invariant tensorial power spectrum, n_t=0, is now compatible with a non-zero ratio r= 0.12 +/- 0.06, which is forbidden by the standard prediction (r=-8n_t). Forthcoming observations of the influence of relic gravitational waves on the CMB will offer a non-trivial test of the new predictions.Comment: 4 pages, jpconf.cls, to appear in the Proceedings of Spanish Relativity Meeting 2009 (ERE 09), Bilbao (Spain

Three Dimensional Evolution of a Relativistic Current Sheet : Triggering of Magnetic Reconnection by the Guide Field

The linear and non-linear evolution of a relativistic current sheet of pair ($e^{\pm}$) plasmas is investigated by three-dimensional particle-in-cell simulations. In a Harris configuration, it is obtained that the magnetic energy is fast dissipated by the relativistic drift kink instability (RDKI). However, when a current-aligned magnetic field (the so-called "guide field") is introduced, the RDKI is stabilized by the magnetic tension force and it separates into two obliquely-propagating modes, which we call the relativistic drift-kink-tearing instability (RDKTI). These two waves deform the current sheet so that they trigger relativistic magnetic reconnection at a crossover thinning point. Since relativistic reconnection produces a lot of non-thermal particles, the guide field is of critical importance to study the energetics of a relativistic current sheet.Comment: 12 pages, 4 figures; fixed typos and added a footnote [24

After heat distribution of a mobile nuclear power plant

A computer program was developed to analyze the transient afterheat temperature and pressure response of a mobile gas-cooled reactor power plant following impact. The program considers (in addition to the standard modes of heat transfer) fission product decay and transport, metal-water reactions, core and shield melting and displacement, and pressure and containment vessel stress response. Analyses were performed for eight cases (both deformed and undeformed models) to verify operability of the program options. The results indicated that for a 350 psi (241 n/sq cm) initial internal pressure, the containment vessel can survive over 100,000 seconds following impact before creep rupture occurs. Recommendations were developed as to directions for redesign to extend containment vessel life

Dynamical formation and interaction of bright solitary waves and solitons in the collapse of Bose-Einstein condensates with attractive interactions

We model the dynamics of formation of multiple, long-lived, bright solitary waves in the collapse of Bose-Einstein condensates with attractive interactions as studied in the experiment of Cornish et al. [Phys. Rev. Lett. 96 (2006) 170401]. Using both mean-field and quantum field simulation techniques, we find that while a number of separated wave packets form as observed in the experiment, they do not have a repulsive \pi phase difference that has been previously inferred. We observe that the inclusion of quantum fluctuations causes soliton dynamics to be predominantly repulsive in one dimensional simulations independent of their initial relative phase. However, indicative three-dimensional simulations do not support this conclusion and in fact show that quantum noise has a negative impact on bright solitary wave lifetimes. Finally, we show that condensate oscillations, after the collapse, may serve to deduce three-body recombination rates, and that the remnant atom number may still exceed the critical number for collapse for as long as three seconds independent of the relative phases of the bright solitary waves.Comment: 14 pages, 5 figure

Design studies of continuously variable transmissions for electric vehicles

Preliminary design studies were performed on four continuously variable transmission (CVT) concepts for use with a flywheel equipped electric vehicle of 1700 kg gross weight. Requirements of the CVT's were a maximum torque of 450 N-m (330 lb-ft), a maximum output power of 75 kW (100 hp), and a flywheel speed range of 28,000 to 14,000 rpm. Efficiency, size, weight, cost, reliability, maintainability, and controls were evaluated for each of the four concepts which included a steel V-belt type, a flat rubber belt type, a toroidal traction type, and a cone roller traction type. All CVT's exhibited relatively high calculated efficiencies (68 percent to 97 percent) over a broad range of vehicle operating conditions. Estimated weight and size of these transmissions were comparable to or less than equivalent automatic transmission. The design of each concept was carried through the design layout stage

Spatial curvature effects on molecular transport by diffusion

For a substance diffusing on a curved surface, we obtain an explicit relation valid for very small values of the time, between the local concentration, the diffusion coefficient, the intrinsic spatial curvature and the time. We recover the known solution of Fick's law of diffusion in the flat space limit. In the biological context, this result would be useful in understanding the variations in the diffusion rates of integral proteins and other molecules on membranes.Comment: 10 page

Observing collapse in two colliding dipolar Bose-Einstein condensates

We study the collision of two Bose-Einstein condensates with pure dipolar interaction. A stationary pure dipolar condensate is known to be stable when the atom number is below a critical value. However, collapse can occur during the collision between two condensates due to local density fluctuations even if the total atom number is only a fraction of the critical value. Using full three-dimensional numerical simulations, we observe the collapse induced by local density fluctuations. For the purpose of future experiments, we present the time dependence of the density distribution, energy per particle and the maximal density of the condensate. We also discuss the collapse time as a function of the relative phase between the two condensates.Comment: 6 pages, 7 figure