金龙飞
- 作品数：11 被引量：56H指数：4
- 供职机构：吉林大学更多>>
- 发文基金：吉林省科技发展计划基金国家教育部博士点基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 编译器前端构造工具及JLUCC的实现被引量：6
- 2005年
- 针对多种典型的编译器构造工具存在对文法有限制、嵌入式语义动作有负面影响,目标语言单一和调试维护困难等一些问题,设计并实现了一种新的编译器构造工具———JLUCC(JilinUniversityCompilerCompil-er)。JLUCC使用Earley分析方法,结合反射、面向对象和设计模式等技术,具有词法分析器、语法分析器、抽象语法树和遍历工具等编译器模块的自动生成功能,可以支持任意上下文无关文法、多遍处理和对目标语言的扩展。其功能强大、使用方便、便于维护和扩展,具有广阔的应用前景。展望了未来编译器构造工具的发展趋势。
- 金龙飞刘磊
- 关键词：编译器抽象语法树面向对象
- 形式化本体工程中若干问题的研究
- 金龙飞
- 关键词：本体本体工程形式化本体演化模型驱动架构QVTSEAL演算
- 文献传递
- Seal演算的偶图语义被引量：2
- 2008年
- 偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一的建模框架.Seal演算是一种用于描述移动计算的进程语言,具有良好的安全性质.文中给出了一种不带复制进程表达式的Seal演算的偶图表示,分析了该Seal演算与其偶图表示间的结构对应和操作对应.本研究扩展了偶图理论的应用范围,展示了偶图理论在描述安全演算方面的能力,为在偶图反应系统框架下研究Seal演算的性质和应用奠定了基础.
- 金龙飞刘磊
- 关键词：SEAL演算偶图
- 通用可扩展编译器前端生成器的设计与实现
- 随着计算机的发展,计算机语言的应用越来越广泛。对计算机语言的各种处理过程一般都用到了编译器构造工具,其中以编译器前端生成器的使用最为广泛。传统的编译器前端生成器通常受限于一种算法和一种目标语言,缺乏通用性、可重用性和可扩...
- 金龙飞
- 关键词：自动生成文法
- 文献传递
- 一种本体演化波及效应分析方法被引量：14
- 2006年
- 本文提出了一种本体图模型,建立了本体邻接矩阵和可达矩阵,凭借矩阵变换与运算对本体演化中的波及效应进行了深入的分析和量化界定;文中阐述了对演化中的本体变化操作所引起的各种波及效应;给出了本体元素对本体结构的贡献大小、本体内聚度及本体演化中元素受影响程度的计算方法,并且分析了依赖未知情况下的本体演化的波及效应问题,提出了一种支持本体演化的服务模型,从而为本体演化的管理、控制、利用和评价提供了可靠的依据,为本体演化的计算机自动处理奠定了基础.
- 金龙飞刘磊
- 关键词：本体演化可达矩阵
- 元程序设计环境的自动生成技术实现
- 2005年
- 针对因目标程序和元程序的复杂性而导致元程序设计环境的构造过程十分复杂的问题,将面向对象的方法应用于元程序设计环境的自动生成技术,并以此为基础,实现了一个支持多种环境语言(实现元程序的语言)的元程序设计环境自动生成系统———O-MPS。实验结果表明,该系统可以根据用户提供的说明自动生成元程序设计环境,O-MPS生成的元程序设计环境包含丰富的元级操作,支持中间表示和元级操作的同时扩展,为灵活高效地进行元程序设计提供了支持。
- 金龙飞刘磊
- 关键词：元程序自动生成
- 本体定义元模型及其在语义网中的应用研究
- 刘磊金英郭德贵付燕宁张长海杨冬张晶胡谦贾成宇金龙飞王泽生刘喆
- 1、简要技术说明1）理论研究模型驱动语义网（MDSW）是语义网研究的崭新领域，本体定义元模型（ODM）是该领域的核心。当前，国际组织OMG（对象管理组织）的ODM标准还没有制定完成，现有的ODM提案没有严格的形式化描述，...
- 关键词：
- 关键词：语义网
- 软件体系结构在行为与结构演化中的一致性保持被引量：3
- 2007年
- 通过给出的体系结构模型,分析了在体系结构演化中需要保持的一致性,并提出一种基于规则转换的体系结构演化方法.应用通信序列进程(CSP)作为形式化的描述手段,在抽象层定义了体系结构在行为与结构演化中为保持一致性需满足的条件,为每步转换规则进行了形式化约束,使演化结束时的体系结构依然满足一致性条件.
- 郑睿金龙飞刘磊
- 关键词：一致性
- 一种基于形式概念分析的语句级自动化方面挖掘方法被引量：6
- 2006年
- 现有的方面挖掘技术一般是类的方法级的挖掘,侧重于软件系统的结构改造,不能直接解决面向方面编程所关注的语句级代码纠缠和代码分散问题.针对这种情况,本文提出了一种基于形式概念分析的语句级自动化方面挖掘方法.该方法使用形式概念分析识别源代码中的关注点,实现语句级的自动化方面挖掘.该方法具有自动化、语句级和效率高等特点,可以用来快速实现对遗留系统的面向方面的改造.
- 金龙飞刘磊
- 关键词：面向方面编程
- 基于本体的信息检索系统的设计与实现被引量：22
- 2006年
- 详细地描述了使用语义W eb技术实现智能信息检索的思想和工作流程,提出了一个基于本体的信息检索系统的框架,并以一个地理信息领域的应用为例分析了该检索系统的实现技术。
- 付燕宁金龙飞王开锋刘磊
- 关键词：信息检索语义WEB本体
