Сети Петри
Природа систем, моделируемых сетями Петри, их специфические признаки и характеристики. Подходы к проектированию систем с помощью сетей Петри, их теоретико-множественное определение, графы. Использование мультимножеств входных и выходных позиций перехода.
Подобные документы
Эффективность методов интеллектуальной обработки информации и стратегий получения знаний для экспертных систем. Разработка нейронечёткой модели формирования баз знаний и алгоритма её обучения. Обучение нечёткой нейронной сети на множестве выборок.
автореферат, добавлен 27.03.2018Свойства систем дифференциальных уравнений. Исследование предельного множества траекторий. Траектории линейных систем на плоскости. Линейные однородные системы с периодическими коэффициентам. Устойчивость решений систем дифференциальных уравнений.
курсовая работа, добавлен 26.11.2014Точные, итерационные и прямые методы решения систем линейных алгебраических уравнений. Реализация решения СЛАУ с помощью Microsoft Excel. Блок-схема и описание алгоритма. Программа на языке VBA. Результаты выполнения программы с заданной точностью.
контрольная работа, добавлен 08.04.2018Анализ методов повышения успеха разработок сложных автоматизированных систем. Среда разработки онтологии проекта. Архитектура инструментальной оболочки. Характеристика лингвистического процессора. Операционная обстановка псевдофизического моделирования.
статья, добавлен 19.01.2018Управление технологическим процессом во времени. Поиск вариантов сокращения длительности производственного цикла. Использование марковской теории при разработке модели систем массового обслуживания. Построение графика зависимости вероятности отказа.
курсовая работа, добавлен 28.07.2015Разработка общих схем решения задач математического моделирования функционально избыточных дискретных систем. Принципы и подходы к реализации разработанных методов на примере построения математической модели функционально избыточной программной системы.
автореферат, добавлен 15.02.2018Алгоритм численного метода решения систем обыкновенных дифференциальных уравнений (задачи Коши). Применение метода Эйлера в алгоритме. Перечень основных положений предложенного метода решения систем ОДУ. Программа реализации алгоритма на языке Си.
статья, добавлен 23.10.2010Определения и теоремы теории графов, подграфы. Операции над графами и степени их вершин. Цепи, циклы и компоненты. Применение теории графов в школьном курсе математики, в задачах управления дорожным движением, химии, биологии, физике. Графы и информация.
курсовая работа, добавлен 22.06.2014Мультиграф, в котором не допускаются петли, но пары вершин могут соединяться более чем одним ребром. Теоретико-множественное представление графов. Вид двоичного дерева поиска, в котором ключами являются латинские символы, упорядоченные по алфавиту.
курсовая работа, добавлен 15.01.2014Рассмотрение решения линейных алгебраических систем с помощью метода Гаусса, постановки задачи, описания и сущности метода исключения, изучение точности метода, его преимуществ и недостатков, а также условий применимости и алгоритмов решения системы.
контрольная работа, добавлен 27.02.2014Построение математической модели внутренней структуры дисперсных систем. Результаты исследования процесса структурообразования дисперсных систем и влияния различных факторов на поведение данных систем с использованием разработанной математической модели.
автореферат, добавлен 02.05.2018Развитие итерационных методов решения систем линейных уравнений, путем разработки итерационного метода с использованием аппарата q-дифференцирования. Проведение вычислительного эксперимента с помощью программного пакета Matlab. Методы решения СЛАУ.
статья, добавлен 27.07.2017Дослідження впливу конструктивних параметрів мікрорезонаторів на вихідні електричні характеристики. Можливості створення бібліотеки VHDL-AMS моделей для використання її в процесі проектування та моделювання режимів функціонування вбудованих систем.
автореферат, добавлен 29.08.2014Аналіз сучасного стану досліджень з теорії інтегровних скінченновимірних гамільтонових систем. Вирішення проблеми інтегровності за Ліувіллем гамільтонових динамічних систем для випадку багаточастинкових систем на прямій з різними типами взаємодії.
автореферат, добавлен 25.06.2014Знакомство с решением задачи моделирования нестационарного теплового режима тепловых сетей с учетом их теплоаккумулирующих свойств и многовариантной конфигурации. Основные способы и проблемы решения систем дифференциальных уравнений первого порядка.
статья, добавлен 19.12.2017Вычисление определителя матрицы с помощью ее элементарных преобразований. Решение систем линейных уравнений методом Крамера. Алгебраические дополнения транспонированной матрицы. Решение выражений с помощью свойств скалярного, векторного произведений.
контрольная работа, добавлен 19.01.2014Исследование математических моделей и результатов анализа дискретных систем различных классов с использованием аналитических, численных и имитационных методов исследования. Анализ и свойства систем, представляемых моделями массового обслуживания.
учебное пособие, добавлен 03.07.2013Качественный анализ линейной и нелинейной динамических систем, определение условий их устойчивости и построение фазовых портретов в программе WINSET. Вычисление дифференциальных уравнений Бюргерса. Компьютерное исследование уравнения на фазовой плоскости.
контрольная работа, добавлен 10.02.2013Задача оптимизации систем управления транспортными потоками. Описание функционирования системы управления конфликтными потоками требований в классе алгоритмов с упреждением в случайной среде. Определение конфликтности и потоков насыщения системы.
курсовая работа, добавлен 12.04.2009Построение электрической модели городских транспортных сетей, позволяющей рассчитывать транспортные потоки, их скорость, плотность, количество полос движения с помощью законов электротехники. Обоснование корректности электрической модели, пример расчета.
статья, добавлен 20.05.2017Использование итерации в прикладной математике. Выполнение арифметических операций над переменными с плавающей точкой на компьютере. Преобразования матрицы чисел прямым и обратным ходом Гаусса. Решения линейных систем уравнений методом квадратного корня.
лабораторная работа, добавлен 21.03.2014Розробка методу, за допомогою якого можна побудувати теорію Нетера та дослідити властивості нових класів дискретних систем типу Вінера-Хопфа на основі теорії сингулярних інтегральних рівнянь та їх систем. Характеристика теорії розв’язності систем.
автореферат, добавлен 26.02.2015Аналіз стійкості автономних систем диференціальних рівнянь з імпульсним впливом. Розробка підходу до дослідження стійкості тривіальних розв'язків для цього класу систем. Дослідження критичних станів рівноваги нелінійних імпульсних систем Важевського.
статья, добавлен 19.02.2016Термины математического моделирования. Построение моделей, имитационные системы. Математическое описание систем дискретного управления. Теорема Котельникова-Шеннона. Дискретизация автономных систем. Преобразование непрерывного сигнала в цифровой код.
статья, добавлен 15.11.2018Аналитический метод определения инерционных параметров механических систем с упругими элементами, у которых основное движение осуществляется за счет закрученных упругих валов и сжатых пружин. Решение обратной задачи динамики механических систем.
статья, добавлен 28.05.2018