公开(公告)号：CN106874555A

公开(公告)日：2017-06-20

申请号：CN201710024543.0

申请日：2017-01-11

Applicant: 北京航空航天大学

Inventor： 王翔 ,  李明哲 ,  何振学 ,  王维克 ,  周成 ,  李林

IPC: G06F17/50 ,  G06N3/12

CPC classification number: G06F17/5045 ,  G06N3/126

Abstract: 一种Reed‑Muller逻辑电路功耗和面积优化方法,具体步骤如下：1：实现布尔逻辑电路向RM逻辑电路的极性转换；2：进行自适应遗传算法产生新的子代种群；3：采用轮盘赌选择方式选出父代种群中的3/5优秀个体和子代种群中的3/5优秀个体组成中间种群；4：对中间种群进行自适应模拟退火处理；5：判断当前的进化代数是否到达最大进化代数，若是，输出最佳个体；否则，当前进化代数加1，执行步骤2到步骤5；通过以上步骤解决了RM逻辑电路最佳极性搜索问题，克服了原有方法收敛速度慢，容易早熟，陷入局部最优的缺点，增强了收敛性及鲁棒性，提高了最优解的质量，使得RM逻辑电路的优化效果更佳。

公开(公告)号：CN105468872A

公开(公告)日：2016-04-06

申请号：CN201510983383.3

申请日：2015-12-24

Applicant: 北京航空航天大学

Inventor： 王翔 ,  何振学 ,  肖利民 ,  谷飞 ,  苏书宾 ,  张荣

IPC: G06F17/50

CPC classification number: G06F17/505

Abstract: 本发明提供的一种包含无关项的Reed-Muller逻辑电路优化方法，通过加入无关项，使得Reed-Muller逻辑电路的优化空间增大，电路优化的效果更佳。包括以下步骤：1利用列表技术将不完全确定布尔逻辑函数转换为零极性不完全确定Reed-Muller逻辑函数；2将零极性不完全确定Reed-Muller逻辑函数的极性和无关项取舍一起编码为染色体；3利用遗传算法搜索具有最佳电路性能的最佳染色体；根据搜索到的最佳染色体得到最佳RM逻辑函数。

公开(公告)号：CN107330201B

公开(公告)日：2020-09-18

申请号：CN201710539610.2

申请日：2017-07-04

Applicant: 北京航空航天大学

Inventor： 肖利民 ,  何振学 ,  李明哲 ,  霍志胜

IPC: G06F30/327

Abstract: 本发明提供的一种FPRM逻辑电路极性搜索方法，利用新的二进制差分进化算法来搜索FPRM逻辑电路的最佳极性，与基于遗传算法的FPRM逻辑电路极性搜索方法相比，增强了逃脱局部最优和避免早熟的能力，提高了收敛速度和极性搜索的效率。包括以下步骤：1读取Boolean逻辑电路；2输入进化参数；3随机生成初始种群，其中，极性被编码为二进制个体；4执行改进的二进制随机变异操作；5执行二项交叉操作；6获得目标个体及其试验个体的FPRM表达式；7计算目标个体及其试验个体的适应度值；8执行贪婪选择操作和精英保留策略；9若当前进化代数小于最大进化代数，则顺序执行步骤4至步骤8；否则输出最佳极性。

公开(公告)号：CN105187051A

公开(公告)日：2015-12-23

申请号：CN201510411878.9

申请日：2015-07-14

Applicant: 北京航空航天大学

Inventor： 何振学 ,  王翔 ,  肖利民 ,  张荣 ,  谷飞 ,  李书攀 ,  徐洋

IPC: H03K19/20 ,  H03K19/21

Abstract: 一种基于NSGA-II用于不完全确定Reed-Muller电路功耗与面积优化方法，1将不完全确定布尔逻辑函数转换为零极性不完全确定RM表达式；2将不完全确定布尔逻辑函数无关项取舍二进制数编码为染色体；3建立功耗面积估计模型；4建立功耗面积目标函数；5建立与功耗面积相关适应度函数；6确定约束条件；7对参数初始化；8产生初始种群执行非支配排序；9执行选择交叉和变异，生成子代种群；10将父代子代种群合并，执行非支配排序；11计算非支配层中个体拥挤度并组成新父代种群；12对新父代种群执行选择交叉和变异，生成新子代种群；13若当前进化代数小于等于最大进化代数，则返回10；否则，输出最优解集；14从最优解集中选择最佳无关项取舍，得到对应的完全确定RM表达式。