Автоматическая верификация и оптимизация потоков работ
Способы построения эффективных универсальных алгоритмов верификации и оптимизации, подходящих для анализа и преобразования потоков работ. Этапы разработки единого промежуточного графового представления для моделирования потока управления и потока данных.
Подобные документы
Средства разработки программного обеспечения. Идентификация и структурирование информационного пространства. Описание интерфейса программного обеспечения. Алгоритмы реализации запросов и поиска информации. Схема базы данных и диаграмма потоков данных.
курсовая работа, добавлен 31.07.2012Составление консольного приложения на языке С+, в котором работают параллельно два потока: в первом происходит суммирование чисел от 1 до 1000, а во втором потоке - чтение 1000 записей из текстового файла. Запуск потоков при помощи конструктора класса.
контрольная работа, добавлен 09.11.2012Microsoft SQL Server как законченное решение для управления и анализа данных, позволяющее оперативно развертывать масштабируемые Web-приложения. Знакомство с особенностями разработки базы данных. Способы формирования запросов средствами языка SQL.
дипломная работа, добавлен 24.09.2013Поток в транспортной сети. Разработка программы, находящей максимальный поток, используя алгоритм меток на языке С++. Расчет возможности ввода исходной таблицы смежности графа, на основе которой программа будет реализовать нахождения максимального потока.
курсовая работа, добавлен 22.02.2019- 105. Введение в Access
Модели представления данных. Обзор и классификация современных СУБД. Этапы проектирования информационных систем. Чтение и правка данных через форму. Язык запросов SQL. Этапы функционального, инфологического, даталогического и физического моделирования.
учебное пособие, добавлен 13.02.2012 Характеристика риск-ориентированного метода, позволяющего сформировать тестовое покрытие для базы данных, входящей в состав интегрированной информационной системы, основываясь на априорном анализе рисков и модифицированной модели верификации базы данных.
статья, добавлен 23.02.2016Попытки копирования естественных процессов, происходящих в мире живых организмов. Адаптивные методы поиска, используемые для решения задач функциональной оптимизации. Реализация генетических алгоритмов и их применение. Пути решения задач оптимизации.
курсовая работа, добавлен 18.06.2011Рассмотрены типы построения дополненной реальности, алгоритмы и методы визуализации объектов на основе различных технологий. Выбор наиболее подходящих алгоритмов построения объектов и методов распознавания места для организации музейного пространства.
статья, добавлен 30.04.2018Определение и понятие алгоритма. Принципы разработки и формы их представления (словесная, графическая, программная, псевдокоды). Часто употребляемые символы: название, обозначение, пояснение. Реализация алгоритмов с использованием базовых структур данных.
презентация, добавлен 30.04.2011Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.
статья, добавлен 03.10.2013Исследование задачи управления проектами, особенностью которых является случайное время выполнения работ. Получение вероятностно-временных характеристик путем проведения серий экспериментов над моделью. Диаграмма use-case для прорисовки структуры проект
статья, добавлен 07.03.2019Построение системы идентификации и верификации лиц на основе видео с возможностью ее оперативного введения в эксплуатацию и масштабирования. Разработка алгоритмов идентифицирования и выделения изображений. Анализ результатов тестового запуска программы.
статья, добавлен 17.11.2020Краткая характеристика Приемной комиссии Факультета Экономики и управления ТОГУ. Бизнес-модель приема документов от абитуриентов. Диаграмма потоков данных в IDEFО. Автоматизация процесса занесения данных в базу данных, построение инфологической модели.
отчет по практике, добавлен 25.10.2012Описание предметной области c использованием правил продукционной системы. Исследование семантической сети как одного из способов представления знаний. Особенность построения семантической сети. Разработка базы знаний на языке представления знаний.
статья, добавлен 17.02.2019Требования к эргономике интерфейса пользователя. Анализ информационных потоков предприятия. Механизмы управления доступом к данным, разработка клиентского приложения. Выполнение программы, создание отчетов. Выбор СУБД и организация защиты информации БД.
отчет по практике, добавлен 03.06.2015Организационная и функциональная структура управления предприятия. Информационное и программное обеспечение подсистемы "Отдел логистики". Экономико-организационная сущность задачи "Мониторинг потока посылок". Классификаторы и кодификаторы информации.
курсовая работа, добавлен 06.11.2017Рассмотрение основных элементов сетевой модели. Определение правил, необходимых для построения сетевых графиков. Технология работ, основные и промежуточные цели разработки и правила сетевого планирования. Основные способы построения сетевых графиков.
реферат, добавлен 26.03.2017- 118. Разработка базы данных для автоматизированной системы управления "Продажа компьютерной техники"
Обзор информационных технологий, подходящих для разработки базы данных (БД). Системный анализ предметной области автоматизированной системы управления. Разработка инфологической модели БД магазина. Физическое и логическое проектирование БД магазина.
курсовая работа, добавлен 03.10.2017 Анализ чувствительности программного проекта. Сценарий использования нового микропроцессора. Характеристики иерархической структуры программной системы. Способ тестирования потоков данных. Эволюционно-инкрементная организация жизненного цикла разработки.
учебное пособие, добавлен 15.09.2017Построение сети передачи данных с помощью протокола маршрутизации OSPF. Разработка алгоритмов, позволяющих обрабатывать информацию, представленную с помощью графа. Их использование для нахождения минимального остовного дерева и поиска кратчайших путей.
дипломная работа, добавлен 25.09.2014Реализация простейших алгоритмов на языке C#. Составление программ для обработки потока данных. Конструктор и другие методы при работе со структурами. Разработка приложений с графическим интерфейсом пользователя Windows. Создание и открытие проекта.
учебное пособие, добавлен 13.01.2014Основания для разработки и сроки исполнения работ. Назначение и цель создания системы. Характеристика объектов автоматизации. Логическая и физическая модель данных. Создание базы данных. Понятие агентства недвижимости, их виды с описанием функций.
курсовая работа, добавлен 21.09.2019Рассмотрение возможностей системы идентификации и верификации личности по изображению лица с помощью технологии WPF. Трудности при реализации подсистемы позиционирования человека перед фотоснимком, работы с фотоаппаратом и библиотекой идентификации.
презентация, добавлен 02.05.2014Основные элементы концепции хранилищ данных. Архитектуры глобальных хранилищ данных. Взаимосвязанные и независимые магазины данных. Анализ методов повышения эффективности алгоритмов обработки хранимых данных в связи с валообразным увеличением их объема.
статья, добавлен 15.08.2020Задача автоматического выявления компетенций, ее отношение к области управления знаниями в организациях. Управление знаниями как "идентификация умений, знаний, образа действий и возможностей, которые требуются и могут потребоваться для подбора персонала".
статья, добавлен 02.11.2018