ЛОГІКО-СТРУКТУРНА МОДЕЛЬ КОМП'ЮТЕРНО-ОРІЄНТОВАНОЇ ПРОЦЕДУРИ СИСТЕМИ ПІДТРИМКИ ОПЕРАТИВНОГО ПЕРСОНАЛУ АЕС

Автор(и)

DOI:

https://doi.org/10.28925/2663-4023.2025.30.984

Ключові слова:

безпека критичної інфраструктури, атомні електростанції, інформаційно-керуючі системи, програмно-технічні комплекси, комп’ютерно-орієнтована процедура, інформаційна модель, системи підтримки оперативного персоналу, енергетика, комп’ютерна інженерія, комп’ютерні науки

Анотація

У даній статті розроблена логіко-структурна модель комп’ютерно-орієнтованої процедури нормальної експлуатації та ліквідації порушень для системи підтримки оперативного персоналу АЕС. Метою даного дослідження є створення моделі комп’ютерно-орієнтованої процедури, структури даних якої будуть відповідати технологічним регламентам і інструкціям оперативного персоналу АЕС та містити інформацію про зв’язок станів й кроків процедур. Об’єктом дослідження є процес формування комп’ютерно-орієнтованих процедур керування енергоблоком АЕС. Предметом дослідження є логіко-структурні моделі комп’ютерно-орієнтованих процедур та методи ідентифікації станів та кроків виконання процедур, що засновані на продукційних правилах. У даному дослідженні були розв’язані наступні завдання: розроблена структура даних моделі комп’ютерно-орієнтованої процедури, що відповідає актуальним регламентам та інструкціям; створена логіко-структурна модель комп’ютерно-орієнтованої процедури, що буде використовуватися для створення систем підтримки оперативного персоналу АЕС; розроблено метод ідентифікації умов входу в процедуру та виконання її кроків. Модель розроблена для вирішення задачі підтримки актуальності, ранньої ідентифікації станів енергоблоку та його обладнання, забезпечення можливості отримання інформації про стан технологічних параметрів з необхідним рівнем надійності та достовірності. Запропонована модель може бути використана для створення систем підтримки оперативного персоналу, що керує складними технологічними об’єктами з використанням визначених процедур та інструкцій.

Завантаження

Дані завантаження ще не доступні.

Посилання

Vintenko, B., et al. (2024). Research of information support and technological regulations of control processes of the critical infrastructure of a nuclear power plant unit with VVER-1000 reactor. Cybersecurity: Education, Science, Technique, 1(25), 253–278. https://doi.org/10.28925/2663-4023.2024.25.253278

Vintenko, B., et al. (2024). Study of the use of support systems for operational personnel of a critical infrastructure facility when managing a nuclear power plant unit with a VVER-1000 reactor. Cybersecurity: Education, Science, Technique, 2(26), 6–26. https://doi.org/10.28925/2663-4023.2024.26.673

Benedict, A., & Ras, Z. W. (2025). Towards scalable action rule discovery: A structured vertical partitioning method. Journal of Intelligent Information Systems. https://doi.org/10.1007/s10844-025-00961-5

Rivne Nuclear Power Plant. (2024). Instruction for elimination of normal operation violations (ILP) of the Unit No. 4 of RNPP. Rivne NPP.

Rivne Nuclear Power Plant. (2024). Instruction for elimination of emergency situations (ILA) of the Unit No. 4 of RNPP. Rivne NPP.

Oxstrand, J., & Blanc, K. (2016). Supporting the future nuclear workforce with computer-based procedures. Nuclear Future, 12, 34–39. https://www.researchgate.net/publication/298205131

International Electrotechnical Commission. (2019). IEC 62646: Nuclear power plants – Control rooms – Computer-based procedures. Geneva: IEC.

Obregon, J., Kim, A., & Jung, J.-Y. (2019). RuleCOSI: Combination and simplification of production rules from boosted decision trees for imbalanced classification. Expert Systems with Applications, 126, Article 113. https://doi.org/10.1016/j.eswa.2019.02.012

Stańczyk, U. (2022). Pruning decision rules by reduct-based weighting and ranking of features. Entropy, 24(11), 1602. https://doi.org/10.3390/e24111602

Voloshchuk, R. V. (2013). Comparative analysis of approaches to determining weighting coefficients of integral indices of the state of complex systems. Inductive Modeling of Complex Systems, 5, 151–165. http://nbuv.gov.ua/UJRN/Imss_2013_5_29

Medykovskyi, M. O., & Shunevych, O. B. (2011). Research of the effectiveness of methods for determining weighting coefficients of importance. Bulletin of Khmelnytskyi National University: Technical Sciences, (5), 176–182. https://journals.khnu.km.ua/vestnik/pdf/tech/2011_5/51_med.pdf

Vintenko, B., et al. (2023). Study of regulatory documents and industry standards for the development of software for nuclear power plant control systems important to safety. Control, Navigation and Communication Systems, 2(72), 170–178. https://doi.org/10.26906/SUNZ.2023.2.170

Vintenko, B., et al. (2023). Study of the requirements of international standards IEC60880 and IEC62138 for software development of information-control systems of nuclear power plants important to safety. Control, Navigation and Communication Systems, 3(73), 155–166. https://doi.org/10.26906/SUNZ.2023.3.155

Vintenko, B., et al. (2024). Study of requirements and cybersecurity analysis of software of nuclear power plant information-control systems important to safety. Cybersecurity: Education, Science, Technique, 3(23), 111–131. https://doi.org/10.28925/2663-4023.2024.23.111131

Downloads


Переглядів анотації: 139

Опубліковано

2025-10-26

Як цитувати

Вінтенко, Б., Миронець, І., Смірнов, О., Коваленко, О., Усік, П., Буравченко, К., & Лисенко, І. (2025). ЛОГІКО-СТРУКТУРНА МОДЕЛЬ КОМП’ЮТЕРНО-ОРІЄНТОВАНОЇ ПРОЦЕДУРИ СИСТЕМИ ПІДТРИМКИ ОПЕРАТИВНОГО ПЕРСОНАЛУ АЕС. Електронне фахове наукове видання «Кібербезпека: освіта, наука, техніка», 2(30), 413–427. https://doi.org/10.28925/2663-4023.2025.30.984