[发明专利]一种基于矩阵等价的布尔函数仿射等价判定方法有效
| 申请号： | 201910885406.5 | 申请日： | 2019-09-19 |
| 公开（公告）号： | CN110598165B | 公开（公告）日： | 2023-09-26 |
| 发明（设计）人： | 吴尽昭;杨国武;曾骁;王子裕;熊菊霞 | 申请（专利权）人： | 广西民族大学 |
| 主分类号： | G06F17/10 | 分类号： | G06F17/10;G06F17/16 |
| 代理公司： | 北京正华智诚专利代理事务所(普通合伙) 11870 | 代理人： | 吕春艳 |
| 地址： | 530007 广西壮族*** | 国省代码： | 广西;45 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于矩阵等价的布尔函数仿射等价判定方法，包括：S1、对任意变量的两个布尔函数进行仿射等价判定；S2、根据布尔函数F2生成正交矩阵群和辛矩阵群，并得到正交矩阵生成元、辛矩阵生成元和非奇异矩阵生成元；S3、将所述正交矩阵生成元、辛矩阵生成元和非奇异矩阵生成元输入GAP系统生成所有的正交矩阵、辛矩阵和非奇异矩阵，并通过遍历搜索空间得到布尔函数仿射等价中有序对(A，b)；S4、将所述步骤S1、S2和S3应用于组合逻辑电路、FPGA可编程逻辑阵列和纠错编码中。 | ||
| 搜索关键词： | 一种 基于 矩阵 等价 布尔 函数 判定 方法 | ||
【主权项】：
1.一种基于矩阵等价的布尔函数仿射等价判定方法，其特征在于，包括：/nS1、对任意变量的两个布尔函数进行仿射等价判定；/nS2、根据布尔函数F2生成正交矩阵群和辛矩阵群，并得到正交矩阵生成元、辛矩阵生成元和非奇异矩阵生成元；/nS3、将所述正交矩阵生成元、辛矩阵生成元和非奇异矩阵生成元输入GAP系统生成所有的正交矩阵、辛矩阵和非奇异矩阵，并通过遍历搜索空间得到布尔函数仿射等价中有序对(A，b)。/n
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于广西民族大学，未经广西民族大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910885406.5/，转载请声明来源钻瓜专利网。
