Том 19, № 6 (2012)

Содержание

Редакционные статьи

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

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

Наследcтвенные свойства модульных сетей PDF (Rus)
Владимир Анатольевич Башкин 9-20
Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри PDF (Rus)
Дмитрий Анатольевич Зайцев 21-33
Дедуктивная верификация телекоммуникационных систем, представленных на языке Си PDF (Rus)
Игорь Сергеевич Ануреев 34-44
Как разработать простое средство верификации систем реального времени PDF (Rus)
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов 45-56
Дедуктивная верификация протокола скользящего окна PDF (Rus)
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий 57-68
Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения PDF (Rus)
Марат Халимович Ахин, Владимир Михайлович Ицыксон 69-78
Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов PDF (Rus)
Александр Валентинович Колчин, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко, Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров 79-91
Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д. Александрова PDF (Rus) PDF (Eng)
Николай Долбилин, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский 92-100
Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ PDF (Rus)
Анатолий Игоревич Антонов, Владимир Александрович Бондаренко 101-106
О некоторых следствиях теоремы о трансверсалях PDF (Rus)
Владимир Леонидович Дольников 107-111
О некоторых задачах локализации в триангуляциях Делоне PDF (Rus)
Наталья Федоровна Дышкант 112-126
Непрерывное уплощение правильного тетраэдра точными отображениями PDF (Rus) PDF (Eng)
Джин-ичи Ито, Чи Нара 127-136
Совершенные призмоиды и гипотеза о минимальном числе граней центрально-симметричных многогранников PDF (Rus)
Марина Александровна Козачок 137-147
Равномерная асимптотика верхней границы дисперсии для случайного многогранника PDF (Rus) PDF (Eng)
Александр Николаевич Магазинов 148-151
Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов PDF (Rus)
Олег Рустумович Мусин, Алексей Юрьевич Ухалов, Герберт Эдельсбруннер, Ольга Павловна Якимова 152-160
Многочлены объема для некоторых многогранников в пространствах постоянной кривизны PDF (Rus)
Денис Иджадович Сабитов, Иджад Хакович Сабитов 161-169
Новое доказательство формулы Эйлера PDF (Rus)
Михаил Иванович Штогрин 170-172


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


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