本論文中，我們提出基於機場安全檢查的分層排隊理論模型，模型中的旅客基於歷史的安全數據被分成三組。我們運用二維馬可夫過程（two-dimensional Markov process）以及馬可夫調控卜瓦松過程（Markov modulated Poisson process）構建模型的排隊系統並加以分析。我們收集了台灣桃園國際機場和其它兩個機場的旅客數據以驗證我們提出的模型，並運用模擬退火法（simulated annealing）求得近似最佳解（near-optimum solution）。最後我們通過模型的旅客平均等候時間和另外兩種等候模型進行比較，之後得出我們的模型確實可以在不增加成本，甚至提升安全性的同時能夠有效地減少平均等候時間。 / This thesis proposes a tiered inspection system for airport security, wherein passengers are divided into three classes based on historical security records. A two-dimensional Markov process and a Markov modulated Poisson process (MMPP) queue were used in the formulation of the security inspection system. Simulated annealing was then used to obtain near-optimum solution for the model. The efficacy of the proposed model was evaluated using the arrival data of passengers at Taoyuan International Airport and other two international airports. A comparison with two conventional queueing models with regard to the average waiting time demonstrated the effectiveness of the proposed security inspection system in enhancing service efficiency and boosting the level of security.