Элементы теории графов. Сеть Петри. Конечный автомат
Определение исходного графа графическим, матричным и аналитическим способами. Установление центров и периферийных вершин. Задача о максимальном потоке и потоке минимальной стоимости. Анализ сетей Петри. Элементы математической логики и теории автоматов.
Подобные документы
Набор UML-диаграмм и свойств сети Петри с целью обеспечения надежности функционирования многопоточного программного обеспечения с ограниченными разделяемыми ресурсами. Разработка программных решений для повышения производительности моделирования программ.
автореферат, добавлен 02.08.2018Понятия, особенности построения и преобразования праволинейной и автоматной грамматик, их правила и вид. Определение недетерминированного конечного автомата. Аспекты приведения к детерминированному виду и минимизация состояний. Изображение сети Петри.
курсовая работа, добавлен 24.04.2009Параллельное вычисление, проектирование программного обеспечения и моделировании бизнес-процессов при помощи математического аппарата сети Петри. Реализация возможностей добавления элементов сети, позиций, переходов, их изменение, удаление и рисование.
курсовая работа, добавлен 19.01.2017Теория сложных систем как наука, занимающаяся вопросами исследования в общем виде произвольной системы. Математический аппарат, необходимый для анализа структуры системы. Теория графов, обеспечивающая необходимую математическую модель различных задач.
статья, добавлен 25.08.2020Знакомство с вариантами решения практической задачи определения неучтенных потерь нефти в сети нефтепровода при жестких ограничениях на время счета. Анализ результатов исследования параллельной реализации алгоритма Голдберга "Проталкивание предпотока".
статья, добавлен 26.04.2019Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Детерменированный конечный автомат. Минимизация конечных автоматов. Вопросы кодирования и представления, обработки и минимизации конечного автомата. Разработка программы на языке C#, которая демонстрирует все алгоритмы обработки конечных автоматов.
курсовая работа, добавлен 17.05.2015Описание традиционного подхода к передаче данных и модификации с целью шифрования передаваемой информации. Приведение общей сети Петри для получения и передачи данных, установления соединения и обмена данными. Подход к моделированию защищенной передачи.
статья, добавлен 30.01.2019Анализ принципов построения модели сети Петри, используемой при моделировании аппаратного и программного обеспечение ЭВМ. Характеристика графического представления рассматриваемых сетей и их маркировка. Оценка последовательности дискретных событий.
лекция, добавлен 18.10.2013Проектирование сервиса автоматизированной среды на радиоэлектронных предприятиях. Построение схемы информационного обмена. Внедрение протоколов взаимодействия открытых систем. Моделирование взаимодействия объектов среды на основе аппарата сетей Петри.
творческая работа, добавлен 24.08.2020Разработка стратегической карты для IT-компании. Рассмотрение задачи моделирования сбалансированной системы показателей для IT-компании на основе раскрашенных сетей Петри. Количество целей и показателей для разных конфигураций. Моделирование целей.
статья, добавлен 30.07.2017- 37. Связные графы
Вершинная и реберная связность в математике. Оценка компонентов связности графа. Схематичное изображение графа, его блоков и точек сочленения. Логические операции определения ребер и вершин графов. Метод нахождения блока графа. Определение блоков графа.
презентация, добавлен 25.09.2017 Система цифровых автоматов, их класификация. Способы задания автоматов. Применение вероятностных автоматов. Случайные величины и их распределения. Предмет теории вероятностей. Виды дискретных распределений и структура программы.
дипломная работа, добавлен 02.10.2015Определения и понятие теории графов. Алгоритм нахождения кратчайшего расстояния от одной из вершин графа до всех остальных, работающий только для графов без ребер отрицательного веса. Реализация алгоритма Дейкстры на языке программирования Delphi.
курсовая работа, добавлен 16.06.2014- 40. Теория графов
История и основные термины теории графов. Представление их в электронно-вычислительной машине. Задача коммивояжера. Метод ветвей и границ. Решение задачи аналитическим методом. Постановка задачи, создание приложения для ее решения. Тестирование программы.
курсовая работа, добавлен 04.09.2013 Теория распознавания образов, основные понятия. Оптимизация алфавита классов и словаря признаков. Построение продукционной системы, диагностирующей миому матки и внутренний эндометриоз. Практическое применение продукционной модели, алгоритм сети Петри.
курсовая работа, добавлен 05.02.2016Конечный автомат: модель вычислений, основанная на гипотетической машине состояний. Планирование состояний и их переходов. Описание состояний интеллекта муравья. Улучшение FSM: автомат, основанный на стеке. Написание искусственного интеллекта для хоккея.
курсовая работа, добавлен 24.01.2017Анализ модели организации взаимодействия клиентов и распределенной базы данных. Обоснование выбора трехуровневой модели. Построение модели распределенной системы с двумя серверами приложений на основе сети Петри-Маркова, этапы выполнения действий.
статья, добавлен 06.07.2013Понятие ациклического графа, пример графа для анализа логики перечисления всех его деревьев. Остовные деревья минимальной реализации. Рассмотрение методов Дж. Краскала и Р. Прима для построения каркасов. Особенности программной реализации графов.
презентация, добавлен 22.09.2017Разработка сетевого приложения в архитектуре клиент-сервер на базе синтаксического анализатора xml-файлов, позволяющего в реальном времени проводить моделирование сетей Петри. Оригинальные компоненты интерфейса, структуры передачи данных и их отображения.
диссертация, добавлен 21.02.2019Основные термины и теоремы теории графов. Задачи на графах. Разработка интерфейса программного комплекса. Определение классов и модулей программы. Программная реализация редактора изучения теории графов. Выбор программной платформы и среды разработки.
дипломная работа, добавлен 28.05.2019Анализ разработки мнемосхем процессов учета больничных листов на предприятии, показывающие взаимодействия объектов процесса. Целесообразность автоматизации процесса учета больничных листов на предприятии на основе математической модели сетей Петри.
статья, добавлен 07.08.2022Использование графов при решении задач. Использование графических информационных моделей для наглядного отображения объектов. Диаграмма средней разницы между минимальной и максимальной ставкой. Определение протяжённости дорог в километрах с помощью графа.
презентация, добавлен 21.10.2017- 49. Формирование списка окрестностей вершин ориентированного графа по заданной матрице инцидентности
Особенности формирования списка окрестностей вершин ориентированного графа по заданной матрице инцидентности. Рассмотрение основных способов представления графов, анализ матрицы смежности. Знакомство со средой разработки Microsoft Visual Studio 2005.
контрольная работа, добавлен 13.12.2015 Комбинаторная оптимизация, заключающаяся в отыскании самого выгодного маршрута как задача коммивояжера или знаменитая задача теории комбинаторики. Теория графов и обход графов. Полный перебор, жадные алгоритмы, метод минимального остовного дерева.
автореферат, добавлен 25.09.2015