Software systems are becoming increasingly more complex and testing it to a reliable system requires a great deal of effort. Stochastically testing promises a solution to this increased testing burden and gives the opportunity to analyze reliability, mean time to failure etc. Today there is hundreds of reliability models with more models developed every year. Still, there exist no models that c...

Abstract: The reliability analysis of load-sharing m-out-of-n systems where the workload is shared by the remaining working units when a unit fails is proposed in the paper. General expressions are provided for the m-out-of-n system reliability by arbitrary probability distributions of time to failure of units. Simplified methods are given for computing the survivor function in cases when the t...

This paper presents an asymptotic analysis of a stochastic manufaturing system consisting of parallel machines subject to breakdown and repair and facing a constant demand, as the rates of change of the machine states approach in nity. This situation gives rise to a limiting problem in which the stochastic machine availability is replaced by its equilibrium mean availability. The long-run avera...

The salinity budget in a 3-D numerical model of an estuary is analyzed using isohaline surfaces to define the volume of integration. Such surfaces move with the currents, and as a result of turbulent mixing. The isohaline analysis allows us to clarify the processes which create and destroy water in different salinity classes in the estuary. We find that the estuary naturally divides into three ...

Long-run average properties of probabilistic systems refer to the average behavior of the system, measured over a period of time whose length diverges to innnity. These properties include many relevant performance and reliability indices, such as system throughput, average response time, and mean time between failures. In this paper, we argue that current formal spec-iication methods cannot be ...

Reliability is an important concern for software dependability. Quantifying dependability in terms of reliability can be carried out by measuring the continuous delivery of a correct service or, equivalently, of the mean time to failure. The novel contribution of this paper is to provide a means to support reliability design following the principles of the Model Driven Architecture(MDA). By doi...

Studies of angular distributions and CP-violating observables in Bs → J/ψφ decays yield a space of parameters which can be considerably reduced if relative strong phases among different amplitudes are specified. We show that the relations between Bs → J/ψφ and B → J/ψK amplitudes given by flavor symmetry [actually U(3) rather than SU(3)] are likely to be quite reliable, and hence the use of str...

This article shows the use of lexical functions in the MorDebe lexical database system. Lexical functions are used in MorDebe to bridge the gap between derivation and inflection – to model relations between word-forms that are derivational from one perspective but inflectional from another. However, lexical functions in MorDebe range over lemmas rather than word-meanings and are hence significa...

Plasma concentrations of 170H-progesterone were determined in 60 normal newborn infants aged between 3 and 36 hours. Mean levels decreased rapidly during this time after removal of the placental contribution of this steroid. A further 70 normal infants, studied between ages 2 and 7 days, showed a mean plasma 170H-progesterone concentration of 3.5 nmol/l (1.2 ng/ml). By comparison, plasma concen...

A survey of 65 freestall-housed dairy herds in five different countries, with an average of 1023 milking cows, found that footbaths were used 1-4 times per day for 1-7 days per week, with between 80 and 3000 cows passing through the bath between chemical changes. The most common agents used were copper sulfate (41/65) and formalin (22/65). Twenty-seven herds (42%) used more than one chemical. T...