信号流图
信号流图(Signal-flow graph)最早是由克劳德·香农所發明[1] ,但因為美国麻省理工学院的塞缪尔·杰斐逊·梅森于20世纪50年代初提出這個詞,因為也稱梅森圖(Mason graph)[2],信号流图是特殊的流向圖,屬於有向圖,其中的節點表示系統的變數,而連接兩節點的邊表示二個變數之間的函數關係。信号流图的理論是以有向圖為基礎,不過是應用有向圖來表示系統,和有向圖的原理差異較大[3][4]。
信号流图最常用來表示物理系統和其控制器(網宇實體系統或控制系統)之間的關係,不過在許多電子電路、運算放大器電路、數位濾波器、狀態變數濾波器及類比濾波器的分析中也會用到信号流图。在許多文獻中,信号流图都可以轉換為一組線性方程或是線性微分方程,而各組變數之間的增益則用邊上的係數來表示,也有些信号流图會用特殊方式來表示非線性系統。而利用梅森增益公式可以找到輸入和輸出之間的關係。
基本信號流圖概念
以下是梅森提出信號流圖的基本概念[2]:
在基本信號流圖中,節點的相依關係可以用指向此節點的箭頭表示,節點會影響的其他節點可以用由節點射出的箭頭表示,最常見的信號流圖中,每一個節點i若有指向此節點的箭頭,此節點的值會和這些箭頭另一端的節點有關,而且呈一函數關係,舉例為Fi。(a) 圖表示各節點有以下的關係:
節點x1是獨立節點,沒有箭頭指向此節點,節點x2和x3和其他節點的關係分別如圖(b)和(c)。
信号流图會針對每一個節點定義一函數,處理其輸入的變數。每個非獨立節點都會依個別特定方式來處理輸入信號,再將結果送到其他的節點「信号流图一開始是由梅森所定義,其中表示了許多的函數關係,可能線性,也可能非線性。」[5]
信号流图中的變數可以自行依需要選定,系統本身有其方程式,但也可以根據其系統及架構來選擇變數,繪製信号流图,複雜的系統可能會有多種選擇變數的方式[6]。同一個系統也可以用不同的信號流圖來表示,系統和信號流圖之間沒有一對一的對應關係[5]。
線性信號流圖
線性信號流圖只針對線性非時變系統。在為系統建立模型時,第一步是找到確認系統行為的方程式,先不考慮因果關係(這稱為acausal modeling)[7],之後可以由方程式推出信号流图。
線性信号流图也是由節點及箭頭組成,不過箭頭上會有加權的係數。節點是線性方程組的變數,而加權的係數則是方程組中的係數,信號只會依節點的方向,由一個節點流到另一個節點。線性信号流图中只能表達信號和係數相乘,以及數個信號的相加,這已足以表示線性方程組。當一信號延著箭頭一個節點到另一個節點時,此信號就乘以箭頭上的係數,若幾個箭頭指到同一個節點時,這幾個信號會相加(若需要相減,可以調整對應係數為負即可)。
針對用線性代數方程或是微分方程來表示的系統,線性信号流图在數學上等效於其方程式,看信号流图上各節點信號的來源以及箭頭上的係數即可得到方程式。箭頭上的係數多半會是實數或是某種參數組成的線性函數(例如拉氏轉換的變數s)。
基本元件
線性信号流图是和以下形式線性系統有關的信号流图[8]:
-
- 其中 為從到的增益。
右圖中有一些線性信號流圖中的基本元件[9]。
- (a)是標示為的節點,節點是圖的一個頂點,表示變數或是信號。
- (b)是一個有倍增益的分支,意思是指箭頭的終點會是箭頭起點的倍。增益可能是簡單的常數,也有可能函數(例如表示拉氏轉換、傅立葉轉換及Z轉換的, 或)。
- (c)是增益為1的分支,當分支上沒有標示增益時,就假設增益為1。
- (d) 為輸入節點。此例中,輸出是乘以增益。
- (e) 為輸出節點,輸出值為輸入值的倍。
- (f) 表示加法。若二個或是多個箭頭的終點是同一個節點,該節點的值是各箭頭表示信號的和。
- (g) 是簡單的迴路,迴路增益為。
- (h) 表示。
以下是一些線性信号流图中常見的術語[9]:
- 路徑(Path)。路徑是依箭頭方向一直延伸的連續數個分支。
- 開路徑(Open path)是指路徑上沒有同一個節點走到二次或二次以上。
- 路徑增益(Path gain)是指路徑上所有分支增益的乘積。
- 迴路(Loop)是指封閉的路徑,路徑的起點和終點是同一個節點,路徑上的節點都只經過一次。
- 迴路增益(Loop gain)是指迴路上所有分支增益的乘積。
- 不相連迴路(Non-touching loops)是指二個或多個沒有共同節點的迴路。
和方塊圖的關係
有些研究者認為,線性信號流圖的限制比方塊圖要多[10],信號流圖嚴謹用有向圖來表示線性代數方程。
有些研究者則認為為線性信號流圖和線性方塊圖是描述一個系統的二個等效方式,用任何一個都可以找到系統的增益[11]。
Bakshi及Bakshi提供了一個信號流圖和方塊圖比較的列表[12],Kumar另外有一個列表[13]。根據Barker等人的論點[14]:
- 「信號流圖是最方便表示動態系統的方式。圖的拓樸很緊湊,處理的規則比處理方塊圖的規則要簡單。」
在右圖中有一個回授系統的簡單方塊圖,以及二個對應的信號流圖。輸入R(s)是輸入信號的拉氏轉換,是信號流圖的源節點(沒有輸入邊的節點),輸出信號C(s)是輸出變數的拉氏轉換,表示為最終節點(沒有輸出邊的節點),G(s)和H(s)為傳遞函數,H(s)可以提供調整後的輸出信號B(s)給輸入端,二個信號流圖是等效的。
分析及設計中的信号流图
信号流图也可以用來分析系統,用來瞭解一個已有系統的模型,也可以用來合成,確認不同設計的特質。
用在動態系統分析的信号流图
在建構動態系統的模型時,以下是Dorf和Bishop列出的步驟[15]:
- 定義系統以及其元件。
- 將其數學模型公式化,並且列出需要的假設。
- 寫出描述模型的微分方程。
- 求解方程式,得到輸出變數的解。
- 檢驗得到的解,並且檢驗假設。
- 若有需要,重新分析系統或是重新設計系統。
- —RC Dorf and RH Bishop, Modern Control Systems, Chapter 2, p. 2
在上述程中,物理系統的數學模型方程可以用來推導信号流图方程。
香農公式以及香農-哈普公式
香農公式(Shannon's formula)是計算類比電腦中互聯放大器增益的解析表示法。在二次大戰時,香農在探就類比電腦的功能運作時,發展了香農公式。因為戰爭期間的限制,香農當時沒有發表他的研究。塞繆爾·傑斐遜·梅森在1952年重新發現了相同的公式。
哈普將香農公式擴展到在圖形上封閉的系統[18]。香農-哈普公式(Shannon-Happ formula)可以計算傳遞函數、靈敏度、誤差函數等[19]。
線性信号流图的例子
理想的負回授放大器
圖3是由漸近增益模型表示负反馈放大器的一種可能的信号流图,可以得到放大器增益的方程式為
其參數的說明如下:T = 返回比,G∞ = 直變大器增益,direct amplifier gain, G0 = 前饋(表示回授可能有的雙向特性,也可能是刻意的前饋補償)。
增益G0和G∞的意思分別是時間接近零及無限大時的增益:
有許多可能的信号流图,對應不同的增益關係。圖4是另一個信号流图,其漸近增益模型比較容易用電路表示。在此圖中,參數β為回授因子,而A為控制因子,和電路中的相依訊號源有關,配合信号流图,可以得到增益為
若要連接到漸近增益模型,參數A和β不能是任意的電路參數,需要和返回比T有以下的關係:
因此漸近增益為:
替換結果到增益表示式中,
上述就是漸近增益模型的公式。
非線性的信号流图
梅森在導入線性信号流图的同時,也導入了非線性信号流图。梅森提到:「線性信号流图就是相關系統是線性的信号流图」"[2]
信号流图在不同領域的應用
參考資料
- CE Shannon. . Fire Control of the US National Defense Research Committee: Report 411, Section D-2. January 1942. Reprinted in N. J. A. Sloane; Aaron D. Wyner (编). . Wiley IEEE Press. 1993: 514 [2017-10-21]. ISBN 978-0-7803-0434-5. (原始内容存档于2019-07-23).
- Mason, Samuel J. (PDF). Proceedings of the IRE. September 1953, 41: 1144–1156 [2017-10-21]. doi:10.1109/jrproc.1953.274449. (原始内容存档 (PDF)于2018-02-19).
The flow graph may be interpreted as a signal transmission system in which each node is a tiny repeater station. The station receives signals via the incoming branches, combines the information in some manner, and then transmits the results along each outgoing branch.
- Jørgen Bang-Jensen; Gregory Z. Gutin. . Springer. 2008 [2017-10-21]. ISBN 9781848009981. (原始内容存档于2013-11-14).
- Bela Bollobas. . Springer Science & Business Media. 1998: 8 [2017-10-21]. ISBN 9781461206194. (原始内容存档于2019-07-22).i
- Louis PA Robichaud; Maurice Boisvert; Jean Robert. . . Prentice Hall. 1962: x [2017-10-31]. ASIN B0000CLM1G. (原始内容存档于2019-03-13).
- (Robichaud 1962,p.ix)
- Kofránek, J; Mateják, M; Privitzer, P; Tribula, M, (PDF), Technical Computing Prague 2008. Conference Proceedings., Prague: 16, 2008 [2017-10-31], (原始内容 (PDF)存档于2009-12-29)
- 例如Katsuhiko Ogata. . 4th. Prentice Hall. 2004: 106 ff [2017-11-12]. ISBN 978-0130609076. (原始内容存档于2016-04-17).,不過其中沒有一對一的對應關係:Narsingh Deo. . PHI Learning Pvt. Ltd. 2004: 418 [2017-11-12]. ISBN 9788120301450. (原始内容存档于2019-07-23).
- Kuo, Benjamin C. 2nd. Prentice-Hall. 1967: 59–60.
- "A signal flow graph may be regarded as a simplified version of a block diagram. ... for cause and effect ... of linear systems ...we may regard the signal-flow graphs to be constrained by more rigid mathematical rules, whereas the usage of the block-diagram notation is less stringent." Kuo, Benjamin C. 6th. Prentice-Hall. 1991: 77. ISBN 0-13-051046-7.
- Gene F. Franklin; et al. . . Prentice Hall. Apr 29, 2014.
- V.U.Bakshi U.A.Bakshi. . . Technical Publications. 2007: 120 [2017-11-23]. ISBN 9788184312935. (原始内容存档于2019-07-25).
- A Anand Kumar. . 2nd. PHI Learning Pvt. Ltd. 2014: 165 [2017-11-23]. ISBN 9788120349391. (原始内容存档于2019-07-23).
- HA Barker; M Chen; P. Townsend. . . Elsevier. 2014: 281 ff [2017-11-23]. (原始内容存档于2019-07-23).
- Dorf, Richard C.; Bishop,, Robert H. . (PDF). Prentice Hall. 2001: 2 [2017-11-27]. ISBN 0-13-030660-6. (原始内容 (PDF)存档于2017-10-13).
- Antao, B. A. A.; Brodersen, A.J. . Very Large Scale Integration (VLSI) Systems, IEEE Transactions on. June 1995, 3 (2): 231–244. doi:10.1109/92.386223. (原始内容存档于2015-01-22).
- Doboli, A.; Dhanwada, N.; Vemuri, R. . Circuits and Systems, 2000. Proceedings. ISCAS 2000 Geneva. The 2000 IEEE International Symposium on. May 2000. doi:10.1109/ISCAS.2000.856026. (原始内容存档于2015-01-22).
- Happ, William W. . IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS. 1966, AES–2: 252–264 [2015-01-27]. doi:10.1109/TAES.1966.4501761. (原始内容存档于2015-02-06).
- Potash, Hanan; McNamee, Lawrence P. . Proceedings, ACM National Conference (University of California Los Angeles, California: ACM). 1968: 367–378 [2017-11-23]. doi:10.1145/800186.810601. (原始内容存档于2019-07-22).
- Okrent, Howard; McNamee, Lawrence P. . (PDF). Los Angeles, California: School of Engineering and Applied Science, University of California at Los Angeles. 1970: 3–9 [2017-11-23]. (原始内容存档 (PDF)于2020-07-28).
- Arnaldo D’Amico, Christian Falconi, Gianluca Giustolisi, Gaetano Palumbo. (PDF). IEEE Trans Circuits & Systems - II Express Briefs. April 2007, 54 (4): 298 ff [2017-11-27]. doi:10.1109/tcsii.2006.889713. (原始内容存档 (PDF)于2020-08-02).
- 。例如:Baran, Thomas A.; Oppenhiem, Alan V., , Digital Signal Processing Workshop and IEEE Signal Processing Education Workshop (DSP/SPE), IEEE, 2011, doi:10.1109/DSP-SPE.2011.5739226
- Guilherme, J.; Horta, N. C.; Franca, J. E. (PDF). 1999 [2017-11-06]. (原始内容 (PDF)存档于2017-11-07).
- BRZOZOWSKI, J.A.; McCLUSKEY, E. J. . IEEE Transactions on Electronic Computers. IEEE. 1963: 97.
- Barry, J. R., Lee, E. A., & Messerschmitt, D. G. Third. New York: Springer. 2004: 86 [2017-11-06]. ISBN 0-7923-7548-3. (原始内容存档于2019-07-26).
- Happ, William W. Goldberg, M. F. , 编. . Physics of Failure in Electronics (Washington, D. C.: Dept. of Commerce, Office of Technical Services). 1964, (AD434/329): 375–423. doi:10.1109/IRPS.1963.362257.
- Hall, John E. (PDF). Am J Physiol Regul Integr Comp Physiol. August 23, 2004, 287: R1009–R1011 [2015-01-20]. doi:10.1152/classicessays.00007.2004. (原始内容 (PDF)存档于2017-11-07).
- (Robichaud 1962,chapter 5 Direct Simulation on Analog Computers Through Signal Flow Graphs)
參考書目
- Robichaud, Louis P.A.; Maurice Boisvert; Jean Robert. . Englewood Cliffs, N.J.: Prentice Hall. 1962: xiv, 214 p. [2017-10-31]. (原始内容存档于2019-03-13).