scholarly journals Novel Model-Based approach for instrumentation and control of nuclear reactors

2021 ◽  
Vol 253 ◽  
pp. 05003
Author(s):  
Bassem Ouni ◽  
Christophe Aussagues ◽  
Saadia Dhouib ◽  
Chokri Mraidha

Technological platforms dedicated for digital instrumentation and control of nuclear reactors are quite complex in terms of functionalities and devices. Hence, the design of these platforms requires high-level abstraction layers able to reduce the complexity, to rise the automation and to check the consistency between different development stages. The development of such systems is a challenging task that requires modeling of various components at different levels of abstraction and viewpoints, notably functional, hardware and software levels. In this paper, a new system engineering methodology is proposed to provide high-level models of different components and inter/intra-communication between them. These models are used for system specification, architecture design, performance evaluation or verification and validation. This approach focuses on the internal behavior of different components at different levels of abstraction in order to enable the interoperability of these components and to enhance cooperation between different stakeholders of the development process. An experimental setup has been carried out to validate this approach by customizing an open source model based engineering tool, Eclipse Papyrus, towards a significant reduction of system development cost in terms of engineering resources and equipment devices.

Sensors ◽  
2021 ◽  
Vol 21 (15) ◽  
pp. 5136
Author(s):  
Bassem Ouni ◽  
Christophe Aussagues ◽  
Saadia Dhouib ◽  
Chokri Mraidha

Sensor-based digital systems for Instrumentation and Control (I&C) of nuclear reactors are quite complex in terms of architecture and functionalities. A high-level framework is highly required to pre-evaluate the system’s performance, check the consistency between different levels of abstraction and address the concerns of various stakeholders. In this work, we integrate the development process of I&C systems and the involvement of stakeholders within a model-driven methodology. The proposed approach introduces a new architectural framework that defines various concepts, allowing system implementations and encompassing different development phases, all actors, and system concerns. In addition, we define a new I&C Modeling Language (ICML) and a set of methodological rules needed to build different architectural framework views. To illustrate this methodology, we extend the specific use of an open-source system engineering tool, named Eclipse Papyrus, to carry out many automation and verification steps at different levels of abstraction. The architectural framework modeling capabilities will be validated using a realistic use case system for the protection of nuclear reactors. The proposed framework is able to reduce the overall system development cost by improving links between different specification tasks and providing a high abstraction level of system components.


1992 ◽  
Vol 1 (2) ◽  
pp. 185-203 ◽  
Author(s):  
Peter Jacobson ◽  
Bo Kågström ◽  
Mikael Rännar

CONLAB (CONcurrent LABoratory) is an environment for developing algorithms for parallel computer architectures and for simulating different parallel architectures. A user can experimentally verify and obtain a picture of the real performance of a parallel algorithm executing on a simulated target architecture. CONLAB gives a high-level support for expressing computations and communications in a distributed memory multicomputer (DMM) environment. A development methodology for DMM algorithms that is based on different levels of abstraction of the problem, the target architecture, and the CONLAB language itself is presented and illustrated with two examples. Simulotion results for and real experiments on the Intel iPSC/2 hypercube are presented. Because CONLAB is developed to run on uniprocessor UNIX workstations, it is an educational tool that offers interactive (simulated) parallel computing to a wide audience.


AI Magazine ◽  
2013 ◽  
Vol 34 (3) ◽  
Author(s):  
Lara S. Crawford

A recent trend in intelligent machines and manufacturing has been toward reconfigurable manufacturing systems, which move away from the idea of a fixed factory line executing an unchanging set of operations, and toward the goal of an adaptable factory structure. The logical next challenge in this area is that of on-line reconfigurability. With this capability, machines can reconfigure while running, enable or disable capabilities in real time, and respond quickly to changes in the system or the environment (including faults). We propose an approach to achieving on-line reconfigurability based on a high level of system modularity supported by integrated, model-based planning and control software. Our software capitalizes on many advanced techniques from the artificial intelligence research community, particularly in model-based domain-independent planning and scheduling, heuristic search, and temporal resource reasoning. We describe the implementation of this design in a prototype highly modular, parallel printing system.


Zygote ◽  
2013 ◽  
Vol 23 (1) ◽  
pp. 111-115 ◽  
Author(s):  
Gamal Mohamed Kamel Mehaisen ◽  
Ayman Moustafa Saeed

