Автоматическая верификация и оптимизация потоков работ
Способы построения эффективных универсальных алгоритмов верификации и оптимизации, подходящих для анализа и преобразования потоков работ. Этапы разработки единого промежуточного графового представления для моделирования потока управления и потока данных.
Подобные документы
База данных и способы ее представления, основные свойства полей. Порядок и принципы разработки системного меню, его структура и содержание, задачи и этапы разработки интерфейса. Общее описание программы. Разработка и значение инструкции пользователя.
контрольная работа, добавлен 15.01.2014Особенности эволюционного моделирования. Актуальность и возможность реализации универсальной среды поддержки генетических алгоритмов. Средства помощи кругов потоков ввода-вывода рабочих программ. Применение конструкторов для различных описаний задачи.
статья, добавлен 16.01.2018Автоматизация бизнес-процесса. Средства системного анализа. Диаграммы потоков данных в охранной фирме. Словари данных как средства для моделирования и структурирования преобразуемой информации. Алгоритмическое описание задачи, выполняемой процессом.
курсовая работа, добавлен 21.02.2016Исследование алгоритмов автоматической сериализации и поиск возможных путей их оптимизации для выполнения специфических задач. Общая концепция процесса сериализации. формат объекта, сериализованного стандартными средствами. Этапы анализа для сжатия.
статья, добавлен 30.04.2018Анализ принципов построения и модуляции сигналов, передаваемых по скрытым каналам в сетях пакетной передачи данных. Известное представление свойств скрытого канала отображениями конечных множеств. Представление протоколов преобразования сетевого потока.
статья, добавлен 27.04.2017Основные компоненты диаграмм информационных процессов. Определение некоторого объекта или системы в качестве внешней сущности. Показ подсистемы на контекстном графике. Исследование накопителей информации. Построение иерархии чертежей потоков данных.
контрольная работа, добавлен 28.12.2016Основные понятия оптимизации проектных решений, ее разновидности: однокритериальная и многокритериальная. Алгоритмический анализ задачи. Описание разработанного приложения. Анализ данных и верификация результатов работы программы, ее эффективность.
курсовая работа, добавлен 17.02.2013Обзор применения систем компьютерного зрения в разных областях науки и техники. Разработка эффективного алгоритмов высокоуровневого анализа видеопоследовательностей. Сопровождение объектов в видеопотоке и их реализация в инфокоммуникационных системах.
статья, добавлен 30.05.2017Понятие и свойства алгоритмов: понятность, дискретность, массовость, конечность, однозначность, результативность. Способы представления алгоритмов: словесный, формульный, графический и табличный. Линейные, разветвляющиеся и циклические алгоритмы.
презентация, добавлен 22.10.2013Сущность операции безусловной оптимизации функции нескольких переменных, способы решения этой задачи методами прямого поиска. Способы использования градиентных методов в этой области. Сравнительный анализ двух алгоритмов по скорости и точности их работы.
контрольная работа, добавлен 07.08.2013Исследование алгоритмов вытеснения данных LRU1 и LRU2 и структурной организации управляющей таблицы. Результаты разработки алгоритмов ускоренного вытеснения информации в кэш-памяти хранилищ данных. Системы канонических уравнений для данных алгоритмов.
статья, добавлен 07.03.2019Подходы к верификации протоколов безопасности. Определение набора свойств, подлежащих проверке. Графический вывод шаблонов трассировки. Симметричное и асимметричное шифрование криптографических данных. Верификационные средства логического вывода.
статья, добавлен 10.04.2019Функциональная схема моделирования системы с предварительной установкой ее целей и обозначения входных и выходных потоков данных. Структурная схема модели в виде Q-схемы. Метод построения модели в виде последовательной сборки блоков на языке GPSS.
курсовая работа, добавлен 10.12.2016Формальная теория представления и обработки данных в системе управления базами данных (СУБД). Признаки, положенные в основу классификации ЛВС. Анализ особенностей и этапов построения адреса ресурса в Сети Интернет. Сущность эвристического моделирования.
контрольная работа, добавлен 06.06.2011История появления и развития криптографии. Современные методы шифрования и их применение в шифровании потоков данных RSA. Разработка библиотеки алгоритмов шифрования и программного продукта, выполняющего эти алгоритмы при передаче данных в сети.
дипломная работа, добавлен 29.05.2014Особенности функциональной и математической моделей видеоконтроля и верификации объектов организации. Поиск связей, расстояния между дескрипторами особых точек на сравниваемых изображениях. Модули (интерфейсный, модуль выделения и др.) модели верификации.
статья, добавлен 10.01.2016Исследование вопросов реализации и верификации вероятностных многоагентных систем. Анализ и оптимизация продукционной модели с вероятностной почтовой подсистемой и вероятностным выбором действий как упрощенного варианта вероятностных многоагентных систем.
статья, добавлен 18.01.2018Особенности и принципы построения языка программирования С#. Основные конструкции языка и типы данных. Характеристика среды разработки Visual Studio 2010. Работа с базовыми элементами управления. Указания и задания для выполнения лабораторных работ.
учебное пособие, добавлен 11.12.2020Каноническое проектирование информационной системы: изучение объекта автоматизации, формирование требований пользователей. Создание системы из готовых типовых элементов. Задачи и разработки моделирования графического языка. Диаграммы потоков данных.
презентация, добавлен 06.01.2014- 70. Методы и средства проектирования информационных систем и технологий "Учет внутриофисных расходов"
Назначение информационной системы. Компоненты информационной системы организации. Выбор методологии моделирования. Моделирование бизнес-процессов в организации (IDEF0) и потоков данных (DFD). Описание логики взаимодействия информационных потоков (IDEF3).
курсовая работа, добавлен 12.04.2019 Свойства и характеристики пуассоновского потока. Сравнение теоретических и модельных значений полученных характеристик. Программа на языке программирования системы MATLAB. Статистическая обработка результатов и модельное значение параметра потока.
лабораторная работа, добавлен 22.11.2008Составление и поиск экстремумов аппроксимирующих функций при параллельных вычислениях. Оптимизация алгоритма обработки информации и моделирования потоков данных. Минимизация среднеквадратической ошибки выборки методом сходящегося итерационного процесса.
статья, добавлен 03.12.2018Понятие потоков данных как унифицированного программного интерфейса для чтения, записи файлов, сокетов и передачи данных между процессами. Поддержка потоков, сжатие данных. Применение алгоритма Лемпеля - Зиива - Веелча, кодирование и декодирование данных.
курсовая работа, добавлен 07.08.2013ERwin как средство разработки структуры базы данных. Особенность использования метода функционального моделирования. Анализ основных компонентов диаграмм потоков информации. Создание автоматизированных информационных систем с помощью программы ARIS.
курсовая работа, добавлен 08.01.2017- 75. Системный анализ и оценка методов сжатия данных для баз данных лазерных технологических комплексов
Проведение системного анализа и оценки свойств, принципов работы и основных характеристик методов сжатия данных, определение эффективных алгоритмов для уменьшения объема данных. Предназначение кодирования строковых данных и данных произвольного типа.
статья, добавлен 29.01.2016