Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
Моделирование и анализ информационных систем
журнал
Индексирование: Список РИНЦ (1 января 1970 г.-), Список ВАК (1 января 1970 г.-), Журналы РФ в RSCI WoS (1 января 1970 г.-)
Период активности журнала: не указан
Другие названия журнала:
Модел. и анализ информ систем
,
Модел. и анализ информ. систем
,
Моделирование и анализ информационных систем
Издательство:
Яросл. гос. ун-т
Местоположение издательства:
Ярославль
Добавил в систему:
Афонин Сергей Александрович
ISSN:
1818-1015
Редколлегия
Захаров Владимир Анатольевич
,
с 22 августа 2016
Смелянский Руслан Леонидович
,
с 16 августа 1999
Статьи, опубликованные в журнале
Страницы: << предыдущая
1
2
3
4
следующая >>
2021
Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ
Миронов А.М.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 28, № 4, с. 394-412
DOI
2021
О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени
Гнатенко А.Р.
,
Захаров В.А.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 28, № 4, с. 378-393
DOI
2020
InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels
Kukharenko Vladimir Aleksandrovich
,
Ziborov Kirill Viktorovich
,
Sadykov Rafael Faritovich
,
Naumchev Alexandr Vladimirovich
,
Rezin Ruslan Maratovich
,
Merkin-Janson Leonid Albertovich
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 27, № 4, с. 454-471
DOI
2020
InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels
Kukharenko Vladimir Aleksandrovich
,
Ziborov Kirill Viktorovich
,
Sadykov Rafael Faritovich
, Naumchev Alexandr Vladimirovich, Rezin Ruslan Maratovich,
Merkin-Janson Leonid Albertovich
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 27, № 4, с. 454-471
DOI
2020
Research and Development of an Algorithm for the Response Time Estimation in Multiprocessor Systems Under the Interval Uncertainty of the Tasks Execution Times
Glonina Alevtina B.,
Gonopolskiy Mark G.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 27, № 2, с. 218-233
DOI
2020
Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ
Гонопольский М.Г.
,
Глонина А.Б.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 27, № 2, с. 218-233
DOI
2020
О задаче верификации моделей программ для одного расширения логики CTL*
Гнатенко А.Р.
,
Захаров В.А.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 27, № 4, с. 428-441
DOI
2020
О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени
Винарский Е.М.
,
Захаров В.А.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 27, № 4, с. 396-411
DOI
2020
Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов
Захаров В.А.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 27, № 3, с. 260-303
DOI
2019
«Общие критерии» и безопасность программно-конфигурируемых сетей
Петухов А.Н.,
Пилюгин П.Л.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 26, № 1, с. 134-145
DOI
2019
Алгоритм минимизации количества правил маршрутизации в ПКС
Петров И.С.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 26, № 1, с. 122-133
DOI
2019
Анализ условий возникновения пространственно-неоднородных структур световых волн в оптических системах передачи информации
Кубышкин Е.П.
, Куликов В.А.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 26, № 2, с. 297-305
2019
Анализ условий возникновения пространственно-неоднородных структур световых волн в оптических системах передачи информации
Кубышкин Е.П., Куликов В.А.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 26, № 2, с. 297-305
2019
Анализ эффективности демультиплексирования транспортных потоков
Stepanov Evgeniy P.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 26, № 1, с. 170-190
DOI
2019
Иерархические периферийные вычисления
Смелянский Р.Л.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 26, № 1, с. 146-169
DOI
2019
Об одном подходе к построению сетевого процессорного устройства
Беззубцев С.О.
,
Васин В.В.
,
Волканов Д.Ю.
,
Жайлауова Ш.Р.
,
Мирошник В.А.
,
Скобцова Ю.А.
,
Смелянский Р.Л.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 26, № 1, с. 39-62
DOI
2019
Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции
Антоненко В.А.
,
Смелянский Р.Л.
,
Плакунов А.В.
, Михеев П.А.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 26, № 1, с. 7-22
DOI
2019
Построение бортовых сетей реального времени на основе технологии ПКС
Балашов В.В.
,
Костенко В.А.
, Ермакова Т.И.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 1, № 26, с. 23-38
DOI
2019
Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей
Пашков В.Н.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 26, № 1, с. 101-121
DOI
2019
Формальная верификация диаграмм троичных цифровых сигналов
Куцак Н.Ю.
,
Подымов В.В.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 26, № 3, с. 332-350
DOI
2018
Асимптотическое приближение решения уравнения реакция-диффузия-адвекция с нелинейным адвективным слагаемым
Антипов Е.А.
,
Левашова Н.Т.
,
Нефедов Н.Н.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 25, № 1, с. 17-31
DOI
2018
Верхнее и нижнее решения для системы уравнений типа ФицХью–Нагумо
Быцюра С.В.
,
Левашова Н.Т.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 25, № 1, с. 33-53
DOI
2018
Даже простые процессы pi-исчисления трудны для анализа
Аббас Марат Мазен
,
Захаров Владимир Анатольевич
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 25, № 6, с. 589-606
DOI
2018
О выразительных возможностях некоторых расширений линейной темпоральной логики
Гнатенко А.Р.
,
Захаров В.А.
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 25, № 5, с. 506-524
DOI
2018
О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов
Глонина А.Б.
,
Балашов Василий Викторович
в журнале
Моделирование и анализ информационных систем
, издательство
Яросл. гос. ун-т
(Ярославль)
, том 25, № 2, с. 174-192
DOI
Страницы: << предыдущая
1
2
3
4
следующая >>