In this study, the isothermal reduction of iron oxide pellets, made of Iranian Chadormalo, Gole-gohar, and Sangan iron ores, was investigated in the temperature range of 900-1100°C. Tabas, Pabdana, Babnizoo, Karmozd, and Shahrood domestic coals were used as reductants. Parametric studies were performed and the effects of such factors as temperature, average particle size of iron ore and coal fi...

Partial-order reduction is a well-known technique to cope with the state-space-explosion problem in the verification of concurrent systems. Using the hierarchical structure of concurrent systems, we present an enhancement of the partial-order-reduction scheme of [12, 19]. A prototype of the new algorithm has been implemented on top of the verification tool SPIN. The first experimental results a...