设为首页 | 民大首页
微博    微信  
投稿热线:news.gxun.edu.cn
站内搜索:
 
民大要闻更多 >>
【人民网】火竞猜官网举办“不忘初心...
【喜讯】火竞猜教师在参加首届全国体育教...
【孔子火竞猜】第四届“丝路杯”泰东北高...
2019年学校职称改革工作领导小组成员会...
自治区关工委“五老”宣讲团成立会曁首...
火竞猜app率队赴东兰推进定点扶贫工作
学习贯彻党的十九届四中全会精神自治区...
第四届广西世居民族论坛举行
火竞猜app第十二周工作简讯(11月18日—11...
广西民族教育重点研究基地通过教育部民...
媒体关注更多 >>
【广西日报】桂台大学生加强体育文化交流
【新华网】广西第二届中小学生民族团结...
【中新网】百色队夺冠第二届广西中小学...
【广西日报】全区民族团结进步知识竞赛...
【新华社】首届中国高校印尼语口语大赛...
【广西新闻】孙大伟在火竞猜官网作报...
【广西日报】微生物学术“盛宴”新鲜出...
【科技日报】第十一届全国微生物资源学...
【广西日报】火竞猜官网东盟研究中心...
【南国早报】严进严出,上大学别再想“...
静心凝神学原著
【求是网】不忘初心,读懂《学习纲要》
【教育部官网】非常必要!不可替代!习...
【人民网】云党课
【新华网】习近平在纪念五四运动100周年...
【人民网】图解党建
用新时代中国特色社会主义思想铸魂育人 ...
伟大的变革——庆祝改革开放40周年大型...
学术讲座 
当前位置: 民大新闻网 >> 学术讲座 >> 正文
 
软件与信息安全火竞猜“软件i讲”第4期 布尔函数仿射等价的一种判定方法
来源:    作者:    时间:2019年12月02日 08:39    浏览次数:

讲座题目:布尔函数仿射等价的一种判定方法

主讲嘉宾:杨国武

讲座时间:2019年12月2日 下午16:30—18:00

讲座地点:博识楼215

讲座内容:

    布尔函数仿射等价判定在电路设计,密码分析中有广泛的应用。我们提出了一个基于矩阵代数的仿射等价判定方法:首先把布尔函数对应到矩阵,从而将布尔函数仿射等价判定转换为矩阵等价判定;然后利用二元域下矩阵等价的标准型,找出正交矩阵等价或者辛矩阵等价,从而减少搜索空间,降低计算复杂度。实验证明我们的方法在部分情况下是有效的。

嘉宾简介:

    杨国武,男,教授,博士生导师,主要研究方向是逻辑综合、形式化验证、算法优化等,包括系统设计的形式化方法的研究和开发相关的程序包,与美国英特尔公司CAD研究实验室合作研究了两年多,研究和开发了英特尔公司硬件的自动化证明程序包GSTE。同时本人正在从事硬件和软件的共同的自动化的形式化证明的研究和开发相关的程序包,该项目是美国半导体研究合作组织资助的前沿高科技技术。此外,还进行量子计算与量子信息的研究、可逆逻辑电路的分类和多值量子逻辑电路的综合研究以及非线性控制系统的理论研究等,研究合作单位有美国英特尔公司CAD研究实验室、美国波特兰州立大学电子与计算机工程系和计算机科学系、清华大学软件火竞猜等。在国内外发表论文80多篇,其中SCI收录近40篇,EI收录40多篇。


上一条:民族学与社会学火竞猜“百川交汇”主题学术论坛第七期之四十五:同位素考古技术在中国华南和越南考古遗址中的应用 下一条:软件与信息安全火竞猜“软件i讲”第3期 AutoEncoder简介及应用

关闭

火竞猜火竞猜
火竞猜

Copyright © 2002-2019火竞猜版权所有