Електронне моделювання

Том 41, № 2 (2019)

https://doi.org/10.15407/emodel.41.02

ЗМІСТ

Математичне моделювання та обчислювальні методи

	ВИННИЧУК С.Д., МІСЬКО В.M. Метод множинного квадратичного k-решета з використанням сигнальних остач при просіюванні пробних значень	3-20
	ДОРОГИЙ Я.Ю., ДОРОГА-ІВАНЮК О.О., ФЕРЕНС Д.А. Модель розподілу ресурсів критичної ІТ-інфраструктури з чіткими параметрами на основі методу рою часток	23-38

Обчислювальні процеси і системи

ЕФАНОВ Д.В., САПОЖНИКОВ В.В., САПОЖНИКОВ Вл.В.
Модифицированные коды с суммированием взвешенных разрядов и переходов для решения задач синтеза дискретных устройств с обнаружением отказов

39-62

Застосування методів і засобів моделювання

	КУЦАН Ю.Г., ГУРЄЄВ В.О., ЛИСЕНКО Є.М., АВЕТІ-СЯН О.В. Кіберзагрози в електроенергетичних системах України	63-80
	КАМЕНЕВА И.П., АРТЕМЧУК В.А., ЯЦИШИН А.В. Вероятностное моделирование экспертных знаний с использованием методов психосемантики	81-96
	ЗУБОК В.Ю. Оцінювання ризику кібератак на глобальну маршрутизацію	97-110
	БІДЮК П.І., ГУСЬКОВА В.Г. Аналіз кредитоспроможності за допомогою методів інтелектуального аналізу даних	111-120

Короткі повідомлення

ZVARITCH V.M., DAVYDIUK A.V.
The Method of Color Formalization of the Level of Information Security Risk

121-126

Метод множинного квадратичного k-решета з використанням сигнальних остач при просіюванні пробних значень

