Введение в Mason’s Gain Formula и Signal Flow Graphs

Формула выигрыша Мейсона (также известная как правило Мейсона) является краеугольным камнем классической теории управления. Она обеспечивает систематический, графо-теоретический метод вычисления общей функции передачи между входным узлом и выходным узлом в графе потока сигналов (SFG). Граф потока сигналов представляет собой набор линейных алгебраических уравнений: узлы соответствуют переменным (например, напряжениям, силам, переменным состояния), а направленные ветви представляют собой выгоды (константы или функции передачи), связывающие их. Путем отслеживания прямых путей и идентификации петлей (пути обратной связи) правило Мейсона дает полное соотношение вход-выход без решения одновременных уравнений явно.

Сама формула изящно компактна:

T = [∑]k Pk Δk / Δ

где Pk является определяющим фактором графа (1 — сумма всех индивидуальных циклов усиления + сумма продуктов усиления всех пар нетройных циклов — сумма тройных и т.д.), и Δk является определяющим фактором графа после удаления всех циклов, которые касаются k-го прямого пути. линейная, временных инвариантных (LTI) системы, где суперпозиция удерживает и все усиления являются постоянными. Инженеры полагаются на неё для быстрого символического или численного анализа систем управления, электронных схем, механических сетей и даже экономических моделей.

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

Линейный фонд: как работает правило Мэйсона

Прежде чем заняться нелинейностью, необходимо точно вспомнить линейный случай. Рассмотрим SFG с узлами N. Отношения между любыми двумя узлами можно вывести, перечислив все прямые пути от источника к поглотителю. Передний путь представляет собой последовательность ветвей, которые никогда не посещают узел более одного раза. Прирост пути является продуктом всех ветвейых выигрышей по этому пути. Далее идентифицируются все индивидуальные петли (закрытые пути, которые возвращаются к исходному узлу без пересечения самих себя). Их выигрыши являются продуктом ветвейных выигрышей вокруг каждого цикла.

Знаменатель Δ (детерминант графа) построен из петель:
Δ = 1 - (сумма всех индивидуальных петель усиления) + (сумма продуктов выигрышей всех пар неприкасающихся петель) - (сумма продуктов выигрышей всех тройок неприкасающихся петель) + ...

Нумератор для данной пары источник-поглотитель — сумма по всем прямым путям k (P]k × Δk), где Δk является детерминантом графа после удаления всех петлей, которые касаются k-го прямого пути. Эта арифметика учитывает взаимодействие множества путей и петлей обратной связи без необходимости инверсии матрицы. Это мощный инструмент для символического анализа, особенно когда SFG большой или имеет много путей обратной связи.

Почему нелинейные графики сигнальных потоков отличаются

Графики нелинейного потока сигналов содержат ветви, усиления которых являются функциями узловых переменных, а не констант. Например, ветвь, представляющая насыщенную нелинейность, может иметь усиление, которое является функцией амплитуды входного сигнала. Аналогично, крутящий момент трения в механической системе зависит от скорости нелинейным образом. Эти нелинейности вводят несколько фундаментальных проблем:

  • Суперпозиция не срабатывает: Ответ на сумму входов не является суммой индивидуальных ответов.Правило Мейсона опирается на линейность для независимой трактовки каждого пути.
  • Приросты по пути изменяются в зависимости от рабочей точки: Один и тот же прямой путь может иметь разные эффективные приросты в зависимости от амплитуды сигнала, что делает одну функцию передачи бессмысленной.
  • Множественные равновесия: Нелинейные системы могут иметь несколько точек работы с постоянным состоянием. Структура SFG может быть одинаковой, но линейные усиления различаются в каждой точке.
  • Бифуркации и предельные циклы: Нелинейности могут вызывать качественные изменения в поведении (например, колебания), которые линейная передаточная функция не может захватить.
  • Гармоническая генерация: Синусоидальные входы производят выходы, содержащие гармоники, поэтому понятие «прибавка» становится частотно-зависимым в более богатом смысле, чем линейная частотная реакция.

Несмотря на эти препятствия, формула Мэйсона остается полезным концептуальным инструментом, если мы адаптируем ее применение соответствующим образом. Ключ заключается в том, чтобы признать, что, хотя глобальные отношения ввода-вывода могут быть не простой функцией передачи, локальные приближения или специальные отображения ввода-вывода все еще могут извлечь выгоду из анализа цикла пути.

Формула Мэйсона для нелинейных систем

