海报展示----中国科学院软件研究所

海报展示

学术论文
编号	部门	题目	作者
1	计算机科学国家重点实验室	织物的污渍扩散模拟	郑屹、陈彦云、费广正、Julie Dorsey、吴恩华
2	计算机科学国家重点实验室	变量版洛瓦兹局部引理	何昆、李梁、刘兴武、王彧弋、夏盟佶
3	计算机科学国家重点实验室	基于内存约束的同步数据流吞吐量分析框架	朱雪阳
4	计算机科学国家重点实验室	基于局部代表性矩阵分解的冷启动推荐方法	石磊、赵鑫、沈一栋
5	计算机科学国家重点实验室	原子性缺陷的高质量自动化修复	蔡彦、曹玲微
6	计算机科学国家重点实验室	针对程序终止性验证的高级自动机算法	李勇、Andrea Turrini、张立军
7	计算机科学国家重点实验室	学习布希自动机的反语言	李勇、Andrea Turrini、张立军
8	计算机科学国家重点实验室	针对路径覆盖的自适应性适度函数	徐雄、朱自明、焦莉
9	计算机科学国家重点实验室	流形三角网格上双调和B样条结点优化	侯飞
10	计算机科学国家重点实验室	基于高阶关联图的群体异常可视化分析系统	时磊、黄聪聪、余如雷、苏璞睿
11	计算机科学国家重点实验室	基于中值面等距收缩的骨架提取方法	李雷、王文成
12	计算机科学国家重点实验室	通过可满足性测试探究幂等拟群的大集存在性问题	黄沛、马菲菲、葛存菁、张健、张瀚涛
13	软件工程技术研究开发研究中心	基于数据融合的高速公路交通状况感知	崔艳玲、金蓓弘、张扶桑
14	软件工程技术研究开发研究中心	控件和回退栈敏感的安卓应用窗口迁移模型构建及探索	燕季薇、吴添勇、严俊、张健
15	软件工程技术研究开发研究中心	基于Wi-Fi信号的细粒度人体呼吸感知	张扶桑、金蓓弘
16	软件工程技术研究开发研究中心	Node.js应用中并发缺陷实证研究	王杰、窦文生、高钰、高楚舒、秦峰、殷康、魏峻
17	天基综合信息系统重点实验室	基于GPU的点在多面体内的快速鲁棒判定方法	李静、王文成
18	天基综合信息系统重点实验室	弱QMV代数以及类环结构	卢献、尚云、陆汝钤、张健、马菲菲
19	天基综合信息系统重点实验室	鉴别性多维序列特征降维	苏冰、丁晓青、王浩、吴郢
20	天基综合信息系统重点实验室	基于高阶方程的蒙特卡洛图像噪声移除算法	刘宇、郑昌文、袁红亮
21	协同创新中心/可信计算与信息保障实验室	面向二进制堆溢出漏洞的可利用性自动化评估	和亮、蔡彦、胡宏、苏璞睿、梁振凯、杨轶、黄桦烽、闫佳、贾相堃、冯登国
22	协同创新中心/可信计算与信息保障实验室	堆溢出漏洞的有效挖掘	贾相堃、张超、苏璞睿、杨轶、黄桦烽、冯登国
23	协同创新中心/可信计算与信息保障实验室	JGRE安卓系统JNI全局引用耗尽漏洞分析	谷雅聪、Kun Sun、苏璞睿、李琦、路晔绵、应凌云、冯登国
24	人机交互技术与智能信息处理实验室	面向视频内容的多尺度表示与交互	马翠霞、刘永进、赵国朕、王宏安
25	人机交互技术与智能信息处理实验室	基于日常行为感知的帕金森病隐式检测	Xiangmin Fan, Jing Gao, Feng Tian, Junjun Fan, Dakuo Wang, Yicheng Zhu, Shuai Ma, Jin Huang, Hongan Wang
26	并行软件与计算科学实验室	集成整数线性规划与可满足性模理论的短波广播资源调度和频率分配	潘临杰、马菲菲、张健
27	中文信息处理研究小组	基于异构知识的常识阅读理解	韩先培、孙乐

