国家自然科学基金(60573084)

作品数：12被引量：27H指数：3
导出分析报告
相关作者：金茂忠刘超许福赫建营晏海华更多>>
相关机构：北京航空航天大学北京林业大学中国人民解放军总参谋部第六十一研究所国家国防科技工业局更多>>
相关期刊：《计算机应用研究》《北京航空航天大学学报》《北京邮电大学学报》《计算机研究与发展》更多>>
相关主题：嵌入式软件YACC即时编译器语法分析器垂直搜索引擎更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向软件逆向工程的GLR优化算法被引量：1
《计算机工程》2013年第6期12-20,共9页许福 金茂忠 陈志泊 陈飞翔 赖昌庆 
国家自然科学基金资助项目(60573084);北京林业大学青年科技基金资助项目(2010BLX14)
GLR分析方法主要用于自然语言的处理分析,较少应用于软件逆向工程领域的语法分析。针对软件逆向工程领域的语法分析特点,分析传统确定性分析算法的局限性,阐述采用GLR分析算法的目的。通过实例剖析GLR算法的主要性能瓶颈,从分析表构造...
关键词：GLR分析 语法分析器 GLR优化算法 软件再工程 软件逆向工程 分析器生成器 
一种有效的GLR分析器错误恢复方法被引量：1
《计算机学报》2013年第6期1325-1336,1333-1336,共12页许福 刘辉 孙俏 陈志泊 王春玲 
北京林业大学青年科学基金(2010BLX14);国家自然科学基金(60573084)资助~~
传统的分析器生成器多采用LALR(1)、LL(1)等确定性分析方法.近年来,随着软件再(逆向)工程的发展,GLR等非确定性的分析方法逐渐应用到分析器生成器中,但目前尚未有公开发表的文献提出并解决了自动生成的GLR分析器的错误处理和恢复问题....
关键词：GLR 语法分析器 分析器生成器 错误处理 错误恢复 
基于仿真器的嵌入式软件单元测试方法被引量：4
《北京航空航天大学学报》2012年第12期1686-1690,共5页许福 金茂忠 刘辉 陈琦 
北京林业大学青年科技基金资助项目(2010BLX14);国家自然科学基金资助项目(60573084)
介绍了一种基于仿真器的嵌入式软件测试方法,通过构造链接器分析目标文件,生成内存映像,加载到仿真器执行测试.该方法特别适合嵌入式软件的单元测试,支持对不完整的代码进行测试,同时引入了交互式脚本执行机制,支持采用高级脚本语言而...
关键词：嵌入式软件 软件测试 仿真器 链接器 单元测试 
基于SWEBOK的软件工程知识分类模型及算法被引量：1
《系统仿真学报》2008年第17期4517-4520,共4页赫建营 晏海华 金茂忠 刘超 
国家自然科学基金(60573084);武器装备预研基金(9140A15050106HK0114)
软件组织内部智慧资产的有效组织和管理一直是一个悬而未决的问题。将文本分类技术引入到软件工程知识分类领域,首先综合分析了软件工程领域知识的基本类型和特性;之后依据这些特性结合软件工程知识体系(SWEBOK:Software Engineering Bo...
关键词：软件工程知识体系 知识分类 软件工程 文本分类 分类算法 
轻量级静态分析器构造方法综述被引量：3
《计算机应用研究》2008年第8期2245-2249,共5页郭荣锋 金茂忠 刘超 
国家"863"计划资助项目(2006AA01Z176);国家"十一五"国防预研基金资助项目;国家自然科学基金资助项目(60573084)
由于对分析对象有严格的限制且开发难度大,传统的重量级静态分析器在应用中受到限制;轻量级静态分析器具有易于开发、容错性好、灵活等特点,能有效解决重量级静态分析器在应用中遇到的问题。首先分析比较了两种静态分析器,详细介绍了已...
关键词：静态分析 轻量级静态分析器 分等级正则表达式 模糊分析 孤立文法 超集文法 
基于模拟器的嵌入式软件动态测试技术被引量：2
《计算机工程》2008年第4期98-100,共3页许福 金茂忠 晏海华 刘辉 赫建营 
国家自然科学基金资助项目(60573084)
提出一种嵌入式软件动态测试框架,该框架以模拟器为运行核心,准确模拟嵌入式硬件的运行状态,给出语句覆盖率、分支覆盖率、函数及模块的执行频度、程序执行时间等测试信息,有效地支持了嵌入式软件的动态测试和单元测试。实验证明了该方...
关键词：模拟器 嵌入式软件测试 动态测试 单元测试 
结合本体筛选和文本挖掘的垂直搜索引擎研究被引量：10
《计算机科学》2008年第2期188-190,共3页赫建营 晏海华 金茂忠 刘超 
国家自然科学基金资助项目(编号60573084);武器装备预研基金(9140A15050106HK0114)
针对垂直搜索引擎研究领域的关键技术问题,提出了一个结合本体筛选和文本挖掘的垂直搜索引擎构建思想。首先探讨了作为研究基础的本体和文本挖掘技术,讨论了两者的作用;之后阐述了垂直搜索引擎构建的关键技术,包括基于本体筛选的智能搜...
关键词：垂直搜索 本体 本体筛选 文本挖掘 
LALR(1)分析器快速生成被引量：1
《北京航空航天大学学报》2008年第1期117-121,共5页李虎 杨晓津 刘超 
国家自然科学基金资助项目(60573084,60703057);国家高技术研究发展(863)计划资助项目(2006AA01Z176)
根据LR(0)自动机的构造理论及Deremer和Pennello的LALR(1)向前看符号集计算公式,提出求解公式中的lookback关系和includes关系的高效算法.研究过程表明,LR(0)项目集闭包计算和项目集的查找是LR(0)分析器构造过程中的主要性能瓶颈.对这...
关键词：语法分析器生成 自底向上分析 向前看符号集 
即时编译器中的代码消极生成机制被引量：1
《计算机工程》2008年第1期47-49,共3页史晓华 金茂忠 
国家自然科学基金资助项目(60573084);英特尔研究基金资助项目
提出一种应用于即时编译器中的代码生成优化技术——代码消极生成机制,结合Intel微处理器研究院的XORP虚拟机对该项技术进行了阐述。介绍了XORP中实现的其他轻量级优化算法,并采用EEMBC对不同虚拟机和不同优化进行了科学评估。采用该项...
关键词：代码生成器 即时编译器 JVM虚拟机 
即时编译器中的轻量级指令调度算法
《计算机工程》2007年第15期3-6,共4页史晓华 刘超 金茂忠 郭鹏 
国家自然科学基金资助项目(60573084);英特尔研究基金资助项目
介绍了一种为即时编译器和时空受限系统设计的轻量级线性复杂指令调度算法。该算法进行指令调度时,不基于传统的DAG图或表达式树,而是基于一种独创的数据结构扩展关联矩阵,其时间复杂性在最坏情况下也能与全部指令长度构成严格的线性关...
关键词：指令调度 即时编译器 JAVA虚拟机 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部