-
Kwara State Polytechnic, Ilorin Operation And Maintenance Of Steam Boiler
-
-
-
ABSTRACT
The steam boiler is to control specification problem, to illustrate how the evolving algebra approach to the specification and the verification of complex system can be exploited for a reliable and well documented development of executable but formally inspectable and systematically modifiable code. A hierarch of stepwise defined abstract machine model in developed, the ground version of which can be checked for whether it faithfully reflects the informally given problem. The sequence of machine model the yield various abstract views of the system, making the various design decisions transparent, and leads to CH programs. The Abstract machine are evolving algebras and thereby have a rigorous semantically foundation allowing us to formalize and prove, under precisely stated assumption, some typical sample properties of the system. This provides insight into the structure of the system which supports easily maintenance extensions and modifications of both the abstract specification and the implementation.
-
-
-
CHAPTER ONE - [ Total Page(s): 3 ]CHAPTER ONE1.0 INTRODUCTION A steam boiler is an enclosed vessel in which water is heated and circular, either as hot water steam, to produce a source to either heat or power. A central heating plant may have one or more boiler that use gas oil, or coal as fuel. The steam generated is used to heat building, provide hot water, and provide steam for cleaning, sterilizing, cooking and laundering operation. Small package boiler also provides steam and hot water for small building. A careful st ... Continue reading---
-
CHAPTER ONE - [ Total Page(s): 3 ]CHAPTER ONE1.0 INTRODUCTION A steam boiler is an enclosed vessel in which water is heated and circular, either as hot water steam, to produce a source to either heat or power. A central heating plant may have one or more boiler that use gas oil, or coal as fuel. The steam generated is used to heat building, provide hot water, and provide steam for cleaning, sterilizing, cooking and laundering operation. Small package boiler also provides steam and hot water for small building. A careful st ... Continue reading---
ABSRACT -- [Total Page(s) 1]
Page 1 of 1
ABSRACT -- [Total Page(s) 1]
Page 1 of 1