SummaryThis study aimed to investigate the effect of melatonin supplementation at different levels in culture medium on embryo development in rabbits. Embryos of 2–4 cells, 8–16 cells and morula stages were recovered from nulliparous Red Baladi rabbit does by laparotomy technique 24, 48 and 72 h post-insemination, respectively. Normal embryos from each stage were cultured to hatched blastocyst stages in either control culture medium (TCM-199 + 20% fetal bovine serum) or control supplemented with melatonin at 10−3 M, 10−6 M or 10−9 M. No effect of melatonin was found on development of embryos recovered at 24 h post-insemination. The high level of melatonin at 10−3 M adversely affected the in vitro development rates of embryos recovered at 48 h post-insemination (52 versus 86, 87 and 80% blastocyst rate; 28 versus 66, 78 and 59% hatchability rate for 10−3 M versus 10−9 M, 10−6 M and control, respectively, P< 0.05). At the morula stage, melatonin at 10−3 M significantly increased the in vitro development of embryos (92% for 10−3 M versus 76% for control, P < 0.05), while the hatchability rate of these embryos was not improved by melatonin (16–30% versus 52% for melatonin groups versus control, P < 0.05). Results show that a moderate level of melatonin (10−6 M) may improve the development and hatchability rates of preimplantation rabbit embryos. The addition of melatonin at a 10−3 M concentration enhances the development of rabbit morulae but may negatively affect the development of earlier embryos. More studies are needed to optimize the use of melatonin in in vitro embryo culture in rabbits.


AI Magazine ◽  
2013 ◽  
Vol 34 (3) ◽  
pp. 73-88 ◽  
Author(s):  
Lara S. Crawford ◽  
Minh Binh Do ◽  
Wheeler S. Ruml ◽  
Haitham Hindi ◽  
Craig Eldershaw ◽  
...  

A recent trend in intelligent machines and manufacturing has been toward reconfigurable manufacturing systems, which move away from the idea of a fixed factory line executing an unchanging set of operations, and toward the goal of an adaptable factory structure. The logical next challenge in this area is that of on-line reconfigurability. With this capability, machines can reconfigure while running, enable or disable capabilities in real time, and respond quickly to changes in the system or the environment (including faults). We propose an approach to achieving on-line reconfigurability based on a high level of system modularity supported by integrated, model-based planning and control software. Our software capitalizes on many advanced techniques from the artificial intelligence research community, particularly in model-based domain-independent planning and scheduling, heuristic search, and temporal resource reasoning. We describe the implementation of this design in a prototype highly modular, parallel printing system.


Author(s):  
O. M. Vasilyuk

The paper presents analysis of general (GА, Px, ΔЕ, ml∙sec) and specific (SA, Px, ΔЕ, mg∙sec) of oxidoreductase enzyme activity (Peroxidase, Px, EC 1.11.1.7), which together with Catalase (Cat, EC 1.11.1.6) forms a double link antioxidant protection of cells in the organisms of different levels of organization (non-specific response to stress) in the conditions of increasing redox processes under the exogenous stress. These markers of changeable environmental factors were sampled in the leaves of Salix alba L., which grew along Mokra Sura River (anthropogenically polluted with high level of salinity, experiment) and Shpakova River (without anthropogenic impact, control). These rivers belong to the basin of the Dnieper River (Steppe Dnieper region) that has high industrial load. We used plant growth regulator "Kornevin" in order to accelerate the rooting and reduce the exogenous pressures on the plants. We detected nonspecific reaction towards peroxidase in anthropogenic pressure conditions and determined significant differences between experiment and control regards antioxidant protection depending on growth and development conditions.


2017 ◽  
Vol 27 (01) ◽  
pp. 1740003 ◽  
Author(s):  
Claudia Misale ◽  
Maurizio Drocco ◽  
Marco Aldinucci ◽  
Guy Tremblay

In the world of Big Data analytics, there is a series of tools aiming at simplifying programming applications to be executed on clusters. Although each tool claims to provide better programming, data and execution models–for which only informal (and often confusing) semantics is generally provided–all share a common underlying model, namely, the Dataflow model. The model we propose shows how various tools share the same expressiveness at different levels of abstraction. The contribution of this work is twofold: first, we show that the proposed model is (at least) as general as existing batch and streaming frameworks (e.g., Spark, Flink, Storm), thus making it easier to understand high-level data-processing applications written in such frameworks. Second, we provide a layered model that can represent tools and applications following the Dataflow paradigm and we show how the analyzed tools fit in each level.


2008 ◽  
Vol 1 (1) ◽  
pp. 646-661 ◽  
Author(s):  
Maruthi Devarakonda ◽  
Gordon Parker ◽  
John H. Johnson ◽  
Vadim Strots ◽  
Shyam Santhanam

2011 ◽  
pp. 290-311
Author(s):  
Matthias Scheutz

In this chapter, we introduce an architecture framework called APOC (Activating-Processing-Observing-Components) for the analysis, evaluation, and design of complex agents. APOC provides a unified framework for the specification of agent architectures at different levels of abstraction. As such, it permits intermediary levels of architectural specification between high-level functional descriptions and low-level mechanistic descriptions that can be used to connect these two levels in a systematic way.


Sign in / Sign up

Export Citation Format

Share Document