Существует несколько стратегий, расширяющих правило Мейсона в нелинейную область. Они варьируются от простой (линейность) до сложной (описывающей функции, гармонический баланс). Ни один метод не подходит для всех случаев, но каждый сохраняет топологическое понимание SFG.

Линейная обработка малых сигналов вокруг операционной точки

Наиболее распространенный подход заключается в том, чтобы линейно зафиксировать каждый нелинейный прирост ветви вокруг выбранной точки равновесия (или по номинальной траектории).Это означает расширение нелинейной функции f(x) в виде ряда Тейлора и сохранение только термина первого порядка: f(x0+δx) ≈ f(x0) + f'(x0) δx.Постоянный термин f(x0) может быть поглощен постоянным источником или смещением.Повышенный прирост f'(x0) становится линеаризованным приростом ветви для малых возмущений δx.

После того, как все нелинейные ветви заменяются их линеаризованными коэффициентами усиления (которые являются константами под выбранной рабочей точкой), полученный SFG является LTI для малых сигналов. Затем правило Мейсона может быть применено для вычисления локальной функции передачи, относящейся к малым возмущениям вокруг этой рабочей точки. Это стандартная практика в конструкции системы управления (например, для транзисторных усилителей, механических систем, близких к равновесию, или химических процессов). Ограничение заключается в том, что линеаризованная модель действительна только для «малых» отклонений; чем больше нелинейность, тем более узкая область действия.

Описывающие функции (Quasi-Linearization)

Для систем, где нелинейность возбуждается синусоидальным входом и на выходе преобладает фундаментальная гармоника, способ описания функции , описывающий эквивалентный комплексный выигрыш. Этот выигрыш зависит от амплитуды входного синусоидуса (и, возможно, его частоты). Нелинейный элемент заменяется амплитудозависимой прибылью N (A, ω), которая наилучшим образом аппроксимирует фундаментальный выходной компонент. Например, идеальная насыщенность нелинейности имеет описательную функцию, которая реальна и изменяется с амплитудой: для небольших входов она линейна (прирост =1), а для больших входов она откатывается по мере попадания пределов насыщения.

В контексте SFG каждая нелинейная ветвь может быть заменена своей описательной функцией, что делает общий граф линейным для данной амплитуды А. Правило Мэйсона затем дает «квазипередающую функцию» T(s, A), которая зависит от амплитуды. Это особенно полезно для прогнозирования предельных циклов : если условие усиления петли для колебаний ( | L (jω) | = 1 и ⁇ L (jω) = -180°) может быть удовлетворено при некоторой амплитуде А, то может существовать устойчивое колебание. Подход описания функции расширяет топологический анализ Мэйсона до более широкого класса нелинейных эффектов, сохраняя при этом знакомую формулу петли-прибавки. Он широко используется в силовой электронике, сервоприводах и аэрокосмическом управлении.

Итеративные численные методы, использующие структуру Мэйсона

Когда аналитическая линеаризация слишком груба или описание функций неточно, можно рассматривать нелинейную SFG численно. Структура графа (пути, петли) все еще топологически валидна, но выигрыши являются функциями. Один из подходов заключается в написании системы уравнений, подразумеваемых SFG (каждая переменная узла равна сумме входных выигрышей ветви, умноженных на переменные исходного узла). Поскольку выигрыши являются нелинейными функциями, это становится набором нелинейных алгебраических или дифференциальных уравнений. Правило Мэйсона не может быть применено непосредственно, но SFG помогает организовать Якобиан для итерации Ньютона-Рафсона на каждом этапе.

В данной операционной точке можно вычислить линеаризованные коэффициенты усиления численно (через автоматическую дифференциацию или конечные различия) и затем использовать правило Мейсона для получения локального линейного приближения. Это делается неоднократно по мере развития системы. SFG действует как план для разреженной матричной структуры, делая итеративный решатель эффективным. Такие методы, как гармонический баланс (для периодического устойчивого состояния) также полагаются на аналогичное взаимодействие между нелинейными моделями ветвей и линейной топологией сети, часто получаемой из графиков потока сигналов.

Линейная струна

Другой прагматичный метод заключается в приближении нелинейного усиления ветви к линейной функции по частям. Для каждой области (например, низкая амплитуда, средняя амплитуда, насыщенная область) усиление является постоянным. Затем SFG имеет несколько линейных областей, каждая со своим собственным набором усиления. Правило Мэйсона может применяться для каждой области, и общее поведение системы описывается переключением между этими линейными моделями на основе уровней сигнала. Это распространено в моделях аналого-цифровых преобразователей, насыщения оп-ампера и трения со статицией.

