封面

Transcription

1

2 软 件 学 报 编 委 会 (2015 年 1 月 ~2018 年 12 月 ) 主 编 赵 琛, 中 国 科 学 院 软 件 研 究 所 执 行 主 编 金 芝, 北 京 大 学 副 主 编 Yao, Andrew C., 清 华 大 学 编 委 会 成 员 ( 以 汉 语 拼 音 为 序 ) 外 籍 和 港 澳 地 区 编 委 Bjfrner, Dines, Technical University of Denmark, Denmark Chin, Francis Yuk-Lun, University of Hong Kong, China Clarke, Edmund M., Carnegie Mellon University, USA Graham, Ronald L., University of California at San Diego, USA Li, Ming, University of Waterloo, Canada Li, Kai, Princeton University, USA Motiwalla, Juzar, National University of Singapore, Singapore Zhu, Hong, Oxford Brookes University, UK Krieg-Bruckner, Bernd, Universitat Bremen, Germany 资 深 编 委 戴 国 忠, 中 国 科 学 院 软 件 研 究 所 董 韫 美, 中 国 科 学 院 软 件 研 究 所 冯 玉 琳, 中 国 科 学 院 软 件 研 究 所 何 新 贵, 北 京 大 学 李 德 毅, 电 子 系 统 工 程 研 究 所 李 未, 北 京 航 空 航 天 大 学 领 域 编 委 陈 克 非, 杭 州 师 范 大 学 理 学 院 冯 登 国, 中 国 科 学 院 软 件 研 究 所 黄 涛, 中 国 科 学 院 软 件 研 究 所 蒋 昌 俊, 同 济 大 学 李 华, 中 国 科 学 院 计 算 技 术 研 究 所 李 建 中, 哈 尔 滨 工 业 大 学 李 宣 东, 南 京 大 学 责 任 编 委 陈 海 波, 上 海 交 通 大 学 陈 文 光, 清 华 大 学 陈 小 武, 北 京 航 空 航 天 大 学 陈 翌 佳, 复 旦 大 学 崔 斌, 北 京 大 学 冯 晓 兵, 中 国 科 学 院 计 算 技 术 研 究 所 冯 新 宇, 中 国 科 技 大 学 高 宏, 哈 尔 滨 工 业 大 学 高 阳, 南 京 大 学 葛 敬 国, 中 国 科 学 院 信 息 工 程 研 究 所 黄 继 武, 深 圳 大 学 金 海, 华 中 科 技 大 学 荆 继 武, 中 国 科 学 院 信 息 工 程 研 究 所 刘 利 刚, 中 国 科 技 大 学 刘 璘, 清 华 大 学 刘 胜 利, 上 海 交 通 大 学 刘 云 浩, 香 港 科 技 大 学 卢 凯, 国 防 科 技 大 学 林 惠 民, 中 国 科 学 院 软 件 研 究 所 陆 汝 钤, 中 科 院 数 学 与 系 统 科 学 研 究 院 陆 维 明, 中 科 院 数 学 与 系 统 科 学 研 究 院 钱 华 林, 中 国 科 学 院 计 算 机 网 络 信 息 中 心 孙 家 广, 清 华 大 学 王 珊, 中 国 人 民 大 学 吴 建 平, 清 华 大 学 杨 芙 清, 北 京 大 学 张 钹, 清 华 大 学 赵 沁 平, 北 京 航 空 航 天 大 学 郑 南 宁, 西 安 交 通 大 学 周 龙 骧, 中 科 院 数 学 与 系 统 科 学 研 究 院 林 闯, 清 华 大 学 王 戟, 国 防 科 技 大 学 吕 建, 南 京 大 学 罗 军 舟, 东 南 大 学 梅 宏, 上 海 交 通 大 学 彭 群 生, 浙 江 大 学 沈 一 栋, 中 国 科 学 院 软 件 研 究 所 田 捷, 中 国 科 学 院 自 动 化 所 马 晓 星, 南 京 大 学 毛 文 吉, 中 国 科 学 院 自 动 化 所 毛 晓 光, 国 防 科 技 大 学 孟 小 峰, 中 国 人 民 大 学 欧 阳 丹 彤, 吉 林 大 学 彭 鑫, 复 旦 大 学 任 丰 原, 清 华 大 学 沈 苏 彬, 南 京 邮 电 大 学 舒 继 武, 清 华 大 学 宋 方 敏, 南 京 大 学 苏 金 树, 国 防 科 技 大 学 苏 开 乐, 北 京 大 学 眭 跃 飞, 中 国 科 学 院 计 算 技 术 研 究 所 孙 晓 明, 中 国 科 学 院 计 算 技 术 研 究 所 田 聪, 西 安 电 子 科 技 大 学 汪 芸, 东 南 大 学 王 国 仁, 东 北 大 学 王 建 勇, 清 华 大 学 许 卓 群, 北 京 大 学 郑 纬 民, 清 华 大 学 周 傲 英, 华 东 师 范 大 学 周 志 华, 南 京 大 学 王 文 成, 中 国 科 学 院 软 件 研 究 所 王 兴 伟, 东 北 大 学 魏 峻, 中 国 科 学 院 软 件 研 究 所 徐 杨, 成 都 电 子 科 技 大 学 薛 锐, 中 国 科 学 院 信 息 工 程 研 究 所 尹 一 通, 南 京 大 学 雍 俊 海, 清 华 大 学 于 戈, 东 北 大 学 于 剑, 北 京 交 通 大 学 曾 庆 凯, 南 京 大 学 詹 乃 军, 中 国 科 学 院 软 件 研 究 所 张 军 平, 复 旦 大 学 张 康, 天 津 大 学 张 路, 北 京 大 学 张 敏 灵, 东 南 大 学 张 自 力, 西 南 大 学 周 国 栋, 苏 州 大 学

