学术报告（一）
报告人：龚平
报告题目：bpCMon: An efficient rule-based monitoring framwork for business processes compliance
报告时间：2016年 10 月 26 日(周三) 14:30
报告地点：仓山校区成功楼603报告厅
报告摘要：本报告是对本人在德国Ulm大学访学期间关于业务过程合规性监控方面的工作简要介绍。业务过程合规性监控是检查业务过程的执行是否满足合规性规则 (Compliance rule)。合规性规则的多业务视角性和业务过程执行的高并发所产生的大量数据，给业务过程合规性监控带来了挑战。提出了业务过程合规性监控框架bpCMon，包括合规性规则描述语言ECL和事件响应系统ERS。使用真实医疗数据证实了bpCMon的实用性；通过与其他相关监控器的比较，验证了ERS监控器的高效性。
学术报告（二）
报告人：陈建伟
报告题目：Private data aggregation with integrity assurance and fault tolerance for mobile crowd-sensing
报告时间：2016年 10 月 26 日(周三) 15:10
报告地点：仓山校区成功楼603报告厅
报告摘要：本报告是本人在北京邮电大学博士学习期间的一个工作的简要介绍。群智感知应用能够从大量的个人感知数据中获得有用的统计结果。当收集者不可信时，为了保证个人的差分隐私，已有的方法加密加噪的数据，只允许收集者得到加噪的结果。然而，这些方法或者计算量大，或者缺少有效的组管理，或者无法处理节点失效的情况。本文中，我们提出了一个新的保护隐私的聚集方案。方案中，我们设计了一个高效的组管理协议去处理参与者的动态变化，并且借用将来密文缓冲机制去处理节点失效以及完整性验证问题。方案的分析和性能评估实验表明了方案的有效性。
学术报告（三）
报告人：张仕
报告题目：基于HLS的FPGA时延优化研究
报告时间：2016年 10 月 26 日(周三) 15:50
报告地点：仓山校区成功楼603报告厅
报告摘要：本报告是本人在美国普度大学计算机科学系访问期间工作的简要介绍。内容主要围绕FPGA的HLS展开，包括对该方面研究现状的说明，当前正在做的工作和将要开展的工作进行介绍。同时也欢迎对该方面感兴趣的老师和同学一起在这方面合作研究。
欢迎全体老师和研究生参加!
