消息首页搜索举报

释放查看图文详情

离散与混杂控制的代数理论(英文版)

全新正版极速发货

59.24 6.0折 98 全新

仅1件

广东广州

送至北京市朝阳区

运费快递￥3.50

认证卖家担保交易快速发货售后保障

作者王勇,姜正涛,代桂平著

出版社电子工业出版社

ISBN9787121466939

出版时间2023-12

装帧平装

开本16开

定价98元

货号1203150189

上书时间2025-03-27

评价25652好评率 99.94%

书***1
就是运费有点贵
...
素***摊
很好，是全新的书，非常满意！
...

查看全部评价

谢岳书店

已实名已认证进店收藏店铺

在售商品暂无
平均发货时间 16小时
好评率 99.94%

最新上架

创新创业实(第三版) ¥36.96

进阶用商业思维规划你的人生 ¥26.19

高速铁路行车技术管理(第二版) ¥26.06

幼儿文学教程 ¥33.01

安徒生童话美绘注音版 ¥12.41

芥子园画谱 ¥31.08

回音室 1897-1935年跨国的中国画 ¥64.05

2022湖北城市发展白皮书 ¥37.93

工程材料及检测 ¥29.26

商品详情

品相描述：全新

商品描述: 作者简介
王勇，男，1974年6月生，北京工业大学计算机学院副教授，硕士生导师。2006年1月毕业于北京航空航天大学计算机学院，获工学博士学位，2006年6月至今在北京工业大学计算机学院任教。曾获2003年度教育部科技进步一等奖一项；在计算机学报、软件学报、电子学报、通信学报等期刊以及SCC、GCC等国际会议上发表论文40余篇，其中EI检索30余篇；主编教材3部，参与专著1部；申请（含授权）国家发明专利4项，软件著作权5项。

目录
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

……

内容摘要
控制理论通常处理过程的动态行为，由微分方程来进行刻画。随着计算机控制的快速普及，出现了离散事件过程和混杂过程。离散事件过程可能是展现离散行为的最简单的过程。在离散事件系统中，状态是离散的，而且状态的转移仅仅是对离散事件的响应。在离散事件过程和计算过程之间存在微小的差异，即并行与并发，也就是说，对于多数的计算性质，如顺序、不确定性、递归和抽象等，它们是相同的。混杂理论是系统理论和计算机科学的结合体。在系统理论中，系统行为通常由微分方程来刻画，而在计算机科学中，系统行为通常由离散的原子动作及其之间的计算逻辑来刻画。在本书中，我们在真并发进程代数中引入离散事件系统和混杂系统，介绍了离散事件过程的公理化、分布式离散事件过程的公理化、混杂进程代数及其在神经网络建模中的应用以及具有位置的混杂进程代数及其在分布式/联邦神经网络建模中的应用等。

— 没有更多了 —

微信扫码逛孔网

无需下载

离散与混杂控制的代数理论(英文版)

谢岳书店

商品详情

为你推荐