График потока сигналов
Граф потока сигналов или граф потока сигналов ( SFG ), изобретенный Клодом Шенноном , [1] но часто называемый графом Мэйсона в честь Сэмюэля Джефферсона Мэйсона, который ввел этот термин, [2] — специализированный потоковый граф , ориентированный граф , в котором узлы представляют собой системные переменные, а ветви (ребра, дуги или стрелки) представляют собой функциональные связи между парами узлов. Таким образом, теория графов потока сигналов основывается на теории ориентированных графов (также называемых орграфами ), которая включает также теорию ориентированных графов . Эта математическая теория орграфов существует, конечно, совершенно независимо от ее приложений. [3] [4]
SFG чаще всего используются для представления потока сигналов в физической системе и ее контроллерах, образуя киберфизическую систему . Среди других их применений — представление потока сигналов в различных электронных сетях и усилителях, цифровых фильтрах , фильтрах с переменным состоянием и некоторых других типах аналоговых фильтров. Почти во всей литературе граф потока сигналов связан с набором линейных уравнений .
История [ править ]
Вай-Кай Чен писал: «Концепция графа потока сигналов была первоначально разработана Шенноном [ 1942]. [1] при работе с аналоговыми компьютерами. Наибольшая заслуга в разработке графов потоков сигналов обычно принадлежит Мэйсону [1953]. [2] [1956]. [5] Он показал, как использовать технику графического потока сигналов для решения некоторых сложных электронных задач относительно простым способом. Термин « график потока сигналов» использовался из-за его первоначального применения к электронным проблемам и связи с электронными сигналами и блок-схемами исследуемых систем». [6]
Лоренс писал: «До Мэйсона работы К.Э. Шеннон [1] разработал ряд свойств того, что сейчас известно как графы потоков. К сожалению, изначально газета имела ограниченную классификацию, и очень немногие люди имели доступ к материалам». [7]
«Правила вычисления определителя графа Мэйсона были впервые даны и доказаны Шенноном [1942] с использованием математической индукции. Его работа осталась практически неизвестной даже после того, как Мейсон опубликовал свою классическую работу в 1953 году. Три года спустя Мейсон [1956] ] заново открыл правила и доказал их, рассматривая значение определителя и то, как оно меняется при добавлении переменных [...]» [8]
Область применения [ править ]
Робишо и др. определить область применения SFG следующим образом: [9]
- «Все физические системы, аналогичные этим сетям [состоящим из идеальных трансформаторов, активных элементов и гираторов], составляют область применения методов, разработанных [здесь]». Трент [10] показал, что в эту категорию попадают все физические системы, удовлетворяющие следующим условиям.
- Конечная система с сосредоточенными параметрами состоит из ряда простых частей, каждая из которых имеет известные динамические свойства, которые могут быть определены уравнениями, использующими два типа скалярных переменных и параметров системы. Переменные первого типа представляют собой величины, которые можно измерить, по крайней мере концептуально, путем прикрепления показывающего прибора к двум точкам соединения элемента. Переменные второго типа характеризуют величины, которые можно измерить, подключив счетчик последовательно с элементом. Относительные скорости и положения, перепады давления и напряжения являются типичными величинами первого класса, тогда как электрические токи, силы, скорости теплового потока являются переменными второго типа. Компания Firestone была первой, кто различал эти два типа переменных, используя имена через переменные и через переменные .
- Переменные первого типа должны подчиняться закону сетки, аналогичному закону напряжения Кирхгофа, тогда как переменные второго типа должны удовлетворять закону падения, аналогичному закону тока Кирхгофа.
- Физические размеры соответствующих произведений переменных двух типов должны быть согласованы. Для систем, в которых эти условия выполняются, можно построить линейный граф, изоморфный динамическим свойствам системы, описываемым выбранными переменными. Методы [...] могут быть применены непосредственно к этим линейным графикам, а также к электрическим сетям, чтобы получить граф потока сигналов системы».
Основные понятия потокового графа [ править ]
Следующая иллюстрация и ее значение были представлены Мэйсоном для иллюстрации основных понятий: [2]
В простых графах потока рисунка функциональная зависимость узла обозначена входящей стрелкой, узел, вызывающий это влияние, является началом этой стрелки, а в самом общем виде граф потока сигналов указывает входящими стрелками только те, которые узлы, которые влияют на обработку в принимающем узле, и в каждом узле i входящие переменные обрабатываются в соответствии с функцией, связанной с этим узлом, скажем F i . Блок-граф в (a) представляет собой набор явных отношений:
Узел x 1 является изолированным узлом, поскольку стрелка не поступает; уравнения для х 2 и х 3 имеют графики, показанные в частях (б) и (в) рисунка.
Эти отношения определяют для каждого узла функцию, которая обрабатывает получаемые им входные сигналы. Каждый узел, не являющийся источником, каким-либо образом объединяет входные сигналы и передает результирующий сигнал по каждой исходящей ветви. «График потока, как он первоначально был определен Мэйсоном, подразумевает набор функциональных отношений, линейных или нет». [9]
Однако обычно используемый граф Мейсона более ограничен, предполагая, что каждый узел просто суммирует свои входящие стрелки и что каждая ветвь включает только задействованный инициирующий узел. Таким образом, в этом более ограничительном подходе узел x 1 не затрагивается, пока:
и теперь функции f ij могут быть связаны с ветвями потока сигналов ij, соединяющими пару узлов x i , x j , вместо того, чтобы иметь общие отношения, связанные с каждым узлом. Вклад узла в себя, например f 33 для x 3, называется замкнутым циклом . Часто эти функции представляют собой просто мультипликативные коэффициенты (часто называемые коэффициентами пропускания или коэффициентами усиления ), например, f ij (x j )=c ij x j , где c — скаляр, но, возможно, функция некоторого параметра, такого как переменная преобразования Лапласа s . Графики потока сигналов очень часто используются с сигналами, преобразованными Лапласом, поскольку тогда они представляют собой системы линейных дифференциальных уравнений . В этом случае коэффициент пропускания c(s) часто называют передаточной функцией .
Выбор переменных [ править ]
В общем, существует несколько способов выбора переменных в сложной системе. В соответствии с каждым выбором можно записать систему уравнений и каждую систему уравнений можно представить в виде графика. Такая формулировка уравнений становится прямой и автоматической, если иметь в своем распоряжении приемы, позволяющие строить график непосредственно по принципиальной схеме изучаемой системы. Структура полученных таким образом графиков простым образом связана с топологией , принципиальной схемы становится ненужным рассматривать уравнения и для получения графика , даже неявно. В некоторых случаях достаточно просто представить потокограмму на принципиальной схеме, и желаемые ответы можно получить, даже не рисуя потокограмму.
— Робишо [11]
Неуникальность [ править ]
Робишо и др. писал: «График потока сигналов содержит ту же информацию, что и уравнения, из которых он выведен; но между графом и системой уравнений не существует однозначного соответствия. Одна система будет давать разные графики в зависимости от порядок, в котором уравнения используются для определения переменной, записанной в левой части». [9] Если все уравнения связывают все зависимые переменные, то их n! возможные SFG на выбор. [12]
сигналов графики прохождения Линейные
Методы линейного графа потока сигналов (SFG) применимы только к линейным стационарным системам , изучаемым соответствующей теорией . При моделировании интересующей системы первым шагом часто является определение уравнений, представляющих работу системы, без определения причин и следствий (это называется акаузальным моделированием). [13] Затем из этой системы уравнений выводится SFG.
Линейная SFG состоит из узлов, обозначенных точками, и взвешенных ветвей направления, обозначенных стрелками. Узлы — это переменные уравнений , а веса ветвей — это коэффициенты. Сигналы могут пересекать ветвь только в направлении, указанном стрелкой. Элементы SFG могут представлять только операции умножения на коэффициент и сложения, которых достаточно для представления уравнений с ограничениями. Когда сигнал пересекает ветвь в указанном направлении, вес сигнала умножается на вес ветви. Когда две или более ветвей направляются в один и тот же узел, их выходы добавляются.
Для систем, описываемых линейными алгебраическими или дифференциальными уравнениями, граф потока сигналов математически эквивалентен системе уравнений, описывающей систему, а уравнения, управляющие узлами, обнаруживаются для каждого узла путем суммирования входящих ветвей к этому узлу. Эти входящие ветви передают вклад других узлов, выраженный как значение подключенного узла, умноженное на вес соединительной ветви, обычно это действительное число или функция некоторого параметра (например, преобразования Лапласа переменная s ).
Для линейных активных сетей Чома пишет: [14] «Под «представлением потока сигналов» [или «графиком», как его обычно называют] мы подразумеваем диаграмму, которая, отображая алгебраические отношения между соответствующими переменными ветвей сети, рисует недвусмысленную картину того, как приложенный входной сигнал «течет» от портов ввода-вывода».
Мотивацию для анализа SFG описывает Чен: [15]
- «Анализ линейной системы сводится в конечном итоге к решению системы линейных алгебраических уравнений. В качестве альтернативы обычным алгебраическим методам решения системы можно получить решение, рассматривая свойства некоторых ориентированных графов, связанных с система." [См. подраздел: Решение линейных уравнений .] «Неизвестные уравнений соответствуют узлам графа, а линейные связи между ними проявляются в виде направленных ребер, соединяющих узлы. ...Связанные с ними ориентированные графы во многих случаях может быть установлено непосредственно путем исследования физической системы без необходимости предварительной формулировки связанных с ней уравнений..."
Основные компоненты [ править ]
Граф линейного потока сигналов связан с системой линейных уравнений [16] следующей формы:
- где = пропускание (или усиление) от к .
На рисунке справа изображены различные элементы и конструкции графа потока сигналов (SFG). [17]
- Доказательство (а) представляет собой узел. В этом случае узел помечен . Узел — это вершина, представляющая переменную или сигнал.
- Исходный узел имеет только исходящие ветви (представляет собой независимую переменную). В частном случае входной узел характеризуется наличием одной или нескольких прикрепленных стрелок, направленных от узла, и отсутствием стрелок, указывающих внутрь узла. Любой открытый, полный SFG будет иметь хотя бы один входной узел.
- Выходной приемный или узел имеет только входящие ветви ( представляет зависимую переменную). Хотя любой узел может быть выходным, для обеспечения ясности часто используются явные выходные узлы. Явные выходные узлы характеризуются наличием одной или нескольких прикрепленных стрелок, указывающих внутрь узла, и отсутствием стрелок, указывающих в сторону от узла. Явные выходные узлы не требуются.
- узел Смешанный имеет как входящие, так и исходящие ветви.
- Рисунок (b) представляет собой ветвь с мультипликативным выигрышем . Смысл в том, что результат на кончике стрелки равен умножить вход на хвосте стрелки. Коэффициент усиления может быть простой константой или функцией (например, функцией некоторой переменной преобразования, такой как , , или , для отношений Лапласа, Фурье или Z-преобразования).
- Рисунок (c) представляет собой ветвь с мультипликативным выигрышем, равным единице. Если коэффициент усиления опущен, предполагается, что он равен единице.
- Экспонат (г) является входным узлом. В этом случае, умножается на выигрыш .
- Экспонат (д) является явным выходным узлом; входящий фронт имеет выигрыш .
- На рисунке (f) показано сложение. Когда две или более стрелок указывают на узел, сигналы, передаваемые ребрами, суммируются.
- На рисунке (g) изображен простой цикл. Контурное усиление .
- На рисунке (h) показано выражение .
Термины, используемые в линейной теории SFG, также включают: [17]
- Путь. Путь — это непрерывный набор ветвей, пройденных в направлении, указанном стрелками ветвей.
- Открытый путь. Если ни один узел повторно не посещается, путь открыт.
- Путь вперед. Путь от входного узла (источника) к выходному узлу (приемнику), который не посещает повторно ни один узел.
- Прирост пути : произведение выигрышей всех ветвей пути.
- Петля. Закрытый путь. (он начинается и заканчивается в одном и том же узле, и ни один узел не затрагивается более одного раза).
- Коэффициент усиления петли : произведение коэффициентов усиления всех ветвей цикла.
- Неприкасающиеся петли. Несоприкасающиеся петли не имеют общих узлов.
- Сокращение графа. Удаление одного или нескольких узлов из графа с помощью преобразований графа.
- Остаточный узел. В любом предполагаемом процессе сокращения графа узлы, которые необходимо сохранить в новом графе, называются остаточными узлами. [2]
- Разделение узла. Разделение узла соответствует разделению узла на два полуузла, один из которых является приемником, а другой - источником. [18]
- Индекс : Индекс графа — это минимальное количество узлов, которые необходимо разделить, чтобы удалить все петли в графе.
- Индексный узел. Узлы, которые разбиваются для определения индекса графа, называются индексными узлами и, как правило, они не уникальны.
сокращение источников Систематическое поглотителей и
Граф потока сигналов можно упростить с помощью правил преобразования графов. [19] [20] [21] Эти правила упрощения также называются алгеброй графов потока сигналов . [22] Цель этого сокращения — связать интересующие зависимые переменные (остаточные узлы, приемники) с независимыми переменными (источниками).
Систематическое сокращение линейного графа потока сигналов представляет собой графический метод, эквивалентный методу исключения Гаусса-Жордана для решения линейных уравнений. [23]
Представленные ниже правила можно применять снова и снова, пока граф потока сигналов не будет приведен к «минимальной остаточной форме». Дальнейшее сокращение может потребовать исключения цикла или использования «формулы сокращения» с целью напрямую соединить узлы-приемники, представляющие зависимые переменные, с узлами-источниками, представляющими независимые переменные. Таким образом, любой граф потока сигналов можно упростить путем последовательного удаления внутренних узлов до тех пор, пока не останутся только узлы ввода, вывода и индекса. [24] [25] Робишо описал этот процесс систематического сокращения потоковых графов:
Сокращение графа происходит путем исключения определенных узлов для получения остаточного графа, показывающего только интересующие переменные. Такое устранение узлов называется « поглощением узлов ». Этот метод близок к знакомому процессу последовательного исключения нежелательных переменных из системы уравнений. Удалить переменную можно, удалив соответствующий узел графа. Если достаточно сократить граф, можно получить решение для любой переменной, и это цель, которую мы будем иметь в виду при описании различных методов сокращения графа. Однако на практике методы редукции будут использоваться исключительно для преобразования графа в остаточный граф, выражающий некоторые фундаментальные отношения. Полные решения легче получить, применяя правило Мейсона . [26] Сам граф программирует процесс сокращения. Действительно, простой просмотр графика легко подсказывает различные этапы приведения, которые выполняются с помощью элементарных преобразований, исключения петель или использования формулы приведения. [26]
- Робишо, Графики потоков сигналов и их приложения, 1962 г.
Для цифрового сокращения графа потока с использованием алгоритма Робишо расширяет понятие простого графа потока до обобщенного графа потока:
Прежде чем описывать процесс приведения... соответствие между графиком и системой линейных уравнений... необходимо обобщить... Обобщенные графики будут представлять собой некоторые рабочие связи между группами переменных ... К каждой ветви обобщенного уравнения Граф связан с матрицей, задающей отношения между переменными, представленными узлами на концах этой ветви... [27] Элементарные преобразования [определенные Робишо на рис. 7.2, с. 184] и сокращение цикла позволяет исключить любой узел j графа по формуле сокращения : [описанной в уравнении Робишо 7-1]. С помощью формулы приведения всегда можно сократить граф любого порядка... [После сокращения] конечный граф будет каскадным графом, в котором переменные узлов-приемников явно выражены как функции источников. Это единственный способ сокращения обобщенного графа, поскольку правило Мейсона заведомо неприменимо. [28]
- Робишо, Графики потоков сигналов и их приложения, 1962 г.
Определение элементарного преобразования варьируется от автора к автору:
- Некоторые авторы считают элементарными преобразованиями только суммирование коэффициентов усиления параллельных ребер и умножение коэффициентов усиления последовательных ребер, но не устранение петель. [23] [29]
- Другие авторы рассматривают устранение замкнутой петли как элементарное преобразование. [30]
Параллельные края. Замените параллельные ребра одним ребром, имеющим коэффициент усиления, равный сумме исходных коэффициентов усиления.
Граф слева имеет параллельные ребра между узлами. Справа эти параллельные ребра заменены одним ребром, имеющим коэффициент усиления, равный сумме коэффициентов усиления на каждом исходном ребре.
Уравнения, соответствующие сокращению между N и узлом I 1 :
Выходящие края. Замените исходящие ребра ребрами, вытекающими непосредственно из источников узла.
В графе слева есть промежуточный узел N между узлами, из которых он имеет приток, и узлами, в которые он вытекает.График справа показывает прямые потоки между этими наборами узлов без транзита N. через
Для простоты N и его притоки не представлены. Оттоки из N устраняются.
Уравнения, соответствующие сокращению, непосредственно связывающие входные сигналы N с его выходными сигналами:
Узлы нулевого сигнала.
Устраните исходящие ребра из узла, имеющего нулевое значение.
Если значение узла равно нулю, его выходящие ребра можно исключить.
Узлы без оттоков.
Устранить узел без оттоков.
В этом случае N не является интересующей переменной и не имеет исходящих ребер; следовательно, N и входящие в него ребра можно исключить.
Самозакручивающийся край. Замените зацикливающиеся края, отрегулировав усиление на входящих краях.
Граф слева имеет циклическое ребро в узле N с коэффициентом усиления g . Справа закольцованное ребро удалено, а усиление всех входящих ребер делится на (1-g) .
Уравнения, соответствующие уменьшению между N и всеми его входными сигналами:
Реализации [ править ]
Описанная выше процедура построения SFG из акаузальной системы уравнений и решения коэффициентов SFG реализована. [31] как дополнение к MATHLAB 68 , [32] онлайн- система, обеспечивающая машинную поддержку механических символических процессов, возникающих при анализе .
Решение линейных уравнений [ править ]
Графики потоков сигналов можно использовать для решения систем одновременных линейных уравнений. [33] Система уравнений должна быть согласованной, и все уравнения должны быть линейно независимыми.
Приведение уравнений в «стандартную форму» [ править ]
Для M уравнений с N неизвестными, где каждый y j — известное значение, а каждый x j — неизвестное значение, существует уравнение для каждого известного значения следующей формы.
- ; обычная форма для одновременных линейных уравнений с 1 ≤ j ≤ M
Хотя возможно, особенно в простых случаях, построить граф потока сигналов, используя уравнения в этой форме, некоторая перестановка позволяет использовать общую процедуру, которая легко работает для любого набора уравнений, как это представлено сейчас. Чтобы продолжить, сначала уравнения переписывают как
и далее переписано как
и, наконец, переписано как
- ; форма, подходящая для выражения в виде графа потока сигналов.
- где δ kj = дельта Кронекера
Граф потока сигналов теперь упорядочивается путем выбора одного из этих уравнений и обращения к узлу в правой части. Это узел, для которого узел соединяется сам с собой с помощью ветви веса, включающей «+1», образуя замкнутый цикл в графе потока. Остальные члены этого уравнения соединяют этот узел сначала с источником в этом уравнении, а затем со всеми другими ветвями, инцидентными этому узлу. Таким образом обрабатывается каждое уравнение, а затем каждая инцидентная ветвь присоединяется к соответствующему исходящему узлу. Например, на рисунке показан случай трех переменных, и первое уравнение имеет вид:
где правая часть этого уравнения представляет собой сумму взвешенных стрелок, падающих на узел x 1 .
Поскольку при рассмотрении каждого узла существует базовая симметрия, простой отправной точкой является расположение узлов, при этом каждый узел находится в одной вершине правильного многоугольника. При выражении с использованием общих коэффициентов { c in } среда каждого узла такая же, как и все остальные, за исключением перестановки индексов. Такая реализация для системы трех одновременных уравнений видна на рисунке. [34]
Часто известные значения y j принимаются за основные причины, а неизвестные значения x j за последствия, но независимо от этой интерпретации последняя форма набора уравнений может быть представлена в виде графа потока сигналов. Этот вопрос обсуждается далее в подразделе «Интерпретация причинности» .
Мэйсона Применение формулы усиления
В самом общем случае значения всех переменных x k можно вычислить, вычислив формулу усиления Мэйсона для пути от каждого y j до каждого x k и используя суперпозицию.
- где G kj = сумма формулы усиления Мэйсона, вычисленная для всех путей от входа y j до переменной x k .
В общем, существует N-1 путей от yj до переменной xk, поэтому вычислительные усилия для расчета G kj пропорциональны N-1.Поскольку существует M значений yj , G kj необходимо вычислить M раз для одного значения xk . Вычислительные затраты на вычисление одной переменной x k пропорциональны (N-1)(M). Усилия по вычислению всех переменных x k пропорциональны (N)(N-1)(M). Если имеется N уравнений и N неизвестных, то объем вычислений будет порядка N 3 .
Связь с блок-схемами [ править ]
По мнению некоторых авторов, линейный граф потока сигналов более ограничен, чем блок-схема . [35] в том, что SFG строго описывает линейные алгебраические уравнения, представленные ориентированным графом.
По мнению других авторов, линейные блок-схемы и линейные графики потоков сигналов являются эквивалентными способами изображения системы, и любой из них может быть использован для определения коэффициента усиления. [36]
Таблица сравнения блок-схем и графиков потока сигналов предоставлена Bakshi & Bakshi, [37] и еще одна таблица Кумара. [38] По данным Баркера и др. : [39]
- «График потока сигналов — наиболее удобный метод представления динамической системы. Топология графа компактна, а правила манипулирования им легче программировать, чем соответствующие правила, применимые к блок-схемам».
На рисунке показана простая блок-схема системы обратной связи с двумя возможными интерпретациями в виде графа потока сигналов. Входной сигнал R(s) представляет собой входной сигнал, преобразованный Лапласом; он показан как исходный узел на графе потока сигналов (исходный узел не имеет входных ребер). Выходной сигнал C(s) представляет собой выходную переменную, преобразованную Лапласом. На блок-схеме он представлен как узел-приемник (приемник не имеет выходных ребер). G(s) и H(s) являются передаточными функциями, причем H(s) служит для обратной связи измененной версии вывода на вход B(s) . Два представления графа потока эквивалентны.
Интерпретация «причинности» [ править ]
Термин «причина и следствие» был применен Мэйсоном к SFG: [2]
- «Процесс построения графика — это отслеживание последовательности причин и следствий в физической системе. Одна переменная выражается как явный эффект, вызванный определенными причинами; они, в свою очередь, признаются эффектами, вызванными другими причинами».
- - С. Дж. Мейсон: Раздел IV: Наглядные примеры применения техники потоковых графов.
и было повторено многими более поздними авторами: [40]
- « График потока сигналов — это еще один визуальный инструмент для представления причинно-следственных связей между компонентами системы. Это упрощенная версия блок-схемы, представленной С. Дж. Мейсоном как причинно-следственное представление линейных систем».
- — Артур Г.О. Мутамбара: Проектирование и анализ систем управления , стр.238
Однако статья Мэйсона призвана подробно показать, как набор уравнений связан с SFG, причем этот акцент не связан с интуитивными понятиями «причины и следствия». Интуиция может быть полезной для достижения SFG или получения понимания от SFG, но она несущественна для SFG. Существенная связь SFG заключается в его собственном наборе уравнений, как описано, например, Огатой: [41]
- «График потока сигналов — это диаграмма, которая представляет собой набор одновременных алгебраических уравнений. Применяя метод графа потока сигналов к анализу систем управления, мы должны сначала преобразовать линейные дифференциальные уравнения в алгебраические уравнения в [ переменной преобразования Лапласа ] s . ."
- - Кацухико Огата: Современная техника управления , с. 104
Здесь нет ссылки на «причину и следствие», и, как сказал Баруцкий: [42]
- «Как и блок-схемы, графы потоков сигналов представляют вычислительную, а не физическую структуру системы».
- - Вольфганг Боруцкий, Методология графа Бонда , стр. 10
Термин «причина и следствие» может быть неправильно истолкован применительно к SFG и неправильно воспринят как предполагающий системный взгляд на причинность. [43] а не значение, основанное на вычислениях . Чтобы обсуждение было ясным, возможно, будет целесообразно использовать термин «вычислительная причинность», как это предлагается для графов связей : [44]
- «В литературе по графам облигаций используется термин вычислительная причинность, указывающий порядок вычислений в моделировании, чтобы избежать любой интерпретации в смысле интуитивной причинности».
Термин «вычислительная причинность» поясняется на примере тока и напряжения в резисторе: [45]
- « Поэтому вычислительная причинность физических законов не может быть предопределена, но зависит от конкретного использования этого закона. Мы не можем сделать вывод, является ли ток, текущий через резистор, причиной падения напряжения, или же это разница потенциалов на два конца резистора, которые вызывают протекание тока. Физически это просто два параллельных аспекта одного и того же физического явления. В вычислительном отношении нам, возможно, придется время от времени принимать одно положение, а иногда другое».
- - Франсуа Селье и Эрнесто Кофман: §1.5 Программное обеспечение для моделирования сегодня и завтра , стр. 15
Компьютерная программа или алгоритм могут быть организованы для решения набора уравнений с использованием различных стратегий. Они отличаются тем, как они отдают приоритет поиску одних переменных относительно других, и эти алгоритмические решения, которые просто касаются стратегии решения, затем устанавливают переменные, выраженные как зависимые переменные ранее в решении, как «эффекты», определяемые остальные переменные теперь являются «причинами» в смысле «вычислительной причинности».
Используя эту терминологию, вычислительная , а не системная для SFG важна причинность. Существует широкий спектр философских дебатов, не касающихся конкретно SFG, по поводу связей между вычислительной причинностью и системной причинностью. [46]
потока сигналов для анализа проектирования и Графики
Графики потока сигналов можно использовать для анализа, то есть для понимания модели существующей системы, или для синтеза, то есть для определения свойств альтернативного проекта.
потока сигналов для анализа систем динамических Графики
Дорф и Бишоп предоставили список шагов при построении модели динамической системы: [47]
- Дайте определение системе и ее компонентам.
- Сформулируйте математическую модель и перечислите необходимые допущения.
- Напишите дифференциальные уравнения, описывающие модель.
- Решите уравнения для желаемых выходных переменных.
- Изучите решения и предположения.
- При необходимости повторно проанализируйте или перепроектируйте систему.
- —Р.С. Дорф и Р.Х. Бишоп, Современные системы управления , глава 2, с. 2
В этом рабочем процессе уравнения математической модели физической системы используются для вывода уравнений графа потока сигналов.
потока сигналов для проекта синтеза Графики
Графы потока сигналов использовались в исследовании пространства проектирования (DSE) в качестве промежуточного представления для физической реализации. Процесс DSE ищет подходящее решение среди различных альтернатив. В отличие от типичного рабочего процесса анализа, где интересующая система сначала моделируется с помощью физических уравнений ее компонентов, спецификация для синтеза проекта может быть желаемой передаточной функцией. Например, разные стратегии будут создавать разные графы потоков сигналов, на основе которых вытекают реализации. [48] В другом примере аннотированный SFG используется как выражение поведения в непрерывном времени в качестве входных данных для генератора архитектуры. [49]
Формулы Шеннона и Шеннона-Хэппа [ править ]
Формула Шеннона представляет собой аналитическое выражение для расчета коэффициента усиления взаимосвязанного набора усилителей аналогового компьютера. Во время Второй мировой войны, исследуя функциональную работу аналогового компьютера, Клод Шеннон разработал свою формулу. Из-за ограничений военного времени работа Шеннона в то время не была опубликована, и в 1952 году Мейсон заново открыл ту же формулу.
Уильям В. Хэпп обобщил формулу Шеннона для топологически замкнутых систем. [50] Формулу Шеннона-Хэппа можно использовать для получения передаточных функций, чувствительности и функций ошибок. [51]
Для согласованного набора линейных односторонних отношений формула Шеннона-Хэппа выражает решение с помощью прямой замены (неитеративной). [51] [52]
Программное обеспечение НАСА для электрических схем NASAP основано на формуле Шеннона-Хэппа. [51] [52]
сигналов Примеры графиков линейного потока
Простой усилитель напряжения [ править ]
Усиление сигнала V 1 усилителем с коэффициентом усиления a 12 математически описывается формулой
Эта зависимость, представленная графиком потока сигналов на рисунке 1, заключается в том, что V 2 зависит от V 1 , но это не подразумевает никакой зависимости V 1 от V 2 . См. Коу, стр. 57. [53]
усилитель с отрицательной связью обратной Идеальный
Возможная SFG для модели асимптотического усиления показана усилителя с отрицательной обратной связью на рисунке 3 и приводит к уравнению коэффициента усиления этого усилителя как
Интерпретация параметров следующая: T = коэффициент обратной связи , G ∞ = прямое усиление усилителя, G 0 = прямая связь (указывает на возможный двусторонний характер обратной связи, возможно, преднамеренной, как в случае с прямой компенсацией ). Рисунок 3 имеет интересный аспект: он похож на рисунок 2 для двухпортовой сети с добавлением дополнительного отношения обратной связи x 2 = T y 1 .
интерпретация параметров G 0 и G ∞ Из этого выражения коэффициента усиления очевидна , а именно:
Существует множество возможных SFG, связанных с каким-либо конкретным соотношением усиления. На рисунке 4 показана еще одна SFG для модели асимптотического усиления, которую легче интерпретировать с точки зрения схемы. На этом графике параметр β интерпретируется как коэффициент обратной связи, а A как «параметр управления», возможно, связанный с зависимым источником в цепи. Используя этот график, выигрыш равен
Чтобы подключиться к модели асимптотического усиления, параметры A и β не могут быть произвольными параметрами схемы, но должны быть связаны с коэффициентом возврата T следующим образом:
и асимптотическому выигрышу как:
Подставив эти результаты в выражение усиления,
что является формулой модели асимптотического усиления.
Электрическая схема, содержащая двухполюсную сеть [ править ]
На рисунке справа изображена схема, содержащая с y двухпортовую сеть -параметром . V in — вход схемы, а V 2 — выход. Уравнения двух портов накладывают набор линейных ограничений между напряжениями и токами портов. Терминальные уравнения накладывают другие ограничения. Все эти ограничения представлены в SFG (графике потока сигналов) под схемой. Существует только один путь от входа к выходу, который показан другим цветом и имеет коэффициент усиления (напряжения) -R L y 21 . Еще есть три петли: -R в y 11 , -R L y 22 , R в y 21 R L y 12 . Иногда цикл указывает на преднамеренную обратную связь, но он также может указывать на ограничение связи двух переменных. Например, уравнение, описывающее резистор, гласит, что отношение напряжения на резисторе к току, протекающему через резистор, является константой, называемой сопротивлением. Это можно интерпретировать как напряжение — это вход, а ток — выход, или ток — это вход, а напряжение — выход, или просто напряжение и ток имеют линейную зависимость. Практически все пассивные двухтерминальные устройства в цепи будут отображаться в SFG как петля.
SFG и схема изображают одну и ту же схему, но схема также указывает на назначение схемы. По сравнению со схемой, SFG неудобен, но у него есть то преимущество, что коэффициент усиления входа и выхода можно записать путем проверки с использованием правила Мэйсона .
: сервопривод позиционирования с многоконтурной связью обратной Мехатроника
Этот пример представляет собой SFG (граф потока сигналов), используемый для представления системы сервоуправления, и иллюстрирует некоторые особенности SFG. Некоторые из циклов (петля 3, петля 4 и петля 5) представляют собой внешние, специально разработанные петли обратной связи. Они показаны пунктирными линиями. Существуют также внутренние петли (петля 0, петля 1, петля 2), которые не являются преднамеренными петлями обратной связи, хотя их можно анализировать, как если бы они таковыми были. Эти петли показаны сплошными линиями. Цикл 3 и цикл 4 также называются второстепенными циклами, поскольку они находятся внутри более крупного цикла.
- Путь вперед начинается с θ C , команды желаемого положения. Это значение умножается на K P , которое может быть константой или функцией частоты. K P включает в себя коэффициент преобразования ЦАП и любую фильтрацию на выходе ЦАП. Выходным сигналом K P является команда скорости V ωC , которая умножается на K V , который может быть константой или функцией частоты. Выходной сигнал K V представляет собой текущую команду, V IC умножается на K C , который может быть константой или функцией частоты. Выходной сигнал K C собой выходное напряжение усилителя, ВА представляет . Ток I M в обмотке двигателя является интегралом напряжения, приложенного к индуктивности. Двигатель создает крутящий момент , пропорциональный I M. T Двигатели с постоянными магнитами, как правило, имеют линейную функцию зависимости тока от крутящего момента. Константа преобразования тока в крутящий момент равна K M . Крутящий момент T , разделенный на момент инерции нагрузки M, представляет собой ускорение α , которое интегрируется для определения скорости нагрузки ω , которая интегрируется для определения положения нагрузки θ LC .
- Прямой путь контура 0 утверждает, что ускорение пропорционально крутящему моменту, а скорость является интегралом ускорения по времени. Обратный путь говорит о том, что по мере увеличения скорости возникает трение или сопротивление, которое противодействует крутящему моменту. Крутящий момент нагрузки уменьшается пропорционально скорости нагрузки до тех пор, пока не будет достигнута точка, в которой весь крутящий момент будет использоваться для преодоления трения, а ускорение упадет до нуля. Цикл 0 является внутренним.
- Loop1 представляет собой взаимодействие тока индуктора с его внутренним и внешним последовательным сопротивлением. Ток через индуктивность представляет собой интеграл по времени от напряжения на индуктивности. Когда напряжение впервые прикладывается, все оно появляется на индукторе. Это показано прямым путем через . По мере увеличения тока напряжение падает на внутреннем сопротивлении индуктора R M и внешнем сопротивлении R S . Это снижает напряжение на катушке индуктивности и представлено цепью обратной связи -(RM + R S ). Ток продолжает увеличиваться, но постепенно уменьшаясь, пока ток не достигнет точки, в которой все напряжение падает (RM + RS ) . Цикл 1 является внутренним.
- Loop2 выражает влияние противо-ЭДС двигателя. Всякий раз, когда двигатель с постоянными магнитами вращается, он действует как генератор и создает напряжение в своих обмотках. Не имеет значения, вызвано ли вращение крутящим моментом, приложенным к приводному валу, или током, приложенным к обмоткам. Это напряжение называется обратной ЭДС. Коэффициент преобразования скорости вращения в обратную ЭДС равен GM . Полярность обратной ЭДС такова, что она уменьшает напряжение на индуктивности обмотки. Цикл 2 является внутренним.
- Цикл 3 является внешним. Ток в обмотке двигателя проходит через чувствительный резистор. Напряжение V IM , возникающее на чувствительном резисторе, подается обратно на отрицательный вывод усилителя мощности K C . Эта обратная связь заставляет усилитель напряжения действовать как источник тока, управляемый напряжением. Поскольку крутящий момент двигателя пропорционален току двигателя, подсистема V IC для выходного крутящего момента действует как источник крутящего момента, управляемый напряжением. Эту подсистему можно назвать «токовой петлей» или «моментной петлей». Петля 3 эффективно уменьшает эффекты петель 1 и 2.
- Цикл 4 является внешним. Тахометр (на самом деле маломощный генератор постоянного тока) вырабатывает выходное напряжение V ωM , пропорциональное угловой скорости. Это напряжение подается на отрицательный вход K V . Эта обратная связь заставляет подсистему от V ωC до угловой скорости нагрузки действовать как источник напряжения для скорости. Эту подсистему можно назвать «контуром скорости». Цикл 4 эффективно уменьшает эффекты цикла 0 и цикла 3.
- Цикл 5 является внешним. Это общий контур обратной связи по положению. Обратная связь поступает от углового энкодера, который формирует цифровой выходной сигнал. Выходное положение вычитается из желаемого положения с помощью цифрового оборудования, которое управляет ЦАП, который управляет K P . В SFG коэффициент преобразования ЦАП включен в K P .
Для этого примера см. правило Мэйсона для разработки формулы усиления Мэйсона.
потока сигналов и классификация Терминология графов
В литературе существует некоторая путаница относительно того, что такое граф потока сигналов; Генри Пейнтер , изобретатель графов облигаций , пишет: «Но большая часть упадка графов потока сигналов [...] частично связана с ошибочным представлением о том, что ветви должны быть линейными, а узлы должны быть суммирующими. Ни одно из предположений не было верным. обнимается самим Мейсоном!" [55]
потока сигналов охватывающие графики , Стандарты
- IEEE Std 155-1960, Стандарты IEEE на схемы: определения терминов для линейных графиков потока сигналов, 1960.
- Этот стандарт IEEE определяет граф потока сигналов как сеть направленных ветвей, представляющих зависимые и независимые сигналы в качестве узлов . Входящие ветви переносят сигналы ветвей к сигналам зависимого узла. Сигнал зависимого узла представляет собой алгебраическую сумму сигналов входящих ветвей в этом узле, т. е. узлы являются суммирующими.
потока сигналов состояний График перехода
SFG перехода состояний или диаграмма состояний — это диаграмма моделирования системы уравнений, включая начальные условия состояний. [56]
Закрытая блок-схема [ править ]
Замкнутые блок-графы описывают закрытые системы и используются для обеспечения строгой теоретической основы топологических методов анализа цепей. [50]
- Терминология теории замкнутых графов включает:
- Контрибутивный узел. Точка суммирования двух или более входящих сигналов, в результате чего получается только один исходящий сигнал.
- Распределительный узел. Точка выборки двух или более исходящих сигналов, являющихся результатом только одного входящего сигнала.
- Сложный узел. Сокращение вкладывающего узла и распределительного узла.
- Строго зависимый и строго независимый узел. Строго независимый узел представляет собой независимый источник; строго зависимый узел представляет собой метр.
- Открытые и закрытые блок-графы. Открытый блок-граф содержит строго зависимые или строго независимые узлы; в противном случае это закрытый блок-граф.
Нелинейные графики потоков [ править ]
Мейсон представил как нелинейные, так и линейные графы потоков. Чтобы прояснить этот момент, Мейсон написал: «Линейный граф потока — это граф, связанные с ним уравнения линейны». [2]
Примеры нелинейных ветвящихся функций [ править ]
Если мы обозначим через x j сигнал в узле j , ниже приведены примеры узловых функций, которые не относятся к линейной стационарной системе :
графов потока сигналов нелинейных Примеры моделей
- Хотя их обычно нельзя преобразовать между представлениями во временной и частотной областях для анализа классической теории управления, нелинейные графики потока сигналов можно найти в электротехнической литературе. [57] [58]
- Нелинейные графики потока сигналов также можно найти в науках о жизни, например, доктора Артура Гайтона . в модели сердечно-сосудистой системы [59]
Применение методов SFG в различных областях науки [ править ]
- Электронные схемы
- Характеристика последовательных схем типа Мура и Мили , получение регулярных выражений из диаграмм состояний . [60]
- Синтез нелинейных преобразователей данных. [58]
- Теория управления и сетей
- Стохастическая обработка сигналов. [61]
- Надежность электронных систем [62]
- Физиология и биофизика
- Регуляция сердечного выброса [63]
- Моделирование
- Моделирование на аналоговых компьютерах [64]
- Нейронаука и комбинаторика
См. также [ править ]
- Модель асимптотического усиления
- Графики облигаций
- Граф Коутса
- Системы управления/Схемы прохождения сигналов системам управления в Wikibook по
- График потока (математика)
- Фильтр «Чехарда» для примера конструкции фильтра с использованием графа потока сигналов.
- Формула выигрыша Мейсона
- Незначительная обратная связь цикла
- Некоммутативный граф потока сигналов
Примечания [ править ]
- ^ Jump up to: Перейти обратно: а б с CE Шеннон (январь 1942 г.). «Теория и проектирование машин с линейными дифференциальными уравнениями». Управление огнем Комитета исследований национальной обороны США: отчет 411, раздел D-2.
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь ) Перепечатано в НЯА Слоан; Аарон Д. Винер, ред. (1993). Клод Э. Шеннон: Сборник статей . Вили IEEE Press. п. 514. ИСБН 978-0-7803-0434-5 . - ^ Jump up to: Перейти обратно: а б с д и ж Мейсон, Сэмюэл Дж. (сентябрь 1953 г.). «Теория обратной связи — некоторые свойства графов потока сигналов» (PDF) . Труды ИРЭ . 41 (9): 1144–1156. дои : 10.1109/jrproc.1953.274449 . S2CID 17565263 .
Графический поток можно интерпретировать как систему передачи сигналов, в которой каждый узел представляет собой крошечную ретрансляционную станцию. Станция принимает сигналы по входящим ветвям, каким-либо образом объединяет информацию и затем передает результаты по каждой исходящей ветке.
- ^ Йорген Банг-Йенсен; Григорий З. Гутин (2008). Диграфы . Спрингер. ISBN 9781848009981 .
- ^ Бела Боллобас (1998). Современная теория графов . Springer Science & Business Media. п. 8. ISBN 9781461206194 . я
- ^ С. Дж. Мейсон (июль 1956 г.). «Теория обратной связи - дополнительные свойства графов потока сигналов». Труды ИРЭ . 44 (7): 920–926. дои : 10.1109/JRPROC.1956.275147 . hdl : 1721.1/4778 . S2CID 18184015 . Онлайн-версия найдена в Исследовательской лаборатории электроники Массачусетского технологического института .
- ^ Чен, Вай-Кай (1976). Прикладная теория графов: Графы и электрические сети . Эльзевир . ISBN 9781483164151 . ( WKC 1976 , стр. 167)
- ^ Лоренс, Чарльз Стэнтон (15 июля 1956 г.), Фогель, Дэн (редактор), Технический отчет 317 - Теория и применение потоковых графов (PDF) , Исследовательская лаборатория электроники, Массачусетский технологический институт
- ^ ( WKC 1976 , стр. 169)
- ^ Jump up to: Перейти обратно: а б с Луи П.А. Робишо; Морис Буавер; Жан Робер (1962). «Предисловие» . Графики прохождения сигналов и их применение . Серия электротехники Прентис-Холл. Прентис Холл. п. х. ASIN B0000CLM1G .
- ^ Гораций М. Трент (1955). «Изоморфизмы между ориентированными линейными графами и сосредоточенными физическими системами». Журнал Акустического общества Америки . 27 (3): 500–527. Бибкод : 1955ASAJ...27..500T . дои : 10.1121/1.1907949 .
- ^ ( Робишо 1962 , стр. ix)
- ^ Нарсинг Део (2004). Теория графов с приложениями к технике и информатике . PHI Learning Pvt. ООО с. 418. ИСБН 9788120301450 .
- ^ Кофранек, Дж; Матеяк, М; Привитцер, П; Трибула, М. (2008), Причинное или акаузальное моделирование: труд для людей или труд для машин (PDF) , Технические вычисления, Прага, 2008. Материалы конференции, Прага, стр. 16, заархивировано из оригинала (PDF) 29 декабря 2009 г.
{{citation}}
: CS1 maint: отсутствует местоположение издателя ( ссылка ) - ^ Дж. Чома-младший (апрель 1990 г.). «Анализ потоков сигналов сетей обратной связи» . Транзакции IEEE в схемах и системах . 37 (4): 455–463. Бибкод : 1990ITCS...37..455C . дои : 10.1109/31.52748 .
- ^ Вай-Кай Чен (1971). «Глава 3: Ориентированные графические решения линейных алгебраических уравнений». Прикладная теория графов . Северо-Голландский паб. Компания р. 140. ИСБН 978-0444101051 . Частично доступен с помощью функции просмотра изнутри Amazon .
- ^ См., например, Кацухико Огата (2004). «Глава 3-9: Представление линейных систем в виде графа потока сигналов» . Современная техника управления (4-е изд.). Прентис Холл. стр. 106 и далее . ISBN 978-0130609076 . Однако однозначного соответствия нет: Нарсинг Део (2004). Теория графов с приложениями к технике и информатике . PHI Learning Pvt. ООО с. 418. ИСБН 9788120301450 .
- ^ Jump up to: Перейти обратно: а б Куо, Бенджамин К. (1967). Системы автоматического управления (2-е изд.). Прентис-Холл. стр. 59–60.
- ^ Луи П.А. Робишо; Морис Буавер; Жан Робер (1962). «§1-4: Определения и терминология» . Графики прохождения сигналов и их применение . Серия электротехники Прентис-Холл. Прентис Холл. п. 8. АСИН B0000CLM1G .
- ^ Дж. Р. Абрахамс; Г.П. Коверли (2014). «Глава 2: Операции с блок-графом» . Анализ потока сигналов: Библиотека Содружества и Международная библиотека . Эльзевир. стр. 21 и далее . ISBN 9781483180700 .
- ^ Исаак М. Горовиц (2013). «Редукция графов потоков сигналов» . Синтез систем обратной связи . Эльзевир. стр. 18 и далее . ISBN 9781483267708 .
- ^ ( Огата 2002 , стр. 68, 106)
- ^ ( Огата 2002 , стр. 105, 106)
- ^ Jump up to: Перейти обратно: а б ( Henley 1973 , стр. 12)
- ^ ( Phang 2001 , стр. 37)
- ^ Примеры сокращения графа потока сигналов можно найти в ( Robichaud 1962 , стр. 186, раздел 7-3. Алгебраическая редукция графов потока сигналов).
- ^ Jump up to: Перейти обратно: а б ( Робишо 1962 , стр. 9–10, разделы 1–5: Сокращение графа потока)
- ^ ( Робишо 1962 , стр. 182, 183, разделы 7-1, 7-2 главы 7: Алгебраическая редукция графов потоков сигналов с использованием цифрового компьютера)
- ^ ( Робишо 1962 , стр. 185, раздел 7-2: Обобщение потоковых графов)
- ^ ( Робишо 1962 , стр. 9, разделы 1–5. РЕДУКЦИЯ ПОТОКОВОГО ГРАФА)
- ^ Фахфах, Мурад; Тлело-Куаутле, Эстебан; В. Фернандес, Франциско (2012). «Раздел 4.1.2 Алгебра графов потоков сигналов». В Фахфахе (ред.). Проектирование аналоговых схем посредством символьного анализа . Издательство Bentham Science. п. 418. ИСБН 978-1-60805-425-1 .
- ^ Лабреш П., презентация: Линейные электрические цепи: символический сетевой анализ , 1977.
- ^ Карл Энгельман , Наследие MATHLAB 68 , опубликовано в Proceeding SYMSAC '71 Proceedings of the второго симпозиума ACM по символическим и алгебраическим манипуляциям, страницы 29-41 [1]
- ^ "...решение набора одновременных линейных алгебраических уравнений. Эта задача, обычно решаемая матричными методами, также может быть решена с помощью теории графов." Део, Нарсингх (1974). Теория графов с приложениями к технике и информатике . Прентис-Холл Индии. п. 416. ИСБН 978-81-203-0145-0 . также онлайн по адресу [2]
- ^ Део, Нарсингх (1974). Теория графов с приложениями к технике и информатике . Прентис-Холл Индии. п. 417. ИСБН 978-81-203-0145-0 . также онлайн по адресу [3]
- ^ «График потока сигналов можно рассматривать как упрощенную версию блок-диаграммы. ... что касается причины и следствия ... линейных систем ... мы можем считать, что графики потока сигналов ограничены более жесткими математическими правилами, тогда как использование обозначений блок-схем менее строго». Куо, Бенджамин К. (1991). Системы автоматического управления (6-е изд.). Прентис-Холл. п. 77 . ISBN 978-0-13-051046-4 .
- ^ Джин Ф. Франклин; и др. (29 апреля 2014 г.). «Приложение W.3 Сокращение блок-схемы». Управление динамическими системами с обратной связью . Прентис Холл.
- ^ В.У.Бакши У.А.Бакши (2007). «Таблица 5.6: Сравнение методов блок-схемы и графа потока сигналов» . Техника управления . Технические публикации. п. 120. ИСБН 9788184312935 .
- ^ Ананд Кумар (2014). «Таблица: Сравнение структурных схем и методов прохождения сигналов» . Системы управления (2-е изд.). PHI Learning Pvt. ООО с. 165. ИСБН 9788120349391 .
- ^ Х.А. Баркер; М Чен; П. Таунсенд (2014). «Алгоритмы преобразований между блок-схемами и цифровыми потоковыми графами» . Компьютерное проектирование в системах управления, 1988: Избранные доклады с 4-го симпозиума IFAC, Пекин, КНР, 23-25 августа 1988 г. Эльзевир. стр. 281 и далее . ISBN 9781483298795 .
- ^ Например, см. Артур ГО Мутамбара (1999). Проектирование и анализ систем управления . ЦРК Пресс. п. 238. ИСБН 9780849318986 .
- ^ Кацухико Огата (1997). «Графики прохождения сигналов» . Современная техника управления (4-е изд.). Прентис Холл. п. 104. ИСБН 978-0130432452 .
- ^ Вольфганг Боруцкий (2009). Методология графа Бонда: разработка и анализ междисциплинарных моделей динамических систем . Springer Science & Business Media. п. 10. ISBN 9781848828827 .
- ^ Джеймс Дж. Каллахан (2000). «Причинность: Определение 2.10» . Геометрия пространства-времени: введение в специальную и общую теорию относительности . Springer Science & Business Media. п. 76. ИСБН 9780387986418 .
- ^ Джон Дж. Х. Миллер; Роберт Вишневецкий (22–26 июля 1991 г.). Джон Дж. Х. Миллер; Роберт Вишневецкий (ред.). IMACS '91, Материалы 13-го Всемирного конгресса IMACS по вычислительной технике и прикладной математике: 22–26 июля 1991 г., Тринити-колледж, Дублин, Ирландия . Международная ассоциация математики и компьютеров в моделировании.
- ^ Франсуа Э. Селье; Эрнесто Кофман (2006). Непрерывное системное моделирование . Springer Science & Business Media. п. 15. ISBN 9780387261027 .
- ^ См., например, Стефан Левандовски; Саймон Фаррелл (2010). Вычислительное моделирование в познании: принципы и практика . Публикации SAGE. ISBN 9781452236193 .
- ^ Дорф, Ричард К.; Бишоп, Роберт Х. (2001). «Глава 2.-1: Введение» (PDF) . Современные системы управления . Прентис Холл. п. 2. ISBN 978-0-13-030660-9 .
- ^ Антао, БАД; Бродерсен, AJ (июнь 1995 г.). «АРХГЕН: Автоматизированный синтез аналоговых систем». Транзакции IEEE в системах очень большой интеграции (VLSI) . 3 (2): 231–244. дои : 10.1109/92.386223 .
- ^ Доболи, А.; Дханвада, Н.; Вемури, Р. (май 2000 г.). «Эвристический метод генерации архитектуры системного уровня на основе графических представлений аналоговых систем». 2000 Международный симпозиум IEEE по схемам и системам. Новые технологии XXI века. Протоколы (IEEE Cat No.00CH36353) . Схемы и системы, 2000. Труды. ISCAS 2000 Женева. Международный симпозиум IEEE 2000 года. Том. 3. С. 181–184. CiteSeerX 10.1.1.59.304 . дои : 10.1109/ISCAS.2000.856026 . ISBN 978-0-7803-5482-1 . S2CID 13948702 .
- ^ Jump up to: Перейти обратно: а б с Хапп, Уильям В. (1966). «Методы блок-графов для закрытых систем». Транзакции IEEE по аэрокосмическим и электронным системам . АЭС-2 (3): 252–264. Бибкод : 1966ITAES...2..252H . дои : 10.1109/TAES.1966.4501761 . S2CID 51651723 .
- ^ Jump up to: Перейти обратно: а б с Поташ, Ханан; МакНэми, Лоуренс П. (1968). «Применение односторонних и графовых методов к анализу линейных цепей: решение неитерационными методами» . Материалы Национальной конференции ACM : 367–378. дои : 10.1145/800186.810601 . S2CID 16623657 .
- ^ Jump up to: Перейти обратно: а б Окрент, Ховард; МакНэми, Лоуренс П. (1970). «3. 3 Теория блок-графов» (PDF) . Руководство пользователя и программиста NASAP-70 . Лос-Анджелес, Калифорния: Школа инженерии и прикладных наук Калифорнийского университета в Лос-Анджелесе. стр. 3–9.
- ^ Коу (1967 , стр. 57)
- ^ Арнальдо Д'Амико, Кристиан Фалькони, Джанлука Джустолизи, Гаэтано Палумбо (апрель 2007 г.). «Сопротивление усилителей обратной связи: новое представление» (PDF) . Транзакции IEEE в схемах и системах – II Express Briefs . 54 (4): 298–302. CiteSeerX 10.1.1.694.8450 . дои : 10.1109/tcsii.2006.889713 . S2CID 10154732 .
{{cite journal}}
: CS1 maint: несколько имен: список авторов ( ссылка ) - ^ Пейнтер, Генри (1992). «Эпистемическая предыстория графов облигаций» (PDF) : 10, 15 страниц.
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь ) - ^ Упис, Константин Х.; Шелдон, Стюарт Н. (2013). «раздел 8.8». Анализ и проектирование систем линейного управления с помощью MATLAB®, шестое издание . Бока-Ратон, Флорида: CRC press. стр. 171–172. ISBN 9781466504264 .
- ^ Например: Баран, Томас А.; Оппенхим, Алан В. (2011), «Инверсия нелинейных и изменяющихся во времени систем», 2011 г., Учебное совещание по цифровой обработке сигналов и обработке сигналов (DSP/SPE) , Семинар по цифровой обработке сигналов и Образовательный семинар по обработке сигналов IEEE (DSP/SPE) , IEEE, стр. 283–288, CiteSeerX 10.1.1.695.7460 , doi : 10.1109/DSP-SPE.2011.5739226 , ISBN 978-1-61284-226-4 , S2CID 5758954
- ^ Jump up to: Перейти обратно: а б Гильерме, Дж.; Орта, Северная Каролина; Франка, JE (1999). СИМВОЛИЧНЫЙ СИНТЕЗ НЕЛИНЕЙНЫХ ПРЕОБРАЗОВАТЕЛЕЙ ДАННЫХ (PDF) .
- ^ Холл, Джон Э. (1 ноября 2004 г.). «Новаторское использование системного анализа для изучения регуляции сердечного выброса». Американский журнал физиологии. Регуляторная, интегративная и сравнительная физиология . 287 (5): R1009–R1011. doi : 10.1152/classessays.00007.2004 . ISSN 0363-6119 . ПМИД 15475497 .
Рисунок 2. Компьютерная модель сердечно-сосудистой системы Артура Гайтона, скачать jpeg
{{cite journal}}
: Внешняя ссылка в
( помощь )|quote=
- ^ БЖОЗОВСКИЙ, Ю.А.; МакКЛАСКИ, Э.Дж. (1963). Методы построения графиков прохождения сигналов для последовательных диаграмм состояний цепей . Транзакции IEEE на электронных компьютерах. IEEE. п. 97.
- ^ Барри-младший, Ли, Э.А., и Мессершмитт, Д.Г. (2004). Цифровая связь (Третье изд.). Нью-Йорк: Спрингер. п. 86. ИСБН 978-0-7923-7548-7 .
{{cite book}}
: CS1 maint: несколько имен: список авторов ( ссылка ) - ^ Хапп, Уильям В. (1964). Гольдберг, М.Ф. (ред.). «Применение методов блок-графов к решению проблем надежности». Физика отказов в электронике (AD434/329): 375–423. дои : 10.1109/ИРПС.1963.362257 .
- ^ Холл, Джон Э. (23 августа 2004 г.). «Новаторское использование системного анализа для изучения регуляции сердечного выброса». Am J Physiol Regul Integr Comp Physiol . 287 (5): R1009–R1011. doi : 10.1152/classessays.00007.2004 . ПМИД 15475497 .
- ^ ( Робишо 1962 , глава 5 Прямое моделирование на аналоговых компьютерах с помощью графиков потока сигналов)
- ^ Ижикевич, Евгений М (февраль 2006 г.). «Полихронизация: вычисления с шипами». Нейронные вычисления . 18 (2): 245–282. дои : 10.1162/089976606775093882 . ПМИД 16378515 . S2CID 14253998 .
- ^ Долорес-Куэнка, Э. и Арчиньега-Неварес, Х. А., Нгуен, А. и Зоу, А. И. Ван Поперинг, Л. и Крок, Н. и Эрлебахер, Г. и Мендоса-Кортес, Дж. Л. (апрель 2023 г.). «Полихрония как Чинампы» . Алгоритмы . 16 (4): 193. arXiv : 2103.15265 . дои : 10.3390/a16040193 .
{{cite journal}}
: CS1 maint: несколько имен: список авторов ( ссылка )
Ссылки [ править ]
- Эрнест Дж. Хенли и Р. А. Уильямс (1973). Теория графов в современной технике; автоматизированное проектирование, управление, оптимизация, анализ надежности . Академическая пресса. ISBN 978-0-08-095607-7 . Книга почти полностью посвящена этой теме.
- Коу, Бенджамин К. (1967), Системы автоматического управления , Прентис Холл
- Робишо, Луи, Пенсильвания; Морис Буавер; Жан Робер (1962). Графики прохождения сигналов и их применение . Серия электротехники Прентис-Холл. Энглвуд Клиффс, Нью-Джерси: Прентис Холл. стр. xiv, 214 с.
- Део, Нарсингх (1974), Теория графов с приложениями к инженерии и информатике , PHI Learning Pvt. ООО, с. 418, ISBN 978-81-203-0145-0
- К Туласирамэн; МНС Сварми (2011). «§6.11 Графы Коутса и Мэйсона» . Графики: Теория и алгоритмы . Джон Уайли и сыновья. стр. 163 и далее . ISBN 9781118030257 .
- Огата, Кацухико (2002). «Раздел 3-9 Графики прохождения сигналов». Современная техника управления, 4-е издание . Прентис-Хэл. ISBN 978-0-13-043245-2 .
- Пханг, Хоман (14 декабря 2000 г.). « 2.5 Обзор графиков потока сигналов » (PDF) . Проектирование оптического КМОП-предусилителя с использованием графического анализа схем (Диссертация). Кафедра электротехники и вычислительной техники Университета Торонто. © Авторские права принадлежат Кхоману Пхангу, 2001 г.
Дальнейшее чтение [ править ]
- Вай-Кай Чен (1976). Прикладная теория графов . Издательство Северной Голландии. ISBN 978-0720423624 . Глава 3 содержит самое необходимое, но приложения разбросаны по всей книге.
- Вай-Кай Чен (май 1964 г.). «Некоторые приложения линейных графов» . Контракт DA-28-043-AMC-00073 (E) . Координированная научная лаборатория Университета Иллинойса, Урбана. Архивировано из оригинала 10 января 2015 года.
- К. Туласираман и МНС Свами (1992). Графы: теория и алгоритмы . Джон Уайли и сыновья. 6.10-6.11 для основной математической идеи. ISBN 978-0-471-51356-8 .
- Шу-Пак Чан (2006). «Теория графов». В Ричарде К. Дорфе (ред.). Схемы, сигналы, обработка речи и изображений (3-е изд.). ЦРК Пресс. § 3.6. ISBN 978-1-4200-0308-6 . Сравнивает графовые подходы Мэйсона и Коутса с подходом k-дерева Максвелла.
- РФ Хоскинс (2014). «График потока и график потока сигналов линейных систем» . В SR Deards (ред.). Последние достижения в теории сетей: материалы симпозиума, состоявшегося в Колледже аэронавтики, Крэнфилд, сентябрь 1961 г. Эльзевир. ISBN 9781483223568 . Сравнение полезности графа потока Коутса и графа потока Мэйсона.
Внешние ссылки [ править ]
- М. Л. Эдвардс: S-параметры, графики потоков сигналов и другие матричные представления. Все права защищены.
- Х. Шмид: Графики потоков сигналов за 12 коротких уроков
- Системы управления/схемы прохождения сигналов в Wikibooks
- СМИ, связанные с графиками потоков сигналов, на Викискладе?