A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Automatically verifying an object-oriented specification of the Steam-Boiler system
2003
Science of Computer Programming
Preserved Fulltext
To illustrate the concept we develop and verify an object-oriented speciÿcation of a well-known case study-the Steam-Boiler Control System. ...
This paper presents an experiment of a technique for the automated veriÿcation of a subset of the object-oriented language OBject LOGic (OBLOG). ...
Related work There have been other attempts to verify the Steam-Boiler System by model-checking but none of them, to the best of our knowledge, used a high-level object-oriented language. ...
doi:10.1016/s0167-6423(02)00092-8
fatcat:bczna6vx5jhs3emdlyxudhnfzi
Real-time System Modeling and Verification through Labelled Transition System Analyser
2019
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
In this paper, we demonstrate the abilities of LTSA shipped with the classic case study of the steam boiler system. ...
The structure diagram of LTSA can specify the interactions between the controller and the steam boiler, which can be derived from UML requirements model such as system sequence diagram of the steam boiler ...
LOTOS [25] presents a technique for the automated verification of an object-oriented language OBject LOGic (OBLOG) through the steam boiler case study. ...
doi:10.1109/access.2019.2899761
fatcat:f77fqrf3hndepkzaoxbnh4uexm
Applications of Structural Synthesis of Programs
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The structural synthesis of programs has been implemented in an object-oriented programming environment NUT and used for development of simulation software, engineering calculations software, implementing ...
This is an experience report on the automatic and hidden usage of program synthesis in several application domains. ...
m, z → D D, m → z D, z → m
Implementing Steam Boiler Control System In [1] an informal, but quite precise requirements specification of a boiler control system was presented as a benchmark for application ...
doi:10.1007/3-540-48119-2_31
fatcat:lf42omv6q5fh7kmlstcyoh2zki
FAULT DETECTION OF CONSTRAINED OBJECT MODELS USING OBJECT MODELING TECHNIQUES
2018
Indian Journal of Computer Science and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper proposes a new efficient methodology for fault detection from the structural modeling of a complex system using the UML class diagram. ...
The crisp and precise constraints on the attributes and relationships are represented using the formal specification language, Object Constraint Language (OCL). ...
This may reduce maintenance effort. e-ISSN : 0976-5166 p-ISSN : 2231-3850
Constraint Specifications A constraint is a restriction on one or more values of an object oriented system. ...
doi:10.21817/indjcse/2018/v9i4/180904016
fatcat:fbttbp5f4jbjjj3cmuiwb3wmv4
TRIO specification of a steam boiler controller
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We specify a controller for a steam boiler starting from an informal descriptions of its requirements. ...
The description of the steam boiler at a more detailed level is obviously ...
The environment includes the definition of TRIO+, an object oriented extension of the language that effectively supports the modularization and the reuse of specifications of highly complex systems. ...
doi:10.1007/bfb0027239
fatcat:k22d4w5eefbrtgllvvsd4qcrdm
Specification and Verification of a Steam-Boiler with Signal-Coq
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
We investigate the use of a synchronous programming language, Signal, and of a proof assistant, Coq, for the speci cation and the veri cation of co-inductive properties of the well-known steam-boiler problem ...
Over the last decade, the increasing demand for the validation of safety critical systems has led to the development of domain-speci c programming languages (e.g. synchronous languages) and automatic veri ...
Behaviour of the Steam-Boiler The program has to control the level of water in the steam-boiler. This quantity should not be too low or too high. Otherwise, the system might be a ected. ...
doi:10.1007/3-540-44659-1_22
fatcat:eb3gajnm6rd3rifpgtndqh45re
Declarative reflection tools for agent shells
1996
Future generations computer systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
The keywords are planning and inference, i.e. a declarative (nonprocedural) description of self must exist and be used for making inferences about the future activities of the reflective system and about ...
The NUT system is used as a platform for intelligent agents with reflection. NUT processes running in a network are agent shells filled with knowledge in the form of NUT packages. ...
A boiler control example One application of reflection is in control of safety-critical systems. An example is a control system of a steam boiler [1] . ...
doi:10.1016/0167-739x(96)88793-0
fatcat:d7yfixm3rbebbe5srjzbe4hhqi
Compositional Specification of Controllers for Batch Process Operations
[chapter]
1998
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
It extends previous work by providing a non-trivial specification for the top-level polling loop of a control system, and defining composition techniques for controllers. ...
Common features of these operations enable us to provide a generic method for the formalisation of controllers for a large class of such systems, using B and procedural controller synthesis. ...
That is, where the components of the system are fixed in their relationships with each other. The steam boiler and pasteurisation plants are examples of such systems. ...
doi:10.1007/978-3-540-49676-2_18
fatcat:lffeeoivj5bjxfpd7fldwv4aua
Investigation of repeated economiser tube failures of a 135 tph cold cyclone CFB boiler – a case study
2021
Indian journal of power and river valley development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
This paper presents details of the process of inspection, maintenance, operation and failure investigation carried out for the economiser tubes of the boiler. ...
Advance inspection and failure analysis, change in operational practices were used to get the boiler running at full load at the earliest possible time. ...
The main component of a modern water tube boiler consists of tubes and pipes of various specifications and orientations to suit the design requirements contingent upon the flow and heat transfer characteristics ...
doi:10.18311/ijprvd/2021/28066
fatcat:vxxh2rgi5nbhhah6vosanj4eya
Fossil Fuel Power Plant Simulators for Operator Training
[chapter]
2012
Fossil Fuel and the Environment
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In the Object-Oriented Programming, an object is the mathematical model of a power plant component and the integration of these objects reflects the physical plant layout. ...
a way of verifying if the simulator meets with its specification and scope. ...
The research and vision defines much of the range of our scientific knowledge on the subject and is a driving force for the future. ...
doi:10.5772/36229
fatcat:ljkxgx2vrnbrtifjd6472ovfki
Integration of different models in the design of chemical processes: Application to the design of a power plant
2014
Applied Energy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The capabilities of the proposed approach are discussed with a case study: the design of a utility system power plant that has been decomposed into its constitutive elements, each treated differently numerically ...
With advances in the synthesis and design of chemical processes there is an increasing need for more complex mathematical models with which to screen the alternatives that constitute accurate and reliable ...
The authors wish to acknowledge support from the Spanish Ministry of Science and Innovation (CTQ2012-37039-C02-02). ...
doi:10.1016/j.apenergy.2014.03.018
fatcat:ylzt4cc4u5cz7n6xitn3nt2yg4
Eco-Investments - Life Cycle Assessment of Different Scenarios of Biomass Combustion
2018
Ecological Chemistry and Engineering S-Chemia I Inzynieria Ekologiczna S
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
One of its recent investments is a biomass fired steam boiler that uses agricultural and woody biomass to produce energy. Previously, biomass was sold to power plant and co-fired with coal. ...
The company is one of the leaders of using the environmental criteria in its strategic decision-making. Its goal is to avoid any waste and to form its own circular business system. ...
Due to technical specification of steam boiler, the fuel mix for scenario 2 needs to be composed of woody and agricultural biomass. ...
doi:10.1515/eces-2018-0021
fatcat:gbi4gwiitrcelcxbiq2gd4tmv4
An Educational Simulation Tool for Power System Control and Stability
2004
IEEE Transactions on Power Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
After a brief description of the corresponding curricula, the paper describes the simulation tool and gives examples of problems and assignments given to the students. ...
This paper presents a Simulink-based educational tool developed for the purpose of illustrating power system control and stability notions as well as introducing students to realistic, though tractable ...
Note that the steam flow rate response is quite fast and the boiler pressure is disturbed only slightly, signifying an acceptable design.
E. ...
doi:10.1109/tpwrs.2003.821016
fatcat:ydqspbwezbcjlin4ezycu2qxni
Development of a Software System for Selecting Steam Power Plant to Convert Municipal Solid Waste to Energy
2021
Sustainability
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The capacities of the steam power plant components that were predicted include 100.35 MW of boiler power, 40.54 MW of turbine power, and 59.80 MW of condenser power. ...
An algorithm based on models used to determine the energy potential, the power potential of MSW, the capacities of the components of the steam power plant, were translated into computer soft code using ...
Conflicts of Interest: The authors declare no conflict of interest of any kind. ...
doi:10.3390/su132111665
fatcat:gvvgmkzrdrdutjwcvcipbq7dvu
An enhanced flow analysis technique for detecting unreachability faults in concurrent systems
2012
Information Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present a flow analysis technique for detecting unreachable states and actions in concurrent systems. It is an enhancement of the approach by Cheung and Kramer. ...
The algorithm is easy to manage and its complexity is still polynomial to the system size. Case studies on two commonly used communication protocols show that the technique is effective. ...
Acknowledgments We are grateful to Shing-Chi Cheung of the Hong Kong University of Science and Technology, Robert G. ...
doi:10.1016/j.ins.2011.11.034
fatcat:vnmh3yvshrfc5ldajpdll3nlqe
« Previous
Showing results 1 — 15 out of 1,036 results