hg体育_官网

hg体育_官网

首页 > hg体育 > 正文

电子科技大学杨国武博士学术报告

时间:2019年09月19日 18:34点击数:

                             学 术 报 告

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

教授,博导,学院学术委员会主任
报告时间:20199201500-17:00
报告地点:hg体育1楼报告厅
报告摘要:

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

友情链接/LINK

办事大厅 文件系统 教工邮箱 图书馆 工作量管理系统 hg体育招聘网 校友网 教务管理 中外合作办学 财务管理 科研管理 教师信息网

hg体育 版权所有