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

2014, том 21, номер 2


Механизм антивирусной защиты на базе $(n,t)$-пороговой ДЦП с Арбитром
Е. А. Толюпа
5
О поддержке рекурсивно-параллельного программирования в .NET Framework
В. В. Васильчиков
15
Построение IL-программ ПЛК по LTL-спецификации
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
26
Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем
Д. М. Иванов
39
Некоторые аппроксимационные свойства групп конечного ранга
Д. Н. Азаров
50
Разрешимость эквивалентности в перегородчатых моделях программ
Р. И. Подловченко, А. Э. Молчанов
56
Неклассические релаксационные колебания в нейродинамике
С. Д. Глызин, А. Ю. Колесов, Н. Х. Розов
71
Приводимость пространства модулей стабильных рефлексивных пучков ранга $2$ с классами Черна $c_1=-1$, $c_2=4$, $c_3=2$ на пространстве $\mathbb{P}^3$
А. С. Тихомиров, М. А. Заводчиков
90


© МИАН, 2026