Обнаружение и устранение противоречий в спецификациях сложных систем
Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
Подобные документы
Характеристика компьютерных вирусов и определение признаков вирусного заражения. Рассмотрение и анализ процесса определения угрозы безопасности информации в информационной системе. Исследование содержания понятия Марковского случайного процесса.
курсовая работа, добавлен 19.02.2024Разработка программного обеспечения, позволяющего преобразовать каротажные данные. Создание модуля загрузки для программы сжатия. Способы передачи данных. Разработка моделей бизнес-процессов. Проектирование модуля загрузки. Определение формата файла.
курсовая работа, добавлен 09.07.2016Понятие, назначение и виды моделей информационных систем. Жизненный цикл информационной системы, ее разработка, эксплуатация, проверка и решение возникающих проблем. Каскадные и спиральные модели, используемые для монтирования компьютерных сетей.
презентация, добавлен 08.04.2018Основные стадии разработки программы игрового модуля "VFS". Эскизное проектирование, разработка общего алгоритма работы модуля. Архитектура модуля, детализация функциональных требований, основных алгоритмов работы, конфигурация технических средств.
дипломная работа, добавлен 01.10.2017Разработка структурной диаграммы программного модуля и её описание. Создание пользовательского интерфейса, его особенности и характеристики. Специфика процесса обработки ошибок системы, сущность реализации программного модуля и его возможное тестирование.
курсовая работа, добавлен 06.11.2016Особенность функционирования цифрового автомата. Отличие цифровых систем от дискретных. Микропроцессоры и узлы микропроцессорных устройств. Режим загрузки и верификации прикладных программ. Проектирование автоматических систем на базе микропроцессоров.
курсовая работа, добавлен 09.12.2015Принципы работы и использования биометрических систем, оценка их современных возможностей. Решение проблем верификации и идентификации. Работа биометрических технологий на примере распознавания по отпечатку пальца. Применение биометрии в криминалистике.
реферат, добавлен 05.12.2013Формализация проблемы обеспечения безопасности информации в распределенных автоматизированных информационных системах с мультикаскадной моделью жизненного цикла. Методы верификации формальной спецификации системы обеспечения безопасности информации.
автореферат, добавлен 04.02.2018Результаты исследований разработанной нечетко-вероятностной модели оценок рисков сложных технических систем. Разработка алгоритма нечеткого логического вывода и схематическая структура нечетко-вероятностной модели оценок рисков сложных технических систем.
статья, добавлен 28.08.2016Функциональные задачи интеллектуальных систем анализа изображений. Области применения, классификация систем распознавания лиц (2D-; 3D-(трехмерная) идентификация). Алгоритмизация верификации лиц по 68 "волшебным точкам", описание математического аппарата.
статья, добавлен 14.02.2022Описание методологии мультиагентной системы для верификации времени, знаний, и стратегий, с помощью математического представления системы обработки знаний. Исследование содержания ATL и эпистемологические формулы для различных классов экспертных систем.
статья, добавлен 28.11.2016Развитие единой образовательной информационной среды. Модульная структура информационной среды в современном образовании. Разработка программного обеспечения модуля "Стипендия", который позволит автоматизировать процесс назначения стипендий студентам.
статья, добавлен 31.03.2019Модели компьютерных сетей. Изучение аналитического, логического и имитационно-статистического подходов к созданию моделей локальных компьютерных сетей. Создание модели сети, основанной на анализе достоинств и недостатков различных способов моделирования.
дипломная работа, добавлен 14.08.2020- 39. Синтез и верификация двухуровневой семантической информационной модели агропромышленного холдинга
Описание смысла семантической информационной модели СК-анализа. Результаты верификации системы частных моделей, входящих в двухуровневую семантическую информационную модель управления агропромышленным холдингом. Процентные распределения по группам.
статья, добавлен 26.04.2017 Технология применения системно-когнитивного анализа и его инструментария – системы "Эйдос" для синтеза и верификации информационных семантических моделей временных рядов. Экранная форма системы с прогнозом времени завершения пакетного распознавания.
статья, добавлен 26.04.2017Разработка вариантов ведения лесного хозяйства и лесопользования для формирования лесных насаждений. Характеристика сценариев прогнозного моделирования. Верификации модели FORRUS-S. Динамика насаждений для разных сценариев ведения лесного хозяйства.
дипломная работа, добавлен 16.11.2013Качество информации как важнейший параметр для потребителя информации. Процесс построения имитационных моделей. Этапы верификации и валидации имитационной модели. Подход к управлению успешным исследованием системы методами имитационного моделирования.
курсовая работа, добавлен 15.05.2014Исследование программного обеспечения работы секретаря. Разработка концептуальной и логической модели системы управления документооборотом. Выявление достоинств и недостатков разработанных моделей. Отладка программного модуля информационной системы.
курсовая работа, добавлен 22.11.2015Анализ проблемы изучения систем мониторинга. Обзор и анализ существующих на рынке программных продуктов для обучения в области мониторинга компьютерных сетей. Настройка получения данных от сторонних программ. Контроль и приемка информационной системы.
дипломная работа, добавлен 01.12.2019Анализ информационной безопасности компьютерных систем. Проблемы этой сферы. Законодательная база информационной безопасности, перечень возможных угроз. Подходы к созданию систем защиты, классификация мер по обеспечению безопасности компьютерных систем.
учебное пособие, добавлен 19.09.2017Разработка программы обнаружения утечки конфиденциальной информации в документах: существующие подходы по защите от утечки информации, выбор алгоритма верификации по ROC-кривой, архитектура экспериментальной системы обнаружения утечки информации.
дипломная работа, добавлен 06.03.2013Описание системы аналитической поддержки принятия административных решений. Задачи проекта по разработке модуля преобразования геоданных. Анализ существующих форматов геоданных. Обеспечение информационной безопасности. Разработка модуля преобразования.
дипломная работа, добавлен 17.06.2017Возможности модельно-ориентированное проектирование при помощи программных продуктов MathWorks, позволяющие автоматизировать процесс разработки, отладки и верификации программного обеспечения для встраиваемых систем управления. Пакет прикладных программ.
статья, добавлен 13.02.2016Анализ моделей автоматизированных обучающих систем, моделей поведения пользователей компьютерных систем. Разработка модели повышения эффективности взаимодействия пользователя с автоматизированной системой за счет применения модели поведения пользователя.
статья, добавлен 16.07.2018- 50. Разработка моделей повышения производительности компьютерных сетей на основе стохастических методов
Анализ методов и программных средств повышения производительности коммуникационных сетей. Имитационное моделирование производительности компьютерных сетевых систем. Комплекс визуального объектно–ориентированного программирования C++Builder v5.0.
диссертация, добавлен 24.05.2018