海报展示
  

 

  

学术论文 

编号 

部门 

题目 

作者 

1 

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

基于哈希的模型计数估算算法  

A New Probabilistic Algorithm for Approximate Model Counting

葛存菁,马菲菲,刘田,张健,马旭桐 

2 

计算机科学国家重点实验室 

Dichotomy for Real Holantc Problems 

Jin-Yi Cai, Pinyan Lu, Mingji Xia 

3 

计算机科学国家重点实验室 

基于可进化尺度的搜索测试与动态符号执行的结合  

Combining Search-based Software Testing and Dynamic Symbolic Execution by Evolvability Metric

朱自明,焦莉,徐雄 

4 

计算机科学国家重点实验室 

加强边缘感知的双边纹理滤波方法  

Improved Bilateral Texture Filtering with Edge-aware Measurement

徐盼盼,王文成 

5 

计算机科学国家重点实验室 

L-CMP:基于关联规则学习的自动化带参验证工具  

L-CMP: an automatic learning-based parameterized verification tool

李勇坚,曹嘉伦,庞军 

6 

计算机科学国家重点实验室 

基于动态策略的最小权顶点覆盖问题局部搜索算法  

Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies

Shaowei Cai, Wenying Hou, Jinkun Lin, Yuanjie Li 

7 

计算机科学国家重点实验室 

矩形转换问题 

王少将,何琨,潘祎诚,夏盟佶 

8 

计算机科学国家重点实验室 

Poisson Vector Graphics (PVG) 泊松矢量图形 

侯飞 

9 

计算机科学国家重点实验室 

The opacity of real-time automata实时自动机的不透明性 

 

Lingtai Wang, Naijun Zhan, Jie An 

10 

计算机科学国家重点实验室 

基于负关联规则的软件缺陷挖掘  

NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection

蔡彦 

11 

计算机科学国家重点实验室 

基于LOP算子的优化使用的骨架提取方法  

Improved Use of LOP for Curve Skeleton Extraction

李雷,王文成 

12 

计算机科学国家重点实验室 

挤压刺激网络  

Squeeze-and-Excitation Networks

胡杰,申丽, Samuel Albanie,孙刚,吴恩华 

13 

计算机科学国家重点实验室 

Population Dynamics - in the Schelling model of segregation 

George Barmpalias, Richard Elwes, Andy Lewis-Pye 

14 

计算机科学国家重点实验室 

Robust Invariant Sets Generation for State-Constrained Perturbed (Polynomial) Systems状态约束不确定系统的不变集估计 

 

Bai Xue, Qiuye Wang, NaijunZhan, Martin Fraenzle 

15 

互联网软件技术实验室 

iSENSE: Completion-Aware Crowdtesting Management任务完成感知的众测管理方法 

 

Junjie Wang, Ye Yang, Rahul Krishna, Tim Menzies, Qing Wang 

16 

可信计算与信息保障实验室 

面向医疗信息系统隐私保护的风险自适应访问控制  

Privacy-Aware Risk-Adaptive Access Control in Health Information Systems using Topic Models

张文夕,李昊,张敏,吕志泉 

17 

可信计算与信息保障实验室 

Multiple Privacy Regimes Mechanism For Local Differential Privacy本地差分隐私应用中的一种多隐私预算机制

 

叶宇桐,张敏,冯登国,李昊,迟佳琳 

18 

可信计算与信息保障实验室 

Fuzzing Program Logic Deeply Hidden in Binary Program Stages 

Yanhao Wang, Chua Zheng Leong, Yuwei Liu, Purui Su, Zhenkai Liang 

19 

可信计算与信息保障实验室    

One Engine To Serveém All: Inferring Taint Rules Without Architectural Semantics 

Zheng Leong Chua, Yanhao Wang, Teodora Baluta, Prateek Saxena, Zhenkai Liang, Purui Su 

20 

人机交互技术与智能信息处理实验室 

一种基于生成式对抗网络的草图补全与识别方法  

SketchGAN: Joint Sketch Completion and Recognition with Generative Adversarial Network

Fang Liu, Xiaoming Deng, Yu-Kun Lai, Yong-Jin Liu, Cuixia Ma, Hongan Wang 

21 

人机交互技术与智能信息处理实验室  

Reformulating Hyperelastic Materials with Peridynamic Modeling 

徐力有,何小伟,陈伟,李胜,汪国平 

22 

