Модель видеоконтроля и верификация объектов организации
Особенности функциональной и математической моделей видеоконтроля и верификации объектов организации. Поиск связей, расстояния между дескрипторами особых точек на сравниваемых изображениях. Модули (интерфейсный, модуль выделения и др.) модели верификации.
Подобные документы
Определение миссии сбора биометрических характеристик населения страны. Процесс автоматизированной идентификации и верификации субъектов персональных данных. Необходимость создания биометрических загранпаспортов. Порядок сканирования отпечатков пальцев.
реферат, добавлен 29.03.2014Особенности развития современных компьютерных систем, схема эксперимента по верификации математической модели. Исследование пропускной способности беспроводного моноканала. Производительность беспроводной сети и выбор оптимального размера кадра.
статья, добавлен 23.02.2016Анализ объективных и субъективных причин, из-за которых нечеткие методы и модели не внедряются в информационные системы экономических объектов. Особенности имплементации нечетких моделей в базы данных и программное обеспечение информационных систем.
статья, добавлен 27.10.2016Кривизна и анализ дискретных поверхностей. Порядок операций при сегментации. Структуры хранения точек в трехмерном изображении. Применение метода пороговой фильтрации. Язык и платформа разработки программы. Средства визуализации и работы с матрицами.
дипломная работа, добавлен 11.02.2017Характеристика особенностей сегментации изображений как важной части некоторых современных медицинских процедур. Описание структуры хранения точек в трехмерном изображении. Изучение общего порядка операций при сегментации. Описание выбранных методов.
дипломная работа, добавлен 31.08.2016Понятие вложенного метаграфа, как модели иерархического объекта с различными уровнями обобщения. Описание его видов и свойств, особенности применения для организации семантического поиска в глобальных и корпоративных сетях или электронных библиотеках.
статья, добавлен 30.05.2017Технология применения системно-когнитивного анализа и его инструментария – системы "Эйдос" для синтеза и верификации информационных семантических моделей временных рядов. Экранная форма системы с прогнозом времени завершения пакетного распознавания.
статья, добавлен 26.04.2017Модуль как автономно компилируемая программная единица, включающая в себя типы, константы, процедуры и функции инициирующей части. Наличие модулей в Turbo Pascal. Сущность и структура модуля. Стандартные модули в Паскаль: модуль Crt и модуль Graph.
контрольная работа, добавлен 31.03.2011Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Изучение алгоритмов поиска инвариантных соотношений в программах с простыми переменными, относящимся к методам анализа потоков данных и верификации. Анализ языка типа равенств для программ над абсолютно свободными алгебрами данных и кольцами полиномов.
статья, добавлен 29.01.2016Способы построения эффективных универсальных алгоритмов верификации и оптимизации, подходящих для анализа и преобразования потоков работ. Этапы разработки единого промежуточного графового представления для моделирования потока управления и потока данных.
автореферат, добавлен 31.07.2018Описание методологии мультиагентной системы для верификации времени, знаний, и стратегий, с помощью математического представления системы обработки знаний. Исследование содержания ATL и эпистемологические формулы для различных классов экспертных систем.
статья, добавлен 28.11.2016Обеспечение безопасности взаимодействия пользователей, процессов и систем как одна из актуальных задач защиты информации в информационно-телекоммуникационных сетях. Общая характеристика методов и средств верификации криптографических протоколов.
статья, добавлен 24.03.2019Создание объектов растительного покрова и грунтов. Построение математической основы, загрузка и трансформирование растра. Создание модели рельефа и объектов карты. Контроль векторной карты. Параметры обработки матричных данных и построения горизонталей.
отчет по практике, добавлен 23.09.2016Оценка эффективности применения метода model checking и инструмента Spin с верификацией протоколов когерентности памяти для поиска ошибок в устройствах. Проверка выполнимости характеристик системы. Верификация протокола когерентности "Эльбрус-2S".
статья, добавлен 27.11.2018Анализ вопросов организации и построения процессов проектирования объектов нефтегазовой отрасли, требующих итерационного подхода к использованию информационных технологий. Цифровые аспекты технологической организации проектирования в AutoСad Civil 3D.
статья, добавлен 18.09.2018Формализация проблемы обеспечения безопасности информации в распределенных автоматизированных информационных системах с мультикаскадной моделью жизненного цикла. Методы верификации формальной спецификации системы обеспечения безопасности информации.
автореферат, добавлен 04.02.2018Характеристика риск-ориентированного метода, позволяющего сформировать тестовое покрытие для базы данных, входящей в состав интегрированной информационной системы, основываясь на априорном анализе рисков и модифицированной модели верификации базы данных.
статья, добавлен 23.02.2016Синтез и верификация модели прогнозирования развития многоотраслевой агропромышленной корпорации. Этапы АСК-анализа, проверка объектов обучающей выборки на достоверность путем идентификации. Схема преобразования данных в информацию в системе "Эйдос".
статья, добавлен 20.05.2017Описание предметной области. Определение состава данных. Выявление информационных объектов. Определение связей информационных объектов, построение информационно-логической модели и ER-диаграммы. Определение логической и физической моделей базы данных.
курсовая работа, добавлен 08.11.2017Основные понятия компьютерной игры. Классификация компьютерных игр, игровая терминология, взаимодействие игровых объектов. Разработка модели взаимодействия объектов в виртуальном пространстве для обеспечения гибкости и возможности масштабирования.
дипломная работа, добавлен 02.04.2016Определение распознавания объектов как метода компьютерного зрения для идентификации объектов на изображениях или видео. Рассмотрение алгоритма обнаружения объекта методом машинного обучения и методом глубокого обучения с помощью средств Matlab.
статья, добавлен 24.10.2020- 48. Интеллектуальная информационная система проведения имитационных исследований технических объектов
Лингвистические модели выбора аналитического описания объектов и процедурных моделей для проведения имитационных исследований, модель формирования логического ключа. Структура интеллектуальной информационной системы проведения имитационных исследований.
автореферат, добавлен 01.09.2018 Этапы построения имитационной модели: структурный анализ, формализованное описание и построение модели. Характеристика структурного анализа и функциональной модели процессов в объектах экономики. Схема модели анализа интервала активности процесса.
реферат, добавлен 28.10.2017Обзор двухуровневой семантической информационной модели агропромышленного холдинга. Описание синтеза и верификации модели холдинга. Изучение ценности признаков для решения задач управления. Системно-когнитивный анализ в управлении активными объектами.
статья, добавлен 27.04.2017