0-封面

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 卷 第 5 期 2016 年 5 月 目 次 可 视 化 及 可 视 分 析 专 题 可 视 化 及 可 视 分 析 专 题 前 言 沈 汉 威 张 小 龙 陈 为 袁 晓 如 王 文 成 (1059) 基 于 密 度 - 距 离 图 的 交 互 式 体 数 据 分 类 方 法 周 芳 芳 高 飞 刘 勇 刚 梁 兴 赵 颖 (1061) 树 比 较 可 视 化 方 法 综 述 李 彦 龙 李 国 强 董 笑 菊 (1074) 一 种 层 次 结 构 中 多 维 属 性 的 可 视 化 方 法 陈 谊 甄 远 刚 胡 海 云 梁 婕 Kwan-Liu MA (1091) 面 向 层 次 化 数 据 的 变 分 圆 形 树 图 赵 海 森 吕 琳 薄 志 涛 (1103) 基 于 层 次 狄 利 克 雷 过 程 的 交 互 式 主 题 建 模 严 宇 宇 陶 煜 波 林 海 (1114) 基 于 维 度 扩 展 的 Radviz 可 视 化 聚 类 分 析 方 法 周 芳 芳 李 俊 材 黄 伟 王 俊 韡 赵 颖 (1127) 一 种 全 球 尺 度 三 维 大 气 数 据 可 视 化 系 统 梅 鸿 辉 陈 海 东 肇 昕 刘 昊 南 朱 标 陈 为 (1140) 运 动 目 标 三 维 轨 迹 可 视 化 与 关 联 分 析 方 法 郭 洋 马 翠 霞 滕 东 兴 杨 祎 王 宏 安 (1151) 基 于 文 本 摘 要 及 引 用 关 系 的 可 视 辅 助 文 献 阅 读 张 加 万 杨 思 琪 李 泽 宇 杨 伟 强 王 锦 东 贺 瑞 芳 黄 茂 林 (1163) 基 于 移 动 终 端 日 志 数 据 的 人 群 特 征 可 视 化 张 宏 鑫 盛 风 帆 徐 沛 原 汤 颖 (1174) 多 视 图 合 作 的 网 络 流 量 时 序 数 据 可 视 分 析 赵 颖 王 权 黄 叶 子 吴 青 张 胜 (1188) 一 种 模 型 驱 动 的 可 视 化 生 成 系 统 杜 一 郭 旦 怀 陈 昕 任 磊 戴 国 忠 (1199) 系 统 软 件 与 软 件 工 程 一 种 软 件 特 征 模 型 扩 展 和 演 化 分 析 方 法 胡 洁 王 青 (1212) 面 向 危 险 操 作 的 动 态 符 号 执 行 方 法 王 伟 光 曾 庆 凯 孙 浩 (1230) 数 据 库 技 术 一 种 适 应 GPU 的 混 合 OLAP 查 询 处 理 模 型 张 宇 张 延 松 陈 红 王 珊 (1246) 基 于 用 户 邻 域 和 主 题 的 新 颖 性 Web 社 区 推 荐 方 法 余 骞 彭 智 勇 洪 亮 万 言 历 (1266) 计 算 机 网 络 与 信 息 安 全 概 率 模 型 下 的 一 种 优 化 覆 盖 算 法 孙 泽 宇 伍 卫 国 王 换 招 邢 萧 飞 陈 衡 (1285) 可 验 证 的 基 于 词 典 的 可 搜 索 加 密 方 案 王 尚 平 刘 利 军 张 亚 玲 (1301) 操 作 系 统 一 种 在 不 可 信 操 作 系 统 内 核 中 高 效 保 护 应 用 程 序 的 方 法 邓 良 曾 庆 凯 (1309) 软 件 学 报 投 稿 指 南 ( 封 三 ) 期 刊 基 本 参 数 : CN /TP*1990*m*16*268*zh+en*P* 70*2016*19*2016-5

