Том 20, № 6 (2013)

Содержание

Editorials

От редакторов специального выпуска PDF (Rus)
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов 7-9

Оригинальные статьи

Общие знания в хорошо структурированных системах с абсолютной памятью PDF (Rus)
Наталья Олеговна Гаранина 10-21
Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций PDF (Rus)
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон 22-35
Формальная модель и задачи верификации программно-конфигурируемых сетей PDF (Rus)
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий 36-51
Автоматическая верификация C-программ на основе смешанной аксиоматической семантики PDF (Rus)
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев 52-63
Автоматизация создания верифицированных тестовых сценариев на основе гидов PDF (Rus)
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Александр Адольфович Летичевский 64-77
Построение и верификация LD-программ ПЛК по LTL-спецификации PDF (Rus)
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин 78-94
Международная конференция “Геометрия, топология и и приложения” PDF (Rus) PDF (Eng)
Алексей Гарбер, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский 95-102
Правильные полигональные комплексы высших рангов в E³ PDF (Rus) PDF (Eng)
Шульте Эйгон 103-110
О бутстрэпе для диаграмм и ландшафтов персистентности PDF (Rus) PDF (Eng)
Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман 111-120
Комплексы подслов и ниль-движения Гекке PDF (Rus) PDF (Eng)
Михаил Александрович Горский 121-128
Определение области типа параллелоэдра PDF (Rus) PDF (Eng)
Вячеслав Петрович Гришухин 129-134
О региональных случайных упаковках PDF (Rus) PDF (Eng)
Масахару Танемура 135-141
О группах гомологий одного подпространства триангуляций двумерного симплекса с не более чем 6 точками разбиения границы PDF (Rus) PDF (Eng)
Светлана Ивановна Яблокова 142-148
Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли PDF (Rus)
Иджад Хакович Сабитов 149-161
Сегментация клинических эндоскопических изображений, основанная на классификации векторных топологических признаков PDF (Rus)
Ольга Александровна Дунаева, Дарья Борисовна Малкова, Михаил Леонидович Мячин, Херберт Эдельсбруннер 162-173
Построение оценки энтропии для специальной метрики и произвольной функции PDF (Rus)
Нина Евгеньевна Тимофеева 174-178
Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями PDF (Rus)
Сергей Дмитриевич Глызин, Елена Александровна Марушкина 179-199


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)