人机交互技术与智能信息处理实验室 

SmartEye:Assisting Instant Photo Taking via Integrating User Preference with Deep View Proposal Network 

马帅,田丰,范向民,魏子钧,黄进、Jianming ZhangRadomir MechDimitris Samaras、王宏安 

23 

软件工程技术研究开发中心 

安卓应用中误暴露组件的分析与检测  

Characterizing and Identifying Misexposed Activities in Android Apps

燕季薇,邓茜,王平,吴添勇,严俊,张健 

24 

软件工程技术研究开发中心 

基于Wi-Fi信号的健身行为识别  

Towards a Diffraction-based Sensing Approach on Human Activity Recognition

张扶桑,金蓓弘 

25 

软件工程技术研究开发中心 

电子表格中可扩展单元组识别  

Expandable Group Identification in Spreadsheets

窦文生,韩石,徐良,张冬梅,魏峻 

26 

软件工程技术研究开发中心 

大规模分布式系统中节点失效恢复缺陷实证研究  

An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems

高钰,窦文生,秦锋,高楚舒,王栋,魏峻,黄瑞瑞,周利,吴永明 

27 

软件工程技术研究开发中心 

An Experimental Evaluation of Garbage Collectors on Big Data Applications 

Lijie Xu, Tian Guo, Wensheng Dou, Wei Wang, Jun Wei 

28 

软件工程技术研究开发中心 

Aladdin: Optimized Maximum Flow Management for Shared Production Clusters (IPDPS 2019) 

Heng Wu, Wenbo Zhang, Yuanjia Xu, Hao Xiang, Tao Huang, Haiyang Ding, Zhen Zhang 

29 

软件发展研究部 

响应式许可链基础组件----RepChain 

RepChain----A permissioned blockchain toolkit implemented by reactive programming

李春晓,陈胜,郑龙帅,左春,蒋步云,梁赓 

30 

天基综合信息系统重点实验室 

基于图像深度学习的无线电信号识别 

周鑫,郑昌文,何晓新 

31 

天基综合信息系统重点实验室 

遥感图像语义分割的方法比较研究  

A Comparison and Strategy of Semantic Segmentation on Remote Sensing Images

胡俊星,李玲,林翊钧,吴凤鸽,赵军锁 

32 

天基综合信息系统重点实验室 

细粒度分类数据增强方法研究 

路俊峰,廖名学 

33 

天基综合信息系统重点实验室 

使用深度学习排序音乐片段  

Sequencing the musical sections with deep learning

崔轩阁,廖名学,吕品,郑昌文 

34 

天基综合信息系统重点实验室 

Global Features of Fused Frame Relationships Help Video Classification 

Mengyao Kong, Pin Lv 

35 

天基综合信息系统重点实验室 

基于特征融合网络的场景文字检测方法  

Feature fusion network for scene text detection

蔡晨沁,吕品,苏冰 

36 

天基综合信息系统重点实验室 

Multi-Critic DDPG Method and Double Experience Replay多critic的DDPG算法和双经验池结构 

 

吴蛟,王瑞,李瑞英,张慧,胡晓惠 

37 

天基综合信息系统重点实验室 

基于保序最优传输的序列距离  

Order-preserving Optimal Transport for Distances between Sequences

Bing Su, Gang Hua 

38 

天基综合信息系统重点实验室 

Historical Best Q-Networks for Deep Reinforcement Learning基于历史最优Q网络的强化学习方法 

 

Wenwu Yu, Rui Wang, Ruiying Li, Jing Gao, Xiaohui Hu 

39 

智能软件研究中心 

dAMP: 可微分抽象机混合编程系统 

周鹏,武延军,赵琛 

40 

智能软件研究中心 

尺度不变的全卷积神经网络:高效的人手检测  

Scale Invariant Fully Convolutional Network: Detecting Hands Efficiently

刘丹,独大为,张立波,罗铁坚,武延军,黄飞跃, Siwei Lyu 

41 

中文信息处理实验室 

基于准确文本增强的知识表示学习方法  

Accurate Text-Enhanced Knowledge Graph Representation Learning

安波,韩先培,孙乐 

42 

中文信息处理实验室 

基于区块提议网络的中文事件检测  

Nugget Proposal Networks for Chinese Event Detection

林鸿宇,陆垚杰,韩先培,孙乐 

  

 43 

总体部 

