Модель видеоконтроля и верификация объектов организации
Особенности функциональной и математической моделей видеоконтроля и верификации объектов организации. Поиск связей, расстояния между дескрипторами особых точек на сравниваемых изображениях. Модули (интерфейсный, модуль выделения и др.) модели верификации.
Подобные документы
Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
статья, добавлен 17.01.2018Верификации программных продуктов как проблема информационной безопасности. Особенности применения графо-аналитических моделей при верификации программных продуктов. Анализ перспектив использования кубических покрытий в областях безопасности информации.
статья, добавлен 24.03.2018Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018Качество информации как важнейший параметр для потребителя информации. Процесс построения имитационных моделей. Этапы верификации и валидации имитационной модели. Подход к управлению успешным исследованием системы методами имитационного моделирования.
курсовая работа, добавлен 15.05.2014Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
статья, добавлен 28.09.2012Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Назначение методов верификации программного обеспечения. Оценка технического состояния и работоспособности программного обеспечения. Анализ преимуществ и недостатков использования частично формализованных методов верификации программного обеспечения.
статья, добавлен 28.05.2017Анализ опыта верификации и валидации информационно-измерительных и управляющих систем для АЭС. Разработка проектных решений по системе внутриреакторного контроля. Характеристика информационных и программных средств для отдельных модулей атомной станции.
автореферат, добавлен 02.08.2018Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.
статья, добавлен 03.10.2013- 10. Синтез и верификация двухуровневой семантической информационной модели агропромышленного холдинга
Описание смысла семантической информационной модели СК-анализа. Результаты верификации системы частных моделей, входящих в двухуровневую семантическую информационную модель управления агропромышленным холдингом. Процентные распределения по группам.
статья, добавлен 26.04.2017 Рассмотрение моделирования процесса выделения воздушных объектов по графическим изображениям. Анализ границы диапазонов данных гистограмм и особенности нахождения первичных и вторичных областей на изображениях, характерных для воздушных объектов.
реферат, добавлен 02.04.2019Обнаружение как предварительный этап при дешифрировании и распознавании объектов на цифровых статических изображениях. Методы обработки изображений. Набор классификационных дешифровочных признаков объектов для обнаружения объектов на изображениях.
статья, добавлен 14.07.2016Исследование вопросов реализации и верификации вероятностных многоагентных систем. Анализ и оптимизация продукционной модели с вероятностной почтовой подсистемой и вероятностным выбором действий как упрощенного варианта вероятностных многоагентных систем.
статья, добавлен 18.01.2018Подходы к верификации протоколов безопасности. Определение набора свойств, подлежащих проверке. Графический вывод шаблонов трассировки. Симметричное и асимметричное шифрование криптографических данных. Верификационные средства логического вывода.
статья, добавлен 10.04.2019Проблема верификации динамических свойств мультиагентных систем, состоящих из интеллектуальных агентов, которые взаимодействуют через вероятностные каналы связи. Динамические свойства (поведения) МАС, описываемые формулами пропозициональной логики.
статья, добавлен 28.10.2018Изучение сложности верификации динамических свойств мультиагентных систем, состоящих из вероятностных интеллектуальных агентов. Вероятностные мультиагентные системы, их множества. Каналы связи и передача сообщений. Вероятностные логические программы.
статья, добавлен 19.01.2018Задача предварительной обработки изображений сцены для выделения конкретных объектов – номеров маршрутов транспортных средств на цветовых изображениях, полученных посредством съемки на мобильных устройствах. Сущность метода размытия серого изображения.
статья, добавлен 12.08.2020Жизненный цикл программного обеспечения как интервал времени, начиная от идеи его создания с необходимым функционалом для решения задач до полного прекращения использования последней версии этой программы. Методы верификации: экспертиза и инспекция.
реферат, добавлен 17.12.2015Рассмотрение авторского метода верификации программ программируемых логических контроллеров, входящих в состав автоматизированных систем управления технологическими процессами. Система семантического анализа многомерных интервально-логических регуляторов.
статья, добавлен 16.07.2018Синтез семантической информационной модели, ее структура и основные компоненты. Повышение ее эффективности и механизм верификации. Экранная форма отчета по достоверности разработанной модели, а также содержание отчета, формируемого системой "эйдос".
статья, добавлен 26.04.2017Наглядное отображение объектов. Моделирование и формализация. Многообразие графических информационных моделей. График описания движения. Понятие объектов, связей и графов. Понятие взвешенного графа. Сеть и дерево. Использование графов при решении задач.
презентация, добавлен 31.10.2017Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
дипломная работа, добавлен 17.01.2018Характеристика методов распознания растровых изображений. Сравнение бинаризации и определение градиента яркости. Сравнение результатов использования формулы цветового отличия и яркостной характеристики изображения. Разработка алгоритма выделения объектов.
статья, добавлен 12.05.2017Построение системы идентификации и верификации лиц на основе видео с возможностью ее оперативного введения в эксплуатацию и масштабирования. Разработка алгоритмов идентифицирования и выделения изображений. Анализ результатов тестового запуска программы.
статья, добавлен 17.11.2020Построение двухуровневой семантической информационной модели управления агропромышленным холдингом. Изучение результатов синтеза и верификации системы частных моделей, входящих в двухуровневую семантическую информационную модель управления холдингом.
статья, добавлен 27.04.2017