Press the left button, drag the mouse, rotate the cube, see more information

Limit Discounts

Through this webpage, choose online customer service communication, or message board. Leave your needs and get limited time discounts, up to 10% off, saving you a fortune. This discount has an indefinite period, and places are limited on a first-come, first-served basis.

Payment Method

We support various payment methods:
T/T payment
Alipay etc
Save time in your buying process.

Certified Product

The company's products have passed multiple national
for example:
United States: ASME
Eastern Europe: EAC
Russia: GOST
Singapore: MOMO
Buy products, buy with confidence, use with confidence

Product Type

Domestic hot water and heating series: gas hot water boiler, vacuum hot water boiler, vertical atmospheric pressure hot water boiler, electric hot water boiler Factory use, high temperature steam: wns fuel gas steam boiler, szs water tube steam boiler, vertical steam boiler, electric steam boiler

About Us

FANGKUAI is founded in 1998, which is a clean fuel boiler enterprise integrating R&D, manufacturing, sales and service. In the past 20 years of development and innovation, the company has grown into a global enterprise, and its products have been exported to more than 80 countries including Russia, Mongolia and Thailand, and have established long-lasting cooperative relations with local enterprises!

Contact Us

If you are interested in our company or products, you can contact with us through online consulting, demand table submission, e-mails and telephones. Our staff shall wholeheartedly provide product information, application knowledge and good service for you.

Steam boiler control specification problem A TLA solution

  • Offshore price : $20000-$100000 Get a quote on the right form
  • Minimum order quantity : 1 set :Steam boiler control specification problem A TLA solution
  • Supply Capacity : 10 units/month :Steam boiler control specification problem A TLA solution
  • Manufacturer/Brand : Fangkuai boiler
  • Port : Anyang
  • payment terms : Letter of Credit, Wire Transfer, VISA

Leave Your Message And Get Price!

I need the quotation of , the fuel is , this capacity is , use for . My Name is , my Email is , my WhatsApp is , Please Send the detail information for me!

Popular products


θrion Gas Fired Steam Boiler


Rated thermal efficiency: 100-104%

Fixed working pressure: ≤1.6MPa

Applicable fuel:natural gas etc.


Gas(oil) Fired Integrated Hot Water Boiler


Rated thermal efficiency:96-98%

Fixed working pressure:≤1.25MPa

Applicable fuel:Natural gas, light oil, etc.


H6 Gas Fired Hot Water Boiler


Rated thermal efficiency: 97.2-106%

Fixed working pressure:0.1MPa

Applicable fuel:Natural gas, etc.


T7 Vacuum Hot Water Boilerr


Rated thermal efficiency:≥105.5%

Fixed working pressure:-0.02MPa

Applicable fuel:Natural gas, etc.


V6 Gas Fired Hot Water Boiler


Rated thermal efficiency:97.2-104.4%

Fixed working pressure:1.0MPa

Applicable fuel:Natural gas, etc.


Electric Steam Boiler

Capacity:0.5-4.0 t/h

Rated thermal efficiency:98%

Fixed working pressure:≤1.25MPa

Applicable fuel:electric energy


Leave us a message

We will send out plans and quotations within five minutes

Name (optional)



Choose product type



Get display discount

Contact us

Global Sales Hotline:

