Элементы теории графов. Сеть Петри. Конечный автомат
Определение исходного графа графическим, матричным и аналитическим способами. Установление центров и периферийных вершин. Задача о максимальном потоке и потоке минимальной стоимости. Анализ сетей Петри. Элементы математической логики и теории автоматов.
Подобные документы
Элементы математической логики. Основные операции алгебры логики. Логические операции (составные высказывания). Основные законы математической логики. Система функций алгебры логики. Функциональная полнота. Минимизация булевых функций. Метод Квайна.
контрольная работа, добавлен 25.03.2017Виды автоматов и содержание соответствующей теории, общая схема и базовые модели. Класс явно-минимальных и сократимых автоматов, их сравнительное описание и функциональные особенности, эквивалентные состояния и свойства. Результат работы программы.
курсовая работа, добавлен 10.03.2018Рассмотрение возможности применения теории графов при описании схем информационных потоков информационной системы. Исследование схемы информационных потоков информационной системы, которая является локальной сетью. Анализ роли матрицы инцидентности.
статья, добавлен 29.07.2018Использование реконфигурируемых вычислительных систем для решения задач поиска шаблонов в потоке данных. Эффективная разработка цифрового автомата, решающего задачу поиска шаблонов с масками "*" и "?". Основная идея метода векторизации состояний автомата.
статья, добавлен 30.05.2017Необходимость изменения и подстройки алгоритмов управления при изменяющихся условиях функционирования автоматизированных систем. Построение управляющих устройств на основе моделей теории графов. Формализм конечного автомата для устройств управления.
статья, добавлен 08.03.2019Анализ нового метода построения конечных автоматов, основанного на сведении этой задачи к поиску на графе и применении муравьиного алгоритма нового типа для поиска решений в этом графе. Анализ его эффективности по сравнению с генетическим алгоритмом.
статья, добавлен 15.01.2019Рассмотрение способа воспроизведения и интерактивного редактирования ориентированных и неориентированных графов. Достижение визуального изменения координат вершин на рисунке графа с применением стека изменений практически неограниченной глубины.
статья, добавлен 30.04.2018Изучение этапов метода производящих функций для вероятностно-временных графов для решения задачи представления знаний предметных областей компьютеризированных систем обучения. Рассмотрение исходного графа сети. Анализ организации учебного материала.
статья, добавлен 14.07.2016Основные возможности Интернет. Основы структурного программирования. Выполнение расчетов на компьютерах. Элементы языка Пролог. Технология дистанционного обучения. Средства обработки данных. Анализ правильности алгоритмов. Элементы математической логики.
учебное пособие, добавлен 25.11.2013Метамодель "асинхронный процесс", свойства исходного процесса на основе ее анализа. Репозиция, редукция, композиция, оценка полученных результатов. Предметная интерпретация метамодели на основе сети Петри. Динамические характеристики исходного процесса.
контрольная работа, добавлен 06.09.2011Анализ понятия граф. Рассмотрение вершин, достижимости и длины пути. Классификация и примеры графов. Способы их представления. Преимущества матрицы смежности и иерархического списка. Исследование алгоритма Дейкстры. Создание графа в программе "ProGraph".
презентация, добавлен 20.04.2015Определение графа как конечного множества вершин и набора неупорядоченных и упорядоченных пар вершин. Выбор соответствующей структуры данных для представления графа при разработке алгоритмов. Метод локальной оптимизации, алгоритмы Эйлера и Кристофидеса.
курсовая работа, добавлен 11.03.2010Изучение методов автоматической и полуавтоматической визуализации графов цитирования на плоскости. Силовые алгоритмы расположения вершин на плоской поверхности и особенности их анимации. Разработка программы визуализации кластерной структуры графа.
дипломная работа, добавлен 28.08.2016Исследование эффективности алгоритмов диспетчеризация и управления буферной памятью. Построение компактной подсистемы, моделирующей средствами цветных временных сетей Петри. Многоканальная буферная память коммутатора сети Ethernet с поддержкой QoS.
статья, добавлен 08.02.2022Разработка метода проектирования программных моделей протоколов передачи данных. Разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей. Метод построения раскрашенной сети Петри.
автореферат, добавлен 02.12.2017Понятия теории графов. Представление задачи в виде теоремы. Поиск решений в пространстве состояний и при сведении задач к подзадачам. Процедура построения графа состояний на примере выбора маршрута транспортным роботом. Свойства эвристических алгоритмов.
реферат, добавлен 30.10.2013- 67. Графовые сети
Основные понятия и виды графов. История теории графов: модель Эйлера; метафора Холтона. Общие свойства формальных теорий. Идеи, принципы, аналитическая компонента, язык теории графов. Абстрактные и семантические графовые сети. Топология компьютерной сети.
реферат, добавлен 06.03.2015 Відрізнення однієї вершини графа від усіх інших його вершин і графа-еталону від заданого класу графів. Створення експериментів з ними шляхом аналізу та розрізнення пов’язаних з вершинами графа мов у алфавіті позначок для розпізнавання графів та їх вершин.
автореферат, добавлен 29.09.2015Анализ популярности украинских кандидатов в президенты в украинском сегменте социальных сетей и блогосфере за весь официальный период предвыборной кампании. Методики исследования и оценки активности блогосферы: теория графов, анализ социальных сетей.
статья, добавлен 29.06.2017Разработка программного обеспечения для решения задач поиска кратчайшего пути между вершинами графа на языке программирования Delphi с помощью алгоритма Дейкстры. Достоинства динамических массивов, понятия теории графов, представление графов на ЭВМ.
курсовая работа, добавлен 07.06.2011Построение графического описания компьютерной сети, математической модели и нотации (языка) для хранения и обработки компьютерной сети. Организация топологии "кольцо". Алгоритм преобразования графов для единообразного представления топологии сети.
статья, добавлен 07.03.2019Разработка языков описания и изучения параллельной структуры управления. Анализ преимуществ структурированного и модульного программирования. Совершенствование методов компаративной семантики. Программная реализация компонента транслятора языка Барс.
автореферат, добавлен 20.09.2011Условия и особенности применения технологии NET Remoting и соответствующего алгоритмического обеспечения при построении распределенной системы имитационного моделирования. Алгоритм продвижения модельного времени, повышающий быстродействие моделей.
статья, добавлен 01.06.2018Классификация вычислительных сетей. Эволюция компьютерных сетей, их элементы. Аппаратное обеспечение вычислительных сетей. Физическая среда передачи данных. Средства связи и способы передачи сигналов. Основные группы программного обеспечения сетей.
презентация, добавлен 16.04.2013Построение математической модели согласно варианту. Решение задачи графическим, алгебраическим и методом симплекс-таблицы. Определение допустимого решения методом введения искусственного базиса. Анализ взаимосвязи между решениями взаимодвойственных задач.
курсовая работа, добавлен 24.12.2014