matlab 状态方程离散化,一种将离散化状态方程映射为并行多处理器计算机的方法...

一种将离散化状态方程映射为并行多处理器计算机的方法

V1.1

摘要：针对大量存在的控制系统(通常包含多个微控制器)以及相应的仿真系统，本文提出了一种通用的理想化的基于共享内存的并行多处理器计算机的模型。为保证计算的确定性和可重复性，本文提出的这种并行多处理器计算机具备理论上的确定性的特点。本文在常规的数值离散化状态方程的基础上，考虑了目前计算机控制系统中大量存在的逻辑的和非数值的计算的情况，对离散化状态方程进行了进一步的抽象，提出了一种新的状态方程构型。并提出了一种将这种状态方程转换到理想计算机模型的方法。

关键词：共享内存并行计算确定性离散化状态方程

引言

现代化的控制系统中大量地采用了计算机/微处理器和通信设备，为实现复杂的控制功能和达到极高的控制性能，由计算机硬件和软件所构成的系统往往规模庞大、结构日趋复杂。在这样一种控制系统的设计过程中，大家经常会被各种不确定性所困扰，其中一种不确定性来源于计算机系统结构的本身。由于目前常见计算机的基本结构是串行化指令执行的，通过提高主频来加快指令执行的速度，其软件代码一般是按照尽可能快的方式来设计的，而对于准确的时间以及先后次序往往不是显式指定的。这种不确定性使得系统的行为难以被准确预期，使得系统的分析和测试的结果的说服力降低。

同时传统控制论着眼点主要在数量关系上面，而对于在实际计算机控制系统中大量存在的逻辑推理、字符串运算等缺少一个严谨的模型来加以描述，对其向计算模型的转变也缺少坚实的理论基础。而这与早期的数字电路的严格映射形成了鲜明的对比。因此非常有必要将控制理论从单纯的数值形式扩展到更一般的函数映射形式。同时这种函数映射又能够很方便地转换为计算。

换句话说，在构建一种更一般化的控制论模型基础上，提供一种将这种控制模型转换为一种计算模型的方式，而这种