The B method, developed by Abrial1, is a formal method for the development of provably correct computer systems. In the B method, a system is specified as an abstract machine consisting of some state and some operations acting on that state. This is essentially the same structure as an action system2 which describes the behaviour of a parallel reactive system in terms of the atomic actions (i.e...

In order to facilitate the development of intelligent resource managers of computer clusters, we investigate the utility of the state-of-the-art neural networks for the purpose of finegrained long-range prediction of the resource usage in one such cluster. We consider a large data set of real-life traces and describe in detail our workflow, starting from making the data accessible for learning ...

Manganese ferrite nanoparticles were produced by applying the combustion technique using the manganese acetate and ferric nitrate as the starting material. Analytical techniques like FESEM and TEM were utilized to characterize the synthesized materials. The typical size was observed in the range of 12 to 14 nm with a cubic structure. The synthesized material was used as an electrochemical senso...

magnetic nanoparticles attracted a great deal of attention in the medical applications due to their unique properties. the most exceptional property of magnetic particles is their response to a magnetic force, and this property has been utilized in applications such as drug targeting, bioseparation, contrast agents in magnetic resonance imaging (mri) and heating mediators for cancer therapy. in...

Orifice flow meter is one of the most common devices in industry which is used for measuring the gas flow. This system includes an orifice plate, temperature and pressure transmitters, and a flow computer. The flow computer is used for collecting information related to temperature, pressure, and their differences under various conditions. Also the flow computer can calculate the flow rate of ga...

In this paper, topology optimization is utilized for damage detection in three dimensional elasticity problems. In addition, two mode expansion techniques are used to derive unknown modal data from measured data identified by installed sensors. Damages in the model are assumed as reduction of mass and stiffness in the discretized finite elements. The Solid Isotropic Material with Penalization (...