年度科研概况 Asia’18)唯一最佳论文奖,是国内首次获得 编译团队针对节点崩溃恢复缺陷,它是分布 编译团队通过稀疏化的方法将现有 Android式系统中最严重的错误之一,非常难以检测,开 应用分析方法的效率提高了一个数量级以上,获发了 CrashTuner,提出了系统元信息分析方法 得ASE(CCF- A)/ACM S| GSOFT Distinguished来指导崩溃事件的注入测试,在开源 Hadoop生 Paper Award 态系统中检测到了21处此类严重缺陷 网络数据团队将图计算性能提升了1 计算机视觉团队逐渐凝练,形成了两项特色 个数量级,获得The3 Oth International研究成果,分别为:知识概念引导的视觉模型 Conference on Database and Expert和弱小数据驱动的视觉模型。围绕前者,在基 Systems Applications(DEXA)唯一最佳论文 于属性的物体表示和识别方面发表/录用了4篇 是国内首次获得。 CCF-A期刊论文,并在视觉概念库和场景图构建 新一代交联质谱鉴定搜索引擎 pLink2的方面初具特色;围绕后者,形成了“从无到有、 成果发表在 Nature Communications,。这是由弱变强、从小变大”的总体研究思路,发表 继 pLink1软件于2012年和2015年两次发表在录用CCFA论文8篇。此外,在“视觉读心术 Nature methods之后的最新进展。截至2019“食品计算”方面也形成了特色。 年末,国内外同行注册下载 pLink软件超过2200 智能感知与人机交互团队突破了开放域下的 次,应用 pLink软件分析数据发表的文章共计用户感知与理解,构建了环境无关的轻量级隐式 135篇,其中Ce/ Nature/ Science正刊文章交互;提升了小样本数据集上的跨域识别精度 23篇、子刊文章39篇。 实现自适应多模融合感知;在神经退行性和认知 詹剑锋研究员发起成立了国际标准组织障碍疾病的可解释量化理解上实现突破,相关成 nchcounci并担任主席,该组织旨在推动计果发表在CCFA类会议AAA、 ACMCH、以及 算机新型负载的定义。 BenchCounci发布的 Ubicomp上 Big Data benchmarks和 Al benchmarks被国 人体运动仿真团队在三维模型的深度几何 际学术界和工业界广泛使用或者引用,超过1000表示上,首次提出了可以表示高质量三维几何 次。基于A| benchmarks,依托A实验床Tai 细节的深度生成模型 SDM-NET,该项工作发表 组织了寒武纪、海光、RSCV、云天励飞四个赛在 ACM Transactions on Graphics上,相对 道的国际A大赛。举办了国际智能计算联邦大会、于斯坦福大学提出的片网表示方法,三维几何模 国际芯片大会和 Bench19三次国际会议,获得型的重建误差减少了80%,得到了图灵奖得主 了广泛关注。 Geoffrey Hinton的关注和引用。 构安全团队提出了一种利用CPU硬件虚 拟化部件的数据持续随机化技术,能够将关键数七、技术应用赋能各行各业 据安全地隐藏起来,可同时对抗当前无法防御的 大数据监督团队,针对权力数据化与大数据 3种攻击,同行评价为:“我相信这为防御开辟监督这一国家重大需求,基于非隐私的电子政务 了有趣的新方向 数据,针对优亲厚友、权力寻租等十种腐败现象 概3 年 度 科 研 概 况 年度科研概况 Asia’18）唯一最佳论文奖，是国内首次获得。 编译团队通过稀疏化的方法将现有 Android 应用分析方法的效率提高了一个数量级以上，获 得 ASE(CCF-A)/ACM SIGSOFT Distinguished Paper Award。 网 络 数 据 团 队 将 图 计 算 性 能 提 升 了 1-4 个 数 量 级， 获 得 The 30th International Conference on Database and Expert Systems Applications（DEXA）唯一最佳论文， 是国内首次获得。 新 一 代 交 联 质 谱 鉴 定 搜 索 引 擎 pLink 2 的 成 果 发 表 在 Nature Communications。 这 是 继 pLink 1 软件于 2012 年和 2015 年两次发表在 Nature Methods 之后的最新进展。截至 2019 年末，国内外同行注册下载 pLink 软件超过 2200 次，应用 pLink 软件分析数据发表的文章共计 135 篇， 其 中 Cell/Nature/Science 正 刊 文 章 23 篇、子刊文章 39 篇。 詹剑锋研究员发起成立了国际标准组织 BenchCouncil 并担任主席，该组织旨在推动计 算 机 新 型 负 载 的 定 义。BenchCouncil 发 布 的 Big Data benchmarks 和 AI benchmarks 被国 际学术界和工业界广泛使用或者引用，超过 1000 次。基于 AI benchmarks，依托 AI 实验床 Tai， 组织了寒武纪、海光、RISC-V、云天励飞四个赛 道的国际 AI 大赛。举办了国际智能计算联邦大会、 国际芯片大会和 Bench 19 三次国际会议，获得 了广泛关注。 内构安全团队提出了一种利用 CPU 硬件虚 拟化部件的数据持续随机化技术，能够将关键数 据安全地隐藏起来，可同时对抗当前无法防御的 3 种攻击，同行评价为：“我相信这为防御开辟 了有趣的新方向”。 编译团队针对节点崩溃恢复缺陷，它是分布 式系统中最严重的错误之一，非常难以检测，开 发了 CrashTuner，提出了系统元信息分析方法 来指导崩溃事件的注入测试，在开源 Hadoop 生 态系统中检测到了 21 处此类严重缺陷。 计算机视觉团队逐渐凝练，形成了两项特色 研究成果，分别为：知识概念引导的视觉模型， 和弱小数据驱动的视觉模型。围绕前者，在基 于属性的物体表示和识别方面发表 / 录用了 4 篇 CCF-A 期刊论文，并在视觉概念库和场景图构建 方面初具特色；围绕后者，形成了“从无到有、 由弱变强、从小变大”的总体研究思路，发表 / 录用 CCF-A 论文 8 篇。此外，在“视觉读心术”、 “食品计算”方面也形成了特色。 智能感知与人机交互团队突破了开放域下的 用户感知与理解，构建了环境无关的轻量级隐式 交互；提升了小样本数据集上的跨域识别精度， 实现自适应多模融合感知；在神经退行性和认知 障碍疾病的可解释量化理解上实现突破，相关成 果发表在 CCF A 类会议 AAAI、ACMCHI、以及 Ubicomp 上。 人体运动仿真团队在三维模型的深度几何 表示上，首次提出了可以表示高质量三维几何 细节的深度生成模型 SDM-NET，该项工作发表 在 ACM Transactions on Graphics 上， 相 对 于斯坦福大学提出的片网表示方法，三维几何模 型的重建误差减少了 80%，得到了图灵奖得主 Geoffrey Hinton 的关注和引用。 七、技术应用赋能各行各业 大数据监督团队，针对权力数据化与大数据 监督这一国家重大需求，基于非隐私的电子政务 数据，针对优亲厚友、权力寻租等十种腐败现象