These lines from the Dhammapada(Babbitt, 1936) reflect the basic dichotomy in Abhidhamma, the classical Buddhist psychology, between pure (wholesome' or healthy) and impure ('unwholesome' or unhealthy) properties. In this system the factors which compose one's mental states from moment to moment determine one's mental health." The list of healthy factors represents a transpersonal model for men...

Background: Under severe operating conditions, such as lubricant contamination, elevated temperatures and high unit loads, the hydrodynamic (HD) lubrication condition in a HD bearing may degrade and be reduced to mixed and boundary lubrication conditions, which traditional pad bearing materials (Babbitt metal) are not able to sustain. For example, Electrical Submersible Pump (ESP) systems are r...

We present a case study where we use automated formal analysis to reason about problem-frame concerns. The descriptions of the problem domains, machine and requirements are written in the Alloy language. We show that an evaluation of results and counterexamples provided by a model finder can reveal useful information that can help remove inconsistencies as well as composition errors.