RUS  ENG
Полная версия
ЖУРНАЛЫ // Моделирование и анализ информационных систем // Архив

2021, том 28, номер 1


Algorithms
Алгоритмы поиска с возвратом для построения гамильтонова разложения $4$-регулярного мультиграфа
А. В. Коростиль, А. В. Николаев
6
NP-полнота задачи о минимальном остовном дереве в кратном графе кратности $k \geqslant 3$
А. В. Смирнов
22

Computer system organization
О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований
П. Д. Борисов, Ю. В. Косолапов
38

Computing methodologies and applications
Онлайн тестирование динамических реконфигураций по отношению к политикам адаптации
Ф. Дадо, Ж. Гро, О. Б. Кушнаренко
52
Алгоритм корректировки уровней полезных сигналов при расшифровке вихретоковых дефектограмм
Е. В. Кузьмин, О. Е. Горбунов, П. О. Плотников, В. А. Тюкин, В. А. Башкин
74

Discrete mathematics in relation to computer science
Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта)
В. С. Рублев, М. Д. Кондаков
90

Theory of computing
LTL-спецификация счётчиковых машин
Е. В. Кузьмин
104


© МИАН, 2025