Operational systems deteriorate over time and eventually fail by the failure of one or more of their components. Failed components are either replaced or repaired, and replacement is usually expensive. This article examines the behavior of repairable systems with imperfect repair, where a failed component is repaired once or more depending on factors such as repair cost, level of deterioration,...

In a previous paper Low91] we presented two new models of timed CSP. The rst model included biased operators in the syntax, which could be used to model diierent priorities on actions. The second model extended this by adding a probabilistic choice operator to the syntax; this allowed us to give a semantics which modelled the probabilities of diierent behaviours occurring. In Low92b] we present...

This paper discusses the reliability equivalences of a parallelseries system. It is assumed that the system components are independent and identical. Each has a constant failure rate. We assumed three different method to improve the system. Both the reliability function and the mean time to failure are used to derive two types of reliability equivalence factors. We also obtain the fractiles of ...

Neuromorphic computing uses spiking neuron network models to solve machine learning problems in a more energy-efficient way when compared conventional artificial neural networks. However, mapping the various components neuromorphic hardware is not trivial realize desired model for an actual simulation. Moreover, neurons and synapses could be affected by noise due external interference or random...