李虎
- 作品数：41 被引量：129H指数：6
- 供职机构：北京航空航天大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金河北省科技支撑计划项目更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信医药卫生更多>>
- 碱性阳极化处理对钛合金／环氧胶接接头耐久性的影响被引量：4
- 1996年
- 研究了几种碱性阳极化处理方法对钛合金／环氧胶接接头耐久性的影响。通过ＳＥＭ观察了钛合金氧化膜的结构形貌特征；借助ｘｐｓ分析了钛合金氧化膜的成分；并测试了接头的胶接强度及耐久性。
- 徐修成王晓蔚李虎辛小花
- 关键词：钛合金阳极化耐久性胶接接头航空结构
- Java源代码字节码剽窃检测方法及支持系统被引量：7
- 2010年
- 提出一种Java源代码和字节码都适用的剽窃检测方法并实现了支持系统,该方法以类的Java文件或class文件为比较单元,从中抽取代表程序语法和语义特征的5种特征向量,综合计算产生两个类文件之间的相似度,可用于帮助判断两个类文件之间是否存在全部或部分剽窃现象.在人工修改程序的场景下进行的对比实验结果和剽窃检测实验结果表明,该方法可有效检测程序代码的严格拷贝和近似拷贝,有较高的检测性能,并且能够识别程序剽窃行为中对Java源文件所做的大部分类型的代码变换.
- 李虎刘超刘楠李晓丽
- 关键词：JAVA源代码JAVA字节码
- GLR分析器自动生成及相关问题研究
- 李虎
- 关键词：PARSER
- 软件质量评测的定量分析技术研究
- 该文的研究目的即在于,为解决上述问题开拓思路,解决其中的若干方面,并尝试以统计数据分析的各种定量方法,在软件质量评测研究技术化、科学化的方向上迈进一小步.该文首先针对传统软件质量评测过程模型的不足,提出了一个具有良好可操...
- 李虎
- 关键词：数据挖掘体系结构开发过程
- 文献传递
- 一个基于解释模拟的嵌入式软件动态仿真测试系统
- 本文介绍了一个嵌入式软件动态测试系统，该系统以模拟器为运行核心，准确模拟嵌入式硬件的运行状态，能够给出语句覆盖率、分支覆盖率、函数及模块的执行频度、程序执行时间等重要测试信息，从而有效地支持了嵌入式软件的动态测试和单元测...
- 袁媛李虎金茂忠
- 关键词：软件测试代码覆盖
- 文献传递
- 一种具有双电刺激系统的柔性生物可吸收绷带及制备方法
- 本发明属于医工微纳设备领域，具体涉及一种具有双电刺激系统的柔性生物可吸收绷带及制备方法。本发明所述的双电刺激系统包括外接脉冲(Pulsed)电刺激系统和自驱动直流(DC)电刺激系统；所述的绷带从下到上由三层组成，最底层为...
- 常凌乾王柳吴晗王玉琼李虎
- 参数配对及n-way组合覆盖算法研究被引量：10
- 2012年
- 组合测试是软件测试数据生成研究的一个重要领域,其中参数配对组合测试的应用最为广泛.对常用的参数配对组合覆盖方法进行了综述分析.目前主流的配对覆盖算法AETG和IPO所存在的主要问题是在确定水平取值时,具有盲目性和随机性,从而难以控制测试用例的规模.为此提出了改进的AETG算法和IPO算法,改进算法通过对参数进行预处理以及综合考虑各因素的水平组合等手段,对测试用例的规模进行控制,采用更加完备的方法尽早确定水平取值.为验证新算法的有效性,进行了仿真实验和实际测试,结果表明,改进算法所生成的测试用例数量要少于原算法,测试用例约减效果更为明显;测试用例数与配对数之间、测试用例数与因素水平数之间存在着某些规律性的联系,分析得出了一系列相关的结论.在配对覆盖的基础上,提出了遗传算法与AETG算法相结合的n-way组合覆盖算法,证明了其时间复杂性较已有算法得到了改善.
- 黄陇杨宇航李虎
- LR(k)文法任意文法位置的断点调试方法
- 本发明涉及LR(k)文法任意文法位置的断点调试方法，其步骤是：定义语言的LR(k)文法或LR(k)文法的子类文法G；在相应的文法位置插入断点；检查每一断点，若该断点设置在产生式右部中间的某个文法位置，则添加无用非终结符号...
- 许福李虎金茂忠刘超
- 文献传递
- 用于多正则表达式联合搜索的扩展有限状态机及搜索方法
- 本发明公开了一种扩展有限状态机，同时还公开了利用该扩展有限状态机实现对多个正则表达式同时进行搜索的方法。该扩展有限状态机增加了状态标识集合、状态转换函数标识集合、状态与状态标识的映射函数、状态转换函数与状态转换函数标识的...
- 许福李虎金茂忠刘超
- 文献传递
- 一个高效的语法分析器生成工具被引量：5
- 2005年
- VPGE(VisualParserGenerationEnvironment)是一个可视化语法分析器集成开发环境,除了具有良好的界面和强大的调试功能,其LALR(1)分析器的生成速度达到并超过公认的分析器生成速度最快的LALR(1)分析器自动生成器Bison,所能处理的文法规模也优于Bison.本文在DeRemer和Pen-nello的LALR(1)分析器自动生成基本原理的基础上,在设计数据结构和算法实现中采用了大量优化技术.
- 张敏金茂忠李虎许福
