暂无评论
图文详情
- ISBN：9787121466939
- 装帧：平装-胶订
- 册数：暂无
- 重量：暂无
- 开本：16开
- 页数：200
- 出版时间：2023-12-01
- 条形码：9787121466939 ; 978-7-121-46693-9
内容简介
控制理论通常处理过程的动态行为，由微分方程来进行刻画。随着计算机控制的快速普及，出现了离散事件过程和混杂过程。离散事件过程可能是展现离散行为的*简单的过程。在离散事件系统中，状态是离散的，而且状态的转移仅仅是对离散事件的响应。在离散事件过程和计算过程之间存在微小的差异，即并行与并发，也就是说，对于多数的计算性质，如顺序、不确定性、递归和抽象等，它们是相同的。混杂理论是系统理论和计算机科学的结合体。在系统理论中，系统行为通常由微分方程来刻画，而在计算机科学中，系统行为通常由离散的原子动作及其之间的计算逻辑来刻画。在本书中，我们在真并发进程代数中引入离散事件系统和混杂系统，介绍了离散事件过程的公理化、分布式离散事件过程的公理化、混杂进程代数及其在神经网络建模中的应用以及具有位置的混杂进程代数及其在分布式/联邦神经网络建模中的应用等。
目录
Chapter 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Chapter 2 Backgrounds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.1 Operational Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 Proof Techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .5
2.3 Truly Concurrent Process Algebra - APTC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3.1 Basic Algebra for True Concurrency . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.3.2 APTC with Left Parallel Composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.3.3 Recursion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.3.4 Abstraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3.5 Placeholder. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .19
2.3.6 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.4 Truly Concurrent Process Algebra with Localities . . . . . . . . . . . . . . . . . . . . . . . 27
2.4.1 Operational Semantics with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4.2 BATC with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.4.3 APTC with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.4.4 Recursion with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.4.5 Abstraction with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Chapter 3 An Axiomatization of Discrete Event Processes. . . . . . . . . . . . . . . . . . . . . .46
3.1 Basic Algebra for True Concurrency - BATC . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.1.1 Axiom System of BATC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.1.2 Properties of BATC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.1.3 Structured Operational Semantics of BATC . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.2 Algebra for Parallelism in True Concurrency . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.2.1 Parallelism as a Fundamental Computational Pattern . . . . . . . . . . . . . . . . . . 53
3.2.2 Axiom System of Parallelism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .55
3.2.3 Properties of Parallelism. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .56
3.2.4 Structured Operational Semantics of Parallelism . . . . . . . . . . . . . . . . . . . . . . .58
3.2.5 Encapsulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.3 Recursion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.3.1 Guarded Recursive Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .68
3.3.2 Recursive Definition and Specification Principles. . . . . . . . . . . . . . . . . . . . . . .69
3.3.3 Approximation Induction Principle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.4 Silent Step and Abstraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
3.4.1 Guarded Linear Recursion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
3.4.2 Algebraic Laws for the Silent Step . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .78
3.4.3 Abstraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
Chapter 4 An Axiomatization of Distributed Discrete Event Processes . . . . . . . . . 87
4.1 BATC with Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.1.1 Axiom System of BATC with Static Localities. . . . . . . . . . . . . . . . . . . . . . . . .87
4.1.2 Properties of BATC with Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
4.1.3 Structured Operational Semantics of BATC with Static Localities. . . . . . .89
4.2 APTC with Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
4.2.1 Properties of Parallelism with Static Localities . . . . . . . . . . . . . . . . . . . . . . . . 97
4.2.2 Structured Operational Semantics of Parallelism with
Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
4.2.3 Encapsulation with Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
4.3 Recursion with Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
4.3.1 Guarded Recursive Specifications with Static Localities . . . . . . . . . . . . . . . 110
4.3.2 Recursive Definition and Specification Principles with
Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
4.3.3 Approximation Induction Principle with Static Localities. . . . . . . . . . . . . .114
4.4 Silent Step and Abstraction with Static Localities . . . . . . . . . . . . . . . . . . . . . . 118
4.4.1 Guarded Linear Recursion with Static Localities. . . . . . . . . . . . . . . . . . . . . .119
4.4.2 Algebraic Laws for the Silent Step with Static Localities . . . . . . . . . . . . . . 120
4.4.3 Abstraction with Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
Chapter 5 Hybrid Process Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .128
5.1 Truly Concurrent Semantics. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .128
5.2 Hybrid BATC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
5.2.1 Axiom System of Hybrid BATC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .132
5.2.2 Properties of Hybrid BATC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .134
5.2.3 Structured Operational Semantics of Hybrid BATC. . . . . . . . . . . . . . . . . . .136
5.3 Hybrid APTC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
5.3.1 Properties of Parallelism of Hybrid APTC . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
5.3.2 Structured Operational Semantics of Parallelism of Hybrid APTC . . . . . 144
5.3.3 Encapsulation of Hybrid APTC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
5.4 Recursion of Hybrid APTC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
5.4.1 Guarded Recursive Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
5.4.2 Recursive Definition and Specification Principles of Hybrid APTC . . . . . 150
5.4.3 Approximation Induction Principle of Hybrid APTC. . . . . . . . . . . . . . . . . .150
5.5 Silent Step and Abstraction of Hybrid APTC . . . . . . . . . . . . . . . . . . . . . . . . . . 152
5.5.1 Guarded Linear Recursion of Hybrid APTC. . . . . . . . . . . . . . . . . . . . . . . . . .152
5.5.2 Algebraic Laws for the Silent Step of Hybrid APTC . . . . . . . . . . . . . . . . . . 153
5.5.3 Abstraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
5.6 Application of Hybrid APTC in Modelling Neural Networks . . . . . . . . . . . . 155
5.6.1 Modelling of Neurons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
5.6.2 Modelling of Neural Networks. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .158
Chapter 6 Hybrid Process Algebra with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
6.1 Locality Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
6.2 Hybrid BATC with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
6.2.1 Axiom System of Hybrid BATC with Localities . . . . . . . . . . . . . . . . . . . . . . 165
6.2.2 Properties of Hybrid BATC With Localities . . . . . . . . . . . . . . . . . . . . . . . . . .166
6.2.3 Structured Operational Semantics of Hybrid BATC with Localities . . . . 168
6.3 Hybrid APTC with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
6.3.1 Properties of Parallelism of Hybrid APTC with Localities . . . . . . . . . . . . . 175
6.3.2 Structured Operational Semantics of Parallelism of Hybrid APTC
with Localities. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .178
6.3.3 Encapsulation of Hybrid APTC with Localities. . . . . . . . . . . . . . . . . . . . . . .179
6.4 Recursion of Hybrid APTC with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182
6.4.1 Guarded Recursive Specifications of Hybrid APTC with Localities . . . . . 183
6.4.2 Recursive Definition and Specification Principles of Hybrid APTC
with Localities. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .184
6.4.3 Approximation Induction Principle of Hybrid APTC with Localities . . . 185
6.5 Silent Step and Abstraction of Hybrid APTC with Localities . . . . . . . . . . . 186
6.5.1 Guarded Linear Recursion of Hybrid APTC with Localities . . . . . . . . . . . 187
6.5.2 Algebraic Laws for the Silent Step of Hybrid APTC with Localities . . . . 188
6.5.3 Abstraction of Hybrid APTC with Localities . . . . . . . . . . . . . . . . . . . . . . . . . 189
6.6 Application of Hybrid APTC with Localities in Modelling
Distributed/Federated Neural Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
6.6.1 Modelling of Distributed/Federated Neurons . . . . . . . . . . . . . . . . . . . . . . . . . 190
6.6.2 Modelling of Distributed/Federated Neural Networks . . . . . . . . . . . . . . . . . 192
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194
Chapter 2 Backgrounds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.1 Operational Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 Proof Techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .5
2.3 Truly Concurrent Process Algebra - APTC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3.1 Basic Algebra for True Concurrency . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.3.2 APTC with Left Parallel Composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.3.3 Recursion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.3.4 Abstraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3.5 Placeholder. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .19
2.3.6 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.4 Truly Concurrent Process Algebra with Localities . . . . . . . . . . . . . . . . . . . . . . . 27
2.4.1 Operational Semantics with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4.2 BATC with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.4.3 APTC with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.4.4 Recursion with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.4.5 Abstraction with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Chapter 3 An Axiomatization of Discrete Event Processes. . . . . . . . . . . . . . . . . . . . . .46
3.1 Basic Algebra for True Concurrency - BATC . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.1.1 Axiom System of BATC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.1.2 Properties of BATC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.1.3 Structured Operational Semantics of BATC . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.2 Algebra for Parallelism in True Concurrency . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.2.1 Parallelism as a Fundamental Computational Pattern . . . . . . . . . . . . . . . . . . 53
3.2.2 Axiom System of Parallelism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .55
3.2.3 Properties of Parallelism. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .56
3.2.4 Structured Operational Semantics of Parallelism . . . . . . . . . . . . . . . . . . . . . . .58
3.2.5 Encapsulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.3 Recursion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.3.1 Guarded Recursive Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .68
3.3.2 Recursive Definition and Specification Principles. . . . . . . . . . . . . . . . . . . . . . .69
3.3.3 Approximation Induction Principle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.4 Silent Step and Abstraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
3.4.1 Guarded Linear Recursion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
3.4.2 Algebraic Laws for the Silent Step . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .78
3.4.3 Abstraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
Chapter 4 An Axiomatization of Distributed Discrete Event Processes . . . . . . . . . 87
4.1 BATC with Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.1.1 Axiom System of BATC with Static Localities. . . . . . . . . . . . . . . . . . . . . . . . .87
4.1.2 Properties of BATC with Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
4.1.3 Structured Operational Semantics of BATC with Static Localities. . . . . . .89
4.2 APTC with Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
4.2.1 Properties of Parallelism with Static Localities . . . . . . . . . . . . . . . . . . . . . . . . 97
4.2.2 Structured Operational Semantics of Parallelism with
Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
4.2.3 Encapsulation with Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
4.3 Recursion with Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
4.3.1 Guarded Recursive Specifications with Static Localities . . . . . . . . . . . . . . . 110
4.3.2 Recursive Definition and Specification Principles with
Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
4.3.3 Approximation Induction Principle with Static Localities. . . . . . . . . . . . . .114
4.4 Silent Step and Abstraction with Static Localities . . . . . . . . . . . . . . . . . . . . . . 118
4.4.1 Guarded Linear Recursion with Static Localities. . . . . . . . . . . . . . . . . . . . . .119
4.4.2 Algebraic Laws for the Silent Step with Static Localities . . . . . . . . . . . . . . 120
4.4.3 Abstraction with Static Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
Chapter 5 Hybrid Process Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .128
5.1 Truly Concurrent Semantics. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .128
5.2 Hybrid BATC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
5.2.1 Axiom System of Hybrid BATC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .132
5.2.2 Properties of Hybrid BATC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .134
5.2.3 Structured Operational Semantics of Hybrid BATC. . . . . . . . . . . . . . . . . . .136
5.3 Hybrid APTC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
5.3.1 Properties of Parallelism of Hybrid APTC . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
5.3.2 Structured Operational Semantics of Parallelism of Hybrid APTC . . . . . 144
5.3.3 Encapsulation of Hybrid APTC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
5.4 Recursion of Hybrid APTC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
5.4.1 Guarded Recursive Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
5.4.2 Recursive Definition and Specification Principles of Hybrid APTC . . . . . 150
5.4.3 Approximation Induction Principle of Hybrid APTC. . . . . . . . . . . . . . . . . .150
5.5 Silent Step and Abstraction of Hybrid APTC . . . . . . . . . . . . . . . . . . . . . . . . . . 152
5.5.1 Guarded Linear Recursion of Hybrid APTC. . . . . . . . . . . . . . . . . . . . . . . . . .152
5.5.2 Algebraic Laws for the Silent Step of Hybrid APTC . . . . . . . . . . . . . . . . . . 153
5.5.3 Abstraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
5.6 Application of Hybrid APTC in Modelling Neural Networks . . . . . . . . . . . . 155
5.6.1 Modelling of Neurons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
5.6.2 Modelling of Neural Networks. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .158
Chapter 6 Hybrid Process Algebra with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
6.1 Locality Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
6.2 Hybrid BATC with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
6.2.1 Axiom System of Hybrid BATC with Localities . . . . . . . . . . . . . . . . . . . . . . 165
6.2.2 Properties of Hybrid BATC With Localities . . . . . . . . . . . . . . . . . . . . . . . . . .166
6.2.3 Structured Operational Semantics of Hybrid BATC with Localities . . . . 168
6.3 Hybrid APTC with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
6.3.1 Properties of Parallelism of Hybrid APTC with Localities . . . . . . . . . . . . . 175
6.3.2 Structured Operational Semantics of Parallelism of Hybrid APTC
with Localities. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .178
6.3.3 Encapsulation of Hybrid APTC with Localities. . . . . . . . . . . . . . . . . . . . . . .179
6.4 Recursion of Hybrid APTC with Localities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182
6.4.1 Guarded Recursive Specifications of Hybrid APTC with Localities . . . . . 183
6.4.2 Recursive Definition and Specification Principles of Hybrid APTC
with Localities. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .184
6.4.3 Approximation Induction Principle of Hybrid APTC with Localities . . . 185
6.5 Silent Step and Abstraction of Hybrid APTC with Localities . . . . . . . . . . . 186
6.5.1 Guarded Linear Recursion of Hybrid APTC with Localities . . . . . . . . . . . 187
6.5.2 Algebraic Laws for the Silent Step of Hybrid APTC with Localities . . . . 188
6.5.3 Abstraction of Hybrid APTC with Localities . . . . . . . . . . . . . . . . . . . . . . . . . 189
6.6 Application of Hybrid APTC with Localities in Modelling
Distributed/Federated Neural Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
6.6.1 Modelling of Distributed/Federated Neurons . . . . . . . . . . . . . . . . . . . . . . . . . 190
6.6.2 Modelling of Distributed/Federated Neural Networks . . . . . . . . . . . . . . . . . 192
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194
展开全部
作者简介
王勇，男，1974年6月生，北京工业大学计算机学院副教授，硕士生导师。2006年1月毕业于北京航空航天大学计算机学院，获工学博士学位，2006年6月至今在北京工业大学计算机学院任教。曾获2003年度 科技进步一等奖一项；在计算机学报、软件学报、电子学报、通信学报等期刊以及SCC、GCC等 会议上发表论文40余篇，其中EI检索30余篇；主编教材3部，参与专著1部；申请（含授权） 发明专利4项，软件著作权5项。
本类五星书
浏览历史
本类畅销
-
铁道之旅:19世纪空间与时间的工业化
¥20.7¥59.0 -
金属材料及热处理
¥46.1¥72.0 -
实用电气计算
¥64.2¥88.0 -
实用精细化学品丛书--陶瓷添加剂:配方·性能·应用(第二版)
¥51.8¥69.0 -
中国传统民俗文化:建筑系列:中国古代桥梁
¥20.9¥58.0 -
嗨印刷工艺(Vol1烫印)(精)
¥147.4¥268.0 -
西门子S7-1200 PLC项目化教程
¥39.4¥54.0 -
气动系统装调与PLC控制
¥29.1¥39.8 -
高聚物粘结及其性能
¥34.8¥120.0 -
液压控制系统
¥12.7¥31.0 -
汽车风云人物
¥13.5¥50.0 -
品牌鞋靴产品策划-从创意到产品
¥26.5¥42.0 -
城市桥梁工程施工与质量验收手册-(含光盘)
¥61.6¥78.0 -
城镇道路工程施工与质量验收规范实施手册
¥16.4¥39.0 -
毛皮加工及质量鉴定
¥1.6¥6.0 -
航空发动机限寿件概率损伤容限评估概述
¥67.8¥88.0 -
天才武器
¥42.0¥60.0 -
中国再制造进展
¥88.5¥118.0 -
中国烹饪工艺学粤菜教程
¥48.4¥59.8 -
欧亚大陆北部的树皮船与兽皮船
¥132.3¥189.0