3 全 国 百 强 科 技 期 刊 中 国 科 学 院 科 学 出 版 基 金 资 助 中 国 科 协 精 品 科 技 期 刊 工 程 第 四 期 Top50 项 目 资 助 中 国 精 品 科 技 期 刊 中 国 计 算 机 学 会 会 刊 软 件 学 报 (Ruanjian Xuebao) 第 27 卷 第 9 期 2016 年 9 月 目 次 算 法 设 计 与 分 析 求 解 #SMT 问 题 的 局 部 搜 索 算 法 周 俊 萍 李 睿 智 曾 志 勇 殷 明 浩 (2185) 城 市 路 网 多 路 口 路 径 动 态 实 时 选 择 方 法 严 丽 平 胡 文 斌 王 欢 邱 振 宇 杜 博 (2199) 动 作 空 间 带 平 衡 约 束 圆 形 Packing 问 题 的 拟 物 求 解 算 法 何 琨 杨 辰 凯 黄 梦 龙 黄 文 奇 (2218) 模 式 识 别 与 人 工 智 能 自 组 织 增 量 学 习 神 经 网 络 综 述 邱 天 宇 申 富 饶 赵 金 熙 (2230) 一 种 高 效 的 随 机 块 模 型 学 习 算 法 赵 学 华 杨 博 陈 贺 昌 (2248) 数 据 库 技 术 基 于 图 压 缩 的 最 大 Steiner 连 通 k 核 查 询 处 理 李 鸣 鹏 高 宏 邹 兆 年 (2265) 一 种 对 时 空 信 息 的 knn 查 询 处 理 方 法 李 晨 申 德 荣 朱 命 冬 寇 月 聂 铁 铮 于 戈 (2278) 偏 序 时 态 XML 索 引 TempPartialIndex 汤 娜 叶 小 平 汤 庸 彭 鹏 杜 梦 圆 (2290) 面 向 实 体 识 别 的 聚 类 算 法 孙 琛 琛 申 德 荣 寇 月 聂 铁 铮 于 戈 (2303) 一 种 基 于 k 近 邻 图 的 稀 有 类 检 测 算 法 王 淞 黄 浩 余 果 梁 楠 王 黎 维 孙 月 明 (2320) 顺 序 敏 感 的 多 源 感 知 数 据 填 补 技 术 马 茜 谷 峪 李 芳 芳 于 戈 (2332) 计 算 机 网 络 与 信 息 安 全 基 于 词 素 特 征 的 轻 量 级 域 名 检 测 算 法 张 维 维 龚 俭 刘 茜 刘 尚 东 胡 晓 艳 (2348) 一 种 适 用 于 车 联 网 环 境 的 车 载 CAN 信 号 打 包 算 法 谢 勇 梁 伟 李 仁 发 吴 克 寿 洪 朝 群 (2365) 基 于 二 部 图 匹 配 的 车 载 网 络 分 布 式 存 储 机 制 唐 晓 岚 洪 东 惠 陈 文 龙 蒲 菊 华 (2377) 标 准 模 型 下 高 效 的 三 方 口 令 认 证 密 钥 交 换 协 议 魏 福 山 马 建 峰 李 光 松 马 传 贵 (2389) 面 向 真 实 云 存 储 环 境 的 数 据 持 有 性 证 明 系 统 肖 达 杨 绿 茵 孙 斌 郑 世 慧 (2400) 操 作 系 统 支 持 绿 色 异 构 计 算 的 能 效 感 知 调 度 模 型 与 算 法 王 静 莲 龚 斌 刘 弘 李 少 辉 (2414) 一 种 面 向 实 时 系 统 的 程 序 基 本 块 指 令 预 取 技 术 王 恩 东 倪 璠 陈 继 承 王 洪 伟 唐 士 斌 (2426) 基 于 内 存 取 证 的 内 核 完 整 性 度 量 方 法 陈 志 锋 李 清 宝 张 平 王 炜 (2443) 期 刊 基 本 参 数 : CN /TP*1990*m*16*276*zh+en*P* 70*2016*19*2016-9

