《系统建模方法》由会员分享,可在线阅读,更多相关《系统建模方法(27页珍藏版)》请在金锄头文库上搜索。
1、系统建模方法2.1系统抽象与数学描述2.1.1 实际系统的抽象本质上讲,系统数学模型是从系统概念出发的关于现实世界的一小部分或几个方面的抽象的“映像”。为此,系统数学模型的建立需要建立如下抽象:输入、输出、状态变量及其间的函数关系。这种抽象过程称为模型构造。抽象中,必须联系真实系统与建模目标,其中描述变量起着很重要的作用,它可观测,或不可观测。从外部对系统施加影响或干扰的可观测变量称为输入变量。系统对输入变量的响应结果称为输出变量。输入、输出变量对的集合,表征着真实系统的“输入-输出”性状(关系)。综上述,真实系统可视为产生一定性状数据的信息源,而模型则是产生与真实系统相同性状数据的一些规则、
2、指令的集合,抽象在其中则起着媒介作用。系统数学建模就是将真实系统抽象成相应的数学表达式(一些规则、指令的集合)。观测屏障(可观测)输出变量真实系统(可观测)输入变量真实系统黑箱灰箱白箱数学描述抽象(t)(t)(t)、(t)-输入输出变量对真实系统建模的抽象过程2.1.2 系统模型的一般描述及描述级(水平)2.1.2.1 系统模型的一般描述:一个系统的数学模型可以用如下七元组集合来描述:2.1.2.2 系统模型描述级(水平):按照系统论的观点,实际系统可在某种级(水平)上被分解,因此系统的数学模型可以有不同的描述级(水平): 性状描述级性状描述级或称为行为描述级(行为水平)。在此级上描述系统是将
3、系统堪称黑箱,并施加输入信号,同时测得输出响应,结果是得出一个输入-输出对:(,) 及其关系Rs=(,):,。因此,系统的性状级描述只给出输入-输出观测结果。其模型为五元组集合结构:S=(T,X,Y, R)当,满足 =f()函数关系时,其集合结构变为:S=(T,X,Y, F)黑箱 状态描述级在状态结构级(状态结构水平)上,系统模型不仅能反映输入-输出关系,而且应能反映出系统内部状态,以及状态与输入、输出间的关系。即不仅定义了系统的输入与输出,而且定义了系统内部的状态集及状态转移函数系统的数学模型对于动态结构可用七元组集合来描述:S=(T,X,Q,Y,)对于静态结构有:S=(X,Q,Y,)白箱
4、复合结构级系统一般由若干个分系统组成,对每个分系统都给出行为级描述,被视为系统的一个“部件”。这些部件有其本身的输入、输出变量,以及部件间的连接关系和接口。于是,可以建立起系统在复合结构级(分解结构级)上的数学模型。这种复合结构级描述是复杂系统和大系统建模的基础。应该强调: 系统分解为复合结构是无止境的,即每个分系统还会有自己的复合结构; 一个有意义的复合结构描述只能给出唯一的状态结构描述,而一个有意义的状态结构描述本身只有唯一的性状(行为)描述; 系统上述概念必须允许分解停止,又允许进一步分解,既包含递归可分解性。灰箱2.2 相似概念简介2.2.1 相似概念及含义仿真的理论依据:相似论。自然
5、界中广泛存在着“相似”概念,最普遍的是:几何相似:最简单、最直观,如多变形、三角形相似;现象相似:几何相似的拓展,如物理量之间存在的比例关系。采用相似技术来建立实际系统的相似模型,这是相似理论在系统仿真中基础作用的根本体现。2.2.2 相似分类绝对相似:两个系统(如系统原型与模型)全部几何尺寸和其他相应参数在时空域上产生的全部变化(或全部过程)都是相似的;完全相似:两个系统在某一相应方面的过程上相似,如发电机的电流电压问题,模型与原型在电磁现象方面是完全相似即可,而无需考虑热工和机械方面的相似;不完全相似(局部相似):仅保证研究部分的系统相似,而非研究和不要求部分的过程可能被歪曲,为研究目的所
6、允许;近似相似:某些简化假设下的现象相似,数学建模要保证有效性。不同领域中的相似有各自的特点,对领域的认识水平也不一样:环境相似(几何相似、参量比例相似等):结构尺寸按比例缩小得到的模型-缩比模型,如风洞、水洞实验所用的模型。离散相似:差分法、离散相似法把连续时间系统离散化为等价的离散时间系统。性能相似(等效、动力学相似、控制响应相似等):数学描述相同或者频率特性相同,用于构造各类仿真的相似原则。感觉相似(运动感觉、视觉、音响感觉等):耳、眼、鼻、舌、身等感官和经验,MIL仿真把感觉相似转化为感觉信息源相似,培训仿真器、VR均是利用这种相似原则。思维相似:逻辑思维相似和形象思维相似(比较、综合
7、、归纳等),专家系统、人工神经元网络。系统具有内部结构和外部行为,因此系统的相似有两个基本水平:结构水平和行为水平。同构必具有行为等价的特性,但行为等价的两个系统并不一定具有同构关系。因此,系统相似无论具有什么水平,基本特征都归结为行为等价。2.3系统建模原则、一般途径和模型型谱2.3.1建模的基本原则清晰性:系统模型是由许多分系统、子系统模型构成的,在模型与模型间,除了研究目的需要的信息外,相互耦合要尽量少,使结构尽可能清晰;切题性:模型只应包括与研究目的有关的那些信息,而不是一切方面;精确性:在建模时,应考虑所收集到的用以建立模型的信息的精确程度,要根据所研究问题的性质和所要解决的问题来确
8、定对精确程度的要求;对于不同的工程,精度要求是不一样的,即使对于同一工程,由于研究的问题不同,精度要求也是不一样的;集合性:指把一些个别的实体能组成更大实体的程度,对于一个系统实体的分割,在可能时应尽量合并为大的实体。2.3.2 建模的一般途径对于内部结构和特性清楚的系统,即所谓的白箱(多数的工程系统都是),可以利用已知的一些基本规律,经过分析和演绎导出系统模型 ;对那些内部结构和特性不清楚或不很清楚的系统,即所谓的灰箱和黑箱,如果允许直接进行实验性观测,则可假设模型并通过实验验证和修正;对于那些属于黑箱但又不允许直接实验观测的系统(非工程系统多属于这一类),则采用数据收集和统计归纳的方法来假
9、设模型。2.3.3 模型型谱对于不同领域,可以给出一个数学模型型谱:白箱经济学、生理学、空气污染 过程控制、动力学黑箱社会学、生态学、水文学 空间、航空、电子电路图2-1 不同领域的数学模型型谱2.4 系统模型的有效性与数学建模过程框架2.4.1 基本模型与模型集总基本模型(基础模型 Base model):提供了对实际系统行为的完全解释,包含有实际系统应有尽有的分量和相互关系,在各种试验模式下该模型对于真实系统的“全部”输入-输出性状都是有效的。由于模型包含过多的分量及相互关系,一般是十分复杂而庞大。通常是难以得到的,更何况并不实用。一般是根据具体建模目标、在一定试验规模下构造出一个比较简单
10、而满足精度要求的模型:排除基本模型中那些与建模目标甚远或涉及不到的分量,并对相关描述分量的相互关系加以简化。模型集总:排除基本模型次要分量并简化其现存分量相互关系的过程。集总模型(Lumped model):集总后的模型。模型研究中使用的模型一般为集总模型。2.4.2 模型的有效性数学建模中最重要、最困难的问题之一模型有效性的问题十分复杂,只介绍一般概念。所谓模型的有效性:就是在对模型所作的预测精度为基准下,反映实际系统数据与模型数据之间的一致性。理论上讲,即实际系统与模型的输入-输出一致。可用下式象征性地描述:实际系统数据?=?模型产生数据模型的有效性水平可以根据获取的困难程度有强度轻重之分
11、,一般分为三级:复制有效:模型产生的数据与实际系统所取得的数据相匹配,属于模型有效性的最松水平;预测有效:从实际系统取得数据之前就能够至少看出匹配数据,属于有效性稍强水平;结构有效:不仅能够复制实际系统行为,而且能够真实反映实际系统产生此行为的操作,属于更强的有效性水平,可看出实际系统的内部工作情况。2.4.3 系统数学建模过程框架考虑模型的有效性水平,要在建模和模型使用时重点考虑一下几个方面:先验的知识可信性:建模前提的正确性,数学描述的有效性取决于先验知识的可信性;实验数据的可信性:所选择的数据段是否能反映系统行为特征,模型数据与实际系统数据的偏离程度;模型应用的可信性:从实际出发,考虑模
12、型运行能否达到预期目标。因此,在建模方法与步骤上要有所考虑:模型框架定义先验知识演绎分析结构特性确定模型有效性分析参数估计后验模型目的目标协调试验设计数据数学建模过程框架2.5 常用数学建模方法2.5.1 常见数学建模方法及分类基本上分两大类:u 机理分析建模方法(白箱):依据基本的物理、化学等定律,进行机理分析,确定模型结构、参数;使用该方法的前提是对系统的运行机理完全清楚。u 实验统计建模方法:基于实验数据的建模方法(白箱、灰箱、黑箱) 辨识建模:线性、非线性,动态、静态 统计回归:一般是静态的线性模型 神经网络:理论上可以对任何数据建模,但学习算法是关键 模糊方法:实验统计建模方法使用的
13、前提是必须有足够正确的数据,所建的模型也只能保证在这个范围内有效; 足够的数据不仅仅指数据量多,而且数据的内容要丰富(频带要宽),能够充分激励要建模系统的特性;(白噪声、最优输入信号设计、数据的质量) 要清楚每种方法的局限性,掌握适用范围; 在实际应用中往往组合采用、互补。2.5.2 机理分析建模方法2.5.2.1 机理分析法建模原理又称为直接分析法或解析法,应用最广泛的一种建模方法。一般是在若干简化假设条件下,以各学科专业知识为基础,通过分析系统变量之间的关系和规律,而获得解析型数学模型。其实质是应用自然科学和社会科学中被证明是正确的理论、原理和定律或推论,对被研究系统的有关要素(变量)进行
14、理论分析、演绎归纳,从而构造出该系统的数学模型。2.5.2.2 机理分析法建模步骤建模步骤如下:1) 分析系统功能、原理,对系统作出与建模目标相关的描述;2) 找出系统的输入变量和输出变量;3) 按照系统(部件、元件)遵循的物化(或生态、经济)规律列写出各部分的微分方程或传递函数等;4) 消除中间变量,得到初步数学模型;5) 进行模型标准化;6) 进行验模(必要时需要修改模型)。2.5.3 表格插值建模方法2.5.3.1 表格插值建模原理由于这种方法不允许直接实现动态方程,称之为静态建模技术。但表格插值功能常用于建立系统动态方程。一般用于如下形式:可以是仿真中的任意变量,如时间、状态变量或常数等,输入个数可以使任意的,但实际应用中一般小于5,输入量的增加,求解计算时间会增加。一个有N个输入的插值函数可以用N维查找表来计算,每一个变量的跨度为一个一维查找表。插值点的跨度可以是等间距的,也可以是任意的间隔。x1,y,x20.000.200.400.801.000.001.201.401.802.102.600.101.301.451.902.222.650.201.501.602.152.302.690.301.701.802.012.342.730.401.982.232.282.462.86插值计算有多种方法,不同