一种改进的程序理解信息抽取系统(TSE)设计

程序理解是实现对软件系统自动分析和理解的技术.作为程序理解中必不可少的环节,信息抽取是实现程序理解的第一步.信息抽取机制的优劣直接影响着抽取信息的效率.通过对比较典型的抽取机制和工具的分析研究,阐述了现有程序理解系统存在的问题,提出相应的改进措施,设计出了一种改进型信息抽取系统.     

一种基于B+树的程序信息库设计

程序理解系统是运用计算机代替人工对软件程序进行分析的一种技术．随着软件规模的增大,分析过程中获取和产生的数据信息量很大,数据存储与检索频繁,程序信息库的性能直接影响程序理解系统的整体性能．国内外许多研究机构和企业已开发出多种程序理解工具,其信息库大多采用现有的商业数据库管理系统,使用特定的查询语言．在分析现有工具的基础上,提出了一种基于B＋树的程序信息库的设计方法,结合索引技术,对信息进行分类存储,有效地支持信息快速存储、随机检索及增量式更新,可以为后期的软件系统重构及文档自动生成提供信息源．     

基于混合分析的二进制程序控制流图构建方法

构建控制流图（CFG）是二进制程序分析的基础工作,针对静态构建方法无法处理间接跳转,动态构建方法效率低、不适用于大规模程序的问题,提出结合静态分析和动态分析的混合分析方法. 使用静态分析获得基础的控制流信息;采用模糊测试生成测试用例以进行动态分析,利用动态插桩获得间接跳转信息;融合静态分析和动态分析结果生成控制流图. 基于该混合分析方法,设计并实现了面向x86平台二进制程序的控制流图构建工具CFGConstructor. 分别在示例程序和CGC数据集上进行实验,评估该工具的有效性和性能. 实验结果表明CFGConstructor相比于静态分析能够构建更加完备的控制流图,相比于动态分析分析效率更高,能够适用于大规模程序.     

基于指导语句的CUDA程序性能分析工具研究与实现

近年来,GPU的快速发展与NVIDIA公司推出的CUDA技术,推动着GPU在高性能计算领域中的应用。研究并实现CUDA程序性能分析工具,对充分利用GPU的计算优势和提高CUDA架构下并行程序的执行性能具有重要的意义。该文分析了GPU硬件平台的特点和CUDA并行编程模型,结合CPU集群环境下并行程序的性能分析,设计并实现了一种基于指导语句的CUDA程序性能分析工具,并实验验证了其在不同GPU硬件平台上的有效性。     

程序理解系统中上下文环境设计与实现

对于软件系统特别是大型复杂软件系统,由于分析和理解的困难性,其系统维护和系统演化任务开销巨大.程序理解系统是辅助用户对软件系统进行快速分析和理解的支撑环境.程序理解系统中的上下文环境用于提供关注点的上下文信息,辅助用户分析和理解当前关注点对整体的影响以及整体对它的依赖.提出了一种在程序理解系统中实现上下文环境的方案.分析了上下文环境在程序理解系统中的地位和作用,描述了上下文环境的功能规范、模块组织结构及处理流程,设计了一种获取关注点符号的算法,最后给出了在Linux环境下基于KDE 3.5的设计实现及应用分析.     

Ethereal工具在园区网络维护中的应用

介绍在故障点的三层交换机上,使用Windows的超级终端程序捕获其接收的数据包,将捕获数据包的十六进制数据整理后存为扩展名为.txt的文本文件,利用Ethereal工具所带text2pcap.exe程序,把这个.txt的文本文件转换生成libpcap格式的文件,然后使用Ethereal工具对捕获的数据包进行分析,查找造...     

XQuery语言部分求值技术与实现

介绍了XQuery语言的一种部分求值技术及其实现方法,为XQuery语言的实现与应用提供了一种新的程序优化技术.这种离线式部分求值可以大致分为2个阶段:预处理阶段和例化处理阶段.其中,预处理阶段通过引用敏感性分析和绑定时间分析来分析参变量在程序中的传播和运算过程,为处理阶段例化处理设定作用范围;例化处理阶段完成程序的自动例化,生成滞留程序且提供了编译时和运行时2种例化方式的支持.基于以上技术研制的一个XQuery部分求值原型系统已经实现,通过对若干XQuery查询案例进行测试,结果表明,经过XQuery部分求值技术处理后能够有效地提高其查询的执行效率.     

基于GXL的软件文档生成的研究

软件文档对于程序理解、软件开发和软件维护具有关键作用,GXL（graph exchange lan-guage）是由Richard C.Holt等人在2001年提出的一种图形文件交换格式,可以应用于逆向工程领域以实现不同的逆向工程工具之间的信息交互.论文提出了一种基于GXL的软件文档生成的方法,结合多种功能不同的逆向工程工具,将从C/C＋＋目标系统提取的信息以GXL格式存储并进行相应的格式转换,生成Html文档和SVG格式的UML类图以及工程视图,从不同的抽象层次反映系统的结构,为程序理解提供信息.     

社会软件探赜

