自然計算是模擬自然界的結(jié)構(gòu)、功能或者層次關(guān)系等的一系列計算模型與算法。按照計算模型的啟發(fā)源分類,自然計算可以分為物理層次、生命層次和文化層次的計算模型。計算機(jī)領(lǐng)域中常見的遺傳算法、蟻群算法、神經(jīng)網(wǎng)絡(luò)等都屬于生命層次的自然計算。膜計算作為一個近些年發(fā)展迅猛的自然計算分支,在理論和應(yīng)用上均有很好的發(fā)展。本文基于膜計算相關(guān)理論,提出了兩種新的膜計算變體并對這兩種變體的應(yīng)用進(jìn)行了研究。服務(wù)組合中的孤島問題需要實現(xiàn)孤島與系統(tǒng)的通信,即系統(tǒng)與外界環(huán)境的交流。而軟件產(chǎn)品線的演化問題需要實現(xiàn)在已有的系統(tǒng)中添加新的變化機(jī)制這個過程。已有的膜計算模型無法解決這兩類問題。因此,本文在已有的膜計算理論研究的基礎(chǔ)上,通過對膜計算中主要研究對象進(jìn)行擴(kuò)展,提出了適用于解決服務(wù)組合中孤島問題的通道膜演算以及適用于對軟件產(chǎn)品線演化問題建模的通信膜演算。本文的主要研究貢獻(xiàn)總結(jié)如下:（1）已有的膜計算模型規(guī)定,對象和膜必須在同一表層膜內(nèi)才能發(fā)生轉(zhuǎn)移。這種定義意味著已有的膜計算模型無法描述兩種不同環(huán)境之間的通信。因此,本文提出了一種新的計算方法——通道膜演算。這種方法對膜演算的反應(yīng)規(guī)則進(jìn)行了擴(kuò)展,定義了對象和膜可以通過通道和... 

【文章來源】：吉林大學(xué)吉林省 211工程院校 985工程院校 教育部直屬院校

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

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

【文章目錄】：
摘要
abstract
第1章 緒論
    1.1 研究背景
        1.1.1 自然計算
        1.1.2 膜計算
    1.2 研究現(xiàn)狀
        1.2.1 膜計算理論研究
        1.2.2 膜計算應(yīng)用研究
    1.3 論文創(chuàng)新點
    1.4 論文組織結(jié)構(gòu)
第2章 通道膜演算
    2.1 引言
    2.2 通道膜演算
    2.3 反應(yīng)規(guī)則與操作語義
        2.3.1 對象反應(yīng)規(guī)則
        2.3.2 膜反應(yīng)規(guī)則
        2.3.3 通道反應(yīng)規(guī)則
    2.4 例子
    2.5 計算能力分析
    2.6 通道膜演算的應(yīng)用
        2.6.1 服務(wù)孤島問題的形式化描述
        2.6.2 實例的驗證
    2.7 本章小結(jié)
第3章 通信膜演算
    3.1 引言
    3.2 通信膜演算
    3.3 反應(yīng)規(guī)則與操作語義
    3.4 非確定自動機(jī)C-NA
    3.5 計算能力分析
        3.5.1 可達(dá)狀態(tài)分析
        3.5.2 轉(zhuǎn)換步數(shù)分析
        3.5.3 NIA說明
    3.6 軟件產(chǎn)品線演化過程建模及分析
        3.6.1 Mobile Media建模
        3.6.2 Mobile Media演化過程建模
        3.6.3 實例的驗證
        3.6.4 實例分析與結(jié)論
    3.7 本章小結(jié)
第4章 通道膜演算和通信膜演算的性能分析
    4.1 引言
    4.2 相關(guān)知識
    4.3 到達(dá)路徑分析
    4.4 狀態(tài)分析
    4.5 本章小結(jié)
第5章 基于通信膜演算的軟件產(chǎn)品線特征模型自動演化
    5.1 引言
    5.2 相關(guān)知識
    5.3 AutoEvoSPL框架
    5.4 FEvoFM
        5.4.1 軟件產(chǎn)品線特征模型的抽象表示
        5.4.2 特征模型與FEvoFM的相互映射
        5.4.3 例子
    5.5 AutoEvoNeed
        5.5.1 軟件產(chǎn)品線演化需求的抽象表示
        5.5.2 例子
    5.6 AutoEvoChange
        5.6.1 AutoEvoNeed的拆分
        5.6.2 AutoEvoNeed的合理性判斷
        5.6.3 FEvoFM的演化
        5.6.4 例子
    5.7 AutoEvoFM的實現(xiàn)
    5.8實驗
        5.8.1 實驗設(shè)置
        5.8.2 實驗結(jié)果與結(jié)果分析
    5.9 本章小結(jié)
第6章 總結(jié)與展望
    6.1 研究工作總結(jié)
    6.2 研究工作展望
參考文獻(xiàn)
附錄1 軟件產(chǎn)品線特征模型三元組
附錄2 自動演化結(jié)果
作者簡介及在學(xué)期間科研成果
致謝



本文編號：3343110