很抱歉，此投票活动已停止，不能填写

35项新成果 |学术年会优秀海报等你来投票！

  • 35

    参与选项

  • 600

    投票总人数

  • 排行榜

投票规则

搜索
中国科学院软件研究所2020年度学术年会将于9月21日举行。大会共征集到来自软件所院青促会成员、所杰青、所优青成员等广大科研人员投稿的科研成果87份，由大会组委会及各实验室/中心择优选出74份成果以海报形式公开展出、8份成果作大会学术报告。

同时，大会选出35份代表性海报进行视频介绍，列入本届学术年会优秀海报投票范围。

每个用户在投票期限内只能投票1次，支持多选
投票时间:2020年9月14日至9月20日12时
您的投票结果将成为学术年会“优秀海报”的重要参考
*
1.
您的昵称：
*
2.
是否为所内人员
No.1  随机微分系统的无穷时间安全性验证（国重）
作者：Shenghua Feng、Mingshuai Chen、Bai Xue、 Sriram Sankaranarayanan、Naijun Zhan
No.2   基于骨架引导的三维模型内蕴对称性检测方法(国重)
作者：王文成，马俊辉，徐盼盼，储翌尧.
No.3   MaxSAT求解集合覆盖与顶点支配集问题(国重)
作者：雷震东，蔡少伟
No.4  基于用户意图猜测的嵌入式图像合成方法（国重）
作者：谭雪晗，徐盼盼，郭诗辉，王文成
No.5   布尔Holant*问题的二分定理（国重）
作者：Cai Jin-Yi ，Lu Pinyan ，Xia Mingji
No.6   Compression of Data Streams
作者：George Barmpatias，Andrew Lewis-Pye，Cheng Shichao

No.7   用于训练二值神经网络的去噪监督学习方法(国重)
作者：韩凯 王云鹤 许奕星 吴恩华
No.8   一个针对安卓应用的可扩展的流,上下文,对象,数据成员以及路径敏感的程序分析框架（国重）
作者：潘临杰    严俊
No.9    HolPy交互式定理证明系统
作者：詹博华   李黎明    许润清
No.10    QHLProver量子程序验证工具(国重)
作者：刘君毅  詹博华  王淑灵  应圣钢  刘涛  李杨佳  应明生  詹乃军
No.11   内存损坏型并发漏洞的检测
作者：蔡彦、朱碧云、孟瑞杰、云昊、和亮、苏璞睿、梁彬
No.12   基于时间扩散曲线的矢量绘图（国重）
作者：侯飞
No.13 安卓多任务机制：形式化语义与程序静态分析（国重）
作者：何锦龙
No.14   基于LoRa信号的远距离非接触感知（软工）
作者：张扶桑、金蓓弘
No.15 DistStream: An Order-Aware Distributed Framework for Online-Offline Stream Clustering Algorithms
作者：Lijie Xu, Xingtong Ye, Kai Kang, Tian Guo, Wensheng Dou, Wei Wang, Jun Wei
No.16 极端规模容器的高效数据推送和一致性保障（软工）
作者：唐震，宋傲，纪树平，王伟
No.17 基于启动上下文构造的Android应用多入口探索方法（软工）
作者：燕季薇 ，刘昊，潘临杰，严俊， 张健，梁彬
No.18 基于边缘计算的智能家居系统（软工）
作者：张康康、徐少鹏、刘璐、陈伟、魏峻
No.19 WebRTS: 一种面向Web应用的动态回归测试选择工具（软工）
作者：敖泽柳、吴国全、陈伟、魏峻
No.20 检测Spark应用中的缓存相关缺陷（软工）
作者：李慧，王栋，黄天泽，高钰，窦文生，许利杰，王伟，魏峻，钟华
No.21   一种基于配置的多云协作框架（软工）
作者：花磊，汤婷，吴恒，吴悦文，许源佳，刘赫，张文博
No.22 面向大型低轨星座的网络规划与干扰分析系统（天基）
作者：刘帅军、任海玉、王大鹏、刘立祥
No.23 软件定义卫星智能姿态控制（天基）
作者：吴凤鸽、赵军锁、许轲、张剑
No.24 一种高度关联大数据的存储方法及管理系统（可信）
作者：李昊, 张敏, 付艳艳, 惠榛等
No.25 面向二进制程序崩溃的多级释放后重用漏洞检测技术（可信）
作者：和亮 苏璞睿 杨轶 闫佳 黄桦烽
No.26  恶意代码沙箱规避行为检测分析系统（可信）
作者：闫佳 黄桦烽 杨轶 刘青芳 苏璞睿
No.27 基于“穿越”的移动目标选择落点不确定性建模（人机）
作者：黄进，田丰，范向民，涂华伟，张浩，彭晓兰，王宏安
No.28   笔作为虚拟现实中输入设备的握姿评估（人机）
作者：李念龙、韩腾、黄进、田丰、孙铭会、Pourang Irani，Jason Alexander
No.29   基于词对主题模型和词嵌入的无数据短文本分类（人机）
作者：Yi Yang, Hongan Wang, Jiaqi Zhu*, Yunkun Wu, Kailong Jiang, Wenli Guo and Wandong Shi
No.30   一种简单易用的语义解析平台（中文）
作者：安波，陈波，韩先培，孙乐
No.31 用于实体集合拓展的端到端自举网络（中文）
作者：颜令勇，韩先培，何苯，孙乐
No.32  基于注意力卷积二叉神经树的细粒度视觉分类（智能）
作者：汲如意、文龙银、张立波、独大为、武延军、赵琛、刘祥龙、黄飞跃


