Моделирование и анализ информационных систем: Последний выпуск http://www.mathnet.ru/rus/mais 2026, том 33, выпуск номер 2 ru-ru Copyright 2026, Ярославский государственный университет им. П. Г. Демидова Tue, 04 Aug 2026 00:00:00 +0300 math-net2026_09@mi-ras.ru tche@mi-ras.ru Моделирование и анализ информационных систем http://www.mathnet.ru/JrnLogos/mais/mais1.jpg http://www.mathnet.ru/rus/mais Построение операционной семантики языков программирования в виде исполняемых онтологических моделей программ И. С. Ануреев, Н. О. Гаранина, Д. А. Кондратьев, С. П. Горлач Модел. и анализ информ. систем, 2026, 33:2, 122--149 http://mi.mathnet.ru/rus/mais865 Tue, 04 Aug 2026 00:00:00 +0300 Tue, 04 Aug 2026 00:00:00 +0300 http://mi.mathnet.ru/rus/mais865 Автоматизация доказательства условий корректности в системе дедуктивной верификации poST-программ И. М. Черненко, И. С. Ануреев Модел. и анализ информ. систем, 2026, 33:2, 150--175 http://mi.mathnet.ru/rus/mais866 Tue, 04 Aug 2026 00:00:00 +0300 Tue, 04 Aug 2026 00:00:00 +0300 http://mi.mathnet.ru/rus/mais866 Графовые паттерны в несогласованных декларативных моделях процессов А. Н. Анненков, Р. А. Нестеров Модел. и анализ информ. систем, 2026, 33:2, 176--205 http://mi.mathnet.ru/rus/mais867 Tue, 04 Aug 2026 00:00:00 +0300 Tue, 04 Aug 2026 00:00:00 +0300 http://mi.mathnet.ru/rus/mais867 Модель прямоугольного шума на основе телеграфного процесса Л. Ю. Быстров, А. Н. Гладков, Е. В. Кузьмин Модел. и анализ информ. систем, 2026, 33:2, 206--229 http://mi.mathnet.ru/rus/mais868 Tue, 04 Aug 2026 00:00:00 +0300 Tue, 04 Aug 2026 00:00:00 +0300 http://mi.mathnet.ru/rus/mais868 Применение метода деревьев рисков для повышения надежности привязной высотной беспилотной платформы Н. М. Иванова, В. М. Вишневский Модел. и анализ информ. систем, 2026, 33:2, 230--255 http://mi.mathnet.ru/rus/mais869 Tue, 04 Aug 2026 00:00:00 +0300 Tue, 04 Aug 2026 00:00:00 +0300 http://mi.mathnet.ru/rus/mais869 Большие цепочки из логистических уравнений с запаздыванием со связями адвективного типа: алгоритм построения квазинормальных форм Е. А. Марушкина, Е. И. Толбей Модел. и анализ информ. систем, 2026, 33:2, 256--265 http://mi.mathnet.ru/rus/mais870 Tue, 04 Aug 2026 00:00:00 +0300 Tue, 04 Aug 2026 00:00:00 +0300 http://mi.mathnet.ru/rus/mais870 Метод ранжирования планов выполнения SQL-запросов на основе текстового описания и моделей векторных представлений Н. К. Василенко Модел. и анализ информ. систем, 2026, 33:2, 266--280 http://mi.mathnet.ru/rus/mais871 Tue, 04 Aug 2026 00:00:00 +0300 Tue, 04 Aug 2026 00:00:00 +0300 http://mi.mathnet.ru/rus/mais871