海报展示

录用海报稿件

1、学术论文

编号	题目	作者	发表的刊物/会议	部门	类别
1	全息算法的基塌缩 Base collapse of holographic algorithms	夏盟佶	STOC 2016,Proceedings of the 48th Annual ACM Symposium on Theory of Computing,790-799	计算机科学国家重点实验室	学术论文
2	基于公交车自组织网络的数据路由机制 (1) CBS: Community-based Bus System as Routing Backbone for Vehicular Ad Hoc Networks (2) Accepted On Geocasting over Urban Bus based Networks by Mining Trajectories	张扶桑、金蓓弘	(1) IEEE Transactions on Mobile Computing, 2017, (2) IEEE Transactions on Intelligent Transportation Systems, 17(6), Pages: 1734-1747, 2016	软件工程技术研究开发中心	学术论文
3	加强抠图融合处理的便捷图像合成方法 Enhanced Use of Mattes for Easy Image Composition	王文成、徐盼盼、别晓辉、华淼	IEEE Transactions on Image Processing, Vol.25, No.10, p.4608-4616, 2016.	计算机科学国家重点实验室	学术论文
6	利用有色网对IEEE 802.11 DCF进行建模和性能分析 Modelling and Performance Analysis of IEEE 802.11 DCF Using Colored Petri Nets	胡翔、焦莉、李智佳	The Computer Journal, 2016, 59(10): 1563-1580.	计算机科学国家重点实验室	学术论文
8	命题逻辑最大可满足性问题的局部搜索算法 New local search methods for partial MaxSAT	蔡少伟、罗川、林锦坤、苏开乐	Artificial Intelligence 2016	计算机科学国家重点实验室	学术论文
11	基于约束的事件序列消减 Constraint-Based Event Trace Reduction	王杰	Proceedings of ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-SRC), 2016, pp. 1106–1108.	软件工程技术研究开发中心	学术论文
13	电子表格中表格克隆及相关错误检测 Detecting Table Clones and Smells in Spreadsheets	窦文生、张成志、高楚舒、许畅、徐良、魏峻	International Symposium on the Foundations of Software Engineering (FSE 2016)	软件工程技术研究开发中心	学术论文
17	基于海量移动数据的商场用户粘性可视比较 Visual Comparison of Customer Stickiness in Retail Stores	江涛、时磊、赵烨、张夏天、路瑶	Accepted by DAVA: 2nd International Workshop on Data mining meets Visual Analytics at Big Data Era in conjunction with 25th ACM International Conference on Information and Knowledge Management (CIKM'16)	计算机科学国家重点实验室	学术论文
18	面向死锁可信检测的有界概率测试 Radius Aware Probabilistic Testing of Deadlocks with Guarantees	蔡彦、扬子江	The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), pp.356–367, Sep. 3-7, 2016.	计算机科学国家重点实验室	学术论文
20	Machine Coding：代码自动化编写技术研究	武延军、周鹏、王瑜、梁冠宇等	（尚未发表）	协同创新中心	学术论文
22	基于最大连通图的犯罪团伙发现 Identification of Criminal Gang based on maximum connectivity graphs	李慧、邹积鑫、刘旭斌、邬登峰、魏克刚、李培军、许舒人	（尚未发表）	软件工程技术研究开发中心	学术论文
23	基于分枝定界搜索的广义线性约束优化算法 Solving Linear Optimization over Arithmetic Constraint Formula	陈力、吕荫润、吴敬征、王翀、张常有、Nasro Min-Allah、Jamal Alhiyafi、王永吉	Journal of Global Optimization, published online, 2017.受邀于2017年10月在运筹学和管理科学领域的顶级会议INFORMS (Institute for Operations Research and the Management Sciences)年会上作报告	协同创新中心	学术论文
24	科技查新中检索词智能抽取系统的设计与实现	王培霞、余海、陈力、王永吉	科技查新中检索词智能抽取系统的设计与实现[J].现代图书情报技术,2016,(11):82-93.	协同创新中心	学术论文
26	基于投影进场动力学的弹塑性材料模拟 Projective Peridynamics for Modeling Versatile Elastoplastic Materials	何小伟、王华民、吴恩华	IEEE Transactions on Visualization and Computer Graphics (conditionally accepted)	人机交互技术与智能信息处理实验室	学术论文
27	基于确定性自动机族和分类树的布希自动机学习算法 üchi Automata based on Family of DFAs and Classification Trees A Novel Learning Algorithm for B	李勇、陈郁方、张立军、刘德鹏	In TACAS, 208-226, 2017.	计算机科学国家重点实验室	学术论文
30	语义知识获取及推理规则发现（1）Distant Supervision via Prototype-based Global Representation Learning（2）Context-Sensitive Inference Rule Discovery: A Graph-based Method	韩先培、孙乐	（1）In: The Thirty-First AAAI Conference (AAAI-17).（2）In: The 26th International Conference on Computational Linguistics. (COLING 2016)	中文信息处理研究小组	学术论文
32	面向概率时间自动机模型检测的判定图 An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata	纪玮、王凡、吴鹏、吕毅	ICECCS 2016: 111-121	计算机科学国家重点实验室	学术论文
36	安卓应用中资源泄漏的自动修复 Fixing Resource Leaks in Android Apps with Light-weight Static Analysis and Low-overhead Instrumentation	刘洁瑞、吴添勇、严俊、张健	ISSRE 2016	计算机科学国家重点实验室	学术论文
38	基于Fredholm多核学习的半监督知识迁移 Fredholm Multiple Kernel Learning for Semi-Supervised Domain Adaptation	王微、王浩、张晨、高扬	The Thirty-First AAAI Conference on Artificial Intelligence 2017	协同创新中心	学术论文
39	基于深度学习的个性化位置推荐 Learning Graph-based POI Embedding for Location-based Recommendation	谢敏、阴红志、王浩	CIKM2016	协同创新中心	学术论文
41	互联网文档流上用户感知的稀有主题序列模式的挖掘方法 Mining User-Aware Rare Sequential Topic Patterns in Document Streams	朱嘉奇、王开骏、吴云坤、胡仲义、王宏安	Published in IEEE Transactions on Knowledge and Data Engineering (TKDE), 28(7): 1790-1804, 2016.	人机交互技术与智能信息处理实验室	学术论文
43	匿名口令认证与客户端匿名认证的TLS模式 Practical Anonymous Password Authentication and TLS with Anonymous Client Authentication	张振峰、杨糠、胡学先、王宇辰	ACM CCS 2016：1179-1191	可信计算与信息保障实验室	学术论文
45	ACC电路深度压缩新算法 Depth reduction for composites	陈世腾、Periklis A. Papakonstantinou	FOCS 2016	计算机科学国家重点实验室	学术论文

