臺灣博碩士論文加值系統

本文之目的在於探討計算樹邏輯法在軌道號誌系統測試上之應用。軌道號誌系統之功能，在於確保行車安全、提高行車效率及提高行車密度，傳統軌道號誌系統之聯鎖邏輯機制設計與維護需依賴號誌工程師之經驗，故需投入大量時間與人力成本，因此本文提出計算樹邏輯法測試軌道號誌系統之聯鎖邏輯機制，以節省號誌系統開發及維護之成本。
首先，本文分析軌道號誌系統之基本原理，然後，使用圖控軟體LabVIEW作為開發工具，並且運用無線區域網路作為軌道號誌系統模擬器之通訊媒介，建立軌道號誌系統模擬器。
最後，分別使用查表法與計算樹邏輯法測試軌道號誌系統之聯鎖邏輯機制，經由實驗結果顯示，計算樹邏輯法所需之測試時間較查表法少，由此可知，使用計算樹邏輯法測試聯鎖邏輯機制，確實具有節省聯鎖邏輯機制設計與維護時間之功能。

The application of the computation tree logic method on railway signaling system testing is studied in this thesis. The function of the railway signaling system is to ensure transportation safety, and to increase traffic efficiency and density. The traditional design and maintenance of the interlocking mechanism of the signaling system mostly depend on the experiences of engineers. Much time and high human cost are needed in the processing of design and maintenance. Thus, the computation tree logic is proposed to test the interlocking mechanism of the signaling system such that the development and maintenance cost can be reduced.
First, the principle of the signaling system is analyzed in this thesis. Then, the software tool, LabVIEW, is used to design the railway signaling system simulator. Meantime, wireless network is adopted as the communication media in the railway signaling system simulator.
Finally, a look-up table and the computation tree logic method are used to test the interlocking mechanism of railway signaling system. The experimental results show that the elapsed time of using the computation tree logic method is less then that of using look-up table method. That is, objective to shorten the design and maintenance time of the interlocking mechanism can be achieved through the use of the computation tree logic method.

中文摘要 i
英文摘要 ii
誌謝 iii
目錄 iv
圖表索引 viii
第一章 緒論 1
　1.1 研究背景 1
1.2 研究動機 2
1.3相關文獻整理與回顧 4
1.4 研究目的 6
1.5 研究流程 7
1.5 論文架構 10
第二章 軌道號誌系統概論 11
2.1 前言 11
2.2 軌道號誌系統簡介 11
2.3 軌道號誌系統設備 12
2.3.1 行控中心 13
2.3.2 道旁設備 15
2.3.3 通訊設備 15
2.3.4 車載號誌設備 15
2.3.5 車站設備 15
2.4軌道號誌系統原理 16
2.4.1 軌道號誌系統架構 16
2.4.2 列車偵測 17
2.4.2.1 軌道電路原理與種類 17
2.4.2.2 計軸器 19
2.4.3 閉塞區間 20
2.4.3.1 閉塞區間種類 20
2.4.3.2 自動閉塞區間原理 21
2.4.4 中央行車控制 21
2.4.5 自動列車控制 22
2.4.6 自動列車保護 26
2.4.7 自動列車監督 26
2.4.8 自動列車操作 28
2.4.9 聯鎖系統 29
2.4.9.1 聯鎖系統原理 29
2.4.9.2 聯鎖系統應用場合及鎖錠機制 34
第三章 軌道號誌系統模擬器之設計 35
3.1 軌道號誌系統模擬器設計之分析 35
3.1.1 軌道號誌系統分析 35
3.1.2 通訊系統分析 36
3.2 軌道號誌系統模擬器之架構 39
3.2.1 軟體架構介紹-LabVIEW 40
3.2.2 硬體架構介紹 46
3.3 軌道號誌系統模擬器範例 47
3.3.1 軌道號誌系統模擬器範例設計 47
3.3.2 軌道號誌系統模擬器實驗結果 51
3.3.2.1 程式編輯 51
3.3.2.2 系統操作 53
第四章 軌道號誌系統模擬器之實驗 58
4.1 軌道號誌系統模擬器實驗規劃 58
4.2 軌道號誌系統模擬器實驗結果 61
4.2.1人機介面 61
4.2.2 聯鎖機制 63
4.2.3 通訊模組 65
4.2.4 外部輸入信號 67
4.2.5 整體實驗結果 70
4.3結論 79
第五章 軌道號誌系統之測試 80
5.1 前言 80
5.2 查表法 81
5.3 計算樹邏輯法 88
5.4 實驗結果 96
5.5 結論 100
第六章 結論 101
6.1 結論 101
6.2 未來研究方向 101
參考文獻 103

