计算机 类型
可以朗读 语音朗读
268千字 字数
2023-12-01 发行日期
展开全部

主编推荐语

本书在真并发进程代数中引入离散事件系统和混杂系统。

内容简介

控制理论通常处理过程的动态行为，由微分方程来进行刻画。随着计算机控制的快速普及，出现了离散事件过程和混杂过程。离散事件过程可能是展现离散行为的最简单的过程。在离散事件系统中，状态是离散的，而且状态的转移仅仅是对离散事件的响应。

在离散事件过程和计算过程之间存在微小的差异，即并行与并发，也就是说，对于多数的计算性质，如顺序、不确定性、递归和抽象等，它们是相同的。

混杂理论是系统理论和计算机科学的结合体。在系统理论中，系统行为通常由微分方程来刻画，而在计算机科学中，系统行为通常由离散的原子动作及其之间的计算逻辑来刻画。

本书介绍了离散事件过程的公理化、分布式离散事件过程的公理化、混杂进程代数及其在神经网络建模中的应用以及具有位置的混杂进程代数及其在分布式/联邦神经网络建模中的应用等。

目录

  • 版权信息
  • Chapter 1 Introduction
  • Chapter 2 Backgrounds
  • 2.1 Operational Semantics
  • 2.2 Proof Techniques
  • 2.3 Truly Concurrent Process Algebra-APTC
  • 2.4 Truly Concurrent Process Algebra with Localities
  • Chapter 3 An Axiomatization of Discrete Event Processes
  • 3.1 Basic Algebra for True Concurrency-BATC
  • 3.2 Algebra for Parallelism in True Concurrency
  • 3.3 Recursion
  • 3.4 Silent Step and Abstraction
  • Chapter 4 An Axiomatization of Distributed Discrete Event Processes
  • 4.1 BATC with Static Localities
  • 4.2 APTC with Static Localities
  • 4.3 Recursion with Static Localities
  • 4.4 Silent Step and Abstraction with Static Localities
  • Chapter 5 Hybrid Process Algebra
  • 5.1 Truly Concurrent Semantics
  • 5.2 Hybrid BATC
  • 5.3 Hybrid APTC
  • 5.4 Recursion of Hybrid APTC
  • 5.5 Silent Step and Abstraction of Hybrid APTC
  • 5.6 Application of Hybrid APTC in Modeling Neural Networks
  • Chapter 6 Hybrid Process Algebra with Localities
  • 6.1 Locality Semantics
  • 6.2 Hybrid BATC with Localities
  • 6.3 Hybrid APTC with Localities
  • 6.4 Recursion of Hybrid APTC with Localities
  • 6.5 Silent Step and Abstraction of Hybrid APTC with Localities
  • 6.6 Application of Hybrid APTC with Localities in Modeling Distributed/Federated Neural Networks
  • Bibliography
展开全部

评分及书评

尚无评分
目前还没人评分

出版方

电子工业出版社

电子工业出版社成立于1982年10月，是国务院独资、工信部直属的中央级科技与教育出版社，是专业的信息技术知识集成和服务提供商。经过三十多年的建设与发展，已成为一家以科技和教育出版、期刊、网络、行业支撑服务、数字出版、软件研发、软科学研究、职业培训和教育为核心业务的现代知识服务集团。出版物内容涵盖了电子信息技术的各个分支及工业技术、经济管理、科普与少儿、社科人文等领域，综合出版能力位居全国出版行业前列。