Energy-Efficient Phase-Aware Load Balancing on asymmetric multicore processors基于非对称多核处理器的低功耗负载均衡方法 

 

赵珊,郝春亮,翟健,李明树 

  

工具系统 

编号 

部门                            

题目   

主要完成人 

1 

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

享链BaaS平台 

陈峰,吴玉海,刘均建,李正道,董宝军,韦吉军等 

2 

可信计算与信息保障实验室 

二进制代码漏洞自动挖掘与利用系统 

黄桦烽,和亮,杨轶,苏璞睿,徐鹏,余媛萍 

3 

软件工程技术研究开发中心 

面向异常传播的微服务异常诊断系统 

王焘,薛晓东,张文博 

4 

软件工程技术研究开发中心 

面向智能家居场景的故障检测诊断系统 

胡家煊,周芯宇,许利杰,王伟 

5 

软件工程技术研究开发中心 

面向大规模应用实例的配置分发系统 

唐震,邵佳琦,许利杰,王伟 

6 

软件工程技术研究开发中心 

Lucifer:面向微服务应用的自动化失效测试工具 

崔承旭,吴国全,魏峻 

7 

软件工程技术研究开发中心 

地球大数据挖掘分析平台EarthDataMiner V1.0 

刘杰,王伟,王帅,杨光,吴怀林,杨诏,王建飞,周志阳,秦伟,张晨昕 

8 

软件工程技术研究开发中心 

基于高性能服务网格的智能化编排系统 

李世雄,陈伟,魏峻 

9 

软件发展研究部 

血液病智能辅助诊疗系统 

徐睿,纪春岩,杨立,卢飞,纪敏,马肖肖 

10 

软件发展研究部 

模型驱动的跨学科时空数据可视化系统 

孔维一,杨立,马肖肖,左春 

11 

天基综合信息系统重点实验室 

基于深度学习的天智一号目标检测系统 

林翊钧,傅妍玫,吴凤鸽,赵军锁 

12 

天基综合信息系统重点实验室 

低轨卫星星座网络规划与性能优化仿真平台 

刘帅军,胡月梅,王大鹏,刘立祥 

13 

天基综合信息系统重点实验室 

CSTK卫星仿真系统 

朱登科,郑昌文,胡晓惠,魏聪,忻恬等 

14 

天基综合信息系统重点实验室 

天地一体化组网解决方案 

刘立祥,王大鹏,周桓任,范媛媛等 

15 

协同创新中心 

无人机系统智能技术仿真实验平台 

黄志宇,于洁,林云,谢斐 

16 

智能软件研究中心 

机械臂编程语言和运行系统 

邢明杰,常先明,武延军 

  

 17 

人机交互技术与智能信息处理实验室 

面向内存受限环境的高性能规则推理引擎 

姚媛,乔颖,王宏安 

  

关键技术 

编号 

部门 

题目 

主要完成人 

1 

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

面向结构化网格的并行稀疏三角求解器SpTRSV 

陈道琨,刘芳芳,杨超 

2 

软件工程技术研究开发中心 

数据采集过程中的清洗技术及应用 

李培军,许舒人,魏克刚,田申,张晓辉,罗剑刚 

3 

软件工程技术研究开发中心 

民航领域智能问答技术及应用 

马志柔,付煜文,曲瑛琪,杨燕,刘杰,叶丹 

4 

协同创新中心 

无人机红外兴趣目标实时检测及其行为识别 

于洁,黄志宇,林云,马翠霞 

5 

协同创新中心 

大规模固定翼无人机蜂群智能体自组织协同技术 

黄志宇,于洁,谢斐,林云 

 

     重大示范工程项目 

编号 

部门 

题目                                      

主要完成人 

1 

软件发展研究部                     

澜湄次区域虫媒传染病联合防控平台V1.0 

张凤军,王鑫,周红宁,杜龙飞,丁海元,梁赓 

2 

软件工程技术研究开发中心 

厦门市重要产品追溯统一平台 

许舒人,李培军,魏克刚,田申,张晓辉,罗剑刚 

3 

天基综合信息系统重点实验室 

天智一号卫星研制与演示验证 

赵军锁,吴凤鸽,耿世松,李丹,赵岩,张衡等 

 

  

科研奖励 

编号 

部门 

题目 

获奖者 

1 

可信计算与信息保障实验室 

APT攻击检测关键技术研究与应用 

苏璞睿,杨轶,闫佳,和亮,聂楚江