久久国产精品99久久久久久口爆,精品久久久久久亚洲综合网

2020-12-11 14:03 來源：京東作者：京東

編輯推薦:

內(nèi)容簡介:　　《基于環(huán)境的軟件近似正確性》基于進(jìn)程代數(shù)理論中的通信系統(tǒng)演算（CCS）模型對軟件的近似正確性進(jìn)行了形式化描述和度量。從接受和拒絕環(huán)境角度，以參數(shù)化互模擬和三分之二互模擬為基礎(chǔ)，建立了參數(shù)化互模擬和三分之二互模擬的無限演化理論及拓?fù)淅碚?，建立了近似的參?shù)化互模擬和近似的三分之二互模擬理論。為描述帶有概率信息軟件系統(tǒng)的近似正確性，建立了概率化參數(shù)互模擬及確定性概率進(jìn)程近似互模擬的無限演化及其拓?fù)浣Y(jié)構(gòu)。

作者簡介:

目錄:前言

第1章引言
1．1 軟件正確性及其意義
1．2 研究現(xiàn)狀
1．3 內(nèi)容安排

第2章基礎(chǔ)知識
2．1 進(jìn)程演算（CCS）基礎(chǔ)
2．2 三分之二互模擬
2．3 參數(shù)化互模擬
2．4 定向集及其性質(zhì)

第3章三分之二互模擬無限演化與拓?fù)?
3．1 引言
3．2 三分之二互模擬的無限演化
3．2．1 三分之二極限互模擬
3．2．2 三分之二極限互模擬的拓?fù)浣Y(jié)構(gòu)
3．3 三分之二互模擬極限
3．3．1 三分之二互模擬極限
3．3．2 三分之二互模擬極限的擬同余性
3．4 三分之二互模擬拓?fù)?

第4章進(jìn)程之間近似程度的度量模型
4．1 引言
4．2 λ-三分之二互模擬及其性質(zhì)
4．2．1 三分之二互模擬索引
4．2．2 λ-三分之二互模擬
4．3 λ-三分之二互模擬等價(jià)的模態(tài)邏輯刻畫
4．4 基于三分之二互模擬的靜態(tài)近似正確性量化模型

第5章參數(shù)化互模擬無限演化與拓?fù)?
5．1 引言
5．2 參數(shù)化互模擬的無限演化
5．2．1 參數(shù)化極限互模擬
5．2．2 參數(shù)化極限互模擬的拓?fù)浣Y(jié)構(gòu)
5．3 參數(shù)化互模擬極限
5．4 參數(shù)化互模擬拓?fù)?
5．4．1 收斂類
5．4．2 參數(shù)化互模擬拓?fù)?

第6章近似的參數(shù)化互模擬
6．1 引言
6．2 參數(shù)化互模擬索引
6．3 λ-參數(shù)化互模擬
6．4 在環(huán)境e下λ-參數(shù)化互模擬的同余性

第7章概率化參數(shù)互模擬
7．1 引言
7．2 概率化參數(shù)互模擬
7．3 近似的概率化參數(shù)互模擬

第8章概率進(jìn)程近似互模擬的無限演化及拓?fù)浣Y(jié)構(gòu)
8．1 引言
8．2 ε-互模擬的無限演化
8．3 ε-互模擬極限
8．4 ε-極限互模擬的拓?fù)浣Y(jié)構(gòu)
8．4．1 尾閉包
8．4．2 自然延拓
8．4．3 復(fù)合結(jié)構(gòu)

第9章總結(jié)與展望

符號索引
參考文獻(xiàn)

相關(guān)商品

兒童牙刷0-8歲萬根細(xì)軟毛家用嬰幼兒小孩寶寶牙刷1 軟毛 1支

立即搶購

久久人人做人人妻人人玩精品hd,精品国产成人av在线,好姑娘在线视频免费观看 ,含羞草电影免费看韩国,果冻传媒一区

基于環(huán)境的軟件近似正確性簡介，目錄書摘