SPIN is a tool for the simulation and veri cation 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 "SteamBoiler Control Speci cation Problem" consists of an informal speci cation of a steam boiler system in a nuclear p...

This paper discusses optimal control strategies for switching between different burner modes in a novel compact marine boiler design. The ideal behaviour is defined in a performance index the minimisation of which defines an ideal trade-off between deviations in boiler pressure and water level from their respective setpoints and the cost of burner switches and variation of continuous input flow...

This paper presents a gain-scheduled approach for boiler-turbine controller design. The objective of this controller design is to achieve tracking performance in the power output and drum pressure while regulating water level deviation. Also, the controller needs to take into account the magnitude and rate saturation constraints on actuators. The nonlinear boiler-turbine dynamics is brought int...

In boiler houses, the biggest heat energy losses are caused by flue gas being released into atmosphere. Installation of condensing exchangers allows reducing temperature released, condensation water vapor, and, thus, efficient use waste heat. There many investigations average transfer in different types exchangers. They indicate also that cooling flow rate and its important parameters defining ...

Because the boiler is developed to the trend of large size, high temperature and high pressure, so the requirement of water quality for the boiler makeup water is higher and higher, and that needs to almost get rid of all salts in the water. So anion-cation exchange technology has been developed quickly. For example, use the H cation exchanger to exchange various cations in the water and give o...

This paper is to seek effective scheme of boiler efficiency optimization, it uses Artificial Bee Colony (ABC) algorithm to optimize boiler efficiency based on the model of boiler combustion efficiency. First, an optimization model of boiler efficiency, which takes boiler efficiency function as optimization objective, is set up according to the heat loss of boiler combustion. Moreover, the opera...