静态分析论文

论文摘要在严重威胁软件系统可靠性和安全性的多类软件缺陷中,内存访问越界属于危害性很强且广泛存在的一类缺陷,可被黑客利用并转变成多种拒绝服务漏洞和著名的缓冲区溢出等高危险性的安全...

论文摘要异常处理机制是提高软件健壮性,可靠性的重要手段之一。它将程序中的正常控制代码和错误处理代码分离,为程序员开发高可靠的软件提供了条件。但它也给程序中引入了新的控制流和数据...

论文摘要程序设计语言考试中的自动化试卷评分技术因其涉及多方面的理论知识已经成为一项非常有意义的研究课题,但目前该领域,实用性好而且功能健全的系统很少。在基于程序理解和语义分析的...

论文摘要在软件系统的生命周期中,70%的时间和代价花费在软件维护上。以数据为中心的遗产系统,如商业信息系统,通常依赖于大量的数据库表(数据文件)。对这类系统进行维护和更新,是一...

论文摘要2006年3月22日,国务院原则审议通过《天津市城市总体规划(2005—2020年)》,确定将天津市逐步建设成为经济繁荣、社会文明、科教发达、设施完善、环境优美的国际港...

论文摘要反编译是将使用低级语言表示的程序代码变换成与其功能等价的高级语言程序代码的过程,是编译的逆过程。它对于软件的移植、理解喝维护都起着重要作用。反编译的结果可以用于寻找程序...

论文摘要进入中级阶段以后,随着词汇量的增加,近义词的辨析逐渐成为第二语言学习者学习的重点和难点。同语素近义双音复合词由于共同语素的存在,容易引起学习者注意,自然进入辨析的视野,...

论文摘要能源、环境是当今人类生存和发展所要解决的紧迫问题。风力发电清洁无污染,施工周期短,投资灵活,占地少,具有较好的经济效益和社会效益。随着风力发电机装机容量日益增大,机组所...

论文摘要为了解决软件复用,缩短软件开发时间,降低维护成本和实现程序动态升级,软件设计领域产生了组件化程序设计结构,并且日益成为发展趋势。微软的COM组件对象模型是当今比较成熟的...

论文摘要金属管道随处可见,与我们的生活息息相关,大多数管道在使用前都要进行管道内表面的防腐处理,以达到减小腐蚀、延长寿命的目的。目前民用金属管道的直径多小于100mm,常用的管...

论文摘要软件安全漏洞已经成为网络信息安全的最主要的威胁之一。最近几年以来互联网发生的重大黑客或是病毒事件,基本上都是由于软件漏洞的存在而导致的,而缓冲区溢出漏洞一直是安全漏洞的...

论文摘要对于双机架可逆冷轧机组,加速和减速过程所需的时间在整个轧制周期中所占的比例相对于五机架冷连轧有所上升,对轧机生产能力的制约作用逐渐凸显。本文以济钢集团公司冷轧厂的双机架...

论文摘要有限元分析和结构优化等CAE技术的应用,对于缩短产品开发周期,提高产品质量,降低制造成本,增强企业竞争力具有重要意义。本论文利用大型有限元分析软件ANSYS,以开式压力...

论文摘要随着国家、社会对计算机和网络技术的依赖程度日益增长,信息安全问题越来越重要。访问控制、加密技术等标准的安全机制是保护信息机密性、完整性的重要手段,但是它们并不能确保端到...

论文摘要铁路现场信号经常会由于各种原因出现故障或混入干扰，严重影响了机车信号的解调。由于机车信号解码是实时高速的，一旦解码结果出现错误，很难有充足的时间对错误原因进行排查，因此...

论文摘要有限元分析和结构优化等CAE技术的应用,对于缩短产品开发周期,提高产品质量,降低制造成本,增强企业竞争力具有重要意义。本论文以Z310型三工位联合冷镦机机身为研究对象,...

论文摘要面对激烈的市场竞争,如何缩短产品的设计周期和提高产品的设计质量已经成为各个企业的当务之急。本文通过对雷达天馈系统稳定平台的计算机辅助造型和有限元分析,证明利用先进的计算...

论文摘要在面向对象的逆向工程中,现有设计抽取方法常常把静态分析和动态分析分开进行。本文则先进行静态分析,再在其静态抽取信息的基础上进行了动态分析。基本的步骤是1)用ANTLR工...

论文摘要创业投资已经成为20世纪末以来最重要的经济现象之一。为了对创业投资有一个全面深入地了解,本文首先引入了“创业投资的发展阶段”这样一个概念,将创业投资作为一个历史事物来看...

论文摘要进入新的世纪,随着我国经济持续健康地发展,人民生活水平的提高,我国汽车购买能力的不断增强,大多城市对车库的需求量越来越大,停车泊位的短缺越来越严重。风车式空中车库因其造...