Reliability prediction models to support conceptual design

During the early stages of conceptual design, the ability to predict reliability is very limited. Without a prototype to test in a lab environment or without field data, component failure rates and system reliability performance are usually unknown. A popular method for early reliability prediction is to develop a computer model for the system. However, most of these models are extremely specific to an individual system or industry. This paper presents three general procedures (using both simulation and analytic solution techniques) for predicting system reliability and average mission cost. The procedures consider both known and unknown failure rates and component-level and subsystem-level analyzes. The estimates are based on the number of series subsystems and redundant (active or stand-by) components for each subsystem. The result is a set of approaches that engineers can use to predict system reliability early in the system-design process. Software was developed (and is discussed in this paper) that facilitates the application of the simulation-based techniques. For the specific type of system and mission addressed in this paper, the analytic approach is superior to the simulation-based prediction models. However, all three approaches are presented for two reasons: (1) to convey the development process involved with building these prediction tools; and (2) the simulation-based approaches are of greater value as the research is extended to consider more complex systems and scenarios     

Numerical solutions of the shallow water equations with discontinuous bed topography

A simple scheme is developed for treatment of vertical bed topography in shallow water flows. The effect of the vertical step on flows is modelled with the shallow water equations including local energy loss terms. The bed elevation is denoted with z_b^‐ for the left and z_b⁺ for the right values at each grid point, hence exactly representing a discontinuity in the bed topography. The surface gradient method (SGM) is generalized to reconstruct water depths at cell interfaces involving a vertical step so that the fluxes at the cell interfaces can accurately be calculated with a Riemann solver. The scheme is verified by predicting a surge crossing a step, a tidal flow over a step and dam‐break flows on wet/dry beds. The results have shown good agreements compared with analytical solutions and available experimental data. The scheme is efficient, robust, and may be used for practical flow calculations. Copyright © 2002 John Wiley & Sons, Ltd.     

A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Black-hole horizon and metric singularity at the brane separating two sliding superfluids

An analogue of a black hole can be realized in the low-temperature laboratory. The horizon can be constructed for “relativistic” ripplons (surface waves) living on the brane. The brane is represented by the interface between two superfluid liquids, ³He-A and ³He-B, sliding along each other without friction. A similar experimental arrangement was recently used for the observation and investigation of the Kelvin-Helmholtz type of instability in superfluids [1]. The shear-flow instability in superfluids is characterized by two critical velocities. The lowest threshold measured in recent experiments [1] corresponds to the appearance of the ergoregion for ripplons. In the modified geometry, this will give rise to the black-hole event horizon in the effective metric experienced by ripplons. In the region behind the horizon, the brane vacuum is unstable due to interaction with the higher-dimensional world of bulk superfluids. The time of the development of instability can be made very long at low temperature. This will allow us to reach and investigate the second critical velocity—the proper Kelvin-Helmholtz instability threshold. The latter corresponds to the singularity inside the black hole, where the determinant of the effective metric becomes infinite.     

On the application of adaptive antennas to microcellularenvironments: radio channel characteristics and system performance

The possible application of adaptive antennas in microcellular operational environments is studied in this paper with the help of a site-specific ray-tracing propagation model. First are examined the statistics of propagation parameters that play an important role for the performance of adaptive antennas. Particular emphasis is put on the spatial characteristics of the radio channel under line-of-sight (LOS) and non-LOS conditions. For this reason, area statistics are produced for a typical small-cell environment for parameters such as the number of multipath clusters, number of rays, angular size, and excess delay of each impulse response, as well as the number of rays, angular size and power of the multipath clusters. Results show that contrary to the common belief for such environments, the signal is not "almost" uniformly distributed in the spatial domain, instead is contained in a few narrow clusters. Then the effect of the microcellular environment on the uplink performance of some well-known techniques like conventional beamforming, maximum entropy, switched beams, maximum ratio and optimum combining, and beam-space optimum combining is examined . The results show that for typical time-division multiple-access (TDMA) scenarios with one and two users, the beam space optimum combining (strongest eigenvalue version) and the switched beams methods, offer the best performance     

Iterative multiuser joint decoding: unified framework andasymptotic analysis

We present a framework for iterative multiuser joint decoding of code-division multiple-access (CDMA) signals, based on the factor-graph representation and on the sum-product algorithm. In this framework, known parallel and serial, hard and soft interference cancellation algorithms are derived in a unified way. The asymptotic performance of these algorithms in the limit of large code block length can be rigorously analyzed by using density evolution. We show that, for random spreading in the large-system limit, density evolution is considerably simplified. Moreover, by making a Gaussian approximation of the decoder soft output, we show that the behavior of iterative multiuser joint decoding is approximately characterized by the stable fixed points of a simple one-dimensional nonlinear dynamical system     

Subreflector shaping to improve multiple-beam performance of a Cassegrain antenna

A method of designing multiple-beam antennas based on shaping the subreflector of an offset Cassegrain antenna is described. It is applied to a compact system having a diameter of 300? that is required to produce beams up to 4-6°either side of boresight. The performance is shown to be only slightly less than that obtainable by also shaping the main reflector, indicating that efficient multiple-satellite-access antennas can be designed without specially shaped main reflectors.