Автоматизация анализа функциональной стабильности критичных информационных систем
Формальная постановка задачи анализа функциональной стабильности критичных информационных систем. Цель анализа ФС критичной информационной системы - выявление свойств объектов, определяющих безопасность. Вычисление значения истинности предиката.
Подобные документы
Понятие и виды информационных ресурсов. Ключевые цели и задачи информатизации. Функциональные подсистемы информационной системы. Математическое и математическое обеспечение ИС. Использование информационных технологий для управления предприятием.
реферат, добавлен 13.05.2013Методы и средства проектирования информационных систем. Средства проектирования баз данных для информационной системы. Жизненный цикл проектируемой информационной системы. Функциональные возможности и категории пользователей информационных систем.
курсовая работа, добавлен 12.04.2018Роль и значение измерительной техники. Рассмотрение характеристик точности измерения. Общая классификация измерительных информационных систем. Автоматизация разнообразных процессов в промышленности. Интерфейсы измерительных информационных систем.
реферат, добавлен 03.12.2015Обоснование применимости моделей динамической теории информации для описания процессов обследования предприятия, проектирования функциональной структуры и обеспечивающей части информационной системы. Создание модели потоков данных информационной системы.
статья, добавлен 19.06.2018Создание современных систем управления информационной безопасности, достижение цели устойчивого безопасного функционирования информационных систем в составе сложного промышленного объекта. Сущность метода оценивания энтропии в информационных системах.
статья, добавлен 03.05.2019Сущность структурного подхода к разработке информационных систем. Методология функционального моделирования SADT: состав функциональной модели, иерархия диаграмм, основные типы связей между функциями. Построение иерархии диаграмм потоков данных.
реферат, добавлен 30.08.2013Определение и задачи информационной технологии. Классификация информационных систем по области применения и по степени использования в них компьютеров. Классификации информационных технологий, используемых в экономических информационных системах.
контрольная работа, добавлен 03.06.2015Описание проекта будущей информационной системы, автоматизирующей процесс обслуживания посетителей библиотеки вуза. Создание функциональной программы IDEF0. Сравнительная характеристика и обоснование выбора программных средств для проектирования ИС.
курсовая работа, добавлен 25.09.2017Описание возможности применения информационных систем для анализа и прогнозирования изучаемых эффектов социального поведения. Рассмотрение формализации качественного анализа социологических данных средствами ДСМ-метода автоматического порождения гипотез.
доклад, добавлен 17.01.2018Основные пути построения информационной системы. Разработка собственной автоматизированной информационной системы. Использование прототипов для разработки информационных систем. Возможности готовых решений. Использование услуг сторонней организации.
реферат, добавлен 25.02.2016Различия информационных систем по функциям, архитектуре и реализации. Области применения и реализации информационных систем. Изучение требований, предъявляемых к информационным системам. Рассмотрение основных фаз проектирования информационных систем.
контрольная работа, добавлен 23.12.2015Создание функциональной и информационной модели деятельности предприятия. Выделение и реинжиниринг бизнес-процессов. Определение целей, задач и функций информационной системы. Проектирование физической и логической модели базы данных и прототипа системы.
курсовая работа, добавлен 24.05.2014Неизбежность возникновения компьютеров, информационных систем и систем искусственного интеллекта. Эволюция понятия "обработка информации": развитие автоматизированных технологий. Методы создания информационных систем, автоматизация функций посредников.
статья, добавлен 29.06.2013Определение информационной системы, этапы её развития. Процессы, свойства и структура информационных систем. Примеры информационных систем. Определение информационных технологий. Сопоставление компонентов технологий. Примеры информационной технологии.
презентация, добавлен 23.04.2016Характеристики информации, назначение и классификация видов информационных систем. Обзор существующих информационных систем в сфере занятости населения. Анализ бизнес-процессов кадрового агентства и модель усовершенствования его информационной системы.
дипломная работа, добавлен 09.12.2013Исследование рекомендательных информационных систем и примеры сфер их применения. Схемы использования математического обеспечения (методов многомерного анализа данных) на разных этапах решения задач оценивания интереса пользователя к товару или услуге.
статья, добавлен 28.01.2019Особенности создания информационных систем, их проектирование, разработка и применение в бизнесе. Принципы массового проектирования информационной системы. Роль исполнителя в проектировании, разработке и создании автоматизированных информационных систем.
курсовая работа, добавлен 11.10.2013Исследование возможностей и функциональных свойств информационных систем. Обзор основных этапов развития информационных систем в СССР и России. Характеристика проблем, стоящих на пути информатизации общества. Виды задач и процессов обработки информации.
реферат, добавлен 30.01.2013- 94. Обзор программных продуктов в области корпоративных информационных систем управления предприятием
Характеристика возможностей программных продуктов в области корпоративных информационных систем управления предприятием. Ознакомление с функциональной структурой системы "Галактика". Рассмотрение и анализ основных компонентов программы "Lotus Notes".
статья, добавлен 18.12.2017 Принципы построения рефлексивных автоматизированных систем управления активными объектами. Технология и инструментарий системно-когнитивного анализа, обеспечивающие синтез и исследование многоуровневых семантических информационных моделей объектов.
статья, добавлен 26.04.2017- 96. Характеристика информационных таможенных систем. Понятие и классификация информационных технологий
Таможенная информационная система как предприятие по переработке данных и производству выходной информации. Изменчивость состояний объектов информационных таможенных систем и основные принципы, которые необходимо соблюдать при таком поведении системы.
реферат, добавлен 03.08.2017 Оценка цели системного анализа. Анализ принципов системности и комплексности. Обзор последовательности и приёмов системного анализа. Системное описание экономического анализа. Методы организации сложных экспертиз. Системный анализ информационных ресурсов.
презентация, добавлен 13.04.2016Основные характеристики информационной системы. Процесс автоматизации бухгалтерского учета. Алгоритм использования информационных систем в управлении предприятием. Требования к организации планирования, производства и качества процессов автоматизации.
статья, добавлен 25.12.2020Аспекты информационного процесса: синтаксический, прагматический, семантический. Особенности развития интеллектуальных информационных систем. Анализ функций экспертной системы финансового анализа предприятия. Этапы создания систем управления знаниями.
книга, добавлен 02.04.2012Две основные концепции компьютерного программного обеспечения системы CASE. Визуальное моделирование в проектировании информационных систем. Использование UML для построения визуальных моделей. Функции информационной интермодальной логистической системы.
реферат, добавлен 21.12.2016