国家重点实验室开放基金(SKLSE20080701)
- 作品数：4 被引量：7H指数：2
- 相关作者：何锫潘小海杨柳王晓黄道昌更多>>
- 相关机构：长沙理工大学武汉大学更多>>
- 发文基金：国家重点实验室开放基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种新型GEP解码方法被引量：3
- 2012年
- 基因表达式编程(Gene Expression Programming)是进化算法的最新成果。它继承了遗传算法(GA)编码简单与遗传程序设计(GP)有巨大空间搜索能力的优点。提出一种新的GEP解码方法:GEP的非物理树解码算法。其在不影响原算法其他性质的情况下极大地提高了传统解码算法的运行速度,在一定程度上解决了GEP进化过程中表达式树(Expression Tree,ET)建立和释放消耗巨大时空资源的瓶颈。
- 王晓何锫
- 关键词：基因表达式编程遗传算法遗传程序设计
- 并行程序验证的调度策略被引量：1
- 2009年
- 针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统。实验结果表明,该方法具有较高的并行效率。
- 肖增良何锫康立山
- 关键词：并行调度依赖图
- 基于堆栈解码的元胞基因表达式编程算法被引量：4
- 2009年
- 基因表达式编程(GEP)算法在评价个体适应度时需要将染色体转换为表达式树,并且在求解复杂问题过程中,由于多样性不足仍出现早熟收敛。针对以上问题,提出一种基于堆栈解码的元胞基因表达式编程算法(SD-CGEP)。利用堆栈直接对染色体进行解码和适应度评价,可以提高算法的运行速度;通过引入元胞自动机模型,从而提高算法跳出局部最优的能力。符号回归实验表明,SD-CGEP算法在演化效率和预测精度上均超过传统GP、GEP算法。
- 杨柳何锫潘小海
- 关键词：基因表达式编程算法元胞自动机解码
- 基于依赖分析的并行化验证策略被引量：1
- 2010年
- 提高验证过程的并行性是提高程序验证效率的重要手段之一。为此,提出一种基于控制结构依赖分析的方法来组织程序的并行验证,在验证过程中,并行验证完的控制结构直接触发支持控制结构,无须等待其他操作,从而可以提高程序验证的并行性。此外,还给出提取控制结构依赖图算法和验证过程调度算法,并用实验证明其正确性和高效性。
- 陶荣何锫黄道昌
- 关键词：HOARE逻辑