Email: [email protected]

  • Water-tube Package and Industrial Boilers - Babcock & Wilcox

    Through an agreement with John Zink Hamworthy Combustion (JZHC), B&W offers a comprehensive steam generation solution that pairs JZHC's Coen® burners with B&W's water-tube package boilers for refining, petrochemical, pulp and paper, mining, manufacturing, utilities and other industries. Working together, the two companies offer streamlined.Get Price

  • Comment - Engineering solutions for heating, cooling

    which was completed as per specification. Since then, they have been a regular customer of Thermax for their air pollution control requirements. The scope of the project comprised detailed engineering, design, supply, erection and commissioning for the plant including boiler, steam turbine generator, air cooled condenser, fuel handlingGet Price

  • Solutions to the steam boiler case study

    Steam boiler control specification problem: A TLA solution. Li XiaoShan (UNU/IIST, Macau), Wang JuAn (University of Macau). Specifying Optimal Design of a Steam-boiler System. Peter Csaba Ölveczky (University of Bergen, Norway), Piotr Kosiuczenko (Politechnika Warszawska, Poland and LMU Munich,Get Price

  • High-Pressure Steam Cycle and Boiler Water Treatment

    ULTRAMARINESM HP BWT Program • Drew Marine pioneered the "modified phosphate-pH treatment" – Utilizes disodium orthophosphate and caustic so that no "free caustic" is generated in the boiler water – Sodium to phosphate ratio is approximately 2.75:1 and provides margin of safety for good control of the program – Went into effect in the marine industry in the 1960's …Get Price

  • Engineering solutions for heating, boilers, cooling, water

    thermax is leading energy and environment solutions company in india. providing heating, cooling, water and waste management, chemicals and also design large boilers for steam and power generation,wastewater treatment plants and air pollution control systems.Get Price

  • An Introduction to Treatment of Steam Boiler Water

    an introduction to treatment of steam boiler water j. paul guyer, p.e., r.a. contents 1. steam boiler systems 2. boiler water treatment and control 3. developing a steam boiler system water treatment program 4. chemical requirements for boiler start-up 5. chemical requirements for boiler layup 6. commonly asked questions and answers onGet Price

  • Reasons why steam boiler water level too high and solutions

    Jul 22, 2015 · Reasons: The steam boiler's water line is surging. Dirty water, a too-high pH, overfiring and improper near-boiler piping can all cause the steam boiler's water line to surge up and down. If there's an automatic water feeder on the boiler, it will open and close each time the water line rocks. Before long, you'll have…Get Price

  • Steam Boiler Control Specification Problem: - CORE

    Steam Boiler Control Specification Problem: By Tla Solution Frank, Frank Le Ke and Stephan Merz. Abstract. Our solution to the specification problem in the specification language TLA+ is based on a model of operation where several components proceed synchronously. Our first specification concerns a simplified controller and abstracts from many Get Price

  • Frank LESSKE | Dr. rer. nat. | Hochschule Weihenstephan

    To this end we propose a constructive specification method. We present axiom schemes to get generally monomorphic and complete models. Steam Boiler Control Specification Problem: A …Get Price

  • An introduction to steam generation and distribution

    A short history of boiler designs Shell and tube-saturated steam boilers of the current packaged form have been manufactured since before the second world war, and their lineage may be traced directly back to the Cornish boilers of the early nineteenth century, invented by the British inventor and mining engineer Richard Trevithick (1771–1833).Get Price

  • Boiler Water - Problems & Solutions

    Maintain clean internal boiler surfaces. Avoid problems and shutdowns. Monitor and control treatment levels. By definition, the following terms are summarized for the boiler water systems: 1) Makeup Water - The raw water, softened water, or …Get Price

  • Publications

    Chapter Refining Abstract State Machine Specifications of the Steam Boiler Control to Well Documented Executable Code Springer-Verlag, 1996, Vol. LNCS 1165, pp. 52-78. Bella, G. & Riccobene, E. Le Algebre Evolventi per la validazione di hardware. Atti Congresso AICA '96 SIPI, 1996, pp. 273-293Get Price


    750-94 (revised 2009) Model CB, CB-LE Packaged Boiler Manual i Model CB, CB-LE Packaged Boiler 750-94 Table of Contents CHAPTER 1 Basics of Firetube Operation 1-1 1.1 — Introduction 1-1 1.2 — The Boiler 1-4 1.3 — Construction 1-5 1.4 — Steam Controls (All Fuels) 1-6 1.4.1 — Operating Limit Pressure Control 1-6 1.4.2 — High Limit Pressure Control 1-7 1.4.3 — …Get Price

  • CHAPTER 4 Steam power plants - WIT Press

    Reliability: Steam turbine life is extremely long. There are steam turbines that have been in service for over 50 years. Overhaul intervals are measured in years. When properly operated and maintained (including proper control of boiler water chemistry), steam turbines are extremely reliable. They requireGet Price

  • Reasons why steam boilers flood, and where to look for

    Jun 24, 2014 · A pH of 11 or higher will make the boiler water foam. Foaming water will leave the boiler with the steam, and that will lower the boiler's water line. The automatic water feeder will respond by adding water to the boiler. When the condensate returns from the system, the boiler will flood. Correct the pH with chemicals.Get Price

  • Steam power plant configuration, design, and control

    The boiler-turbine unit control schemes have gone through several decades of evolution and, typ-ically, a cascade of PI/PID controllers based on single-input single-output control loops is designed in the plant to fulfill such tasks.6,7 The remain-der of this section will focus mainly on the con-ventional boiler-turbine coordinated control systemGet Price


    May 02, 2000 · This is a brief discussion on low-pressure steam boiler chemistry. It provides dry kiln boiler operators the tools to maintain an efficient and effective boiler chemistry program. The main goal of this discussion is to provide these tools to operators so that they will be able to detect and prevent problems with their boilers and kilns preferablyGet Price

  • Inferred pH in Steam Plant Water Chemistry Monitoring

    some extent in the boiler, although much of it volatilizes with the steam and reappears in the condensate. In a once-through steam generator, all of the ammonia passes into the steam. Ammonia is not the only volatile water treatment chemical used for corrosion control. Morpholine, which is an organic amine, is sometimes used in place of ammonia.Get Price

  • dblp: Stephan Merz - Uni Trier

    Animating TLA Specifications. LPAR 1999: 92-110. 1997 [c11] view. Steam Boiler Control Specification Problem: A TLA Solution. Formal Methods for Industrial Applications 1995: 339-358 [c7] A TLA Solution to the RPC-Memory Specification Problem. Formal Systems Specification 1994: 21-66 [c3]Get Price

  • Steam Headers and Off Takes - Spirax Sarco

    Poor control of boiler water TDS, or contamination of boiler feedwater, will result in wet steam being discharged from the boiler. A number of problems are associated with this: Water droplets in steam pipes will tend to erode the inside of the pipe, and any other fittings,and valves, especially if velocities are high.Get Price


    BOILER WATER TREATMENT INTRODUCTION A boiler is a closed vessel in which water under pressure is transformed into steam by the application of heat. In the boiler furnace, the chemical energy in the fuel is converted into heat, and it is the function of the boiler to transfer this heat to the contained water in the most efficient manner.Get Price

  • Mitsubishi Power | Electrostatic Precipitators (ESP)

    Wet ESP: ≤ 1mg/m 3 N. Wide Application Range. ⋅ Moving Electrode Type ESP. ⋅ Pulse Energization. High Reliability. Electrostatic precipitators (ESP) collect dust in the flue gas produced by boiler, etc. Mitsubishi Power contributes to air pollution control at thermal power plants, steel plants, and various industrial plants. Delivery Get Price

  • Steam boiler control specification problem: A TLA solution

    Finally, we discuss the implementability of our specification. 1 Introduction We propose a solution to the steam boiler control specification problem [AS] by means of a formal specification in the specification language TLA+, which is based on Lamport's Temporal Logic of Actions TLA [L94]. The overall str..Get Price

  • CFB Boilers | The UK's Commercial Boiler Company

    Quality engineered steam and hot water boiler solutions. CFB Boilers is a 125 year old steam boiler company that offers a complete range of specialist steam products and services from steam, electric, hot-water boilers and ancillaries to fully customised plant room design and installation. We also offer service, maintenance and 24/7 repairs.Get Price

  • Steam Boiler | Hot Water Boiler| Industrial Steam Boilers

    Jul 29, 2021 · Steam Boiler, Model: Coalmaster (for African market only) The Coalmaster boiler range has been re-engineered to meet the needs of customers in Southern Africa. Matched with the latest in stoker and plc controls technology, the Coalmaster delivers a cost-effective, robust and flexible solution.Get Price

  • Steam boiler control specification problem: A TLA …

    Finally, we discuss the implementability of our specification. 1 Introduction We propose a solution to the steam boiler control specification problem [AS] by means of a formal specification in the specification language TLA+, which is based on Lamport's Temporal Logic of Actions TLA [L94]. The overall str KeyphrasesGet Price

  • Boiler Rental - Powerhouse Boiler Equipment

    Proper Boiler Feed Water Temperature Management Prior to it entering the boiler, the plant manager can control both the boiler feed water temperature as well as its quality. This involves introducing treatment and heating that will provide optimal conditions for a …Get Price

  • Proving safety properties of the Steam Boiler Controller

    Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, LNCS 1165, Add To MetaCart. Tools. Sorted by: Results 1 - 10 of 10. TAME: Using PVS strategies for special-purpose theorem proving by Myla Archer - Annals of Get Price

  • Steam boiler control specification problem: A TLA solution

    Jun 18, 2005 · Abstract. Our solution to the specification problem in the specification language TLA+ is based on a model of operation where several components proceed synchronously. Our first specification concerns a simplified controller and abstracts from many details given in the informal problem description. We successively add modules to build a model of the state of …Get Price

  • Steam Boiler Control Specification Problem: A TLA Solution

    Home Browse by Title Proceedings Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Steam Boiler Control Specification Problem: A TLA SolutionGet Price

7X24 Online