梅森公式

**梅森增益公式**（Mason's Gain Formula, MGF）是尋找線性訊號流圖（SFG）遞移函數的方法。該公式是塞繆爾・傑斐遜・梅森推導出的， 也是用他的名字命名的。MGF 是用代數方法標記每個訊號，將訊號依賴於其他訊號的方式寫成方程式，然後求解多元方程組得出輸出訊號與輸入訊號的關係，以求遞移函數的方法。MGF 提供了由訊號流圖一步一步獲得遞移函數的方法。通常，MGF 可以通過檢查訊號流圖確定。該方法可以很容易地處理多變數、多迴路包括內循環迴路的訊號流圖。MGF 經常出現在控制系統和數位濾波器的內容中，因為控制系統和數位濾波器常會用訊號流圖表示。

## 公式

增益公式如下：

　
: $G={\frac {y_{\text{out}}}{y_{\text{in}}}}={\frac {\sum _{k=1}^{N}{G_{k}\Delta _{k}}}{\Delta \ }}$

 

　
: $\Delta =1-\sum L_{i}+\sum L_{i}L_{j}-\sum L_{i}L_{j}L_{k}+\cdots +(-1)^{m}\sum \cdots +\cdots $

其中：

* Δ = 圖的特徵式
* _y_in = 輸入節點變數
* _y_out = 輸出節點變數
* _G_ = _y_in 和 _y_out 間的總增益
* _N_ = _y_in 與 _y_out 間的前向通道的總數
* _G_k = _y_in 與 _y_out 間的第 _k_ 個前向通道的路徑增益
* _L_i = 系統中每個閉環迴路增益
* _L_i_L_j = 任意 2 個互不接觸迴路（沒有公共節點）的迴路增益的乘積
* _L_i_L_j_L_k = 任何三個互不接觸迴路的迴路增益的乘積
* Δk = 第 _k_ 個前向通道的餘子式，即將接觸第 _k_ 個前向通道的迴路增益置為 0 後，特徵式 Δ 所剩下的部分。

### 定義

* 通道：一組沿標識方向的連接輸入輸出的連續分支
* 前向通道：從一個輸入節點到一個輸出節點的通道，每個節點接觸不超過一次。
* 迴路：起始和終止在相同節點，並且沒有節點接觸兩次的通道。
* 路徑增益：該通道的所有分支的增益之積。
* 迴路增益：迴路中所有分支的增益之積。

### 步驟

要使用這種方法，

1. 列出前向通道和它們的增益，將他們記為 _G_k。
2. 列出所有迴路和它們的增益，將他們記為 _L_i（對第 _i_ 個迴路）。列出所有互不接觸的迴路和他們的增益（_L_i_L_j）。列出所有三個互不接觸的迴路（_L_i_L_j_L_k），然後四個，以至更多，直到找不出更多的互不接觸的組合。
3. 計算特徵式 Δ 和餘子式 Δk。
4. 運用公式。

 

## 例子

### 二埠電路

需要求從 **Vin** 到 **V2** 的遞移函數。

只有一個前向通路：

　
: * **Vin** 到 **V1** 到 **I2** 到 **V2** 增益為 $G_{1}=-y_{21}R_{L}\,$

有三個迴路：

　
: * **V1** 到 **I1** 到 **V1** 增益為 $L_{1}=-R_{in}y_{11}\,$
* **V2** 到 **I2** 到 **V2** 增益為 $L_{2}=-R_{L}y_{22}\,$
* **V1** 到 **I2** 到 **V2** 到 **I1** 到 **V1** 增益為 $L_{3}=y_{21}R_{L}y_{12}R_{in}\,$

　
: $\Delta =1-(L_{1}+L_{2}+L_{3})+(L_{1}L_{2})\,$ 注意：**L1** 和 **L2** 相互不接觸，而 **L3** 接觸其他兩個迴路。

　
: $\Delta _{1}=1\,$ 注意：前向通路接觸了所有迴路，所以剩下的就是 **1**。

　
: $G={\frac {G_{1}\Delta _{1}}{\Delta }}={\frac {-y_{21}R_{L}}{1+R_{in}y_{11}+R_{L}y_{22}-y_{21}R_{L}y_{12}R_{in}+R_{in}y_{11}R_{L}y_{22}}}\,$

### 數位 IIR 雙二階濾波器

經常將數位濾波器化成訊號流圖。

　
: 有兩個迴路
 * $L_{1}=-a_{1}Z^{-1}\,$
