基于公理化設(shè)計(jì)的協(xié)同流量管理系統(tǒng)設(shè)計(jì).pdf

1、空中交通流量管理是在空中交通服務(wù)(Air Traffic Service，ATS)基礎(chǔ)上，當(dāng)空中交通量達(dá)到一定水平后為解釋空中擁擠，作為ATS的重要補(bǔ)充而出現(xiàn)的。改革開放以來，隨著經(jīng)濟(jì)的起飛，空中交通量持續(xù)增加，協(xié)同流量管理系統(tǒng)的建設(shè)已經(jīng)迫在眉睫。 通過調(diào)研歐美日等國的流量管理系統(tǒng)可以發(fā)現(xiàn)，協(xié)同流量管理系統(tǒng)是一個(gè)非常復(fù)雜的系統(tǒng)，其研發(fā)過程中必將面臨多種多樣的困難，因而采用科學(xué)、有效的設(shè)計(jì)方法至關(guān)重要。公理化系統(tǒng)設(shè)計(jì)方法在其他領(lǐng)域

2、的成功應(yīng)用，也為協(xié)同流量管理系統(tǒng)設(shè)計(jì)提供了重要的啟示。 本文首次嘗試將公理化設(shè)計(jì)方法應(yīng)用到協(xié)同流量管理系統(tǒng)設(shè)計(jì)中，從功能需求入手通過公理化設(shè)計(jì)的思想對協(xié)同流量管理系統(tǒng)進(jìn)行分析設(shè)計(jì)。其中，為了提高通用性、減少各子系統(tǒng)或者子模塊之間的耦合，本文不僅提出利用獨(dú)立公理判別方法判斷耦合程度，而且實(shí)現(xiàn)了基于設(shè)計(jì)矩陣的耦合識(shí)別算法和設(shè)計(jì)順序規(guī)劃算法。在協(xié)同流量管理系統(tǒng)設(shè)計(jì)過程中，本文利用公理化設(shè)計(jì)和基于范例推理相結(jié)合的方法，建立了協(xié)同流量管理