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

2013, том 20, номер 6


Общие знания в хорошо структурированных системах с абсолютной памятью
Н. О. Гаранина
10
Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций
М. Х. Ахин, М. А. Беляев, В. М. Ицыксон
22
Формальная модель и задачи верификации программно-конфигурируемых сетей
В. А. Захаров, Р. Л. Смелянский, Е. В. Чемерицкий
36
Автоматическая верификация C-программ на основе смешанной аксиоматической семантики
И. В. Марьясов, В. А. Непомнящий, А. В. Промский, Д. А. Кондратьев
52
Автоматизация создания верифицированных тестовых сценариев на основе гидов
П. Д. Дробинцев, В. П. Котляров, А. А. Летичевский
64
Построение и верификация LD-программ ПЛК по LTL-спецификации
Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин
78
International Conference “Geometry, Topology, and Applications”
A. Garber, H. Edelsbrunner, A. Ivanov, O. Musin, M. Nevskii
95
Regular Polygonal Complexes of Higher Ranks in $\mathbb{E}^3$
Egon Schulte
103
On the Bootstrap for Persistence Diagrams and Landscapes
F. Chazal, B. T. Fasy, F. Lecci, A. Rinaldo, A. Singh, L. Wasserman
111
Subword Complexes and Nil-Hecke Moves
M. A. Gorsky
121
A Definition of Type Domain of a Parallelotope
V. P. Grishukhin
129
On the Areal Random Packing
Masaharu Tanemura
135
On Homology Groups of a Subspace of Triangulations of the Two-Simplex with not More than 6 Subdivisional Boundary Vertices
S. I. Yablokova
142
Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли
И. Х. Сабитов
149
Сегментация клинических эндоскопических изображений, основанная на классификации векторных топологических признаков
О. А. Дунаева, Д. Б. Малкова, М. Л. Мячин, Х. Эдельсбруннер
162
Построение оценки энтропии для специальной метрики и произвольной функции
Н. Е. Тимофеева
174
Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями
С. Д. Глызин, Е. А. Марушкина
179


© МИАН, 2025