No.33    T2AD: 自动驾驶的测试与测试控制表示语言（智能）
作者：董乾、杨光、薛志云、孟令中、师源、丁明明、司宏远
No.34   蓝雷：一种基于二级方向预测器的SGX侧信道攻击（总体部）
作者：霍天霖, 孟筱妮, 王文浩, 郝春亮, 赵培, 翟健, 李明树
No.35   上下文感知的过程中的众测人员推荐（互联网）
作者：Junjie Wang, Ye Yang, Song Wang, Yuanzhe Hu, Dandan Wang, Qing Wang
*
5.
您的投票将成为学术年会“优秀海报”的重要参考（支持多选）
0票
No.1 随机微分系统的无穷时间安全性验证（国重）
0票
No.2 基于骨架引导的三维模型内蕴对称性检测方法（国重）
0票
No.3 MaxSAT求解集合覆盖与顶点支配集问题（国重）
0票
No.4 基于用户意图猜测的嵌入式图像合成方法（国重）
0票
No.5 布尔Holant*问题的二分定理（国重）
0票
No.6 Compression of Data Streams（国重）
0票
No.7 用于训练二值神经网络的去噪监督学习方法（国重）
0票
No.8 一个针对安卓应用的可扩展的流,上下文,对象,数据成员以及路径敏感的程序分析框架（国重）
0票
No.9 HolPy交互式定理证明系统（国重）
0票
No.10 QHLProver量子程序验证工具（国重）
0票
No.11 内存损坏型并发漏洞的检测（国重）
0票
No.12 基于时间扩散曲线的矢量绘图（国重）
0票
No.13 安卓多任务机制：形式化语义与程序静态分析（国重）
0票
No.14 基于LoRa信号的远距离非接触感知（软工）
0票
No.15 DistStream: An Order-Aware Distributed Framework for Online-Offline Stream Clustering Algorithms（软工）
0票
No.16 极端规模容器的高效数据推送和一致性保障（软工）
0票
No.17 基于启动上下文构造的Android应用多入口探索方法（软工）
0票
No.18 基于边缘计算的智能家居系统（软工）
0票
No.19 WebRTS: 一种面向Web应用的动态回归测试选择工具（软工）
0票
No.20 检测Spark应用中的缓存相关缺陷（软工）
0票
No.21 一种基于配置的多云协作框架（软工）
0票
No.22 面向大型低轨星座的网络规划与干扰分析系统（天基）
0票
No.23 软件定义卫星智能姿态控制（天基）
0票
No.24 一种高度关联大数据的存储方法及管理系统（可信）
0票
No.25 面向二进制程序崩溃的多级释放后重用漏洞检测技术（可信）
0票
No.26 恶意代码沙箱规避行为检测分析系统（可信）
0票
No.27 基于“穿越”的移动目标选择落点不确定性建模（人机）
0票
No.28 笔作为虚拟现实中输入设备的握姿评估（人机）
0票
No.29 基于词对主题模型和词嵌入的无数据短文本分类（人机）
0票
No.30 一种简单易用的语义解析平台（中文）
0票
No.31 用于实体集合拓展的端到端自举网络（中文）
0票
No.32 基于注意力卷积二叉神经树的细粒度视觉分类（智能）
0票
No.33 T2AD: 自动驾驶的测试与测试控制表示语言（智能）
0票
No.34 蓝雷：一种基于二级方向预测器的SGX侧信道攻击（总体部）
0票
No.35 上下文感知的过程中的众测人员推荐（互联网）
问卷星提供技术支持
举报