Preview

Моделирование и анализ информационных систем

Расширенный поиск

Информация о разделе


Theory of Computing

 
Выпуск Название
 
Том 30, № 3 (2023) Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) Аннотация   PDF (Eng)
Дмитрий Александрович Кондратьев
 
Том 30, № 3 (2023) Распределение Больцмана в проблеме рационального выбора популяцией участка при неполной информации о его ресурсах Аннотация   PDF (Rus)
Александр Николаевич Кириллов, Инна Владимировна Данилова
 
Том 30, № 1 (2023) Расширение языка C для поддержки процедурно-параметрического полиморфизма Аннотация   PDF (Rus)
Александр Иванович Легалов, Павел Владимирович Косов
 
Том 29, № 3 (2022) На пути к нейросетевой маршрутизации с верифицированными границами эффективности Аннотация   PDF (Rus)
Игорь Петрович Бужинский, Анатолий Абрамович Шалыто
 
Том 29, № 3 (2022) Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO Аннотация   PDF (Rus)
Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский
 
Том 29, № 1 (2022) LTL-спецификация ограниченных счётчиковых машин Аннотация   PDF (Rus)
Егор Владимирович Кузьмин
 
Том 29, № 1 (2022) Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС Аннотация   PDF (Rus)
Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров
 
Том 28, № 4 (2021) Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX Аннотация   PDF (Rus)
Томас Баар, Хорст Шульте
 
Том 28, № 4 (2021) Подход к автонастройке параллельных программ методом проверки моделей Аннотация   PDF (Rus)
Наталья Олеговна Гаранина, Сергей Петрович Горлач
 
Том 28, № 4 (2021) О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени Аннотация   PDF (Rus)
Антон Романович Гнатенко, Владимир Анатольевич Захаров
 
Том 28, № 4 (2021) На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer Аннотация   PDF (Rus)
Дмитрий Александрович Кондратьев
 
Том 28, № 4 (2021) Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ Аннотация   PDF (Rus)
Андрей Михайлович Миронов
 
Том 28, № 4 (2021) Рекурсивная проверка включения для рекурсивно определенных подтипов Аннотация   PDF (Rus)
Ханс Де Нивелле
 
Том 28, № 3 (2021) Исследование нелинейных полиномиальных систем управления Аннотация   PDF (Eng)
Сергей Николаевич Чуканов, Илья Станиславович Чуканов
 
Том 28, № 2 (2021) Трансформация функционально-потоковых параллельных программ в императивные Аннотация   PDF (Rus)
Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков
 
Том 28, № 1 (2021) LTL-спецификация счётчиковых машин Аннотация   PDF (Rus)
Егор Владимирович Кузьмин
 
Том 27, № 4 (2020) Темпоральная логика для программируемых логических контроллеров Аннотация   PDF (Rus)
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач
 
Том 27, № 4 (2020) О задаче верификации моделей программ для одного расширения логики CTL* Аннотация   PDF (Rus)
Антон Романович Гнатенко, Владимир Анатольевич Захаров
 
Том 27, № 4 (2020) Алгоритмы для BDI-агентов, основанные на знаниях Аннотация   PDF (Rus)
Николай Вячеславович Шилов, Наталья Олеговна Гаранина
 
Том 27, № 4 (2020) InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации Аннотация   PDF (Rus)
Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин
 
Том 27, № 4 (2020) Архитектура формально-верифицированной системы распределенного реестра InnoChain Аннотация   PDF (Rus)
Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев
 
Том 27, № 4 (2020) Правило «одной пятой» с возвратами для настройки размера популяции в генетическом алгоритме (1 + (λ,λ)) Аннотация   PDF (Rus)
Антон Олегович Басин, Максим Викторович Буздалов, Анатолий Абрамович Шалыто
 
Том 27, № 4 (2020) О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени Аннотация   PDF (Rus)
Евгений Максимович Винарский, Владимир Анатольевич Захаров
 
Том 27, № 4 (2020) Синтез установочных последовательностей для автоматов с временными ограничениями Аннотация   PDF (Rus)
Александр Сергеевич Твардовский, Нина Владимировна Евтушенко
 
Том 27, № 3 (2020) Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов Аннотация   PDF (Rus)
Владимир Анатольевич Захаров
 
Том 27, № 3 (2020) О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций Аннотация   PDF (Rus)
Валерий Анатольевич Соколов
 
Том 27, № 2 (2020) Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных Аннотация   PDF (Rus)
Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова
 
Том 27, № 1 (2020) Об одном разбиении отрезка, применяемом для оценки энтропии Аннотация   PDF (Rus)
Евгений Александрович Тимофеев
 
Том 26, № 2 (2019) К вопросу использования «полезных» задач для обеспечения работой блокчейн систем Аннотация   PDF (Rus)
Дмитрий Михайлович Мурин, Владимир Николаевич Князев
 
Том 26, № 2 (2019) Анализ возможностей практического использования моделей решеточных газов Аннотация   PDF (Rus)
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин
 
Том 26, № 2 (2019) Существование несмещенной состоятельной оценки энтропии для специальной меры Бернулли Аннотация   PDF (Rus)
Евгений Александрович Тимофеев
 
1 - 31 из 31 результатов