4 Journal of Software Vol.27, No.5 May 2016 Contents SPECIAL ISSUE ON VISUALIZATION AND VISUAL ANALYTICS 1059 Preface SHEN Han-Wei, ZHANG Xiao-Long, CHEN Wei, YUAN Xiao-Ru, WANG Wen-Cheng 1061 Interactive Volume Data Classification Based on Density-Distance Graph ZHOU Fang-Fang, GAO Fei, LIU Yong-Gang, LIANG Xing, ZHAO Ying 1074 Survey on Visualization of Tree Comparison LI Yan-Long, LI Guo-Qiang, DONG Xiao-Ju 1091 Visualization Technique for Multi-Attrbute in Hierarchical Structure CHEN Yi, ZHEN Yuan-Gang, HU Hai-Yun, LIANG Jie, Kwan-Liu MA 1103 Variational Circular Treemaps for Hierarchical Data ZHAO Hai-Sen, LÜ Lin, BO Zhi-Tao 1114 Interactive Topic Modeling Based on Hierarchical Dirichlet Process YAN Yu-Yu, TAO Yu-Bo, LIN Hai 1127 Extending Dimensions in Radviz for Visual Clustering Analysis ZHOU Fang-Fang, LI Jun-Cai, HUANG Wei, WANG Jun-Wei, ZHAO Ying 1140 Visualization System of 3D Global Scale Meteorological Data MEI Hong-Hui, CHEN Hai-Dong, ZHAO Xin, LIU Hao-Nan, ZHU Biao, CHEN Wei 1151 Method of Three Dimensional Trajectory Visualization and Relational Analysis on Moving Objects GUO Yang, MA Cui-Xia, TENG Dong-Xing, YANG Yi, WANG Hong-An 1163 Visualization Guided Document Reading by Citation and Text Summarization ZHANG Jia-Wan, YANG Si-Qi, LI Ze-Yu, YANG Wei-Qiang, WANG Jin-Dong, HE Rui-Fang, HUANG Mao-Lin 1174 Visualizing User Characteristics Based on Mobile Device Log Data ZHANG Hong-Xin, SHENG Feng-Fan, XU Pei-Yuan, TANG Ying 1188 Collaborative Visual Analytics for Network Traffic Time-Series Data with Multiple Views ZHAO Ying, WANG Quan, HUANG Ye-Zi, WU Qing, ZHANG Sheng 1199 Model-Driven Visualization Generation System DU Yi, GUO Dan-Huai, CHEN Xin, REN Lei, DAI Guo-Zhong SYSTEM SOFTWARE AND SOFTWARE ENGINEERING 1212 Extensions and Evolution Analysis Method for Software Feature Models HU Jie, WANG Qing 1230 Dynamic Symbolic Execution Method Oriented to Critical Operation WANG Wei-Guang, ZENG Qing-Kai, SUN Hao DATABASE TECHNOLOGY 1246 GPU Adaptive Hybrid OLAP Query Processing Model ZHANG Yu, ZHANG Yan-Song, CHEN Hong, WANG Shan 1266 Novel Web Community Recommendation Based on User Neighborhood and Topic YU Qian, PENG Zhi-Yong, HONG Liang, WAN Yan-Li COMPUTER NETWORKS AND INFORMATION SECURITY 1285 Optimized Coverage Algorithm in Probability Model SUN Ze-Yu, WU Wei-Guo, WANG Huan-Zhao, XING Xiao-Fei, CHEN Heng 1301 Verifiable Dictionary-Based Searchable Encryption Scheme WANG Shang-Ping, LIU Li-Jun, ZHANG Ya-Ling OPERATING SYSTEM 1309 Method to Efficiently Protect Applications from Untrusted OS Kernel DENG Liang, ZENG Qing-Kai 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 年 我 刊 对 录 用 待 发 表 文 章 实 行 提 前 在 线 出 版, 在 线 出 版 是 我 刊 正 式 出 版 的 形 式 之 一, 详 细 说 明 请 见 我 刊 网 站 通 知. 稿 件 在 线 出 版 之 后, 仍 将 安 排 在 印 刷 版 出 版. 印 刷 版 出 版 之 后, 将 一 次 性 给 付 稿 酬 ( 印 刷 版 光 盘 版 和 网 络 版 稿 酬 ), 并 赠 送 样 刊. 目 录 页 和 印 刷 版 文 章 的 原 版 可 从 我 刊 网 站 下 载 并 打 印. 联 系 电 话 : jos@iscas.ac.cn 网 址 : 通 讯 地 址 : 北 京 8718 信 箱 中 国 科 学 院 软 件 研 究 所 软 件 学 报 编 辑 部

