Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана

Подробное описание документа

   Журнал

   Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение.
   Спец. вып. Моделирование и идентификация. - 2012.

1 экз.
Вы можете получить данный документ в одном из следующих отделов
  1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
  2. Читальный зал ауд.313, ГУК, ауд. 313

Содержание

с. 3-46
   Статья
   Математическое моделирование надежности компьютерных систем и сетей / Андреев А. М., Березкин Д. В., Можаров Г. П., Свирин Ил. С.
с. 47-60
   Статья
Андреев А. М., Козлов И. А.
   Подход к верификации моделей систем реального времени с помощью метода Model Checking / Андреев А. М., Козлов И. А.
с. 61-69
   Статья
Андреев А. М., Можаров Г. П.
   Использование результатов теории мартингалов для оценки надежности программного обеспечения компьютерных систем и сетей / Андреев А. М., Можаров Г. П.
с. 70-85
   Статья
Павлусик И. А., Андреев А. М.
   Проблемы создания национальной российской программной платформы, место и роль ВНИИНСа в ее разработке и реализации / Павлусик И. А., Андреев А. М.
с. 86-94
   Статья
Можаров Г. П., Парфилов И. В.
   Подход к поиску взаимных блокировок в многопоточном программном обеспечении с помощью верификатора SPIN / Можаров Г. П., Парфилов И. В.
с. 95-111
   Статья
Силин П. А., Свирин Ил. С., Сюзев В. В.
   Математическая модель многопоточной программы и правила безопасного многопоточного программирования / Силин П. А., Свирин Ил. С., Сюзев В. В.
с. 112-121
   Статья
   Математическая модель взаимных блокировок. Корректное использование исключающих семафоров / Свирин Ил. С., Силин П. А., Сюзев В. В., Зарецкая Е. А.
с. 122-132
   Статья
Андреев А. М., Свирин Ив. С.
   Регрессионное тестирование автоматизированных систем учета, построенных на базе конфигуратора / Андреев А. М., Свирин Ив. С.
с. 133-152
   Статья
Андреев А. М., Усовик С. В.
   Модель трафика корпоративной телекоммуникацион-ной сети с пакетной коммутацией в задаче кластеризации при условии ограниченного наблюдения / Андреев А. М., Усовик С. В.
с. 153-167
   Статья
Сюзев В. В., Ханин А. А.
   Гибридный метод оптического распознавания текста с коррекцией результатов распознавания / Сюзев В. В., Ханин А. А.
с. 168-179
   Статья
Можаров Г. П., Чеботарев Р. С.
   Текстонезависимый метод идентификации человека по его голосу / Можаров Г. П., Чеботарев Р. С.