【摘 要】
：
二叉判定图广泛应用于形式验证,但相关算法存在节点规模过大的问题。提出了一种基于灾变遗传算法的二叉判定图最小化算法,它能在不扩大种群规模的情况下增加个体多样性,改善
论文部分内容阅读
二叉判定图广泛应用于形式验证,但相关算法存在节点规模过大的问题。提出了一种基于灾变遗传算法的二叉判定图最小化算法,它能在不扩大种群规模的情况下增加个体多样性,改善遗传算法局部收敛的问题。试验结果表明该算法的全局特性显著优于传统遗传算法,能够进一步减小节点规模,改善程度最高可达25%。而且,由于使用何种进化策略并不影响灾变的发生,因此,算法可扩展性好,极易与其他改进策略结合起来,在原有特性的基础上引入全局优势,以进一步减小节点规模。
其他文献
叶艺君子兰又称彩色君子兰,是君子兰的珍品,具有极高的观赏价值和商品价值.
采用一步固相烧结法,以高岭土和氢氧化铝原位制备了莫来石晶相增强钙长石复合材料,利用XRD和SEM对材料的显微结构进行了分析。实验结果表明：原位生长莫来石/钙长石的配比组成
江西省南昌县小兰葡萄良种场场长——邓定洪，一个农家子弟，经过十余载寒窗苦读，好不容易圆了大学梦。1990年，他大学毕业后，当上了国家干部，实现了正常人梦寐以求的目标，但他却不满足
在满足复杂三角网格模型数控加工的精度要求下，为提高加工效率，提出了刀具组合优化方法。该方法以刀具轨迹长度最短为目标，并综合考虑模型微分几何信息对加工效率和精度的影响。
广东省吴川市黄坡镇某专业户饲养的一群雏番鸭,14日龄时发生一种以眼眶湿润、下痢、脱水并伴有抽搐为特征症状的疫病.经检查,确诊为番鸭鸭疫里默氏杆菌并发小鹅瘟病.现将诊治
本文根据硼泥的化学成分设计了制备硼泥陶粒的原料比例,参考相关资料制定了陶粒的预热温度、烧结温度、烧结时间等制备工艺参数,进行基础实验。通过基础实验确定烧制硼泥陶粒