自動(dòng)飛行模式轉(zhuǎn)換邏輯的形式化建模與驗(yàn)證
南京航空航天大學(xué)學(xué)報(bào)
頁數(shù): 12 2023-10-15
摘要: 自動(dòng)飛行控制系統(tǒng)(Automatic flight control system,AFCS)是現(xiàn)代飛機(jī)中重要的安全關(guān)鍵系統(tǒng)之一,飛行引導(dǎo)控制系統(tǒng)(Flight guidance control system,FGCS)是其重要的組成部分。FGCS中的飛行模式有數(shù)十種,模式轉(zhuǎn)換邏輯十分復(fù)雜,在各個(gè)模式間轉(zhuǎn)換時(shí)易出現(xiàn)模式混淆等問題,難以對其安全性和正確性進(jìn)行驗(yàn)證。而利用計(jì)算機(jī)科學(xué)中...