何锫
- 作品数：48 被引量：113H指数：9
- 供职机构：广州大学计算机科学与教育软件学院更多>>
- 发文基金：国家自然科学基金湖南省教育厅重点项目广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 设计模式在系统集成中的应用与研究被引量：8
- 2007年
- 为了提高软件系统的可维护性和可复用性,模式特别是设计模式逐渐引起了人们的重视。通过介绍设计模式在SAP系统与运输资源综合平台集成的重要性,并以桥模式与适配器模式为例,论述了设计模式在SAP系统与运输资源综合平台系统集成的实现过程,说明了设计模式的运用还值得进一步研究。
- 肖卓宇何锫
- 关键词：企业资源计划适配器模式系统集成软件复用
- 一种基因表达式程序设计的解码方法被引量：1
- 2016年
- 基因表达式程序设计(GEP)的解码通常仰赖表达式树的建立和后序遍历技术,因而解码复杂度、性能自然成为GEP应用的要害所在.在分析GEP基因型与表现型关系的基础上,提出一种称谓RL-GEP的新型解码方法.新方法基于0目操作符概念、工程应用与系统设计的原则,采用"一次读码多样本解析"和直接对线性编码的基因型实施解码等方法来提高解码效率,算法模型简单修改即可得到一种新型的传统GEP"无树解码"方法,具有良好的扩展性.RL-GEP不仅与传统GEP具有相同的表达能力与表现型空间,而且易于理解、应用和扩展.从求解回归问题的实验看来,本方法和经典GEP有相似问题求解的能力,但效率更高.
- 郭勇何锫胡洋李明飞
- 关键词：基因表达式程序设计解码
- 程序断言的半自动生成及证明逻辑被引量：3
- 2008年
- 如何生成程序断言对于软件验证十分重要。传统方法要求既要对程序结构有深入地把握又要做繁复的Hoare三元式推演工作。为了摆脱这些琐碎事宜,将致力于探讨一种半自动的断言生成方法。为便于理解,讨论主要以XYZ/VERI系统为论述背景。XYZ/VERI系统是一面向时序逻辑程序语言如XYZ/SE的类Hoare逻辑交互式验证系统。该工作一定意义上完善了其验证功能。
- 何锫康立山
- 关键词：HOARE逻辑
- 基于DPS表达式类图的设计模式检测被引量：5
- 2015年
- 为解决设计模式检测中的关系变异问题,降低检测的复杂度,提出一种基于DPS(design pattern string)表达式子图同构的设计模式检测方法。以设计模式中的类为基础,通过图型的形式分析类之间的关系,引入子图同构的思想,将其转化为DPS表达式中子串的组合,在此基础上,依据目标类与模式类的匹配程度,分情形对设计模式进行识别。以单件模式、装饰模式及中介者模式为例,提供一个支持检测的实现,论述其可行性。
- 肖卓宇何锫黎妍
- 关键词：设计模式子图同构
- 基于堆栈解码的元胞基因表达式编程算法被引量：4
- 2009年
- 基因表达式编程(GEP)算法在评价个体适应度时需要将染色体转换为表达式树,并且在求解复杂问题过程中,由于多样性不足仍出现早熟收敛。针对以上问题,提出一种基于堆栈解码的元胞基因表达式编程算法(SD-CGEP)。利用堆栈直接对染色体进行解码和适应度评价,可以提高算法的运行速度;通过引入元胞自动机模型,从而提高算法跳出局部最优的能力。符号回归实验表明,SD-CGEP算法在演化效率和预测精度上均超过传统GP、GEP算法。
- 杨柳何锫潘小海
- 关键词：基因表达式编程算法元胞自动机解码
- 上下文无关文法的可视化描述
- 2016年
- 上下文无关文法借助有限规则集和递归手段实现语言生成问题的刻画.这一形式系统多以符号串集形式呈现,并因递归技术的应用而渐变复杂,晦涩难懂.文章探讨其可视分析问题,涉及文法到有限状态变迁系统的构造、理论证明和应用方法.这项工作不仅有助形式系统各要素间的关系的直观刻画,而且为结构化推导分析、语义重用奠定基础.
- 何锫黄海张远平
- 关键词：上下文无关文法
- 设计模式检测工具有效性评估策略被引量：10
- 2018年
- 为解决传统设计模式检测工具比较基准缺乏及相似工具重复开发的问题,在分析现有设计模式工具检测结果基础上,按识别方法进行了分类,制订了参与检测工具的筛选规则,探讨了各种工具的局限性,提出了一种设计模式检测工具有效性评估方法。以设计模式实例基准、变体、参与者角色实例共享为主要评估指标,通过对8种检测工具及9种开源系统指标的交叉比较,验证了所提方法的有效性,总结了评估工作的有效性威胁,给出了合理性建议,为设计模式检测工具评估提供了一种新思路。
- 肖卓宇黄海何锫李港杨道武彭逸凡董泽民
- 基于设计模式角色的附加关系检测研究被引量：20
- 2015年
- 使用设计模式时,类之间的关系应符合规定的解决方案,然而在系统设计时,设计模式中不同角色之间往往会出现附加的关系,从而导致软件实现与预期的不一致。以识别设计模式的附加关系为目标,提出了一种能够自动检测该问题的解决方案,介绍其解决方法的原则与基本思想,以设计模式中的角色为对象,研究它们之间的联系,制定了一个附加关系检测规则,并以观察者模式与适配器模式为例,提供了一个支持检查的实现,验证了该方法对设计模式附加关系检测的可行性及有效性。
- 肖卓宇何锫黎妍
- 关键词：设计模式
- GEP算法解码结构复用研究被引量：2
- 2013年
- 适应度评价大体可以分成解码和计算适应度值两个部分,是进化计算中运算量最大、重复率最高的过程之一。为了有效利用已有计算结果的角度避免大量重复建树和遍历运算,改进了GEP解码算法基本流程以降低GEP的运算量,达到了提升运算效率的目的。采用仿真的方式对引入复用机制的GEP和传统GEP算法进行了对比实验,从解码次数、解码所用时间等两个方面进行对照,发现引入复用机制的GEP算法在解码次数上比传统GEP有多个数量级的优势,在解码所需时间上也有较大的改进。
- 王超何锫
- 关键词：基因表达式程序设计解码复用
- 程序理解中LL(1)抽象文法的设计与实现
- 2011年
- 采用自顶向下的LL(1)语法分析技术,设计一个程序静态分析器,对源文法进行高级概念化抽象。可以从不同层次不同方面来得到源程序的设计意图,实现语言平台的无关性。系统不仅优于传统的分析工具,而且具有良好的通用性。
- 罗玉玲何锫张雯雰
- 关键词：文法源代码分析软件复用
