background image

 

2

接 的 联 系 , 是 一 种 自 顶 向 下 , 功 能 分 解 的 方 法 。  

面 向 对 象 方 法 的 提 出 正 是 为 了 解 决 认 识 一 个 系 统 的 过 程 和 方 法 与 分 析 、 设  

计 一 个 系 统 的 过 程 和 方 法 不 一 致 这 一 问 题 。所 谓 对 象 ,是 指 问 题 领 域 中 ,现 实 世  
界 和 具 体 的 或 抽 象 的 事 务 , 在 面 向 对 象 的 方 法 中 , 首 先 将 问 题 分 解 为 多 个 对 象 ,
然 后 对 对 象 进 行 数 据 抽 象 以 及 在 该 数 据 集 合 上 的 操 作 集 合 , 得 到 抽 象 数 据 类 型
( Abstract Data Type)

4

。 对 象 一 般 至 少 具 有 一 下 的 特 征

4

】 【

5

:  

( 1)  模 块 性 。一 个 对 象 事 一 个 可 以 独 立 存 在 的 实 体 ,通 过 功 能 接 口 与 外 界 进 行

信 息 交 换 。  

( 2)  继 承 和 类 比 性 。同 属 某 一 分 类 的 对 象 中 下 一 层 次 的 对 象 应 具 有 上 一 层 次 的

对 象 的 某 些 属 性 。  

( 3)  动 态 连 接 性 。对 象 和 对 象 之 间 应 具 有 一 种 统 一 、方 便 、动 态 的 连 接 和 传 递

消 息 的 能 力 和 机 制 。  

( 4)  易 维 护 性 。对 象 功 能 的 实 现 细 节 都 会 被 隐 藏 在 该 对 象 的 内 部 ,因 此 ,对 象

功 能 的 完 善 或 者 修 正 都 不 会 传 递 到 对 象 外 部 ,这 就 增 强 了 整 个 系 统 的 易 维
护 性 。  

2. 2  面 向 对 象 分 析 方 法  

        在 处 理 复 杂 问 题 域 或 系 统 任 务 时 ,抽 象( abstraction)、封 装( encapsulation)、
继 承( inheritance)、相 关( association)、消 息 通 信( communication with messages)、
组 织 方 法 ( method of organization) 、 比 例 ( scale) 和 行 为 范 畴 ( categories of 

behavior) 等 是 通 常 的 考 虑 原 则 。 而 面 向 对 象 法 可 以 表 示 为 :  

面 向 对 象 法 = 对 象 + 类 + 继 承 + 消 息 通 信  

面 向 对 象 分 析 是 建 立 在 信 息 模 拟( 实 体 关 系 图 和 语 义 数 据 类 型 )和 面 向 对 象 程 序
设 计 语 言 的 概 念 基 础 上 的 , 如 图 1 所 示

5

。  

 

图 1  面 向 对 象 分 析 的 形 成  

面 向 对 象 分 析 方 法 从 信 息 模 拟 中 吸 取 了 属 性 、关 系 、结 构 以 及 对 象 作 为 问 题 域 中
某 些 事 物 的 实 例 的 表 示 方 法 等 概 念 ;也 从 面 向 对 象 的 程 序 设 计 语 言 中 吸 取 了 属 性
和 方 法 的 封 装 、属 性 和 方 法 作 为 一 个 不 可 分 割 的 整 体 ,以 及 分 类 结 构 和 继 承 性 等
概 念 。面 向 对 象 分 析 方 法 都 是 直 接 将 问 题 域 映 射 成 模 型 的 ,在 本 文 中 ,我 们 将 之
映 射 成 一 个 群 控 电 梯 运 行 模 型 。  

面 向 对 象 方 法 在 电 梯 群 控 系 统 设 计 中 的 应 用  

3. 1  电 梯 群 控 系 统 的 分 析  

电梯群控系统是一类复杂的非线性动力系统,在时间和空间上具有离散性和随机性。为

了更好的研究电梯群控技术和检验群控算法的运行效果,首先应该建立电梯群控系统的数学
模型。有多种理论和方法可以应用在建立电梯群控模型。在 利 用 细 胞 自 动 机 模 型 模 拟 电