Том 20, № 4 (2013)

Содержание

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

Построение и верификация ПЛК-программ по LTL-спецификации PDF (Rus)
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин 5-22
О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом PDF (Rus)
Владимир Анатольевич Башкин, Ирина Александровна Ломазова 23-40
Автоматизация формирования табличных приложений PDF (Rus)
Сергей Владимирович Зыкин 41-54
Алгоритм (n, t)-пороговой доверенной цифровой подписи с Арбитром PDF (Rus)
Евгений Алексеевич Толюпа 55-70
К теореме Делоне о классификации схождений параллелоэдров в гранях коразмерности 3 PDF (Rus)
Александр Николаевич Магазино 71-80
Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 PDF (Rus)
Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов 81-90
Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах PDF (Rus)
Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый 91-103
Исследование ортогональности сигналов с вращением вектора поляризации PDF (Rus)
Юрий Евгеньевич Боровков, Александр Николаевич Кренев, Виктор Николаевич Муравьев, Александр Прокофьевич Омельчук 104-109
Программно-конфигурируемые сети как этап эволюции сетевых технологий PDF (Rus)
Артем Александрович Красотин, Игорь Вадимович Алексеев 110-124
Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний PDF (Rus)
Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов 125-135
Проектирование и разработка имитационной модели мультиклиентского кластера баз данных PDF (Rus)
Евгений Александрович Бойцов 136-149


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


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