Синтез и верификация семантической информационной модели
Синтез семантической информационной модели, ее структура и основные компоненты. Повышение ее эффективности и механизм верификации. Экранная форма отчета по достоверности разработанной модели, а также содержание отчета, формируемого системой "эйдос".
Подобные документы
Средства разработки BPWin и ERWin. Разработка прототипа информационной системы компании ЗАО "Снежный Барс". Построение модели информационной системы средствами BPWin. Основные бизнес-процессы предприятия и основные уровни представления модели.
курсовая работа, добавлен 14.06.2015Исследование системы учета подачи заявок. Разработка функциональной модели предметной области и поведенческой модели обеспечивающей автоматизацию процессов. Построение диаграммы методологии стандарта IDEF3 и информационной модели в нотации IDEF1X.
практическая работа, добавлен 28.02.2015Создание модели информационной системы с помощью AllFusion Process Modeler r7. Создание модели в стандарте IDEF0, диаграмма дерева узлов. Преобразование нормализованной ER модели в локальную БД конкретной СУБД. Создание пользовательского интерфейса.
курсовая работа, добавлен 22.02.2019Разработка алгоритма оптимизации резервированной информационной системы. Определение основных положений разработки математической модели резервирования информационной системы. Расчет характеристик надежности резервированной информационной системы.
статья, добавлен 29.07.2017Вопросы управления защитой сети. Идеология проектирования семантической модели комплексной системы защиты корпоративной информационной системы от компьютерных вторжений. Модель угроз, включающая модель нарушителя, построенную относительно бизнес-процесса.
статья, добавлен 19.01.2018Метод автоматизированного построения модели поверхности ландшафта по спутниковым снимкам, полем высот. Получение карты и деталей ландшафта. Практический пример синтеза модели ландшафта, характеристика быстродействия метода. Синтез растительного покрова.
статья, добавлен 30.10.2016Исследование информационных процессов в аналитических модулях на примере актуальной задачи обнаружения утечек в нефтепроводах с целью апробации разработанной информационной модели аналитической информационной системы. Проверка работоспособности АИС.
автореферат, добавлен 02.05.2018Разработка синтаксически проверяемых блоков модели. Проведение проверки семантической самосогласованности модели, включая проверку балансов, информационных связей, выполнения аксиом размерности. Сохранение сведений о семантике исходных соотношений модели.
автореферат, добавлен 31.07.2018Изучение проблем реализации политик информационной безопасности в компьютерных системах на примере дискреционной модели. Реализация программного модуля, демонстрирующего работу пользователя в дискреционной модели политики информационной безопасности.
лабораторная работа, добавлен 03.06.2015Анализ движения товара в компьютерном магазине с помощью нотации UML и описание модели информационной системы для учета товара. Ведение базы данных серийных номеров комплектующих и учет сформированных комплектов в условиях разработанной модели.
статья, добавлен 11.05.2016- 36. Сетевые модели
Сетевые модели и их использование в психологии для представления структур понятий и ассоциаций. Пример семантической сети, процедура сопоставления. Первые компьютерные реализации семантических сетей. Пересечение путей, ведущих от понятий cry и comfort.
контрольная работа, добавлен 23.10.2013 Особенности функциональной и математической моделей видеоконтроля и верификации объектов организации. Поиск связей, расстояния между дескрипторами особых точек на сравниваемых изображениях. Модули (интерфейсный, модуль выделения и др.) модели верификации.
статья, добавлен 10.01.2016Определение значение и описание предметной области информационной системы "Поликлиника". Характеристика круга пользователей информационной системы и построение её информационной модели. Основные алгоритмы работы и общие требования к архитектуре ИС.
курсовая работа, добавлен 19.02.2013Изучение декомпозиции функциональной модели как минимум до второго уровня, диаграмм дерева узлов, их модификаций, FEO-диаграмм. Экранная форма расщепления и слияния модели, а также возможность применения и разработка их отдельных фрагментов на практике.
лабораторная работа, добавлен 04.04.2014Общее описание программного продукта, обоснование выбора используемого программного обеспечения. Нотация базовой модели, структура и реляционная модель. Создание модели информационной системы с помощью Run All Fusion Process Modeler 7, UML-модель.
курсовая работа, добавлен 05.06.2014Описание системы "Эйдос-астра" и алгоритмов голосования моделей. Алгоритм измерения достоверности идентификации классов в различных частных моделях. Зависимость достоверности идентификации в среднем по категориям от количества секторов в частной модели.
статья, добавлен 26.04.2017- 42. Разработка модели информационной системы средствами CASE-технологиями (на примере ночного клуба)
Проектирования информационных систем и баз данных на основе анализа бизнес-процессов. Создание информационной системы по учету шоу-программ ночного клуба. Построение модели бизнес-процесса в нотации IDEF0 и модели базы данных с использованием ERWin.
курсовая работа, добавлен 27.11.2020 Разработка модели программного обеспечения. Рассмотрение особенностей создаваемой информационной системы, предназначенной для складских процессов. Ознакомление с требованиями к структуре и функционированию системы. Анализ логической модели базы данных.
курсовая работа, добавлен 23.07.2018Основные возможности интернет-магазина "Техномир". Структура сайта. Математические модели информационной системы. Описание комплекса технических средств. Организация программного обеспечения. Расчет экономической эффективности. Актуальность разработки.
дипломная работа, добавлен 28.10.2017Библиотечный фонд города - сложная документированная система, требующая четкой структуры. Обратное проектирование как процесс генерации логической модели из физической базы данных. Проверка разработанной модели в программном приложении Validator.
курсовая работа, добавлен 22.04.2016Характеристика и организационная структура предприятия. Проектирование информационной системы средствами CASE-технологий, ее концептуальной, логической и физической модели, а также интерфейса программы. Экономическое обоснование разработки системы.
дипломная работа, добавлен 23.11.2016Характеристика риск-ориентированного метода, позволяющего сформировать тестовое покрытие для базы данных, входящей в состав интегрированной информационной системы, основываясь на априорном анализе рисков и модифицированной модели верификации базы данных.
статья, добавлен 23.02.2016Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
статья, добавлен 17.01.2018Сбор данных для проектирования информационной системы. Организация и управление деятельностью подразделения, движение документооборота между отделами. Разработка объектно-ориентированной модели средствами Rational Rose и функциональной модели - BPwin.
отчет по практике, добавлен 25.03.2015Основные концептуальные положения системы защиты информации. Компоненты модели информационной безопасности. Классификация угроз конфиденциальной информации, их источники. Способы защиты информации, характеристика защитных действий в информационных сетях.
реферат, добавлен 19.11.2010