Теория графов
Доказательство невозможности существования нужного маршрута. Структуры данных для поиска в пространстве состояний. Корректность правил вывода исчисления предикатов. Построение графа на основе набора логических отношений из исчисления высказываний.
Подобные документы
Описание способа моделирования логических схем посредством теории множеств, использующий модель двузначной логики. Построение адекватной модельной области для лямбда-исчисления м модель логики высказываний. Доказательство теоремы о непротиворечивости.
статья, добавлен 26.04.2019Результаты исследования условий существования экстремали и точек бифуркации экстремалей задачи вариационного исчисления. Выбор оптимальных законов параметрического регулирования в среде заданного набора алгоритмов при многопараметрическом возмущении.
статья, добавлен 28.05.2018Анализ метода структурной оптимизации теории графов, базирующегося на алгоритме поиска заданного числа кратчайших отличающихся хотя бы одним ребром маршрутов между порой вершин взвешенного графа. Оценка алгоритмической сложности разработанного метода.
статья, добавлен 30.01.2016Принципы моделирования, теоретико-множественные средства моделирования. Средства моделирования логики высказываний. Средства моделирования логики предикатов. Логика научного познания. Доказательство и дедуктивный вывод. Виды индукции, аналогия.
контрольная работа, добавлен 23.11.2009Построение имитационной модели сетевой структуры цепей поставок в виде направленного графа. Описание концепции цифрового близнеца в цепях поставок. Решение прикладных оптимизационных задач с использованием математического аппарата теории графов.
статья, добавлен 27.12.2021Сущность экономических и финансовых сетей. Использование теории графов для описания фондового рынка России. Нахождение максимальной клики и независимого множества. Способы анализа графа рынка. Реализация алгоритма поиска максимальных квази-клик в графе.
дипломная работа, добавлен 30.07.2016Сущность математических моделей для поиска оптимальных решений. Практические задачи, приводящие к исследованию линейной функции. Использование свойств квадратичной функции при решении экстремальных задач. Применение методов дифференциального исчисления.
контрольная работа, добавлен 03.02.2011Принципы оценки компонентов конечного использования межотраслевого баланса. Расходы на конечное потребление, валовое накопление. Аспекты исчисления элементов конечного использования в постоянных ценах. Обобщения международного и российского опыта.
статья, добавлен 17.06.2016Представления о графах, исторические сведения. Понятия теории графов, их виды и примеры. Матричное задание графов. Матрицы смежности и инцидентности. Связность и ее компоненты. Задачи решаемые с помощью графов: коммивояжер, четыре краски, домик и колодцы.
курсовая работа, добавлен 24.06.2010Реализация интерактивного анализа данных. Алгоритмы поиска частых наборов и ассоциативных правил. Агрегирование куба с помощью перестроек префиксного дерева. Положение систем анализа данных среди информационных систем. Степень участия человека в анализе.
автореферат, добавлен 30.04.2018Математическая модель объекта управления в пространстве состояния; граф системы и структурная схема. Расчет передаточной функции системы по формуле Мейсона. Графики временных и частотных характеристик, оценки качества системы по данным характеристикам.
курсовая работа, добавлен 12.03.2014Современные методы комплексного оценивания моделирования рыночной системы на основе деревьев критериев и матриц свёртки. Формирование возможных исходов события в виде графа с определением в дальнейшем вероятности перехода к каждому из его состояний.
статья, добавлен 20.05.2017Модель процессов с состояниями сложной структуры на основе узорных структур. Исследование поведения меры устойчивости формального понятия и её оценок. Использование подходов для моделирования процесса госпитализации пациентов с учетом описания состояний.
дипломная работа, добавлен 28.12.2016Методы разработки многоуровневых вычислительных систем. Пути практического применения сетей Петри при проектировании и анализе систем. Вычислительные структуры для ввода, обработки и вывода информации. Анализ модели при помощи графа достижимости.
лабораторная работа, добавлен 03.12.2009Нахождение оптимальной структуры производства с определенной нормой прибыли. Специальные класс моделей линейного типа с целочисленными и двоичными переменными. Использование оптимизационных моделей, решаемых методами дифференциального исчисления.
учебное пособие, добавлен 25.11.2015Сущность проблемы маршрутизации автотранспорта. Разработка алгоритма поиска наилучшего решения задач маршрутизации с ограничениями заказчиков с помощью мета-эвристики поиска с запретами. Различные представление задачи Vehicle Routing Problem в виде графа.
реферат, добавлен 01.10.2016Рассмотрение способов повышения точности вывода нечеткого аппроксиматора. Особенности оптимизации базы правил. Исследование параметров гибридизации на основе модели островов. Оценка эффективности оптимизации различных нечетких моделей аппроксиматора.
статья, добавлен 02.02.2019Структура процесса эволюционной модификации матрицы смежности для решения комбинаторных логических задач на графах. Особенности эволюционных механизмов формирования n-областей. Использование структуры генетического поиска, значение раскраски граф.
статья, добавлен 17.01.2018Выбор выходного параметра и факторов для многофакторного технологического эксперимента. Построение математической модели, описывающей зависимость отклика системы от набора входных факторов. Оценка адекватности построенной модели исходным данным.
контрольная работа, добавлен 09.12.2015Методы расширения возможностей отображения информационных свойств графов путём дополнения конкретного графа новыми понятиями его элементов, что позволяет устанавливать условия возникновения переходных видов информации. Ее преобразование в цепи оригиналов.
статья, добавлен 31.08.2018Разработка граф-аналитического подхода для поиска комплексного набора ресурсов организации, предоставляемых участникам кооперации для обеспечения необходимых производственных процессов. Обоснование перспективности подхода для резервирования ресурсов.
статья, добавлен 29.07.2016Подготовка данных и построение модели. Корреляционный анализ экономических показателей. Расчёт частных и множественных коэффициентов корреляции. Построение регрессионной модели и её интерпретация. Проверка исходных данных на мультиколлинеарность.
курсовая работа, добавлен 16.01.2016Построение сети передачи данных единого образовательного информационного пространства региона. Особенности информатизации сферы образования в России. Анализ сети передачи данных с целью рационального выбора ее структуры и технического обеспечения.
статья, добавлен 15.08.2020Исполнение ввода исходных данных во встроенном редакторе графов. Определение эффективности реализованных в программе Spectr методов расчета спектра поверхности. Нахождение глобальных экстремумов функций с использованием простого генетического алгоритма.
статья, добавлен 17.01.2018Рассмотрение графов специального вида. Основные дискретные циклы и разрезы. Матрицы инцидентности, фундаментальных циклов и фундаментальных разрезов связного графа. Поиск числа маршрутов в вершинах. Определение кода Прюфера для остова в системе Matlab.
контрольная работа, добавлен 22.11.2014