4 Journal of Software Vol.27, No.9 Sep Contents ALGORITHM DESIGN AND ANALYSIS 2185 Local Search Algorithm for Solving #SMT Problem ZHOU Jun-Ping, LI Rui-Zhi, ZENG Zhi-Yong, YIN Ming-Hao 2199 Dynamic Real-Time Algorithm for Multi-Intersection Route Selection in Urban Traffic Networks YAN Li-Ping, HU Wen-Bin, WANG Huan, QIU Zhen-Yu, DU Bo 2218 Quasi-Physical Algorithm Based on Action Space for Solving the Circles Packing Problem with Equilibrium Constraints HE Kun, YANG Chen-Kai, HUANG Meng-Long, HUANG Wen-Qi PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE 2230 Review of Self-Organizing Incremental Neural Network QIU Tian-Yu, SHEN Fu-Rao, ZHAO Jin-Xi 2248 Fast Learning Algorithm for Stochastic Blockmodel ZHAO Xue-Hua, YANG Bo, CHEN He-Chang DATABASE TECHNOLOGY 2265 Maximum Steiner Connected k-core Query Processing Based on Graph Compression LI Ming-Peng, GAO Hong, ZOU Zhao-Nian 2278 knn Query Processing Approach for Content with Location and Time Tags LI Chen, SHEN De-Rong, ZHU Ming-Dong, KOU Yue, NIE Tie-Zheng, YU Ge 2290 Temporal XML Index Based on Temporal Partial-Order Relationship TANG Na, YE Xiao-Ping, TANG Yong, PENG Peng, DU Meng-Yuan 2303 Entity Resolution Oriented Clustering Algorithm SUN Chen-Chen, SHEN De-Rong, KOU Yue, NIE Tie-Zheng, YU Ge 2320 Rare Category Detection Algorithm Based on k-nearest Neighbor Graphs WANG Song, HUANG Hao, YU Guo, LIANG Nan, WANG Li-Wei, SUN Yue-Ming 2332 Order-Sensitive Missing Value Imputation Technology for Multi-Source Sensory Data MA Qian, GU Yu, LI Fang-Fang, YU Ge COMPUTER NETWORKS AND INFORMATION SECURITY 2348 Lightweight Domain Name Detection Algorithm Based on Morpheme Features ZHANG Wei-Wei, GONG Jian, LIU Qian, LIU Shang-Dong, HU Xiao-Yan 2365 Signal Packing Algorithm for In-Vehicle CAN in Internet of Vehicles XIE Yong, LIANG Wei, LI Ren-Fa, WU Ke-Shou, HONG Chao-Qun 2377 Distributed Storage Scheme Using Bipartite Graph Matching for Vehicular Networks TANG Xiao-Lan, HONG Dong-Hui, CHEN Wen-Long, PU Ju-Hua 2389 Efficient Three-Party Password-Based Authenticated Key Exchange Protocol in the Standard Model WEI Fu-Shan, MA Jian-Feng, LI Guang-Song, MA Chuan-Gui 2400 Provable Data Possession System for Realistic Cloud Storage Environments XIAO Da, YANG Lü-Yin, SUN Bin, ZHENG Shi-Hui OPERATING SYSTEM 2414 Model and Algorithm of Energy-Efficiency Aware Scheduling for Green Heterogeneous Computing WANG Jing-Lian, GONG Bin, LIU Hong, LI Shao-Hui 2426 Basic-Block Based Instruction Prefetching Technology for Real-Time System WANG En-Dong, NI Fan, CHEN Ji-Cheng, WANG Hong-Wei, TANG Shi-Bin 2443 Kernel Integrity Measurement Method Based on Memory Forensic CHEN Zhi-Feng, LI Qing-Bao, ZHANG Ping, WANG Wei Copyright 2016, Institute of Software, the Chinese Academy of Sciences. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form without the prior written permission of the Institute of Software, the Chinese Academy of Sciences.

