金龙飞

作品数:8被引量:37H指数:3
导出分析报告
供职机构:吉林大学更多>>
发文主题:自动生成本体演化SEAL演算可扩展文法更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《吉林大学学报(信息科学版)》《电子学报》《吉林大学学报(理学版)》《计算机学报》更多>>
所获基金:吉林省科技发展计划基金国家教育部博士点基金国家自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-8
视图:
排序:
Seal演算的偶图语义被引量:2
《计算机学报》2008年第3期522-528,共7页金龙飞 刘磊 
教育部高等学校博士学科点专项科研基金(20061083044);吉林省科技发展计划项目基金(20050527)资助
偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一...
关键词:SEAL演算 偶图 偶图反应系统 结构对应 操作对应 
软件体系结构在行为与结构演化中的一致性保持被引量:2
《吉林大学学报(理学版)》2007年第4期589-594,共6页郑睿 金龙飞 刘磊 
国家自然科学基金青年基金(批准号:60603031);教育部博士学科点专项科研基金(批准号:20060183044);吉林省科技发展计划项目基金(批准号:20050527)
通过给出的体系结构模型,分析了在体系结构演化中需要保持的一致性,并提出一种基于规则转换的体系结构演化方法.应用通信序列进程(CSP)作为形式化的描述手段,在抽象层定义了体系结构在行为与结构演化中为保持一致性需满足的条件,为每步...
关键词:体系结构演化 一致性 通信序列进程 
基于本体的信息检索系统的设计与实现被引量:15
《计算机应用研究》2006年第11期155-157,共3页付燕宁 金龙飞 王开锋 刘磊 
吉林省科技发展计划资助项目(20050527)
详细地描述了使用语义W eb技术实现智能信息检索的思想和工作流程,提出了一个基于本体的信息检索系统的框架,并以一个地理信息领域的应用为例分析了该检索系统的实现技术。
关键词:信息检索 语义WEB 本体 
一种本体演化波及效应分析方法被引量:11
《电子学报》2006年第8期1469-1474,共6页金龙飞 刘磊 
吉林省科技发展计划(No.20050527)
本文提出了一种本体图模型,建立了本体邻接矩阵和可达矩阵,凭借矩阵变换与运算对本体演化中的波及效应进行了深入的分析和量化界定;文中阐述了对演化中的本体变化操作所引起的各种波及效应;给出了本体元素对本体结构的贡献大小、本体内...
关键词:本体演化 波及效应 可达矩阵 
一种基于形式概念分析的语句级自动化方面挖掘方法被引量:3
《小型微型计算机系统》2006年第4期677-680,共4页金龙飞 刘磊 
吉林省科技发展计划项目(20050527)资助
现有的方面挖掘技术一般是类的方法级的挖掘,侧重于软件系统的结构改造,不能直接解决面向方面编程所关注的语句级代码纠缠和代码分散问题.针对这种情况,本文提出了一种基于形式概念分析的语句级自动化方面挖掘方法.该方法使用形式概念...
关键词:方面挖掘 形式慨念分析 面向方面编程 
元程序设计环境的自动生成技术实现
《吉林大学学报(信息科学版)》2005年第6期644-649,共6页金龙飞 刘磊 
吉林省科技发展计划基金资助项目(20050727)
针对因目标程序和元程序的复杂性而导致元程序设计环境的构造过程十分复杂的问题,将面向对象的方法应用于元程序设计环境的自动生成技术,并以此为基础,实现了一个支持多种环境语言(实现元程序的语言)的元程序设计环境自动生成系统———...
关键词:元程序 自动生成 元级操作 中间表示 
编译器前端构造工具及JLUCC的实现被引量:3
《吉林大学学报(信息科学版)》2005年第4期429-435,共7页金龙飞 刘磊 
针对多种典型的编译器构造工具存在对文法有限制、嵌入式语义动作有负面影响,目标语言单一和调试维护困难等一些问题,设计并实现了一种新的编译器构造工具———JLUCC(JilinUniversityCompilerCompil-er)。JLUCC使用Earley分析方法,结...
关键词:编译器 编译器构造工具 Earley算法 抽象语法树 面向对象 
通用可扩展编译器前端生成器的设计与实现被引量:1
《吉林大学学报(理学版)》2005年第3期308-313,共6页金龙飞 刘磊 
传统的编译器前端生成器由于结构和算法等原因, 通用性和可扩展性较差. 为解决这一问题, 提出并实现一种通用可扩展编译器前端生成器JLUCC. JLUCC使用面向对象、反射和设计模式等技术, 具有通用、可扩展和易于使用等特点. 通过使用JLUC...
关键词:编译器前端 文法 编译器前端生成器 自动生成 
检索报告 对象比较 聚类工具 使用帮助 返回顶部