2、系统工具

编号	题目	作者	发表的刊物/会议	部门	类别
4	云计算环境下的恶意行为检测、响应与取证平台	丁丽萍、赵粮、刘文懋、裘晓峰、方华、杨卫军、刘斌、季昕华等		并行软件与计算科学实验室	工具系统
5	TCA软件动态分析系统	苏璞睿、应凌云		可信计算与信息保障实验室	工具系统
7	Kgraph—思维导图绘制管理系统	王永吉、张艺品		协同创新中心	工具系统
9	病人相似性度量工具及应用	倪嘉志、刘杰、张晨昕、叶丹		软件工程技术研究开发中心	工具系统
10	Cloud2eploy：模型驱动的云应用部署与动态配置系统	陈伟、梁超超、徐培兴、魏峻		软件工程技术研究开发中心	工具系统
12	CrawlDroid Android应用GUI自动化测试工具	佘艺、吴国全、魏峻、黄涛		软件工程技术研究开发中心	工具系统
14	Eiffel：论文影响力图谱的可视化分析系统	苏越（导师：时磊）		计算机科学国家重点实验室	工具系统
15	DeepClue：基于文本的深度学习股票预测的可视分析	王乐		计算机科学国家重点实验室	工具系统
19	智能机器人通用软硬件平台xbot	武延军等		协同创新中心	工具系统
21	MicroD 基于执行轨迹追踪的微服务故障诊断系统	王焘、王子勇、石钟浩、张文博	Journal of Systems and Software (2017)	软件工程技术研究开发中心	工具系统
25	分子动力学粗粒化模拟软件	王婷、徐进、王延颋		并行软件与计算科学实验室	工具系统
28	GraphFlow:基于增量计算的流式图计算系统	段世凯、赵伟、康锴、许利杰、王伟		软件工程技术研究开发中心	工具系统
29	大数据系统可靠性基准测试	郑莹莹，许利杰，刘重瑞，沈雯婷，赵伟，王伟		软件工程技术研究开发中心	工具系统
31	基于安捷（Agilor）实时数据库的海洋数据感知系统	郭超平、王盖、张暕、罗雄飞等		人机交互技术与智能信息处理实验室	工具系统
33	CroPass 账号信息聚合平台	张东红(导师：张震宇)		计算机科学国家重点实验室	工具系统
34	贵州省招标投标行业基础数据聚合平台	陈峰、温玉祥、韦吉军、秦田琳、赵平等		并行软件与计算科学实验室	工具系统
35	基于大数据的交通优化平台	陈峰、艾大清、李林先、罗楠等		并行软件与计算科学实验室	工具系统
40	基于论辩挖掘的用户评论分析系统	高扬、胡俊星、王浩		协同创新中心	工具系统

3、重大示范工程项目

编号	题目	作者	发表的刊物/会议	部门	类别
16	面向复杂信息的大数据分析方法与决策支持	胡晓惠、张金芳、张慧、王瑞、李海昌等		天基综合信息系统重点实验室	重大示范工程项目
44	山东省重要产品追溯体系建设	许舒人、李培军、魏克刚、李慧		软件工程技术研究开发中心	重大示范工程项目

4、科研奖励

编号

题目

作者

发表的刊物/会议

部门

类别

千万核可扩展大气动力学全隐式模拟

杨超、薛魏、付昊桓、尤洪涛、王欣亮、敖玉龙、刘芳芳、甘霖、许平、王兰宁等

获奖：ACM Gordon Bell Prize（“戈登？贝尔”奖——高性能计算应用领域世界最高奖）文献：10M-Core Scalable Fully-Implicit Solver for Nonhydrostatic Atmospheric Dynamics, Proc. 2016 IEEE/ACM’16), 2016, pp. 6:1-12.

Int’l Conference for High Performance Computing, Networking, Storage and Analysis (SC

并行软件与计算科学实验室

科研奖励

5、关键技术

编号	题目	作者	发表的刊物/会议	部门	类别
42	跨文化的情感跟踪与识别	陈辉、王宏安、姚乃明、郭清沛、徐海月、李志浩、彭晓兰		人机交互技术与智能信息处理实验室	关键技术