Практические применения и примеры

Эти адаптированные методы не просто теоретические курьезы; они ежедневно используются инженерами в различных областях.СФГ остается мощным инструментом визуализации даже тогда, когда система нелинейна.

Тематическое исследование: нелинейный контроль обратной связи с насыщением

Рассмотрим систему управления единичным обратным ходом, где установка является линейной (G(s)), но насыщает исполнительный механизм. Нелинейность насыщения может быть смоделирована как ветвь в SFG между выходом контроллера и входом установки. Для небольших опорных сигналов исполнительный механизм остается в своем линейном диапазоне, а правило Мейсона дает T(s) = G(s)/(1+G(s)). Для более крупных сигналов насыщение эффективно уменьшает усиление петли. Используя описательную функцию для насыщения, мы можем вычислить амплитудно-зависимую функцию передачи и предсказать, когда система может демонстрировать предельный цикл. SFG дает четкую картину: прямой путь включает блок насыщения, а эффективный прирост петли обратной связи изменяется с амплитудой. Этот анализ является стандартным в конструкции анти-windup.

Нелинейная линейность датчиков в измерительных системах

Общая измерительная система использует нелинейный датчик (например, терморезистор с экспоненциальной кривой сопротивления-температурой). Выход датчика обрабатывается линейным усилителем и подается обратно для управления нагревателем. Общий SFG имеет нелинейную ветвь, представляющую датчик. Линеаризуя характеристику датчика вокруг желаемой температуры заданной точки, мы можем использовать правило Мэйсона для проектирования усиления усилителя для стабильности и быстрого отклика. Для больших температурных экскурсий линеаризованная модель может стать неточной, и инженер может использовать по частям линеаризацию или таблицу поиска в сочетании с SFG для поддержания точности.

Роботизированное соединение с трением и статицией

Роботизированные руки демонстрируют значительные нелинейности из-за трения, стикции и гибкости суставов. График потока сигнала одного сустава может включать в себя ввод крутящего момента, инерцию, демпфирование (линейное) и нелинейную модель трения (например, Coulomb + viscous + stiction). Для небольших движений вокруг заданной точки трение может быть линеаризовано (эквивалентное вязкое демпфирование). Для больших движений или при прогнозировании скольжения палки необходима описательная функция или поштучная линейная модель. SFG помогает идентифицировать петлю, которая вызывает колебания (обратная связь скорости через трение), и правило Мэйсона (адаптированное) может оценить амплитуду и частоту любого предельного цикла.

Ограничения и меры предосторожности

Хотя приведенные выше изменения полезны, инженеры должны знать об их ограничениях:

  • Локальная валидность: Линейные модели точны только вблизи рабочей точки.Большой анализ сигналов требует более продвинутых методов (например, описание функций допустимо только для синусоидальных входов и может пропустить субгармонию).
  • Никакой суперпозиции: Как только у вас есть линеаризованный SFG, вы не можете линейно комбинировать результаты из разных рабочих точек.
  • Гармоническое содержание: Описывая функции, игнорируют гармоники, которые могут быть значительными в некоторых системах (например, преобразователи мощности с высокочастотным переключением).
  • Топология неизменна: Нелинейности иногда могут изменять топологию графов (например, переключатель, который открывает или закрывает). Правило Мэйсона не может обрабатывать изменяющуюся во времени топологию напрямую, хотя по частям модели могут имитировать различные топологии.
  • Численная чувствительность: Итеративные методы, которые многократно линеаризуются, могут быть чувствительными к исходному догадке и могут сходиться к неправильным равновесиям.

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

Заключение

Формула Мэйсона по своей сути является линейным инструментом, но ее применение не должно останавливаться на границе линейности. Используя линеаризацию малых сигналов, описывая функции, поштучно аппроксимации или итеративные численные методы, инженеры могут использовать структурные прозрения графиков потока сигналов для анализа и проектирования нелинейных систем. Ключ заключается в том, чтобы соответствующим образом адаптировать концепцию «прибыли» для нелинейного контекста, сохраняя топологическую ясность, которую обеспечивает правило Мэйсона. Независимо от того, разрабатываете ли вы цикл управления с насыщением, характеризующий нелинейность датчика или отладку роботизированного соединения, перспектива петли пути, предлагаемая методом Мэйсона, остается мощным союзником. С этими адаптациями формула продолжает служить мостом между элегантным миром линейной теории и сложной реальностью нелинейных систем.