рефераты конспекты курсовые дипломные лекции шпоры

Раздел Философия
/
Матричные уравнения

Реферат Курсовая Конспект

Выберите учебное заведение

Матричные уравнения

Матричные уравнения - раздел Философия, ТЕОРИЯ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ Другой Подход К Анализу Сетей Петри Основан На Матричном Представлении Сетей ...

Другой подход к анализу сетей Петри основан на матричном представлении сетей Петри и решении матричных уравнений. Альтернативным по отношению к определению сети Петри À в виде пятерки <P, T, F, W, M₀> является определение сети À в виде двух матриц D^-и D⁺, представляющих входную и выходную функции инцидентности F(p, t) и F(t, p). Пусть каждая из матриц D^-и D⁺ имеет m=êTê строк (по одной на переход) и n=êP ê столбцов (по одному на позицию).

Определение 2.18. Матричный вид сети Петри À=<P, T, F, W, M₀> задаётся парой (D^-^,D⁺), где

D^-[k,i]=F(p_i,t_k) – кратность дуги, ведущей из позиции p_i в переход t_k.

D⁺[k,i]=F(p_i,t_k) – кратность дуги, ведущей из перехода t_k в позицию p_i,

для произвольных 1£k£m, 1£i£n.

Пусть e[k] — m-вектор, k-тый элемент которого равен 1, а остальные равны 0. Переход t_k, 1£k£m, в разметке М возможен, если М³e[k]×D^-. Результатом срабатывания возможного перехода t_k в разметке М является следующая далее разметка М’:

M’ =M - e[k]×D^- + e[k]×D⁺=M + e[k]×D,

где D=(D⁺ - D^-) — составная матрица изменений.

Развернуть

Открыть в широком формате

– Конец работы –

Эта тема принадлежит разделу:

ТЕОРИЯ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ

ПО РЫБОЛОВСТВУ... ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ... УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ МУРМАНСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Матричные уравнения

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Тема 1.1. Понятие вычислительного процесса. Основные свойства
Современные системы управления содержат важный подкласс систем – управляющие устройства, осуществляющие координацию процессов с конечном множеством состояний. Работа таких устройств описыв

Репозиция процесса
В рамках введенных выше понятий и определений не уточнялся механизм перехода от результантов к инициаторам. Между тем, описание такого механизма необходимо для получения эффекта возобновления АП, е

Редукция процесса
Операция редукции состоит в сведении данного АП к более простому. Такая операция необходима тогда, когда из полного описания процесса хочется выделить некоторую его

Композиция процессов
Рассмотрим два АП: процесс P1 = <S1, F1, I1, R1> (необязательно приведенный) и приведенный процесс P2п = <S

Модельная интерпретация асинхронного процесса с помощью сети Петри
Ситуациями в сети является начальная разметка М0 и все разметки, достижимые от М0, т.е. МÎR(À). Ситуация-инициатор – начальная разметка, результанты – множество к

Свойства сетей Петри
Свойства условий: ограниченность и безопасность Из определения правил срабатывания переходов сети следует, что для реализации события достаточно, чтобы каждое его входное условие им

Дерево достижимости
Дерево достижимости (другое название покрывающее дерево) представляет все достижимые маркировки сети Петри, а также – все возможные последовательности запусков её переходов. Для любой сети

Анализ безопасности и ограниченности
Утверждение 1. Сеть Петри ограниченна тогда и только тогда, когда символ w отсутствует в её дереве достижимости. Краткое обоснование. Присутствие символа w в дереве достижимо

Блокировка памяти
Все вычислительные машины и системы имеют такое средство для организации взаимного исключения, как блокировка памяти. Это средство запрещает одновременное использование двух (и более) команд

Понятие тупика. Модель Холта
При параллельном исполнении процессов могут возникать ситуации, при которых два или более процесса все время находятся в заблокированном состоянии. Самым простым является случай, когда каждый из дв

Методы борьбы с тупиками
Проблема тупиков является чрезвычайно серьезной и сложной. В настоящее время разработано несколько подходов и методов разрешения этой проблемы, однако ни один из них нельзя считать панацеей. В неко

Стандартные схемы программ
Определение 5.4. Стандартная схема – это схема программ с памятью, называемая также алголоподобной или операторной схемой. Исследование стандартных схем соста