会员
离散与混杂控制的代数理论（英文版）
更新时间：2024-02-01 14:46:29 最新章节：Bibliography
书籍简介
控制理论通常处理过程的动态行为，由微分方程来进行刻画。随着计算机控制的快速普及，出现了离散事件过程和混杂过程。离散事件过程可能是展现离散行为的最简单的过程。在离散事件系统中，状态是离散的，而且状态的转移仅仅是对离散事件的响应。在离散事件过程和计算过程之间存在微小的差异，即并行与并发，也就是说，对于多数的计算性质，如顺序、不确定性、递归和抽象等，它们是相同的。混杂理论是系统理论和计算机科学的结合体。在系统理论中，系统行为通常由微分方程来刻画，而在计算机科学中，系统行为通常由离散的原子动作及其之间的计算逻辑来刻画。在本书中，我们在真并发进程代数中引入离散事件系统和混杂系统，介绍了离散事件过程的公理化、分布式离散事件过程的公理化、混杂进程代数及其在神经网络建模中的应用以及具有位置的混杂进程代数及其在分布式/联邦神经网络建模中的应用等。
上架时间：2023-12-01 00:00:00
出版社：电子工业出版社
上海阅文信息技术有限公司已经获得合法授权，并进行制作发行
最新章节
王勇 姜正涛等
同类热门书
最新上架
同类书籍最近更新
- 会员《OptiStruct结构分析与工程应用》共28章，主要介绍了OptiStruct的线性分析、非线性分析、频率响应分析、动力学分析、复合材料分析、疲劳分析、热传导分析等功能。线性分析有常用的线性静力学分析、模态分析、线性屈曲分析、惯性释放分析等;非线性分析有材料非线性分析、几何非线性分析、接触非线性分析等；疲劳分析有高周、低周、焊接、振动等。全书在简要讲解相关理论的基础上，较全面地阐述了OptiS辅助设计19.1万字
- 会员如何准确把握信息化和新型城镇化的互动关系和作用轨迹已成为现阶段我国经济社会发展的关键问题。由此，基于总结提炼的相关理论，本书运用主成分分析法对我国2007-2013年30个省份的信息化和新型城镇化指数进行测度，并对两者的区域发展现状进行分析。辅助设计8.4万字
- 会员这是一本专门为Netty初学者打造的入门及进阶学习图书，无论你之前有没有使用过Netty，都可以从本书中有所收获。本书分上下两篇。上篇通过一个即时聊天系统的实战案例，让读者能够系统地使用一遍Netty，全面掌握Netty的知识点；下篇通过对源码的层层剖析，让读者能够掌握Netty底层原理，知其然并知其所以然，从而编写出高性能网络应用程序。如果你想全面系统地学习Netty，并掌握一些性能调优方法，本辅助设计8万字
- 会员本书对机电系统计算机控制的基本理论和应用技术进行了比较全面的介绍，内容主要包括：机电系统计算机控制的一般概念、分类和组成，机电系统的建模方法，信号采样与保持，采样控制理论，计算机离散控制系统的性能指标描述，数字PID控制算法，数字控制器的模拟化设计及离散化设计方法，基于现代控制理论的离散状态空间设计方法，基于MATLAB的机电控制系统计算机辅助分析与设计，以及控制系统特性的仿真分析。辅助设计11万字
- 会员本书以项目为和教师讲课的逻辑思路为主线，全面系统地介绍CAXA制造工程师2013的基本使用方法和应用技巧。全书共分18章，内容包括CAXA制造工程师2013基本操作界面、文件管理、点的输入、草图、坐标系、实体造型、曲面造型、零件加工等基本操作方法。每章都安排了相关的课堂实例、课后演练、知识点讲解及相关范例解析，能够使学生在理解工具命令的基础上，达到边学边练的目的。每章的后都精心安排了课后作业，这样辅助设计9.1万字
- 会员AutoCAD2008是目前最为流行的辅助设计制图软件之一。本书按照园林制图的流程，将理论与实践结合起来讲解如何使用AutoCAD2008进行园林制图。全书内容包括认识园林设计与计算机制图的关系，AutoCAD2008园林制图基础和制图准备工作，学习绘制园林围墙、园林建筑、园林山石、园林水体、园路、园路铺装、植物、园灯、地形。进行文字注释和尺寸标注，绘制园林制图符号及定位方格网，绘制园林建筑立面图辅助设计17.5万字