第2章数学模型与系统建模.ppt

系统建模与仿真 系统建模与仿真技术第2章 数学模型与系统建模 机械与汽车工程学院 陈无畏 2.1 概述 科学的数学化是当代科学发展的一个主要趋势。 数学模型（mathematical model）是数学理论与实际问题相结合的一门科学。 为解决各种复杂的实际问题，建立数学模型是一种十分有效并广泛使用的工具或手段。 2.1.1 数学模型的定义 “数学模型是关于部分现实世界和为一种特殊目的而作的一个抽象的、简化的结构。” 具体来说，数学模型就是为了某种目的，用字母、数字及其它数学符号建立起来的等式或不等式以及图表、图像、框图等描述客观事物的特征及其内在联系的数学结构表达式。 2.1.2 系统类型 1.连续或离散系统 2.1.2 系统类型 2.线性或非线性系统 非线性系统用非线性微分方程表示 2.1.2 系统类型 3.集中参数或分布参数系统 可以用有限个变量描述的系统，称为集中参数系统或集总参数系统。 状态变化不能只用有限个参数而必须用场（一维或多维空间变量的函数）来描述的系统，称为分布参数系统。 2.1.2 系统类型 4.确定或随机系统 确定系统指用确定性的数学模型来描述，输出和输入变量之间有完全确定的函数关系。 随机系统则由于系统内部或环境发生不确定的变动，影响输出变量。 2.1.2 系统类型 5.单变量或多变量系统 单变量系统，是指只有一个输入量和一个输出量的系统。 例：压力或流量调节系统 天线的随动系统 坦克的火炮稳定装置 具有多个输入量或输出量的系统，称多变量系统 2.1.3 建模要求 1.真实完整 2.简明实用 3.适应变化 2.2 数学模型 2.2.1 数学模型的作用 首先帮助人们加深对客现世界的认识 其次提高人们的决策和对客现世界的干预能力 2.2.2 集合、抽象与数学模型 集合的概念是建立在抽象基础上的，集合的运算允许我们不必详细说明细节而去处理抽象后的关系。 有限集合：如 无限集合 ：如整数集合， 2.2.3 数学模型的形式化表示方式 一个系统可以被定义成下面的七元集合结构 T为时间基；X为输入集；为输入段集；Q为内部状态集；Y为输出集；δ为状态转移函数；λ为输出函数。 (1)时间基：T是描述时间和为事件排序的一个集合。 (2)输入集：X代表系统界面的一部分，外部环境通过它作用于系统。 (3)输入段集：一个输入段描述某时间间隔内系统的输入模式 。 是时间基中从初始时刻到终止时刻的一个区间，所有上述输入片段所构成的集合都记作（X,T），输入段集是(X,T)的一个子集。 (4)内部状态集：表示系统的记忆，即过去历史的遗留物，它影响着现在和将来的响应。是内部结构建模的核心。 例 X为状态集，是系统建模的核心。 (5)状态转移矩阵：状态转移矩阵函数是一个映射 (6)输出集：除方向不同外，输出集的含义和输入集的完全相同。 (7)输出函数：输入函数使假想的系统内部状态与系统对其环境的影响相关联。 2.2.4 模型的有效性与建模形式化 (1)行为水平 人们在这个水平上描述系统，是将它看成一个黑盒，并且对它施加一个输入信号，然后对它的输出信号进行测量与记录。 (2)状态结构水平 人们在这个水平上描述系统，建模者对实际系统的内部工作情况了解清楚，且掌握了实际系统的内部状态及其总体结构。 (3)分解结构水平 把实际系统描述为由许多子系统相互连接起来而构成的一个整体。 2.3 数学建模的基本方法 2.3.1 建模过程的信息源 (1)目标和目的 (2)先验知识 牛顿说过：“假如我看得远，那是因为我站在巨人的肩上”。 (3)实验数据 2.3.2 建模途径 (1)演绎法：从一般到特殊 (2)归纳法：从特殊到一般 (3)目标法：直接指向建模的特定目标 单纯采用上述方法很难获得有效的结果，所以通常是综合采用之。 2.3.3 模型可信度 可信度一方面取决于模型的种类，另一方面又取决于模型的构造过程。 1) 在行为水平上的可信度 2) 在状态结构水平上的可信度 3) 在分解结构水平上的可信度 2.3.4 建模过程 2.3.5 建模的逻辑思维方法 (1)分析综合能力； (2)抽象概括能力； (3)想象洞察能力； (4)运用数学工具的能力； (5)通过实践验证数学模型的能力。 2.3.5 建模的逻辑思维方法 建立数学模型是一种积极的思维活动，从认识论角度看，它是一种极为复杂且应变能力很强的心理现象。 几种逻辑思维方法 抽象:从众多的事物中抽取出共同的、本质性的特征，而舍弃其非本质的特征。 归纳：从特殊的具体的认识