12模型 模型一一实际系统本质的抽象与简化 (1)真实的系统尚未建立 (2)可能会引起系统破坏或发生故障 (3)难以保证每次试验的条件相同 (4)试验时间太长或费用昂贵 模型分为两大类 物理模型,采用一定比例尺按照真实系统的“样子”制 作沙盘模型 数学模型,用数学表达式形式来描述系统的内在规律
1.2 模型 模型――实际系统本质的抽象与简化 （1）真实的系统尚未建立 （2）可能会引起系统破坏或发生故障 （3）难以保证每次试验的条件相同 （4）试验时间太长或费用昂贵 模型分为两大类 ――物理模型，采用一定比例尺按照真实系统的“样子”制 作沙盘模型 ――数学模型，用数学表达式形式来描述系统的内在规律
定义如下集合结构: S=(T,X,2,Qy,8,) T:时间基,描述系统变化的时间坐标 T为整数则称为离散时间系统,T为实数则称为连续时间系 统 X:输入集,代表外部环境对系统的作用 X被定义为R”,其中n∈,X即代表n个实值的输入变量。 g:输入段集,描述某个时间间隔内输入模式,是(xT)的 子集。 ρ:内部状态集,是系统内部结构建模的核心。 δ:状态转移函数,定义系统内部状态是如何变化的。 它是映射:δ Q×g2→>Q
定义如下集合结构： T：时间基，描述系统变化的时间坐标 T为整数则称为离散时间系统， T为实数则称为连续时间系 统 X：输入集，代表外部环境对系统的作用。 X被定义为 ,其中 ，X即代表n个实值的输入变量。 Ω：输入段集，描述某个时间间隔内输入模式，是(X,T)的 子集。 Q：内部状态集，是系统内部结构建模的核心。 δ：状态转移函数，定义系统内部状态是如何变化的。 它是映射： S = (T, X,,Q,Y, ,) n R + n I :Q →Q
口其含义:若系统在to时刻处于状态q,并施加 个输入段ω:<t,1>→X,则表示系统δ(q,O) 处于t1状态。 口λ:输出函数,它是映射::Q×X×T→>Y 输出函数给出了一个输出段集。 Y:输出段集,系统通过它作用于环境
其含义：若系统在 时刻处于状态q，并施加一 个输入段 ，则表示系统 处于 状态。 λ：输出函数，它是映射： 输出函数给出了一个输出段集。 Y：输出段集，系统通过它作用于环境。 0 t : t 0 ,t 1 → X (q,) 1 t :Q X T →Y
系统模型水平 行为水平一一亦称为输入/输出水平 将系统视为一个“黑盒”,在输入信号的作用下, 只对系统的输出进行测量; 分解结构水平 将系统看成若干个黑盒连接起来,定义每个黑盒的 输入与输出,以及它们相互之间的连接关系; 状态结构水平 不仅定义了系统的输入与输出,而且还定义了系统 内部的状态集及状态转移函数
系统模型水平 行为水平――亦称为输入/输出水平 将系统视为一个“黑盒”，在输入信号的作用下， 只对系统的输出进行测量； 分解结构水平 将系统看成若干个黑盒连接起来，定义每个黑盒的 输入与输出，以及它们相互之间的连接关系； 状态结构水平 不仅定义了系统的输入与输出，而且还定义了系统 内部的状态集及状态转移函数
Oren分类 模型描述变量的 模型 变量范围 模型的 轨迹 形式「连续离散时间集合 空间连续变化模偏微分方程 连续时间 型 模型 空间不连续变化常微分方程 模型 差分方程 离散时间 离散(变化)有限状态机 模型 模型 马尔可夫链 活动扫描 连续时间 事件调度 模型 进程交互
Orën分类： 模型描述变量的 轨 迹 模 型 形 式 变量范围 模型的 连续 离散 时间集合 空间连续变化模 型 偏微分方程 连续时间 模型 空间不连续变化 模型 常微分方程 差分方程 离散时间 离散（变化） 模型 模型 有限状态机 马尔可夫链 活动扫描 连续时间 事件调度 模型 进程交互