Другие журналы

научное издание МГТУ им. Н.Э. Баумана

НАУКА и ОБРАЗОВАНИЕ

Издатель ФГБОУ ВПО "МГТУ им. Н.Э. Баумана". Эл № ФС 77 - 48211.  ISSN 1994-0408

Публикации с ключевым словом - 4D-тор

Найдено: 1
Верификация программных моделей коммуникационных сетей
# 10, октябрь 2012
DOI: 10.7463/1012.0479500
Иванов А. М., Власов А. И.
Создание программных моделей цифровых устройств предполагает проверку соответствия разрабатываемого программного проекта изначальным требованиям к логическим функциям устройства. В работе рассмотрены принципы построения тестового программного окружения при проектировании логических цифровых модулей высокоскоростной коммуникационной сети. Проанализированы методы верификации программных моделей логических модулей распределенных систем передачи и обработки данных. Представлено тестовое программное окружение для блока маршрутизатора, отвечающего за прием и передачу информационных пакетов.
 
ПОИСК
 
elibrary crossref ulrichsweb neicon rusycon
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (915) 336-07-65 (строго: среда; пятница c 11-00 до 17-00)
  RSS
© 2003-2017 «Наука и образование»
Перепечатка материалов журнала без согласования с редакцией запрещена
 Тел.: +7 (915) 336-07-65 (строго: среда; пятница c 11-00 до 17-00)