学 术 报 告

报告题目：基于群同构的布尔函数仿射等价分类计算
报告人： 杨国武博士，电子科技大学计算机科学与工程学院，  

教授，博导，学院学术委员会主任
报告时间：2019年9月20日15：00-17:00
报告地点：北京应用技术学院1楼报告厅
报告摘要：

布尔函数仿射等价分类在逻辑综合和密码学中有重要的应用。全体布尔函数的数量成双指数增长使得相关研究结果不多，最好的结果是Harrison给出的6个变量的布尔函数仿射等价分类计算。我们分别给出了布尔函数仿射等价分类和不同On-set大小的布尔函数仿射等价分类的计算公式。通过将仿射群同构到一个排列群，我们可以计算10个变量以内的布尔函数仿射等价分类。
报告人简介：
      杨国武, 男。中国科技大学本科，武汉理工大学硕士，波特兰州立大学博士。电子科技大学计算机科学与工程学院，教授，博导，学院学术委员会主任。主要研究方向包括：量子计算，机器学习，形式化方法等。主持了4个自然科学基金面上项目，1个博士点基金，参与了科技部核高基重大专项和973项目各1项等。在国内外刊物和会议上发表论文100余篇，其中SCI检索70多篇。
                    欢迎广大师生参加！