Форма пошуку Назад
укр рус eng
 Cписок

Андрашов А.А., Харченко В.С., Рева Л.А., Головир В.А., Шугаев А.Ю.
Верификация алгоритмов электронных проектов ПЛИС для систем аварийной защиты ядерных реакторов

Вид документа: Складова частина документа
Автор: Андрашов А.А., Харченко В.С., Рева Л.А., Головир В.А., Шугаев А.Ю. Вид автора: персона
Мова: Російська Обсяг: С. 45-50
УДК: 004.4:004.054

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

Є складовою частиною документа: Системи управління, навігації та зв'язку

Відомості щодо головного
 Вид автора головного документа:Персона
 Назва головного документа:Системи управління, навігації та зв'язку
 Відомості про відповідальність головного документа:М-во промисл. політики України, ДП "Центр. наук.-дослідн. ін-т навігації і управління"
 Місце видання головного документа:К.
 Видавник головного документа:ДП "Центр. наук.-дослідн. ін-т навігації і управління"
 Дата видання головного документа:2010
 Номер частини головного документа:Вип. 4(16)
 Шифр головного документа:681.5
 Авторський знак головного документа:С40

Загальна інформація
 Бібліографія:6 назв

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