Автоматическая верификация и оптимизация потоков работ
Способы построения эффективных универсальных алгоритмов верификации и оптимизации, подходящих для анализа и преобразования потоков работ. Этапы разработки единого промежуточного графового представления для моделирования потока управления и потока данных.
Подобные документы
Общая характеристика примеров работ с файловыми потоками. Анализ режимов открытия потока, рассмотрение проблем. Способы создания пользовательского класса с минимальной функциональностью. Особенности сохранения данных в файле с использованием потоков.
лабораторная работа, добавлен 10.08.2013Изучение алгоритмов поиска инвариантных соотношений в программах с простыми переменными, относящимся к методам анализа потоков данных и верификации. Анализ языка типа равенств для программ над абсолютно свободными алгебрами данных и кольцами полиномов.
статья, добавлен 29.01.2016Разработка алгоритма поиска структурных ошибок в непротиворечивых графах потоков работ. Моделирование структурной перспективы в системах управления бизнес-процессами. Решение задач поиска конфликтов на графах потоков работ, содержащих простые циклы.
автореферат, добавлен 25.07.2018Описание структуры процесса анализа характеристик потока событий. Изучение статистических методов анализа данных с целью установления стационарности потока заявок. Описание этапов при исследовании входных потоков данных для систем обработки информации.
статья, добавлен 27.07.2017Понятие потока и процесса в информационных технологиях, преимущества использования потоков. Реализация потоков в пространстве пользователя и ядра. Основные составляющие потока в исполнительной системе. Атрибуты объекта-потока, его функции и параметры.
контрольная работа, добавлен 03.10.2010Data Flow Diagram как диаграмма потоков данных, стандарт бизнес моделирования для описания существующих на предприятиях потоков данных. Пример составления схемы потоков данных. Общая схема потоков данных предметной области, потоков данных подсистем.
лабораторная работа, добавлен 03.02.2022Абстрактные типы данных для разработки алгоритмов распределения и маршрутизации потоков в коммуникационных сетях. Оценки трудоемкости алгоритмов. Численный эксперимент для проверки работоспособности и вычислительной эффективности предложенных алгоритмов.
статья, добавлен 25.03.2016Сумма двух простейших потоков и определение характеристики результирующего потока. Статистическая обработка полученных результатов и моделирования двух простейших потоков. Вычисление математического ожидания. Расчет оценки дисперсии случайной величины.
лабораторная работа, добавлен 22.11.2008- 9. Выбор алгоритма оптимизации для распределения работ между сотрудниками специализированного магазина
Рассмотрение алгоритмов оптимизации, выполнение анализа полученных результатов. Применение и предназначение определенного алгоритма. Разработка наглядного графика работы сотрудников специализированного магазина, определение видов работ на каждый час.
статья, добавлен 27.04.2017 Анализ возможности согласованного описания потоков управления, данных и информационных связей в процессе разработки алгоритмов средствами трехосновной алгебраической системы. Рассмотрение и характеристика основных свойств получаемых схем алгоритмов.
статья, добавлен 28.02.2016Содержание концепции универсальной системы обработки потоков данных. Основные преимущества создания мультиплатформенных, многофункциональных и гибких продуктов. Различные способы применения универсальных обработчиков. Коды модуля и порядок их выполнения.
статья, добавлен 11.03.2018Определение этапов и работ, входящих в общий комплекс работ по созданию программного продукта (программного средства); расчет трудоемкости выполнения отдельных этапов и работ и общей трудоемкости разработки; расчет основных параметров и оптимизация сети
контрольная работа, добавлен 29.04.2014Разработка эффективных алгоритмов реализации интерактивного анализа данных, автоматического поиска частых наборов и правил в данных, основанных на использовании префиксного дерева. Порядок построения алгоритмов удобного просмотра извлечённых правил.
автореферат, добавлен 25.07.2018Качество информации как важнейший параметр для потребителя информации. Процесс построения имитационных моделей. Этапы верификации и валидации имитационной модели. Подход к управлению успешным исследованием системы методами имитационного моделирования.
курсовая работа, добавлен 15.05.2014Обоснование необходимости разработки алгоритмов оценивания безопасности маршрутов следования информации в сети. Основные способы продвижения транспортных потоков. Положение защиты интеллектуальной собственности, содержание лицензионного договора.
дипломная работа, добавлен 23.02.2013Разработка методики автоматизации и управления потоками работ в системе дистанционного зондирования Земли на основе технологии Workflow Описание объектной модели ядра управления системой ДЗЗ с применением объектного графического языка моделирования UML.
статья, добавлен 29.04.2018Разработка алгоритма расчета для задачи моделирования оптического потока на основе динамики движения частиц. Использование методов цифровой обработки изображений, распознавания образов, дискретных преобразований и системного анализа для расчета потока.
статья, добавлен 07.03.2019Классы синхронизации потоков и классы для работы с потоком. Структуры, делегаты, перечисления и приоритет потока в языке С#. Одновременное выполнение нескольких операций. Создание потока, свойства и методы класса, приоритет потока в языке Delphi.
курсовая работа, добавлен 13.05.2012Структура и функции библиотеки. Построение модели документооборота, контекстной диаграммы потоков работ и потоков данных. Недостатки технологии обработки информации предметной области и пути их устранения с использованием информационных средств.
курсовая работа, добавлен 20.10.2013Сравнение способов организации данных в информационных системах. Особенности табличной и иерархической форм представления информации. Возможности использования функционального анализа и графового моделирования при проектировании информационных систем.
статья, добавлен 18.07.2018Особенности применения информационных систем для анализа потоков данных разного типа. Представление компьютерных концепций хранения и поиска информации в локальном и глобальном виде. Проведение исследования автоматизированных и интеллектуальных программ.
статья, добавлен 16.07.2018Представление диаграммы потоков данных. Использование нотаций, соответствующих методам Йордана-ДеМарко и Гейна-Сэрсона. Определение внешней сущности. Построение системы и подсистемы. Способы реализации процесса. Накопитель данных для хранения информации.
лекция, добавлен 28.12.2013Автоматизация ввода и хранения данных по трудоустраиваемым гражданам и работодателям. Создание модели в стандарте IDEF0. Проведение комплексного анализа и реорганизации бизнес-процессов. Диаграммы потоков данных. Расположение работ в дереве узлов.
курсовая работа, добавлен 24.05.2016Схема моделирования бизнес-процессов (потоков информации) предприятия. Понятие об уровне декомпозиции диаграммы, входящих и выходящих стрелках, стрелках управления. Количественный анализ и определение коэффициента сбалансированности диаграмм IDEF0 и DFD.
презентация, добавлен 27.12.2013Раскрытие сущности информационно-логического моделирования процессов сбора и обработки информации. Изучение структуры компьютерных информационных потоков, процессов оптимизации и обработки информации при эргономическом проектировании воздушных судов.
статья, добавлен 07.03.2019