Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Ядерна та радіаційна безпека
Дата:	2010
Автор:	Алпеев, А.С.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Державне підприємство "Державний науково-технічний центр з ядерної та радіаційної безпеки" Держатомрегулювання України та НАН України 2010
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/97413
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Верификация и валидация программируемых управляющих систем атомных станций / А.С. Алпеев // Ядерна та радіаційна безпека. — 2010. — № 3. — С. 22-24. — Бібліогр.: 3 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

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

О новой версии основных требований по обеспечению безопасности атомных станций
за авторством: Копчинский, Г.А., та інші
Опубліковано: (2013)

О подготовке специалистов в области снятия с эксплуатации атомных электрических станций
за авторством: Носовский, А.В., та інші
Опубліковано: (2015)

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

Гармонизация национальных нормативных документов с рекомендациями МАГАТЭ относительно системы надежного электроснабжения атомных станций
за авторством: Ведь, А.Н., та інші
Опубліковано: (2010)

Валидация моделей классификации гиперспектральных данных
за авторством: Семенив, О.В., та інші
Опубліковано: (2008)

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

Компьютерная безопасность информационных и управляющих систем АЭС: нормативная база
за авторством: Клевцов, А.Л., та інші
Опубліковано: (2015)

Комментарии к проекту основных требований безопасности атомных станций с учетом уроков аварии на АЭС Fukushima-Daiichi
за авторством: Ключников, А.А., та інші
Опубліковано: (2014)

Проектирование элементов систем управления, реализуемых на программируемых логических интегральных схемах в среде MatLab
за авторством: Котенко, Ю.В., та інші
Опубліковано: (2007)

Формальная верификация диаграммы классов
за авторством: Литвинов, В.В., та інші
Опубліковано: (2013)

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
за авторством: Визовитин, Н.В., та інші
Опубліковано: (2015)

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

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

Верификация программ: состояние, проблемы, результаты. II
за авторством: Крывый, С.Л., та інші
Опубліковано: (2014)

Верификация программ: состояние, проблемы, результаты. I
за авторством: Крывый, С.Л., та інші
Опубліковано: (2013)

Трехканальные фазометры на основе амплифазометров AD8302 и программируемых логических матриц для гетеродинного интерферометра миллиметрового диапазона
за авторством: Варавин, А.В., та інші
Опубліковано: (2016)

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

Проектирование и физическая верификация цифровых устройств на ПЛИС
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2008)

Валидация метода спутниковой радиолокационной многоугловой диагностики нефтяных загрязнений морской поверхности
за авторством: Матвеев, А.Я., та інші
Опубліковано: (2015)

Валидация численного моделирования мезомасштабных особенностей атмосферной циркуляции в Крымском регионе
за авторством: Ефимов, В.В., та інші
Опубліковано: (2011)

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

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

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

Верификация коммуникационных структур гиперкуба параметрическими сетями Петри
за авторством: Зайцев, Д.А., та інші
Опубліковано: (2010)

Моделирование метода сечений для классификации пятен лазерных пучков с использованием программируемых логических интегральных схем
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2012)

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

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

Состояние и проблемы материалов атомных реакторов Украины
за авторством: Неклюдов, И.М.
Опубліковано: (2002)

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

Получение материалов на основе серебра для систем релейной защиты атомных электростанций
за авторством: Финкель, В.А., та інші
Опубліковано: (2006)

Об одном подходе к построению отказоустойчивых бортовых многопроцессорных вычислительно- управляющих систем
за авторством: Катаев, О.В.
Опубліковано: (2008)

Взаимозаменяемость оболочек тепловыделяющих элементов атомных реакторов
за авторством: Кузнецов, Д.Е., та інші
Опубліковано: (2006)

Десинхронизация последних аварий на атомных электростанциях
за авторством: Бибик, Т.В., та інші
Опубліковано: (2010)

Верификация имитационных моделей технологических процессов производства с переменной структурой
за авторством: Смородин, В.С.
Опубліковано: (2007)

Валидация теплогидравлической модели реактора ВВЭР?1000/В-320 для расчетного кода TRACE
за авторством: Яновский, С.Э., та інші
Опубліковано: (2016)

Разработка, верификация и сценарные эксперименты в агрегированной модели трофодинамики крупного водоема
за авторством: Яцишин, А.В., та інші
Опубліковано: (2019)

Оценивание надежности оборудования управляющих систем и машин в условиях малой статистики или отсутствия отказов
за авторством: Стрельников, П.В.
Опубліковано: (2013)

Методологические аспекты полифакторных процессов обеспечения эффективности информационно-управляющих систем вoздушных судов
за авторством: Скрипец, А.В., та інші
Опубліковано: (2009)

Односторонняя сварка плакированных трубопроводов атомных энергетических установок
за авторством: Касаткин, О.Г., та інші
Опубліковано: (2012)