Автоматическая верификация и оптимизация потоков работ
Способы построения эффективных универсальных алгоритмов верификации и оптимизации, подходящих для анализа и преобразования потоков работ. Этапы разработки единого промежуточного графового представления для моделирования потока управления и потока данных.
Подобные документы
Исследование методов одномерного поиска и влияния параметров алгоритмов на их эффективность. Анализ особенностей решения задач оптимизации с использованием методов многомерной и условной оптимизации. Особенности решения задач линейного программирования.
методичка, добавлен 21.10.2015Характеристика способов и алгоритмов моделирования систем автоматического управления с помощью параллельных систем обработки информации. Ряд оптимизаций и моделей алгоритмов организации параллельных вычислений. Анализ процесса/канала (Process/Channel).
статья, добавлен 14.10.2018Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Программы, обеспечивающие работу с файлами данных. Функции системы управления базами данных. Проблемы сопровождения больших систем, основанных на файлах. Сетевые базы данных. Реляционная организация данных. Использование универсальных сред разработки.
статья, добавлен 22.03.2019Понятие операционной системы, анализ ее задач. Поиск наиболее эффективного алгоритма как главная задача в планировании процессов и потоков. Классификация алгоритмов планирования. Различие между реализацией потоков на уровне пользователя и на уровне ядра.
курсовая работа, добавлен 03.12.2015Алгоритм создания информационной технологии обработки непрерывного потока данных. Построение графиков фазовых траекторий движения геодезических точек с прогнозом. Расчет допусков системы. Структурирование подсистемы методом анализа твердого тела.
курсовая работа, добавлен 01.06.2015Рассмотрение принципов построения универсальных адаптивных систем управления на естественных основаниях. Изучение концепции автономного адаптивного управления. Приведение примера использования генетических алгоритмов для оптимизации нейроноподобных сетей.
доклад, добавлен 16.01.2018Функциональный язык программирования Лисп. Понятие потока. Основные функции для работы с файлами. Типы данных с которыми поддерживает работу файл. Внешний указатель формата файла. Очистка буфера потока. Создание и удаление файла. Закрытие потока.
курсовая работа, добавлен 03.10.2008Характеристика организационной структуры поликлиники и стандартного алгоритма осуществления деятельности регистратуры. Разработка функциональной диаграммы и диаграммы потока данных. Разработка путей автоматизации и оптимизации работы регистратуры.
контрольная работа, добавлен 30.05.2017- 35. Моделирование и оптимизация процесса восполнения ресурса сложных объектов радиоэлектронной техники
Знакомство с основными особенностями моделирования и оптимизации процесса восполнения ресурса сложных объектов радиоэлектронной техники. Параметр потока отказов как наиболее информативная характеристика свойства безотказности восстанавливаемого объекта.
статья, добавлен 28.08.2016 Анализ методики разработки программы нахождения максимального потока в транспортной сети, представленной орграфом. Описание программного продукта, позволяющего находить максимальный поток в транспортной сети в ориентированном графе для заданных вершин.
курсовая работа, добавлен 22.02.2019Особенности представления данных для разработки алгоритма программы. Способы ввода информации об неориентированных графах. Аномалии исходных данных и реакция программы на них. Краткие сведения о временной сложности, демонстрация ее работоспособности.
курсовая работа, добавлен 28.09.2013Организация взаимодействия потоков через мьютексы. Многопоточное программирование и особенности вывода данных программой. Рассмотрение сущности значения COUNT. Оценка вероятности удержания мьютекса до конца цикла записи потока в глобальную переменную.
лабораторная работа, добавлен 19.11.2020Рассмотрение авторского метода верификации программ программируемых логических контроллеров, входящих в состав автоматизированных систем управления технологическими процессами. Система семантического анализа многомерных интервально-логических регуляторов.
статья, добавлен 16.07.2018Характеристика основных типов математических моделей для теоретического анализа эффективности функционирования связки "база данных" – "система управления базой данных" в терминах анализа сложности операций. Эволюция методов "оптимизации запросов".
статья, добавлен 28.02.2016Разработка многопоточного Win32-приложения, которое использует диалоговое окно для управления потоками процессов. Рассмотрение видов потоков, их состояния и контекста. Создание потока, определение потоковой функции и временных показателей его работы.
лабораторная работа, добавлен 18.03.2015Рассмотрение приемов построения диаграмм по методологии графического структурного анализа с использованием абстрактного устройства для хранения информации. Стоимостный анализ системы построения диаграммы потоков данных для модели работы предприятия.
реферат, добавлен 03.02.2014Обзор информационных технологий, подходящих для разработки информационной системы компьютерных курсов. Разработка инфологической модели базы данных (БД) и нормализация схемы. Программная реализация БД: представления, формы, отчеты и ограничения.
курсовая работа, добавлен 30.05.2013Постановка задачи оптимизации о нахождении экстремума вещественной функции в некоторой области. Изучение методов многомерной оптимизации, описание градиентных и безградиентных методов. Программная реализация одного из алгоритмов многомерной оптимизации.
курсовая работа, добавлен 26.06.2011Исследование принципа разбиения беспроводной сенсорной сети, на пикосети. Определение факторов, которые влияют на интенсивность информационных потоков, используя матрицу критериев. Разработка алгоритма управления информационным потоком для узла сети
статья, добавлен 30.10.2016Обоснование актуальности автоматизации экономической деятельности. Рассмотрение метода создания информационной матрицы. Преимущества оптимизации процесса анализа финансовых потоков многоуровневой организации с помощью построения программной среды.
задача, добавлен 10.02.2016Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018Синтез и верификация модели прогнозирования развития многоотраслевой агропромышленной корпорации. Этапы АСК-анализа, проверка объектов обучающей выборки на достоверность путем идентификации. Схема преобразования данных в информацию в системе "Эйдос".
статья, добавлен 20.05.2017Разработка модели потока псевдослучайных последовательностей процедурами машинной генерации. Алгоритм пространственно-временного состояния объекта. Создание системы управления и обработки средствами программирования. Оценка определения устойчивости.
курсовая работа, добавлен 03.10.2014Способы и этапы реализации базы данных для библиотеки: этап системного анализа предметной области, инфологического моделирования, даталогического проектирования, физического моделирования, реализации базы данных, а также создания интерфейса приложения.
курсовая работа, добавлен 11.03.2011