Опис документа

Андрашов, А. А.
Верификация алгоритмов электронных проектов ПЛИС для систем аварийной защиты ядерных реакторов [Текст] / А.А. Андрашов, В.С. Харченко, Л.А. Рева та ін. // Системи управління, навігації та зв'язку : зб. наук. праць / ДП "Центр. наук. - дослід. ін-т навігації і упр.". — К. : ДП "Центр. наук. - дослід. ін-т навігації і упр.", 2012. — С. 45-50.

Автор: Андрашов А.А., Харченко В.С., Рева Л.А., Головир В.А., Шугаев А.Ю.

- Анотація:

Предлагаются принципы верификации алгоритмов электронных проектов ПЛИС, используемых в системах аварийной защиты ядерных реакторов. Дана классификация алгоритмов согласно критерию сложности. Описываются различные методы и приемы тестирования алгоритмов. Представлен пример верификации типового алгоритма системы аварийной защиты ядерного реактора на основе предложенных методов и подходов.

- Є складовою частиною документа:

Системи управління, навігації та зв'язку [Текст] : зб. наук. праць / ДП "Центр. наук. - дослід. ін-т навігації і упр.". — К. : ДП "Центр. наук. - дослід. ін-т навігації і упр.", 2012. — 278 с.

- Теми документа

Праці співробітників ХАІ // Андрашов А.О./Андрашов А.А.
Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ
УДК // Програмне забезпечення
Праці співробітників ХАІ // Харченко В.С./Kharchenko V.S.
УДК // Якість систем і програмного забезпечення

Наявність

Установа Кількість Документ на сайті установи

Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського Перейти на сайт