1. 廖慶隆, “軌道運輸之特性與發展”, 2000捷運工程技術研討會, pp. 1-13, 2000.
2. R. Cervero, “Transit Villages in the 21th Century”, McGraw-Hill, 1997.
3. 李治綱, “鐵路運輸與永續發展”, 新世紀軌道運輸國際學術研討會, pp. 1-12, 2000.
4. K. W. Burrage, “Railway Safety Standards”, International Conference on Electric Railways in a United Europe, pp. 153-15, 1995.
5. A. Mauch, and R. Iten, “Internalistion of External Costs: Stepwards Toward Sustainable Mobility”, Rail International, pp. 99-102 (1995).
6. 施文雄, 伊藤順一, “各國高速鐵路現狀及鐵路技術之發展趨勢”, 新世紀軌道運輸國際學術研討會, pp. 13-28, 2000.
7. R. J. Hill, “Electric Railway Traction. IV. Signalling and interlockings”, Power Engineering Journal, pp. 201-286, Vol.9, 1995.
8. J. P. Guilloux, “High Speed Signalling in France”, International Conference on Main Line Railway Electrification, pp. 397-402, 1989.
9. H. G. Moody, “Advanced Train Control Systems Design and Use”, Proc. 1995 IEEE/ASME Joint Railroad Conference, pp. 43-51, 1991.
10. M. W. Pollack, “Train Control. Automating the World’s Railways for Safety”, IEEE Potentials, Vol.17 pp. 8-12, 1998.
11. M. J. Lockyear, “The Application of Transmission Based Moving Block Automatic Train Control System on Docklands Light Railway”, IEE International Conference on Developments in Mass Transit Systems, pp. 51-61, 1998.
12. M. Miyachi, “The New ATC System Using the Digital Transmission for Super High Speed Operation on the Shinkansen Lines”, International Conference on Developments in Mass Transit Systems, pp. 68-73, 1989.
13. B. Pei and Yinghua M., “An Embedded Fail-Safe Interlocking System”, Proc. 1997 Pacific Rim International Symposium on Fault-Tolerant Systems, pp. 22-27, 1997.
14. V. H. Garmhausen, T. Kurfess, E. M. Clarke, and D. Long, “ Automatic Verification of Industrial Designs”, Proc. 1995 Industrial-Strength Formal Specification Techniques, pp. 88-96, 1995.
15. A. Hachiga, “An Algorithmic Approach to the Verification of a Railway Interlocking Table”, Computers in Railways Ⅴ, Computation Mechanics Publications, Southampton, U.K., Vol.1, pp. 91-100, 1996.
16. O. M. Atala, J. C. Brill and J. S. Carson, ”A General Rapid Transit Simulation Model with Both Automatic and Manual Train Control”, Proc. 1992, The 24th Conference on Winter Simulation, pp. 1307-1311, 1992.
17. R. C. Adams, ”An Advanced Simulator Applied to Control Center Testing and Operator Training”, International Conference on Developments in Mass Transit Systems, pp. 155-160, 1998.
18. R Straatman, S D. Jong and F. V. Dijk, “VPI Simulation Environment”, Computers in Railways Ⅷ, WIT Press, Southampton, U.K., Vol.1, pp. 275-280, 2002.
19. O. S. Nock, “Railway Signaling,” A&C Black, London, 1980.
20. M. Leach, “Railway Control System,” A&C Black, London, 1991.
21. T. Takashige, “Digital ATP Revolutionizes Train Control System”, QR of RTRI, Vol. 33, No. 4, pp. 285-290, 1993.
22. 羅海濤, “移頻自動閉塞”, 中國鐵道出版社, 1992.
23. 毛俊杰, “高速鐵路列車速度自動控制系統”, 中國鐵道出版社, 1994.
24. 廖志榮, “淡水/新店捷運號誌系統以多工環境模擬及以階層式控制之研究”, 台灣工業技術學院八十五年碩士論文.
25. 李鏵堂, “鐵路號誌概論”, 台灣鐵路管理局員工訓練中心, 1999.
26. 楊武章, “號誌系統” , 高運量行控中心控制員訓練教材, 台北捷運公司, 2000.
27. 謝興盛, “號誌中央控制系統綜覽”, 高運量行控中心控制員訓練教材, 台北捷運公司, 2000.
28. J. Venable, 陳金泉, “台北捷運中央控制號誌系統”, 1993年台北都會區捷運系統工程研討會, pp. 156-165, 1993.
29. G. Claus, “The 「State of the Art」 CTC Office”, Proc. International Symposium of Computer Technologies for Rapid Transit System 2001, pp. 3-22, 2001.
30. 陳鼎漢, “閉塞號誌設計理念,” 捷運技術, 第八期, pp. 76-85, 1993.
31. 鄧淇, “行控中心功能之簡介”, 經濟部工業局八十四年工業技術人才培訓計畫講義.
32. 余春長, “台北捷運高運量系統聯鎖區之行車號誌控制與安全保護”, 捷運技術, 第十四期, pp. 121-148, 1996.
33. S. Yasunobu, and S. Miyamoto, “Automatic Train Operation System by Prediction Fuzzy Control”, Industry Applications of Fuzzy Control, 1984.
34. K. Takeshi, and H. Nakamura, “Automatic Train Protection System Depending on Data Oriented Control”, IEEE/ASME Joint Rail Road Conference, pp. 51-57, 1994.
35. 余春長, 陳培鼐, “固態邏輯及/或機械式電驛聯鎖應用”, 1993年台北都會區捷運系統工程研討會, pp. 468-478, 1993.
36. 段英明, 于世暐, “台北捷運系統之聯鎖設計”, 1993年台北都會區捷運系統工程研討會, pp. 174-183, 1993.
37. K. Komaya, “A New Simulation Method and Its Application to Knowledge Based System for Railway Scheduling”, IEEE/ASME Joint Rail Road Conference, pp. 59-64, 1991.
38. R. B. Wen, “Computer Simulation of Rail Transit Vehicle Systems Method and Advantages”, IEEE/ASME Joint Rail Road Conference, pp. 9-11, 1992.
39. H. Harrison, “Development of a Wayside Detector Open Communication Standard”, Transportation Research Record 1314, pp. 77-81, 1991.
40. S. M. Hoeard, L. C. Gill, and P. J. Wong, “Review and Assessment of Train Performance Simulation Models”, Transportation Research Record 917, pp. 1-5, 1983.
41. E. M. Clarke, J. O. Grumberg and D. A. Peled, “Model Checking”, MIT Press, Cambridge, Massachusetts, London, England, 1999.
42. M. Huth, M. Ryan, “Logic in Computer Science Modelling and Reasoning about System”, Cambridge University Press, 2000.
43. K. L. Mcmillan, “Symbolic Modeling Checking”, Kluwer Academic Publishers, 1993.
44. E. M. Clarke, E. A. Emerson, and A. P. Sistla, “Automatic Verification of Finite-State Concurrent System Using Temporal Logic Specifications”, ACM Transactions on Programming Languages and Systems, Vol.8, pp. 244-263, 1986.
45. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang, “Symbolic Modeling Checking: States and Beyond”, Information and Computation, Vol.98 pp. 142-170, 1992.