Обнаружение и устранение противоречий в спецификациях сложных систем
Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
Подобные документы
Структурная диаграмма программного модуля и его функциональные особенности, предъявляемые технические требования. Разработка схемы и ее описание, пользовательского интерфейса. Описание используемых операторов и функций. Тестирование программного модуля.
курсовая работа, добавлен 10.10.2017Разработка структурной схемы модуля УВВЦАИ. Выбор элементной базы и подбор соответствующих электронных компонентов для разрабатываемого модуля. Расчет резисторов, конденсаторов, фильтра питающего напряжения. Оптоэлектронная гальваническая развязка.
курсовая работа, добавлен 06.04.2018Определение состава инфраструктуры объектов безопасности. Области применения предметной области информационных систем социальной безопасности. Анализ влияния сущностей социальных инфраструктур на построение концептуальных моделей информационных систем.
статья, добавлен 28.05.2018Изучение примеров глобального позиционирования роботов. Характеристика подходов к проектированию модуля объезда препятствий. Проектирование и подключение электромеханического оборудования. Исследование модуля управления ультразвуковыми датчиками.
дипломная работа, добавлен 28.10.2019Рассмотрение преимуществ использования специализированных программных модулей CAD-систем для решения задач проектирования. Список переменных модели, используемых в качестве параметров оптимизации. Возможность задания весового коэффициента параметра.
статья, добавлен 27.05.2018Принципы работы рекомендательных систем. Актуальность распространения информационных технологий и персонализация. Разработка хранилища обрабатываемых данных и алгоритм выработки рекомендаций для построения модуля оценки контента интернет-ресурса.
статья, добавлен 17.02.2019Типы систем, определяющих соответствующую информационную технологию работы на персональном компьютере в целях поддержки принятия решений. Структура информационной системы, ее функциональное назначение. Эволюция подходов к применению компьютерных систем.
реферат, добавлен 09.12.2017Изучение принципа работы OCR-систем и работы классификаторов символов. Выбор алгоритма работы классификатора, позволяющего достаточно точно определять рукописные символы и при этом экономно использовать системные ресурсы. Реализация программного модуля.
курсовая работа, добавлен 07.08.2018Основы защиты программного обеспечения компьютерных систем. Классификация угроз информационно-программному обеспечению вычислительных систем и примеры их реализации в современном компьютерном мире. Разработка модели угроз технологической безопасности ПО.
курсовая работа, добавлен 13.06.2012Построение двухуровневой семантической информационной модели управления агропромышленным холдингом. Изучение результатов синтеза и верификации системы частных моделей, входящих в двухуровневую семантическую информационную модель управления холдингом.
статья, добавлен 27.04.2017Обзор двухуровневой семантической информационной модели агропромышленного холдинга. Описание синтеза и верификации модели холдинга. Изучение ценности признаков для решения задач управления. Системно-когнитивный анализ в управлении активными объектами.
статья, добавлен 27.04.2017- 62. Применение многослойных радиально-базисных нейронных сетей для верификации реляционных баз данных
Разработка способов обеспечения достоверности информации баз данных. Описание метода определения достоверности вводимого кортежа. Параметры и характеристика нейронной сети Кохонена. Обучение радиально-базисной сети путём обратного распространения ошибки.
статья, добавлен 29.05.2017 Утопленный и выпуклый текст, текст с тенью как разновидности объемного текста. Выбор степени эффекта. Структура модуля ExTXT. Назначение модуля, назначение и выполнение головной программы. Описание применения модуля. Описание контрольного примера.
курсовая работа, добавлен 31.12.2013Разработка технического задания на создание программного модуля. Создание интерфейса пользователя, характеристика выходных документов программного модуля. Информационное обследование банковской операции, сущность моделирования предметной области.
курсовая работа, добавлен 17.05.2016Развитие теоретических основ создания автоматизированных информационных систем. Методы тестирования, отладки и верификации программ. Теории синтаксического анализа, синтеза и реинжиниринга бизнес-процессов. Формальные грамматики и языки программирования.
статья, добавлен 18.01.2018Сущность компьютерных комплексов как автоматизированных систем. Классификация компьютерных сетей. Способы организации обработки данных и типы информационных систем. Поддерживаемые типы данных. Архитектура логической и физической топологии связей.
реферат, добавлен 20.12.2010Исследование подхода к анализу организационных структур сложных систем, базирующегося на применении моделей стохастических сетей. Определение условий работоспособности систем, оценка загруженности отдельных ее элементов и влияние внешних факторов.
статья, добавлен 06.05.2018Экономический эффект от использования компьютерных технологий когнитивного моделирования. Проектирование программной системы. Разработка внешних спецификаций проекта. Проектирование внутренней логики каждого модуля. Перечень требований к алгоритмам.
контрольная работа, добавлен 28.05.2017Анализ процедур создания, эксплуатации и управления системой безопасности информационно-телекоммуникационной системы применительно к реальному жизненному циклу компьютерных систем. Безопасность при проектировании механизмов защиты распределенных сетей.
автореферат, добавлен 28.03.2018Технология создания интеллектуальных обучающих систем, ориентированных на знания. Приобретение знаний с использованием метода формального концептуального анализа. Построение вопросов, используемых для верификации знаний ученика со знаниями специалиста.
статья, добавлен 17.01.2018Разработка новых подходов к созданию современных интеллектуальных технологий повышения эффективности информационных систем. Архитектура компьютерных систем и сетей. Изучение эффективности ИС как технической системы и как средства обработки информации.
статья, добавлен 27.04.2017Способы анализа сетевого трафика, атаки и их обнаружение. Организация защищенных виртуальных сетей. Политика межсетевого экранирования. Применение технологий терминального доступа, организации служб каталогов, аудита безопасности компьютерных сетей.
учебное пособие, добавлен 04.12.2013Проектирование и автоматизация модуля библиотеки, позволяющих повысить эффективность выполнения процессов. Создание подсистем, ролей, пользователей, справочников, документов, регистра накопления, регистров сведений и отчетов модуля "Библиотека".
курсовая работа, добавлен 14.02.2017Цели компьютерного моделирования локомотивов нового поколения. Построение моделей экипажей подвижного состава с использованием подхода систем тел. Разработка программного модуля, включающего инструменты для автоматического формирования моделей поездов.
статья, добавлен 23.03.2018Рост компьютерной преступности в странах с развитой телекоммуникационной инфраструктурой. Изменения в уголовном законодательстве, составы преступлений по взлому компьютерных систем с корыстной целью. Меры по улучшению безопасности компьютерных систем.
реферат, добавлен 28.02.2013