了得網研究生_概率進程語義（英文版）

	[ 收藏 ] [ 简体中文 ]
臺灣貨到付款、ATM、超商、信用卡PAYPAL付款，4-7個工作日送達，999元臺幣免運費　　　在線留言商品價格為新臺幣

商品搜索

类别：

关键字：

商品分类

　研究生
　 工学
　 公共课
　 经济管理
　 理学
　 农学
　 文法类
　 医学

　音乐
　 音乐理论

　声乐　通俗音乐　音乐欣赏　钢琴　二胡　小提琴

概率進程語義（英文版）
該商品所屬分類：研究生 -> 理學
【市場價】	436-632元
【優惠價】	273-395元
【作者】	鄧玉欣　著
【所屬類別】	圖書教材研究生/本科/專科教材理學
【出版社】	上海交通大學出版社
【ISBN】	9787313138217
【折扣說明】	一次購物滿999元台幣免運費+贈品一次購物滿2000元台幣95折+免運費+贈品一次購物滿3000元台幣92折+免運費+贈品一次購物滿4000元台幣88折+免運費+贈品
【本期贈品】	①優質無紡布環保袋，做工棒！②品牌簽字筆 ③品牌手帕紙巾

版本	正版全新電子版PDF檔
您已选择：	正版全新
溫馨提示：如果有多種選項，請先選擇再點擊加入購物車。 . 電子圖書價格是0.69折，例如了得網價格是100元，電子書pdf的價格則是69元。 . 購買電子書不支持貨到付款，購買時選擇atm或者超商、PayPal付款。付款後1-24小時內通過郵件傳輸給您。 *. 如果收到的電子書不滿意，可以聯絡我們退款。謝謝。

內容介紹

開本：16開

紙張：膠版紙

包裝：精裝

國際標準書號ISBN：9787313138217

作者：鄧玉欣著

出版社：上海交通大學出版社

出版時間：2015年11月

內容簡介

隨著計算機網絡和通信技術的發展，對並發分布式繫統的研究變得越來越重要。作為一種描述並發計算的模型，進程演算受到廣泛研究並被成功應用到實際繫統的規範、設計、分析及驗證中。近些年來，人們提出概率進程演算用來描述和分析並發繫統的量化行為，這要求對概率進程的語義基礎進行深入研究。

在鄧玉欣*作的《概率進程語義（英文版）》中，以操作語義的方式把進程行為表示成概率標號遷移繫統。不同遷移繫統通過一些適當的行為等價或前序關繫進行比較。

1 Introduction
1.1 Background
1.2 Synopsis
References
2 Mathematical Preliminaries
2.1 Lattice Theory
2.2 Induction and Coinduction
2.3 Topological Spaces
2.4 Metric Spaces
2.5 Probability Spaces
2.6 Linear Programming
References
3 Probabilistic Bisimulation
3.1 Introduction1 Introduction

1.1 Background

1.2 Synopsis

References

2 Mathematical Preliminaries

2.1 Lattice Theory

2.2 Induction and Coinduction

2.3 Topological Spaces

2.4 Metric Spaces

2.5 Probability Spaces

2.6 Linear Programming

References

3 Probabilistic Bisimulation

3.1 Introduction

3.2 Probabilistic Labelled Transition Systems

3.3 Lifting Relations

3.4 Justifving the Lifting Operation

    3.4.1 Justification by the Kantorovich Memc

    3.4.2 Justification by Network Flow

3.5 Probabilistic Bisimulation

3.6 Logical Characterisation

    3.6.1 An Adequate Logic

    3.6.2 An Expressive Logic

3.7 Metric Characterisation

3.8 Algorithmic Characterisation

    3.8.1 A Partition Refinement Algorithm

    3.8.2 An“On—the—Fly”Algorithm

3.9 Bibliographic Notes

    3.9.1 Probabilistic Models

    3.9.2 Probabilistic Bisimulation

References

4 Probabilistic Testine Semantics

4.1 A General Testing Framework

4.2 Testing Probabilistic Processes

4.3 Bounded Continuity

4.4 Reward Testing

    4.4.1 A Geometric Property

    4.4.2 Nonnegative Rewards

4.5 Extremal Reward Testing

4.6 Extremal Reward Testing Versus Resolution—Based Reward Testing

    4.6.1 Must Testing

    4.6.2 May Testing

4.7 Vector—Based Testing Versus Scalar Testin~

4.8 Bibliographic Notes

References

5 Testing Finite Probabilistic Processes

5.1 Introduction

5.2 The Language pCSP

    5.2.1 The Syntax

    5.2.2 The Operational Semantics

    5.2.3 The Precedence of Probabilistic Choice

    5.2.4 Graphical representation of pCSP processes

    5.2.5 Testing pCSP Processes

5.3 Counterexamples

5.4 Must Versus May Testing

5.5 Forward and Failure Simulation

    5.5.1 The Simulation Preorders

    5.5.2 The Simulation Preorders are Precongruences

    5.5.3 Simulations Are Sound for Testing Preorders

5.6 A Modal Logic

5.7 Characteristic Tests

5.8 Equational Theories

5.9 Inequational Theories

5.10 Comoletenes

5.11 Bibliographic Notes

    5.11.1 Probabilistic Equivalences

    5.11.2 Probabilistic Simulations

References

6 Testing Finitary Probabilistic Processes

6.1 IntrOduction

6.2 The Language rpCSP

6.3 A General Definition of Weak Derivations

    6.3.1 Lifting Relations

    6.3.2 Weak Transitions

    6.3.3 Properties of Weak Transitions

6.4 Testing rpCSP Processes

    6.4.1 Testing with Extremal Derivatives

    6.4.2 Comparison with Resolution—Based Testing

6.5 Generatinz Weak Derivatives in a Finitary pLTS

    6.5.1 Finite Generability

    6.5.2 Realising Payoffs

    6.5.3 Conseauences

6.6 The Failure Simulation Preorder

    6.6.1 Two Equivalent Definitions and Their Rationale

    6.6.2 A Simple Failure Similarity for Finitary Processes

    6.6.3 Precongruence

    6.6.4 Soundness

6.7 Failure Simulation is Complete for Must Testing

    6.7.1 Inductive Characterisatior

    6.7.2 The Modal Logic

    6.7.3 Characteristic Tests for Formulae

6.8 Simulations and May Testing

    6.8.1 Soundness

    6.8.2 Completeness

6.9 Real—Reward Testing

6.10 Summary

References

7 Weak Probabilistic Bisimulation

7.1 Introduction

7.2 A Simple Bisimulation

7.3 Compositionality

7.4 Reduction Barbed Congruence

7.5 Bibliographic Notes

References

Index

網友評論我們期待著您對此商品發表評論

相關商品

在線留言 商品價格為新臺幣

關於我們送貨時間安全付款會員登入加入會員我的帳戶網站聯盟

返回頂部

商品搜索

商品分类

【醫學】

【各大出版社】