仿真模型与建模方法论资料.pptVIP

三、基于计算机的建模方法学 经典的建模与仿真 面向物理系统 按仿真步骤顺序进行：定义→建模→仿真 计算机的作用主要是使计算更快速、准确 缺乏对复杂系统的研究方法 系统某部分难以用准确的数学模型表述 系统内部有多个研究对象，且关系复杂，需要考虑模型的综合利用 软系统特性 复杂性：内部关系复杂，系统具有多重性，通常存在病态结构和定义 不可分性：空间、时间上难以分割，难以定义系统的边界和分隔物 低可接受性：无合适的测量技术或代价太大，难以进行实验研究 计算机除能进行快速标准的逻辑与算术运算外，还具有存储数据与信息以及与用户交互的能力，应充分发挥作用 研究基于计算机的建模理论的目标：在交互式计算机的扶助下，使系统建模过程进行得更加有效、现实和高速 支持建模与仿真的计算机系统的基本功能 能对已知事实及已有模型作恰当的存储，即能处理各种局部模型 通过人机交互，对局部模型进行继承和综合利用，形成完整的全局模型 全局性建模的基本思路 模型的描述 静态结构：给出描绘系统现象的方式 动态结构：提供各种现象间变化的情况 重视建模信息源 存储先验信息，根据建模目标，定义实验框架 组合和完整化模型的先验知识 对所有涉及的对象都建立相应的库 模型对象及其信息存储 变量及变量库 变量是描述系统的静态结构的基础，用来表示系统中有用的属性，具有名字、范围集、含义与单位 一组变量可归并成一个单独的组合，用于分清变量定义之间的内在依赖性，与基本算子联合在一起还可构造复杂的变量 变量含义之间的内在联系称为语义结构。语义结构可建立起变量间的等效性，并以此导出定义真实系统的整个变量集的结构 变量库的基本形式是作为系统中所有变量的字典 模型是通过选择变量的一个子集形成静态结构，加上控制这些变量变化的规则及其动态结构而构成 实体及实体库 实体是按特定意义组合在一起的变量集的标记，其作用是获取子系统和系统的边界 一个模型总是某个特定实体的一种表示，只能包含从属于该实体的变量。模型静态结构是实体结构的抽取 实体库是变量库结构过渡到模型结构的第二级结构，其组织原则是实体结构 实体结构是组成各种特殊的、综合的模型和实验框架的骨架 实验框架和实验框架库 实验框架规定了实际系统或用它的模型做实验和进行观察的有限的环境 实验框架E包括：输入变量集、输出变量集；可选：输入段集，运行控制变量集，运行控制段集，统计或信号处理过程集 为达到建模目标，要求实验框架对模型有可适用性 直接可适用性：框架中的变量以模型中相同的名字出现 间接可适用性：框架的变量与模型的静态结构变量有关或可从中推导出 模型库 包括实际系统已经建立起来的各方面模型 可按操作式结构(Operations Structure) 组织 模型的组合与分解操作 模型的粗化（简化）与精化（详细化）操作 各种模型在具有通用性的实验框架下进行比较 模型库是一个可扩充的模型集，应能保存以前开发的模型，且便于自由地应用适当的公式来规范模型 能帮助模型引用实体结构和实验框架中的内容 参数库 参数表示现实世界中物体的系统或其子系统的性质，但不一定直接与系统有关 参数是模型规范中的常数，要从一类模型中选出一个特殊的模型，必须确定参数 参数的对应是一种关系，允许将一类模型参数估计中的经验知识传递到另一类模型 参数库的作用：存储实际系统的实验信息（参数估计）；通过将模型检验中得到的估计扩展到有关的其他模型，增加信息的利用率 随着时间的变化参数库存储并完整化了从实际系统中得到的实验信息 库的活动及相互间关系 库的活动 库名称 活动 变量 定义 与实体连接 粗化、提炼、建立语义关系 实体 从模型中提取、组合、分解 参数 协调、建立对应关系、辨识、推广 实验框架 与实体连接、粗化、精炼 检验模型的适用性 模型 与实体连接、粗化、精炼 检验框架的有效性 不同信息库之间关系 在应用建模支持系统时应注意完整性、有效性、一致性 四、解释结构建模 基本概念 复杂系统直接建立准确模型困难，常先定义反映系统内部主要特征的结构关系 结构模型：表示实体及其相互间关系，其建模目标应明确针对何种关系 实体集合S={s1…sn}，si为实体，R={x,y| w(x,y)}表示某种关系w下各实体间关系的集合，集合S和定义在S上的关系R就表示了系统在关系w下的结构模型 可用有向连接图或矩阵表示 （1，0）表示Si，Sj有无关系 邻接矩阵 结构模型特性 是一种几何模型，可用有向连接图表示 以定性分析为主，用来分析实体间关系 可用矩阵形式描述，使定性分析和定量分析相结合 其描述形式处于数学模型形式和逻辑分析形式之间，可处理宏观/微观、定性/定量的问题 可达矩阵A r（各节点之间经过一定长度的通路后可到达的