期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于轻量级分析的程序静态分析器
1
作者 赖松凤 古辉 叶会华 《浙江工业大学学报》 CAS 2007年第6期662-665,共4页
在现代软件工程中,程序理解技术是实现对软件系统分析和理解的一种关键技术和有效途径.国内外学者为此做出了不懈的努力,开发了不少的理解工具.在分析现有工具的基础上,设计了一个基于轻量级分析的程序静态分析器,采用增量式分析技术,... 在现代软件工程中,程序理解技术是实现对软件系统分析和理解的一种关键技术和有效途径.国内外学者为此做出了不懈的努力,开发了不少的理解工具.在分析现有工具的基础上,设计了一个基于轻量级分析的程序静态分析器,采用增量式分析技术,快速分析源程序文件得到交叉索引信息,改善了程序分析时间. 展开更多
关键词 程序理解 软件维护 增量式分析 轻量级分析
下载PDF
轻量级静态分析器构造方法综述 被引量:3
2
作者 郭荣锋 金茂忠 刘超 《计算机应用研究》 CSCD 北大核心 2008年第8期2245-2249,共5页
由于对分析对象有严格的限制且开发难度大,传统的重量级静态分析器在应用中受到限制;轻量级静态分析器具有易于开发、容错性好、灵活等特点,能有效解决重量级静态分析器在应用中遇到的问题。首先分析比较了两种静态分析器,详细介绍了已... 由于对分析对象有严格的限制且开发难度大,传统的重量级静态分析器在应用中受到限制;轻量级静态分析器具有易于开发、容错性好、灵活等特点,能有效解决重量级静态分析器在应用中遇到的问题。首先分析比较了两种静态分析器,详细介绍了已有的轻量级静态分析器构造方法;分析了已有方法的优缺点,并指出现存的问题;最后展望了本领域研究的发展趋势。 展开更多
关键词 静态分析 轻量级静态分析 分等级正则表达式 模糊分析 孤立文法 超集文法
下载PDF
Numerical analysis on the shoot resistance of heat treated light weight B-grade bulletproof steel plates 被引量:1
3
作者 Ma Mingtu Zhang Jingwen Zhang Junping 《Engineering Sciences》 EI 2014年第5期14-20,共7页
Bulletproof steel plates are widely used for the safety of special vehicles.This paper mainly researches on the shoot resistance of heat treated light weight B-grade bulletproof steel plates through numerical analysis... Bulletproof steel plates are widely used for the safety of special vehicles.This paper mainly researches on the shoot resistance of heat treated light weight B-grade bulletproof steel plates through numerical analysis.Based on the flow behavior of bulletproof steel plates and bullet at various high strain rates,finite element(FE) model has been set up using ANSYS/LS-DYNA software.The simulation results are compared with the shooting results,which show a good consistency and a high reliability.Therefore,the simulation results are efficient approaches and strategies to decide and select the mechanical property and thickness of bulletproof steel plates,saving a lot of work and the cost of experiments. 展开更多
关键词 bulletproof steel plates FE method shooting test
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部