5 软 件 学 报 投 稿 指 南 软 件 学 报 是 一 本 刊 登 计 算 机 软 件 各 领 域 原 创 性 研 究 成 果 的 期 刊, 所 刊 登 的 论 文 均 经 过 严 格 的 同 行 专 家 评 议. 软 件 学 报 主 要 面 向 全 球 华 人 计 算 机 软 件 学 者, 致 力 于 创 办 与 世 界 计 算 机 科 学 和 软 件 技 术 发 展 同 步 的 以 中 文 为 主 的 中 文 国 际 软 件 学 术 期 刊, 为 全 球 华 人 同 行 提 供 学 术 交 流 平 台. 软 件 学 报 创 刊 于 1990 年, 由 中 国 科 学 院 软 件 研 究 所 和 中 国 计 算 机 学 会 联 合 主 办, 已 被 EI Compendex, INSPEC, Abstracts Magazine, Mathematical Review, Zentralblatt MATH 等 国 际 数 据 库 收 录. 软 件 学 报 注 重 刊 登 反 映 计 算 机 科 学 和 计 算 机 软 件 新 理 论 新 方 法 和 新 技 术 以 及 学 科 发 展 趋 势 的 文 章, 主 要 涉 及 理 论 计 算 机 科 学 算 法 设 计 与 分 析 系 统 软 件 与 软 件 工 程 模 式 识 别 与 人 工 智 能 数 据 库 技 术 计 算 机 网 络 信 息 安 全 计 算 机 图 形 学 与 计 算 机 辅 助 设 计 多 媒 体 技 术 及 其 他 相 关 的 内 容. 投 稿 要 求 1. 来 稿 必 须 是 原 创 性 论 文, 要 求 结 构 完 整 论 点 明 确 论 据 可 靠 论 证 合 理 层 次 分 明 可 读 性 强. 2. 本 刊 长 期 征 集 长 文. 长 文 的 长 度 至 少 在 15 页 以 上, 侧 重 于 鼓 励 科 学 工 作 者 在 结 合 国 家 需 求 把 握 世 界 科 学 前 沿 的 基 础 上, 在 重 要 研 究 领 域 或 新 学 科 生 长 点 上 开 展 深 入 系 统 的 创 新 性 研 究 工 作 ; 鼓 励 有 重 大 创 新 有 新 观 点 和 见 解 可 推 动 或 丰 富 该 领 域 的 研 究 与 发 展. 有 关 长 文 的 详 细 要 求, 请 登 陆 我 刊 网 站 了 解. 3. 投 稿 应 具 有 合 法 性, 即 不 存 在 抄 袭 剽 窃 侵 权 等 不 良 行 为. 如 发 现 上 述 不 良 行 为, 本 刊 将 据 实 通 知 作 者 所 在 单 位 的 最 高 领 导 层, 并 不 再 接 受 第 一 作 者 的 投 稿. 作 者 文 责 自 负, 本 刊 不 承 担 连 带 责 任. 4. 来 稿 应 未 在 任 何 正 式 出 版 物 上 刊 载 过, 且 不 允 许 一 稿 多 投. 本 刊 不 接 受 任 何 语 种 的 翻 译 稿. 写 作 要 求 1. 稿 件 请 用 Word 编 辑 排 版. 排 版 格 式 可 参 考 本 刊 网 站 上 提 供 的 写 作 模 板 和 近 期 软 件 学 报. 2. 作 者 应 将 对 自 己 的 研 究 工 作 有 所 启 发 帮 助 和 教 益 的 国 内 外 文 献 列 出, 以 示 对 同 行 工 作 的 尊 重 和 补 充. 参 考 文 献 应 查 新 查 全 并 在 文 中 明 确 标 引, 且 与 国 内 外 同 类 工 作 进 行 详 细 讨 论 和 比 较. 投 稿 方 法 1. 请 通 过 软 件 学 报 网 站 在 线 投 稿 一 栏 进 行 投 稿. 2. 投 稿 分 配 编 号 之 后, 系 统 将 不 提 供 稿 件 更 新 功 能, 请 作 者 务 必 谨 慎 投 稿, 做 到 清 稿 定 稿. 作 者 须 知 1. 为 联 系 顺 畅, 请 在 在 线 投 稿 时 详 细 提 供 联 系 人 的 联 系 方 式 ( 包 括 通 讯 地 址 邮 编 地 址 和 联 系 电 话 等 ). 审 稿 期 间 联 系 方 式 如 有 变 化, 请 及 时 通 知 编 辑 部. 2. 我 刊 网 站 上 提 供 了 稿 件 处 理 流 程, 作 者 可 以 通 过 该 流 程 图 了 解 稿 件 的 处 理 程 序 和 相 关 规 定. 同 时 还 列 举 了 作 者 在 投 稿 过 程 中 经 常 遇 到 的 一 些 问 题, 建 议 作 者 在 投 稿 之 前 仔 细 阅 读. 3. 为 保 障 作 者 权 益, 本 刊 将 采 取 必 要 措 施 以 加 速 审 稿 流 程. 稿 件 一 般 在 6 个 月 内 给 出 审 稿 结 果, 并 尽 可 能 提 前 给 出 评 审 意 见. 若 审 稿 时 间 超 过 6 个 月, 作 者 在 通 知 编 辑 部 并 得 到 确 认 回 复 之 后 可 自 行 处 理 投 稿. 4. 通 过 初 审 的 投 稿 作 者 需 提 交 投 稿 声 明, 并 请 遵 守 投 稿 声 明 中 的 有 关 规 定. 不 拟 刊 登 稿 件, 将 有 评 审 意 见 提 供 给 作 者. 5. 作 者 在 投 稿 时 请 注 明 是 否 为 CCF 会 员, 若 是 会 员, 请 注 明 会 员 号. 凡 第 一 作 者 为 CCF 会 员 者, 文 章 在 发 表 时 将 享 受 85 折 版 面 费 优 惠 ( 会 员 身 份 状 态 以 发 表 时 的 状 态 为 准 ). 6. 从 2009 年 我 刊 对 录 用 待 发 表 文 章 实 行 提 前 在 线 出 版, 在 线 出 版 是 我 刊 正 式 出 版 的 形 式 之 一, 详 细 说 明 请 见 我 刊 网 站 通 知. 稿 件 在 线 出 版 之 后, 仍 将 安 排 在 印 刷 版 出 版. 印 刷 版 出 版 之 后, 将 一 次 性 给 付 稿 酬 ( 印 刷 版 光 盘 版 和 网 络 版 稿 酬 ), 并 赠 送 样 刊. 目 录 页 和 印 刷 版 文 章 的 原 版 可 从 我 刊 网 站 下 载 并 打 印. 联 系 电 话 : [email protected] 网 址 : 通 讯 地 址 : 北 京 8718 信 箱 中 国 科 学 院 软 件 研 究 所 软 件 学 报 编 辑 部

