基于有限自動機的航班計劃編排技術研究.pdf

1、本文以航班優(yōu)化與航線經(jīng)濟效益分析系統(tǒng)（FORMAX）為應用背景，對航班計劃編排正確性保障技術中的句法編譯技術進行討論。重點分析研究了基于有限自動機的航班計劃句法編譯技術，并采用多線程技術，提高了航班計劃編排規(guī)則自動檢測的執(zhí)行效率。
　　 隨著航空公司航班計劃規(guī)模的不斷擴大，航班計劃的正確性和完整性難以得到保障。為了提高航班計劃正確性和完整性的自動檢查和分析能力，以保證航班計劃編排后繼工作的順利進行。本文對航班計劃編排的特點和有限

2、自動機理論進行了分析和研究，給出了航班計劃編排的基本規(guī)則。在此基礎上，重點研究了基于有限自動機的航班計劃句法編譯技術，設計了航班計劃的有限自動機，進行了航班計劃句法編譯中的詞法分析、語法分析，并進行了例證分析，驗證了運用有限自動機進行航班計劃句法編譯的可行性，同時采用了多線程技術，提高了系統(tǒng)的處理速度，增強了航班計劃正確性和完整性檢查的自動化程度，改善了程序的質(zhì)量。論文最后對航班計劃規(guī)則檢查的實現(xiàn)技術進行了論述，并對實現(xiàn)效果進行了評價。