Комплексный метод верификации и валидации информационно-измерительной и управляющей системы для активной зоны водо-водяных реакторов
Анализ опыта верификации и валидации информационно-измерительных и управляющих систем для АЭС. Разработка проектных решений по системе внутриреакторного контроля. Характеристика информационных и программных средств для отдельных модулей атомной станции.
Подобные документы
Исследование встроенных средств развития, предназначенных для сборки программных систем (ПС) из готовых проблемных модулей. Анализ канонической структуры и средств декларации оболочки ПС. Пример создания компоненты ПС в виде схемы потоков данных.
статья, добавлен 15.04.2018Понятие даталогической модели базы данных, отражающей логические взаимосвязи между элементами данных безотносительно их содержания и физической организации. Метод нормализации реляционных таблиц. Анализ процесса последовательного преобразования таблиц.
курсовая работа, добавлен 11.06.2011Система видеоконтроля - комплекс специальных технических средств безопасности, обеспечивающий непрерывный визуальный контроль объекта. Понятие верификации и верификационного признака. Список объектов, подлежащих защите и организации видеоконтроля.
статья, добавлен 10.01.2016Изучение микропроцессорных информационно-управляющих систем на примере программы ISaGRAF. Создание базы данных переменных ввода-вывода. Привязка переменных к платам ввода-вывода. Компиляция и отладка программы. Схема управления автоматом с двойным АПВ.
курсовая работа, добавлен 07.08.2013Выделение ряда слабо формализуемых функциональных задач, существенно влияющих на эффективность функционирования распределённых информационно-аналитических систем. Разработка схемы итерационного процесса и прикладных средств моделирования ситуаций.
статья, добавлен 20.05.2017Рассмотрение авторского метода верификации программ программируемых логических контроллеров, входящих в состав автоматизированных систем управления технологическими процессами. Система семантического анализа многомерных интервально-логических регуляторов.
статья, добавлен 16.07.2018Выбор и обоснование средств разработки приложения баз данных. Изучение интерфейса программы 1С: Предприятие 8.3. Проектирование модульной структуры для создания информационно-справочной системы аптек. Разработка справочников, документов и форм к ним.
курсовая работа, добавлен 01.06.2020Анализ особенностей разработки и стандартизации программных средств и информационных технологий, рассмотрение основных требований. Знакомство с этапами формирования отчета "Заказы за период". Общая характеристика способов установки и запуска программы.
курсовая работа, добавлен 14.06.2013Анализ преимуществ современных операционной системы (Linux) и ее модулей, разработка серверных приложений. Особенности передачи данных в информационных сетях, классификация протоколов. Особенности файловой системы, принципы выбора программных средств.
контрольная работа, добавлен 01.12.2015Основные методологии проектирования информационных систем. Проектирование информационно-аналитической системы. Построение объектно-ориентированной, логической и физической моделей. Основы работы в Rational Rose Enterprise Edition и MySQL Workbench.
курсовая работа, добавлен 30.04.2019Анализ и разработка архитектуры программного обеспечения системы BioMediCAD. Разработка информационных и программных средств учета индивидуальных особенностей человеческого организма, механизмов хранения описания биомеханических систем в базе данных.
автореферат, добавлен 31.07.2018Основные функции, выполняемые микропроцессорами в современных контрольно-измерительных средствах. Характеристика направлений применения вычислительных приспособлений в приборостроении. Особенность блочно-иерархического подхода при проектировании систем.
лекция, добавлен 13.11.2014Анализ информационно-аналитической системы комплексного развития городской среды. Решение проблемы мониторинга эффективности подсистем ИАС МКР. Список метрик для анализа нагрузки подсистем. Разработка проекта системы логирования, тестирования и отладки.
дипломная работа, добавлен 01.12.2019Понятие информатизации, информационной среды, информационных технологий. Классификация информационных систем. Интегрированные системы управления предприятием. Архитектура информационно-аналитических систем. Информатизация железнодорожного транспорта.
курсовая работа, добавлен 22.08.2014Обоснование проектных решений по автоматизированной информационной системе управления продажами. Характеристика программных средств, применяемых при разработке системы. Расчет экономического эффекта от внедрения автоматизированной информационной системы.
дипломная работа, добавлен 01.10.2017Условия функционирования защищенных информационно-вычислительных систем. Модель обеспечения скрытности информационного обмена распределенных сетей. Предложения по обеспечению структурной скрытности современных информационно-вычислительных систем.
дипломная работа, добавлен 21.12.2012Понятие и виды информационно–поисковых систем. Регистрация документов и анализ иных источников для их построения. Задачи документационного обеспечения управления предприятием. Характеристика основных технологий ИПС. Учет и анализ объема документооборота.
реферат, добавлен 12.03.2015Информационно-поисковая система, ее понятие, сущность, виды, основные функции. История создания компании "Яндекс", ее деятельность и поисковая система. Характеристика информационно-правовой системы КонсультантПлюс, основные возможности ее использования.
контрольная работа, добавлен 21.09.2009Классификация информационных измерительных систем. Характеристика принципа сочетания системности и агрегирования. Анализ метода минимизации старших иерархических связей информации. Особенность способа физической однородности распределения функций.
реферат, добавлен 21.09.2015Описание предметной области, входной и выходной информации. Сравнительная характеристика систем управления базами данных, выбор среды программирования и технических средств. Разработка физической и логической моделей, описание программных модулей.
курсовая работа, добавлен 27.10.2012Процесс построения метрико-интервальных моделей. Алгоритм выбора средств для оценивания готовности управляющих систем с использованием марковских процессов. Уменьшение риска проведения неточных расчетов показателей готовности систем безопасности.
статья, добавлен 14.01.2017Создание проблемно-ориентированных системных и прикладных компьютерных программ для информационно-управляющих систем. Разработка методики и алгоритмов для практического осуществления дуального управления. Определение эффективности адаптивного управления.
автореферат, добавлен 14.02.2018Анализ методов и средств контроля исходного параметра. Выбор и обоснование метода измерения и первичного преобразователя. Разработка алгоритма функционирования проектируемого устройства контроля. Метрологическое обеспечение создаваемых средств измерения.
курсовая работа, добавлен 01.11.2016Анализ актуальности и важности обеспечения информационной безопасности в информационно-телекоммуникационных системах. Обзор проблем внедрения и эксплуатации импортных средств информатизации и связи в информационно-телекоммуникационные системы в России.
статья, добавлен 10.03.2018- 125. Мобильные распределенные базы данных автоматизированных информационно-управляющих систем МЧС России
Закономерности, модели и методы построения мобильных распределенных баз данных, управление ими в автоматизированных информационных системах МЧС России. Разработка методологии структурных трансформаций МРБД при изменении условий их функционирования.
автореферат, добавлен 13.02.2018