Сборники трудов ИСП РАН


Труды Института системного программирования РАН. Том 31, выпуск 4, 2019, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

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

Скачать полный выпуск
PDF


Содержание

Годунов А.Н., Чемерев Ф.Н. Средства трассировки ОС РВ семейства «Багет» Стр. 7-28.

Силаков Д.В. Автоматизация обнаружения и анализа ошибок в гиперконвергентных системах Стр. 29-38.

Старолетов С.М., Амосов М.С., Шульга К.М. Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации Стр. 39-60.

Тимохин П.Ю., Михайлюк М.В., Вожегов Е.М., Пантелей К.Д. Технология и методы отложенного синтеза 4K-стереороликов для сложных динамических виртуальных сцен Стр. 61-72.

Панди М., Литория Р., Панди П. Применение подхода Fuzzy-DEMATEL при анализе проблем мобильных приложений Стр. 73-96.

Карпов Ю.Л., Волкова И.А., Вылиток А.А., Карпов Л.Е., Сметанин Ю.Г. Проектирование интерфейсов классов графовой модели нейронной сети Стр. 97-112.

Нужный А.С. Регуляризация Байеса при подборе весовых коэффициентов в ансамблях предикторов Стр. 113-120.

Авдошин С.М., Береснева Е.Н. Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности Стр. 121-138.

Зубкова Н.С., Шершаков С.А. Метод построения UML диаграмм деятельности по журналам событий Стр. 139-150.

Перцухов П.А., Мицюк А.А. Симуляция сетей Петри с ингибиторными дугами и дугами сброса Стр. 151-162.

Серебренников К.Г. Вычисление приоритетов срабатывания переходов для живых сетей Петри Стр. 163-174.

Твардовский А.С., Евтушенко Н.В. Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций Стр. 175-188.

Бурдонов И.Б. Самотрансформация деревьев с ограниченной степенью вершин с целью минимизации или максимизации индекса Винера Стр. 189-210.

Шеметова Е.Н., Григорьев С.В. Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик Стр. 211-226.

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