仿真模型与建模方法论解读.pptVIP

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