С.Д. Винничук, д-р техн. наук, В.M. Місько, аспірант
Інститут проблем моделювання в енергетиці ім. Г.Е. Пухова НАН України.
(Україна, 03164, Київ, вул. Генерала Наумова, 15,
тел. +380734095726, e-mail: Ця електронна адреса захищена від спам-ботів. Вам необхідно увімкнути JavaScript, щоб побачити її.; Ця електронна адреса захищена від спам-ботів. Вам необхідно увімкнути JavaScript, щоб побачити її.

Èlektron. model. 2019, 41(2):03-22
https://doi.org/10.15407/emodel.41.02.003

АНОТАЦІЯ

Описано алгоритм методу множинного квадратичного k-решета, який є модифікацією методу квадратичного решета. У даній модифікації зпропоновано при просіюванні пробних значень виконувати попереднє їх просіювання на основі порівняння остачy y_k( X ) = X² - kN (k ≥ 1) з сигнальними остачами y_k^*( X ), де y_k^* ( X ) — добуток перших степенів множників y_k( X ). Серед пробних значень відсіюють ті, для яких log (y_k( X )) < h log (y_k^*( X )), де дійсне число h ∈ [0,1] —це параметр, що обирається. Встановлено, що при зростанні значення N збільшується значення h, при якому досягається найменший час розрахунку. Встановлено також, що зменшення часу отримання достатньої кількості В-гладких відбувається при обмеженні для показників степенів дільників В-гладкого, які перевищують одиницю, для множини елементів загальної факторної бази, більших певного значення, визначеного за параметром kff. На основі чисельних експериментів з відносно малими числами порядку 10^m при m = 20÷32 показано, що час розрахунку достатньої кількості В-гладких є функцією параметра kff. Описано кроки алгоритму методу та ідеї їх реалізації. Наведено евристичну оцінку складності запропонованого методу для ряду значень параметра pla.

КЛЮЧОВІ СЛОВА:

цілочисельна факторизація, метод квадратичного решета, множинне решето.

СПИСОК ЛІТЕРАТУРИ

1. Горбенко И.Д., Долгов В.И., Потий А.В., Федорченко В.Н. Анализ каналов уязвимости системы RSA // Безопасность информации, 1995, № 2, с. 22—26.
2. Brown Daniel R.L. Breaking RSA May Be As Difficult As Factoring. [Электронный ресурс]. Режим доступа: http://www.pgpru.com/novosti /2005/1026vzlomrsabezfaktorizaciirealennoneeffektiven. Название с экрана.
3. Kannan Balasubramanian, M. Rajakani. Algorithmic strategies for solving complex problems in cryptography // Advances in information security, privacy, and ethics (AISPE) book series. Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA) : IGI Global, 2018.
4. Quadratic sieve. [Электронный ресурс]. Режим доступа: https://en.wikipedia.org/wiki/Quadratic_sieve. Название с экрана.
5. Silverman R.D. The multiple polynomial quadratic sieve // Math. Comp., 1987, Vol. 48 (177), p. 329—339.
6. Винничук С.Д., Місько В.М. Метод множинного k-решета цілочисельної факторизації // Електрон. моделювання, 2018, 40, № 5, c. 3—26. [Электронный ресурс]. Режим доступа: https://doi.org/10.15407/emodel.40.05.003.
7. Василенко О.Н. Теоретико-числовые алгоритмы в криптографии. М.: МЦНМО, 2003, с. 328.
8. Ишмухаметов Ш.Т. Методы факторизации натуральных чисел. Казань: Казанcкий ун-т., 2011, с. 190.
9. Landquist Eric. The Quadratic Sieve Factoring Algorithm // MATH: Cryptographic Algorithms, 2001, No. 488, p. 1—11.
10. Vynnychuck S., Misko V. Acceleration analysis of the quadratic sieve method based on the online matrix solving // Mathematics and cybernetics—applied aspects, 2018, Vol. 2, No. 4 (92) p. 33—38. DOI: 10.15587/1729-4061.2018.133603.

ВИННИЧУК Степан Дмитрович, д-р техн. наук, зав. відділом Ін-ту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. В 1977 р. закінчив Чернівецький госуніверситет. Область наукових досліджень—моделі, методи і програмні засоби для аналізу систем рідини, що стискається та не стискається, теорія алгоритмів.

МІСЬКО Віталій Миколайович, аспірант Ін-ту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. В 2013 р. закінчив Ін-т спеціального зв’язку і захисту інформації НТУУ «КПІ». Область наукових досліджень — чисельні методи та алгоритми факторизації.

Повний текст: PDF

Модель розподілу ресурсів критичної ІТ-інфраструктури з чіткими параметрами на основі методу рою часток

Я.Ю. Дорогий, канд. техн. наук,
О.О. Дорога-Іванюк, аспірантка, Д.А. Ференс
Націoнальний технічний університет України
«Київський політехнічний ін-т ім. Ігоря Сікорського»
(Україна, 03056, Київ, пр. Перемоги, 37,
тел. +380970060025; e-mail: Ця електронна адреса захищена від спам-ботів. Вам необхідно увімкнути JavaScript, щоб побачити її.;
Ця електронна адреса захищена від спам-ботів. Вам необхідно увімкнути JavaScript, щоб побачити її.)

Èlektron. model. 2019, 41(2):23-38
https://doi.org/10.15407/emodel.41.02.023

АНОТАЦІЯ

Подано детальний аналіз методів та алгоритмів розміщення ресурсів віртуалізованих ІТ-інфраструктур. Наведено опис математичної моделі розподілу ресурсів критичної ІТ-інфраструктури з чіткими параметрами та її використання у поєднанні з методом рою часток. Розкрито суть методу рою часток, розглянуто принцип пошуку найкращого рішення та його основні операції для розв’язку поставленої задачі. Наведено результати експериментальних досліджень запропонованої моделі розподілу ресурсів критичної ІТ-інфраструктури з чіткими параметрами на основі методу рою часток.

КЛЮЧОВІ СЛОВА:

архітектура, розподіл ресурсів, метод рою часток, критична ІТ-інфраструктура.

СПИСОК ЛІТЕРАТУРИ

1. Глоба Л.С., Скуліш М.А., Дяденко О.М. Математичні основи побудови інформаційно-телекомунікаційних систем. Київ: Норіта-плюс, 2007.
2. Горин М. Корпоративный ЦОД: за рамками технологий // Connect! Мир Связи. 2007, № 8, с. 19—20.
3. Кириллов И. Коммерческие ЦОД в Украине: новый этап развития // Сети и бизнес, 2010, № 3 (52). [Электронный ресурс] Режим доступа: http://www.sib.com.ua/arhiv2010/2010_3/statia_3_1_2010/statia_3_1_2010.htm. Дата звернення: 10.12.2018. Назва з екрану.
4. Badger L., Grance T. et al. Computing Synopsis and Recommendations. Recommendations of the National Institute of Standards and Technology// Special Publication 800-146. NIST, 2012.
5. Биберштейн Н., Боуз С. Компас в мире сервис-ориентированной архитектуры (SOA). М.: КУДИЦ-Пресс, 2007.
6. Krafzik D., Banke K., Slama D. Enterprise SOA: Service-Oriented Architecture Best Practices. Prentice Hall Professional, 2005, 383 р.
7. Kaur R., Kaur A. A Review Paper on Evolution of Cloud Computing, its Approaches and Comparison with Grid Computing // International Journal of Computer Science and Information Technologies, 2014, Vol. 5, p. 6060—6063.
8. Gupta A., Sarood O., Laxmikant V.K. OptimizingVM Placement for HPC in the Cloud // International Letters of Social and Humanistic Sciences, 2014, Vol. 16, p. 1—6.
9. Joseph, J., Fellenstein C. Grid Computing. Prentice Hall Professional, 2004, 378 p.
10. Nabrzyski J., Schopf J.M. Grid Resource Management: State of the Art and Future Trends Weglarz —Springer, 2004.
11. Goldworm B., Skamarock A. Blade servers and virtualization: transforming enterprise computing while cutting costs. Wiley Publishing, Inc., 2007.
12. Ruest N., Ruest D. Virtualization. A Beginner’s Guide. McGraw Hill Professional, 2009.
13. Теленик C.Ф., Ролік О.І., Букасов М.М., Лабунський А.Ю. Моделі управління віртуальними машинами при серверній віртуалізації// Вісник НТУУ «КПІ»: Інформатика, управління та обчислювальна техніка, 2009, № 51, c. 147—152.
14. Дорогий Я.Ю., Дорога-Іванюк О.О., Ференс Д.А. Модель розподілу ресурсів критичної ІТ-інфраструктури з чіткими параметрами на основі генетичного алгоритму // Informationtechnology and security, 2018, Vol. 6, Iss. 2(11), p. 124—144.
15. Buyya R., Broberg J., Goscinski A.M. Cloud Computing: Principles and Paradigms. John Wiley & Sons, 2010, 664 р.
16. Hu X., Eberhart R.C. Tracking dynamic systems with PSO: Where’s the cheese // Proc. of the Workshop on Particle Swarm Optimization. IN, 2001, р. 80—83.
17. Shi Y.H., Eberhart R. Empirical study of particle swarm optimization// Proc. of the Congress on Evolutionary Computation, 1999, Vol. 3, р. 1945—1950.
18. Eberhart R.C., Shi Y. Tracking and optimizing dynamic systems with particle swarms // Proc. of the 2001 Congress on Evolutionary Computation, 2001, Vol. 1, p. 94—100. DOI:10.1109/CEC.2001.934376.
19. Carlisle A., Dozler G. Tracking changing extrema with adaptive particle swarm optimizer // Proc. of the 2002 Soft Computing, Multimedia Biomedicine, Image Processing and Financial Engineering. Orlando, FL, USA, 2002, p. 265—270.
20. Du W., Li B. Multi-strategy ensemble particle swarm optimization for dynamic optimization // International Journal of Information Sciences, 2008, Vol. 178, Iss. 15, p. 3096—3109. DOI:10.1016/j.ins.2008.01.020.
21. Tasgetiren M.F., Sevkli M., Liang Y.-C., Gencyilmaz G. Particle swarm optimization algorithmfor permutation flow shop sequencing problem // Proc. of the 4th International Workshopon Ant Colony. Optimization and Swarm Intelligence (ANTS2004), LCNS 3172.Brussels, Belgium, 2004, p. 382—390.
22. Tasgetiren M.F., Sevkli M., Liang Y.-C., Gencyilmaz G. Particle swarm optimization algorithmfor single-machine total weighted tardiness problem // Proc. of the Congress on EvolutionaryComputation, 2006, Vol. 2, p. 1412—1419.
23. Van der Maaten, L.J.P., Hinton G.E. Visualizing High-Dimensional Data Using t-SNE //Journal of Machine Learning Research, 2008, Vol. 9 (Nov), p. 2579—2605.

ДОРОГИЙ Ярослав Юрійович, канд. техн. наук, доцент, доцент кафедри автоматики і управління в технічних системах Національного технічного університету України «Київський політехнічний ін-т ім. Ігоря Сікорського», котрий закінчив в 2002 р. Область наукових досліджень — штучний інтелект, критичні ІТ-інфраструктури, теорія розпізнавання.

ДОРОГА-ІВАНЮК Олена Олександрівна, аспірантка, асистент кафедри автоматики і управління в технічних системах Національного технічного університету України «Київський політехнічний ін-т ім. Ігоря Сікорського», котрий закінчила в 2007 р. Область наукових досліджень — штучний інтелект, критичні ІТ-інфраструктури.

ФЕРЕНС Дмитро Андрійович, магістрант кафедри автоматики і управління в технічних системах Національного технічного університету України «Київський політехнічний ін-т ім. Ігоря Сікорського». Область наукових досліджень — штучний інтелект.

Повний текст: PDF

МОДИФІКОВАНИ КОДИ З ПІДСУМОВУВАННЯМ ЗВАЖЕНИХ РОЗРЯДІВ І ПЕРЕХОДІВ ДЛЯ РОЗ’ВЯЗКУ ЗАДАЧ СИНТЕЗУ ДИСКРЕТНИХ ПРИСТРОЇВ З ВИЯВЛЕННЯМ ВІДМОВ

Д.В. Єфанов, В.В. Сапожников, Вл.В. Сапожников

Èlektron. model. 2019, 41(2):39-61
https://doi.org/10.15407/emodel.41.02.039

АНОТАЦІЯ

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

КЛЮЧОВІ СЛОВА:

контролепридатні системи, код з підсумовуванням, код Бергера, зважений код з підсумовуванням, властивості коду, інформаційний вектор, помилка, що не виявляється.

СПИСОК ЛІТЕРАТУРИ

1. Сапожников В.В., Сапожников Вл.В., Христов Х.А., Гавзов Д.В. Методы построения безопасных микроэлектронных систем железнодорожной автоматики. Под ред. Вл.В. Сапожникова. М.: Транспорт, 1995, 272 с.
2. Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications. John Wiley & Sons, 2006, 720 p.
3. Ubar R., Raik J., Vierhaus H.-T. Design and Test Technology for Dependable Systems-on-Chip (Premier Reference Source). Information Science Reference. Hershey —New York, IGI Global, 2011, 578 p.
4. Дрозд А.В., Харченко В.С., Антощук С.Г. и др. Рабочее диагностирование безопасных информационно-управляющих систем. Под ред. А.В. Дрозда и В.С. Харченко. Харьков: ХАИ, 2012, 614 с.
5. Berger J.M. A Note on Error DetectionCodes for Asymmetric Channels //Information and Control, 1961, Vol. 4, Issue 1, p. 68—73. DOI: 10.1016/S0019-9958(61)80037-5.
6. Busaba F.Y., Lala P.K. Self-Checking Combinational Circuit Design for Single and Unidirectional Multibit Errors // Journal of Electronic Testing: Theory and Applications, 1994, Issue 1, p. 19-28. DOI: 10.1007/BF00971960.
7. Matrosova A.Yu., Levin I., Ostanin S.A. Self-Checking Synchronous FSM Network Designwith Low Overhead // VLSI Design, 2000, Vol. 11, Issue 1, p. 47—58. DOI: 10.1155/2000/46578.
8. Ostanin S. Self-Checking Synchronous FSM Network Design for Path Delay Faults // Proc.of 15th IEEE East-West Design&Test Symposium (EWDTS`2017). Novi Sad, Serbia, September29—October 2, 2017, p. 696—699. DOI: 10.1109/EWDTS.2017. 8110129.
9. Saposhnikov V.V., Morosov A., Saposhnikov Vl.V., Göessel M. A New Design Method forSelf-Checking Unidirectional Combinational Circuits // Journal of Electronic Testing: Theoryand Applications, 1998, Vol. 12, Issue 1-2, p. 41—53. DOI: 10.1023/A: 1008257118423.
10. Göessel M., Ocheretny V., Sogomonyan E., Marienfeld D. New Methods of ConcurrentChecking. Edition 1. Dordrecht: Springer Science+Business Media B.V., 2008, 184 p.11. Nicolaidis M., Zorian Y. On-Line Testing for VLSI — A Compendium of Approaches //Journal of Electronic Testing: Theory and Applications, 1998, ¹12, p. 7—20. DOI:10.1023/A:1008244815697.
12. Mitra S., McCluskey E.J. Which Concurrent Error Detection Scheme to Сhoose? // Proc. ofInternational Test Conf. 2000, USA, Atlantic City, NJ, 03-05 October 2000, p. 985—994.DOI: 10.1109/TEST.2000.894311.
13. Согомонян Е.С., Слабаков Е.В. Самопроверяемые устройства и отказоустойчивые системы. М.: Радио и связь, 1989, 208 с.
14. Piestrak S.J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes.Wroclaw: Oficyna Wydawnicza Politechniki Wroclavskiej, 1995, 111 p.
15. Ghosh S., Basu S., Touba N.A. Synthesis of Low Power CED Circuits Based on Parity Codes //Proc. of 23rd IEEE VLSI Test Symposium (VTS’05), 2005, p. 315—320.
16. Kubalik P., Kubatova H. Parity Codes Used for On-Line Testing in FPGA // Acta Polytechnika,2005, Vol. 45, No. 6, p. 53—59.
17. Аксенова Г.П. О функциональном диагностировании дискретных устройств в условиях работы с неточными данными // Проблемы управления, 2008, №5, с. 62—66.
18. Sapozhnikov V., Sapozhnikov Vl., Efanov D. Modular Sum Code in Building Testable DiscreteSystems // Proc. of 13th IEEE East-West Design & Test Symposium (EWDTS`2015).Batumi, Georgia, September 26-29, 2015, p. 181—187. DOI: 10.1109/EWDTS.2015.7493133.
19. Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. Применение модульных кодов с суммированием для построения систем функционального контроля комбинационных логических схем // Автоматика и телемеханика, 2015, №10, с. 152—169.
20. Das D., Touba N.A. Synthesis of Circuits with Low-Cost Concurrent Error Detection Basedon Bose-Lin Codes // Journal of Electronic Testing: Theory and Applications, 1999, Vol. 15,Issue 1-2, p. 145—155. DOI: 10.1023/A:1008344603814.
21. Черепанова М.Р. Исследование влияния значения модуля кода с суммированием на структурную избыточность систем функционального контроля // Изв. Петербургского ун-та путей сообщения, 2016, № 2, с. 279—288.
22. Блюдов А.А., Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. Построение модифицированного
кода Бергера с минимальным числом необнаруживаемых ошибок информационных разрядов // Электр. моделирование, 2012, 34, № 6, с. 17—29.
23. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Эффективный способ модификации кодов с суммированием единичных информационных разрядов // Изв. вузов. Приборостроение, 2017, 60, № 11, с. 1020—1032. DOI: 10.17586/0021-3454-2017-60-11-1020-1032.
24. Блюдов А.А., Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. О кодах с суммированием единичных разрядов в системах функционального контроля // Автоматика и телемеханика, 2014, № 8, с. 131—145.
25. Berger J.M. A Note on Burst Detection Sum Codes // Information and Control, 1961, Vol. 4,Issue 2-3, p. 297—299. DOI: 10.1016/S0019-9958(61)80024-7.
26. Das D., Touba N.A. Weight-Based Codes and Their Application to Concurrent Error Detectionof Multilevel Circuits // Proc. of the 17th IEEE VLSI Test Symposium. USA, CA, DanaPoint, April 25-29, 1999, p. 370—376.
27. Das D., Touba N.A., Seuring M., Gossel M. Low Cost Concurrent Error Detection Based onModulo Weight-Based Codes // Proc. of IEEE 6th International // Proc. of IEEE 6th InternationalOn-Line Testing Workshop (IOLTW). Spain, Palma de Mallorca, July 3-5, 2000,p. 171—176. DOI: 10.1109/OLT.2000.856633.
28. Saposhnikov V., Saposhnikov Vl. New Code for Fault Detection in Logic Circuits // Proc. of4th International Conference on Unconventional Electromechanical and Electrical Systems.SPÂ, Russia, June 21-24, 1999, p. 693—696.
29. Mehov V., Saposhnikov V., Sapozhnikov Vl., Urganskov D. Concurrent Error DetectionBased on New Code with Modulo Weighted Transitions between Information Bits // Proc. of7th IEEE East-West Design & Test Workshop (EWDTW`2007). Erevan, Armenia, September25-30, 2007, p. 21—26.
30. Мехов В.Б., Сапожников В.В., Сапожников Вл.В. Контроль комбинационных схем на основе модифицированных кодов с суммированием // Автоматика и телемеханика, 2008, №8, с. 153—165.
31. Дмитриев В.В. О двух способах взвешивания и их влиянии на свойства кодов с суммированием взвешенных переходов в системах функционального контроля логических схем // Изв. Петербургского ун-та путей сообщения, 2015, № 3, с. 119—129.
32. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В., Котенко А.Г. Модульные коды с суммированием взвешенных переходов с последовательностью весовых коэффициентов, образующей натуральный ряд чисел // Труды СПИИРАН, 2017,№1, с. 137—164. DOI: 10.15622/SP.50.6.
33. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Модульно-взвешенные коды с суммированием с наименьшим общим числом необнаруживаемых ошибок в информационных векторах // Электрон. моделирование, 2017, 39, № 4, с. 69—88.
34. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Коды с суммированием с последовательностью
весовых коэффициентов, образующей натуральный ряд чисел, в системах функционального контроля // Там же, 2017, 39, № 5, с. 37—58.
35. Efanov D., Sapozhnikov V., Sapozhnikov Vl. The Synthesis of Self-Checking CombinationalDevices Based on Properties of Codes With Summation of Weighted Transitions and Selectionof Testable Outputs Groups // Proc. of 15th IEEE East-West Design & Test Symposium(EWDTS`2017). Novi Sad, Serbia, September 29 — October 2, 2017, p. 671—677. DOI:10.1109/EWDTS.2017.8110075.
36. Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем // Труды Ин-та системного программирования РАН, 2017, 29,№5, с. 39—60. DOI: 10.15514/ISPRAS-2017-29(5)-3.

ЕФАНОВ Дмитрий Викторович, д-р техн. наук, доцент, профессор кафедры «Автоматика, телемеханика и связь на железных дорогах» Российского университета транспорта (МИИТ), руководитель направления систем мониторинга и диагностики ООО «ЛокоТех-Сигнал». В 2007 г. окончил Петербургский государственный университет путей сообщения. Область научных исследований — дискретная математика, надежность и техническая диагностика дискретных систем.

САПОЖНИКОВ Валерий Владимирович, д-р техн. наук, профессор, профессор кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения Императора Александра I. В 1963 г. окончил Ленинградский ин-т инженеров железнодорожного транспорта. Область научных исследований — надежностный синтез дискретных устройств, синтез безопасных систем, синтез самопроверяемых схем, техническая диагностика дискретных систем.

САПОЖНИКОВ Владимир Владимирович, д-р техн. наук, профессор, профессор кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения Императора Александра I. В 1963 г. окончил Ленинградский ин-т инженеров железнодорожного транспорта. Область научных исследований — надежностный синтез дискретных устройств, синтез безопасных систем, синтез самопроверяемых схем, техническая диагностика дискретных систем.

Повний текст: PDF

Кіберзагрози в електроенергетичних системах України

Ю.Г. Куцан, д-р техн. наук, В.О. Гурєєв, канд. техн. наук,
Є.М. Лисенко, аспірант, О.В. Аветісян
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України,
(Україна, 03164, Київ, вул. Генерала Наумова, 15,
тел. +380444249160, e-mail: Ця електронна адреса захищена від спам-ботів. Вам необхідно увімкнути JavaScript, щоб побачити її.)

Èlektron. model. 2019, 41(2):63-80
https://doi.org/10.15407/emodel.41.02.063

АНОТАЦІЯ

Дано аналіз функціональної структури електроенергетичних систем (ЕЕС) і енергетичних об’єднань з метою виявлення найвірогідніших місць несанкціонованого впливу кіберзагроз на роботу об’єктів критичної інфраструктури. При цьому необхідно враховувати режими роботи дуже складних ієрархічних систем керування об’єктами ЕЕС і Об’єднаної електроенергетичної системи, яка складається з великої кількості часто не пов’язаних між собою автоматичних (без участі людини) і автоматизованих (за участю людини в ухваленні рішень) систем керування вузлами генерації (атомних, теплових, сонячних, вітрових і гідроелектростанцій), електромереж передачі (транспортування) і споживання електроенергії. Запропоновано модель автоматизованої системи виявлення кіберзагроз для розробки оперативних превентивних методів, спрямованих на виявленя і запобігання умов виникнення кіберзагроз в енергетиці.

КЛЮЧОВІ СЛОВА:

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

СПИСОК ЛІТЕРАТУРИ

1. Понимание киберпреступности: Руководство для развивающихся стран. Проект. [Электронный ресурс]. Режим доступа: http://www.itu.int/dms_pub/itu-d/oth/01/0B/D010B0000073301PDFR.pdf. Название с экрана.
2. Кобец Б.Б., Волкова И.О. Инновационное развитие электроэнергетики на базе концепции Smart Grid. М.: ИАЦ Энергия, 2010, 208 с.
3. Старовойтов А.В. Кибербезопасность как актуальная проблема современности // Информация и связь, 2011, № 6, с. 4—7.
4. Бородакий Ю.В., Добродеев А.Ю., Бутусов И.В. Кибербезопасность как основной фактор национальной и международной безопасности XXI века (ч. 2) // Вопросы кибербезопасности, 2014, № 1 (2), с. 5—12.
5. Марков Г.А. Вопросы физической безопасности информации // Там же, 2015, № 4 (12), с. 70—76.
6. ENTSO-E финализировало соглашение о присоединении ОЭС Украины к континентальной сети Европы. [Электронний ресурс] Режим доступа: http://reform.energy/news/entso-e-finalizirovalo-soglashenie-o-prisoedinenii-oes-ukrainy-k-kontinentalnoy-setievropy-1125. Название с экрана.
7. Левинштейн М.Л., Щербачев О.В. Методика расчетов статической устойчивости сложных электрических систем с помощью эквивалентных регулирующих эффектов станций и нагрузок // Изв. вузов. Энергетика, 1962, № 8, с. 11—19.
8. Цукерник Л.В., Коробчук К.В. Расчет с помощью ЦВМ предела статической устойчивости сложной энергосистемы // Докл. на II Всесоюз. науч.-техн. совещ. по устойчивости и надежности энергосистем СССР. М.: Энергия, 1969, с. 56—62.
9. Готман В.И., Готман О.В. Эквивалентирование подсистем энергообъединений на базе режимных параметров // Изв. вузов. Электромеханика, 2006, № 3, с. 111—114.
10. Строев В.А., Сульженко С.В. Математическое моделирование элементов электрических систем: курс лекций. М.: МЭИ, 1997, 56 с.
11. Веников В.А., Суханов О.А. Кибернетические модели электрических систем. М.: Энергоиздат, 1982, 328 с.
12. Гурєєв В.О. Розробка алгоритмів і програм швидкодійних методів розрахунку режимів роботи великих електроенергетичних систем і енергооб’єднань для тренажерів // Наукові праці ВНТУ, 2018, № 1, с. 1—5.
13. Куцан Ю.Г., Гурєєв В.О., Лисенко Є.М. Моделювання і розробка адаптивної автоматизованої системи конструювання сценаріїв протиаварійних тренувань // Електронне моделювання, 2018, №4, с. 55—64. DOI:https://doi.org/10.15407/emodel.40.04.055.
14. Гурєєв В.О. Моделювання великих енергосистем для побудови комп‘ютерних розподілених тренажерних систем в енергетиці // Моделювання та інформаційні технології. Збірник наук. праць ІПМЕ ім. Г.Є. Пухова, 2018, вип. 83, с. 94—105.
15. Gissinger S., Chaumes P., Antoine J.-P., Bihain A. An Advanced Dispatcher Training Simulator/S. Gissinger // Computer Applications in Power, IEEE, 2000, Vol. 13, Issue 2, р. 25—30.
16. Karlsson D., Hill D.J. Modeling and identification of nonlinear dynamic loads in power systems // IEEE Transactions on Power Systems,1994, Vol. 9, № 1, р. 157—166.

КУЦАН Юлій Григорович, д-р техн. наук, в.о. заст. директора по наук. роботі Ін-та проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. В 1966 г. закінчив Київський політехнічний ін-т. Область наукових досліджень — моделювання технологічних процесів в енергетичній області.

ГУРЄЄВ Віктор Олександрович, канд. техн. наук, докторант Ін-та проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. В 1974 р. закінчив Київський політехнічний ін-т. Область наукових досліджень—моделювання режимів роботи великих електроенергетичних систем і енергооб’єднань для комп’ютерних тренажерних систем.

ЛИСЕНКО Євген Миколайович, аспірант Ін-та проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. В 2002 р. закінчив Національний авіаційний університет. Область наукових досліджень — моделювання методів автоматизації комп’ютерних тренажерних систем.

АВЕТІСЯН Олена Вікторівна, наук. співр. Ін-та проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України, директор учбового центру НВ ТОВ “Інфотех” (м. Київ). У 2002 р. закінчила Національний технічний університет України “КПІ”. Область наукових досліджень—електронні системи навчання, веб-орієнтована тренажерна підготовка персоналу і кібербезпека електроенергетичних систем.

Повний текст: PDF