In this paper we report on a research project in which the user interface for a research nuclear reactor was specified using a combination of formal notations. The goal of the project was to evaluate the use of a combination of techniques and to assess their utility in specifying a user interface for a non-trivial safety-critical application. We conclude that the techniques worked well and scal...

The paper presents the results of simulating a beyond design basis accident with regard to radiolytic hydrogen transport and analysis explosion safety in reactor cavity central hall Bilibino NPP. KUPOL-M code, version 1.10a, is used as calculation tool for justifying safety. under investigation accident, initial event which spontaneous travel two pairs automatic control rods failure scram syste...

In this contribution we describe the modelling of the differential pressure behavior of isolation materials at a sieve by artificial neural networks (ANN). The subject arranges itself in the area of the reactor safety research. Compared with [3] the number of the inputs for the connection which can be modelled was increased. Thereby the number of necessary connections is reduced and the model q...

F OLLOWING THE APRIL 1986 explosion at the Chernobyl nuclear reactor, the Soviet government evacuated 135,000 people living in the immediate vicinity of the plant, mobilized workers to clean up the site and surrounding areas, and called on outside governments and organizations to render medical aid and help in the assessment of health effects related to radiation exposure. A series of contacts ...

A simplified approach to the model development and scale-up of a packed bubble column reactor from pilot semi-batch mode to continuous commercial operation has been presented. This is illustrated by choosing the reaction of ethynylation of formaldehyde to 1,4-butynediol for which correct reaction mechanism is difficult to postulate in the compelling safety limitations. The apparent reaction kin...

Controllers in safety critical systems such as nuclear power plants often use the Function Block Diagram (FBD) to design software embedded in the PLC (Programmable Logic Controller). Software engineers develop FBD programs manually, while engineering tools provided by PLC vendors translate them into ANSI-C programs mechanically. Every new PLC and its software engineering tool should demonstrate...

Damage to plasma-facing components (PFCs) and structural materials during abnormal plasma behavior such as hard disruptions, edge-localized modes (ELMs), and vertical displacement events (VDEs) is considered a serious life-limiting concern for these components. The PFCs in the International Thermonuclear Experimental Reactor (ITER), such as the divertor, limiter and parts of the first wall, wil...

The synthetic scope and utility of Pd-catalyzed aerobic oxidation reactions has advanced significantly over the past decade, and these reactions have potential to address important green-chemistry challenges in the pharmaceutical industry. This potential has been unrealized, however, because safety concerns and process constraints hinder large-scale applications of this chemistry. These limitat...

The rise in oil prices and the increased concern about environmental protection from CO2 emissions have promoted the attention to the use of nuclear power as a viable energy source for power generation. This review presents the recent advances in the field of nuclear power and addresses the aspects of nuclear economics, safety, nuclear reactor design and spent fuel processing and waste manageme...