恭喜广西民族大学吴尽昭获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网恭喜广西民族大学申请的专利一种基于矩阵等价的布尔函数仿射等价判定方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN110598165B 。
龙图腾网通过国家知识产权局官网在2023-09-26发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:201910885406.5,技术领域涉及:G06F17/10;该发明授权一种基于矩阵等价的布尔函数仿射等价判定方法是由吴尽昭;杨国武;曾骁;王子裕;熊菊霞设计研发完成,并于2019-09-19向国家知识产权局提交的专利申请。
本一种基于矩阵等价的布尔函数仿射等价判定方法在说明书摘要公布了:本发明公开了一种基于矩阵等价的布尔函数仿射等价判定方法,包括:S1、对任意变量的两个布尔函数进行仿射等价判定;S2、根据布尔函数F2生成正交矩阵群和辛矩阵群,并得到正交矩阵生成元、辛矩阵生成元和非奇异矩阵生成元;S3、将所述正交矩阵生成元、辛矩阵生成元和非奇异矩阵生成元输入GAP系统生成所有的正交矩阵、辛矩阵和非奇异矩阵,并通过遍历搜索空间得到布尔函数仿射等价中有序对A,b;S4、将所述步骤S1、S2和S3应用于组合逻辑电路、FPGA可编程逻辑阵列和纠错编码中。
本发明授权一种基于矩阵等价的布尔函数仿射等价判定方法在权利要求书中公布了:1.一种基于矩阵等价的布尔函数仿射等价判定方法,其特征在于,包括:S1、对任意变量的两个布尔函数进行仿射等价判定;S2、根据布尔函数F2生成正交矩阵群和辛矩阵群,并得到正交矩阵生成元、辛矩阵生成元和非奇异矩阵生成元;S3、将所述正交矩阵生成元、辛矩阵生成元和非奇异矩阵生成元输入GAP系统生成所有的正交矩阵、辛矩阵和非奇异矩阵,并通过遍历搜索空间得到布尔函数仿射等价中有序对A,b;将步骤S1、步骤S2和步骤S3应用于组合逻辑电路的方法包括:在电路的应用中,n变量布尔函数表示一个电路,它接受n个输入,并产生单个输出;如果两个布尔函数是仿射等价的,那么它们所代表的物理电路可以被认为是相同的;组合逻辑电路的设计中,通过判断已经设计出电路C1所对应的布尔函数F1是否与需要实现的逻辑功能对应的布尔函数F2仿射等价,若仿射等价,则对电路C1的输入单元做适当线性组合,则可用C1来实现布尔函数F2;所述步骤S1具体包括:S1.1、根据布尔函数中真值表中包含不同个数1对其进行分类;S1.2、对含有m个1的布尔函数,记为Fm,对使f取值为1所对应的变量取值Xi构成On-set矩阵M;S1.3、计算任意两个布尔函数f,g∈Fm的变量取值矩阵Mf,Mg,若f与g仿射等价,则sizeMf=sizeMg,rankMf=rankMg=r;S1.4、分别将所述Mf,Mg转化为形如:或的标准型,其中,前者为第一类标准型,后者为第二类标准型;S1.5、若f与g仿射等价,则Mf,Mg的标准型为同一类,否则f与g必为非仿射等价;所述步骤S2具体包括:确定搜索空间其中D21是任意矩阵,D22是一个非奇异矩阵,当M被转化为第一类标准型时,D11∈正交矩阵群;当M被转化为第二类标准型时D11∈辛矩阵群;所述步骤S3具体包括:将所述正交矩阵生成元、辛矩阵生成元和非奇异矩阵生成元输入GAP系统生成所有的正交矩阵、辛矩阵和非奇异矩阵,并通过遍历搜索空间D得到满足fx=gAx+b的有序对A,b;将步骤S1、步骤S2和步骤S3应用于FPGA可编程逻辑阵列的方法包括:对基本逻辑单元的查找表的输入门进行线性组合,得到新的基本逻辑单元,增加FPGA实现的功能,丰富FPGA的设计;将步骤S1、步骤S2和步骤S3应用于纠错编码的选取中,选出具有优良性质的纠错码,且通过缩小搜索空间,提高工作效率。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人广西民族大学,其通讯地址为:530007 广西壮族自治区南宁市西乡塘区大学东路188号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。