第十章 建模方法（2011－9－9）.pptVIP

第十章 仿真模型与建模方法 本章主要内容 模型与建模 建模的基本原理 建模的途径 模型的分类 模型的检验与确认 一、模型与建模 、模型与建模 建模：通过观测和检测，在忽略次要因素及不可检测变量的基础上，用数学的方法对实际系统进行描述，从而获得简化、近似模型的过程 在系统研究中，模型用来收集系统有关信息和描述系统有关实体 模型是用以产生行为数据的一组指令。 由实际系统构造模型 建立模型结构（确定系统的边界，鉴别系统的实体属性和活动） 提供数据（使活动中的属性间建立确定的关系） 系统模型应有的性质 相似性——模型与系统在属性上具有相似的特性和变化规律 简单性——在实用的前提下，越简单越好 多面性——同一系统可能有不同层次的多种模型 模型的有效性 可用实际系统数据和模型产生的数据之间的符合程度来度量，分四个级别 复制有效：输入输出数据匹配，不能预测，把实际系统看作黑箱 预测有效：了解实际系统的内部状态及总体结构，可预测系统的将来的状态和行为变化，但不明了内部的分解结构 结构有效：了解内部的分解结构，可反映系统产生某种行为的操作过程 功能有效：模型的功能应该与实际系统的功能是近似一样的，或者主要功能是一样的。 模型的作用 提高认识 实际系统不可观部分→可观部分 提高决策能力 实际系统不可控部分→可控部分 提高从已知到未知的预测。 二、建模基本原理 建模过程的信息源 建模活动：获取有关信息源、建立数学模型、模型应用 三类信息源 建模目标：由系统的研究内容决定，如 研究系统与外界的相互作用关系：以输入输出为主的系统外部行为模型 研究系统的内在活动规律：描述系统输入/输出集合，状态集合之间关系的内部结构状态模型 先验知识 前人的研究成果：公理、原理、定理及模型等，相关学科知识 实验数据 先验知识常常是普遍性规律，实际系统有其特殊性，有时只知道模型结构，其参数必须通过实验确定，有时甚至结构也是未知的 三者都可以用于模型检验，建模过程一般反复进行，直至达到建模目的 三、建模途径（主要由信息源决定 ） 工程应用中多为混合建模方法 模型可信性 模型的真实程度，取决于模型种类及构造过程，与模型的有效性相对应 在行为水平上的可信性：模型能否重现真实系统的行为 在状态结构水平上的可信性：模型能否与真实系统在状态上相互对应，应能对未来的行为进行唯一的预测 在分解结构水平上的可信性：模型能否表示出真实系统的内部的工作情况，而且应是唯一的表示 功能的可信性：模型能否表示出与实际系统的相关功能。 可信性的检验应贯穿在整个建模阶段，并且与建模方法相互结合 演绎中的可信性：前提的正确性，前提的其他结果的检验 归纳中的可信性：偏差估计，统计方法 目的方面的可信性：是否满足目标 四、模型的分类 模型的分类 数学模型 一组数学方程或数学表达式→数据 物理模型 相似材料→结构、功能的简化 数值模型 参数、本构、计算方法、分析原理 常用数学模型分类 根据模型的时间集合：连续时间模型、离散时间模型 根据模型的状态变量：连续变化模型、离散变化模型 ①真正的连续系统，对应模型一般为常微分和偏微分方程 ②常称为采样系统，对应模型为离散时间的偏微分方程和系统动力学模型 ③离散事件模型，用流程图、表等非数学模型形式表示 ④差分方程模型，有限状态自动机，马尔可夫链模型 数学模型一览表 五、模型的确认 经过抽象并作了一些假定的仿真模型能否替代现实系统？ 仿真模型的确认 验证：检验模型是否正确地实现，即验证计算机仿真程序的正确性 确认：确定仿真模型是否是所研究的现实系统的准确描述 认定：认可模型与仿真过程、结果（学术界有争议） 1、模型的验证 仿真模型的验证是仿真模型与仿真程序在逻辑结构和数据参数之间的比较过程 可通过以下途径排除仿真程序中的问题 用子程序编写和调试仿真程序 在仿真程序的运行中检查输出的合理性（与实际情况比较） 仿真程序运行时的跟踪检查（主要状态量的观察）——信息量过大，不适用于大系统整个跟踪，而是跟踪特定程序段及采用其它软件质量保证方法 2、仿真模型确认“三步法” 模型确认时应注意 保证被研究的仿真模型是可供使用的、方便的、费用较低的 不应追求模型的绝对准确，而是研究模型逼近实际系统的程度，最重要的是，要使决策人员在利用仿真系统和实际系统实验时，能够作出完全相同的决策或选择。 应与特定的建模目标联系，即一个模型对某一目标可以被确认，而对另一目标则可能是无效的。 确认工作应贯穿在整个仿真过程中。模拟模型的确认并不是在模型建立以后所作的点缀，建模和确认在整个模拟研究过程中必须自始至终协同地进行 尚未有比较完整的理论和方法 Naylor和Finger提出的“三步法” 模型的专家评估确认