Buchumschlag

Верификация и валидация программируемых управляющих систем атомных станций

Рассматриваются вопросы, связанные с подтверждением технологии разработки программируемых управляющих систем (верификация ПУС) и их соответствия требованиям технического задания на систему при передаче в промышленную эксплуатацию (валидация ПУС) на АС. Отмечены преимуществ...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Ядерна та радіаційна безпека
Datum:	2010
1. Verfasser:	Алпеев, А.С.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Державне підприємство "Державний науково-технічний центр з ядерної та радіаційної безпеки" Держатомрегулювання України та НАН України 2010
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/97413
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Верификация и валидация программируемых управляющих систем атомных станций / А.С. Алпеев // Ядерна та радіаційна безпека. — 2010. — № 3. — С. 22-24. — Бібліогр.: 3 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Роль функциональных групп для классификации оборудования и обеспечения безопасности атомных станций
von: Алпеев, А.С.
Veröffentlicht: (2013)

Оптимизация стратегий продления эксплуатации систем, важных для безопасности атомных станций
von: Скалозубов, В.И., et al.
Veröffentlicht: (2018)

О новой версии основных требований по обеспечению безопасности атомных станций
von: Копчинский, Г.А., et al.
Veröffentlicht: (2013)

О подготовке специалистов в области снятия с эксплуатации атомных электрических станций
von: Носовский, А.В., et al.
Veröffentlicht: (2015)

Валидация моделей классификации гиперспектральных данных
von: Семенив, О.В., et al.
Veröffentlicht: (2008)

Метод оценки сопутствующих затрат в проектах снятия с эксплуатации энергоблоков атомных станций
von: Салий, Л.М.
Veröffentlicht: (2008)

Гармонизация национальных нормативных документов с рекомендациями МАГАТЭ относительно системы надежного электроснабжения атомных станций
von: Ведь, А.Н., et al.
Veröffentlicht: (2010)

Опыт применения пушек с плазменным катодом для электронно-лучевой сварки тепловыделяющих элементов атомных станций
von: Васильков, В.И., et al.
Veröffentlicht: (2002)

Компьютерная безопасность информационных и управляющих систем АЭС: категоризация
von: Клевцов, А.Л., et al.
Veröffentlicht: (2016)

Тестирование и верификация HDL-моделей цифровых систем на кристаллах
von: Хаханов, В.И., et al.
Veröffentlicht: (2010)

Компьютерная безопасность информационных и управляющих систем АЭС: кибернетические угрозы
von: Клевцов, А.Л., et al.
Veröffentlicht: (2015)

Компьютерная безопасность информационных и управляющих систем АЭС: нормативная база
von: Клевцов, А.Л., et al.
Veröffentlicht: (2015)

Комментарии к проекту основных требований безопасности атомных станций с учетом уроков аварии на АЭС Fukushima-Daiichi
von: Ключников, А.А., et al.
Veröffentlicht: (2014)

Формальная верификация диаграммы классов
von: Литвинов, В.В., et al.
Veröffentlicht: (2013)

Программа для расчета надежности информационных и управляющих систем АЭС
von: Клевцов, А.Л.
Veröffentlicht: (2013)

Проблемы синтеза масштабируемых интерфейсов для программируемых логических интегральных схем
von: Раскладкин, М.К.
Veröffentlicht: (2009)

Проектирование элементов систем управления, реализуемых на программируемых логических интегральных схемах в среде MatLab
von: Котенко, Ю.В., et al.
Veröffentlicht: (2007)

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
von: Визовитин, Н.В., et al.
Veröffentlicht: (2015)

Верификация программ: состояние, проблемы, результаты. I
von: Крывый, С.Л., et al.
Veröffentlicht: (2013)

Верификация программ: состояние, проблемы, результаты. II
von: Крывый, С.Л., et al.
Veröffentlicht: (2014)

Технико-экономическое саморегулирование эффективности функционирования информационно-управляющих систем
von: Аль-Аммори Али, et al.
Veröffentlicht: (2010)

Особенности теоретических методов моделирования систем анализа управляющих решений
von: Дурняк, Б.В., et al.
Veröffentlicht: (2009)

Валидация метода спутниковой радиолокационной многоугловой диагностики нефтяных загрязнений морской поверхности
von: Матвеев, А.Я., et al.
Veröffentlicht: (2015)

Опыт реализации управляющих систем безопасности и нормальной эксплуатации энергоблоков АЭС
von: Елисеев, В.В., et al.
Veröffentlicht: (2016)

Валидация численного моделирования мезомасштабных особенностей атмосферной циркуляции в Крымском регионе
von: Ефимов, В.В., et al.
Veröffentlicht: (2011)

Модель взаимодействия пространственно-разнесенного комплекса бортовых информационно-управляющих систем
von: Додонов, А.Г., et al.
Veröffentlicht: (2004)

Проектирование и физическая верификация цифровых устройств на ПЛИС
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2008)

Компьютерная безопасность информационных и управляющих систем АЭС: меры защиты от компьютерных угроз
von: Симонов, А.А., et al.
Veröffentlicht: (2016)

Трехканальные фазометры на основе амплифазометров AD8302 и программируемых логических матриц для гетеродинного интерферометра миллиметрового диапазона
von: Варавин, А.В., et al.
Veröffentlicht: (2016)

Методика оценки эффективности видов информационного резервирования информационно-управляющих систем
von: Аль-Аммори Али, et al.
Veröffentlicht: (2012)

Валидация теплогидравлической модели РУ с применением методики быстрого преобразования Фурье для количественной оценки полученных результатов
von: Мазурок, А.С., et al.
Veröffentlicht: (2014)

Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
von: Акуловский, В.Г., et al.
Veröffentlicht: (2013)

Верификация программ: состояние, проблемы, экспериментальные результаты. II
von: Максимец, А.Н.
Veröffentlicht: (2014)

Верификация программ: состояние, проблемы, экспериментальные результаты. I
von: Максимец, А.Н.
Veröffentlicht: (2013)

Верификация коммуникационных структур гиперкуба параметрическими сетями Петри
von: Зайцев, Д.А., et al.
Veröffentlicht: (2010)

Состояние и проблемы материалов атомных реакторов Украины
von: Неклюдов, И.М.
Veröffentlicht: (2002)

Совместная обработка траекторно измерительной информации при испытаниях сложных информационно-управляющих систем
von: Додонов, А.Г., et al.
Veröffentlicht: (2005)

Моделирование метода сечений для классификации пятен лазерных пучков с использованием программируемых логических интегральных схем
von: Тимченко, Л.И., et al.
Veröffentlicht: (2012)

Валидация теплогидравлической модели реактора ВВЭР?1000/В-320 для расчетного кода TRACE
von: Яновский, С.Э., et al.
Veröffentlicht: (2016)

Обнаружение и верификация оптико-переменных объектов на документах, удостоверяющих личность
von: Шумский, И.П., et al.
Veröffentlicht: (2012)