2026 №3(72)
выход в свет 30.09.2026
СОДЕРЖАНИЕ
- Рахмани Д., Харисова Д. Р. Автотюнинг производительности веб-приложений по SLO: наблюдаемость, диагностика и безопасные оптимизации
- Соколова О. Д., Кратов С. В., Ткачев К. В. Современные системы мониторинга чрезвычайных ситуаций в окружающей природной среде. Обзор публикаций
- Куликов И. М. Технология решения задачи Римана с помощью метода Хартена - Лакса - ван Леера
- Монахов О. Г., Монахова Э. А. Построение и оптимизация топологических структур регулярных сетей с параметрическим описанием
- Перепелкин В. А., Титов И. И., Подколодный Н. Л., Матус Н. Е., Шевелев Е. И., Колчанов Н. А., Марченко М. А. Построение базы активных знаний для автоматического решения задачи анализа вторичной структуры РНК
Московский технический университет связи и информатики, 111024, Москва, Россия
АВТОТЮНИНГ ПРОИЗВОДИТЕЛЬНОСТИ ВЕБ-ПРИЛОЖЕНИЙ ПО SLO: НАБЛЮДАЕМОСТЬ, ДИАГНОСТИКА И БЕЗОПАСНЫЕ ОПТИМИЗАЦИИ
В статье представлен подход к полуавтоматизированному улучшению производительности веб-приложений на основе rule-based пайплайна, интегрирующего целевые показатели обслуживания (SLO) и данные наблюдаемости (метрики, логи, трассировки). Методология включает выявление проблемных зон по симптомам, каталог оптимизаций и процедуру экспериментальной верификации воздействия на 95-й перцентиль задержки, частоту ошибок и эксплуатационные расходы. Фокус сделан на приложениях для энергетических компаний. Новизна состоит в критериях выбора оптимизаций, учитывающих не только ускорение, но и риск отката, стоимость и влияние на устойчивость, а также в протоколе A/B-тестирования с bootstrap-доверительными интервалами. Экспериментальная проверка на сценариях ввода показаний, платежей, доступа к аккаунту и регистрации обращений показала снижение p95 задержки на 48–55 % (bootstrap 95 % CI для Δp95 от 1,4 до 2,3 с), частоты ошибок на 70–93 % и эксплуатационных расходов на 40–58 % (по отдельным операциям) относительно baseline. Агрегированная экономия составила 42 %.
Ключевые слова: веб-приложения, производительность, целевые показатели обслуживания, наблюдаемость, автотюнинг, диагностика узких мест, A/B-тестирование, перцентили задержки, безопасные оптимизации, DevOps, SRE.
Список литературы
О. Д. Соколова, С. В. Кратов, К. В. Ткачев
Институт вычислительной математики и математической геофизики СО РАН, 630090, Новосибирск, Россия
СОВРЕМЕННЫЕ СИСТЕМЫ МОНИТОРИНГА ЧРЕЗВЫЧАЙНЫХ СИТУАЦИЙ В ОКРУЖАЮЩЕЙ ПРИРОДНОЙ СРЕДЕ. ОБЗОР ПУБЛИКАЦИЙ
В последние годы в окружающей природной среде заметны изменения, которые приводят к увеличению числа стихийных бедствий. Причинами этого являются рост промышленного производства, выбросы вредных веществ в атмосферу. Требования к мониторингу состояния окружающей среды все время возрастают, т. к. для своевременного реагирования на возникающие чрезвычайные ситуации необходимо получать актуальную информацию о состоянии воздуха, воды, лесных массивов, чтобы обеспечить принятие мер и минимизировать последствия. Публикации на эту тему как в российских, так и в зарубежных научных журналах отмечают, что современный мониторинг требует точных методов и инструментов для наблюдений в атмосфере и прогнозирования возможных стихийных бедствий, их масштабов. Авторы в своих исследованиях описывают современные технологии мониторинга экологических систем, математические методы и модели для выявления и прогнозирования различных видов стихийных бедствий. Основной тенденцией становится переход от стационарных станций мониторинга к интеллектуальным сетям датчиков на базе Интернета вещей и облачных платформ, т. к. это позволяет собирать точные данные в режиме реального времени. Далее в статье представлен аналитический обзор публикаций по теме применения современных методов для мониторинга трех наиболее актуальных бедствий: лесных пожаров, нефтяных разливов, наводнений. Также приводится обзор исследований, в которых описывается применение методов искусственного интеллекта (ИИ) в системах мониторинга окружающей среды.
Ключевые слова: мониторинг окружающей среды, дистанционное зондирование Земли, геоинформационные системы (ГИС), сети сбора и передачи данных, методы искусственного интеллекта (ИИ).
Исследование выполнено в рамках государственного задания ИВМ и МГ СО РАН FWNM-2025-0005.
Список литературы
Институт вычислительной математики и математической геофизики СО РАН, 630090, Новосибирск, Россия
ТЕХНОЛОГИЯ РЕШЕНИЯ ЗАДАЧИ РИМАНА С ПОМОЩЬЮ МЕТОДА ХАРТЕНА - ЛАКСА - ВАН ЛЕЕРА
Использование метода типа Хартена - Лакса - ван Леера с учетом контактного разрыва (HLLC, Harten - Lax - van Leer Contact в зарубежной литературе) для решения задачи Римана в рамках схемы Годунова при решении уравнений гиперболического типа является одним из наиболее эффективных методов. Такая эффективность достигается специальным учетом тангенциального разрыва в сплошной среде, ошибка в котором не имеет численного механизма к самопроизведению, что приводит к значительному уменьшению численной диссипации схемы Годунова в целом. В представленной статье изложена единая технология построения решения задачи Римана для уравнений идеальной газовой динамики, идеальной магнитной газовой динамики, специальной релятивистской газовой динамики и специальной релятивистской магнитной газовой динамики, что покрывает большинство математических моделей эволюции космической плазмы. В основе технологии лежит запись уравнений в виде симметрической гиперболической системы, для которой предложена единая схема вычисления соотношений на контактном разрыве, с учетом кусочно-параболической реконструкции физических переменных. Верификация разработанного математического аппарата проведена на классических одномерных тестах, допускающих аналитическое решение.
Ключевые слова: схема Годунова, методы HLL/HLLC, задача Римана.
Исследования выполнены в рамках государственного задания ИВМ и МГ СО РАН FWNM-2025-0005.
Список литературы
- Toro E. F., Spruce M., Speares W. Restoration of the contact surface in the HLL-Riemann solver // Shock Waves. 1994. Vol. 4. P. 25–34. DOI 10.1007/BF01414629.
- Toro E. F. The HLLC Riemann solver // Shock Waves. 2019. Vol. 29. P. 1065–1082. DOI 10.1007/s00193-019-00912-4.
- Li S. An HLLC Riemann solver for magneto-hydrodynamics // Journal of Computational Physics. 2005. Vol. 203. P. 344–357. DOI 10.1016/j.jcp.2004.08.020.
- Mignone A., Bodo G. An HLLC Riemann solver for relativistic flows — I. Hydrodynamics // Monthly Notices of the Royal Astronomical Society. 2005. Vol. 364. P. 126–136. DOI 10.1111/j.1365- 2966.2005.09546.x.
- Mignone A., Bodo G. An HLLC Riemann solver for relativistic flows — II. Magnetohydrodynamics // Monthly Notices of the Royal Astronomical Society. 2006. Vol. 368. P. 1040–1054. DOI 10.1111/j.1365-2966.2006.10162.x.
- Honkkila V., Janhunen P. HLLC solver for ideal relativistic MHD // Journal of Computational Physics. 2007. Vol. 223. P. 643–656. DOI 10.1016/j.jcp.2006.09.027.
- Kim J., Balsara D. A stable HLLC Riemann solver for relativistic magnetohydrodynamics // Journal of Computational Physics. 2014. Vol. 270. P. 634–639. DOI 10.1016/j.jcp.2014.04.023.
- Vorobyov E., Kulikov I., Elbakyan V., McKevitt J., Guedel M. Dust growth and pebble formation in the initial stages of protoplanetary disk evolution // Astronomy and Astrophysics. 2024. Vol. 683. Article Number A202. DOI 10.1051/0004-6361/202348023.
- Kulikov I., Karavaev D. One Construction of HLLC Riemann Solver for Special Relativistic Magnetohydrodynamics Equations // Lobachevskii Journal of Mathematics. 2026. Vol. 47. P. 234–242. DOI 10.1134/S1995080225614456.
- Kulikov I., Chernykh I., Tutukov A. A New Hydrodynamic Code with Explicit Vectorization Instructions Optimizations that Is Dedicated to the Numerical Simulation of Astrophysical Gas Flow. I. Numerical Method, Tests, and Model Problems // The Astrophysical Journal Supplement Series. 2019. Vol. 243. Article Number 4. DOI 10.3847/1538-4365/ab2237.
- Kulikov I. A new code for the numerical simulation of relativistic flows on supercomputers by means of a low-dissipation scheme // Computer Physics Communications. 2020. Vol. 257. Article Number 107532. DOI 10.1016/j.cpc.2020.107532.
- Godunov S. K., Kulikov I. M. Computation of discontinuous solutions of fluid dynamics equations with entropy nondecrease guarantee // Computational Mathematics and Mathematical Physics. 2014. Vol. 54. P. 1012–1024. DOI 10.1134/S0965542514060086.
- Trakhinin Yu. L. About well-posedness of a free boundary problem for ideal compressible MHD equations and Maxwell equations in vacuum // Journal of Mathematical Sciences. 2025. Vol. 293. P. 601–616. DOI 10.1007/s10958-025-08028-0.
- Keppens R. Nonlinear Magnetohydrodynamics: Numerical Concepts // Fusion Science and Technology. 2004. Vol. 45. P. 107–114. DOI 10.13182/FST04-A474.
- Freistuehler H., Trakhinin Yu. Symmetrizations of RMHD equations and stability of relativistic current-vortex sheets // Classical and Quantum Gravity. 2013. Vol. 30. Article Number 085012. DOI 10.1088/0264-9381/30/8/085012.
Библиографическая ссылка: Куликов И. М. Технология решения задачи Римана с помощью метода Хартена - Лакса - ван Леера //"Проблемы информатики", 2026, № 3, с.40-59. DOI: 10.24412/2073-0667-2026-3-40-59
Институт вычислительной математики и математической геофизики СО РАН, 630090, Новосибирск, Россия
ПОСТРОЕНИЕ И ОПТИМИЗАЦИЯ ТОПОЛОГИЧЕСКИХ СТРУКТУР РЕГУЛЯРНЫХ СЕТЕЙ С ПАРАМЕТРИЧЕСКИМ ОПИСАНИЕМ
Рассмотрены алгоритмы построения и оптимизации перспективных классов топологических структур — параметрически задаваемых регулярных графов (R графов). Предложена новая модель топологий сетей связи для многопроцессорных систем и сетей на кристалле — класс многоуровневых параметрически задаваемых регулярных MR сетей (MR графов). В данной работе в качестве элементов построения при генерации многоуровневых сетей рассмотрены параметрически задаваемые регулярные графы, имеющие компактное параметрическое описание с периодической симметрией, которые объединяются с помощью предложенной ранее авторами операции многоуровневой композиции графов. При синтезе многоуровневых сетей разработан и применен алгоритм дифференциальной эволюции для определения оптимальных параметров генерируемой топологии, минимизирующих среднее расстояние сети при заданных числе узлов, степени узлов, числе классов симметрии и числе уровней. Алгоритм синтеза оптимальных сетей разработан с помощью больших языковых моделей и реализован на процессоре Kunpeng 920. Показано, что построенные обычные и многоуровневые R сети имеют лучшие структурные характеристики, чем циркулянтные сети и многоуровневые циркулянтные сети при одинаковых затратах оборудования (количестве узлов и линий связи).
Ключевые слова: параметрически задаваемый регулярный граф, среднее расстояние, параметрическое описание, циркулянтная сеть, оптимальный граф, большая языковая модель.
Работа выполнена при финансовой поддержке бюджетным проектом ИВМ и МГ СО РАН (код проекта FWNM-2025-0005).
Список литературы
- Монахов О. Г. Параметрическое описание структур однородных вычислительных систем // В кн.: Вопросы теории и построения вычислительных систем. (Вычислительные системы, вып. 80). Новосибирск, 1979. С. 3–17.
- Monakhov O., Monakhova E. A Class of Parametric Regular Networks for Multicomputer Architectures // Computaci´on y Sistemas. 2000. Vol. 4. P. 85–93.
- Huang X., Ramos A. F., Deng Y. Optimal circulant graphs as low-latency network topologies // Journal of Supercomputing. 2022. Vol. 78. P. 13491–13510. DOI 10.1007/s11227-022-04396-5.
- Deng Y., Guo M., Ramos A. F., Huang X., Xu Z., Liu W. Optimal low-latency network topologies for cluster performance enhancement // Journal of Supercomputing. 2020. Vol. 76, № 12. P. 9558–9584.
- Monakhov O., Monakhova E. Construction of Multi-level Regular Networks Based on the Operation of Composition of Circulant Graphs // Mathematical Modeling and Supercomputer Technologies. MMST 2025. Communications in Computer and Information Science. Vol. 2815. Cham: Springer, 2026. DOI 10.1007/978-3-032-15761-4.
- Монахов О. Г., Монахова Э. А. Генерация многоуровневых регулярных сетей на основе операции композиции модифицированных хордальных графов с использованием больших языковых моделей // Проблемы информатики. 2025. № 4. С. 38–51. DOI 10.24412/2073-0667-2025-438-51.
- Kivela M., Arenas A., Barthelemy M., Gleeson J. P., Moreno Y., Porter M. Multilayer Networks // Journal of Complex Networks. 2014. Vol. 2, № 3. P. 203–271. DOI 10.1093/comnet/cnu016.
- Кальней А. М. Модели многоуровневых сетей (краткий обзор) // Проблемы информатики. 2021. № 3. С. 5–20. DOI 10.24412/2073-0667-2021-3-5-20.
- Кальней А. М., Родионов А. С. Анализ надежности многоуровневых сетей с ненадежными вершинами // Проблемы информатики. 2020. № 2. С. 5–15. DOI 10.24411/2073-0667-2020-10005.
- Monakhova E. A Survey on Undirected Circulant Graphs // Discrete Mathematics, Algorithms and Applications. 2012. Vol. 4, № 1. Article 1250002.
- Ledzinski D., Smigiel S., Zabludowski L. Analyzing methods of network topologies based on chordal rings // Turkish Journal of Electrical Engineering and Computer Sciences. 2018. Vol. 26, № 3. Article 25.
- Krnc M., Wilson R. Recognizing generalized Petersen graphs in linear time // Discrete Applied Mathematics. 2020. Vol. 283. P. 756–761. DOI 10.1016/j.dam.2020.03.007.
- Storn R., Price K. Differential Evolution — A Simple and Efficient Heuristic for Global Optimization over Continuous Spaces // Journal of Global Optimization. 1997. Vol. 11, № 4. P. 341– 359.
- Монахов О. Г., Монахова Э. А. База данных оптимальных циркулянтных сетей степени четыре с единичной образующей. [Электрон. Рес.]: https://github.com/mila0411/Double-loop- networks/tree/main/Dataset (дата обращения 29.04.2026).
Библиографическая ссылка: Монахов О. Г., Монахова Э. А. Построение и оптимизация топологических структур регулярных сетей с параметрическим описанием //"Проблемы информатики", 2026, № 3, с.60-74. DOI: 10.24412/2073-0667-2026-3-60-74
- Институт вычислительной математики и математической геофизики СО РАН, 630090, Новосибирск, Россия
- Институт цитологии и генетики СО РАН, 630090, Новосибирск, Россия
- Новосибирский национальный исследовательский государственный университет, 630090, Новосибирск, Россия
ПОСТРОЕНИЕ БАЗЫ АКТИВНЫХ ЗНАНИЙ ДЛЯ АВТОМАТИЧЕСКОГО РЕШЕНИЯ ЗАДАЧИ АНАЛИЗА ВТОРИЧНОЙ СТРУКТУРЫ РНК
Рассматривается проблема автоматизации решения задач биоинформатики на основе баз активных знаний — частичного формального описания предметной области и библиотеки существующих программных модулей. В отличие от других подходов, основанных на ручном построении вычислительных конвейеров, программа решения задачи строится автоматически по ее высокоуровневой спецификации на основе базы активных знаний. Система автоматически синтезирует программу, выбирая и комбинируя имеющиеся модули с учетом их нефункциональных свойств, и обеспечивает параллельное исполнение независимых операций. Подход применен к задаче анализа вторичной структуры РНК. Рассматривается постановка задачи и процесс построения базы активных знаний для ее решения на основе существующих программных модулей из библиотеки ViennaRNA. Разработан прототип базы активных знаний с операциями предсказания структуры по одной и по множеству последовательностей РНК с выравниванием. Проведено тестирование на последовательностях консервативных доменов 5 и 6 интрона группы II из генома органелл Solanoideae. Предсказанные вторичные структуры согласуются с известными моделями, что подтверждает правильность автоматически построенного решения. Показана возможность автоматической реализации параллельных вычислений и перспективность расширения подхода для интеграции с существующими биоинформатическими платформами.
Ключевые слова: биоинформатика, автоматическое конструирование программ, анализ вторичной структуры РНК, концепция активных знаний.
Исследование выполнено в рамках государственного задания ИВМ и МГ СО РАН FWNM-2025-0005 и при поддержке бюджетного проекта No. FWNR-2026-0023 ФИЦ ИЦиГ СО РАН.
Список литературы
- The Galaxy Community, The Galaxy platform for accessible, reproducible and collaborative biomedical analyses: 2022 update // Nucleic Acids Research. 5 July 2022. V. 50, Iss. W1, , P. W345– W351, https://doi.org/10.1093/nar/gkac247.
- Reich M., Liefeld T., Gould J. et al. GenePattern 2.0. Nat Genet 2006, 38, 500–501. https://doi.org/10.1038/ng0506-500.
- Di Tommaso P., Chatzou M., Floden E. et al. Nextflow enables reproducible computational workflows // Nat Biotechnol. 2017. N 35. P. 316–319. https://doi.org/10.1038/nbt.3820.
- Chen X., Chang J. T. Planning bioinformatics workflows using an expert system // Bioinformatics. April 2017. V. 33. Iss. 8. P 1210–1215. https://doi.org/10.1093/bioinformatics/ btw817.
- Jung N., Bertrand F., Bahram S., Vallat L., Maumy-Bertrand M. Cascade: a R package to study, predict and simulate the diffusion of a signal through a temporal gene network // Bioinformatics. February 2014. V. 30. Iss. 4. P. 571–573. https://doi.org/10.1093/bioinformatics/ btt705.
- Marchesi R., Micheletti N., I-Hsien Kuo N., Barbieri S., Jurman G., Osmani V. (2025) Generative AI mitigates representation bias and improves model fairness through synthetic health data. PLoS Comput Biol 21(5): e1013080. https://doi.org/10.1371/journal.pcbi.1013080.
- Sosic M., Sikic M. Edlib: a C/C++ library for fast, exact sequence alignment using edit distance // Bioinformatics. May 2017. V. 33. Iss. 9. P. 1394–1395. https://doi.org/10.1093/ bioinformatics/btw753.
- Malyshkin V. Active Knowledge, LuNA and Literacy for Oncoming Centuries // In Essays Dedicated to Pierpaolo Degano on Programming Languages with Applications to Biology and Security. 2015. V. 9465. Springer-Verlag, Berlin, Heidelberg. P. 292–303.
- Chandrasekaran B., Josephson J. R., Benjamins V. R. What are ontologies, and why do we need them? IEEE Intell Syst. 1999;14(1):20–26. DOI: 10.1109/5254.747902.
- Podkolodnyy N. L., Podkolodnaya O. A. Ontologies in bioinformatics and systems biology // Vavilov Journal of Genetics and Breeding. 2015;19(6):652–660. DOI: 10.18699/VJ15.090.
- Podkolodnyy N. L., Podkolodnaya O. A., Ivanisenko V. A., Marchenko M. A. Ontologies in modelling and analysing of big genetic data // Vavilovskii Zhurnal Genetiki i Selektsii = Vavilov Journal of Genetics and Breeding. 2024;28(8): 940–949. DOI: 10.18699/vjgb-24-101.
- BioPortal, the world’s most comprehensive repository of biomedical ontologies. [Электрон. Рес.]: https://bioportal.bioontology.org/ontologies (дата обращения 01.06.2026).
- Manda P. Large Language Models in Bio-Ontology Research: A Review // Bioengineering. 2025; 12(11):1260. DOI: 10.3390/bioengineering12111260.
- Ison J., Kalas M., Jonassen I., Bolser D., Uludag M., McWilliam H., Malone J., Lopez R., Pettifer S., Rice P. EDAM: an ontology of bioinformatics operations, types of data and identifiers, topics and formats // Bioinformatics. 2013 May. 15;29(10):1325–32. DOI: 10.1093/bioinformatics/btt113.
- Callahan T. J., Tripodi I. J., Stefanski A. L. et al. An open source knowledge graph ecosystem for the life sciences. Sci Data. 2024;11(1):363. DOI: 10.1038/s41597-024-03171-w.
- Синтез параллельных программ и систем на вычислительных моделях // Вальковский В. А., Малышкин В. Э.; Отв. ред. Котов В. Е.; АН СССР, Сиб. отд-ние, ВЦ. Новосибирск: Наука. Сиб. отд-ние, 1988. 126 с.
- Малышкин В. Э., Перепелкин В. А. Построение баз активных знаний для автоматического конструирования решений прикладных задач на основе системы LuNA // Параллельные вычислительные технологии — XVIII всероссийская научная конференция с международным участием, ПаВТ’2024, г. Челябинск, 2–4 апреля 2024 г. Короткие статьи и описания плакатов. Челябинск: Издательский центр ЮУрГУ, 2024. с. 57–68. DOI: 10.14529/pct2024
- Кудрявцев А. А., Малышкин В. Э., Нуштаев Ю. Ю., Перепелкин В. А., Спирин В. А. Эффективная фрагментированная реализация краевой задачи фильтрации двухфазной жидкости // Проблемы информатики. 2023. № 2. С. 45–73. DOI: 10.24412/2073-0667-2023-2-45-73.
- Выродов А. Ю., Перепелкин В. А., Хайретдинов М. С., Хрыпченко А. В. Принципы организации программно-аналитической системы для параллельной обработки сейсмических данных // Вестник СибГУТИ. 2024. № 18(2). С. 57–68. DOI: 10.55648/1998-6920-2024-18-2-57-68.
- Schukin G., Perepelkin V., Malyshkin V. Parallelization of a Scientific Application Using Didal Distributed Data Library // In: Malyshkin, V. (eds) Parallel Computing Technologies. PaCT 2025. Lecture Notes in Computer Science, 2026. V. 16185. Springer, Cham. P. 124–139. https://doi. org/10.1007/978-3-032-06751-7_9.
- Lorenz R., Bernhart S. H., Ho¨ ner zu Siederdissen C. et al. ViennaRNA Package 2.0. Algorithms Mol Biol 6, 26 (2011). https://doi.org/10.1186/1748-7188-6-26
- Nawrocki E. P., Eddy S. R. Infernal 1.1: 100-fold faster RNA homology searches // Bioinformatics. November 2013. V. 29. Iss. 22. P. 2933–2935. https://doi.org/10.1093/ bioinformatics/btt509.
- Steffen P., Voss B., REhmsmEier M., Reeder J., GiEgEriCh R. RNAshapes: an integrated RNA analysis package based on abstract shapes // Bioinformatics. February 2006. V. 22. Iss. 4. P. 500–503. https://doi.org/10.1093/bioinformatics/btk010.
- Gorodnichev M., Lebedev D. Semantic tools for development of high-level interactive applications for supercomputers // J Supercomput 77, 11866–11880 (2021). https://doi.org/10. 1007/s11227-021-03731-6.
- Деменков П. С., Мухин А. М., Иванисенко В. А., Лашин С. А., Колчанов Н. А. Цифровая платформа «Микробиотех»: архитектура и назначение // Проблемы информатики. 2024. № 4 (65). С. 27–36. DOI: 10.24412/2073-0667-2024-4-27-36.
Библиографическая ссылка: Перепелкин В. А., Титов И. И., Подколодный Н. Л., Матус Н. Е., Шевелев Е. И., Колчанов Н. А., Марченко М. А. Построение базы активных знаний для автоматического решения задачи анализа вторичной структуры РНК //"Проблемы информатики", 2026, № 3, с.75-94. DOI: 10.24412/2073-0667-2026-3-75-94