6 软 件 学 报 大 数 据 管 理 技 术 专 刊 征 文 通 知 大 数 据 管 理 及 处 理 能 力 已 经 成 为 引 领 网 络 时 代 IT 发 展 的 关 键, 获 取 大 量 运 行 数 据 并 建 立 对 其 进 行 动 态 高 效 处 理 的 能 力, 已 经 成 为 产 业 竞 争 力 的 体 现. 从 2012 年 美 国 政 府 宣 布 大 数 据 研 究 计 划 (Big Data Initiative) 和 我 国 发 布 的 十 二 五 国 家 科 技 计 划 信 息 技 术 领 域 项 目 将 大 数 据 研 究 列 在 首 位 以 来, 大 数 据 管 理 分 析 技 术 得 到 了 学 术 界 和 业 界 空 前 的 关 注. 然 而, 如 何 对 大 数 据 进 行 有 效 的 管 理 分 析 仍 然 面 临 着 巨 大 挑 战. 本 专 刊 选 题 为 大 数 据 管 理 技 术, 将 突 出 目 前 大 数 据 的 整 个 生 命 周 期 的 管 理 研 究 中 的 热 点 技 术, 包 括 数 据 的 采 集 抽 取 传 输 存 储 建 模 分 析 索 引 等 诸 多 方 面 的 研 究. 本 专 刊 将 收 录 国 内 外 大 数 据 管 理 分 析 中 具 有 创 新 性 和 突 破 性 的 高 水 平 研 究 成 果, 深 入 探 讨 其 理 论 方 法 和 技 术 等. 专 刊 将 于 2017 年 第 3 期 出 版, 读 者 群 体 包 括 数 据 库 数 据 挖 掘 机 器 学 习 体 系 结 构 等 多 领 域 的 研 究 人 员 和 工 程 人 员 等. 专 刊 题 目 : 大 数 据 管 理 技 术 特 约 编 辑 : 崔 斌 ( 北 京 大 学 ) 马 帅 ( 北 京 航 空 航 天 大 学 ) 出 版 时 间 :2017 年 3 期 请 登 陆 学 报 网 站 了 解 专 刊 详 细 征 文 信 息. 软 件 学 报 Ruanjian Xuebao Journal of Software (monthly) ( 月 刊, 1990 年 创 刊 ) (Started in 1990) 第 27 卷 第 9 期 2016 年 9 月 Vol.27 No.9 Sep 主 管 单 位 中 国 科 学 院 Sponsored by the Chinese Academy of Sciences 主 办 单 位 中 国 科 学 院 软 件 研 究 所 中 国 计 算 机 学 会 Published by Institute of Software, The Chinese Academy of Sciences (ISCAS) and China Computer Federation 主 编 赵 琛 Editor-in-Chief: ZHAO Chen 编 辑 软 件 学 报 编 辑 部 ( 北 京 8718 信 箱 邮 编 ) 编 辑 部 主 任 方 梅 出 版 电 话 : , [email protected] ( 北 京 东 黄 城 根 北 街 16 号 邮 编 ) 印 刷 北 京 北 林 印 刷 厂 总 发 行 处 中 国 邮 政 集 团 公 司 北 京 市 报 刊 发 行 局 订 购 处 全 国 各 地 邮 局 国 外 总 发 行 中 国 国 际 图 书 贸 易 总 公 司 ( 北 京 399 信 箱 邮 编 ) Edited by Editorial Board of Journal of Software (P.O.Box 8718, Beijing , P.R.China) Tel: , [email protected] Distributed by Science Press (16 Donghuangchenggen North Street, Beijing , China) Printed by Beijing Bei Lin Printing House Generally Distributed by Beijing Bureau for Distribution of Newspapers and Journals Domestically Distributed by All Local Post Offices in China Overseas Distributed by China International Book Trading Corporation (P.O.Box 399, Beijing , China) ISSN 国 内 邮 发 代 号 : CN /TP 国 外 发 行 代 号 : M ISCAS ( 版 权 所 有 ) 定 价 : 元 公 开 发 行