Wyniki wyszukiwania - BazTech

1

Hardware-Software Implementation of Basic Principles Simulator of Nuclear Reactor Processes

Karla T., Tarnawski J., Duzinkiewicz K.

Acta Energetica

|

2016

|

nr 2

107--112

EN

The paper presents implementation process of basic principle simulators of a nuclear reactor processes. Simulators are based on point-models of processes: kinetics of neutrons, heat generation and exchange, poisoning and burning-up nuclear fuel. Reference simulator was developed in MATLAB/Simulink without taking into account real-time operation. Second simulator was built using the toolbox xPC with hard real-time requirements. Functional decomposition of a nuclear reactor was performed and processes with different time scales were isolated. Simulation of each separated process in Raspberry PI computer with coordination mechanism among them led to a distributed soft real-time simulator. Idea of web-based simulator is also presented. The engine of the web-based simulator can be implemented on the server while the presentation of the state of the simulator and the prescription of parameters can be performed using a web browser. This allows simultaneous access to the simulator using different devices, including mobile as tablets, laptops and mobile phones. Compliance tests of simulators with reference simulator were conducted and the results proved the correctness of implementation. A review of the properties and potential applications of the various versions of developed simulators is presented.

PL

W artykule przedstawiono możliwości i proces budowy symulatorów podstawowych zasad działania procesów reaktora jądrowego. Proces budowy i badania oparte są na modelach punktowych: kinetyki neutronów, procesów generacji i wymiany ciepła oraz procesów zatruwania i wypalania paliwa. Badano możliwości realizacji symulatorów, wykorzystując różne środowiska programowe i platformy sprzętowe. Referencyjny symulator został opracowany w środowisku MATLAB/Simulink bez uwzględnienia wymagań pracy w czasie rzeczywistym. Na jego podstawie zbudowano w środowisku xPC drugi symulator procesów reaktora, pracujący w czasie rzeczywistym przy spełnieniu twardych wymagań czasowych. Następnie dokonano dekompozycji funkcjonalnej reaktora jądrowego i wydzielono procesy o różnych skalach czasowych, a ich symulacje zostały wraz z mechanizmem synchronizacji zaimplementowane w kilku jednostkach Raspberry PI, uzyskując rozproszoną wersję symulatora. Przeprowadzono weryfikację poprawności działania symulatorów oraz opracowano interfejsy użytkownika i instrukcje obsługi. W artykule jest również rozpatrywany sieciowy symulator obsługiwany z poziomu przeglądarki internetowej. Dokonano porównania funkcjonalności, ograniczeń i potencjalnych zastosowań poszczególnych symulatorów.

2

Realizacje sprzętowo-programowe symulatorówpodstawowych zasad przebiegu procesów reaktora jądrowego

Karla T., Tarnawski J., Duzinkiewicz K.

Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej

|

2015

|

Nr 42

125--128

PL

Przedstawiono możliwości i proces budowy symulatorów podstawowych zasad działania procesów reaktora jądrowego w oparciu o modele punktowe: kinetyki neutronów, procesów generacji i wymiany ciepła oraz procesów zatruwania i wypalania paliwa. Referencyjny symulator został opracowany w środowisku MATLAB/Simulink. Na jego podstawie zbudowano w środowisku xPC drugi symulator pracujący w czasie rzeczywistym. Po dekompozycji funkcjonalnej reaktora jądrowego wydzielono procesy o różnych skalach czasowych i zaimplementowano wraz z mechanizmem synchronizacji w jednostkach Raspberry PI uzyskując rozproszoną wersję symulatora. W artykule rozpatrywany jest również sieciowy symulator obsługiwany z poziomu przeglądarki internetowej. Przeprowadzono weryfikację poprawności działania symulatorów. Dokonano porównania funkcjonalności i możliwych zastosowań symulatorów.

EN

The paper presents implementation process of basic principle simulators of a nuclear reactor processes. Simulators are based on point-models of processes: kinetics of neutrons, heat generation and exchange, poisoning and burning-up nuclear fuel. Reference simulator was developed in MATLAB / Simulink without taking into account real-time operation. Second simulator was built using the toolbox xPC with hard real-time requirements. Functional decomposition of a nuclear reactor was performed and processes with different time scales were isolated. Simulation of each separated process in Raspberry PI computer with coordination mechanism among them led to a distributed soft real-time simulator. Idea of web-based simulator is also presented. The engine of the web-based simulator can be implemented on the server while the presentation of the state of the simulator and the prescription of parameters can be performed using a web browser. This allows simultaneous access to the simulator using different devices, including mobile as tablets, laptops and mobile phones. Compliance tests of simulators with reference simulator were conducted and the results proved the correctness of implementation. A review of the properties and potential applications of the various versions of developed simulators is presented.

3

Programowe testy spełnienia wymagań czasu rzeczywistego na sterowniku PLC z wykorzystaniem języka LD

Oprzędkiewicz K.

Pomiary Automatyka Robotyka

|

2011

|

R. 15, nr 3

71-75

PL

W pracy zaprezentowano nową metodę pomiaru uwarunkowań czasowych podczas pracy sterownika PLC, wykorzystującą język drabinkowy. Konstruując algorytm pomiarowy zastosowano reguły interpretacji języka LD. Do pomiarów czasu wykorzystano standardowe timery. Badania doświadczalne przeprowadzono na sterowniku GE FANUC VersMax Micro. Wyniki testów potwierdziły poprawność proponowanej metody.

EN

In a paper a new, LD-based method of real-time requirements meeting at PLC is presented. During algorithm construction basic interpretation rules for LD language are applied. To time tests standard timers were applied. Experimental tests were run with the use of GE FANUC VersMax Micro. The results of tests confirmed the corectness of proposed method.

4

Truth of duration calculus formulae in timed frames

Middelburg K.A.

Fundamenta Informaticae

|

1998

|

Vol. 36, nr 2,3

235-263

EN

Duration calculus is a logical formalism designed for expressing and refining real-time requirements for systems. Timed frames are essentially transition systems meant for modeling the time-dependent behaviour of programs. We investigate the interpretation of duration calculus formulae in timed frames. We elaborate this topic from different angles and show that they agree with each other. The resulting interpretation is expected to make it generally easier to establish semantic links between duration calculus and formalisms aimed at programming. Such semantic links are prerequisites for a solid underpinning of approaches to system development that cover requirement capture through coding using both duration calculus and some formalism(s) at programming.