Верификация и валидация программируемых управляющих систем атомных станций
Рассматриваются вопросы, связанные с подтверждением технологии разработки
 программируемых управляющих систем (верификация ПУС) и их соответствия
 требованиям технического задания на систему при передаче в промышленную
 эксплуатацию (валидация ПУС) на АС. Отмечены преимуществ...
Saved in:
| Published in: | Ядерна та радіаційна безпека |
|---|---|
| Date: | 2010 |
| Main Author: | Алпеев, А.С. |
| Format: | Article |
| Language: | Russian |
| Published: |
Державне підприємство "Державний науково-технічний центр з ядерної та радіаційної безпеки" Держатомрегулювання України та НАН України
2010
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/97413 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Верификация и валидация программируемых управляющих систем атомных станций / А.С. Алпеев // Ядерна та радіаційна безпека. — 2010. — № 3. — С. 22-24. — Бібліогр.: 3 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Оптимизация стратегий продления эксплуатации систем, важных для безопасности атомных станций
by: Скалозубов, В.И., et al.
Published: (2018)
by: Скалозубов, В.И., et al.
Published: (2018)
О новой версии основных требований по обеспечению безопасности атомных станций
by: Копчинский, Г.А., et al.
Published: (2013)
by: Копчинский, Г.А., et al.
Published: (2013)
О подготовке специалистов в области снятия с эксплуатации атомных электрических станций
by: Носовский, А.В., et al.
Published: (2015)
by: Носовский, А.В., et al.
Published: (2015)
Метод оценки сопутствующих затрат в проектах снятия с эксплуатации энергоблоков атомных станций
by: Салий, Л.М.
Published: (2008)
by: Салий, Л.М.
Published: (2008)
Гармонизация национальных нормативных документов с рекомендациями МАГАТЭ относительно системы надежного электроснабжения атомных станций
by: Ведь, А.Н., et al.
Published: (2010)
by: Ведь, А.Н., et al.
Published: (2010)
Валидация моделей классификации гиперспектральных данных
by: Семенив, О.В., et al.
Published: (2008)
by: Семенив, О.В., et al.
Published: (2008)
Опыт применения пушек с плазменным катодом для электронно-лучевой сварки тепловыделяющих элементов атомных станций
by: Васильков, В.И., et al.
Published: (2002)
by: Васильков, В.И., et al.
Published: (2002)
Компьютерная безопасность информационных и управляющих систем АЭС: нормативная база
by: Клевцов, А.Л., et al.
Published: (2015)
by: Клевцов, А.Л., et al.
Published: (2015)
Комментарии к проекту основных требований безопасности атомных станций с учетом уроков аварии на АЭС Fukushima-Daiichi
by: Ключников, А.А., et al.
Published: (2014)
by: Ключников, А.А., et al.
Published: (2014)
Проектирование элементов систем управления, реализуемых на программируемых логических интегральных схемах в среде MatLab
by: Котенко, Ю.В., et al.
Published: (2007)
by: Котенко, Ю.В., et al.
Published: (2007)
Формальная верификация диаграммы классов
by: Литвинов, В.В., et al.
Published: (2013)
by: Литвинов, В.В., et al.
Published: (2013)
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
by: Визовитин, Н.В., et al.
Published: (2015)
by: Визовитин, Н.В., et al.
Published: (2015)
Особенности теоретических методов моделирования систем анализа управляющих решений
by: Дурняк, Б.В., et al.
Published: (2009)
by: Дурняк, Б.В., et al.
Published: (2009)
Верификация программ: состояние, проблемы, результаты. II
by: Крывый, С.Л., et al.
Published: (2014)
by: Крывый, С.Л., et al.
Published: (2014)
Верификация программ: состояние, проблемы, результаты. I
by: Крывый, С.Л., et al.
Published: (2013)
by: Крывый, С.Л., et al.
Published: (2013)
Опыт реализации управляющих систем безопасности и нормальной эксплуатации энергоблоков АЭС
by: Елисеев, В.В., et al.
Published: (2016)
by: Елисеев, В.В., et al.
Published: (2016)
Трехканальные фазометры на основе амплифазометров AD8302 и программируемых логических матриц для гетеродинного интерферометра миллиметрового диапазона
by: Варавин, А.В., et al.
Published: (2016)
by: Варавин, А.В., et al.
Published: (2016)
Модель взаимодействия пространственно-разнесенного комплекса бортовых информационно-управляющих систем
by: Додонов, А.Г., et al.
Published: (2004)
by: Додонов, А.Г., et al.
Published: (2004)
Проектирование и физическая верификация цифровых устройств на ПЛИС
by: Опанасенко, В.Н., et al.
Published: (2008)
by: Опанасенко, В.Н., et al.
Published: (2008)
Валидация метода спутниковой радиолокационной многоугловой диагностики нефтяных загрязнений морской поверхности
by: Матвеев, А.Я., et al.
Published: (2015)
by: Матвеев, А.Я., et al.
Published: (2015)
Валидация численного моделирования мезомасштабных особенностей атмосферной циркуляции в Крымском регионе
by: Ефимов, В.В., et al.
Published: (2011)
by: Ефимов, В.В., et al.
Published: (2011)
Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
by: Акуловский, В.Г., et al.
Published: (2013)
by: Акуловский, В.Г., et al.
Published: (2013)
Верификация программ: состояние, проблемы, экспериментальные результаты. I
by: Максимец, А.Н.
Published: (2013)
by: Максимец, А.Н.
Published: (2013)
Верификация программ: состояние, проблемы, экспериментальные результаты. II
by: Максимец, А.Н.
Published: (2014)
by: Максимец, А.Н.
Published: (2014)
Верификация коммуникационных структур гиперкуба параметрическими сетями Петри
by: Зайцев, Д.А., et al.
Published: (2010)
by: Зайцев, Д.А., et al.
Published: (2010)
Моделирование метода сечений для классификации пятен лазерных пучков с использованием программируемых логических интегральных схем
by: Тимченко, Л.И., et al.
Published: (2012)
by: Тимченко, Л.И., et al.
Published: (2012)
Совместная обработка траекторно измерительной информации при испытаниях сложных информационно-управляющих систем
by: Додонов, А.Г., et al.
Published: (2005)
by: Додонов, А.Г., et al.
Published: (2005)
Валидация теплогидравлической модели РУ с применением методики быстрого преобразования Фурье для количественной оценки полученных результатов
by: Мазурок, А.С., et al.
Published: (2014)
by: Мазурок, А.С., et al.
Published: (2014)
Состояние и проблемы материалов атомных реакторов Украины
by: Неклюдов, И.М.
Published: (2002)
by: Неклюдов, И.М.
Published: (2002)
Обнаружение и верификация оптико-переменных объектов на документах, удостоверяющих личность
by: Шумский, И.П., et al.
Published: (2012)
by: Шумский, И.П., et al.
Published: (2012)
Получение материалов на основе серебра для систем релейной защиты атомных электростанций
by: Финкель, В.А., et al.
Published: (2006)
by: Финкель, В.А., et al.
Published: (2006)
Об одном подходе к построению отказоустойчивых бортовых многопроцессорных вычислительно- управляющих систем
by: Катаев, О.В.
Published: (2008)
by: Катаев, О.В.
Published: (2008)
Взаимозаменяемость оболочек тепловыделяющих элементов атомных реакторов
by: Кузнецов, Д.Е., et al.
Published: (2006)
by: Кузнецов, Д.Е., et al.
Published: (2006)
Десинхронизация последних аварий на атомных электростанциях
by: Бибик, Т.В., et al.
Published: (2010)
by: Бибик, Т.В., et al.
Published: (2010)
Верификация имитационных моделей технологических процессов производства с переменной структурой
by: Смородин, В.С.
Published: (2007)
by: Смородин, В.С.
Published: (2007)
Валидация теплогидравлической модели реактора ВВЭР?1000/В-320 для расчетного кода TRACE
by: Яновский, С.Э., et al.
Published: (2016)
by: Яновский, С.Э., et al.
Published: (2016)
Разработка, верификация и сценарные эксперименты в агрегированной модели трофодинамики крупного водоема
by: Яцишин, А.В., et al.
Published: (2019)
by: Яцишин, А.В., et al.
Published: (2019)
Оценивание надежности оборудования управляющих систем и машин в условиях малой статистики или отсутствия отказов
by: Стрельников, П.В.
Published: (2013)
by: Стрельников, П.В.
Published: (2013)
Методологические аспекты полифакторных процессов обеспечения эффективности информационно-управляющих систем вoздушных судов
by: Скрипец, А.В., et al.
Published: (2009)
by: Скрипец, А.В., et al.
Published: (2009)
Односторонняя сварка плакированных трубопроводов атомных энергетических установок
by: Касаткин, О.Г., et al.
Published: (2012)
by: Касаткин, О.Г., et al.
Published: (2012)
Similar Items
-
Оптимизация стратегий продления эксплуатации систем, важных для безопасности атомных станций
by: Скалозубов, В.И., et al.
Published: (2018) -
О новой версии основных требований по обеспечению безопасности атомных станций
by: Копчинский, Г.А., et al.
Published: (2013) -
О подготовке специалистов в области снятия с эксплуатации атомных электрических станций
by: Носовский, А.В., et al.
Published: (2015) -
Метод оценки сопутствующих затрат в проектах снятия с эксплуатации энергоблоков атомных станций
by: Салий, Л.М.
Published: (2008) -
Гармонизация национальных нормативных документов с рекомендациями МАГАТЭ относительно системы надежного электроснабжения атомных станций
by: Ведь, А.Н., et al.
Published: (2010)