[发明专利]基于演化硬件的实时容错系统设计方法有效

专利信息
申请号: 201610341467.1 申请日: 2016-05-21
公开(公告)号: CN106055426B 公开(公告)日: 2019-02-01
发明(设计)人: 王洁;柳继委 申请(专利权)人: 大连理工大学
主分类号: G06F11/14 分类号: G06F11/14
代理公司: 大连理工大学专利中心 21200 代理人: 温福雪;李宝元
地址: 116024 辽*** 国省代码: 辽宁;21
权利要求书: 查看更多 说明书: 查看更多
摘要: 发明公开了一种基于演化硬件的实时容错系统设计方法,属于演化硬件领域。该方法从电路编码和系统容错机制进行分析,并在FPGA平台上实现了一套实时容错系统。采用动态自适应CGP编码方法,挖掘编码矩阵的潜能,减少演化耗时,提高演化成功率;采用多种机制保证容错系统的实时性和容错性。以系统故障容错时间为约束条件,保证系统的实时性;利用静态故障配置库加速对故障的修复过程;当静态配置库溢出时,采用补偿修复模式重构系统,提高系统长期运行能力;采用虚拟可重构技术在FPGA平台上构建了一套实时容错系统原型,验证该设计方法的可行性和有效性。该方法兼顾系统的容错性和实时性,充分发挥演化硬件在容错系统设计领域的优势。
搜索关键词: 基于 演化 硬件 实时 容错 系统 设计 方法
【主权项】:
1.一种基于演化硬件的实时容错系统设计方法,其特征在于,步骤如下:(1)动态自适应CGP编码方法传统的CGP编码随机选择一个固定节点作为最终输出节点,动态自适应CGP编码方法输出节点不固定,采用一种动态随机采样模型从CGP编码矩阵中选择不同节点作为输出节点,分别计算CGP编码矩阵的适应度值,并选择适应度值最大的矩阵作为最优解;节点的采样概率随着种群整体适应度变化情况动态调整,当前种群的适应度分布情况采用以下公式计算:其中,fd(t)表示种群中个体适应度分布或多样性;表示种群中个体的平均适应度值;fmax(t)表示种群中个体的最大适应度值;fmin(t)表示种群中个体的最小适应度值;随着迭代次数的增加,个体之间的适应度差值越来越小,平均适应度值增加,fd(t)的值也逐渐变大;采样概率分为两部分,在演化初期,种群适应度值较低,采用固定的较高采样概率加块收敛速度;当种群平均适应度值或迭代次数达到预定的阈值时,根据种群平均适应度值动态调整采样概率;演化过程中采样概率的计算公式为:其中,Ps0是设定的初始采样概率,初始采样概率的设定综合考虑种群规模和染色体长度;如果初始采样概率设为1,则此时遍历所有的节点,并计算适应度值;如果初始采样概率设置过小,则随机选择,初始采样概率不低于0.5;t0是采样概率调整的临界迭代次数,t0的取值为0.3tmax是自定义的参数调节因子,设定为2,tmax是演化算法的最大迭代次数;(2)基于演化硬件的实时容错机制容错系统本质上是一种实时系统,实时性是容错系统的一个重要约束条件;基于演化硬件的实时容错机制,以系统容错时间为约束条件,利用静态配置库加速修复过程,兼顾容错系统的实时性和容错性;整个实时容错机制主要包括以下几个方面:①计算演化算法最大迭代次数将系统可容忍的故障时间定义为修复期限Tmax;Tmax通过故障分析树技术得到;为了保证系统在修复期限内修复系统故障,在演化过程中将修复期限作为演化算法的约束条件;首选通过公式(3)计算出演化算法迭代一次需要的时间Tg;Tg=λ(Tcfg+Tfit)+Tea    (3)其中,Tcfg是演化平台的配置时间,Tfit是适应度评估时间,Tea是演化算法的执行时间,λ是每次迭代过程中产生的子代个体的数量;则根据公式(4)得到最大的迭代次数;②运行时故障检测在系统运行阶段,当系统出现故障时,需要在最短的时间内检测到错误;故障最终导致系统输出错误,比较系统的实际输出和期望输出,判断系统是否有故障发生;故障检测的结果用公式(5)表示R=Oreal⊕Oexp    (5)其中R表示实际输出和期望输出的异或,Oreal表示系统的实际输出值,Oexp表示系统的期望输出值,⊕为异或运算符号,如果期望输出和实际输出一致,则R为0,否则R不为零,通过检测R的值,得到检测系统是否出错;③利用静态配置库修复故障静态配置库主要用来加速故障的修复时间;在系统设计阶段,通过FTA技术挖掘系统潜在的故障,并将这些故障的补偿电路存储在静态配置库中;在系统运行时,如果发生故障,则以向量(In,Oreal)为索引到静态配置库中查找对应的补偿电路,其中In表示系统的输入值向量,Oreal表示In所对应的系统实际输出;如果查找对应的补偿电路,则说明发生了已知故障,直接从配置库中查找对应的补偿电路,完成对系统故障的修复;如果没有查到对应的修复电路,则说明发生了未知故障,启动演化算法来演化补偿电路;在演化未知故障的补偿电路时,采用一种基于相似性的演化算法来加速演化过程;首先,采用海明距离来计算期望补偿输出和配置库中已有电路的补偿输出的相似性,表示为Dis(R,R’),其中R是期望补偿电路的输出,R’是配置库中已有电路的补偿输出;如果则用R’对应的补偿电路来产生演化算法的初始种群,并演化出R;反之,则根据R’对应的补偿电路来演化出然后在补偿输出上加上反相器;静态配置库的大小取决于系统规模和硬件资源,静态配置库的空间越大占用的存储资源越多,查库的时间递增;配置库中的修复电路和故障索引是一对多的关系,即一个修复电路对应多个故障索引;④利用演化与补偿的方式重构系统每修复一个故障,将对应的补偿电路存储在配置库中,但是配置库的存储空间有限,不能存储所有的补偿电路;当配置库内存溢出时,配置库将无法存储新的补偿电路,而且随着系统长时间的运行,出现更多的未知故障,配置库的作用逐渐降低,最终影响系统的容错能力;为了提高系统长期运行的可靠性,当配置库内存溢出时,将采用基于补偿修复技术重构系统;在重构目标系统时,采用基于补偿修复技术的演化方式;演化过程中如果检测到停滞效应则停止演化,假设当前迭代次数为Gs,如果Gs,≥Gmax,则表明不能在规定的迭代次数内演化出目标系统;如果Gs
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于大连理工大学,未经大连理工大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/patent/201610341467.1/,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

tel code back_top