We model a steam-boiler control system using hybrid automata. We provide two abstracted linear models of the nonlinear behavior of the boiler. For each model, we de ne and verify a controller that maintains the safe operation of the boiler. The less abstract model permits the design of a more e cient controller. We also demonstrate how the tool HyTech can be used to automatically synthesize con...

The present paper deals with the optimization of a multi-energy district boiler (La Rochelle, France) which supplies domestic hot water and heats residential and public buildings, using renewable and fossil resources. First, a combination of white, grey and black boxes was used to model the plant, thanks to a modular approach. Next, a stratified thermal storage tank was modelled and completed t...

In the study, combustion analysis is examined for solid fuels in Turkey. The principal aim of determined limits and obstacles design heat exchanger to avoid corrosion risk on surfaces latent recovery applications from waste flue gas. To do this, which regions the
 gas temperature reached sulphuric acid water vapour dew point temperatures are required predict. order predict condensing zone,...

This paper presents an approach to analyze events leading to pluggage of a boiler. The proposed approach involves statistics, data partitioning, parameter reduction, and data mining. Two independent data mining algorithms have been applied to detect both static and dynamic relationships among the process parameters. The multi-angle data mining approach increases the ability to locate rare event...

We describe Boiler, a new software tool for compressing and querying large collections of RNA-seq alignments. Boiler discards most per-read data, keeping only a genomic coverage vector plus a few empirical distributions summarizing the alignments. Since most per-read data is discarded, storage footprint is often much smaller than that achieved by other compression tools. Despite this, the most ...

We report our ten-year experience of hyperchlorination, thermal shock, chlorine dioxide, monochloramine, boilers and point-of-use filters for controlling legionella contamination in a hospital hot water distribution system. Shock disinfections were associated with a return to pre-treatment contamination levels within one or two months. We found that chlorine dioxide successfully maintained leve...

One of the most relevant European R&D&d initiatives focusing on Carbon Capture Utilization and Storage (CCUS) is the CIUDEN Carbon Capture and Storage Integral project, supported by the Spanish Government through the Foundation Ciudad de la Energia (CIUDEN). CIUDEN is a public institution created by the Spanish Administration in 2006 and fully conceived for collaborative research, development a...

To improve the currently available multi-segment lumped parameter models, a new dynamic mathematic model for single-phase heated tubes is established by employing equations instead of traditional static calculating heat transfer across control volume’s tube wall. Through separating temporal and spatial terms partial differential equations, combining both analytical methods, an solution temperat...