* $L_{2}=-a_{2}Z^{-2}\,$

　
: $\Delta =1-(L_{1}+L_{2})\,$ 注意，這兩個迴路接觸，所以沒有他們的乘積項。

　
: 有三個前向通道
 * $G_{0}=b_{0}\,$
* $G_{1}=b_{1}Z^{-1}\,$
* $G_{2}=b_{2}Z^{-2}\,$

　
: 所有的前向通道都接觸，所以 $\Delta _{0}=\Delta _{1}=\Delta _{2}=1\,$

　
: $G={\frac {G_{0}\Delta _{0}+G_{1}\Delta _{1}+G_{2}\Delta _{2}}{\Delta }}\,$

　
: $G={\frac {b_{0}+b_{1}Z^{-1}+b_{2}Z^{-2}}{1+a_{1}Z^{-1}+a_{2}Z^{-2}}}\,$

### 伺服驅動器

此信號流中有六個迴路，分別是：

　
: * $L_{0}=-{\frac {\beta }{sM}}\,$

　
: * $L_{1}={\frac {-(R_{M}+R_{S})}{sL_{M}}}\,$

　
: * $L_{2}=\,{\frac {-G_{M}K_{M}}{s^{2}L_{M}M}}$

　
: * $L_{3}={\frac {-K_{C}R_{S}}{sL_{M}}}\,$

　
: * $L_{4}={\frac {-K_{V}K_{C}K_{M}G_{T}}{s^{2}L_{M}M}}\,$

　
: * $L_{5}={\frac {-K_{P}K_{V}K_{C}K_{M}}{s^{3}L_{M}M}}\,$

　
: $\Delta =1-(L_{0}+L_{1}+L_{2}+L_{3}+L_{4}+L_{5})+(L_{0}L_{1}+L_{0}L_{3})\,$

只有一個前向通路：

　
: * $g_{0}={\frac {-K_{P}K_{V}K_{C}K_{M}}{s^{3}L_{M}M}}\,$

　
: 所有的前向通道都接觸，所以 $\Delta _{0}=1$

整個系統的增益是 ${\frac {\theta _{L}}{\theta _{C}}}={\frac {g_{0}\Delta _{0}}{\Delta }}\,$

## 等效矩陣型式

梅森增益公式可以用簡單的矩陣公式表示。假設 $\mathbf {T} $ 是信號流圖的轉換矩陣，其中 $t_{nm}=\left[\mathbf {T} \right]_{nm}$ 是由節點 _m_ 到 'n _所有分支 transmittance 的和，則節點_ m _到 'n_ 的增益為 $u_{nm}=\left[\mathbf {U} \right]_{nm}$ ，其中

　
: $\mathbf {U} =\left(\mathbf {I} -\mathbf {T} \right)^{-1}$ ,

而 $\mathbf {I} $ 為單位矩陣。

梅森增益公式也可以用在推導有巢狀網路（其內迴路在外迴路以內）的離散網路 z 域遞移函數。若是離散網路可以以信號流圖表示，則梅森增益公式可以計算網路的 z 域遞移函數 H (z)。

## 複雜度及計算應用

由於有向圖的路徑數會隨節點會以階乘的形式增加，因此梅森增益公式的複雜度會以階乘的形式往上成長。先考慮完整的有 $n$ 個頂點的有向圖，每二個頂點都有一個邊，從節點 $y_{in}$ 到節點 $y_{out}$ 的路徑會是其他 $(n-2)!$ 個節點的 $(n-2)!$ 個排列，因此在一般的情形下，高斯消去法會比此方式有效率很多。

不過梅森增益公式將互相連接的系統的轉換函數用代數及組合的方處理，允許一些代數系統理論中較廣義的定義及計算方式。高斯消去法中會有許多的倒數計算，而梅森增益公式將其整理為單一的反元素，其通式為

　
: : ${\frac {p}{1-q}},$

如上所述， $q$ 是迴路乘積的總和，每一個都是環論中的理想。上式的分數形成有理函數的子環 $R(1+\langle L_{i}\rangle )^{-1}$ 。上述的觀察可以延伸到非交換性的情形，不過梅森增益公式會被里格爾公式（Riegle's rule）所取代。

## 參見

* 訊號流圖

## 注釋

## 參考文獻

* Bolton, W. Newnes. Control Engineering Pocketbook. Oxford: Newnes. 1998.
* Van Valkenburg, M. E. Network Analysis 3rd. Englewood Cliffs, NJ: Prentice-Hall. 1974.