臺灣博碩士論文加值系統

我國飛航管制（ATC, Air Traffic Control）系統實務運作上採取階層式的人力監控，航管執行單位自高至低區分為台北區管中心（TACC, Taipei Area Control Center）、近場台（TRACON, Terminal Radar Approach Control）及塔台（Tower）三階層 ，三者共同構成缺一不可的航管體系，而其各有轄管空域範圍，經由三者之相互協調及交接傳遞管制，執行航機在各終端空域的飛航導引工作。
本研究以國內航線－北高航線為例，說明國內航管執行單位協調管制之現況。就飛航於台北－高雄航線之航機而言，主要可區分為九大步驟約需45分鐘：由滑行、起飛、爬升、離場、巡航、到(近)場、進場、降落、滑行。以上流程由區管中心、近場台及塔台三者，遵循規定的飛航管制流程，運用雷達、通訊及導航等航管設備，相互協調及交接傳遞管制，以提供航機連續不斷之航管服務。
而本研究主要目標為飛航管制流程的塑模與分析，因此採用派屈網路（PN, Petri Nets）及事件追蹤圖（MSC, Message Sequence Chart）做為塑模工具並利用派屈網路現有的理論做為性能分析的基礎。

The operation of air traffic control (ATC) systems adopts hierarchical manpower monitoring in Taiwan. Considering the Domestic Taipei Airport, the ATC consists of three levels: Taipei Area Control Center (TACC), Terminal Radar Approach Control (TRACON) and Tower. The primary function of the ATC is to coordinate equipment, i.e., TACC, TRACON and Tower, within a traveling route to performance a sequence of interactive communication required by an aircraft (AC).
A practical example is proposed to interpret the operation of ATC how to work. The example shows that the interactive messages during an aircraft is taking off from Taipei and landing on Kaohsiung. Precisely, the complicated processes need about 45 minutes which include nine steps: taxiing, taking off, climbing out, departure, en-route, arrival, approach, landing and taxiing.
In this research, the air traffic control (ATC) procedures are modeled and analyzed using Petri nets and Message Sequence Chart (MSC). Based on the two modeling skills, the relations between transitions and events of ATC are easily to present. And its performance will be checked by the theory of Petri nets.

誌謝 ii
摘要 iv
ABSTRACT v
目錄 vi
表目錄 x
圖目錄 xii
1. 緒論 1
1.1 研究動機 1
1.2 研究目的 3
1.3 研究內容 4
1.4 論文架構 5
1.5 小結 7
2. 資料蒐集與分析 8
2.1 台北飛航情報區機場分布及空域管制架構 8
2.2 國內民航機場現況 11
2.3 航機隔離管制標準 17
2.4 航空器分類標準 19
2.5 國內主要機場飛航流量概況 20
2.6 小結 24
3. 飛航管制概論 25
3.1 航管概述 25
3.2 航管架構說明 26
3.3 航管流程描述 26
3.4 航管管制員的工作內容 30
3.5 小結 31
4. 派屈網路概述 33
4.1 基本派屈網路 33
4.2 派屈網路的正式定義 35
4.3 派屈網路的激發規則 38
4.4 派屈網路的基本性質 41
4.5 小結 42
5. 航管流程塑模與分析 43
5.1 塑模動機 43
5.2 事件追蹤圖（MSC） 44
5.3 航機航管流程塑模 48
5.4 起飛時間安排航管流程塑模 61
5.5 航管單位間交接傳遞管制航管流程塑模 65
5.6 流量管制航管流程塑模 73
5.7 塔台航管流程塑模 79
5.8 近場台航管流程塑模 84
5.9 區管中心航管流程塑模 89
5.10北高航線航管流程塑模 93
5.11小結 99
6. 塑模驗證 100
6.1 分析基礎 100
6.2 次系統航管塑模分析驗證 101
6.2.1航機航管流程塑模分析驗證 101
6.2.2起飛時間安排航管流程塑模分析驗證 103
6.2.3交接傳遞管制航管流程塑模分析驗證 105
6.2.4流量管制航管流程塑模分析驗證 106
6.3 全系統航管塑模分析驗證 108
6.4 小結 109
7. 結論與展望 110
7.1 結論 110
7.2 展望 111
參考文獻 113
附錄壹 航機航管流程事件追蹤圖塑模 115
附錄貳-1 航機航管流程派屈網路塑模之INA輸入資料 116
附錄貳-2 航機航管流程派屈網路塑模之INA分析結果 117
附錄叁-1 起飛時間安排航管流程派屈網路塑模之INA輸入資料 121
附錄叁-2 起飛時間安排航管流程派屈網路塑模之INA分析結果 122
附錄肆-1 交接傳遞管制航管流程派屈網路塑模之INA輸入資料 125
附錄肆-2 交接傳遞管制航管流程派屈網路塑模之INA分析結果 126
附錄伍-1 流量管制航管流程派屈網路塑模之INA輸入資料 130
附錄伍-2 流量管制航管流程派屈網路塑模之INA分析結果 131
附錄陸-1 塔台航管流程派屈網路塑模之INA輸入資料 135
附錄陸-2 塔台航管流程派屈網路塑模之INA分析結果 136
附錄柒-1 近場台航管流程派屈網路塑模之INA輸入資料 138
附錄柒-2 近場台航管流程派屈網路塑模之INA分析結果 139
附錄捌-1 區管中心航管流程派屈網路塑模之INA輸入資料 141
附錄捌-2 區管中心航管流程派屈網路塑模之INA分析結果 142
附錄玖-1 北高航線航管流程派屈網路塑模之INA輸入資料 144
附錄玖-2 北高航線航管流程派屈網路塑模之INA分析結果 146
經歷簡介 148

