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

海报展示

学术论文
编号	部门	题目	作者
1	计算机科学	针对安卓应用程序中异步组件误用的静态检测	潘临杰严俊张健
2	计算机科学	NuCDS：一种高效的最小联通支配集的局部搜索算法	李博涵，张昕荻，蔡少伟，林锦坤，王艺源，Christian Blum
3	计算机科学	使用差分凸规划的不变量栅栏函数生成	Qiuye Wang1, Mingshuai Chen, Bai Xue, Naijun Zhan1, Joost-Pieter Katoen
4	计算机科学	干扰下时延混成系统的切换控制器合成	Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
5	计算机科学	多项式离散系统的可达-规避集合内逼近	薛白，詹乃军，Martin Franzle
6	计算机科学	广域粘性不可压缩SPH流体仿真	刘树森、何小伟、王文成、吴恩华
7	计算机科学	Monotonous betting strategies in warped casinos	George Barmpalias (ISCAS) and Nan Fang (ISCAS) and Andrew Lewis-Pye (LSE)
8	计算机科学	赌注的颗粒性与资产无限累积的可能性	George Barmpalias,方楠
9	计算机科学	基于蜕变测试的文本定位系统稳定性测试	晏荣杰王思琪闫艺宣高红雨严俊
10	计算机科学	死锁的高效检测	蔡彦、孟瑞杰
11	计算机科学	在纹理图像中生成高质量的超像素	张哲，徐盼盼，常建，王文成*，赵冲，张建军
12	计算机科学	用于三维曲线骨架提取的简单稳定中心性度量方法	李雷，王文成，储翌尧
13	计算机科学	基于扩散边界CFD模型的门脉高压非侵入性诊断方法	任丽欣、万上、魏毅、何小伟、宋彬、吴恩华
14	计算机科学	动态比例的测试用例排序选择的持续集成优化	张震宇
15	计算机科学	调和叶状结构和全纯二次微分在高亏格三维模型保角参数化上的应用	赵辉，王少东，王文成
16	计算机科学	FlashRegex:从示例中推断抗ReDoS的正则表达式	Yeting Li, Zhiwu Xu, Jialun Cao, Haiming Chen, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao
17	计算机科学	TransRegex: 基于生成和修复的多模态正则表达式合成	Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung
18	计算机科学	ReDoSHunter:一种动静态结合的ReDoS检测算法	Yeting Li, Zixuan Chen, Jialun Cao, Zhiwu Xu, Qiancheng Peng, Haiming Chen, Liyuan Chen, Shing-ChiCheung
19	计算机科学	针对行人重识别的统一风格转换	Chong Liu, Xiaojun Chang, Yi-Dong Shen
20	计算机科学	RegionSketch: Interactive and Rapid Creation of 3D Models with Rich Details	侯飞
21	计算机科学	推断切换型非线性动力系统	Xiangyu Jin, Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
22	计算机科学	高效且对网格分辨率不敏感的点在多边形内的判定方法	王文成*,王盛春
23	计算机科学	定积分计算的交互式验证	许润清，李黎明，詹博华
24	计算机科学	基于期望的量子关系Hoare逻辑	李杨佳
25	计算机科学	复数值域#CSP 问题的指数复杂性研究	刘莹
26	计算机科学	量子马尔可夫决策系统的优化策略	Ming-Sheng Ying, Yuan Feng, Sheng-Gang Ying
27	计算机科学	LTLf规约足够好策略综合	李勇、张立军
28	计算机科学	用于高效视觉任务的多用卷积核	韩凯吴恩华
29	软工	基于智能音箱的非接触心跳感知	张扶桑，王志，金蓓弘
30	软工	电子表格语义结构识别	张雅坤,崔紫玉,吕潇,董浩宇,窦文生,韩石,张冬梅,魏峻,叶丹
31	软工	Talos: A Weighted Speedup-Aware Device Placement of Deep Learning Models	Yuanjia XU, Heng WU, Wenbo ZHANG, Chen YANG, Yuewen WU, Heran GAO, Tao WANG
32	软工	一致性导向的分布式系统故障注入方法	陈海骋,窦文生,王栋,秦锋
33	软工	Best VM Selection for Big Data Applications across Multiple Frameworks by Transfer Learning	Yuewen Wu, Heng Wu, Yuanjia Xu, Yi Hu, Wenbo Zhang, Hua Zhong, Tao Huang
34	软工	面向CockRoachDB分布式数据库的自动化参数调优工具	方言歌，邹逸，许利杰，王伟
35	软工	面向深度神经网络的贡献覆盖测试	周志阳，窦文生，刘杰，张晨昕，魏峻，叶丹
36	天基	充分利用异构数据：一种解耦的两阶段训练的命名实体识别模型	Yun Hu, Yeshuang Zhu, Jinchao Zhang, Changwen Zheng, Jie Zhou
37	天基	A New Siamese Co-attention Network for Unsupervised Video Object Segmentation	张正昊
38	天基	Auxiliary task guided mean and covariance alignment network for adversarial domain adaptation	Jiangmeng Li, Wenwen Qiang, Bing Su, Changwen Zheng
39	天基	short Text Clustering with A Deep Multi-Embedded Self-Supervised Model	Kai Zhang, Zheng Lian, Jiangmeng Li, Haichang Li, Xiaohui Hu
40	天基	图像标题生成任务中携带类Inception模块的增强软注意力机制	Zheng Lian, Haichang Li, Rui Wang, Xiaohui Hu
41	天基	内在驱动的多智能体通信协议	Chuxiong Sun, Bo Wu, Rui Wang, Xiaohui Hu
42	天基	Center-Based Light and Simple Method for Multi-Object Tracking	赵天赐
43	互联网	基于图挖掘扩展学习的增强需求跟踪恢复方法	陈磊、王丹丹、王青、石琳
44	互联网	面向群智的问题及解决方案自动提取技术	石琳江子攸杨叶陈啸张昱旻沐方文蒋涵芝王青
45	互联网	基于在线聊天的开源社区特征分析	石琳陈啸杨叶蒋涵芝江子攸牛楠王青
46	互联网	面向软件工程领域的对话解耦技术：我们还有多远？	江子攸，石琳，Celia Chen，胡军，王青
47	互联网	猫头鹰眼：通过视觉理解发现界面显示缺陷	Zhe Liu , Chunyang Chen , Junjie Wang, Yuekai Huang, Jun Hu, Qing Wang
48	人机	使用虚拟镜子辅助空间遮挡目标交互	李念龙，张政权，刘灿，杨增耀，付轶楠，田丰，韩腾，范明明
49	人机	RElectrode：一种基于微流体的可重构多用途传感电极	孙伟陈彦君詹思农韩腾田丰王宏安杨兴东
50	人机	细粒度场景级基于草图的图像检索方法	Fang Liu Changqing Zou Xiaoming Deng Ran Zuo Yu-Kun Lai Cuixia Ma Yong-Jin Liu Hongan Wang
51	人机	知识增强的特定领域小样本关系分类方法	Jiawen Zhang, Jiaqi Zhu*, Yi Yang, Wandong Shi, Congcong Zhang and Hongan Wang
52	人机	Play with Emotional Characters: Improving User Emotional Experience by A Data-driven Approach in VR Volleyball Games	白泽琛，姚乃明，Nidhi Mishra，陈辉，王宏安，Nadia Magnenat Thalmann
53	人机	面向全局EDF策略的实时模式切换在线可调度性分析	Chang Leng, Ying Qiao, Hongan Wang
54	人机	基于深度强化学习的实时调度策略	薄紫彤，乔颖，冷昶，王宏安，郭超平，张绍辉
55	可信	释放后重用漏洞的自动化分析	和亮苏璞睿
56	可信	二进制软件漏洞机理分析系统	闫佳、苏璞睿、黄桦烽、和亮、贾相堃
57	可信	基于覆盖率审计的模糊测试优化	YanhaoWang, Xiangkun Jia, Yuwei Liu, Kyle Zeng, Tiffany Bao, Dinghao Wu, Purui Su
58	可信	AOTA-SSym:基于关键路径条件的导向性Fuzzing系统	杨轶、苏璞睿
59	数科	基于物联网的应急灾害数据管理框架	Zhiming Ding, Shan Jiang, Xinrun Xu, Yanbo Han
60	智能	PEC-V:基于RISC-V协处理器的内存溢出防御机制	张雨昕,芮志清,李威威,张画,罗天悦,吴敬征
61	智能	基于孪生中心感知网络的实时视觉跟踪	周文璋，文龙银，张立波，独大为,罗铁坚，武延军
62	智能	打破交互墙：以DLPU为中心的深度学习计算系统	杜子东1，郭崎1，赵永威1，曾惜1，李玲2，程丽敏2等
63	并行	通过关系学习的法律判决预测	董骞
64	并行	基于图神经网络的伪布尔问题可满足性学习	刘明昊,张帆,黄沛,牛树梓,马菲菲,张健
65	软发	针对中本聪共识协议的自私挖矿性能分析	夏清，窦文生，张凤军，梁赓
66	中文	Benchmarking Knowledge-Enhanced Commonsense Question Answering via Knowledge-to-Text Transformation	边宁,韩先培,陈波,孙乐
工具系统
编号	部门	题目	作者
1	计算机科学	神经网络验证平台 PRODeep	张立军课题组
2	软工	数据库与深度学习系统间数据传输工具	吴铭钞、秦政、许利杰、王伟
3	软工	多版本服务在线自动持续部署工具	李安王焘张文博
4	软工	面向复杂电力信息系统的智能测试与分析平台	张翼飞、敖泽柳、袁秉诚、吴国全*、朱家鑫、魏峻
5	软工	RESTer:REST API设计质量分析工具	周芯宇、陈伟、魏峻
6	天基	天智一体化智能分析平台	李凌波朱庆猛梁健朱全文张奇林宋超男李爽何玉秋刘燕芳朱家蒙杨建伟李辰
7	并行	国产高性能扩展数学库xMath2.0	刘芳芳、马文静、赵玉文、杨超、陈道琨、胡怡、路青霖、蒋丽娟、闫昊、李敏、王鸿森、王鑫雨
8	并行	享链基础设施平台	陈峰吴玉海张金芳杨达
9	数科	时空大数据实时处理平台 GSTRIA	丁治明，戴上军，朱美玲，姜山，张帅，Yan Jin，张久伶
10	智能	鸿蒙操作系统组件工具链支撑和内容生态建设	郑森文陈美汝朱伟吴圣垚吴敬征武延军
11	软发	民间文物安全流通动态追溯系统	方明哲，许颖，李玉成，梁赓
12	总体	面向Wine环境的GUI控件测试工具Ctrl-Test	韩林新、马恒太、陶秋铭
13	协同	智能制造企业数字化转型一体化管理平台	关贝，李晨溪，邓成龙，吴炳潮，孙萌，陈晓霖，昝道广，刘峻峰，赵亚晨，王永吉
关键技术
编号	部门	题目	作者
1	计算机科学	基于自动机理论的字符串约束判定算法	吴志林，陈韬略，Alejandro Flores Lamas, Matthew Hague，陈艳,何锦,胡登杭，韩志磊，Anthony W. Lin,阚双，Philipp Ruemmer
2	天基	面向射频深度学习的无线信号数据增强技术	周鑫，肖祎晨，恽星彤
3	天基	软件定义卫星智能姿态控制	吴凤鸽、张剑、赵军锁
4	数科	时空感知大数据的人工智能分析	丁治明，戴上军，朱美玲，姜山，张帅，Yan Jin，张久伶
重大示范工程
编号	部门	题目	作者
1	软工	联合国可持续发展目标SDGs指标在线计算技术与系统	刘杰、王伟、王帅、钟华等
2	并行	数典.大数据多语种知识服务全球共享平台	杨达万朝晔陈峰张金芳
3	数科	智慧城市感知大数据及应急管理	丁治明，戴上军，朱美玲，姜山，张帅，Yan Jin，张久伶