Automatic Protocol Conformance Test Generation Based on Model Checking By JI ZHONG HE A dissertation submitted to the graduate faculty in partial fulf
|
|
|
- 瑟卖演 张廖
- 7 years ago
- Views:
Transcription
1 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 论 文 题 目 : 基 于 模 型 检 查 的 协 议 一 致 性 测 试 生 成 学 生 姓 名 姬 忠 鹤 学 号 SA 导 师 姓 名 蒋 凡 教 授 单 位 名 称 计 算 机 科 学 技 术 系 专 业 名 称 计 算 机 软 件 与 理 论 专 业 代 码 中 国 科 学 技 术 大 学 二 零 零 五 年 五 月 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 1
2 Automatic Protocol Conformance Test Generation Based on Model Checking By JI ZHONG HE A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of Master of Engineering Major: Computer Software and Theory Dissertation Supervisor: JIANG FAN 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 2
3 University of Science and Technology of China May 2005 摘 要 如 何 从 协 议 规 范 出 发 生 成 满 足 一 定 覆 盖 标 准 的 测 试 序 列 和 测 试 套 是 协 议 一 致 性 测 试 中 的 一 个 核 心 问 题, 现 有 的 协 议 一 致 性 测 试 序 列 和 测 试 套 生 成 方 法 大 部 分 都 是 基 于 协 议 的 FSM(Finite State Machine, 有 限 状 态 机 ) 模 型 与 FSM 相 比, EFSM(Extended Finite State Machine, 扩 展 有 限 状 态 机 ) 通 过 在 模 型 中 引 入 变 量 对 变 量 的 操 作 以 及 状 态 迁 移 发 生 的 前 置 条 件, 可 以 更 加 精 确 简 洁 地 描 述 协 议, 然 而 变 量 和 前 置 条 件 的 引 入 也 增 加 了 构 造 一 致 性 测 试 序 列 和 测 试 套 的 难 度 目 前 对 EFSM 的 一 致 性 测 试 生 成 的 研 究 正 在 起 步 模 型 检 查 技 术 通 常 用 于 硬 件 电 路 以 及 协 议 规 范 的 形 式 化 验 证 中, 本 文 将 模 型 检 查 技 术 引 入 到 以 EFSM 为 模 型 的 协 议 一 致 性 测 试 序 列 和 测 试 套 的 自 动 生 成 中, 认 为 生 成 满 足 一 定 测 试 覆 盖 标 准 的 测 试 套 问 题 可 以 转 化 为 模 型 检 查 中 的 反 例 构 造 问 题, 进 而 提 出 了 一 种 新 的 测 试 生 成 方 法 该 方 法 用 Kripke 结 构 描 述 协 议 的 EFSM 模 型, 用 一 系 列 CTL(Computational Tree Logic, 计 算 树 逻 辑 ) 公 式 刻 画 测 试 套 所 要 满 足 的 控 制 流 和 数 据 流 覆 盖 标 准, 然 后 利 用 模 型 检 查 工 具 所 具 有 的 反 例 构 造 功 能 为 每 个 CTL 公 式 构 造 一 个 反 例, 每 个 反 例 对 应 于 一 条 满 足 一 定 覆 盖 要 求 的 测 试 序 列, 所 有 CTL 公 式 的 反 例 集 合 就 对 应 于 满 足 一 定 覆 盖 标 准 的 测 试 套 该 方 法 的 显 著 优 点 在 于 : 自 动 生 成 的 测 试 序 列 和 测 试 套 是 完 全 可 执 行 的 本 文 讨 论 了 输 入 和 输 出 交 互 不 含 参 数 且 变 量 取 值 范 围 有 限 的 EFSM, 其 等 价 Kripke 结 构 的 构 造 方 法 迁 移 覆 盖 标 准 以 及 变 量 all-use 覆 盖 标 准 的 CTL 公 式 描 述 方 法 在 此 基 础 上 研 究 了 输 入 和 输 出 交 互 含 参 数 且 变 量 取 值 范 围 有 限 的 EFSM 的 测 试 生 成, 并 进 一 步 给 出 了 输 入 输 出 参 数 all-io-df-chain 覆 盖 标 准 的 CTL 公 式 描 述 方 法 利 用 该 方 法, 使 用 模 型 检 查 工 具 SMV, 为 Inres 协 议 分 别 生 成 了 满 足 迁 移 覆 盖 标 准 变 量 all-use 覆 盖 标 准 以 及 输 入 输 出 参 数 all-io-df-chain 覆 盖 标 准 的 一 致 性 测 试 套 实 验 结 果 表 明 该 方 法 不 但 同 时 适 用 于 完 全 描 述 (Completely Specified)EFSM 和 非 完 全 描 述 (Non-completely Specified)EFSM, 而 且 对 于 一 定 数 据 流 测 试 覆 盖 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 3
4 标 准 所 对 应 的 每 个 可 能 待 覆 盖 实 体 ( 即 变 量 的 定 义 使 用 对 du-pair 或 者 输 入 输 出 参 数 的 简 单 数 据 流 链 simple-io-df-chain), 该 方 法 或 者 自 动 判 定 出 不 存 在 覆 盖 该 实 体 的 测 试 序 列, 或 者 自 动 给 出 一 条 覆 盖 该 实 体 的 测 试 序 列, 从 而 实 现 了 协 议 完 全 可 执 行 一 致 性 测 试 套 的 自 动 化 生 成 此 外 该 方 法 将 测 试 序 列 生 成 的 细 节 完 全 隐 藏 于 模 型 检 查 工 具 中, 因 此 该 方 法 具 有 高 度 的 自 动 化 程 度 本 文 的 工 作 扩 展 了 模 型 检 查 技 术 的 应 用 范 围, 使 其 从 对 有 限 状 态 系 统 进 行 分 析 验 证 扩 展 到 协 议 一 致 性 测 试 套 的 自 动 生 成 关 键 词 : 一 致 性 测 试 ; 测 试 覆 盖 标 准 ; 模 型 检 查 ; 计 算 树 逻 辑 ;Kripke 结 构 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 4
5 Abstract How to generate test sequence and test suite satisfying some test coverage criteria is a key problem in the field of protocol conformance testing. Most of the present test generation methods are based on protocols' finite state machine (FSM) models. Compared to FSM, extended finite state machine (EFSM) model can model a protocol in a more accurate and succinct way because of the introduction of variables, corresponding operations on them and predicates on transitions. On the other hand, these added facilities make the test generation from a protocol s EFSM model more difficult than that of FSM. Nowadays testing of EFSM is still at an early stage. Model checking has been used primarily in hardware and protocol verification. In this thesis, model checking is applied to generate protocol s conformance test suite automatically. It is proved that the problem of test generation from EFSM can be transformed into the problem of finding witnesses in model checking. A new method is proposed to generate totally executable conformance test suite from EFSM using model checking technique in this thesis. In this method, protocol s EFSM model is described in Kripke structure and selected control flow and data flow test coverage criteria are characterized with a set of CTL formulae. With the aid of model checker s counterexample generation ability, a test sequence satisfying some coverage requirement can be obtained for each CTL formula. All counterexamples with respect to the set of CTL formulae make up a test suite satisfying some test coverage criterion. Firstly, the test generation from EFSM whose input and out interactions do not contain parameters and variables have finite scope was discussed in this thesis. We showed how to construct the equivalent Kripke structure for such kind of EFSM and how to describe transition coverage criterion and variable all-use coverage criterion in CTL formulae. Furthermore, we discussed the test generation from EFSM whose input and out interactions contain finite parameters and variables have finite scopes. Additionally, the technique of characterizing parameters all-io-df-chain criterion in 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 5
6 CTL formulae was presented. Finally, in the case of Inres protocol, the conformance test suites satisfying all-transition coverage criterion, variables all-use coverage criterion and parameters all-io-df-chain criterion coverage criterion respectively are constructed using this test generation method. The results show the feasibility and efficiency of this method. Our work extends the range of applications of model checking from formal verification of finite state systems to test generation from EFSM model. Key Words : Conformance Test; Test Coverage Criteria; Model Checking; Computational Tree Logic; Kripke Structure 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 6
7 目 录 摘 要... 3 Abstract... 5 目 录... 7 第 1 章 引 言 协 议 一 致 性 测 试 的 引 入 协 议 一 致 性 测 试 一 致 性 测 试 主 要 研 究 内 容 一 致 性 测 试 方 法 一 致 性 测 试 序 列 和 测 试 套 生 成 文 章 的 组 织 第 2 章 现 有 的 一 致 性 测 试 序 列 和 测 试 套 生 成 方 法 测 试 序 列 和 测 试 套 生 成 方 法 概 述 基 于 FSM 的 测 试 序 列 生 成 方 法 FSM 模 型 T 方 法 D 方 法 UIO 方 法 W 方 法 测 试 序 列 的 优 化 基 于 EFSM 的 测 试 序 列 生 成 方 法 EFSM 模 型 EFSM 的 测 试 序 列 生 成 EFSM 的 数 据 流 测 试 EFSM 的 控 制 流 和 数 据 流 测 试 第 3 章 CTL 模 型 检 查 CTL 模 型 检 查 中 的 例 证 和 反 例 符 号 模 型 检 查 SMV 模 型 检 查 vs. 软 件 测 试 第 4 章 基 于 CTL 模 型 检 查 的 EFSM 测 试 序 列 和 测 试 套 自 动 生 成 方 法 的 概 述 D F -EFSM 的 测 试 生 成 D F -EFSM 的 Kripke 结 构 D F -EFSM 的 测 试 序 列 vs. Kripke 结 构 的 路 径 D F -EFSM 测 试 覆 盖 标 准 的 WCTL 描 述 控 制 流 测 试 覆 盖 标 准 的 WCTL 描 述 迁 移 覆 盖 标 准 状 态 覆 盖 标 准 数 据 流 测 试 覆 盖 标 准 的 WCTL 描 述 D F -EFSM vs. SMV 程 序 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 7
8 4.5 输 入 输 出 交 互 含 参 数 的 EFSM 测 试 生 成 D P -EFSM 的 Kripke 结 构 IO-def-chain 覆 盖 标 准 的 CTL 描 述 第 5 章 Inres 协 议 的 测 试 序 列 和 测 试 套 生 成 Inres 协 议 Inres 协 议 的 Kripke 结 构 vs. SMV 程 序 生 成 满 足 迁 移 覆 盖 标 准 的 测 试 套 生 成 满 足 变 量 all-use 覆 盖 标 准 的 测 试 套 生 成 满 足 输 入 输 出 参 数 All-IO-df-chain 覆 盖 标 准 测 试 套 第 6 章 结 语 本 文 的 主 要 结 论 对 未 来 工 作 的 展 望 参 考 文 献 附 录 A. D F -EFSM M E 的 SMV 源 代 码 附 录 B. D P -EFSM M P 的 SMV 源 代 码 附 录 C. Inres 中 Initiator 的 SMV 源 代 码 附 录 D. 已 发 表 文 章 及 参 与 项 目 致 谢 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 8
9 第 1 章 引 言 在 过 去 二 十 年 中, 以 信 息 交 换 为 基 础 的 计 算 机 网 络 和 分 布 式 系 统 取 得 了 飞 跃 性 发 展, 在 成 功 实 现 不 同 计 算 机 系 统 之 间 的 信 息 交 换 中, 通 信 协 议 扮 演 了 极 其 重 要 的 角 色 与 此 同 时, 随 着 计 算 机 网 络 和 分 布 式 系 统 的 日 趋 复 杂, 通 信 协 议 的 种 类 和 数 量 越 来 越 多, 其 规 模 也 越 来 越 大 如 何 设 计 出 功 能 上 正 确 可 靠, 逻 辑 上 一 致 完 整 的 通 信 协 议, 并 且 系 统 地 进 行 协 议 规 范 协 议 验 证 协 议 实 现 和 协 议 测 试, 已 经 成 为 了 一 个 非 常 具 有 挑 战 性 的 课 题 为 了 解 决 以 上 的 问 题, 很 多 学 者 将 形 式 化 方 法 引 入 到 协 议 的 研 究 中, 从 而 形 成 了 一 个 新 的 研 究 领 域, 称 作 协 议 工 程 (Protocol Engineering)[Lai02] 作 为 协 议 工 程 学 的 一 个 重 要 分 支, 协 议 一 致 性 测 试 (Conformance Testing) 检 查 协 议 的 具 体 实 现 (Implementation) 与 协 议 规 范 (Specification) 符 合 程 度, 其 目 的 是 提 高 分 布 式 系 统 组 件 之 间 能 够 成 功 进 行 通 信 的 概 率 [Dssouli99] 在 协 议 一 致 性 测 试 中, 如 何 从 协 议 模 型 和 规 范 出 发 生 成 高 质 量 的 一 致 性 测 试 套 是 一 个 核 心 问 题, 而 寻 找 通 用 高 效 的 一 致 性 测 试 套 生 成 方 法 一 直 是 研 究 者 们 不 懈 追 求 的 目 标 本 文 尝 试 将 模 型 检 查 (Model Checking) 技 术 用 于 协 议 一 致 性 测 试 套 的 自 动 生 成, 力 求 对 该 问 题 进 行 一 些 有 益 的 探 索 本 章 首 先 介 绍 协 议 一 致 性 测 试 引 入 的 必 要 性, 然 后 对 协 议 一 致 性 测 试 进 行 概 述, 最 后 对 文 章 的 内 容 结 构 进 行 了 介 绍 1.1 协 议 一 致 性 测 试 的 引 入 现 代 计 算 机 网 络 及 分 布 式 系 统 涉 及 到 系 统 内 不 同 组 件 间 复 杂 的 交 互 (interaction) 操 作, 通 信 协 议 正 是 网 络 及 分 布 式 系 统 中 不 同 实 体 进 行 信 息 交 互 时 应 遵 守 的 规 则 集 合 [Tanenbaum03] 系 统 中 不 同 的 网 络 实 体 只 有 遵 守 特 定 的 协 议 才 能 实 现 正 确 可 靠 的 通 信 为 使 来 自 不 同 生 产 厂 家 的 系 统 能 够 成 功 进 行 通 信, 必 须 有 标 准 化 的 通 信 协 议, 这 种 需 求 直 接 导 致 了 国 际 标 准 化 组 织 ISO 提 出 了 开 放 系 统 互 联 参 考 模 型 以 及 各 层 的 协 议 标 准 [Day83] 随 着 网 络 及 分 布 式 系 统 的 快 速 发 展 以 及 通 信 技 术 复 杂 程 度 的 日 益 增 加, 通 信 协 议 的 标 准 化 清 楚 地 显 示 出 了 其 在 计 算 机 通 信 系 统 开 发 中 的 重 要 性, 然 而 仅 仅 依 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 9
![学 者 将 形 式 化 方 法 引 入 到 协 议 的 研 究 中, 从 而 形 成 了 一 个 新 的 研 究 领 域, 称 作 协 议 工 程 (Protocol Engineering)[Lai02] 作 为 协 议 工 程 学 的 一 个 重 要 分 支, 协 议 一 致 性 测 试 (Conformance Testing) 检 查 协 议 的 具 体 实 现](/docs-images/41/22760001/images/page_9.jpg "(Implementation) 与 协 议 规 范 (Specification) 符 合 程 度, 其 目 的 是 提 高 分 布 式 系 统 组 件 之 间 能 够 成 功 进 行 通 信 的 概 率 [Dssouli99] 在 协 议 一 致 性 测 试 中, 如 何 从 协 议 模 型 和 规 范 出 发 生 成 高 质 量 的 一 致 性 测 试 套 是 一 个 核 心 问 题, 而")
10 靠 协 议 的 标 准 化 并 不 能 保 证 来 自 不 同 厂 商 的 异 构 系 统 组 件 之 间 能 够 成 功 进 行 通 信 这 是 因 为 协 议 标 准 制 定 后 通 常 还 只 是 一 个 自 然 语 言 描 述 的 文 本, 仅 靠 文 本 不 但 难 以 保 证 对 协 议 规 范 的 详 尽 完 备 描 述, 而 且 文 本 描 述 还 可 能 具 有 二 义 性 此 外, 协 议 标 准 的 产 品 化 开 发 通 常 由 不 同 的 组 织 以 及 不 同 的 人 员 进 行, 由 于 不 同 的 开 发 人 员 对 协 议 标 准 的 理 解 可 能 不 同, 采 取 的 实 现 手 段 也 可 能 不 同, 开 发 过 程 中 又 可 能 存 在 这 样 或 那 样 的 错 误, 所 以 很 容 易 导 致 协 议 具 体 实 现 (Implementation) 中 的 某 些 功 能 偏 离 标 准 甚 至 引 入 缺 陷, 或 者 仅 实 现 了 标 准 的 某 个 子 集 这 些 与 标 准 不 一 致 或 相 互 间 不 兼 容 的 产 品 在 联 网 时 难 以 可 靠 地 通 信 因 此, 人 们 需 要 一 种 有 效 的 方 法 对 各 种 协 议 实 现 进 行 测 试, 判 断 被 测 实 现 是 否 与 协 议 规 范 相 一 致, 这 种 方 法 便 是 协 议 一 致 性 测 试 1.2 协 议 一 致 性 测 试 众 所 周 知, 测 试 就 是 通 过 实 验 的 方 法 来 试 图 发 现 一 个 系 统 中 存 在 的 错 误 或 对 系 统 某 一 方 面 的 属 性 进 行 评 估 的 过 程, 其 目 的 是 为 了 确 信 在 系 统 的 正 常 使 用 中, 系 统 会 按 照 预 期 的 方 式 工 作, 能 够 实 现 预 期 的 功 能 这 种 实 验 通 常 在 一 个 特 定 环 境 中 通 过 对 系 统 进 行 正 常 或 异 常 的 使 用 来 实 现, 并 且 因 为 测 试 活 动 在 时 间 和 空 间 上 的 有 限 性, 对 于 一 个 真 实 系 统 的 测 试 不 可 能 无 遗 漏 地 历 经 系 统 的 每 一 种 运 行 情 况 所 以 测 试 并 不 能 保 证 被 测 系 统 的 完 全 正 确 性, 即 测 试 只 能 显 示 存 在 错 误, 而 不 能 证 明 不 存 在 错 误 在 软 件 测 试 中, 通 常 有 结 构 测 试 (Structural Testing) 和 功 能 测 试 (Functional Testing) 之 分 结 构 测 试 又 称 为 白 盒 测 试, 它 是 基 于 软 件 内 部 结 构 进 行 的 测 试, 其 目 的 是 通 过 执 行 每 条 语 句, 遍 历 程 序 的 每 个 分 支 来 检 查 整 个 程 序 代 码 的 正 确 性 与 此 相 反, 功 能 测 试 只 是 依 据 软 件 的 规 格 说 明 对 从 外 部 可 以 观 测 到 的 软 件 功 能 进 行 测 试, 所 以 也 称 之 为 黑 盒 测 试, 即 将 被 测 试 系 统 看 作 一 个 黑 盒, 仅 仅 通 过 观 察 其 外 部 行 为 来 确 定 软 件 的 功 能 实 现, 而 不 涉 及 程 序 的 内 部 结 构, 其 目 的 是 根 据 软 件 的 规 格 说 明 确 定 软 件 实 现 是 否 达 到 了 预 期 要 求, 因 此 预 先 要 有 一 个 简 洁 明 确 的 软 件 功 能 说 明 在 现 代 通 信 系 统 中, 为 了 减 小 设 计 和 实 现 上 的 复 杂 性, 大 多 数 网 络 通 常 被 组 织 为 层 状 结 构, 每 一 层 的 目 的 都 是 为 其 上 层 提 供 特 定 服 务, 并 且 向 上 层 屏 蔽 其 所 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 10
11 提 供 服 务 的 实 现 细 节 [Tanenbaum03] 一 台 机 器 上 的 第 n 层 实 体 ( 进 程 ) 同 另 外 一 台 机 器 上 的 同 层 对 等 实 体 之 间 通 过 遵 守 第 n 层 协 议 来 进 行 消 息 或 数 据 包 的 交 换 图 1-1 给 出 了 一 个 典 型 通 信 协 议 系 统 的 模 型, 其 中 S 层 实 体 通 过 T 层 实 体 所 提 供 的 服 务 原 语 SP(Service Primitive) 在 服 务 接 入 点 SAP(Service Access Point) 与 T 层 实 体 进 行 交 互 而 T 层 实 体 又 通 过 其 下 面 的 N 层 实 体 所 提 供 的 服 务 原 语 与 N 层 实 体 进 行 交 互, 从 而 完 成 与 另 外 一 台 机 器 T 层 实 体 之 间 协 议 数 据 单 元 PDU(Protocol Data Unit) 的 交 换 每 层 实 体 行 为 的 定 义 通 常 称 作 协 议 规 范 (Protocol Specification) Layer S Layer T Service provided PDU Service used Layer S Layer T Session layer SP SAP SP Transport layer Layer N Layer N Network layer 图 1-1 通 信 协 议 系 统 模 型 协 议 一 致 性 测 试 就 是 测 试 协 议 实 体 对 于 协 议 规 范 声 明 的 一 致 性 要 求 的 遵 循 程 度 的 过 程 [Cavalli96] 在 一 致 性 测 试 中, 被 测 对 象 IUT(Implementation Under Test) 是 协 议 实 体 的 一 个 具 体 实 现 一 致 性 测 试 属 于 黑 盒 测 试 的 范 畴, 对 于 IUT 的 测 试 是 完 全 相 对 于 其 参 考 规 范 进 行 的, 测 试 者 只 能 根 据 IUT 对 输 入 的 响 应 来 分 析 判 断 IUT 相 对 于 参 考 规 范 的 一 致 性 程 度, 测 试 中 并 不 关 注 IUT 的 内 部 实 现 细 节 图 1-2 简 要 说 明 了 协 议 一 致 性 测 试 的 原 理 : 通 常 IUT 含 有 一 个 上 接 口 (Upper Interface) 和 下 接 口 (Lower Interface), 一 致 性 测 试 在 被 称 作 控 制 观 察 点 (Points of Control and Observation) 的 标 准 接 口 处 完 成 因 为 通 信 经 常 意 味 着 异 步 性, 所 以 可 以 模 拟 为 两 个 FIFO 队 列 对 于 同 IUT 进 行 消 息 交 互 的 测 试 器 (Tester) 来 说, 通 常 有 上 测 试 器 UT(Upper Tester) 和 下 测 试 器 LT(Lower Tester) 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 11
12 之 分 UT 和 LT 分 别 控 制 着 IUT 的 上 下 接 口 在 测 试 中,UT 扮 演 着 IUT 所 提 供 服 务 的 使 用 者 角 色, LT 通 常 扮 演 着 IUT 对 等 实 体 的 角 色, 也 就 是 说,IUT 与 LT 进 行 通 信 来 为 UT 提 供 服 务 IUT 和 UT 通 过 抽 象 服 务 原 语 ASP(Abstract Service Primitive) 进 行 交 互, 而 IUT 和 LT 通 过 交 换 协 议 数 据 单 元 PDU 来 提 供 它 们 的 服 务 Upper Tester ASP ASP IUT PDU Lower Tester ASP ASP Underlying Service The has two FIFO queues: Send (from tester to IUT) Receive (by tester from IUT ) 图 1-2 一 致 性 测 试 的 原 理 1.3 一 致 性 测 试 主 要 研 究 内 容 目 前, 关 于 协 议 一 致 性 测 试 的 研 究 主 要 集 中 在 两 个 方 面 :(1) 一 致 性 测 试 方 法 和 一 致 性 测 试 结 构 的 研 究 ;(2) 一 致 性 测 试 序 列 和 测 试 套 生 成 方 法 的 研 究 一 致 性 测 试 方 法 ISO 定 义 了 四 种 抽 象 测 试 方 法 [CCITT91], 一 种 是 局 部 的, 三 种 是 外 部 的, 分 别 为 分 布 式 协 调 式 和 远 程 式 在 局 部 测 试 法 中, 上 下 测 试 器 与 IUT 在 同 一 系 统 中, 而 在 外 部 测 试 方 法 中, 下 测 试 器 远 离 IUT 并 通 过 网 络 相 联 这 些 方 法 可 以 测 试 多 层 系 统 中 的 某 一 层, 也 可 以 测 试 多 层 系 统 中 的 几 层 下 面 对 这 些 方 法 进 行 简 单 介 绍 和 比 较 (1) 局 部 测 试 法 局 部 测 试 法 的 结 构 如 图 1-3 所 示 在 这 种 方 法 中,UT,LT,IUT 同 处 于 一 台 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 12
13 机 器 中, 测 试 不 需 要 低 层 通 讯 的 支 持,IUT 和 LT 的 接 口 设 在 IUT 的 底 部,UT 和 IUT 的 接 口 设 在 IUT 的 顶 部 ( 即 为 IUT 的 服 务 访 问 点 ) 由 于 UT 和 LT 可 以 拟 和 在 一 个 程 序 中,UT 和 LT 之 间 的 测 试 协 同 过 程 TCP(Test Coordinate Procedures) 容 易 实 现 SUT ASPs IUT 2) CONind 3) CONresp 1) CONreq 4) CONconf 图 1-3 局 部 测 试 法 Test System Upper Tester TCPs Lower Tester ASPs (2) 分 布 式 测 试 法 分 布 式 测 试 法 如 图 1-4 所 示 在 这 种 方 法 中,IUT 和 UT 处 于 同 一 个 机 器 中, LT 分 布 在 其 它 机 器 中 LT 和 IUT 借 助 于 (N-1) 层 服 务 交 换 消 息 ( 可 以 实 现 在 线 测 试 ), 它 们 之 间 的 接 口 从 IUT 转 移 到 LT 中,LT 扮 演 的 角 色 是 (N-1) 层 服 务 的 使 用 者 UT 和 LT 的 测 试 协 同 过 程 TCP 隐 含 在 测 试 例 中, 测 试 同 步 问 题 由 UT 和 LT 的 操 作 者 来 实 现 SUT Upper Tester TCP Test System Lower Tester 2) CONind 3) CONresp IUT ASPs 1) CONreq 4) CONConf 图 1-4 分 布 式 测 试 法 (3) 协 同 式 测 试 法 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 13
14 协 同 式 测 试 法 实 际 上 是 分 布 式 测 试 法 的 一 种 变 形, 如 图 1-5 所 示 协 同 式 方 法 和 分 布 式 方 法 的 根 本 区 别 在 于 : 协 同 式 方 法 引 入 测 试 管 理 协 议 TMP(Test Management Protocol),UT 和 LT 通 过 交 换 TM-PDU 实 现 测 试 协 同 过 程 TM- PDU 的 交 换 有 两 个 途 径, 一 是 TM-PDU 作 为 (N)ASP 的 用 户 数 据 传 送 给 IUT, IUT 将 之 传 送 给 LT(in band 方 式 ); 二 是 TM-PDU 直 接 利 用 (N-1) 层 服 务 传 送 (out band 方 式 ) SUT Upper Tester Test Management Protocol Test System Lower Tester 2) CONind 3) CONresp IUT ASPs 1) CONreq 4) CONConf 图 1-5 协 同 式 测 试 法 (4) 远 程 测 试 法 远 程 测 试 法 的 结 构 如 图 1-6 所 示, 该 方 法 的 最 大 特 点 是 没 有 UT, 因 此 也 不 存 在 UT 和 LT 的 协 同 问 题 测 试 例 完 全 用 (N-1)ASP 描 述 远 程 方 法 适 用 于 被 动 式 协 议 实 体 或 服 务 型 协 议 实 体 的 测 试 SUT Test System IUT Lower Tester ASPs 1) CR 2) CC 图 1-6 远 程 测 试 法 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 14
15 1.3.2 一 致 性 测 试 序 列 和 测 试 套 生 成 对 协 议 进 行 一 致 性 测 试, 选 择 适 当 的 测 试 方 法 建 立 测 试 系 统 是 实 现 协 议 一 致 性 测 试 的 基 础, 而 测 试 套 (Test Suite) 是 一 致 性 测 试 的 核 心 和 主 线, 两 者 是 互 相 配 合, 互 相 制 约 的 一 个 有 好 的 测 试 方 法 的 测 试 系 统, 可 以 极 大 地 简 化 测 试 序 列 和 测 试 套 的 设 计, 使 测 试 能 方 便 自 动 高 效 地 进 行 ; 而 一 个 好 的 测 试 套 也 可 以 极 大 地 减 轻 测 试 系 统 的 负 担 测 试 套 由 一 系 列 测 试 序 列 所 构 成, 而 测 试 序 列 是 一 个 输 入 / 预 期 输 出 序 列 ISO 将 测 试 套 规 范 化 为 层 状 结 构 [CCITT91], 自 上 而 下 分 为 测 试 组 (Test Groups) 测 试 例 (Test Cases) 测 试 步 (Test Steps) 和 测 试 事 件 (Test Events) 测 试 组 规 定 该 组 中 测 试 例 的 逻 辑 顺 序, 测 试 例 是 测 试 组 中 最 重 要 的 部 分, 每 个 测 试 例 由 测 试 步 组 成, 测 试 步 规 范 化 为 一 系 列 测 试 事 件, 这 些 测 试 事 件 包 括 IUT 发 送 或 接 收 的 一 个 PDU 或 ASP 等 ISO 将 测 试 例 分 为 通 用 测 试 例 抽 象 测 试 例 和 可 执 行 测 试 例 [CCITT91] 通 用 测 试 例 由 测 试 体 和 该 测 试 体 的 初 始 状 态 组 成 测 试 体 是 为 完 成 一 定 测 试 目 的 并 对 可 能 的 测 试 结 果 进 行 判 定 所 必 需 的 测 试 事 件 序 列 测 试 结 果 判 定 有 三 种 结 论 : 通 过 (Pass) 失 败 (Fail) 和 无 结 论 (Inconclusive) 一 旦 获 得 通 用 测 试 套, 就 可 根 据 不 同 的 测 试 方 法 生 成 相 应 的 由 抽 象 测 试 实 例 组 成 的 抽 象 测 试 套 抽 象 测 试 例 是 把 通 用 测 试 例 加 上 测 试 前 缀 (Test Preamble) 和 测 试 后 缀 (Test Postamble), 并 按 照 控 制 观 察 的 要 求 表 达 出 来 得 到 的 测 试 前 缀 是 当 IUT 不 在 该 测 试 例 之 测 试 体 要 求 的 初 始 状 态 时, 使 IUT 到 达 测 试 体 要 求 的 初 始 状 态 的 一 个 测 试 事 件 序 列 而 测 试 后 缀 是 测 试 体 测 试 结 束 后, 使 IUT 回 到 需 要 的 稳 定 状 态, 以 便 后 面 测 试 运 行 的 一 个 测 试 事 件 序 列 可 执 行 测 试 例 是 由 抽 象 测 试 例, 根 据 实 际 测 试 系 统 协 议 实 现 一 致 性 声 明 (PICS) IUT 及 其 环 境 的 附 加 信 息 (PIXIT) 进 行 推 导 并 参 数 化 得 来 的, 成 为 测 试 的 一 个 具 体 实 现, 运 行 在 实 际 测 试 系 统 上 三 类 测 试 实 例 的 演 变 过 程 如 图 1-7 所 示 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 15
![范 化 为 层 状 结 构 [CCITT91], 自 上 而 下 分 为 测 试 组 (Test Groups) 测 试 例 (Test Cases) 测 试 步 (Test Steps) 和 测 试 事 件 (Test Events) 测 试 组 规 定 该 组 中 测 试 例 的 逻 辑 顺 序, 测 试 例 是 测 试 组 中 最 重 要 的 部 分, 每 个 测 试 例 由 测 试 步](/docs-images/41/22760001/images/page_15.jpg "组 成, 测 试 步 规 范 化 为 一 系 列 测 试 事 件, 这 些 测 试 事 件 包 括 IUT 发 送 或 接 收 的 一 个 PDU 或 ASP 等 ISO 将 测 试 例 分 为 通 用 测 试 例 抽 象 测 试 例 和 可 执 行 测 试 例 [CCITT91] 通 用 测 试 例 由 测 试 体 和 该 测 试 体 的 初 始 状 态 组 成 测 试 体 是 为 完 成 一")
16 通 用 测 试 例 抽 象 测 试 方 法 抽 象 测 试 例 PICS 选 中 的 测 试 例 PIXIT 参 数 化 的 测 试 例 可 执 行 测 试 例 PICS 选 中 的 可 执 行 测 试 例 PIXIT 参 数 化 的 可 执 行 测 试 例 图 1-7 测 试 实 例 演 变 过 程 1.4 文 章 的 组 织 本 文 的 章 节 组 织 是 : 第 2 章 介 绍 传 统 的 协 议 一 致 性 测 试 序 列 和 测 试 套 生 成 方 法, 首 先 介 绍 基 于 FSM 模 型 的 基 本 测 试 序 列 生 成 方 法, 并 对 它 们 的 特 点 进 行 比 较 分 析, 然 后 介 绍 现 有 的 基 于 EFSM 模 型 的 测 试 生 成 方 法 在 第 3 章 中, 首 先 介 绍 计 算 树 逻 辑 CTL 和 模 型 检 查 的 有 关 概 念, 然 后 介 绍 符 号 模 型 技 术 以 及 符 号 模 型 检 查 工 具 SMV 第 4 章 具 体 讨 论 怎 样 将 模 型 检 查 技 术 应 用 于 基 于 EFSM 模 型 的 协 议 一 致 性 测 试 序 列 和 测 试 套 的 生 成 中 在 第 4 章 中, 首 先 讨 论 输 入 输 出 交 互 不 含 参 数 且 变 量 取 值 范 围 有 限 的 EFSM 的 测 试 生 成, 然 后 讨 论 输 入 输 出 交 互 含 有 参 数 且 变 量 取 值 范 围 有 限 的 EFSM 的 测 试 生 成 第 5 章 讨 论 如 何 利 用 本 文 提 出 的 测 试 生 成 方 法 为 Inres 协 议 构 造 一 致 性 测 试 套, 并 给 出 利 用 该 方 法 得 到 的 分 别 满 足 3 种 覆 盖 标 准 的 Inres 协 议 测 试 套 第 6 章 对 文 章 进 行 总 结 并 对 未 来 工 作 进 行 展 望 中 国 科 学 技 术 大 学 硕 士 学 位 论 文 16
Microsoft PowerPoint - TTCN-Introduction-v5.ppt
Conformance Testing and TTCN 工研院無線通訊技術部林牧台 / Morton Lin 03-5912360 mtlin@itri.org.tw 1 Outline Introduction and Terminology Conformance Testing Process 3GPP conformance testing and test cases A real world
我国原奶及乳制品安全生产和质量安全管理研究
密 级 论 文 编 号 中 国 农 业 科 学 院 硕 士 学 位 论 文 我 国 原 奶 及 乳 制 品 质 量 安 全 管 理 研 究 Study on Quality and Safety Management of Raw Milk and Dairy Products in China 申 请 人 : 段 成 立 指 导 教 师 : 叶 志 华 研 究 员 张 蕙 杰 研 究 员 申 请
University of Science and Technology of China A dissertation for master s degree Research of e-learning style for public servants under the context of
中 国 科 学 技 术 大 学 硕 士 学 位 论 文 新 媒 体 环 境 下 公 务 员 在 线 培 训 模 式 研 究 作 者 姓 名 : 学 科 专 业 : 导 师 姓 名 : 完 成 时 间 : 潘 琳 数 字 媒 体 周 荣 庭 教 授 二 一 二 年 五 月 University of Science and Technology of China A dissertation for
Time Estimation of Occurrence of Diabetes-Related Cardiovascular Complications by Ching-Yuan Hu A thesis submitted in partial fulfillment of the requi
Time Estimation of Occurrence of Diabetes-Related Cardiovascular Complications by Ching-Yuan Hu Master of Science 2011 Institute of Chinese Medical Sciences University of Macau Time Estimation of Occurrence
Public Projects A Thesis Submitted to Department of Construction Engineering National Kaohsiung First University of Science and Technology In Partial
Public Projects A Thesis Submitted to Department of Construction Engineering National Kaohsiung First University of Science and Technology In Partial Fulfillment of the Requirements For the Degree of Master
2 3. 1,,,.,., CAD,,,. : 1) :, 1,,. ; 2) :,, ; 3) :,; 4) : Fig. 1 Flowchart of generation and application of 3D2digital2building 2 :.. 3 : 1) :,
3 1 Vol. 3. 1 2008 2 CAA I Transactions on Intelligent Systems Feb. 2008, (,210093) :.,; 3., 3. :; ; ; ; : TP391 :A :167324785 (2008) 0120001208 A system f or automatic generation of 3D building models
A VALIDATION STUDY OF THE ACHIEVEMENT TEST OF TEACHING CHINESE AS THE SECOND LANGUAGE by Chen Wei A Thesis Submitted to the Graduate School and Colleg
上 海 外 国 语 大 学 SHANGHAI INTERNATIONAL STUDIES UNIVERSITY 硕 士 学 位 论 文 MASTER DISSERTATION 学 院 国 际 文 化 交 流 学 院 专 业 汉 语 国 际 教 育 硕 士 题 目 届 别 2010 届 学 生 陈 炜 导 师 张 艳 莉 副 教 授 日 期 2010 年 4 月 A VALIDATION STUDY
2/80 2
2/80 2 3/80 3 DSP2400 is a high performance Digital Signal Processor (DSP) designed and developed by author s laboratory. It is designed for multimedia and wireless application. To develop application
Thesis for the Master degree in Engineering Research on Negative Pressure Wave Simulation and Signal Processing of Fluid-Conveying Pipeline Leak Candi
U17 10220 UDC624 Thesis for the Master degree in Engineering Research on Negative Pressure Wave Simulation and Signal Processing of Fluid-Conveying Pipeline Leak Candidate:Chen Hao Tutor: Xue Jinghong
<4D6963726F736F667420506F776572506F696E74202D20C8EDBCFEBCDCB9B9CAA6D1D0D0DEBDB2D7F92E707074>
软 件 架 构 师 研 修 讲 座 胡 协 刚 软 件 架 构 师 UML/RUP 专 家 szjinco@public.szptt.net.cn 中 国 软 件 架 构 师 网 东 软 培 训 中 心 小 故 事 : 七 人 分 粥 当 前 软 件 团 队 的 开 发 现 状 和 面 临 的 问 题 软 件 项 目 的 特 点 解 决 之 道 : 从 瀑 布 模 型 到 迭 代 模 型 解 决 项
A dissertation for Master s degree Metro Indoor Coverage Systems Analysis And Design Author s Name: Sheng Hailiang speciality: Supervisor:Prof.Li Hui,
中 国 科 学 技 术 大 学 工 程 硕 士 学 位 论 文 地 铁 内 移 动 通 信 室 内 覆 盖 分 析 及 应 用 作 者 姓 名 : 学 科 专 业 : 盛 海 亮 电 子 与 通 信 导 师 姓 名 : 李 辉 副 教 授 赵 红 媛 高 工 完 成 时 间 : 二 八 年 三 月 十 日 University of Science and Technology of Ch A dissertation
2006中國文學研究範本檔
中 國 文 學 研 究 第 三 十 九 期 2015 年 01 月 頁 223~258 臺 灣 大 學 中 國 文 學 研 究 所 由 心 到 腦 從 腦 的 語 義 脈 絡 論 晚 清 民 初 的 文 化 轉 型 * 徐 瑞 鴻 提 要 傳 統 的 中 醫 理 論 以 心 為 神 明 之 主, 掌 管 思 維 記 憶 與 情 感, 此 一 觀 點 在 近 現 代 受 到 西 方 解 剖 學 的 巨
Microsoft Word - 专论综述1.doc
1 基 于 协 同 过 滤 的 高 考 志 愿 推 荐 系 统 徐 兰 静, 李 珊, 严 钊 ( 南 京 航 空 航 天 大 学 经 济 与 管 理 学 院, 南 京 211100) 摘 要 : 近 年 来 信 息 过 载 问 题 的 出 现 使 得 个 性 化 推 荐 技 术 应 运 而 生, 其 中 协 同 过 滤 推 荐 技 术 通 过 在 用 户 和 信 息 之 间 建 立 联 系, 被
13 A DSS B DSS C DSS D DSS A. B. C. CPU D. 15 A B Cache C Cache D L0 L1 L2 Cache 16 SMP A B. C D 17 A B. C D A B - C - D
2008 1 1 A. B. C. D. UML 2 3 2 A. B. C. D. 3 A. B. C. D. UML 4 5 4 A. B. C. D. 5 A. B. C. D. 6 6 A. DES B. RC-5 C. IDEA D. RSA 7 7 A. B. C. D. TCP/IP SSL(Security Socket Layer) 8 8 A. B. C. D. 9 9 A. SET
IP TCP/IP PC OS µclinux MPEG4 Blackfin DSP MPEG4 IP UDP Winsock I/O DirectShow Filter DirectShow MPEG4 µclinux TCP/IP IP COM, DirectShow I
2004 5 IP TCP/IP PC OS µclinux MPEG4 Blackfin DSP MPEG4 IP UDP Winsock I/O DirectShow Filter DirectShow MPEG4 µclinux TCP/IP IP COM, DirectShow I Abstract The techniques of digital video processing, transferring
國立中山大學學位論文典藏.PDF
I II III The Study of Factors to the Failure or Success of Applying to Holding International Sport Games Abstract For years, holding international sport games has been Taiwan s goal and we are on the way
1
Activity- based Cost Management: A New Mode of Medical cost Management () 1 Activity - based Cost Management A New Mode of Medical cost Management Abstract With the development of medical market, the defects
Microsoft Word - A200810-897.doc
基 于 胜 任 特 征 模 型 的 结 构 化 面 试 信 度 和 效 度 验 证 张 玮 北 京 邮 电 大 学 经 济 管 理 学 院, 北 京 (100876) E-mail: weeo1984@sina.com 摘 要 : 提 高 结 构 化 面 试 信 度 和 效 度 是 面 试 技 术 研 究 的 核 心 内 容 近 年 来 国 内 有 少 数 学 者 探 讨 过 基 于 胜 任 特 征
1.第二卷第二期p1
通 識 學 刊 : 理 念 與 實 務,3(1),1-42 1 圖 解 思 考 法 在 申 論 題 寫 作 上 的 運 用 : 以 蕭 颯 死 了 一 個 國 中 女 生 之 後 為 例 馬 琇 芬 ( 投 稿 日 期 :2014/11/11; 修 正 日 期 :2015/01/21; 接 受 日 期 :2015/01/26) 摘 要 申 論 是 一 種 培 養 學 生 思 考 能 力 的 寫 作
Microsoft PowerPoint - STU_EC_Ch08.ppt
樹德科技大學資訊工程系 Chapter 8: Counters Shi-Huang Chen Fall 2010 1 Outline Asynchronous Counter Operation Synchronous Counter Operation Up/Down Synchronous Counters Design of Synchronous Counters Cascaded Counters
Microsoft Word - A200811-773.doc
语 言 模 型 在 高 校 保 研 工 作 中 的 应 用 王 洋 辽 宁 工 程 技 术 大 学 理 学 院 信 息 与 计 算 科 学, 辽 宁 阜 新 (3000) E-mail: ben.dan000 @63.com 摘 要 : 问 题 重 述 : 模 糊 性 数 学 发 展 的 主 流 是 在 它 的 应 用 方 面, 其 中 模 糊 语 言 模 型 实 现 了 人 类 语 言 的 数 学
Shanghai International Studies University THE STUDY AND PRACTICE OF SITUATIONAL LANGUAGE TEACHING OF ADVERB AT BEGINNING AND INTERMEDIATE LEVEL A Thes
上 海 外 国 语 大 学 硕 士 学 位 论 文 对 外 汉 语 初 中 级 副 词 情 境 教 学 研 究 与 实 践 院 系 : 国 际 文 化 交 流 学 院 学 科 专 业 : 汉 语 国 际 教 育 姓 名 : 顾 妍 指 导 教 师 : 缪 俊 2016 年 5 月 Shanghai International Studies University THE STUDY AND PRACTICE
Microsoft Word doc
中 考 英 语 科 考 试 标 准 及 试 卷 结 构 技 术 指 标 构 想 1 王 后 雄 童 祥 林 ( 华 中 师 范 大 学 考 试 研 究 院, 武 汉,430079, 湖 北 ) 提 要 : 本 文 从 结 构 模 式 内 容 要 素 能 力 要 素 题 型 要 素 难 度 要 素 分 数 要 素 时 限 要 素 等 方 面 细 致 分 析 了 中 考 英 语 科 试 卷 结 构 的
Microsoft Word - 11-秦华伟.doc
热 带 海 洋 学 报 JOURNAL OF TROPICAL OCEANOGRAPHY 海 洋 调 查 与 观 测 仪 器 doi:10.3969/j.issn.1009-5470.2013.01.011 2013 年 第 32 卷 第 1 期 : 76 80 http://www.jto.ac.cn * 应 用 于 龟 山 岛 热 液 喷 口 探 寻 的 散 射 光 式 水 下 浊 度 仪 研
THE APPLICATION OF ISOTOPE RATIO ANALYSIS BY INDUCTIVELY COUPLED PLASMA MASS SPECTROMETER A Dissertation Presented By Chaoyong YANG Supervisor: Prof.D
10384 070302 9825042 UDC 2001.6. 2001.7. 20016 THE APPLICATION OF ISOTOPE RATIO ANALYSIS BY INDUCTIVELY COUPLED PLASMA MASS SPECTROMETER A Dissertation Presented By Chaoyong YANG Supervisor: Prof.Dr. Xiaoru
untitled
LBS Research and Application of Location Information Management Technology in LBS TP319 10290 UDC LBS Research and Application of Location Information Management Technology in LBS , LBS PDA LBS
穨423.PDF
Chinese Journal of Science Education 2002,, 423-439 2002, 10(4), 423-439 1 2 1 1 1 2 90 8 10 91 4 9 91 8 22 ) NII 1995 7 14, 1999 1997 (Cooperative Remotely Accessible Learning CORAL) 424 (Collaborative
本 論 文 獲 行 政 院 客 家 委 員 會 99 年 客 家 研 究 優 良 博 碩 士 論 文 獎 助
國 立 雲 林 科 技 大 學 設 計 運 算 研 究 所 碩 士 班 碩 士 論 文 人 物 類 數 位 典 藏 加 值 應 用 之 研 究 - 以 桃 園 縣 客 家 文 化 館 之 鄧 雨 賢 文 化 加 值 產 品 設 計 為 例 A Study of Value-added Applications in Digital Archiving: Deng Yu-Shian's memorabilia
UDC Empirical Researches on Pricing of Corporate Bonds with Macro Factors 厦门大学博硕士论文摘要库
10384 15620071151397 UDC Empirical Researches on Pricing of Corporate Bonds with Macro Factors 2010 4 Duffee 1999 AAA Vasicek RMSE RMSE Abstract In order to investigate whether adding macro factors
* CO3 A 1674-2486 2011 04-0005 - 18 P. 253 * 5 1. 1949 1991 1949 1991 6 2. 7 1 2001 2 2008 8 1 2 2008 11 http / /www. rnd. ncnu. edu. tw /hdcheng /method /ways. doc 2008 / 9 disciplinary matrix 1 1. 2001
A Study on JI Xiaolan s (1724-1805) Life, Couplets and Theories of Couplets 紀 曉 嵐 (1724 1724-1805 1805) 生 平 資 料 斠 正 及 對 聯 聯 論 研 究 LI Ha 李 夏 THE UNIVER
Title A study on Ji Xiaolan's (1724-1805) life, couplets and theories of couplets = Ji Xiaolan (1724-1805) sheng ping zi liao jiao zheng ji dui lian, lian lun yan jiu Author(s) Li, Ha; 李 夏 Citation Li,
Microsoft Word - 期末結案報告20130104
元 培 科 技 大 學 資 訊 工 程 系 101 學 年 度 專 題 結 案 報 告 守 塔 遊 戲 設 計 姓 名 : 李 宏 志 陳 文 鴻 何 侑 諺 張 承 恩 指 導 老 師 : 鄭 瑞 恒 教 授 中 華 民 國 101 年 12 月 守 塔 遊 戲 設 計 Tower Defense Game Design 學 生 : 李 宏 志 Student:Hong-Zhi Li 學 生 :
Shanghai International Studies University A STUDY ON SYNERGY BUYING PRACTICE IN ABC COMPANY A Thesis Submitted to the Graduate School and MBA Center I
上 海 外 国 语 大 学 工 商 管 理 硕 士 学 位 论 文 ABC 中 国 食 品 公 司 的 整 合 采 购 研 究 学 科 专 业 : 工 商 管 理 硕 士 (MBA) 作 者 姓 名 :0113700719 指 导 教 师 : 答 辩 日 期 : 2013 年 12 月 上 海 外 国 语 大 学 二 一 四 年 一 月 Shanghai International Studies
,20 80,,,,, ; 80 90,, [ 4 ], [ 5 ],, ;21,,,,,,,20 80,,,,, ( ) ; ( ) ; ( ) ; ( ) [6 ], 90,,,,, [ 7 ] 21,,,,, [ 8 ],,, 30,,,,,,,,,,, ;,, ;,, ; 30,,,,,,,
![,20 80,,,,, ; 80 90,, [ 4 ], [ 5 ],, ;21,,,,,,,20 80,,,,, ( ) ; ( ) ; ( ) ; ( ) [6 ], 90,,,,, [ 7 ] 21,,,,, [ 8 ],,, 30,,,,,,,,,,, ;,, ;,, ; 30,,,,,,,](/thumbs/50/26019873.jpg ",20 80,,,,, ; 80 90,, [ 4 ], [ 5 ],, ;21,,,,,,,20 80,,,,, ( ) ; ( ) ; ( ) ; ( ) [6 ], 90,,,,, [ 7 ] 21,,,,, [ 8 ],,, 30,,,,,,,,,,, ;,, ;,, ; 30,,,,,,,")
2009 3 ( 350 ) 30 EDUCA TIONAL RESEARCH No. 3,2009 General,No. 350 30 [ ] 30,,:, ;,;, ;,;, ;, ;, [] ;; ; [ ],, ( 200062) 30,,,,,,,,,, 30,,,,20,,,,, ;, [ 1 ] 30,,,,,20 80,,,,,90,,,21,,,20 70 80,,90, [ 2
Gassama Abdoul Gadiri University of Science and Technology of China A dissertation for master degree Ordinal Probit Regression Model and Application in Credit Rating for Users of Credit Card Author :
1 ABSTRACT 3 5 13 14 14 15 15 16 17 18 18 18 18-21 28 33 34 46 47 53 54 2
: - S99017212 O O 1 1 ABSTRACT 3 5 13 14 14 15 15 16 17 18 18 18 18-21 28 33 34 46 47 53 54 2 - A L Aeq CNE 463 3-5 L Aeq L Aeq CNE WHO/ISH 1999 [49] 18.6kPa / 12.0kPa EpiInfo6.04 SPSS10.0 Logistic 10
1 * 1 *
1 * 1 * taka@unii.ac.jp 1992, p. 233 2013, p. 78 2. 1. 2014 1992, p. 233 1995, p. 134 2. 2. 3. 1. 2014 2011, 118 3. 2. Psathas 1995, p. 12 seen but unnoticed B B Psathas 1995, p. 23 2004 2006 2004 4 ah
Microsoft PowerPoint - 数据通信-ch1.ppt
主 要 内 容 与 基 本 要 求 主 要 内 容 数 据 通 信 与 计 算 机 网 络 计 算 机 网 络 的 发 展 过 程 分 类 以 及 主 要 性 能 指 标 ; 分 组 交 换 的 基 本 原 理 及 其 与 电 路 交 换 报 文 交 换 的 联 系 与 区 别 ; 计 算 机 网 络 的 协 议 与 体 系 结 构 第 1 章 概 述 基 本 要 求 掌 握 分 组 交 换 电 路
A Study on Innovative Value Adding Model of New Building The Case Study of The Crystal House in Taichung StudentChen-Tair HUANG AdvisorDr.Chyan YANG A
A Study on Innovative Value Adding Model of New Building The Case Study of The Crystal House in Taichung StudentChen-Tair HUANG AdvisorDr.Chyan YANG A Thesis Submitted to Master Program of Management for
Microsoft Word - D-2°w¶Ë¬ì¹ï¤U�Iµh®{¤âÀˬd¬yµ{_¬x°ö�×__P.329-335_.doc
針 傷 科 對 下 背 痛 徒 手 檢 查 流 程 329 針 傷 科 對 下 背 痛 徒 手 檢 查 流 程 洪 培 修 1 張 晉 賢 2 張 世 良 3 1 嘉 義 基 督 教 醫 院 中 醫 科 系 2 長 庚 紀 念 醫 院 中 醫 醫 院 基 隆 分 院 暨 長 庚 大 學 醫 學 院 3 中 國 醫 藥 大 學 中 醫 院 學 針 灸 研 究 所 摘 要 前 言 腰 痛 或 下 背 痛
48 Computer Education 2011 2 课 程 体 系 设 置 2.1 科 学 设 置 培 养 方 案 课 程 模 块, 确 定 培 养 方 向 首 先, 我 们 通 过 对 人 才 市 场 需 求 分 析, 确 定 了 专 业 培 养 目 标 然 后, 根 据 教 育 部 高 等
第 3 期 2011 年 2 月 10 日 Computer Education No.3 Feb.10,2011 47 文 章 编 号 :1672-5913(2011)03-0047-05 中 图 分 类 号 :G642 文 献 标 识 码 :A 网 络 工 程 1+X 应 用 型 人 才 培 养 新 模 式 陈 晓 龙, 彭 志 平 ( 广 东 石 油 化 工 学 院 计 算 机 科 学 与 技
2005 The Analysis and Design for a Chain Supermarket Intelligent Delivery System () 2005 4 I Abstract The Analysis and Design for a Chain Supermarket Intelligent Delivery System The Analysis and Design
Microsoft Word - 103-4 記錄附件
國 立 虎 尾 技 大 103 年 度 第 4 次 教 務 會 議 記 錄 附 件 中 華 民 國 104 年 6 月 16 日 受 文 者 : 國 立 虎 尾 技 大 發 文 日 期 : 中 華 民 國 104 年 5 月 28 日 發 文 字 號 : 臺 教 技 ( 二 ) 字 第 1040058590 號 速 別 : 最 速 件 密 等 及 解 密 條 件 或 保 密 期 限 : 附 件 :
<4D6963726F736F667420576F7264202D20BEDBC9B3B3C9CBFEA1AAA1AAC9CCBDADBDCCD3FDCEC4BCAF20A3A8D6D0A3A92E646F63>
高 等 教 育 初 步 探 讨 高 等 学 校 党 委 书 记 和 校 长 的 岗 位 职 责 内 容 提 要 : 2003 年 出 版 的 高 等 教 育 杂 志, 几 乎 每 期 都 有 探 讨 高 等 学 校 党 委 领 导 下 的 校 长 分 工 负 责 制 的 文 章 我 以 为, 这 些 文 章 所 涉 及 的 中 心 问 题 是 高 等 学 校 党 委 书 记 和 校 长 谁 是 一
学校代号 10199 学 号20092209134
学 校 代 号 10199 学 号 20092209134 硕 士 学 位 论 文 中 药 塌 渍 护 理 干 预 联 合 超 声 雾 化 对 小 儿 肺 炎 喘 嗽 的 临 床 观 察 研 究 Traditional Chinese medicine collapse stains nursing intervention to joint of ultrasonic atomizer infantile
Microsoft Word - 24217010311110028谢雯雯.doc
HUAZHONG AGRICULTURAL UNIVERSITY 硕 士 学 位 论 文 MASTER S DEGREE DISSERTATION 80 后 女 硕 士 生 择 偶 现 状 以 武 汉 市 七 所 高 校 为 例 POST-80S FEMALE POSTGRADUATE MATE SELECTION STATUS STUDY TAKE WUHAN SEVEN UNIVERSITIES
Microsoft PowerPoint - Aqua-Sim.pptx
Peng Xie, Zhong Zhou, Zheng Peng, Hai Yan, Tiansi Hu, Jun-Hong Cui, Zhijie Shi, Yunsi Fei, Shengli Zhou Underwater Sensor Network Lab 1 Outline Motivations System Overview Aqua-Sim Components Experimental
Wuhan Textile University M. A. S Dissertation Emotional Design of Home Textile Based on the Chinese Traditional Culture Wedding Bedding for Example Ca
分 类 号 J523 学 校 代 码 10495 UDC 746 密 级 硕 士 学 位 论 文 基 于 中 国 传 统 文 化 的 家 用 纺 织 品 情 感 化 研 究 以 婚 庆 床 上 用 品 为 例 作 者 姓 名 : 郭 晓 彤 学 号 : 1115013015 指 导 教 师 : 学 科 门 类 : 高 波 副 教 授 艺 术 学 专 业 : 设 计 艺 术 学 研 究 方 向 : 完
62 互 動 性 裝 置 藝 術 對 幼 保 系 學 生 壓 力 情 緒 療 癒 影 響 之 案 例 探 究 62 壹 緒 論 一 研 究 背 景 與 動 機 根 據 財 團 法 人 董 氏 基 金 會 於 2008 年 1 對 大 學 生 主 觀 壓 力 來 源 與 憂 鬱 情 緒 相 關 性 研
幼 兒 教 保 研 究 期 刊 2015 第 15 期 61 互 動 性 裝 置 藝 術 對 幼 保 系 學 生 壓 力 情 緒 療 癒 影 響 之 案 例 探 究 陳 麗 媜 李 依 儒 陳 麗 安 盧 奕 帆 鍾 羽 芃 明 新 科 技 大 學 幼 兒 保 育 系 摘 要 現 今 大 學 生 因 面 臨 各 種 壓 力 而 經 常 產 生 憂 鬱 的 情 緒 適 當 的 壓 力 紓 解 及 良
% 6 9 [1] % 97% [2] 2 93% 3 4,, 2
![% 6 9 [1] % 97% [2] 2 93% 3 4,, 2](/thumbs/92/108840252.jpg "% 6 9 [1] % 97% [2] 2 93% 3 4,, 2")
1 2 3 (1. 010021;2. 980-8578;3. 980-0845, :, 10, : S288 A,,,,, 2004,,, 1 1 40 47-41 23 110 31-111 53 110 60 50 1 2.4 34.4-37 360.4 81% 6 9 [1] 200 2006 17.3 14.3 84% 97% [2] 2 93% 3 4,, 2 2 3 : 2007 3
10384 19020101152519 UDC Rayleigh Quasi-Rayleigh Method for computing eigenvalues of symmetric tensors 2 0 1 3 2 0 1 3 2 0 1 3 2013 , 1. 2. [4], [27].,. [6] E- ; [7], Z-. [15]. Ramara G. kolda [1, 2],
WTO
10384 200015128 UDC Exploration on Design of CIB s Human Resources System in the New Stage (MBA) 2004 2004 2 3 2004 3 2 0 0 4 2 WTO Abstract Abstract With the rapid development of the high and new technique
thesis_irene_hsiao1
(GE AN YAN JIU: SHANDONG PINGDU DE CHUN LEI JI HUA) THESIS Presented in Partial Fulfillment of the Requirements for the Degree Master of Arts in the Graduate School of the Ohio State University By Irene
Microsoft Word - 33-p0191-14skyd8.doc
第 20 卷 第 4 期 中 南 大 学 学 报 ( 社 会 科 学 版 ) Vol.20 No.4 2014 年 8 月 J. CENT. SOUTH UNIV. (SOCIAL SCIENCE) Aug. 2014 基 于 模 糊 层 次 分 析 法 的 政 府 干 部 胜 任 力 评 价 实 证 研 究 薛 琴 ( 南 京 工 程 学 院 经 济 与 管 理 学 院, 江 苏 南 京,211167)
Microsoft Word - a8_wu_guangyun
论 区 域 合 作 中 的 政 策 冲 突 及 其 协 调 吴 光 芸 ( 南 昌 大 学 公 共 管 理 学 院, 南 昌 330031) 内 容 摘 要 : 区 域 合 作 的 关 键 是 协 调 各 利 益 主 体 和 各 要 素 之 间 的 关 系, 促 进 各 地 区 的 有 序 发 展 在 区 域 合 作 过 程 中, 由 于 政 策 制 定 主 体 的 多 元 性 和 非 隶 属 性,
10384 199928010 UDC 2002 4 2002 6 2002 2002 4 DICOM DICOM 1. 2. 3. Canny 4. 5. DICOM DICOM DICOM DICOM I Abstract Eyes are very important to our lives. Biologic parameters of anterior segment are criterions
案例正文：（幼圆、小三、加粗）（全文段前与段后0
案 例 正 文 : 1 中 国 农 业 银 行 FMIS 系 统 开 发 摘 要 : 本 案 例 描 述 一 家 大 型 商 业 银 行 自 主 开 发 战 略 性 管 理 信 息 系 统 的 过 程 该 系 统 不 仅 规 模 大, 而 且 业 务 类 型 复 杂, 项 目 启 动 时 的 系 统 目 标 具 有 高 度 不 确 定 性 项 目 独 特 之 处 是 业 务 专 家 在 项 目 中
BIBLID 0254-4466(2000)18: pp. 175-198 18 89 12 * 175 176 20 177 1980 1982 1985 1985 1972 -p -t -k 178 1985 1987 1990 1992 1991 1985 1980 1980 1980 1981 1981 1980 1990 1995 1982 1991 1985 1993 1992 1992
张建城毕业论文.doc
Nanjing University of Aeronautics and Astronautics The Graduate School College of Civil Aviation Research and Development on Revenue Management Forecasting System A Thesis in Transportation Engineering
[9] R Ã : (1) x 0 R A(x 0 ) = 1; (2) α [0 1] Ã α = {x A(x) α} = [A α A α ]. A(x) Ã. R R. Ã 1 m x m α x m α > 0; α A(x) = 1 x m m x m +
![[9] R Ã : (1) x 0 R A(x 0 ) = 1; (2) α [0 1] Ã α = {x A(x) α} = [A α A α ]. A(x) Ã. R R. Ã 1 m x m α x m α > 0; α A(x) = 1 x m m x m +](/thumbs/91/107439066.jpg "[9] R Ã : (1) x 0 R A(x 0 ) = 1; (2) α [0 1] Ã α = {x A(x) α} = [A α A α ]. A(x) Ã. R R. Ã 1 m x m α x m α > 0; α A(x) = 1 x m m x m +")
2012 12 Chinese Journal of Applied Probability and Statistics Vol.28 No.6 Dec. 2012 ( 224002) Euclidean Lebesgue... :. : O212.2 O159. 1.. Zadeh [1 2]. Tanaa (1982) ; Diamond (1988) (FLS) FLS LS ; Savic
Microsoft Word - ED-774.docx
journal.newcenturyscience.com/index.php/gjanp Global Journal of Advanced Nursing Practice,214,Vol.1,No.1 The practicality of an improved method of intravenous infusion exhaust specialized in operating
國立中山大學學位論文典藏.PDF
93 2 () ()A Study of Virtual Project Team's Knowledge Integration and Effectiveness - A Case Study of ERP Implementation N924020024 () () ()Yu ()Yuan-Hang () ()Ho,Chin-Fu () ()Virtual Team,Knowledge Integration,Project
2 ( 自 然 科 学 版 ) 第 20 卷 波 ). 这 种 压 缩 波 空 气 必 然 有 一 部 分 要 绕 流 到 车 身 两 端 的 环 状 空 间 中, 形 成 与 列 车 运 行 方 向 相 反 的 空 气 流 动. 在 列 车 尾 部, 会 产 生 低 于 大 气 压 的 空 气 流
第 20 卷 第 3 期 2014 年 6 月 ( 自 然 科 学 版 ) JOURNAL OF SHANGHAI UNIVERSITY (NATURAL SCIENCE) Vol. 20 No. 3 June 2014 DOI: 10.3969/j.issn.1007-2861.2013.07.031 基 于 FLUENT 测 轨 道 交 通 隧 道 中 电 波 折 射 率 结 构 常 数 张 永
社会科学研究方法-1.ppt [兼容模式]
![社会科学研究方法-1.ppt [兼容模式]](/thumbs/42/22947031.jpg "社会科学研究方法-1.ppt [兼容模式]")
社 会 科 学 研 究 方 法 Research Methods In Social Sciences 主 讲 : 王 福 涛 博 士, 副 教 授 wangfutao@hotmail.com 1 课 程 简 介 主 要 内 容 : 旨 在 教 授 如 何 发 现 理 论 问 题 并 对 其 科 学 的 理 解 与 分 析, 藉 此 锻 炼 解 决 问 题 的 实 践 能 力, 为 撰 写 毕 业
1990-1997 1980-1997 Abstract The relationship between human resource development and economy increase has been an important research item with the coming of knowledge economy. In this paper, ahead item
% % % % % % ~
1001-5558 2015 03-0021-16 2010 C91 A 2014 5 2010 N. W. Journal of Ethnology 2015 3 86 2015.No.3 Total No.86 2010 2010 2181.58 882.99 40.47% 1298.59 59.53% 2013 2232.78 847.29 37.95% 1385.49 62.05% 1990
θ 1 = φ n -n 2 2 n AR n φ i = 0 1 = a t - θ θ m a t-m 3 3 m MA m 1. 2 ρ k = R k /R 0 5 Akaike ρ k 1 AIC = n ln δ 2
35 2 2012 2 GEOMATICS & SPATIAL INFORMATION TECHNOLOGY Vol. 35 No. 2 Feb. 2012 1 2 3 4 1. 450008 2. 450005 3. 450008 4. 572000 20 J 101 20 ARMA TU196 B 1672-5867 2012 02-0213 - 04 Application of Time Series
STEAM STEAM STEAM ( ) STEAM STEAM ( ) 1977 [13] [10] STEM STEM 2. [11] [14] ( )STEAM [15] [16] STEAM [12] ( ) STEAM STEAM [17] STEAM STEAM STEA
![STEAM STEAM STEAM ( ) STEAM STEAM ( ) 1977 [13] [10] STEM STEM 2. [11] [14] ( )STEAM [15] [16] STEAM [12] ( ) STEAM STEAM [17] STEAM STEAM STEA](/thumbs/92/108190716.jpg "STEAM STEAM STEAM ( ) STEAM STEAM ( ) 1977 [13] [10] STEM STEM 2. [11] [14] ( )STEAM [15] [16] STEAM [12] ( ) STEAM STEAM [17] STEAM STEAM STEA")
2017 8 ( 292 ) DOI:10.13811/j.cnki.eer.2017.08.017 STEAM 1 1 2 3 4 (1. 130117; 2. + 130117; 3. 130022;4. 518100) [ ] 21 STEAM STEAM STEAM STEAM STEAM STEAM [ ] STEAM ; ; [ ] G434 [ ] A [ ] (1970 ) E-mail:ddzhou@nenu.edu.cn
Microsoft Word - A201101-1519.doc
5 10 15 20 25 30 基 于 ASP+ACCESS 的 辽 宁 工 程 技 术 大 学 考 试 网 的 设 计 与 开 发 董 强 1, 宋 喜 义 2 2**, 黄 培 泉 (1. 辽 宁 工 程 技 术 大 学 安 全 科 学 与 工 程 学 院, 辽 宁 阜 新 123000; 2. 辽 宁 工 程 技 术 大 学 实 验 实 训 中 心, 辽 宁 阜 新 123000) 摘 要
) ( ) 2008 (300m ) 1 FRP [1 ] FRP 3 FRP FRP (CFRP) FRP CFRP (fiber reinforced polymer FRP) 60 % 160MPa 2400MPa [2 ] FRP 1 2mm FRP FRP 1 FRP C
![) ( ) 2008 (300m ) 1 FRP [1 ] FRP 3 FRP FRP (CFRP) FRP CFRP (fiber reinforced polymer FRP) 60 % 160MPa 2400MPa [2 ] FRP 1 2mm FRP FRP 1 FRP C](/thumbs/43/23160448.jpg ") ( ) 2008 (300m ) 1 FRP [1 ] FRP 3 FRP FRP (CFRP) FRP CFRP (fiber reinforced polymer FRP) 60 % 160MPa 2400MPa [2 ] FRP 1 2mm FRP FRP 1 FRP C")
28 4 Vol128 No14 2007 8 Journal of Building Structures Aug12007 :100026869 (2007) 0420109208 FRP ( 100084) : (FRP) FRP FRP FRP FRP FRP 5 : (FRP) ; ; ; ; :TU383 :A Concepts forms and basic analysis of FRP
10 ( ) ( ) [5] 1978 : [1] (P13) [6] [1] (P217) [7] [1] (P19) : : [1] [4] (P1347) (P18) 1985 : [1] (P343) 1300 : [1] (P12) 1984 :
![10 ( ) ( ) [5] 1978 : [1] (P13) [6] [1] (P217) [7] [1] (P19) : : [1] [4] (P1347) (P18) 1985 : [1] (P343) 1300 : [1] (P12) 1984 :](/thumbs/91/106610658.jpg "10 ( ) ( ) [5] 1978 : [1] (P13) [6] [1] (P217) [7] [1] (P19) : : [1] [4] (P1347) (P18) 1985 : [1] (P343) 1300 : [1] (P12) 1984 :")
27 3 ( ) Vol.27 No.3 2010 5 Journal of Shenzhen University (Humanities & Social Sciences) May 2010 ( 518060) : ; : ; : ; ; ; ; : F 127.9 :A :1000-260X(2010)03-0009-13 30 [2] : [2] (P381) 1979 : : [3] :1978
1 VLBI VLBI 2 32 MHz 2 Gbps X J VLBI [3] CDAS IVS [4,5] CDAS MHz, 16 MHz, 8 MHz, 4 MHz, 2 MHz [6] CDAS VLBI CDAS 2 CDAS CDAS 5 2
![1 VLBI VLBI 2 32 MHz 2 Gbps X J VLBI [3] CDAS IVS [4,5] CDAS MHz, 16 MHz, 8 MHz, 4 MHz, 2 MHz [6] CDAS VLBI CDAS 2 CDAS CDAS 5 2](/thumbs/93/111695992.jpg "1 VLBI VLBI 2 32 MHz 2 Gbps X J VLBI [3] CDAS IVS [4,5] CDAS MHz, 16 MHz, 8 MHz, 4 MHz, 2 MHz [6] CDAS VLBI CDAS 2 CDAS CDAS 5 2")
32 1 Vol. 32, No. 1 2014 2 PROGRESS IN ASTRONOMY Feb., 2014 doi: 10.3969/j.issn.1000-8349.2014.01.07 VLBI 1,2 1,2 (1. 200030 2. 200030) VLBI (Digital Baseband Convertor DBBC) CDAS (Chinese VLBI Data Acquisition
untitled
20 90 1998 2001 1 Abstract Under the environment of drastic competitive market, risk and uncertainty that the enterprise faces are greater and greater, the profit ability of enterprise assets rises and
I
The Effect of Guided Discovery on The Learning Achievement and Learning Transfer of Grade 5 Students in Primary Schools I II Abstract The Effect of Guided Discovery on The Learning Achievement And Learning
1 科 学 谋 划, 有 序 促 进 扶 贫 工 作 的 持 续 发 展 1.1 科 学 定 位, 精 准 发 现 地 方 的 需 求 按 照 国 家 生 态 功 能 区 的 划 分, 库 伦 旗 属 重 点 生 态 保 护 开 发 区 这 里 生 态 环 境 优 良 特 色 作 物 资 源 优 势
Major Strategy and Policy Research on Targeted Poverty Alleviation 精 准 扶 贫 中 科 技 的 作 用 * 中 国 科 学 院 内 蒙 古 库 伦 旗 扶 贫 对 策 与 成 效 1 张 铜 会 2 唐 炜 1 中 国 科 学 院 寒 区 旱 区 环 境 与 工 程 研 究 所 兰 州 730000 2 中 国 科 学 院 科 技
Abstract Today, the structures of domestic bus industry have been changed greatly. Many manufacturers enter into the field because of its lower thresh
SWOT 5 Abstract Today, the structures of domestic bus industry have been changed greatly. Many manufacturers enter into the field because of its lower threshold. All of these lead to aggravate drastically
50% SWEET 甜 蜜 五 分 仔 - 橋 頭 糖 廠 紀 念 商 品 開 發 設 計 之 研 究 50% SWEET - The Study on the Development and Design of Souvenirs of Qiao Tou Sugar Plant 研 究 生 : 陳
樹 德 科 技 大 學 應 用 設 計 研 究 所 碩 士 論 文 50% SWEET 甜 蜜 五 分 仔 - 橋 頭 糖 廠 紀 念 商 品 開 發 設 計 之 研 究 50% SWEET - The Study on the Development and Design of Souvenirs of Qiao Tou Sugar Plant 研 究 生 : 陳 宥 薰 指 導 教 授 : 郭
...1 Abstract
Web Online Testing System Based on Web : : :S2002253 : : : 2002 4 1 ...1 Abstract...1...2 1.1...2 1.2...2 1.3...3...5 2.1...5 2.1.1...5 2.1.2...5 2.2...12 2.2.1...12 2.2.2...13 2.2.3...13...18 3.1...18
36
中 国 农 学 通 报 2014,30(3):315-320 Chinese Agricultural Science Bulletin 中 国 生 物 资 产 信 息 披 露 的 规 范 性 研 究 基 于 农 业 上 市 公 司 的 实 证 分 析 蔡 月 梅, 杨 德 利 ( 上 海 海 洋 大 学 经 济 管 理 学 院, 上 海 20130) 摘 要 : 生 物 资 产 准 则 已 实 施
穨control.PDF
TCP congestion control yhmiu Outline Congestion control algorithms Purpose of RFC2581 Purpose of RFC2582 TCP SS-DR 1998 TCP Extensions RFC1072 1988 SACK RFC2018 1996 FACK 1996 Rate-Halving 1997 OldTahoe
报 告 1: 郑 斌 教 授, 美 国 俄 克 拉 荷 马 大 学 医 学 图 像 特 征 分 析 与 癌 症 风 险 评 估 方 法 摘 要 : 准 确 的 评 估 癌 症 近 期 发 病 风 险 和 预 后 或 者 治 疗 效 果 是 发 展 和 建 立 精 准 医 学 的 一 个 重 要 前
东 北 大 学 中 荷 生 物 医 学 与 信 息 工 程 学 院 2016 年 度 生 物 医 学 与 信 息 工 程 论 坛 会 议 时 间 2016 年 6 月 8 日, 星 期 三,9:30 至 16:00 会 议 地 址 会 议 网 址 主 办 单 位 东 北 大 学 浑 南 校 区 沈 阳 市 浑 南 区 创 新 路 195 号 生 命 科 学 大 楼 B 座 619 报 告 厅 http://www.bmie.neu.edu.cn
9 Internet 10 Internet
1 2 3 4 5 6 Internet 7 8 9 Internet 10 Internet 11 12 1 1.1 1.2 1.3 1.4 1.5 1.6 1.1 1.1.1 20 50 20 60 ARPANET ARPANET Internet 20 70 ISO International Organization for Standardization TCP/IP 20 90 Internet
ENGG1410-F Tutorial 6
Jianwen Zhao Department of Computer Science and Engineering The Chinese University of Hong Kong 1/16 Problem 1. Matrix Diagonalization Diagonalize the following matrix: A = [ ] 1 2 4 3 2/16 Solution The
University of Science and Technology of China A dissertation for master s degree A Study on Cross-border M&A of Chinese Enterprises Author s Name: JIA
中 国 科 学 技 术 大 学 硕 士 学 位 论 文 中 国 大 陆 企 业 境 外 并 购 研 究 作 者 姓 名 : 学 科 专 业 : 导 师 姓 名 : 完 成 时 间 : 蒋 果 管 理 科 学 与 工 程 鲁 炜 二 八 年 四 月 二 十 日 University of Science and Technology of China A dissertation for master
97 10 49-69 * α=.05 1. 2. 3. 3.8 3.79 3.68 2.79 2.734. 5. 50 97 10 51 52 97 10 Cronbach s α.83.84.91.93.90.90 Cronbach s α.84.85.91.91.74.92 SPSS for Windows 12.0 53 Tukey α=.05 12.5% BC C 54 97 10 67
% GIS / / Fig. 1 Characteristics of flood disaster variation in suburbs of Shang
20 6 2011 12 JOURNAL OF NATURAL DISASTERS Vol. 20 No. 6 Dec. 2011 1004-4574 2011 06-0094 - 05 200062 1949-1990 1949 1977 0. 8 0. 03345 0. 01243 30 100 P426. 616 A Risk analysis of flood disaster in Shanghai
2015 年 第 24 卷 第 11 期 计 算 机 系 统 应 用 历 的 主 体 部 分 多 以 非 结 构 化 的 文 本 形 式 存 储, 很 多 研 究 只 能 基 于 有 限 的 结 构 化 数 据 进 行 [4,5], 无 法 满 足 临
![2015 年 第 24 卷 第 11 期 计 算 机 系 统 应 用 历 的 主 体 部 分 多 以 非 结 构 化 的 文 本 形 式 存 储, 很 多 研 究 只 能 基 于 有 限 的 结 构 化 数 据 进 行 [4,5], 无 法 满 足 临](/thumbs/42/23028586.jpg "2015 年 第 24 卷 第 11 期 计 算 机 系 统 应 用 历 的 主 体 部 分 多 以 非 结 构 化 的 文 本 形 式 存 储, 很 多 研 究 只 能 基 于 有 限 的 结 构 化 数 据 进 行 [4,5], 无 法 满 足 临")
计 算 机 系 统 应 用 http://www.c-s-a.org.cn 2015 年 第 24 卷 第 11 期 1 面 向 电 子 病 历 中 文 医 学 信 息 的 可 视 组 织 方 法 徐 天 明 1,2, 樊 银 亭 3, 马 翠 霞 1, 滕 东 兴 1 ( 中 国 科 学 院 软 件 研 究 所 人 机 交 互 技 术 与 智 能 信 息 处 理 实 验 室, 北 京 100190)
<4D6963726F736F667420576F7264202D20B8DFB9B0B0D3B0D3F5E0D3A6C1A6CAB5B2E2D3EBBCC6CBE3BDE1B9FBB2EED2ECD4ADD2F2B7D6CEF62DD5C5B9FAD0C22E646F6378>
高 拱 坝 坝 踵 应 力 实 测 与 计 算 结 果 差 异 原 因 分 析 张 国 新 周 秋 景 ( 中 国 水 利 水 电 科 学 研 究 院, 北 京 100038) 摘 要 : 坝 踵 应 力 是 关 系 到 混 凝 土 坝 是 否 开 裂 和 安 全 的 一 个 重 要 指 标, 不 管 是 用 结 构 力 学 法 还 是 有 限 元 法 都 能 计 算 出 坝 踵 有 一 定 的 拉
Microsoft Word - 黃淑蓉碩士論文_0817
樹 德 科 技 大 學 建 築 與 環 境 設 計 研 究 所 碩 士 論 文 異 質 空 間 觀 點 下 的 校 園 空 間 研 究 - 以 高 雄 市 中 正 高 工 為 例 Study on Campus Space from the Viewpoint of Heterotopia - A Case Study of Kaohsiung Municipal Jhong-Jheng Industrial
Microsoft Word - 論文封面-980103修.doc
淡 江 大 學 中 國 文 學 學 系 碩 士 在 職 專 班 碩 士 論 文 指 導 教 授 : 呂 正 惠 蘇 敏 逸 博 士 博 士 倚 天 屠 龍 記 愛 情 敘 事 之 研 究 研 究 生 : 陳 麗 淑 撰 中 華 民 國 98 年 1 月 淡 江 大 學 研 究 生 中 文 論 文 提 要 論 文 名 稱 : 倚 天 屠 龍 記 愛 情 敘 事 之 研 究 頁 數 :128 校 系 (
國立中山大學學位論文典藏
I II III IV The theories of leadership seldom explain the difference of male leaders and female leaders. Instead of the assumption that the leaders leading traits and leading styles of two sexes are the
Microsoft Word - Alan Jameson's Master's Thesis.pdf
Obstacles and Opportunities for Microcredit Companies Developing in the Countryside Dissertation Presented in Partial Fulfillment of the Requirements for Master of Arts in the Graduate School of The Ohio
Microsoft Word - 24217011311120061钟翠翠.doc
HUAZHONG AGRICULTURAL UNIVERSITY 硕 士 学 位 论 文 MASTER S DEGREE DISSERTATION 女 性 主 义 视 角 下 女 大 学 生 就 业 性 别 歧 视 现 状 研 究 以 华 中 农 业 大 学 为 例 RESEARCH ON THE STATUS OF GENDER DISCRIMINATION IN EMPLOYMENT FOR FEMALE
a a a 1. 4 Izumi et al Izumi & Bigelow b
26 2012 2 * 10 6 1996 2002 2006 1996 2007 2004 2004 60 4 30 1998 2006 2006-2007 1. 1 * ' 2010 2011 254 2000 2005a 1999 3 2000 2004 2008 1. 2 2004 2005a 1. 3 1 2 3 4 5 4 2000 2004 2005a 1. 4 Izumi et al.
Microsoft Word - 46.doc
基 于 PDM 的 邮 件 管 理 系 统 的 研 究 汪 水 琴 李 杨 谢 川 杨 文 通 王 建 华 ( 北 京 工 业 大 学, 北 京,100022 ) Research of an E-Mail Management System Based on PDM WANG Shui-qin, LI Yang, XIE Chuan, YANG Wen-tong, WANG Jian-hua (Beijing
Microsoft PowerPoint ARIS_Platform_en.ppt
ARIS Platform www.ixon.com.tw ARIS ARIS Architecture of Integrated Information System Prof. Dr. Dr. h.c. mult. August-Wilhelm Scheer ARIS () 2 IDS Scheer AG International Presence >> Partners and subsidiaries
声 明 本 人 郑 重 声 明 : 此 处 所 提 交 的 硕 士 学 位 论 文 基 于 等 级 工 鉴 定 的 远 程 考 试 系 统 客 户 端 开 发 与 实 现, 是 本 人 在 中 国 科 学 技 术 大 学 攻 读 硕 士 学 位 期 间, 在 导 师 指 导 下 进 行 的 研 究
中 国 科 学 技 术 大 学 硕 士 学 位 论 文 题 目 : 农 村 电 工 岗 位 培 训 考 核 与 鉴 定 ( 理 论 部 分 ) 的 计 算 机 远 程 考 试 系 统 ( 服 务 器 端 ) 的 开 发 与 实 现 英 文 题 目 :The Realization of Authenticating Examination System With Computer & Web for
2013国际营销科学与信息技术大会（MSIT2013）
2013 国 际 营 销 科 学 与 信 息 技 术 大 会 (MSIT2013) 邀 请 函 随 着 全 球 市 场 环 境 的 不 断 变 化 和 网 络 信 息 技 术 的 日 新 月 异, 营 销 科 学 和 营 销 方 式 的 创 新 对 于 企 业 的 发 展 起 着 越 来 越 大 的 作 用 为 了 进 一 步 推 动 国 内 外 营 销 学 者 的 学 术 交 流 与 合 作, 促
陶艳.doc
2009 年 中 小 板 公 司 内 控 制 度 建 立 和 执 行 情 况 陶 艳 ( 深 圳 证 券 交 易 所, 广 东 深 圳 518010) 摘 要 : 本 文 对 358 家 中 小 企 业 板 上 市 公 司 2009 年 年 报 中 披 露 的 内 部 控 制 制 度 建 立 和 执 行 情 况 进 行 了 分 析 对 年 报 中 内 部 控 制 自 我 评 价 报 告 和 会 计
XML XML XMPP XML XML Schema XML XML,,, XML,
XML ( ) XML XML XMPP XML XML Schema XML XML,,, XML, Abstract With the improvement of teaching infrastructure such as networks and computers in China, there is an increasing demand for network-based testing