[1] 王聰榮、張友義，“全球CNS/ATM建置計畫現況”，中國航空及太空學會會刊，第卅四卷，第二期，第4-5頁，2004。
[2] 國立成功大學交通管理科學研究所，“終端管制區域模擬模式之建立－以台北終端管制區域為例（期末報告）”，研究報告，交通部，第50-52頁，1999。
[3] http://www.anws.gov.tw/CNSATM/chinese%20index.htm。
[4] 資訊工業策進會，“航管管制流程分析：以有限狀態機為分析基礎”，研究報告，第1-8頁，1999。
[5] John Lygeros, George J. Pappas and Shankar Saatry, “An Approach to the Verification of the Center-TRACON Automation System”, In Hybrid systems: Computation and Control, Lecture Notes in Computer Science, pp. 6-7, 1998.
[6] 交通部民用航空局，台北飛航情報區飛航指南（Aeronautical Information Publication Taipei Flight Information Region, AIP Taipei FIR），第1.6-6.1頁，2004。
[7] 劉仲祥，“即時飛航流量管理系統之建立與管理策略研擬”，博士論文，國立成功大學交通管理科學研究所，台南，第30-42頁，2004。
[8] 張仁達，“台北飛航情報區空域模擬模式之建立”，碩士論文，國立成功大學交通管理科學研究所，台南，第18-21頁，2001。
[9] 交通部民用航空局及國防部空軍總司令部，飛航管制程序（Air Traffic Control Procedure, ATP），第2.2.1頁，2001。
[10] 工業技術研究院，“我國新一代航管系統建置策略綱領之研究（1/3）”，研究報告，交通部，第193頁，2004。
[11] 國立成功大學交通管理科學研究所，“台北飛航情報區模擬模式之建立（二）--模擬模式之建立及應用”，研究報告，交通部，第114-117頁，2002。
[12] http://www.anws.gov.tw/。
[13] 交通部民用航空局，“民用航空法”，第二條第九項，2005。
[14] 交通部民用航空局，“飛航及管制辦法”，第二條第十八項，2005。
[ 5] http://www.wendy.com.tw/~ming010/ATC/introATC.htm。
[16] 工業技術研究院，“CNS/ATM關鍵技術研究（1/5）”，研究報告，交通部，第1-12~15頁，2004。
[17] 黃暉文，“動態航空席位之研究－以台北飛航情報區為例”，碩士論文，國立成功大學交通管理科學研究所，台南，第11-12頁，2003。
[18] Tadao Murata, “Petri Nets: Properties, Analysis and Applications”, Proceedings of the IEEE, Vol. 77, No. 4, pp. 541-550, 1989.
[19] James L. Peterson, Petri Net Theory and The Modeling of Systems, The University of Texas at Austin, Austin, pp. 7-23, 1981.
[20] 黃義盛，“彈性製造系統之塑模、分析、死鎖避免以及單元控制器之實 現”，博士論文，國立台灣科技大學電機工程研究所，台北，第41-44頁，2000。
[21] Peter H. Starke and Stephan Roch, Integrated Net Analyzer, Version 2.2, Berlin, pp. 1-6, 1999.
[22] CPN Group, “CPNTOOLS: Computer Tool for Coloured Petri Nets”, Version 2.0.0, The University of Aarhus, Denmark, pp. 1, 2005.
[23] W. Ruckdeschel, R. Onken, “Modelling of Pilot Behaviour Using Petri Nets”, Lecture Notes in Computer Science, Vol. 815; Application and Theory of Petri Nets 1994, Proceedings 15th International Conference, Zaragoza, Spain, Springer-Verlag, pp. 447-448, 1994.