Форма пошуку
Назад
укр
рус
eng
Cписок
Андрашов А.А., Харченко В.С., Рева Л.А., Головир В.А., Шугаев А.Ю.
Верификация алгоритмов электронных проектов ПЛИС для систем аварийной защиты ядерных реакторов
Вид документа:
Складова частина документа
Автор:
Андрашов А.А., Харченко В.С., Рева Л.А., Головир В.А., Шугаев А.Ю.
Вид автора:
персона
Мова:
Російська
Обсяг:
С. 45-50
УДК:
004.4:004.054
Аннотацiя:
Предлагаются принципы верификации алгоритмов электронных проектов ПЛИС, используемых в системах аварийной защиты ядерных реакторов. Дана классификация алгоритмов согласно критерию сложности. Описываются различные методы и приемы тестирования алгоритмов. Представлен пример верификации типового алгоритма системы аварийной защиты ядерного реактора на основе предложенных методов и подходов.
Є складовою частиною документа:
Системи управління, навігації та зв'язку
Відомості щодо головного
Вид автора головного документа
:
Персона
Назва головного документа
:
Системи управління, навігації та зв'язку
Відомості про відповідальність головного документа
:
М-во промисл. політики України, ДП "Центр. наук.-дослідн. ін-т навігації і управління"
Місце видання головного документа
:
К.
Видавник головного документа
:
ДП "Центр. наук.-дослідн. ін-т навігації і управління"
Дата видання головного документа
:
2010
Номер частини головного документа
:
Вип. 4(16)
Шифр головного документа
:
681.5
Авторський знак головного документа
:
С40
Загальна інформація
Бібліографія
:
6 назв
Теми документа:
УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.05 Якість систем і програмного забезпечення/Качество систем и программного обеспечения/System and software quality
УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.4 Програмне забезпечення/Программные средства/Software
Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ Х/ Харченко В.С./Kharchenko V.S.
Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ
Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ А/ Андрашов А.О./Андрашов А.А./Andrashov A.