第 卷 第 期 杨 修 涛 迟 鹏 杜 宇 坤 等 基 于 需 求 的 断 言 自 动 生 成 技 术 方 法 以 及 考 虑 可 观 测 性 的 激 励 生 成 方 法 文 献 针 对 验 证 需 要 多 少 断 言 才 能 取 得 比 较 理 想 结 果 的 问 题 给 出 了 建 议 与 指
|
|
|
- 丹祠 戚
- 7 years ago
- Views:
Transcription
1 第 卷 第 期 计 算 机 工 程 年 月 体 系 结 构 与 软 件 技 术 文 章 编 号 文 献 标 志 码 中 图 分 类 号 基 于 需 求 的 断 言 自 动 生 成 技 术 杨 修 涛 迟 鹏 杜 宇 坤 徐 林 伟 北 京 电 子 工 程 总 体 研 究 所 北 京 中 星 微 电 子 有 限 公 司 上 海 摘 要 基 于 断 言 的 验 证 方 法 已 经 广 泛 应 用 于 芯 片 设 计 和 验 证 其 主 要 作 用 是 提 高 验 证 效 率 和 验 证 质 量 然 而 单 纯 依 靠 手 工 编 写 断 言 需 要 耗 费 大 量 人 力 和 时 间 使 得 断 言 的 应 用 受 到 较 大 限 制 为 此 提 出 一 种 基 于 需 求 的 断 言 自 动 生 成 方 法 通 过 规 范 波 形 描 述 方 式 定 义 行 为 窗 及 解 析 寄 存 器 传 输 级 代 码 给 出 信 号 组 合 算 法 及 波 形 分 析 算 法 并 设 计 包 含 波 形 库 断 言 库 及 波 形 解 析 器 的 断 言 自 动 生 成 工 具 实 验 结 果 表 明 与 手 工 编 写 的 断 言 相 比 该 方 法 生 成 的 断 言 在 数 量 上 满 足 每 条 寄 存 器 传 输 级 代 码 对 应 条 条 断 言 的 要 求 并 且 正 确 率 较 高 关 键 词 断 言 自 动 生 成 系 统 需 求 验 证 方 法 寄 存 器 传 输 级 行 为 窗 中 文 引 用 格 式 杨 修 涛 迟 鹏 杜 宇 坤 等 基 于 需 求 的 断 言 自 动 生 成 技 术 计 算 机 工 程 # 英 文 引 用 格 式!% %&(!2%%' 1% 5'&4/%$ (%$ #,#,'$,#5''$,#'"'.'%#&'%!1 % (0!2 0 3 /,'' 1%/ &% ' $ %"&%&%&% (,$, #-%$,'% 3$ $ $ %$,'%,,'%,'' %$ 4%3%% 3 % ' %,%$ %33&'& % &%'%,% 5 & -& % % %%'% % &$ -%$ $%$ "%'- %& %$ 3%, %% %& % - % 3%, $' 3%$, &-&%3$3 %$ % &%,'$5&%%'% % 3&'& '% 3%-%% -% %$ 3%%& $$%&3 &%&&$ '% & 4,% %,%,'$%$ &%$ % &%&& %''%' /'0 1#$% %' 1% " 1" $%$,'% &$ %, -&%%3$3 & 7# 概 述 电 子 自 动 设 计 ''( % ( 和 计 算 机 辅 助 设 计 $$ ( ( 促 进 了 集 成 电 路 技 术 的 发 展 在 芯 片 规 模 变 得 越 来 越 庞 大 的 同 时 芯 片 验 证 也 越 来 越 重 要 目 前 芯 片 验 证 工 作 占 用 的 人 力 时 间 越 来 越 多 占 整 个 芯 片 工 作 量 的 以 上 芯 片 验 证 对 断 言 的 依 赖 也 不 断 增 强 基 于 断 言 的 验 证 在 芯 片 验 证 中 有 着 广 泛 应 用 目 前 已 开 展 了 大 量 的 研 究 并 提 出 了 很 多 方 法 与 工 具 这 些 方 法 在 芯 片 设 计 的 各 个 层 次 都 有 体 现 例 如 在 " 层 和 系 统 级 使 用 断 言 的 验 证 方 # 法 以 及 使 用 一 阶 或 高 阶 逻 辑 编 写 断 言 # 而 且 断 言 还 在 数 字 电 路 设 计 模 拟 电 路 以 及 软 件 设 计 领 域 有 着 广 泛 的 应 用 # 在 寄 存 器 传 输 级 5%,5 验 证 中 有 基 于 5 自 身 生 成 验 证 激 励 的 方 法 但 这 类 方 法 对 5 代 码 过 于 敏 感 如 果 5 代 码 有 误 则 生 成 的 激 励 将 不 可 信 例 如 基 于 遗 传 算 法 的 激 励 生 成 方 法 # 基 于 状 态 覆 盖 的 验 证 激 励 生 成 作 者 简 介 杨 修 涛 男 高 级 工 程 师 博 士 主 研 方 向 为 计 算 机 辅 助 设 计 迟 鹏 工 程 师 博 士 杜 宇 坤 助 理 工 程 师 徐 林 伟 工 程 师 收 稿 日 期 ## 修 回 日 期 ##%%2'
2 第 卷 第 期 杨 修 涛 迟 鹏 杜 宇 坤 等 基 于 需 求 的 断 言 自 动 生 成 技 术 方 法 以 及 考 虑 可 观 测 性 的 激 励 生 成 方 法 文 献 针 对 验 证 需 要 多 少 断 言 才 能 取 得 比 较 理 想 结 果 的 问 题 给 出 了 建 议 与 指 导 当 前 工 业 界 普 遍 认 为 一 个 5 模 块 对 于 其 接 口 处 的 断 言 数 如 果 能 有 5 代 码 行 数 的 则 比 较 理 想 对 于 其 内 部 如 果 断 言 数 能 有 代 码 行 数 的 则 比 较 理 想 在 实 际 应 用 中 绝 大 部 分 断 言 的 获 取 依 靠 手 写 但 手 写 生 成 的 断 言 通 常 数 量 不 够 所 以 需 要 寻 找 相 应 的 自 动 生 成 方 法 或 工 具 目 前 也 有 一 些 研 究 面 向 可 实 用 的 断 言 自 动 生 成 方 法 例 如 文 献 提 出 一 种 断 言 自 动 生 成 方 法 并 由 此 发 展 出 一 套 可 用 的 ( 工 具 该 方 法 可 以 在 仿 真 过 程 中 自 动 帮 助 工 程 师 生 成 断 言 生 成 的 断 言 数 量 也 十 分 充 足 但 其 生 成 断 言 的 方 式 依 赖 于 仿 真 过 程 即 依 赖 于 仿 真 中 所 用 的 激 励 若 仿 真 中 提 供 的 激 励 是 不 完 全 的 则 生 成 的 断 言 也 是 不 完 全 的 甚 至 是 错 误 的 出 现 这 种 情 况 的 原 因 为 在 断 言 自 动 生 成 过 程 中 没 有 充 分 考 虑 到 需 求 仅 依 赖 于 激 励 及 仿 真 过 程 本 身 而 激 励 也 可 能 是 错 误 的 所 以 依 此 生 成 的 断 言 的 正 确 性 也 会 受 影 响 除 此 之 外 还 有 一 些 方 法 使 用 数 据 挖 掘 技 术 但 目 前 还 不 能 完 全 使 用 本 文 在 上 述 研 究 工 作 的 基 础 上 给 出 一 种 基 于 需 求 的 断 言 自 动 生 成 方 法 断 言 断 言 与 波 形 基 于 断 言 的 验 证 是 一 种 介 于 形 式 验 证 与 模 拟 验 证 之 间 的 验 证 方 式 断 言 的 作 用 是 在 仿 真 过 程 中 检 测 相 应 的 信 号 跳 变 关 系 判 断 它 们 是 否 满 足 约 束 要 求 如 果 一 个 或 一 组 信 号 在 仿 真 过 程 中 出 现 了 违 反 断 言 的 情 况 则 可 以 断 定 该 设 计 中 存 在 不 符 合 需 求 的 内 容 在 验 证 过 程 中 常 用 的 断 言 形 式 具 体 如 下 用 " 语 言 描 述 ##* 在 断 言 式 中 有 * 个 信 号 如 果 为 则 个 时 钟 周 期 后 * 为 ## * 断 言 式 表 示 如 果 为 则 大 于 等 于 个 时 钟 周 期 之 后 * 为 -% ## * 断 言 式 表 示 当 时 钟 上 升 沿 到 来 时 为 上 升 沿 在 个 个 时 钟 周 期 内 * 也 有 一 个 上 升 沿 断 言 的 作 用 是 断 定 信 号 间 的 一 种 行 为 关 系 表 示 需 求 所 期 望 的 一 种 信 号 跳 变 关 联 这 些 信 号 之 间 的 跳 变 及 电 平 高 低 共 同 形 成 一 种 有 效 的 电 路 行 为 因 此 断 言 的 基 本 表 达 形 式 如 下,!! 上 述 表 达 式 中 包 括 个 部 分 左 表 达 式,! 右 表 达 式! 时 钟 周 期 条 件 上 述 表 达 式 的 含 义 为 当 左 表 达 式 条 件 内 的 信 号 处 于 某 状 态 时 在 一 定 的 时 钟 周 期 范 围 内 右 表 达 式 内 的 信 号 必 定 处 于 某 预 定 状 态 如 果 可 以 从 需 求 中 直 接 抽 取 出 三 要 素 则 可 以 构 造 出 相 应 的 断 言 与 此 同 时 在 芯 片 需 求 及 设 计 规 格 中 也 规 定 了 一 些 信 号 间 的 关 系 这 种 关 系 可 被 视 为 电 路 行 为 的 一 种 描 述 设 计 者 在 得 到 需 求 后 会 编 写 相 应 的 设 计 规 格 以 指 导 设 计 信 号 间 的 关 系 通 常 以 波 形 的 行 式 描 述 图 描 述 了 一 个 高 级 高 性 能 总 线 $%'$ &,%'/ / 的 部 分 信 号 在 时 钟 * 下 当 信 号 为 高 时 如 果 信 号 为 高 则 有 效 可 以 看 出 需 求 中 的 行 为 波 形 已 经 描 述 出 信 号 间 的 关 系 而 断 言 正 是 重 述 该 关 系 并 且 在 仿 真 过 程 中 不 断 检 测 这 几 个 信 号 之 间 的 关 系 是 否 满 足 上 述 需 求 因 此 可 以 依 据 需 求 中 所 提 供 的 波 形 描 述 自 动 生 成 断 言 图 ). 总 线 部 分 信 号 的 波 形 描 述 模 板 方 法 上 文 给 出 了 从 需 求 到 断 言 的 生 成 方 法 但 是 在 实 际 应 用 中 需 求 中 一 般 只 描 述 寄 存 器 传 输 级 代 码 模 块 接 口 上 的 信 号 不 具 体 描 述 实 际 模 块 的 内 部 信 号 这 一 部 分 需 求 是 用 文 字 描 述 的 并 且 需 要 将 文 字 描 述 部 分 转 换 为 波 形 描 述 工 作 量 较 大 所 以 本 文 采 用 另 一 种 解 决 方 案 从 仿 真 波 形 中 提 取 与 需 求 具 有 相 同 功 能 且 有 一 定 时 钟 周 期 数 的 波 形 定 义 行 为 窗 行 为 窗 是 指 能 够 描 述 出 一 组 信 号 间 的 完 整 行 为 关 系 具 有 一 定 时 钟 周 期 的 波 形 定 义 最 小 行 为 窗 最 小 行 为 窗 是 指 能 够 描 述 出 一 组 信 号 间 的 完 整 行 为 关 系 具 有 最 小 时 钟 周 期 的 波 形 定 义 最 大 行 为 窗 最 大 行 为 窗 是 指 能 够 描 述 出 一 组 信 号 间 的 完 整 行 为 关 系 具 有 最 大 时 钟 周 期 的 波 形 以 断 言 式 为 例 当 时 钟 周 期 数 为 时 对 应 的 行 为 窗 是 最 小 行 为 窗 当 时 钟 周 期 数 为 时 对 应 的 行 为 窗 是 最 大 行 为 窗 根 据 断 言 规 则 存 在 一 些 行 为 窗 没 有 最 大 行 为 窗 即 时 钟 周 期 数 为 & 行 为 窗 分 类 如 表 所 示 其 中 表 示 信 号 的 有 效 起 始 时 钟 拍 数 表 示 信 号 的 有 效 结 束 时 钟 拍 数
3 计 算 机 工 程 年 月 日 表 行 为 窗 分 类 编 号 条 件 数 学 表 示 断 言 表 示 说 明 # 拍 拍! # 拍 不 存 在 & # 拍 之 后 基 于 以 上 种 行 为 窗 的 定 义 可 以 方 便 地 在 仿 真 过 程 中 提 取 波 形 的 行 为 窗 并 进 一 步 生 成 断 言 在 仿 真 过 程 中 验 证 工 程 师 可 以 在 观 看 波 形 的 过 程 中 发 现 最 小 行 为 窗 和 最 大 行 为 窗 该 类 窗 口 对 应 一 段 波 形 因 此 需 要 标 注 这 段 波 形 的 起 点 和 终 点 并 进 行 保 存 之 后 便 得 到 含 有 一 簇 信 号 的 波 形 段 生 成 断 言 的 过 程 与 上 文 由 需 求 波 形 生 成 断 言 的 过 程 一 样 通 过 $7(- 的 操 作 标 注 并 保 存 一 段 波 形 对 于 最 大 行 为 窗 不 存 在 的 情 况 需 要 由 验 证 工 程 师 自 行 判 断 之 后 在 上 面 的 波 形 段 中 加 一 个 标 识 表 示 该 段 波 形 的 最 大 行 为 窗 不 存 在 即 该 波 形 生 成 的 断 言 满 足 第 类 行 为 窗 断 言 自 动 生 成 波 形 规 范 为 能 从 需 求 描 述 的 波 形 中 直 接 推 导 出 断 言 的 三 要 素 需 要 对 波 形 描 述 进 行 规 范 化 例 如 准 确 描 述 信 号 之 间 的 跳 变 间 隔 关 系 修 改 后 的 波 形 描 述 如 图 所 示 图 修 改 后 的 波 形 描 述 波 形 规 范 除 了 要 对 信 号 间 的 周 期 间 隔 进 行 描 述 还 需 要 对 数 据 总 线 类 型 的 信 号 进 行 说 明 例 如 的 高 位 或 者 低 位 有 哪 些 约 束 的 值 是 否 需 要 关 注 等 这 些 都 需 要 在 波 形 中 进 行 描 述 在 给 出 波 形 的 准 确 描 述 后 相 应 的 断 言 也 会 变 得 更 准 确 修 改 后 的 断 言 为 ## 其 中 表 示 不 确 定 边 界 可 以 为 无 限 长 将 上 述 断 言 行 为 解 释 为 如 果 为 高 则 个 时 钟 * 周 期 后 的 某 一 拍 最 终 有 为 高 一 个 波 形 的 行 为 窗 描 述 了 一 组 信 号 间 的 完 整 或 部 分 的 行 为 关 系 如 果 一 个 波 形 不 能 完 整 描 述 出 所 有 的 行 为 关 系 也 可 以 分 为 几 个 波 形 这 些 被 分 开 的 波 形 可 分 别 生 成 对 应 的 断 言 来 确 定 行 为 关 系 对 于 图 所 给 出 的 波 形 就 是 一 个 行 为 窗 在 该 窗 口 中 已 给 出 可 以 确 定 的 信 号 关 系 并 且 没 有 多 余 的 时 钟 周 期 根 据 图 至 少 可 以 得 到 以 下 断 言 ## 但 断 言 式 式 只 是 部 分 描 述 出 了 波 形 给 定 的 行 为 且 存 在 断 言 不 准 确 和 断 言 不 完 全 的 问 题 断 言 不 准 确 指 的 是 断 言 虽 然 正 确 但 未 能 准 确 描 述 出 时 钟 周 期 的 范 围 比 如 ## 只 是 描 述 出 当 为 高 时 个 时 钟 周 期 后 有 为 高 实 际 上 在 / 总 线 规 范 中 并 不 限 于 个 时 钟 周 期 比 如 个 时 钟 周 期 后 为 高 也 是 满 足 需 求 的 断 言 不 完 全 指 的 是 存 在 一 些 必 要 的 断 言 未 被 列 出 需 要 针 对 一 些 信 号 作 两 两 或 两 两 以 上 的 组 合 信 号 组 合 对 于 信 号 间 的 组 合 理 论 上 可 以 对 除 时 钟 信 号 以 外 的 所 有 信 号 进 行 排 列 组 合 来 获 得 信 号 间 的 所 有 关 系 然 后 生 成 断 言 如 图 中 如 果 都 可 以 使 用 那 么 它 们 之 间 存 在 的 组 合 为 可 以 看 出 组 合 后 出 现 了 组 关 系 但 对 于 断 言 来 说 除 了 信 号 间 有 组 合 关 系 外 还 存 在 先 后 关 系 例 如 # # % 它 只 断 言 了 信 号 发 生 变 化 后 的 行 为 在 此 需 要 再 补 充 另 一 种 关 系 虽 然 这 种 关 系 不 一 定 是 必 要 的 但 作 为 自 动 生 成 方 法 需 要 这 种 关 系 的 描 述 并 且 仿 真 过 程 中 也 确 实 存 在 这 种 行 为 关 系 对 于 上 面 的 组 合 共 有 种 关 系 在 实 际 应 用 中 发 现 个 以 上 的 信 号 组 合 不 仅 非 常 多 而 且 所 表 示 出 的 断 言 通 常 意 义 不 明 确 所 以 最 终 选 择 只 做 信 号 间 的 两 两 组 合 算 法 信 号 组 合 输 入 5 代 码 模 块 5 代 码 模 块 的 端 口 信 号 数 为 输 出 波 形 段 " 抽 取 5 模 块 的 所 有 端 口 信 号 并 放 入 "! %" % " '! 86! 86! 将 " 组 合 放 入 " ' 将 " 组 合 放 入 " ' 返 回 " ' 算 法 实 现 了 从 5 模 块 中 抽 取 信 号 以 完 成 信 号 的 组 合 从 而 确 定 为 哪 些 信 号 生 成 断 言 算 法 中 的 " 表 示 端 口 信 号 集 合 "" 表 示 存 储 " 中 信 号 中 间 状 态 的 集 合
4 第 卷 第 期 杨 修 涛 迟 鹏 杜 宇 坤 等 基 于 需 求 的 断 言 自 动 生 成 技 术 算 法 波 形 分 析 输 入 波 形 段 " 输 出 " 中 所 有 信 号 组 合 关 系 对 应 的 断 言 集 确 定 时 钟 信 号 * 为 该 波 形 段 的 时 钟 周 期 数 " 为 信 号 集 ""! 86! " 为 时 钟 拍 时 " 内 各 信 号 的 状 态 &3 8"" " %$ "" " " 5 86! 8"" " " 5 发 生 一 个 信 号 跳 变 上 升 沿 或 下 降 沿 " 保 持 为 &3 检 查 标 注 文 件 中 的 触 发 条 件 是 否 满 足 确 定 跳 变 触 发 满 足 时 的 时 钟 周 期 数 检 查 最 小 和 最 大 行 为 窗 的 时 钟 周 期 数 标 注 确 定 是 否 全 部 满 足 或 不 存 在 最 大 行 为 时 钟 数 得 出 信 息 例 如 信 号 的 高 低 有 效 性 最 大 和 最 小 行 为 窗 的 时 钟 周 期 等 标 注 信 息 因 此 需 要 建 立 一 个 行 为 波 形 数 据 库 称 为 +%- 在 +%- 上 有 一 个 波 形 解 析 工 具 +%% 它 主 要 完 成 以 下 工 作 提 取 行 为 窗 中 的 信 号 名 称 提 取 行 为 窗 中 信 号 的 起 始 时 刻 提 取 信 号 对 应 的 标 注 解 析 检 测 信 号 的 跳 变 及 持 续 周 期 生 成 断 言 +%% 将 生 成 的 断 言 存 储 在 断 言 数 据 库 中 即 - 整 个 断 言 自 动 生 成 系 统 的 结 构 如 图 所 示 ""!" 读 入 算 法 中 的 " ' 根 据 " ' 生 成 断 言 返 回 实 验 与 结 果 分 析 实 验 设 置 为 了 能 够 自 动 生 成 断 言 本 文 在 实 验 和 应 用 中 设 计 一 款 断 言 自 动 生 成 系 统 %' 1% " 1" 对 波 形 进 行 处 理 由 于 图 形 格 式 的 波 形 很 难 被 解 析 处 理 因 此 实 验 中 采 用 快 速 信 号 数 据 库 8%"%(%%-%8"(/ 格 式 的 波 形 作 为 输 入 8"(/ 是 原 "", 公 司 的 一 种 波 形 存 储 格 式 其 优 点 是 压 缩 比 高 对 于 相 同 的 波 形 8"(/ 格 式 的 文 件 要 比 值 变 化 导 出 % &%$ (( 格 式 的 文 件 小 很 多 为 实 际 芯 片 设 计 中 的 常 用 格 式 在 由 波 形 推 导 出 断 言 的 过 程 中 除 需 要 波 形 外 还 需 要 存 储 一 些 额 外 的 图 5 结 构 结 果 分 析 实 验 选 择 一 款 " 芯 片 ' 从 中 抽 取 出 个 5 模 块 进 行 比 较 在 实 验 过 程 中 工 程 师 分 别 针 对 这 个 模 块 按 正 常 验 证 流 程 手 工 编 写 相 应 的 断 言 以 及 用 1" 自 动 生 成 断 言 并 分 析 1" 生 成 断 言 的 正 确 性 与 数 量 并 将 其 与 手 工 方 式 进 行 比 较 实 验 结 果 如 表 所 示 其 中 #1" 表 示 由 1" 所 生 成 的 断 言 数 量 #5 为 5 模 块 的 代 码 行 数 # 手 工 表 示 由 工 程 师 手 工 编 写 产 生 的 断 言 数 量 正 确 率 是 指 生 成 的 断 言 没 有 逻 辑 错 误 的 比 率 表 5 与 手 工 方 式 的 实 验 结 果 对 比 5 模 块 #5 1" 断 言 数 量 #1"7#5 正 确 率 7 手 工 方 式 断 言 数 量 # 手 工 7#5 正 确 率 7 ' ",,,,,,, %,, "' 5-%,
5 计 算 机 工 程 年 月 日 相 比 于 手 工 方 式 自 动 生 成 方 式 有 如 下 缺 点 在 所 生 成 的 断 言 中 有 一 些 断 言 虽 然 没 有 逻 辑 错 误 但 是 行 为 意 义 不 是 很 明 显 只 要 这 些 断 言 所 占 的 比 率 在 一 定 范 围 内 则 是 可 以 接 受 的 对 于 一 个 5 模 块 要 求 在 端 口 处 每 条 5 代 码 至 少 有 条 条 断 言 与 之 对 应 在 模 块 内 部 每 条 5 代 码 至 少 有 条 条 断 言 与 之 对 应 即 断 言 数 与 5 代 码 行 数 之 比 至 少 应 该 满 足 以 下 条 件 #% #5 #% #5 其 中 #% 表 示 断 言 数 量 #5 表 示 寄 存 器 传 输 级 代 码 接 口 模 块 的 代 码 行 数 #5 表 示 寄 存 器 传 输 级 代 码 内 部 模 块 的 代 码 行 数 在 式 和 式 中 如 果 断 言 与 5 代 码 行 数 之 比 超 过 也 是 允 许 的 只 要 满 足 大 于 等 于 这 个 条 件 即 可 实 验 中 没 有 直 接 统 计 全 部 的 断 言 数 与 5 代 码 行 数 的 比 率 图 给 出 了 1" 和 手 工 生 成 的 断 言 对 比 情 况 可 以 看 出 对 于 5 代 码 行 数 较 少 的 模 块 手 工 编 写 断 言 的 数 量 与 质 量 能 满 足 验 证 方 法 所 要 求 的 标 准 但 当 5 代 码 规 模 较 大 时 手 工 方 式 明 显 不 能 达 到 式 的 要 求 1" 则 表 现 出 了 良 好 的 稳 定 性 无 论 代 码 规 模 大 或 是 小 所 生 成 的 断 言 都 能 接 近 或 达 到 要 求 表 % 模 块 信 息 子 模 块 代 码 行 数 $%'' $%',,' $%' 由 表 可 以 看 出 $%' 模 块 包 含 个 子 模 块 $%''$%',,'$%' 其 中 代 码 行 数 为 大 致 数 目 未 考 虑 空 行 和 不 统 一 的 换 行 方 式 导 致 的 差 别 %$% 模 块 有 一 个 主 模 块 %$% 代 码 行 数 约 为 行 生 成 的 断 言 在 数 量 和 质 量 上 均 依 赖 于 激 励 表 未 给 出 $%',,' 和 $%' 对 应 的 断 言 正 确 率 因 为 实 验 中 对 所 生 成 的 断 言 进 行 分 析 发 现 其 所 生 成 的 断 言 正 确 率 太 低 所 以 后 面 的 模 块 便 不 再 进 行 统 计 可 以 看 出 当 5 代 码 规 模 越 来 越 大 时 手 工 编 写 的 断 言 比 率 变 得 越 来 越 小 正 确 性 得 不 到 保 证 1" 则 表 现 出 良 好 的 稳 定 性 无 论 5 代 码 规 模 大 还 是 小 断 言 比 率 及 正 确 性 都 能 满 足 要 求 同 时 1" 在 生 成 的 断 言 数 量 上 与 一 样 满 足 每 条 5 代 码 约 有 条 条 断 言 相 对 应 的 要 求 但 正 确 率 远 高 于 断 言 正 确 率 偏 低 的 原 因 可 能 与 验 证 激 励 不 完 备 有 关 但 其 提 供 完 备 的 验 证 激 励 的 难 度 远 超 过 生 成 断 言 本 身 表 5 与 '3,#* 工 具 生 成 的 断 言 数 量 和 质 量 对 比 5 模 块 断 言 数 量 正 确 率 7 断 言 数 量 1" 正 确 率 7 %$% " $%'' " $%',,' $%' 结 束 语 图 5 与 手 工 方 式 生 成 的 断 言 性 能 对 比 为 了 进 一 步 证 明 1" 的 效 果 下 面 将 1" 与 一 款 断 言 自 动 生 成 工 具 做 比 较 由 于 两 款 工 具 在 生 成 断 言 的 原 理 上 有 些 区 别 因 此 先 介 绍 工 具 的 工 作 原 理 按 照 已 有 的 激 励 运 行 仿 真 仿 真 过 程 中 统 计 信 号 的 跳 变 规 律 与 次 数 生 成 信 号 两 两 之 间 的 断 言 从 原 理 上 可 知 工 具 对 给 定 激 励 的 依 赖 性 很 大 实 验 所 用 的 $%' 模 块 信 息 如 表 所 示 本 文 从 需 求 出 发 根 据 波 形 描 述 自 动 生 成 断 言 通 过 在 波 形 描 述 中 增 加 额 外 标 注 对 信 号 进 行 组 合 从 而 给 出 对 应 的 断 言 生 成 方 法 为 提 高 该 方 法 的 实 用 性 设 计 了 相 应 的 1" 工 具 实 验 结 果 表 明 本 文 方 法 在 生 成 断 言 方 面 相 比 手 工 方 式 优 势 明 显 能 满 足 每 条 5 代 码 对 应 条 条 断 言 的 要 求 同 时 能 保 证 生 成 断 言 的 正 确 率 本 文 方 法 只 对 信 号 进 行 了 两 两 组 合 并 且 生 成 的 断 言 中 少 量 断 言 存 在 逻 辑 正 确 但 行 为 描 述 意 义 不 明 显 的 情 况 下 一 步 将 对 此 进 行 改 进
6 第 卷 第 期 杨 修 涛 迟 鹏 杜 宇 坤 等 基 于 需 求 的 断 言 自 动 生 成 技 术 参 考 文 献 ''-%%%$1",$ "1%#,"'% %$ /%$,'% 77 '$,&& % '% 5+2 & +%& (0" # "&, %%-: #-%$,'%, " #( 77'$,& & %%" )% ''( +%& (0" # 0'&/"%%$ * /%$,'% 0 "#2 %2 77'$,&& %%" ( %$ (%# ','''9" +%& ( 0" # 马 博 韩 俊 刚 采 用 " 的 基 于 断 言 的 验 证 计 算 机 工 程 # 张 华 郭 键 韩 俊 刚 基 于 " 断 言 的 宽 带 电 路 交 换 芯 片 验 证 计 算 机 工 程 # 1 1 ( 1 ( 8 8 % %- (%' #-%$,'%, -$$$ ",3%5&&.$#$ ( 77 '$,( % 9 5,'9 &-+%& ( 0" # 李 暾 郭 阳 李 思 昆 基 于 断 言 的 模 拟 矢 量 自 动 生 成 方 法 软 件 学 报 # 0 (" 0 %.$#% /%$,'% 77'$, %# %& ( %$% %$ 5+2 & +%& (0" # 杨 修 涛 鲁 巍 李 晓 维 时 序 电 路 状 态 覆 盖 向 量 的 遗 传 方 法 筛 选 计 算 机 辅 助 设 计 与 图 形 学 报 # 鲁 巍 杨 修 涛 李 晓 维 基 于 混 合 遗 传 算 法 的 5 激 励 生 成 小 型 微 型 计 算 机 系 统 # 杨 修 涛 鲁 巍 李 晓 维 覆 盖 状 态 内 部 分 枝 的 测 试 向 量 生 成 小 型 微 型 计 算 机 系 统 # 鲁 巍 吕 涛 杨 修 涛 等 5 可 观 测 性 语 句 覆 盖 评 估 方 法 计 算 机 辅 助 设 计 与 图 形 学 学 报 # /%%/ *%%% % /%$,'%%+ & " 77 '$,(6+%& (0" # :&! &% #-%$,'% 77# '$,&& %%,' " +%& (0" # "2%&.%% %''%1$,"./1%" 编 辑 陆 燕 菲 上 接 第 页 栗 华 贾 智 平 王 洪 君 等 基 于 动 态 位 隙 分 组 盲 分 离 的 08 8( 防 碰 撞 算 法 通 信 学 报 # 尹 君 何 怡 刚 李 兵 等 基 于 分 组 动 态 帧 时 隙 的 8( 防 碰 撞 算 法 计 算 机 工 程 # %%%& % % " -2%&%. 5%.$% "' ( %$ '% 8( #' ' 5% %' '% # :&% (% 1% % :&%&% % 3 #' &,8( 5% %% %,'% " # )% :&&+% 63,#' ',%$ 84' $,'% (' &%'% # 宋 建 华 郭 亚 军 韩 兰 胜 等 自 调 整 混 合 树 8( 多 标 签 防 碰 撞 算 法 电 子 学 报 # 张 学 军 蔡 文 琦 王 锁 萍 改 进 型 自 适 应 多 叉 树 防 碰 撞 算 法 研 究 电 子 学 报 # 陈 毅 红 冯 全 源 按 需 时 隙 分 配 8( 防 碰 撞 协 议 研 究 电 子 学 报 # %& )% :&& :&%!%&% % $%5% #' ' 8( + " &% '% # 12&%-%%. %$&. &%$. % %$ #' ', 8(# &%'$ + " 32 + %'% # 编 辑 陆 燕 菲
何 秋 琳 张 立 春 视 觉 学 习 研 究 进 展 视 觉 注 意 视 觉 感 知
第 卷 第 期 年 月 开 放 教 育 研 究 何 秋 琳 张 立 春 华 南 师 范 大 学 未 来 教 育 研 究 中 心 广 东 广 州 随 着 图 像 化 技 术 和 电 子 媒 体 的 发 展 视 觉 学 习 也 逐 步 发 展 为 学 习 科 学 的 一 个 研 究 分 支 得 到 研 究 人 员 和 教 育 工 作 者 的 广 泛 关 注 基 于 此 作 者 试 图 对 视 觉 学 习
说 明 为 了 反 映 教 运 行 的 基 本 状 态, 为 校 和 院 制 定 相 关 政 策 和 进 行 教 建 设 与 改 革 提 供 据 依 据, 校 从 程 资 源 ( 开 类 别 开 量 规 模 ) 教 师 结 构 程 考 核 等 维 度, 对 2015 年 春 季 期 教 运 行 基
内 部 资 料 东 北 师 范 大 教 运 行 基 本 状 态 据 报 告 2015 年 春 季 期 教 务 处 2015 年 10 月 27 日 说 明 为 了 反 映 教 运 行 的 基 本 状 态, 为 校 和 院 制 定 相 关 政 策 和 进 行 教 建 设 与 改 革 提 供 据 依 据, 校 从 程 资 源 ( 开 类 别 开 量 规 模 ) 教 师 结 构 程 考 核 等 维 度,
龚 亚 夫 在 重 新 思 考 基 础 教 育 英 语 教 学 的 理 念 一 文 中 援 引 的 观 点 认 为 当 跳 出 本 族 语 主 义 的 思 维 定 式 后 需 要 重 新 思 考 许 多 相 连 带 的 问 题 比 如 许 多 发 音 的 细 微 区 别 并 不 影 响 理 解 和
语 音 语 篇 语 感 语 域 林 大 津 毛 浩 然 改 革 开 放 以 来 的 英 语 热 引 发 了 大 中 小 学 英 语 教 育 整 体 规 划 问 题 在 充 分 考 虑 地 区 学 校 和 个 体 差 异 以 及 各 家 观 点 的 基 础 上 遵 循 实 事 求 是 逐 级 定 位 逐 层 分 流 因 材 施 教 的 原 则 本 研 究 所 倡 导 的 语 音 语 篇 语 感 语 域
,,,,, :,, (.,, );, (, : ), (.., ;. &., ;.. &.., ;, ;, ),,,,,,, ( ) ( ),,,,.,,,,,, : ;, ;,.,,,,, (., : - ),,,, ( ),,,, (, : ),, :,
: 周 晓 虹 : - -., - - - -. :( ), -,.( ),,, -. - ( ).( ) ', -,,,,, ( ).( ),,, -., '.,, :,,,, :,,,, ,,,,, :,, (.,, );, (, : ), (.., ;. &., ;.. &.., ;, ;, ),,,,,,, ( ) ( ),,,,.,,,,,, : ;, ;,.,,,,, (., : - ),,,,
深圳市新亚电子制程股份有限公司
证 券 代 码 :002388 证 券 简 称 : 新 亚 制 程 公 告 编 号 :2016-053 深 圳 市 新 亚 电 子 制 程 股 份 有 限 公 司 2016 年 第 二 次 临 时 股 东 大 会 决 议 公 告 本 公 司 及 董 事 会 全 体 成 员 保 证 公 告 内 容 真 实 准 确 和 完 整, 不 存 在 虚 假 记 载 误 导 性 陈 述 或 者 重 大 遗 漏 特
文 化 记 忆 传 统 创 新 与 节 日 遗 产 保 护 根 据 德 国 学 者 阿 斯 曼 的 文 化 记 忆 理 论 仪 式 与 文 本 是 承 载 文 化 记 忆 的 两 大 媒 体 在 各 种 仪 式 行 为 中 节 日 以 其 高 度 的 公 共 性 有 组 织 性 和 历 史 性 而 特 别 适 用 于 文 化 记 忆 的 储 存 和 交 流 节 日 的 文 化 功 能 不 仅 在 于
中 国 软 科 学 年 第 期!!!
山 寨 模 式 的 形 成 机 理 及 其 对 组 织 创 新 的 启 示 山 寨 模 式 的 形 成 机 理 及 其 对 组 织 创 新 的 启 示 陶 厚 永 李 燕 萍 骆 振 心 武 汉 大 学 经 济 与 管 理 学 院 武 汉 大 学 中 国 产 学 研 合 作 问 题 研 究 中 心 湖 北 武 汉 北 京 大 学 经 济 研 究 所 光 华 天 成 博 士 后 工 作 站 北 京 本
评 委 : 李 炎 斌 - 个 人 技 术 标 资 信 标 初 步 审 查 明 细 表 序 号 投 标 单 位 投 标 函 未 按 招 标 文 件 规 定 填 写 漏 填 或 内 容 填 写 错 误 的 ; 不 同 投 标 人 的 投 标 文 件 由 同 一 台 电 脑 或 同 一 家 投 标 单
评 委 : 李 炎 斌 - 个 人 清 标 评 审 明 细 表 评 审 因 素 序 号 投 标 单 位 清 标 评 审 1 深 圳 市 创 捷 科 技 有 限 合 格 2 四 川 川 大 智 胜 软 件 股 份 有 限 合 格 3 北 京 航 天 长 峰 科 技 工 业 集 团 有 限 公 司 合 格 4 深 圳 中 兴 力 维 技 术 有 限 合 格 5 深 圳 键 桥 通 讯 技 术 股 份 有
Template BR_Rec_2005.dot
ITU-R BT.1789 建 议 书 1 ITU-R BT.1789 建 议 书 在 分 组 视 频 传 输 中 利 用 传 输 误 码 信 息 重 建 接 收 视 频 的 方 法 (ITU-R 44/6 和 ITU-R 109/6 课 题 ) (2007 年 ) 范 围 本 建 议 书 对 业 务 提 供 商 重 建 接 收 视 频 的 方 法 做 了 详 细 介 绍, 以 便 利 用 传 输
2006年顺德区高中阶段学校招生录取分数线
2014 年 顺 德 区 高 中 阶 段 学 校 考 试 提 前 批 第 一 批 第 二 批 学 校 录 取 根 据 佛 山 市 办 提 供 的 考 生 数 据, 现 将 我 区 2014 年 高 中 阶 段 学 校 考 试 提 前 批 第 一 批 第 二 批 学 校 的 录 取 公 布 如 下 : 一 顺 德 一 中 录 取 分 第 1 志 愿, 总 分 585, 综 合 表 现 评 价 A, 考
Microsoft Word - 第7章 图表反转形态.doc
第 七 章 图 表 反 转 形 态 我 们 知 道 市 场 趋 势 共 有 三 种 : 上 升 趋 势 下 降 趋 势 和 横 向 整 理 市 场 的 价 格 波 动 都 是 运 行 在 这 三 种 趋 势 中, 所 有 的 走 势 都 是 这 三 种 趋 势 的 排 列 组 合 如 图 市 场 趋 势 结 构 示 意 图 7-1 所 示 市 场 趋 势 结 构 示 意 图 7-1 图 市 场 趋
编号：
编 号 : 企 业 内 高 技 能 人 才 培 养 评 价 实 施 方 案 ( 仅 适 用 于 企 业 特 有 行 业 特 有 工 种 ) 实 施 单 位 ( 公 章 ) 申 报 日 期 年 _ 月 日 1 企 业 内 高 技 能 人 才 培 养 评 价 项 目 实 施 方 案 申 报 表 项 目 名 称 等 级 项 目 性 质 课 时 申 报 单 位 联 系 人 通 讯 地 址 电 话 手 机 电
《C语言基础入门》课程教学大纲
C 语 言 开 发 入 门 教 程 课 程 教 学 大 纲 课 程 编 号 :201409210011 学 分 :5 学 分 学 时 :58 学 时 ( 其 中 : 讲 课 学 时 :39 学 时 上 机 学 时 :19 学 时 ) 先 修 课 程 : 计 算 机 导 论 后 续 课 程 :C++ 程 序 设 计 适 用 专 业 : 信 息 及 其 计 算 机 相 关 专 业 开 课 部 门 : 计
评 委 : 徐 岩 宇 - 个 人 技 术 标 资 信 标 初 步 审 查 明 细 表 序 号 投 标 单 位 投 标 函 未 按 招 标 文 件 规 定 填 写 漏 填 或 内 容 填 写 错 误 的 ; 不 同 投 标 人 的 投 标 文 件 由 同 一 台 电 脑 或 同 一 家 投 标 单
评 委 : 徐 岩 宇 - 个 人 清 标 评 审 明 细 表 评 审 因 素 序 号 投 标 单 位 清 标 评 审 1 深 圳 市 创 捷 科 技 有 限 合 格 2 四 川 川 大 智 胜 软 件 股 份 有 限 合 格 3 北 京 航 天 长 峰 科 技 工 业 集 团 有 限 公 司 合 格 4 深 圳 中 兴 力 维 技 术 有 限 合 格 5 深 圳 键 桥 通 讯 技 术 股 份 有
抗 战 时 期 国 民 政 府 的 银 行 监 理 体 制 探 析 % # % % % ) % % # # + #, ) +, % % % % % % % %
抗 战 时 期 国 民 政 府 的 银 行 监 理 体 制 探 析 王 红 曼 抗 战 时 期 国 民 政 府 为 适 应 战 时 经 济 金 融 的 需 要 实 行 由 财 政 部 四 联 总 处 中 央 银 行 等 多 家 机 构 先 后 共 同 参 与 的 多 元 化 银 行 监 理 体 制 对 战 时 状 态 下 的 银 行 发 展 与 经 营 安 全 进 行 了 大 规 模 的 设 计 与
I
机 电 一 级 注 册 建 造 师 继 续 教 育 培 训 广 东 培 训 点 网 上 报 名 操 作 使 用 手 册 (2013 年 1 月, 第 一 版 ) 第 一 章 个 人 注 册 与 个 人 信 息 管 理 1. 个 人 注 册 ( 请 每 人 只 申 请 一 个 注 册 号, 如 果 单 位 批 量 报 班 单 位 帮 申 请 注 册, 不 需 个 人 再 注 册 ) 首 次 报 班,
一 公 共 卫 生 硕 士 专 业 学 位 论 文 的 概 述 学 位 论 文 是 对 研 究 生 进 行 科 学 研 究 或 承 担 专 门 技 术 工 作 的 全 面 训 练, 是 培 养 研 究 生 创 新 能 力, 综 合 运 用 所 学 知 识 发 现 问 题, 分 析 问 题 和 解 决
上 海 市 公 共 卫 生 硕 士 专 业 学 位 论 文 基 本 要 求 和 评 价 指 标 体 系 ( 试 行 ) 上 海 市 学 位 委 员 会 办 公 室 二 O 一 二 年 三 月 一 公 共 卫 生 硕 士 专 业 学 位 论 文 的 概 述 学 位 论 文 是 对 研 究 生 进 行 科 学 研 究 或 承 担 专 门 技 术 工 作 的 全 面 训 练, 是 培 养 研 究 生 创
科 学 出 版 社 科 学 出 版 社 前 言 本 书 是 针 对 普 通 高 等 院 校 经 济 类 和 工 商 管 理 类 本 科 专 业 财 务 管 理 学 的 教 学 需 求, 结 合 教 育 部 经 济 管 理 类 本 科 财 务 管 理 学 课 程 教 学 大 纲 编 写 而 成 的 本 书 执 笔 者 都 是 长 期 工 作 在 财 务 管 理 教 学 一 线 的 专 业 教 师,
马 克 思 主 义 公 正 观 的 基 本 向 度 及 方 法 论 原 则!! # #
马 克 思 主 义 公 正 观 的 基 本 向 度 及 方 法 论 原 则 马 俊 峰 在 社 会 公 正 问 题 的 大 讨 论 中 罗 尔 斯 诺 齐 克 哈 耶 克 麦 金 泰 尔 等 当 代 西 方 思 想 家 的 论 述 被 反 复 引 用 和 申 说 而 将 马 克 思 恩 格 斯 等 经 典 作 家 的 观 点 置 于 一 种 被 忽 视 甚 至 被 忘 却 的 状 态 形 成 这 种
年 第 期 % %! & % % % % % % &
国 际 关 系 理 论 类 比 认 知 与 毛 泽 东 的 对 外 政 策 张 清 敏 潘 丽 君 人 的 认 识 过 程 经 常 受 到 认 知 能 力 有 限 决 策 环 境 不 确 定 以 及 信 息 过 量 等 问 题 的 制 约 在 这 个 过 程 中 人 们 经 常 借 用 类 比 从 历 史 中 寻 找 启 发 帮 助 认 知 环 境 和 制 定 政 策 作 者 依 据! 毛 泽 东
!!!!!!!!!!
有 限 理 性 动 物 精 神 及 市 场 崩 溃 对 情 绪 波 动 与 交 易 行 为 的 实 验 研 究 林 树 俞 乔 资 本 市 场 的 经 验 表 明 市 场 参 与 主 体 投 资 者 的 情 绪 波 动 对 资 产 交 易 与 价 格 决 定 产 生 了 不 可 忽 视 的 影 响 但 是 现 有 文 献 尚 缺 乏 对 这 一 重 要 因 素 的 研 究 因 此 本 文 的 目 的
国债回购交易业务指引
附 件 1 上 海 证 券 交 易 所 新 质 押 式 国 债 回 购 交 易 业 务 指 引 一 总 述 根 据 上 海 证 券 交 易 所 债 券 交 易 实 施 细 则, 上 证 所 将 于 2006 年 5 月 8 日 起 推 出 新 质 押 式 国 债 回 购 新 质 押 式 回 购 与 现 行 质 押 式 回 购 相 比 区 别 主 要 在 以 下 几 个 方 面 :1 新 质 押 式
第 期 李 伟 等 用 方 法 对 中 国 历 史 气 温 数 据 插 值 可 行 性 讨 论
李 伟 李 庆 祥 江 志 红 使 用 插 值 方 法 对 已 经 过 质 量 控 制 和 均 一 化 的 年 月 年 月 中 国 全 部 基 本 基 准 站 气 温 资 料 逐 月 进 行 空 间 插 值 通 过 站 点 的 实 际 序 列 与 插 值 后 格 点 序 列 进 行 比 较 针 对 相 关 系 数 和 线 性 趋 势 等 多 个 量 来 检 验 方 法 对 气 候 资 料 插 值 的
HSK( 一 级 ) 考 查 考 生 的 日 常 汉 语 应 用 能 力, 它 对 应 于 国 际 汉 语 能 力 标 准 一 级 欧 洲 语 言 共 同 参 考 框 架 (CEF) A1 级 通 过 HSK( 一 级 ) 的 考 生 可 以 理 解 并 使 用 一 些 非 常 简 单 的 汉 语
新 汉 语 水 平 考 试 HSK 为 使 汉 语 水 平 考 试 (HSK) 更 好 地 服 务 于 汉 语 学 习 者, 中 国 国 家 汉 办 组 织 中 外 汉 语 教 学 语 言 学 心 理 学 和 教 育 测 量 学 等 领 域 的 专 家, 在 充 分 调 查 了 解 海 外 实 际 汉 语 教 学 情 况 的 基 础 上, 吸 收 原 有 HSK 的 优 点, 借 鉴 近 年 来 国
¹ º ¹ º 农 业 流 动 人 口 是 指 户 口 性 质 为 农 业 户 口 在 流 入 地 城 市 工 作 生 活 居 住 一 个 月 及 以 上 的 流 动 人 口 非 农 流 动 人 口 是 指 户 口 性 质 为 非 农 户 口 在 流 入 地 城 市 工 作 生 活 居 住 一 个
¹ 改 革 开 放 年 来 人 口 流 动 规 模 持 续 增 加 对 我 国 社 会 经 济 的 持 续 发 展 起 到 了 重 要 作 用 为 全 面 了 解 我 国 流 动 人 口 生 存 状 况 准 确 把 握 流 动 人 口 发 展 规 律 和 趋 势 不 断 加 强 流 动 人 口 服 务 管 理 引 导 人 口 有 序 流 动 合 理 分 布 国 家 人 口 计 生 委 于 年 月 启
修改版-操作手册.doc
职 称 信 息 系 统 升 级 指 南 须 使 用 IE9 及 其 以 上 版 本 浏 览 器 或 谷 歌 浏 览 器 登 录 www.njrs.gov.cn 南 京 市 职 称 ( 职 业 资 格 ) 工 作 领 导 小 组 办 公 室 2016 年 5 月 目 录 一 申 报 人 员 操 作 指 南...1 1.1 职 称 初 定 申 报...1 1.1.1 职 称 初 定 基 础 信 息 填
反 学 校 文 化 与 阶 级 再 生 产 小 子 与 子 弟 之 比 较 周 潇 作 者 通 过 对 北 京 某 打 工 子 弟 学 校 的 田 野 调 查 后 发 现 在 农 民 工 子 弟 中 间 盛 行 着 类 似 学 做 工 中 所 描 述 的 工 人 阶 级 小 子 的 反 学 校 文 化 但 是 由 于 制 度 安 排 与 社 会 条 件 的 差 异 子 弟 与 小 子 的 反 学 校
(2015-2016-2)-0004186-04205-1 140242 信 号 与 系 统 Ⅰ 学 科 基 础 必 修 课 37 37 1 教 203 17 周 2016 年 06 月 13 日 (08:00-09:35) (2015-2016-2)-0004186-04205-1 141011
关 于 2015-2016 学 年 第 二 学 期 期 末 周 内 考 试 时 间 地 点 安 排 选 课 课 号 班 级 名 称 课 程 名 称 课 程 性 质 合 考 人 数 实 际 人 数 考 试 教 室 考 试 段 考 试 时 间 (2015-2016-2)-0006178-04247-1 130101 测 试 技 术 基 础 学 科 基 础 必 修 课 35 35 1 教 401 17 周
课程类 别
美 声 演 唱 方 向 培 养 方 案 一 培 养 目 标 本 方 向 要 求 学 生 德 智 体 美 全 面 发 展, 培 养 能 在 文 艺 团 体 从 事 声 乐 演 唱 及 能 在 艺 术 院 校 从 事 本 方 向 教 学 的 高 级 门 人 才 二 培 养 规 格 本 方 向 学 生 应 系 统 掌 握 声 乐 演 唱 方 面 的 理 论 和 技 能, 具 备 较 高 的 声 乐 演 唱
珠江钢琴股东大会
证 券 代 码 :002678 证 券 简 称 : 珠 江 钢 琴 公 告 编 号 :2015-038 广 州 珠 江 钢 琴 集 团 股 份 有 限 公 司 2015 年 年 度 股 东 大 会 决 议 公 告 本 公 司 及 董 事 会 全 体 成 员 保 证 信 息 披 露 的 内 容 真 实 准 确 完 整, 没 有 虚 假 记 载 误 导 性 陈 述 或 重 大 遗 漏 特 别 提 示 :
中 日 信 息 化 的 比 较 与 合 作 一 中 日 信 息 化 的 规 模 比 较
中 日 信 息 化 的 比 较 与 合 作 冯 昭 奎 信 息 化 或 信 息 技 术 革 命 正 进 入 一 个 新 阶 段 与 日 本 相 比 中 国 的 信 息 化 与 信 息 产 业 存 在 着 互 联 网 和 手 机 用 户 数 量 大 与 普 及 率 低 的 不 平 衡 硬 件 与 软 件 发 展 的 不 平 衡 信 息 产 业 的 生 产 规 模 与 出 口 规 模 的 不 平 衡 国
随着执业中医师资格考试制度的不断完善，本着为我校中医学专业认证服务的目的，本文通过对我校中医类毕业生参加2012年和2013年的中医执业医师考试成绩及通过率、掌握率进行分析，并与全国的平均水平进行差异比较分析，以此了解我校执业中医师考试的现状，进而反映我校中医类课程总体教学水平，发现考核知识模块教学中存在的不足，反馈给相关学院和教学管理部门，以此提高教学和管理水平。
2012-2013 中 医 类 别 执 业 医 师 综 合 笔 试 成 绩 分 析 反 馈 报 告 教 务 处 二 零 一 三 年 三 月 1 目 录 1 前 言 3 2 2012-2013 中 医 类 别 执 业 医 师 综 合 笔 试 成 绩 分 析 反 馈 报 告 4 附 件 1:2012 年 中 医 类 别 医 师 资 格 综 合 笔 试 院 校 学 科 成 绩 分 析 报 告 附 件 2:2013
一 开 放 性 的 政 策 与 法 规 二 两 岸 共 同 的 文 化 传 承 三 两 岸 高 校 各 自 具 有 专 业 优 势 远 见 杂 志 年 月 日
河 北 师 范 大 学 学 报 新 时 期 海 峡 两 岸 高 校 开 放 招 生 问 题 探 讨 郑 若 玲 王 晓 勇 海 峡 两 岸 高 校 开 放 招 生 是 新 时 期 推 进 海 峡 两 岸 高 等 教 育 交 流 与 合 作 的 重 要 尝 试 系 统 梳 理 改 革 开 放 以 来 两 岸 招 生 政 策 与 就 学 人 数 发 展 变 化 的 历 史 进 程 可 发 现 促 进 两
0 年 上 半 年 评 价 与 考 核 细 则 序 号 部 门 要 素 值 考 核 内 容 考 核 方 式 考 核 标 准 考 核 ( 扣 原 因 ) 考 评 得 3 安 全 生 产 目 30 无 同 等 责 任 以 上 道 路 交 通 亡 人 事 故 无 轻 伤 责 任 事 故 无 重 大 质 量
0 年 上 半 年 评 价 与 考 核 细 则 序 号 部 门 要 素 值 考 核 内 容 考 核 方 式 考 核 标 准 无 同 等 责 任 以 上 道 路 交 通 亡 人 事 故 3 无 轻 伤 责 任 事 故 目 标 30 及 事 无 重 大 质 量 工 作 过 失 故 管 无 其 他 一 般 责 任 事 故 理 在 公 司 文 明 环 境 创 建 中, 无 工 作 过 失 及 被 追 究 的
第 卷 第 辑 高 明 华 蔡 卫 星 曾 诚 股 权 结 构 与 信 息 披 露 质 量 来 自 证 券 分 析 师 盈 余 预 测 特 征 的 证 据!!
第 卷 第 辑 年 月 产 业 经 济 评 论 高 明 华 蔡 卫 星 曾 诚 本 文 利 用 年 中 国 股 上 市 公 司 的 相 关 数 据 使 用 证 券 分 析 师 盈 余 预 测 特 征 作 为 信 息 披 露 质 量 的 代 理 变 量 从 股 权 集 中 和 股 权 制 衡 的 角 度 探 讨 了 股 权 结 构 与 信 息 披 露 质 量 之 间 的 关 系 我 们 的 研 究 发
<4D6963726F736F667420576F7264202D20B9D8D3DAB0BABBAAA3A8C9CFBAA3A3A9D7D4B6AFBBAFB9A4B3CCB9C9B7DDD3D0CFDEB9ABCBBE32303132C4EAC4EAB6C8B9C9B6ABB4F3BBE1B7A8C2C9D2E2BCFBCAE92E646F6378>
上 海 德 载 中 怡 律 师 事 务 所 关 于 昂 华 ( 上 海 ) 自 动 化 工 程 股 份 有 限 公 司 二 〇 一 二 年 年 度 股 东 大 会 法 律 意 见 书 上 海 德 载 中 怡 律 师 事 务 所 上 海 市 银 城 中 路 168 号 上 海 银 行 大 厦 1705 室 (200120) 电 话 :8621-5012 2258 传 真 :8621-5012 2257
<433A5C446F63756D656E747320616E642053657474696E67735C41646D696E6973747261746F725CD7C0C3E65CC2DBCEC4CFB5CDB3CAB9D3C3D6B8C4CFA3A8BCF2BBAFA3A95CCAB9D3C3D6B8C4CF31302D31392E646F63>
( 一 ) 系 统 整 体 操 作 流 程 简 述 3 ( 二 ) 系 统 中 各 角 色 操 作 功 能 说 明 5 1. 学 院 管 理 员 5 2. 教 学 院 长 8 3. 指 导 教 师 10 4. 答 辩 组 组 长 12 5. 学 生 12 6. 系 统 管 理 员 15 ( 一 ) 论 文 系 统 常 见 问 题 16 ( 二 ) 论 文 查 重 常 见 问 题 22 1 2 主
导 数 和 微 分 的 概 念 导 数 的 几 何 意 义 和 物 理 意 义 函 数 的 可 导 性 与 连 续 性 之 间 的 关 系 平 面 曲 线 的 切 线 和 法 线 导 数 和 微 分 的 四 则 运 算 基 本 初 等 函 数 的 导 数 复 合 函 数 反 函 数 隐 函 数 以
2015 年 考 研 数 学 二 考 试 大 纲 考 试 科 目 : 高 等 数 学 线 性 代 数 考 试 形 式 和 试 卷 结 构 一 试 卷 满 分 及 考 试 时 间 试 卷 满 分 为 150 分, 考 试 时 间 为 180 分 钟. 二 答 题 方 式 答 题 方 式 为 闭 卷 笔 试. 三 试 卷 内 容 结 构 高 等 教 学 约 78% 线 性 代 数 约 22% 四 试 卷
名 称 生 命 科 学 学 院 083001 环 境 科 学 1 生 物 学 仅 接 收 院 内 调 剂, 初 试 分 数 满 足 我 院 生 物 学 复 试 最 低 分 数 线 生 命 科 学 学 院 071300 生 态 学 5 生 态 学 或 生 物 学 生 命 科 学 学 院 040102
华 中 师 范 大 学 2016 年 接 收 校 内 外 优 秀 硕 士 研 究 生 调 剂 信 息 表 名 称 经 济 与 工 商 管 理 学 院 020101 政 治 经 济 学 1 经 济 学 类 毕 业 学 校 与 报 考 学 校 不 低 于 我 校 办 学 层 次 经 济 与 工 商 管 理 学 院 020105 世 界 经 济 学 1 经 济 学 类 毕 业 学 校 与 报 考 学 校
金 不 少 于 800 万 元, 净 资 产 不 少 于 960 万 元 ; (3) 近 五 年 独 立 承 担 过 单 项 合 同 额 不 少 于 1000 万 元 的 智 能 化 工 程 ( 设 计 或 施 工 或 设 计 施 工 一 体 ) 不 少 于 2 项 ; (4) 近 三 年 每 年
工 程 设 计 与 施 工 资 质 标 准 一 总 则 建 筑 智 能 化 工 程 设 计 与 施 工 资 质 标 准 ( 一 ) 为 了 加 强 对 从 事 建 筑 智 能 化 工 程 设 计 与 施 工 企 业 的 管 理, 维 护 建 筑 市 场 秩 序, 保 证 工 程 质 量 和 安 全, 促 进 行 业 健 康 发 展, 结 合 建 筑 智 能 化 工 程 的 特 点, 制 定 本 标
<4D6963726F736F667420576F7264202D2032303133C4EAB9A4B3CCCBB6CABFCAFDD1A7D7A8D2B5BFCEBFBCCAD4B4F3B8D9D3EBD2AAC7F3>
工 程 硕 士 数 学 考 试 大 纲 与 要 求 ( 包 括 高 等 数 学 和 线 性 代 数 ) 一 函 数 极 限 与 连 续 第 一 部 分 : 高 等 数 学 考 试 内 容 函 数 的 概 念 及 表 示 法 函 数 的 有 界 性 单 调 性 周 期 性 和 奇 偶 性 复 合 函 数 反 函 数 分 段 函 数 和 隐 函 数 基 本 初 等 函 数 的 性 质 及 其 图 形 初
Microsoft Word - 资料分析练习题09.doc
行 测 高 分 冲 刺 练 习 题 资 料 分 析 ( 共 15 题, 参 考 时 限 10 分 钟 ) 材 料 题 - 1 2012 年 1 月 某 小 区 成 交 的 二 手 房 中, 面 积 为 60 平 方 米 左 右 的 住 宅 占 总 销 售 套 数 的 ( ) A.25% B.35% C.37.5% 长 沙 市 雨 花 区 侯 家 塘 佳 天 国 际 大 厦 北 栋 20 楼 第 1
Microsoft Word - 文件汇编.doc
北 京 市 中 医 管 理 局 二 一 五 年 四 月 ... 1... 18 2015... 30 京 中 医 政 字 [2014]160 号 1 2 一 充 分 认 识 中 医 健 康 乡 村 建 设 工 作 的 重 要 意 义 二 建 立 健 全 工 作 保 障 机 制 2014 12 15 三 做 好 工 作 启 动 的 准 备 事 宜 1 2014 12 15 5-10 2014 12 15
18 上 报 该 学 期 新 生 数 据 至 阳 光 平 台 第 一 学 期 第 四 周 至 第 六 周 19 督 促 学 习 中 心 提 交 新 增 专 业 申 请 第 一 学 期 第 四 周 至 第 八 周 20 编 制 全 国 网 络 统 考 十 二 月 批 次 考 前 模 拟 题 第 一 学
1 安 排 组 织 全 国 网 络 统 考 九 月 批 次 网 上 考 前 辅 导 第 一 学 期 第 一 周 统 考 考 前 半 个 月 2 下 发 全 国 网 络 统 考 九 月 批 次 准 考 证 第 一 学 期 第 一 周 导 出 下 半 年 成 人 本 科 学 士 学 位 英 语 统 一 考 试 报 考 3 信 息 第 一 学 期 第 一 周 4 教 学 计 划 和 考 试 计 划 上 网,
作 为 生 产 者 式 文 本 的 女 性 主 义 通 俗 小 说 梅 丽 本 文 借 鉴 文 化 研 究 理 论 家 约 翰 费 斯 克 的 生 产 者 式 文 本 这 一 概 念 考 察 女 性 主 义 通 俗 小 说 的 文 本 特 征 写 作 策 略 和 微 观 政 治 意 义 女 性 主 义 通 俗 小 说 通 过 对 传 统 通 俗 小 说 的 挪 用 和 戏 仿 传 播 女 性 主 义
登录、注册功能的测试用例设计.doc
注 册 登 陆 测 试 用 例 和 修 改 密 码 测 试 用 例 完 整 版 摘 自 网 络, 狗 狗 整 理 zqh139@126.com 修 改 历 史 日 期 版 本 作 者 修 改 内 容 评 审 号 变 更 控 制 号 2010-11-25 1.0 初 稿 2011-09-17 2.0 整 理 一 注 册 测 试 用 例 序 号 : 1 控 件 名 称 : 功 能 描 述 : 注 册 编
<4D F736F F D D323630D6D0B9FAD3A6B6D4C6F8BAF2B1E4BBAFB5C4D5FEB2DFD3EBD0D0B6AF C4EAB6C8B1A8B8E6>
中 国 应 对 气 候 变 化 的 政 策 与 行 动 2013 年 度 报 告 国 家 发 展 和 改 革 委 员 会 二 〇 一 三 年 十 一 月 100% 再 生 纸 资 源 目 录 前 言... 1 一 应 对 气 候 变 化 面 临 的 形 势... 3 二 完 善 顶 层 设 计 和 体 制 机 制... 4 三 减 缓 气 候 变 化... 8 四 适 应 气 候 变 化... 20
第 六 章 债 券 股 票 价 值 评 估 1 考 点 一 : 债 券 价 值 的 影 响 因 素 2
Professional Accounting Education Provided by Academy of Professional Accounting (APA) CPA 财 务 管 理 习 题 班 第 八 讲 债 券 股 票 价 值 评 估 IreneGao ACCAspace 中 国 ACCA 国 际 注 册 会 计 师 教 育 平 台 Copyright ACCAspace.com
张 荣 芳 中 山 大 学 历 史 系 广 东 广 州 张 荣 芳 男 广 东 廉 江 人 中 山 大 学 历 史 系 教 授 博 士 生 导 师 我 们 要 打 破 以 前 学 术 界 上 的 一 切 偶 像 以 前 学 术 界 的 一 切 成 见 屏 除 我 们 要 实 地 搜 罗 材 料 到 民 众 中 寻 方 言 到 古 文 化 的 遗 址 去 发 掘 到 各 种 的 人 间 社 会 去
<433A5C55736572735C6B73625C4465736B746F705CB9FABCCAD6D0D2BDD2A9D7A8D2B5B8DFBCB6BCBCCAF5D6B0B3C6C6C0C9F3C9EAC7EBD6B8C4CFA3A832303136CDA8D3C3B0E6A3A92E646F63>
附 件 1 国 际 中 药 专 业 高 级 技 术 职 称 评 审 条 件 及 报 名 材 料 一 系 列 ( 一 ) 中 1 高 级 专 科 ( 副 ) 高 级 专 科 ( 副 ) 1 取 得 中 专 科 职 称 后, 独 立 从 事 中 临 床 实 践 5 年 以 上 2 取 得 中 博 士 学 位 后, 临 床 实 践 2 年 以 上 3 取 得 中 硕 士 学 位 后, 临 床 实 践 7
上证指数
上 证 与 修 正 方 法 一 ( 一 ) 计 算 公 式 1. 上 证 指 数 系 列 均 采 用 派 许 加 权 综 合 价 格 指 数 公 式 计 算 2. 上 证 180 指 数 上 证 50 指 数 等 以 成 份 股 的 调 整 股 本 数 为 权 数 进 行 加 权 计 算, 计 算 公 式 为 : 报 告 期 指 数 =( 报 告 期 样 本 股 的 调 整 市 值 / 基 期 )
立 场 反 思 教 育 学 与 哲 学 和 科 学 的 对 话 杨 小 微 从 某 种 意 义 上 说 教 育 学 是 在 与 哲 学 等 相 关 学 科 的 对 话 中 成 长 起 来 的 它 先 后 经 历 了 亲 哲 学 和 亲 科 学 阶 段 而 今 正 在 走 向 事 理 知 识 时 期 对 话 使 教 育 学 从 马 克 思 主 义 哲 学 自 然 科 学 及 系 统 方 法 论 人 本
正 规 培 训 达 规 定 标 准 学 时 数, 并 取 得 结 业 证 书 二 级 可 编 程 师 ( 具 备 以 下 条 件 之 一 者 ) (1) 连 续 从 事 本 职 业 工 作 13 年 以 上 (2) 取 得 本 职 业 三 级 职 业 资 格 证 书 后, 连 续 从 事 本 职 业
1. 职 业 概 况 1.1 职 业 名 称 可 编 程 师 1.2 职 业 定 义 可 编 程 师 国 家 职 业 标 准 从 事 可 编 程 序 控 制 器 (PLC) 选 型 编 程, 并 对 应 用 进 行 集 成 和 运 行 管 理 的 人 员 1.3 职 业 等 级 本 职 业 共 设 四 个 等 级, 分 别 为 : 四 级 可 编 程 师 ( 国 家 职 业 资 格 四 级 ) 三
第 三 章 审 计 证 据 2
Professional Accounting Education Provided by Academy of Professional Accounting (APA) CPA 知 识 讲 解 审 计 第 八 讲 : 审 计 证 据 的 性 质 和 审 计 程 序 讲 师 :Danielle ACCAspace 中 国 ACCA 特 许 公 认 会 计 师 教 育 平 台 Copyright ACCAspace.com
数 学 标 准 不 练 习 1.1 理 解 问 题 并 坚 持 解 决 这 些 问 题 1.2 以 抽 象 和 定 量 方 式 推 理 1.3 建 构 可 行 参 数 和 评 判 他 人 的 推 理 1.4 使 用 数 学 方 法 建 模 1.5 策 略 性 地 使 用 合 适 的 工 具 1.6
课 程 表 格 科 学 框 架 不 练 习 1.1 提 问 1.2 开 发 和 使 用 模 型 1.3 规 划 和 开 展 调 查 1.4 分 析 和 解 释 数 据 1.5 使 用 数 学 运 算 信 息 和 计 算 机 技 术 以 及 计 算 思 维 1.6 构 造 解 释 和 设 计 解 决 方 案 1.7 通 过 证 据 进 行 论 证 1.8 获 取 评 估 和 交 流 信 息 跨 领 域
第二讲 数列
Togisu XueD Persolized Eduio Developme Ceer 高 考 中 不 等 式 问 题 的 解 决 方 法 通 润 达 久 王 力 前 言 : 近 年 来 不 等 式 问 题 正 越 来 越 多 的 出 现 在 调 研 题 和 高 考 试 题 中 而 且 大 多 出 现 在 江 苏 高 考 的 填 空 压 轴 题 中 是 高 考 考 察 的 重 点 和 难 点 由 于
3 复 试 如 何 准 备 4 复 试 成 绩 计 算 5 复 试 比 例 6 复 试 类 型 7 怎 么 样 面 对 各 种 复 试 04 05
1 复 试 流 程 2 复 试 考 查 形 式 02 03 3 复 试 如 何 准 备 4 复 试 成 绩 计 算 5 复 试 比 例 6 复 试 类 型 7 怎 么 样 面 对 各 种 复 试 04 05 2 怎 样 给 导 师 留 下 良 好 的 第 一 印 象 把 握 进 门 时 机 1 面 试 中 穿 着 的 瞒 天 过 海 3 无 声 胜 有 声 的 肢 体 语 言 育 4 眼 睛 是 心
类 似 地, 又 可 定 义 变 下 限 的 定 积 分 : ( ). 与 ψ 统 称 为 变 限 积 分. f ( ) d f ( t) dt,, 注 在 变 限 积 分 (1) 与 () 中, 不 可 再 把 积 分 变 量 写 成 的 形 式 ( 例 如 ) 以 免 与 积 分 上 下 限 的
5 ( 一 ) 微 积 分 学 基 本 定 理 当 函 数 的 可 积 性 问 题 告 一 段 落, 并 对 定 积 分 的 性 质 有 了 足 够 的 认 识 之 后, 接 着 要 来 解 决 一 个 以 前 多 次 提 到 过 的 问 题 在 定 积 分 形 式 下 证 明 连 续 函 数 必 定 存 在 原 函 数. 一 变 限 积 分 与 原 函 数 的 存 在 性 设 f 在 [,] 上
<4D6963726F736F667420576F7264202D20BFC9B1E0B3CCD0F2BFD8D6C6CFB5CDB3C9E8BCC6CAA6B9FABCD2D6B0D2B5B1EAD7BC2E646F63>
国 家 职 业 标 准 1 可 编 程 序 控 制 系 统 设 计 师 国 家 职 业 标 准 1. 职 业 概 况 1.1 职 业 名 称 可 编 程 序 控 制 系 统 设 计 师 1.2 职 业 定 义 从 事 可 编 程 序 控 制 器 (PLC) 选 型 编 程, 并 对 应 用 系 统 进 行 设 计 集 成 和 运 行 管 理 的 人 员 1.3 职 业 等 级 本 职 业 共 设 四
3 月 30 日 在 中 国 证 券 报 上 海 证 券 报 证 券 时 报 证 券 日 报 和 上 海 证 券 交 易 所 网 站 上 发 出 召 开 本 次 股 东 大 会 公 告, 该 公 告 中 载 明 了 召 开 股 东 大 会 的 日 期 网 络 投 票 的 方 式 时 间 以 及 审
北 京 市 君 致 律 师 事 务 所 关 于 浪 潮 软 件 股 份 有 限 公 司 2015 年 度 股 东 大 会 的 法 律 意 见 书 致 : 浪 潮 软 件 股 份 有 限 公 司 北 京 市 君 致 律 师 事 务 所 ( 以 下 简 称 本 所 ) 受 浪 潮 软 件 股 份 有 限 公 司 ( 以 下 简 称 公 司 ) 的 委 托, 指 派 律 师 出 席 2016 年 4 月
伊 犁 师 范 学 院 611 语 言 学 概 论 全 套 考 研 资 料 <2016 年 最 新 考 研 资 料 > 2-2 语 言 学 纲 要 笔 记, 由 考 取 本 校 本 专 业 高 分 研 究 生 总 结 而 来, 重 点 突 出, 借 助 此 笔 记 可 以 大 大 提 高 复 习 效
伊 犁 师 范 学 院 611 语 言 学 概 论 全 套 考 研 资 料 ......2 伊 犁 师 范 学 院 802 文 学 概 论 全 套 考 研 资 料 ......2 伊 犁 师 范 学 院 702 普 通 物 理 全 套 考 研 资 料 ......3 伊 犁
2.5 选 举 陈 晓 非 女 士 为 第 六 届 董 事 会 董 事 候 选 人 的 议 案 ; 2.6 选 举 卢 婕 女 士 为 第 六 届 董 事 会 董 事 候 选 人 的 议 案 ; 2.7 选 举 张 文 君 先 生 为 第 六 届 董 事 会 独 立 董 事 候 选 人 的 议 案
证 券 代 码 :000982 证 券 简 称 : 中 银 绒 业 公 告 编 号 :2014-83 宁 夏 中 银 绒 业 股 份 有 限 公 司 董 事 会 关 于 召 开 2014 年 第 五 次 临 时 股 东 大 会 网 络 投 票 流 程 的 提 示 公 告 本 公 司 及 董 事 会 全 体 成 员 保 证 信 息 披 露 的 内 容 真 实 准 确 完 整, 没 有 虚 假 记 载
( 二 ) 现 行 统 一 高 考 制 度 不 利 于 培 养 人 的 创 新 精 神,,,,,,,,,,,,, [ ],,,,,,,,,,, :, ;,,,,,,? ( 三 ) 现 行 统 一 高 考 制 度 不 利 于 全 体 学 生 都 获 得 全 面 发 展,, [ ],,,,,,,,,,,
![( 二 ) 现 行 统 一 高 考 制 度 不 利 于 培 养 人 的 创 新 精 神,,,,,,,,,,,,, [ ],,,,,,,,,,, :, ;,,,,,,? ( 三 ) 现 行 统 一 高 考 制 度 不 利 于 全 体 学 生 都 获 得 全 面 发 展,, [ ],,,,,,,,,,,](/thumbs/39/20125331.jpg "( 二 ) 现 行 统 一 高 考 制 度 不 利 于 培 养 人 的 创 新 精 神,,,,,,,,,,,,, [ ],,,,,,,,,,, :, ;,,,,,,? ( 三 ) 现 行 统 一 高 考 制 度 不 利 于 全 体 学 生 都 获 得 全 面 发 展,, [ ],,,,,,,,,,,")
( ) ( )... 李 雪 岩, 龙 耀 (. 广 西 民 族 大 学 商 学 院, 广 西 南 宁 ;. 中 山 大 学 教 育 学 院, 广 东 广 州 ) : 高 等 教 育 是 专 业 教 育 高 考 是 为 高 等 教 育 服 务 的, 是 为 高 等 专 业 教 育 选 拔 有 专 业 培 养 潜 质 的 人 才 现 行 高 考 制 度 忽 略 专 业 潜 质 的 因 素, 过 份 强
朱 丽 明 柯 美 云 周 丽 雅 袁 耀 宗 罗 金 燕 候 晓 华 陈 旻 湖 滥 用 安 非 他 命 会 增 加 得 心 脏 病 的 风 险 据 美 国 科 技 新 闻 网 报 道 根 据 纽 约 路 透 社 报 道 一 份 新 的 研 究 显 示 青 年 及 成 年 人 若 滥 用 安 非 他 命 会 增 加 得 心 脏 病 的 风 险 美 国 德 州 大 学 西 南 医 学 中 心
证券代码：000066 证券简称：长城电脑 公告编号：2014-000
证 券 代 码 :000066 证 券 简 称 : 长 城 电 脑 公 告 编 号 :2016-092 中 国 长 城 计 算 机 深 圳 股 份 有 限 公 司 2016 年 度 第 三 次 临 时 股 东 大 会 决 议 公 告 本 公 司 及 其 董 事 会 全 体 成 员 保 证 信 息 披 露 内 容 的 真 实 准 确 完 整, 没 有 虚 假 记 载 误 导 性 陈 述 或 重 大 遗
Microsoft Word - 第3章.doc
52 5 天 通 过 职 称 计 算 机 考 试 ( 考 点 视 频 串 讲 + 全 真 模 拟 ) Word 2003 中 文 字 处 理 ( 第 2 版 ) 第 3 章 3 字 符 格 式 需 要 掌 握 的 考 点 字 体 字 形 和 字 号 的 设 置 ; 上 标 下 标 空 心 字 等 字 体 效 果 的 使 用 ; 字 符 间 距 的 调 整 ; 改 变 字 符 颜 色 底 纹 添 加
用节点法和网孔法进行电路分析
运 用 节 点 法 和 网 孔 法 进 行 电 路 分 析 众 所 周 知, 运 用 基 尔 霍 夫 定 律 和 欧 姆 定 律, 我 们 可 以 对 任 何 一 个 电 路 进 行 分 析, 以 确 定 其 运 行 条 件 ( 电 流 和 电 压 值 ) 一 般 电 路 分 析 的 难 点 在 于 用 最 少 的 联 立 方 程 描 述 电 路 的 运 行 特 性 在 这 一 讲 里, 我 们 将
第2章 数据类型、常量与变量
第 2 章 数 据 类 型 常 量 与 变 量 在 计 算 机 程 序 中 都 是 通 过 值 (value) 来 进 行 运 算 的, 能 够 表 示 并 操 作 值 的 类 型 为 数 据 类 型 在 本 章 里 将 会 介 绍 JavaScript 中 的 常 量 (literal) 变 量 (variable) 和 数 据 类 型 (data type) 2.1 基 本 数 据 类 型 JavaScript
李 一 博 孙 立 瑛 靳 世 久 邢 菲 菲 杜 刚 基 于 大 型 常 压 立 式 金 属 储 罐 底 板 在 线 声 发 射 检 测 及 定 位 的 原 理 针 对 声 发 射 检 测 过 程 中 因 声 源 性 质 不 明 确 导 致 的 罐 底 完 整 性 评 价 结 果 不 准 确 的 问 题 采 用 小 波 分 析 方 法 对 罐 底 声 发 射 信 号 进 行 了 分 解 通 过 提
试 制 度 的 科 学 性 及 合 理 性 问 题 的 调 查 上 具 有 较 强 的 代 表 性 一 我 国 注 册 资 产 评 估 师 考 试 制 度 合 理 性 的 调 查 分 析 为 了 解 被 调 查 者 对 我 国 目 前 注 册 资 产 评 估 师 考 试 制 度 合 理 性 的 评
资 产 评 估 行 业 发 展 研 究 报 告 ( 第 19 期 ) 编 号 :2200932008-1 我 国 注 册 资 产 评 估 师 考 试 制 度 改 革 的 调 查 分 析 及 政 策 建 议 1 郭 庆 尉 京 红 郑 晓 芳 河 北 农 业 大 学 内 容 摘 要 为 了 解 我 国 评 估 行 业 相 关 人 员 对 当 前 注 册 资 产 评 估 师 考 试 制 度 改 革 的
计 算 机 工 程 年 月 日 明 这 种 变 体 是 可 证 明 安 全 的 其 中 一 个 变 体 用 到 随 机 谕 示 模 型 -&- 随 后 文 献 推 出 了 6/# 的 一 个 改 良 版 本 即 基 于 认 证 的 数 字 签 名 算 法 8 0&% 6 / #'86/# 该 算 法
第 卷 第 期 计 算 机 工 程 年 月! 安 全 技 术 文 章 编 号 文 献 标 识 码 中 图 分 类 号 5 基 于 离 散 对 数 的 数 字 签 名 标 准 对 比 研 究 冯 泽 宇 巩 博 儒 赵 运 磊 复 旦 大 学 软 件 学 院 计 算 机 科 学 技 术 学 院 上 海 摘 要 在 国 家 密 码 管 理 局 公 开 征 集 下 一 代 商 密 公 钥 密 码 算 法
人 工 抗 原 的 鉴 定
生 物 技 术 通 报 张 海 棠 王 自 良 刘 耀 东 传 统 的 理 化 分 析 方 法 在 食 品 污 染 检 测 方 面 发 挥 了 重 要 的 作 用 但 均 存 在 一 定 的 缺 陷 急 需 建 立 快 速 高 效 的 检 测 方 法 食 品 污 染 免 疫 检 测 是 一 种 新 型 的 分 析 方 法 与 理 化 分 析 方 法 相 比 具 有 省 时 省 力 费 用 低 廉 便
教师上报成绩流程图
教 务 管 理 系 统 使 用 说 明 学 生 端 用 户 1 在 校 内 任 何 一 台 连 接 校 园 网 的 计 算 机 上 登 录 教 务 处 主 页 教 务 处 主 页 地 址 : http://jw.stdu.edu.cn/homepage 随 后 点 击 按 钮 ( 见 下 图 所 示 ), 即 可 进 入 综 合 教 务 管 理 系 统 2 在 综 合 教 务 管 理 区 域 内 键
三武一宗灭佛研究
四 川 大 学 博 士 学 位 论 文 三 武 一 宗 灭 佛 研 究 姓 名 : 张 箭 申 请 学 位 级 别 : 博 士 专 业 : 中 国 古 代 史 指 导 教 师 : 杨 耀 坤 20020101 三
定 位 和 描 述 : 程 序 设 计 / 办 公 软 件 高 级 应 用 级 考 核 内 容 包 括 计 算 机 语 言 与 基 础 程 序 设 计 能 力, 要 求 参 试 者 掌 握 一 门 计 算 机 语 言, 可 选 类 别 有 高 级 语 言 程 序 设 计 类 数 据 库 编 程 类
全 国 计 算 机 等 级 考 试 调 整 方 案 2011 年 7 月, 教 育 部 考 试 中 心 组 织 召 开 了 第 五 届 全 国 计 算 机 等 级 考 试 (NCRE) 考 委 会 会 议, 会 议 完 成 NCRE 考 委 会 换 届 选 举, 并 确 定 了 下 一 步 改 革 和 发 展 的 目 标 在 新 的 历 史 时 期,NCRE 将 以 保 持 稳 定 为 前 提 以
·岗位设置管理流程
实 施 岗 位 设 置 岗 位 设 置 编 码 受 控 状 态 执 行 心 门 行 政 人 力 资 控 制 门 总 经 办 源 各 职 能 门 行 政 人 力 资 源 总 经 办 总 经 理 根 据 公 司 发 展 战 略 进 行 职 能 分 解 和 机 构 设 置 工 作 分 析 根 据 人 力 资 源 规 划 确 定 编 制 意 见 职 责 划 分 与 岗 位 设 置 制 作 职 务 说 明 书
抗 日 战 争 研 究 % 年 第 期! # # % %
以 翁 文 灏 为 核 心 的 考 察 李 学 通 本 文 以 先 后 任 国 民 政 府 国 防 设 计 委 员 会 秘 书 长 和 军 委 会 资 源 委 员 会 秘 书 长 的 翁 文 灏 为 中 心 考 察 年 国 防 设 计 委 员 会 成 立 至 年 初 战 时 经 济 体 制 建 立 期 间 国 民 政 府 以 工 矿 业 为 重 点 的 抗 战 经 济 准 备 工 作 作 者 认 为
抗 日 战 争 研 究 年 第 期
田 子 渝 武 汉 抗 战 时 期 是 国 共 第 二 次 合 作 的 最 好 时 期 在 国 共 合 作 的 基 础 上 出 现 了 抗 日 救 亡 共 御 外 侮 的 局 面 这 个 大 好 局 面 的 出 现 与 中 共 长 江 局 的 丰 功 伟 绩 是 分 不 开 的 但 长 期 以 来 由 于 有 一 个 王 明 的 右 倾 错 误 直 接 影 响 了 对 它 的 全 面 科 学 准 确
世华财讯模拟操作手册
第 一 部 分 : 股 票 模 拟 操 作 部 分 1. 登 录 与 主 界 面 1.1 登 录 学 生 在 桌 面 上, 打 开 世 华 文 件 夹, 直 接 双 击 文 件 夹 中 的 快 捷 图 标, 系 统 弹 出 世 华 财 讯 模 拟 股 票 交 易 系 统 ( 客 户 端 ) 窗 口, 如 图 1.1 所 示 图 1.1 请 输 入 登 录 名 称 及 密 码, 单 击 确 认 登 录
目 录 关 于 图 标... 3 登 陆 主 界 面... 3 工 单 管 理... 5 工 单 列 表... 5 搜 索 工 单... 5 工 单 详 情... 6 创 建 工 单... 9 设 备 管 理 巡 检 计 划 查 询 详 情 销 售 管
宝 汇 德 Turbocare 微 服 务 系 统 客 户 操 作 手 册 Version 2.0 北 京 宝 汇 德 技 术 服 务 器 有 限 公 司 技 术 研 发 部 目 录 关 于 图 标... 3 登 陆 主 界 面... 3 工 单 管 理... 5 工 单 列 表... 5 搜 索 工 单... 5 工 单 详 情... 6 创 建 工 单... 9 设 备 管 理... 10 巡
i 1) 系 统 运 作 前 设 定 *1. [2.1 网 页 主 机 名 称 设 定 ] -- 设 定 校 务 系 统 的 主 机 IP 地 址, 以 供 其 他 个 人 电 脑 连 接 及 使 用 该 系 统 *2. [2.3.1 输 入 / 修 改 学 校 资 料 ] -- 输 入 系 统 使
![i 1) 系 统 运 作 前 设 定 *1. [2.1 网 页 主 机 名 称 设 定 ] -- 设 定 校 务 系 统 的 主 机 IP 地 址, 以 供 其 他 个 人 电 脑 连 接 及 使 用 该 系 统 *2. [2.3.1 输 入 / 修 改 学 校 资 料 ] -- 输 入 系 统 使](/thumbs/41/22715617.jpg "i 1) 系 统 运 作 前 设 定 *1. [2.1 网 页 主 机 名 称 设 定 ] -- 设 定 校 务 系 统 的 主 机 IP 地 址, 以 供 其 他 个 人 电 脑 连 接 及 使 用 该 系 统 *2. [2.3.1 输 入 / 修 改 学 校 资 料 ] -- 输 入 系 统 使")
校 务 系 统 使 用 步 骤 说 明 手 册 简 介 此 手 册 是 配 合 校 务 系 统 使 用 手 册 编 辑 的, 因 此 必 须 同 时 参 考 校 务 系 统 使 用 手 册, 以 获 知 更 详 细 的 使 用 说 明 此 手 册 主 要 记 载 几 项 较 为 复 杂 事 务 的 处 理 步 骤 及 说 明, 以 让 使 用 者 更 容 易 掌 握 及 使 用 校 务 系 统 其
附件1：
附 件 5 增 列 硕 士 专 业 学 位 授 权 点 申 请 表 硕 士 专 业 学 位 类 别 ( 工 程 领 域 ): 工 程 硕 士 ( 控 制 工 程 领 域 ) 申 报 单 位 名 称 : 上 海 工 程 技 术 大 学 一 申 请 增 列 硕 士 专 业 学 位 授 权 点 论 证 报 告 申 请 增 列 硕 士 专 业 学 位 授 权 点 论 证 报 告 一 专 业 人 才 需 求
上海证券交易所会议纪要
附 件 上 海 市 场 首 次 公 开 发 行 股 票 网 下 发 行 实 施 细 则 第 一 章 总 则 第 一 条 为 规 范 拟 在 上 海 证 券 交 易 所 ( 以 下 简 称 上 交 所 ) 上 市 的 公 司 首 次 公 开 发 行 股 票 网 下 发 行 业 务, 提 高 首 次 公 开 发 行 股 票 网 下 申 购 及 资 金 结 算 效 率, 根 据 证 券 发 行 与 承 销
超 级 玛 丽 JAVA 小 游 戏 测 试 报 告 1. 导 言 1.1 编 写 目 的 该 文 档 的 目 的 是 描 述 超 级 玛 丽 JAVA 小 游 戏 的 系 统 测 试 的 总 结 报 告, 其 主 要 内 容 包 括 : 系 统 环 境 的 介 绍 功 能 的 实 现 的 测 试
超 级 玛 丽 游 戏 测 试 报 告 目 录 1. 导 言... 2 1.1 编 写 目 的... 2 1.2 项 目 范 围... 2 1.3 参 考 资 料... 2 1.4 缩 写 说 明... 2 1.5 术 语 定 义... 2 1.6 版 本 更 新 信 息... 3 2. 测 试 设 计... 3 2.1 测 试 要 点... 3 2.2 测 试 时 间 地 点 人 员... 3 2.3
一 六 年 级 下 册 教 科 书 总 体 说 明 ( 一 ) 教 学 内 容 本 册 教 科 书 一 共 安 排 了 5 个 教 学 单 元, 其 中 前 4 个 单 元 为 新 知 识, 第 五 单 元 是 对 整 个 小 学 阶 段 所 学 数 学 知 识 系 统 的 整 理 和 复 习
西 南 师 大 版 小 学 数 学 六 年 级 下 册 教 科 书 分 析 及 教 学 建 议 重 庆 市 教 育 科 学 研 究 院 李 光 树 一 六 年 级 下 册 教 科 书 总 体 说 明 ( 一 ) 教 学 内 容 本 册 教 科 书 一 共 安 排 了 5 个 教 学 单 元, 其 中 前 4 个 单 元 为 新 知 识, 第 五 单 元 是 对 整 个 小 学 阶 段 所 学 数 学
ETF、分级基金规模、份额变化统计20130816
ETF 分 级 基 金 规 模 份 额 变 化 统 计 截 至 上 周 末, 全 市 场 股 票 型 ETF 规 模 约 1451 亿, 份 额 约 1215 亿,ETF 总 份 额 及 规 模 的 周 变 动 值 分 别 为 -23-44 亿, 份 额 与 规 模 均 下 降 ; 分 级 基 金 规 模 约 438 亿, 份 额 572 亿, 总 份 额 及 规 模 的 周 变 动 值 分 别 为
附 件 : 上 海 市 建 筑 施 工 企 业 施 工 现 场 项 目 管 理 机 构 关 键 岗 位 人 员 配 备 指 南 二 一 四 年 九 月 十 一 日 2
公 开 上 海 市 城 乡 建 设 和 管 理 委 员 会 文 件 沪 建 管 2014 758 号 上 海 市 城 乡 建 设 和 管 理 委 员 会 关 于 印 发 上 海 市 建 筑 施 工 企 业 施 工 现 场 项 目 管 理 机 构 关 键 岗 位 人 员 配 备 指 南 的 通 知 各 区 县 建 设 和 交 通 委 员 会 : 为 进 一 步 加 强 对 建 设 工 程 施 工 现
际 联 考 的 非 美 术 类 本 科, 提 前 批 本 科 体 育 类 第 一 批 第 二 批 第 三 批 的 理 工 类 和 文 史 类 本 科 平 行 志 愿, 考 生 可 以 填 报 6 所 院 校 志 愿 符 合 贫 困 地 区 专 项 计 划 和 农 村 考 生 专 项 计 划 报 考
第 四 部 分 平 行 志 愿 57. 什 么 是 平 行 志 愿?/ 32 58. 我 省 在 哪 个 批 次 实 行 平 行 志 愿? 考 生 最 多 可 以 填 报 几 所 院 校 志 愿?/ 32 59. 第 一 二 三 批 本 科 平 行 志 愿 如 何 投 档?/ 32 60. 艺 术 本 科 ( 二 ) 艺 术 本 科 ( 三 ) 和 体 育 本 科 的 平 行 志 愿 如 何 投 档?/
1600 1000 40 50 2030 2000 采 取 行 动 的 机 会 90% 开 拓 成 功 的 道 路 2
简 略 版 本 :2015 3 10 2016 2021 全 球 卫 生 部 门 病 毒 性 肝 炎 战 略 2016 2021 2015 3 12 2012 2010 2014 2015 2016 2021 140 55% 35% 5 15% 5 20% 2.4 1.3 1.5 1 1600 1000 40 50 2030 2000 采 取 行 动 的 机 会 90% 开 拓 成 功 的 道 路
测 谱 学 基 础 宽 波 段 遥 感
燕 守 勋 武 晓 波 周 朝 宪 刘 朝 晖 庄 永 成 曹 春 香 魏 欣 欣 于 彩 虹 肖 春 生 中 国 科 学 院 遥 感 应 用 研 究 所 北 京 有 色 金 属 矿 产 地 质 调 查 中 心 北 京 青 海 西 部 资 源 公 司 西 宁 青 海 青 海 省 地 质 调 查 院 西 宁 青 海 根 据 年 出 版 的 专 辑 近 年 来 发 表 的 相 关 文 献 以 及 研 究
国际财务报告准则第13号——公允价值计量
附 件 : 企 业 会 计 准 则 第 39 号 公 允 价 值 计 量 第 一 章 总 则 第 一 条 为 了 规 范 公 允 价 值 的 计 量 和 披 露, 根 据 企 业 会 计 准 则 基 本 准 则, 制 定 本 准 则 第 二 条 公 允 价 值, 是 指 市 场 参 与 者 在 计 量 日 发 生 的 有 序 交 易 中, 出 售 一 项 资 产 所 能 收 到 或 者 转 移 一
全国建筑市场注册执业人员不良行为记录认定标准（试行）.doc
- 1 - - 2 - 附 件 全 国 建 筑 市 场 注 册 执 业 人 员 不 良 记 录 认 定 标 准 ( 试 行 ) 说 明 为 了 完 善 建 筑 市 场 注 册 执 业 人 员 诚 信 体 系 建 设, 规 范 执 业 和 市 场 秩 序, 依 据 相 关 法 律 法 规 和 部 门 规 章, 根 据 各 行 业 特 点, 我 部 制 订 了 全 国 建 筑 市 场 注 册 执 业 人
关于修订《沪市股票上网发行资金申购
关 于 修 订 沪 市 股 票 上 网 发 行 资 金 申 购 实 施 办 法 的 通 知 各 有 关 单 位 : 沪 市 股 票 上 网 发 行 资 金 申 购 实 施 办 法 ( 修 订 稿 ) ( 见 附 件 ) 已 经 中 国 证 券 监 督 管 理 委 员 会 批 准, 现 将 修 订 所 涉 主 要 内 容 公 布 如 下 一 第 二 条 ( 二 ) 申 购 单 位 及 上 限 修 改
光明乳业股份有限公司
光 明 乳 业 股 份 有 限 公 司 非 公 开 发 行 A 股 股 票 募 集 资 金 存 放 与 实 际 使 用 情 况 的 专 项 报 告 及 审 核 报 告 截 至 2012 年 12 月 31 日 止 审 核 报 告 光 明 乳 业 股 份 有 限 公 司 全 体 股 东 : 德 师 报 ( 核 ) 字 (13) 第 E0019 号 我 们 审 核 了 后 附 的 光 明 乳 业 股 份
论 华 兹 华 斯 塌 毁 的 茅 舍 的 主 题 与 叙 事 技 巧 的 统 一 李 增 王 云 在 塌 毁 的 茅 舍 一 诗 中 华 兹 华 斯 综 合 运 用 了 指 涉 主 题 的 叙 事 行 动 以 及 控 制 读 者 情 感 发 展 的 叙 事 节 奏 有 条 不 紊 地 引 导 读 者 经 历 了 心 灵 之 旅 最 终 与 叙 述 者 一 道 得 到 心 灵 的 训 诫 因 此 只
目 录 一 激 活 账 号... 2 二 忘 记 密 码 后 如 何 找 回 密 码?... 3 三 如 何 管 理 学 校 信 息 及 球 队 学 生 教 师 等 信 息... 6 四 如 何 发 布 本 校 校 园 文 化?... 11 五 如 何 向 教 师 发 送 通 知?... 13 六
一 刻 校 园 足 球 管 理 平 台 使 用 说 明 ( 学 校 管 理 员 版 ) 一 刻 软 件 科 技 有 限 公 司 目 录 一 激 活 账 号... 2 二 忘 记 密 码 后 如 何 找 回 密 码?... 3 三 如 何 管 理 学 校 信 息 及 球 队 学 生 教 师 等 信 息... 6 四 如 何 发 布 本 校 校 园 文 化?... 11 五 如 何 向 教 师 发 送
2. 本 次 修 改 后, 投 资 者 申 购 新 股 的 持 有 市 值 要 求 市 值 计 算 规 则 及 证 券 账 户 使 用 的 相 关 规 定 是 否 发 生 了 变 化? 答 : 未 发 生 变 化 投 资 者 申 购 新 股 的 持 有 市 值 是 指, 以 投 资 者 为 单 位
新 股 网 上 网 下 发 行 实 施 细 则 问 答 上 交 所 2016-01-05 一 网 上 发 行 业 务 问 答 1. 本 次 修 改 的 主 要 内 容 是 什 么? 答 : 本 次 修 改 的 主 要 内 容 包 括 : 一 是 取 消 了 投 资 者 在 申 购 委 托 时 应 全 额 缴 纳 申 购 资 金 的 规 定, 明 确 了 投 资 者 应 根 据 最 终 确 定 的 发
激 励 计 划 设 定 的 第 三 个 解 锁 期 解 锁 条 件 是 否 达 到 解 锁 条 件 的 说 明 1 公 司 未 发 生 如 下 任 一 情 形 : 1 公 司 最 近 一 个 会 计 年 度 财 务 会 计 报 告 被 注 册 会 计 师 出 具 否 定 意 见 或 者 无 法 表
证 券 代 码 :300170 证 券 简 称 : 汉 得 信 息 公 告 编 号 :2016-032 上 海 汉 得 信 息 技 术 股 份 有 限 公 司 关 于 2012 年 股 权 激 励 计 划 第 三 期 解 锁 股 份 上 市 流 通 的 提 示 性 公 告 本 公 司 及 董 事 会 全 体 成 员 保 证 信 息 披 露 内 容 的 真 实 准 确 和 完 整, 没 有 虚 假 记
<4D6963726F736F667420576F7264202D20C6F3D2B5C5E0D1B5CAA6B9FABCD2D6B0D2B5B1EAD7BC2E646F63>
企 业 培 训 师 国 家 职 业 标 准 1. 职 业 概 况 1.1 职 业 名 称 企 业 培 训 师 1.2 职 业 定 义 指 能 够 结 合 经 济 技 术 发 展 和 就 业 要 求, 研 究 开 发 针 对 新 职 业 ( 工 种 ) 的 培 训 项 目, 以 及 根 据 企 业 生 产 经 营 需 要, 掌 握 并 运 用 现 代 培 训 理 念 和 手 段, 策 划 开 发 培
新, 各 地 各 部 门 ( 单 位 ) 各 文 化 事 业 单 位 要 高 度 重 视, 切 实 加 强 领 导, 精 心 组 织 实 施 要 根 据 事 业 单 位 岗 位 设 置 管 理 的 规 定 和 要 求, 在 深 入 调 查 研 究 广 泛 听 取 意 见 的 基 础 上, 研 究 提
广 西 壮 族 自 治 区 人 事 厅 广 西 壮 族 自 治 区 文 化 厅 文 件 桂 人 发 2009 42 号 关 于 印 发 广 西 壮 族 自 治 区 文 化 事 业 单 位 岗 位 设 置 结 构 比 例 指 导 标 准 的 通 知 各 市 人 事 局 文 化 局, 区 直 各 部 门 ( 单 位 ): 根 据 人 事 部 印 发 的 事 业 单 位 岗 位 设 置 管 理 试 行 办