作为一个新的研究领域,社会软件通过构造和检验社会程序的研究,给出社会程序的系统分析.社会软件与计算机软件在方法上有许多相似之处,但由于社会程序的执行者是人而不是计算机,这使得社会软件的研究更为复杂.而相对于其他学科对社会程序的分析,社会软件是通过把博弈论与计算机科学中的数学工具和技术结合起来用以分析和设计社会程序的跨学科研究理论.     

一种基于性能的抗震设计的Pushover分析方法

论述了一种以顶层位移作为性能指标的弹塑性Pushover分析方法用于基于性能的抗震分析,并且编制了相应的Matlab程序.为验证分析方法的科学性和可靠性,用Pushover程序对双层单跨、双层双跨的两榀平面钢框架作计算分析,且与其试验数据进行对比.结果显示：分析结果与试验数据的荷载—位移曲线基本吻合,误差小于14%,表明Pushover分析方法和程序可靠.并以Pushover方法作为抗震性能的分析工具对一榀三层四跨框架做了抗震分析,显示了Pushover方法的适用性.     

程序反演与反编译技术

对反编译技术中的一些理论问题进行探讨。这些理论和技术对软件理解工具的研究也会有所帮助。     

线性电阻电路节点分析法的C语言程序设计

简要地介绍了线性电阻电路的节点分析法,用C语言编写了计算机辅助计算程序．按软件工程的理论和观点,程序的设计采用了从粗到细。逐步求精的设计方法,将最新的软件分析工具应用其中．程序由模块组成,改善了它的可读性．     

有限元前后处理方法在三通热压强度分析中的应用

对一些中、小型设计、生产单位，在进行较复杂结构产品设计分析时，如购买功能齐全的大型有限元软件包，不仅经济上难以承受，而且使用起来很繁琐。本文提出编制专用程序，较好地解决了这一问题。基本思路是：利用部分有限元软件，针对具体结构，编一组专用程序进行前后处理。本文结合电厂主汽管道三通热压力状态下有限元强度分析计算，给出实施过程中出现的问题及解决办法。     

光机系统集成分析中光机接口的实现

为了实现光学设计软件和有限元分析软件间数据的相互通信,本文给出了光机系统集成分析中光机间数据的处理及转换算法。用Zernike多项式作为接口工具,在研究Zernike拟合算法的基础上编制了可视化光机接口程序,并介绍了该程序各模块的功能。以一望远镜反射镜面为对象,进行了光机集成分析,结果表明了该光机接口程序的高效性和通用性。     

建筑能耗审计与能耗重点环节定位研究

通过对建筑能耗审计截至目前的试行阶段中存在的问题进行分析,指出了已建成的大量建筑中无法实现能耗分项计量是制约建筑能耗审计的最主要问题。进一步介绍了建筑能耗审计工作的具体内容和方法,给出了一些建筑能耗审计的案例分析,并建议通过建筑能耗分析模拟软件对建筑能耗审计的数据结果进行分析处理,以定位出建筑能耗的重点环节。通过具体的模拟分析案例,对当前比较典型的建筑能耗模拟分析软件进行了介绍。在结论中强调了大型公共建筑和大型建筑综合体应作为建筑能耗审计的重点,对此类建筑应能够实现建筑能耗的分项计量。提出了建筑能耗审计工作是政策性与技术性统一的原则,相关制度的确立是建筑能耗审计工作的重要保证。     

高级语言电子讲稿的开发

利用ＰｏｗｅｒＰｏｉｎｔ 、ＡＵＴＨＯＲＷＡＲＥ 及Ｃ／Ｃ＋ ＋ ,制作了高级程序语言设计课程的电子讲稿．结合研制的电子讲稿,提出了设计原则、论述了开发工具的选择、指出了设计中必须注意的问题并介绍了制作技巧．     

基于UG与VERICUT的装饰类石材样件加工

为验证一种异型石材加工中心卧式工作部分的加工性能,对复杂石材制件进行了真实加工.在对石材及金刚石刀具物理特性分析的基础上,应用UG软件创建模型并编制程序,制作了该加工中心专用的后置处理器.对生成的NC代码利用VERICUT软件进行模拟仿真,同时优化切削参数,分析表面质量.通过调整刀轴姿态及刀具路径,规避程序中存在的干涉、过切、碰撞等现象.实际加工验证了程序的可靠性,工艺参数合理,制件表面质量良好、轮廓精确,刀具磨损小,在克服数控系统存在弊端的情况下,获取了较高的加工效率.     

用非线性电流源法借助PSPICE软件分析微波振荡器的稳态响应

论述了编写非线性电流源计算程序,并调用PSPICE软件的线性电路分析功能,以非线性电流源法分析微波振荡器的稳态响应的方法,从而扩展了PSPICE软件分析非线性电路的功能.     

系统级描述语言SystemC到时间Petri网的转换技术

SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段.针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系.同时提出了由SystemC程序到时间Petri网的转换方法.使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法.并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的.     

钢筋混凝土受压构件高温性能的有限元分析

用ANSYS软件对钢筋混凝土受压构件的高温受力性能进行有限元分析,并与实测值进行对比.分析结果表明,轴心受压构件或小偏压构件理论分析值与实测值吻合较好,表明ANSYS作为一个理想的有限元分析软件,可以应用于结构高温受力分析.