• GEF图形编辑器自动生成的研究

    GEF图形编辑器自动生成的研究

    论文摘要GEF(GraphicalEditingFramework,图形化编辑框架)是EclipseToolsProject中最为吸引人的一套框架,它可以使用户采用图形化的方式...
  • 基于受限汉语和模块组合的自动程序设计研究

    基于受限汉语和模块组合的自动程序设计研究

    论文摘要自动程序设计是软件工程师的梦想。随着人工智能、认知科学的理论研究发展,以及人们在软件生产领域的实践,一些特定领域的、自动、半自动程序设计系统已经出现。自动程序设计系统是...
  • 基于归结原理的程序综合设计与实现

    基于归结原理的程序综合设计与实现

    论文摘要广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。通过一般情况下,构造性的证明过程才能抽取程序。归结原理是一种反证法,人们早已知道可以从归结证明...
  • GP技术及应用研究

    GP技术及应用研究

    论文摘要本论文研究的课题在湖南省自然科学基金项目“基于GP理论的多准则决策函数稳定性分析研究”(05JJ40103)和湖南省教育厅项目“网络共同进化算法及应用研究”(04C31...