Article history: Received October 15, 2011 Accepted 10 March 2012 Available online 12 March 2012 The recent development of world is being adversely affected by the scarcity of power and energy. To survive in the next generation, it is thus necessary to explore the non-conventional energy sources and efficiently consume the available sources. For efficient exploitation of the existing energy sou...

Background: Fatigue is a frequent symptom in Multiple Sclerosis (MS) that can interfere with the daily functioning of the patient. The present study aimed to determine the effect of the Benson relaxation technique on the fatigue severity of MS patients. Methods: This was a clinical trial study. A total of 60 MS patients with <5 degrees of disability were enrolled and randomly assigned into two...

Cement production is an energy-intensive process, so that the cement industry occupies a top position among other energy-consuming industries. Among the equipment used in cement industries, boilers are one of the energy-consuming equipment. Boilers are among the common heating equipment in industrial, commercial, and institutional facilities. In this paper, the performance of thermal oil bo...

SPIN is a tool for the simulation and veriication of protocols. PROMELA, its source language, is a formal description technique like SDL and Estelle that is based on communicating state machines. The tool and the language are in the public domain and therefore widely used. The "Steam-Boiler Control Speciication Problem" consists of an informal speciication of a steam boiler system in a nuclear ...