6 软 件 学 报 工 业 互 联 网 基 础 理 论 与 关 键 技 术 专 刊 征 文 通 知 新 一 轮 科 技 革 命 和 产 业 变 革 的 到 来 与 我 国 加 快 转 变 经 济 发 展 方 式 的 要 求 形 成 历 史 性 交 汇, 互 联 网 与 工 业 的 融 合 发 展 已 经 成 为 工 业 制 造 业 发 展 过 程 中 的 重 大 变 革 和 必 然 趋 势 工 业 互 联 网 基 础 理 论 与 关 键 技 术 为 加 快 新 一 代 信 息 技 术 与 制 造 技 术 深 度 融 合, 全 面 提 升 企 业 研 发 生 产 管 理 和 服 务 的 智 能 化 水 平, 实 现 工 业 转 型 升 级 和 创 新 发 展 提 供 了 重 要 途 径 为 及 时 反 映 我 国 在 工 业 互 联 网 方 面 的 研 究 进 展, 软 件 学 报 将 出 版 工 业 互 联 网 基 础 理 论 与 关 键 技 术 专 刊, 收 录 该 领 域 近 期 取 得 的 原 创 性 高 水 平 研 究 成 果, 探 讨 提 高 工 业 互 联 网 基 础 理 论 与 关 键 技 术 和 实 现 途 径, 进 一 步 促 进 该 领 域 的 发 展 专 刊 将 突 出 以 下 几 个 方 面 的 研 究 热 点 : 工 业 互 联 网 体 系 结 构 研 究 ; 工 业 互 联 网 的 数 据 传 输 的 实 时 性 和 可 靠 性 问 题 ; 工 业 数 据 流 的 分 析 与 决 策 技 术 ; 工 业 云 服 务 技 术 以 及 工 业 互 联 网 的 安 全 性 等 欢 迎 相 关 研 究 领 域 的 专 家 学 者 科 研 人 员 踊 跃 投 稿 专 刊 题 目 : 工 业 互 联 网 基 础 理 论 与 关 键 技 术 特 约 编 辑 : 王 兴 伟 ( 东 北 大 学 ), 任 丰 原 ( 清 华 大 学 ), 王 丹 ( 香 港 理 工 大 学 ) 出 版 时 间 :2017 年 7 期 请 登 陆 学 报 网 站 了 解 专 刊 详 细 征 文 信 息 软 件 学 报 Ruanjian Xuebao Journal of Software (monthly) ( 月 刊, 1990 年 创 刊 ) (Started in 1990) 第 27 卷 第 5 期 2016 年 5 月 Vol.27 No.5 May 2016 主 管 单 位 中 国 科 学 院 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 信 箱 邮 编 ) 编 辑 部 主 任 方 梅 出 版 电 话 : , jos@iscas.ac.cn ( 北 京 东 黄 城 根 北 街 16 号 邮 编 ) 印 刷 北 京 北 林 印 刷 厂 总 发 行 处 中 国 邮 政 集 团 公 司 北 京 市 报 刊 发 行 局 订 购 处 全 国 各 地 邮 局 国 外 总 发 行 中 国 国 际 图 书 贸 易 总 公 司 ( 北 京 399 信 箱 邮 编 ) Edited by Editorial Board of Journal of Software (P.O.Box 8718, Beijing , P.R.China) Tel: , jos@iscas.ac.cn 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 ( 版 权 所 有 ) 定 价 : 元 公 开 发 行