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

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