相關商品
商品簡介
目次
商品簡介
馬艷芳編*的《基于環境的軟件近似正確性》基于進程代數理論中的通信系統演算(CCS)模型對軟件的近似正確性進行了形式化描述和度量。從接受和拒 *環境角度，以參數化互模擬和三分之二互模擬為基礎，建立了參數化互模擬和三分之二互模擬的無限演化理論及拓撲理論，建立了近似的參數化互模擬和近似的三分之二互模擬理論。為描述帶有概率信息軟件系統的近似正確性，建立了概率化參數互模擬及確定性概率進程近似互模擬的無限演化及其拓撲結構。
目次
前言第1章 引言 1.1 軟件正確性及其意義 1.2 研究現狀 1.3 內容安排第2章 基礎知識 2.1 進程演算(CCS)基礎 2.2 三分之二互模擬 2.3 參數化互模擬 2.4 定向集及其性質第3章 三分之二互模擬無限演化與拓撲 3.1 引言 3.2 三分之二互模擬的無限演化 3.2.1 三分之二極限互模擬 3.2.2 三分之二極限互模擬的拓撲結構 3.3 三分之二互模擬極限 3.3.1 三分之二互模擬極限 3.3.2 三分之二互模擬極限的擬同余性 3.4 三分之二互模擬拓撲第4章 進程之間近似程度的度量模型 4.1 引言 4.2 λ-三分之二互模擬及其性質 4.2.1 三分之二互模擬索引 4.2.2 λ-三分之二互模擬 4.3 λ-三分之二互模擬等價的模態邏輯刻畫 4.4 基于三分之二互模擬的靜態近似正確性量化模型第5章 參數化互模擬無限演化與拓撲 5.1 引言 5.2 參數化互模擬的無限演化 5.2.1 參數化極限互模擬 5.2.2 參數化極限互模擬的拓撲結構 5.3 參數化互模擬極限 5.4 參數化互模擬拓撲 5.4.1 收斂類 5.4.2 參數化互模擬拓撲第6章 近似的參數化互模擬 6.1 引言 6.2 參數化互模擬索引 6.3 λ-參數化互模擬 6.4 在環境e下λ-參數化互模擬的同余性第7章 概率化參數互模擬 7.1 引言 7.2 概率化參數互模擬 7.3 近似的概率化參數互模擬第8章 概率進程近似互模擬的無限演化及拓撲結構 8.1 引言 8.2 ε-互模擬的無限演化 8.3 ε-互模擬極限 8.4 ε-極限互模擬的拓撲結構 8.4.1 尾閉包 8.4.2 自然延拓 8.4.3 復合結構第9章 總結與展望符號索引參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。