Инженерный журнал: наука и инновацииЭЛЕКТРОННОЕ НАУЧНО-ТЕХНИЧЕСКОЕ ИЗДАНИЕ
свидетельство о регистрации СМИ Эл № ФС77-53688 от 17 апреля 2013 г. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский

К вопросу об оценке вероятности ошибки тестирования систем информационной безопасности

Опубликовано: 03.11.2012

Авторы: Басараб М.А., Медведев Н.В., Троицкий И.И.

Опубликовано в выпуске: #3(3)/2012

DOI: 10.18698/2308-6033-2012-3-129

Раздел: Информационные технологии | Рубрика: Информационная безопасность

Эффективное восстановление сведений о разделах при повреждениях систем разделов накопителей

Опубликовано: 03.11.2012

Авторы: Шашлов А.М.

Опубликовано в выпуске: #3(3)/2012

DOI: 10.18698/2308-6033-2012-3-130

Раздел: Информационные технологии | Рубрика: Информационная безопасность

Моделирование геометрии кисти руки методом R-функций в задачах биометрии

Опубликовано: 03.11.2012

Авторы: Басараб М.А., Кондрашов К.В.

Опубликовано в выпуске: #3(3)/2012

DOI: 10.18698/2308-6033-2012-3-131

Раздел: Информационные технологии | Рубрика: Биометрические технологии

Оптимизация управления в двухуровневой иерархической системе стабилизации – наведения летательного аппарата

Опубликовано: 27.12.2012

Авторы: Ванин А.В., Воронов Е.М., Карпунин А.А.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-422

Раздел: Информационные технологии | Рубрика: Управление и навигация

Математическое моделирование надежности компьютерных систем и сетей

Опубликовано: 31.12.2012

Авторы: Ананенков А.Е., Березкин Д.В., Можаров Г.П., Свирин И.С.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-477

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети

Подход к верификации моделей систем реального времени с помощью метода Model Checking

Опубликовано: 31.12.2012

Авторы: Андреев А.М., Козлов И.А.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-478

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети

Использование результатов теории мартингалов для оценки надежности программного обеспечения компьютерных систем и сетей

Опубликовано: 31.12.2012

Авторы: Андреев А.М., Можаров Г.П.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-479

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети

Проблема создания национальной российской программной платформы, место и роль ВНИИНСа в ее разработке и реализации

Опубликовано: 01.01.2013

Авторы: Павлусик И.А., Андреев А.М.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-480

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети

Подход к поиску взаимных блокировок в многопоточном программном обеспечении с помощью верификатора SPIN

Опубликовано: 01.01.2013

Авторы: Можаров Г.П., Парфилов И.В.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-481

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети

Математическая модель многопоточной программы и правила безопасного многопоточного программирования

Опубликовано: 01.01.2013

Авторы: Свирин И.С., Силин П.А., Сюзев В.В.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-482

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети