Том 38, выпуск 3, часть 2


Труды Института системного программирования РАН. Том 38, выпуск 3, часть 2, 2026, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией Академика РАН А.И. Аветисяна

Содержание

Асатрян Д.Г., Андреасян Л.К., Сажумян Г.С. Эмпирические формулы оценивания параметров распределения Райса Стр. 7-14.

Луценко В.В., Герюгова А.Э., Бабенко М.Г. Высокоскоростной алгоритм определения знака числа в системе остаточных классов на основе функции ядра Акушского Стр. 15-32.

Кознов Д.В., Усачев Д.А. Статический анализатор для распознавания массивов в С-программах для задач фаззинга Стр. 33-48.

Суворов Н. М. DPN Verifier: Инструментарий для ускоренной верификации и исправления дефектных моделей процессов с данными Стр. 49-66.

Караваева Е.А., Кулигин Л.А., Резуник Л.А., Александров Д.В. Рефакторинг исходного кода на основе LLM и расширения UML Стр. 67-94.

Степанянц В.Г., Хорошилов Г.С., Долгов И.М., Нархов Е.А., Карпухин А.В. Интегрированная среда моделирования для верификации и валидации программ управления подключенными и высокоавтоматизированными транспортными средствами Стр. 95-110.

Дроздов Д.С., Михалкович С.С. Архитектурный подход к быстрой кросс-языковой навигации по связанным сущностям в программных проектах Стр. 111-132.

Кирячёк В.А., Салпагаров С.И. Обнаружение аномалий в журналах компьютерных систем на основе полуобучения и обработки естественного языка Стр. 133-148.

Малых В.А., Дорош М. Обнаружение человеческих правок в русскоязычных сгенерированных научных текстах Стр. 149-160.

Нуриев А.Н., Исмагилов Д.А., Гумеров Н.Н. Реализация численной модели плавания рыбы в OpenFOAM Стр. 161-174.

Нуриева Ф.Ш., Хисматуллина И.М. Отражение фонетических особенностей говора жителей села Варна Челябинской области в дневниковых записях татарина-казака Ибрагима Махмутова (1878-1916 гг.) Стр. 175-186.

Муратова Р.Т. Названия для мясного бульона и супа в тюркских и финно-угорских языках Урало-Поволжья Стр. 187-196.

Копнин В.Н., Лагутина К.В., Полетаев А.Ю., Лагутина Н.С. Применение языковых моделей для автоматической проверки открытых ответов учащихся Стр. 197-214.

Гончарова О.В., Липатова А.В., Напреенко Г.В. Социальное конструирование медиаобраза феномена «искусственного интеллекта» в российских новостных Telegram-каналах Стр. 215-224.

Вернуться к списку всех томов