包邮矩阵半张量积讲义 卷五:工程及其他系统的应用

前言 数学符号 第1章 连续时间控制系统的矩阵半张量积方法 1.1 多元多项式的矩阵半张量积表示 1.2 微分形式及其应用 1.3 多元映射的微分表示 1.3.1 多元多项式的基本微分公式 1.3.2 多维映射的泰勒展开 1.3.3 李导数 1.4 连络及其计算 1.5 Morgan问题 1.5.1 输入输出解耦 1.5.2 Morgan问题的等价形式 1.5.3 可解性的代数表达 第2章 电力系统的稳定性分析 2.1 电力系统的模型与镇定 2.2 电力系统的哈密顿实现 2.3 中心流形与非线性系统镇定 2.3.1 中心流形理论 2.3.2 非线性系统镇定与导数齐次Lyapunov函数 2.3.3 齐次多项式的负定性 2.3.4 零中心系统的镇定 2.4 电力系统的稳定域 2.4.1 稳定域的描述 2.4.2 稳定子流形方程 2.4.3 稳定子流形的二次近似 2.4.4 稳定子流形的高阶近似 第3章 谓词逻辑与形式语言 3.1 一阶逻辑基础 3.2 一阶逻辑的矩阵半张量积表示 3.3 谓词逻辑的标准型 3.4 逻辑推理 3.4.1 命题的谓词逻辑表示 3.4.2 等价与蕴涵 3.4.3 逻辑的演绎 3.5 有限论域下的谓词逻辑 3.6 语言与逻辑 3.7 形式语言的语法 3.8 形式语言的语义 3.9 有限论域下的语言和逻辑 第4章 离散时间系统的形式化方法 4.1 迁移系统 4.2 时序逻辑 4.3 有限状态自动机 4.4 离散时间动态系统的迁移实现 4.5 迁移系统的仿真与商系统 4.6 不确定迁移系统的拓扑结构 4.7 大网络的聚类仿真 4.7.1 块聚类仿真与聚类双仿真 4.7.2 聚类仿真的概率模块近似 4.7.3 一个生物系统的聚类仿真 第5章 奇异布尔网络的分析 5.1 奇异布尔网络的描述 5.1.1 带静态方程约束的动态逻辑网络 5.1.2动态-代数布尔网络(5.1.1)的两种代数形式 5.2 奇异布尔网络的正规化 5.2.1 问题描述 5.2.2 正规化问题的解 5.2.3 奇异布尔网络Ex1(t+1)=Fx(t)的正规化 5.3 奇异布尔网络的可解性 5.4 奇异布尔网络的拓扑结构 5.5 奇异布尔网络的一般形式 5.5.1 一般形式奇异布尔网络的可解性 5.5.2 一般形式奇异布尔网络的拓扑结构 第6章 奇异布尔网络的控制与优化 6.1 奇异布尔网络的能控性 6.2 奇异布尔控制网络的能观性 6.3 奇异布尔控制网络的*优控制 6.4 奇异布尔控制网络的干扰解耦 6.5 奇异布尔控制网络的输出跟踪 6.5.1 问题描述 6.5.2 奇异布尔控制网络的控制不变子集 6.5.3 奇异布尔控制网络的输出跟踪 第7章 模糊关系方程的求解 7.1 模糊关系方程 7.2 逻辑关系的矩阵表示 7.3 模糊关系方程解集合的结构 7.4 模糊关系方程的求解 7.5 数值算例 第8章 多输入多输出模糊控制系统 8.1 模糊集合的向量表示 8.2 多重模糊关系 8.2.1 多重模糊关系的矩阵表示 8.2.2 多重模糊推理 8.2.3 多重模糊关系的复合 8.3 耦合模糊控制 8.3.1 模糊化 8.3.2 耦合模糊控制的设计 8.3.3 解模糊 8.4 算例分析 第9章 基于NFSR的流密码 9.1 流密码 9.2 布尔函数 9.3 布尔(控制)网络 9.3.1 布尔(控制)网络的线性系统表示 9.3.2 布尔控制网络的可达集 9.3.3 布尔网络的瞬态周期 9.4 非线性反馈移位寄存器的基本概念 9.5 FibonacciNFSR的线性化 9.5.1 新状态转移矩阵的具体形式 9.5.2 状态转移矩阵的性质 第10章 NFSR的稳定性 10.1 FibonacciNFSR的稳定性 10.1.1 稳定性的基本概念和性质 10.1.2 反馈函数和状态图的性质 10.1.3 状态转移矩阵的性质 10.2 带输入GaloisNFSR的驱动稳定性 10.2.1 带输入GaloisNFSR的描述 10.2.2 带输入GaloisNFSR的驱动稳定 第11章 Grain结构NFSR的*小周期 11.1 Grain结构的NFSR 11.1.1 带输入NFSR的状态转移矩阵 11.1.2 状态转移矩阵的性质 11.2 Grain结构NFSR的*小周期 11.2.1 Hu-Gong公开问题的转化 11.2.2 初始输入对*小周期的影响 11.3 例子 第12章 NFSR的等价性 12.1 FibonacciNFSR与GaloisNFSR的等价性 12.2 两个FibonacciNFSR串联的等价性 12.2.1 两个FibonacciNFSR的串联 12.2.2 串联等价性分析 第13章 随机逻辑系统的*优控制及其在内燃机残留气体控制中的应用 13.1 随机逻辑系统折扣准则*优控制问题 13.2 策略迭代算法 13.2.1 *优控制问题的矩阵表示 13.2.2 迭代算法设计 13.3 发动机残留气体控制 第14章 连续域*优控制的逻辑网络逼近及其在混合动力汽车控制 中的应用 14.1 连续域上的*优控制问题 14.2 基于逻辑网络的*优解的逼近 14.2.1 *优解对初始状态值的连续依赖性 14.2.2 量化过程 14.2.3 逼近*优控制的求解 14.2.4 优化控制设计实例 14.3 混合动力系统能量管理问题 14.3.1 能量管理问题的描述 14.3.2 能量管理问题的求解 第15章 有界及周期元胞自动机的建模及拓扑动力学分析 15.1 基础知识 15.1.1 元胞自动机的定义 15.1.2 可逆性 15.1.3 (无穷维)矩阵的(广义)Drazin逆 15.2 空间周期p的周期元胞自动机的(广义)可逆性 15.2.1 建模 15.2.2 空间周期p的周期元胞自动机标准型 15.2.3 可逆性 15.2.4 广义可逆性 15.3 周期元胞自动机的广义可逆性 进阶导读 后记 参考文献 索引