花全香
- 作品数:8 被引量:19H指数:3
- 供职机构:东南大学计算机科学与工程学院更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种可行的自动程序理解途径被引量:1
- 1993年
- 自动程序理解是软件工程和人工智能的非常活跃的研究领域,本文提出了一种独立于程序设计语言,具有明显结构性和流图结构的中间表示plan 来表示程序代码,本文首次提出了应用图文法分析技术于自动程序理解的方法,并给出了基于人工智能技术来进行自动程序理解的模型。
- 花全香邢汉承
- 关键词:软件工程
- 推理树——一种模糊推理方法
- 1991年
- 本文在带语言变量和可能性分布方程的模糊逻辑作为模糊知识表示的基础上,提出了一种有效的反问推理技术——推理树的生成与评估算法,这种算法基于扎德(L.A.Zadeh)的似然推理理论,并且该算法没有回溯、不会导致无穷循环。另外,由于使用了基于语言变量的软匹配方法,它有效地处理了模糊知识之间的匹配,从而使得模糊推理有效性和适用性大为提高。
- 花全香邢汉承
- 关键词:模糊推理人工智能
- Petri网和图文法被引量:8
- 1994年
- 通过对Petri网的点火变迁过程和图文法推导过程的研究,给出了从Petri网到图文法的构造过程,并进一步证明了网络的点火过程等价于图文法的推导过程,提供了关于并发性研究的又一途径。
- 花全香邢汉承冯纯伯
- 关键词:PETRI网并发性点火
- 电子字典软件原型及其实现技术被引量:2
- 1994年
- 本文介绍了8038671汉化Xenix环境下用C语言开发的电子字典软件原型的设计及实现思想。给出了电子字典的形式化描述,详细讨论了声音、文字字符等数据的存储及编码技术。最后,提出了电子字典中采纳的几个高效查询算法。
- 林阿龙花全香邢汉承
- 模糊知识处理研究
- 花全香
- 上下文无关图文法和自动程序理解系统
- 花全香
- 数据流分析的图文法途径被引量:6
- 1997年
- 数据流分析是计算机科学的重要研究领域,本文通过分析可归约流图和半结构图文法的特点,提出了使用半结构流图文法进行数据流分析的方法。
- 花全香邢汉承冯纯伯
- 关键词:图文法文法分析数据流分析计算机科学
- 一种有效的结点标号上下文无关图文法分析算法被引量:3
- 1995年
- 本文讨论了上下文无关图文法的性质,并证明了图文法推导具有独立性.本文还给出了一种有效的上下文无关图文法分析算法,它具有多项式时间复杂性,并给出了算法的正确性证明.该算法已经用C语言实现.
- 花全香邢汉承冯纯伯
- 关键词:图文法形式语言