Комплексный метод верификации и валидации информационно-измерительной и управляющей системы для активной зоны водо-водяных реакторов
Анализ опыта верификации и валидации информационно-измерительных и управляющих систем для АЭС. Разработка проектных решений по системе внутриреакторного контроля. Характеристика информационных и программных средств для отдельных модулей атомной станции.
Подобные документы
Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
дипломная работа, добавлен 17.01.2018Понятие и сущность информационно-поисковых систем, их назначение и техническая эффективность. Требования к идеальной поисковой системе. Обзор современных информационно-поисковых систем Интернета, анализ их структуры, ресурсов, модификаций, интерфейса.
курсовая работа, добавлен 24.12.2016Рассмотрение основных подходов и методов синтеза многоцелевых информационно-измерительных систем для работы с гетерогенными (разнородными) множествами цифровых и аналоговых сигналов. Возможные сочетания вход-выход для электрических сигналов и параметров.
статья, добавлен 28.01.2020Краткая характеристика подразделения и видов его деятельности. Обоснование необходимости и цели использования вычислительной техники. Обоснование проектных решений по видам обеспечения. Схема взаимосвязи программных модулей и информационных файлов.
курсовая работа, добавлен 27.10.2012Основные характеристики информационно-измерительных систем. Создание человеко-машинного интерфейса, позволяющего реализовать клиентские решения на базе web-технологий с помощью системы Simatic WinCC. Передача сообщений по мере получения-передачи маркера.
статья, добавлен 28.02.2019Информационные системы управления. Стратегическое планирование, управленческий и оперативный контроль. Этапы проектирования информационно-управляющих систем, участие пользователей. Модернизация системы и данных. Системы эксплуатационного уровня.
контрольная работа, добавлен 21.08.2011Анализ функций современных информационно-поисковых систем типовых агентств недвижимости. Характеристика возможностей существующих программных продуктов. Проектирование ИПС агентства недвижимости. Разработка инфологической и реляционной модели данных.
курсовая работа, добавлен 19.05.2014Характеристика технологий в области построения информационно-аналитических систем. Разработка программного комплекса, предназначенного проектировать модель данных и осуществлять контроль качества данных при построении информационно-аналитических систем.
автореферат, добавлен 29.08.2018Характеристика зависимости системы данных от уровня иерархии и функциональных обязанностей информационных потребностей. Оценка внешней среды и информационно-управляющих систем организации. Анализ опасных производственных факторов при работе с компьютером.
курсовая работа, добавлен 21.08.2011Требования к освещенности при разных видах производственной деятельности. Пример программных решений для реализации взаимодействия пользователя с домашними электронными устройствами на расстоянии (управление светодиодом с помощью Android-коммуникатора).
курсовая работа, добавлен 25.10.2017Изучение программно-математического обеспечения информационной совместимости, анализ проблем. Реализация и преимущества преобразования данных в CAD/CAM-системах. Представление кривых и поверхностей в NURBS. Проблемы сохранения точности и валидации.
диссертация, добавлен 13.09.2014Основные вопросы и способы проектирования информационных систем, методы обоснования проектных решений. Разработка функциональной и информационной модели подсистемы расчетов с поставщиками с применением методологий программных средств Bpwin и Erwin.
курсовая работа, добавлен 14.01.2013Определение понятий "информатика" и "информация", ее виды и свойства. Анализ информационных технологий в образовании. Специфика технических средств автоматизации информационно-управленческой деятельности. Структура информационно-образовательной среды.
реферат, добавлен 01.12.2015Ознакомление со схемой составных частей системного проектирования. Анализ особенностей информационных систем, как человеко-машинных информационно-управляющих систем. Изучение составных частей киберкорпорации. Рассмотрение состава средств проектирования.
реферат, добавлен 22.01.2017Проблема верификации динамических свойств мультиагентных систем, состоящих из интеллектуальных агентов, которые взаимодействуют через вероятностные каналы связи. Динамические свойства (поведения) МАС, описываемые формулами пропозициональной логики.
статья, добавлен 28.10.2018Обеспечение защищённости и безопасности информационно-вычислительных систем. Противодействие случайным и целенаправленным агрессивным воздействиям в компьютерных сетях. Разработка алгоритмов анализа состояний и построение модели деградирующей системы.
статья, добавлен 20.07.2021Анализ и обоснование создания системы управления процессом разработки программных продуктов. Функциональные требования к системе управления процессом разработки программных продуктов "Короб-IT". Обоснование проектных решений по видам обеспечения.
научная работа, добавлен 09.04.2019Анализ существующих информационно-управляющих систем, используемых для поддержки принятия максимально эффективного решения в условиях чрезвычайных ситуаций. Особенности программной реализации алгоритмизированных оценок показателей безопасности общества.
статья, добавлен 04.02.2021Разработка системного подхода к инженерной подготовке и разработке организационно-технологической документации. Характеристика программных продуктов для строительного производства. Сущность создания интегрированной информационно-аналитической системы.
статья, добавлен 30.05.2017Анализ требований и разработка информационно-справочной системы для учета ремонтных работ и обслуживания сотовых телефонов. Информационно-справочные системы – система хранения информации, предназначенная для обеспечения специалиста нужными сведениями.
статья, добавлен 26.04.2019Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Особенности обработки результатов измерений при помощи электронных вычислительных машин. Место измерительных информационных систем в современной измерительной технике и в информационных технологиях. Сущность и предназначение информационных технологий.
презентация, добавлен 11.09.2016Принципы проектирования информационного обеспечения. Изучение состава и содержания основных операций создания информационных систем. Подходы к проектированию информационной базы. Внедрение, сопровождение и модернизация информационно-правовых систем.
реферат, добавлен 22.11.2014Характеристика и анализ технологии ASP.NET. Анализ средств разработки и программных продуктов в сфере интернет, обоснование их выбора. Разработка логической, физической модели базы данных, схемы информационно-справочной системы. Руководство пользователя.
курсовая работа, добавлен 17.06.2013Понятие об информационных системах и их программной реализации. База данных и способы ее представления. Разработка системного меню информационно-справочной системы. Листинг и отладка программы. Инструкция пользователя и решение контрольных примеров.
курсовая работа, добавлен 09.09.2012