發(fā)布時(shí)間：2023-04-18 18:31

　　當(dāng)前,各國越來越重視空天地網(wǎng)絡(luò)信息系統(tǒng)(GASNIS)的建設(shè)。GASNIS是以空中平臺(tái),包括空間站、高中低軌道的衛(wèi)星、平流層的氣球、有人或無人駕駛的飛行器;以及地面平臺(tái)、包括地面站點(diǎn)或地面移動(dòng)終端;水域平臺(tái),包括海洋觀測(cè)船舶或有其他特殊任務(wù)的船舶為載體所組成。GASNIS是實(shí)時(shí)獲取,傳輸和處理相關(guān)信息為主要任務(wù)的網(wǎng)絡(luò)信息系統(tǒng)。其發(fā)展涉及到國家的政治,經(jīng)濟(jì),軍事以及民生等各個(gè)重要領(lǐng)域。GASNIS是一個(gè)復(fù)雜的典型移動(dòng)通信系統(tǒng)。其本身的拓?fù)浣Y(jié)構(gòu)不斷變化,同時(shí)用戶提交的任務(wù)需求復(fù)雜多樣,這樣導(dǎo)致大量用戶進(jìn)程在一個(gè)拓?fù)浣Y(jié)構(gòu)變化著的系統(tǒng)中海量并發(fā)移動(dòng),加之其傳輸速率還會(huì)受到空間或地表物理環(huán)境的影響,都增加了系統(tǒng)的復(fù)雜性。為了充分利用系統(tǒng)資源,提高系統(tǒng)服務(wù)質(zhì)量,我們需要對(duì)GASNIS中的任務(wù)進(jìn)行合理的調(diào)度。任務(wù)調(diào)度所關(guān)注的問題主要集中在系統(tǒng)中各任務(wù)的執(zhí)行順序以及系統(tǒng)資源有限的前提下,實(shí)現(xiàn)任務(wù)與資源高效耦合所需的對(duì)任務(wù)和資源進(jìn)行的定性與定量分析。任務(wù)的執(zhí)行順序的實(shí)質(zhì)就是按照任務(wù)的權(quán)重對(duì)任務(wù)進(jìn)行排序,而對(duì)任務(wù)和資源進(jìn)行定性定量的分析,實(shí)際上是基于調(diào)度對(duì)象和調(diào)度環(huán)境被清晰界定和描述的基礎(chǔ)上,對(duì)任務(wù)的資源...

【文章頁數(shù)】：158 頁

【學(xué)位級(jí)別】：博士

【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1 研究背景及意義
    1.2 排序算法研究的國內(nèi)外現(xiàn)狀
        1.2.1 串行排序
        1.2.2 并行排序
    1.3 形式化和演算簡(jiǎn)介
        1.3.1 形式化簡(jiǎn)介
        1.3.2 演算簡(jiǎn)介
    1.4 移動(dòng)演算的國內(nèi)外研究現(xiàn)狀
        1.4.1 早期典型進(jìn)程演算
        1.4.2 進(jìn)程演算的發(fā)展
    1.5 面臨的關(guān)鍵問題
    1.6 論文主要工作
    1.7 論文組織安排
第二章 π演算和seal演算基礎(chǔ)
    2.0 引言
    2.1 π演算簡(jiǎn)介
        2.1.1 模擬與互模擬
        2.1.2 交互
        2.1.3 π 演算語法
        2.1.4 π演算的結(jié)構(gòu)同余和反應(yīng)
        2.1.5 π演算的操作語義
        2.1.6 多目π演算
        2.1.7 π演算中的移動(dòng)性
    2.2 π演算應(yīng)用舉例
        2.2.1 數(shù)字表示和數(shù)字加減法
        2.2.2 兩元素的比較
        2.2.3 實(shí)用停止等待協(xié)議的描述
    2.3 seal演算簡(jiǎn)介
        2.3.1 seal演算的語法及語義
    2.4 seal演算應(yīng)用舉例
        2.4.1 數(shù)字的表示和數(shù)字運(yùn)算
        2.4.2 GASNIS拓?fù)浣Y(jié)構(gòu)的變化
    2.5 小結(jié)
第三章 并發(fā)排序算法及其形式化描述
    3.1 引言
    3.2 基于鏈表存儲(chǔ)的良序集合中元素的排序
    3.3 基于索引存儲(chǔ)元素的并發(fā)排序
        3.3.1 并發(fā)篩選排序算法思路
        3.3.2 基于seal演算的并發(fā)篩選排序算法
        3.3.3 并發(fā)篩選插入排序思路
        3.3.4 基于seal演算的并發(fā)篩選插入排序算法
    3.5 小結(jié)
第四章 量化seal演算
    4.1 引言
    4.2 對(duì)seal演算的量化描述擴(kuò)展
        4.2.1 資源量化
        4.2.2 位置量化
        4.2.3 .復(fù)制和并發(fā)量化
        4.2.4 過程量化
    4.3 小結(jié)
第五章 基于量化 SEAL 演算的GASNIS 任務(wù)調(diào)度形式化描述
    5.1 引言
    5.2 GASNIS任務(wù)調(diào)度簡(jiǎn)介
        5.2.1 GASNIS任務(wù)調(diào)度的邏輯結(jié)構(gòu)
        5.2.2 GASNIS任務(wù)調(diào)度流程:
    5.3 簡(jiǎn)單GASNIS的任務(wù)調(diào)度舉例
    5.4 小結(jié)
第六章 總結(jié)與展望
    6.1 本文的貢獻(xiàn)與創(chuàng)新
    6.2 研究展望
參考文獻(xiàn)
附錄1 :攻讀博士學(xué)位期間發(fā)表的論文
附錄2 :攻讀博士學(xué)位期間申請(qǐng)的發(fā)明專利
致謝



本文編號(hào)：3792793