航空计算技术
航空計算技術
항공계산기술
AERONAUTICAL COMPUTER TECHNIQUE
2012年
5期
9-12,16
,共5页
跑道利用率%随机Petri网%马尔科夫链%稳态概率
跑道利用率%隨機Petri網%馬爾科伕鏈%穩態概率
포도이용솔%수궤Petri망%마이과부련%은태개솔
采用随机Petri网(SPN)建立了跑道系统运行约束方程;通过构造同构马尔科夫链建立了系统处于各种状态时的稳态概率表达式;改变变迁的触发速率,分析跑道利用率的变化情况.证明了模型的可达性、有界性,且不存在死点.
採用隨機Petri網(SPN)建立瞭跑道繫統運行約束方程;通過構造同構馬爾科伕鏈建立瞭繫統處于各種狀態時的穩態概率錶達式;改變變遷的觸髮速率,分析跑道利用率的變化情況.證明瞭模型的可達性、有界性,且不存在死點.
채용수궤Petri망(SPN)건립료포도계통운행약속방정;통과구조동구마이과부련건립료계통처우각충상태시적은태개솔표체식;개변변천적촉발속솔,분석포도이용솔적변화정황.증명료모형적가체성、유계성,차불존재사점.