工具系统
编号	部门	题目	作者
1	软件工程技术研究开发研究中心	云应用运行监测与异常诊断系统	王焘、薛晓东、张文博
2	软件工程技术研究开发研究中心	假币犯罪分析研判平台	许舒人、李培军、魏克刚、时俊苓、田申
3	软件工程技术研究开发研究中心	流式大数据处理系统性能基准测试工具	刘重瑞、郑莹莹、胡家煊、许利杰、王伟
4	软件工程技术研究开发研究中心	基于Flink Gelly的复杂网络分析算法库	赵伟、邵佳琦、胡家煊、康锴、许利杰、王伟
5	软件工程技术研究开发研究中心	容器集群优化调度系统	吴恒、许源佳、向昊、覃世军
6	软件工程技术研究开发研究中心	AppCheck: Android应用兼容性问题检测工具	曹羽中、吴国全、魏峻、黄涛
7	软件工程技术研究开发研究中心	Docker容器镜像智能分析与管理工具	殷康、陈伟、魏峻
8	软件工程技术研究开发研究中心	智能化持续集成与持续部署流水线	杨丰、朱家鑫、高楚舒、陈伟、魏峻
9	软件工程技术研究开发研究中心	互联网教育大数据智能分析与个性化应用平台	蔡承烨、曲瑛琪、白琳、杨燕、叶丹
10	软件工程技术研究开发研究中心	X-Health:电子表格质量维护解决方案	窦文生、徐良、王烁、张舒扬、魏峻
11	人机交互技术与智能信息处理实验室	面向物联网端的实时数据库系统	王盖、刘帅、郭超平、罗雄飞
12	人机交互技术与智能信息处理实验室	大规模智能建筑群管控平台	王远远、颜峰、罗雄飞、王宏安
13	天基综合信息系统重点实验室	航天大数据分析应用平台	胡晓惠、王瑞、李海昌、王思雨、张金芳
14	天基综合信息系统重点实验室	SeeLight光学虚拟仿真实验平台	吕品、郑昌文、朱庆猛、吴楚锋、段磊、唐秋艳、王静、程烨、刘贺、谭姝丹、宋云波、高凤斌、朱向东、谢伟伦、张海龙、刘道辉、周宇峰
15	总体部	CPU指令延迟与吞吐量测试工具Testp++	袁悦童、陶秋铭
16	总体部	软件智能开发与管理平台(SmartDev)	翟健、胡军、王青
17	并行软件与计算科学实验室	基于图深度学习的城市路网交通流量预测	吴天龙、陈峰、万赟、李林先、曹娅琪
18	协同创新中心/可信计算与信息保障实验室	面向应用的污点分析系统	苏璞睿、杨轶、和亮、黄桦烽
19	计算机科学国家重点实验室	无人机编队分布式策略的自动生成	廖瑞杰、吴鹏、杨绍发

	关键技术
编号	部门	题目	作者
1	软件工程技术研究开发研究中心	法律大数据与人工智能应用	马志柔、亢良伊、刘杰、叶丹
2	软件工程技术研究开发研究中心	基于异步贝叶斯的自动化机器学习超参优化技术	王建飞杨诏刘杰叶丹
3	协同创新中心	自动编程：可微分抽象演算规则解释器	周鹏、武延军、赵琛
4	协同创新中心	智能无人系统功能安全测试与评估关键技术	薛云志
5	并行软件与计算科学实验室	磁流体动力学全隐式模拟	刘芳芳、陈道琨、杨超
6	天基综合信息系统重点实验室	开源大数据智能处理方法及应用	黎梦雪、李明兰、刘海鲸、张雪

重大示范工程项目
编号	部门	题目	作者
1	天基综合信息系统重点实验室	软件定义卫星关键技术与演示验证	赵军锁、吴凤鸽、耿世松、潘晏涛、李丹

科研奖励
编号	部门	题目	作者
1	可信计算与信息保障实验室	恶意软件深度分析与检测关键技术及应用	苏璞睿、应凌云、严寒冰、钱秀槟、杨轶、李琦、聂眉宁、王继刚、游浣权、闫佳

国际标准
编号	部门	题目	作者
1	可信计算与信息保障实验室	自主密码算法与协议成为ISO/IEC国际标准	张振峰、张立武、刘丽敏等