We present a failure model for describing sequences of services that are provided and required, and services that may be blocked by software components. For any automata-based model introduced in our previous work, there is a corresponding failure model. We show that the failure model is expressive enough to describe non-blockable properties defined in the automata-based models. Plugging operat...

1 Consequence Relations A useful notion that cuts across both semantic (model-oriented) and syntactic (derivation-oriented) issues is the notion of a consequence relation. We will use capital Greek letters like Γ,∆ (Gamma and Delta) to refer to finite sets of formulas, and lower case Greek letters like φ, ψ (phi and psi) to refer to individual formulas. We will save ink by writing Γ,∆ for the s...

Burrow plugging is readily observed among mammals adapted for digging (i.e., fossorial mammals) as they create and maintain their burrows. We investigated the influence of light, burrow openings, and thermal environment as cues of pocket gopher (Thomomys mazama, Thomomys talpoides) behavior. When given free access to light and no light during artificial-burrow preference trials, both Thomomys s...

Recently a new and simple method to mitigate the transient instability of squirrel cage induction generators (IG) without using any additional equipment. The majority of the fixed speed wind turbines are equipped with squirrel cage IG and ac connected to the power system. During a fault in power system, voltage and rotor speed instability may occur, especially when the strength of the system co...

Component systems comprise components linked in various ways. We illustrate an approach to expressing and selecting appropriate semantics for components, using as a starting point UML class diagrams. Like most diagrammatic notations, UML does not have a fixed interpretation. We present a meta-modular framework for the combined use of UML and Z, based on two levels. At the meta-level, we express...

This paper is a report of the performance of a new design of anaerobic bioreactor called the induced-blanket reactor or IBR. The IBR appears to treat high-solids organic matter (manure) effectively in a relatively short time without plugging. A 28 m (7500 gal), heated IBR has been in operation at the Caine Dairy, Utah State University’s dairy farm, since summer 2000. The bioreactor, an upflow-s...

It is well known that the major cause of instability in industrial cement ball mills is the so-called plugging phenomenon. A novel neural network adaptive control scheme for cement milling circuits that is able to fully prevent the mill from plugging is presented. Estimates of the one-step-ahead errors in control signals are calculated through a neural predictive model and used for controller t...

In addition to life-threatening pneumonia, cytomegalovirus (CMV) may also cause subclinical pulmonary dysfunction after kidney transplantation. To investigate the role of plugging of cytomegalic endothelial cells in the pulmonary capillary bed, we prospectively determined specific carbon monoxide diffusion capacity (KCOc) and its components: the pulmonary diffusing membrane factor (Dm) and pulm...