СИСТЕМА ОТЛАДКИ ПРОСТЫХ ВЫЧИСЛИТЕЛЬНЫХ МОДЕЛЕЙ В ГРАФОВОМ ПРЕДСТАВЛЕНИИ

EDN: NPOQMK
Вычислительные модели (ВМ) — формализм для представления знаний о вычислениях в предметных областях. ВМ определяет множество переменных, соответствующих величинам предметной области, и множество операций, выражающих функциональные связи между величинами. Выбор подмножеств V — известных величин — и Ж — искомых величин — определяет постановку задачи на ВМ, а подмножество операций и переменных, связанных отношением частичного порядка, задающее схему вычисления W по V, называется (V, W)-планом. При соответствующей компьютерной реализации величин и операций обеспечивается возможность автоматизированного решения задач на основе ВМ. Построение ВМ — сложная задача, требующая значительных навыков и опыта.
Возможно допустить ряд ошибок, как при разработке ВМ, так и при постановке задач, вследствие чего решений у задачи может либо не быть вообще, либо они могут существенно отличаться в зависимости от выбора (V, W)-плана. Следовательно, необходима разработка системы отладки ВМ, проводящей ряд проверок над ВМ в автоматизированном режиме и способной выполнять анализ поставленных (V, W)-задач. Настоящая статья посвящена описанию такой системы.

Исследования выполнены в рамках государственного задания ИВМиМГ СО РАН FWNM-2025-0005.

Список литературы

1. Вальковский В. А., Малышкин В. Э. Синтез параллельных программ и систем на вычислительных моделях. Новосибирск: Наука, 1988. 129 с.
2. Малышкин В. Э., Корнеев В. Д. Параллельное программирование мультикомпьютеров: учебник. Новосибирск: Изд-во НГТУ, 2006. 296 с.
3. Тыугу Э. X. Концептуальное программирование. М.: Наука, 1984. 256 с.
4. Gorodnichev М., Lebedev, D. Semantic tools for development of high-level interactive applications for supercomputers // J. Supercomput. 2021. P. 11866-11880. DOI: https://doi.org/ 10.1007/sll227-021-03731-6.
5. Malyshkin V., Akhmed-Zaki D., Perepelkin V. Parallel programs execution optimization using behavior control in LuNA system //J. Supercomput. 2021. P. 9771-9779. DOI: 10.1007/sl 1227-02103654-2.
6. Kotkas V., Ojamaa A., Grigorenko P., Maigre R., Harf M., Tyugu E. CoCoAhLa as a multifunctional simulation platform // SIMUTOOLS 2011 — 4th International ICST Conference on Simulation Tools and Techniques: March 21-25. Barcelona, Spain: Brussels: ICST, 2011. P. 1-8.
7. Феоктистов А. Г., Костромин P. О., Воскобойников M. Л., Ли-Дэ Д. И. Организация вычислительной среды разработки и применения научных рабочих процессов на основе контейнеризации // Вычислительные технологии. 2023. Т. 28. № 6. С. 151-164.
8. Курбатов М. А. Поиск ошибок во фрагментированных программах с помощью абстрактного синтаксического дерева // Материалы 62-й Международной научной студенческой конференции. Новосибирск, 2024. С. 158-159.
9. Malyshkin V., Vlasenko A., Michurov М. Automated Debugging of Fragmented Programs in LuNA System // D. Balandin et al. (Eds.): 22nd International Conference, MMST 2022, Nizhny Novgorod, Russia, November 14-17, 2022. CCIS 1750. P. 266-280. DOI: 10.1007/978-3-031-24145- 1_22.
10. Власенко А. Ю., Мичуров M. А., Царев В. Д., Курбатов М. А. Построение комплекса автоматизированной отладки фрагментированных программ // Вестник НГУ. Серия: Информационные технологии. 2024. Т. 22. № 1. С. 5-20. DOL 10.25205/1818-7900-2024-22-1-5-20.
11. Gorodnichev М. A., Nalepova Е. D., Merkulova Е. A., Rudych Р. D., Savostyanov А. N. Automation of EEG Data Processing with HPC Community Cloud // IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM), Novosibirsk, Russian Federation, 2023. P. 1320-1323. DOL 10.1109/EDM58354.2023.10225226.
12. Fielding R. T. REST: Architectural Styles and the Design of Network-Based Software Architectures. Doctoral Dissertation, University of California, 2000.
13. Ахо А. В., Хопкрофт Дж. Э., Ульман Дж. Д. Структуры данных и алгоритмы. М.: Вильямс, 2003. С. 189-197.
14. Кнут Д. Э. Искусство программирования. Т. 1. 3-е изд. М.: Вильямс, 2006. С.174-175.