基于指针映射集的动态内存故障测试方法研究

动态内存故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态分析方法主要存在漏报和误报过多的情况.针对这些问题,提出了指针映射代数系统的概念,全面地反映了指针与内存之间的映射关系,并给出了面向不同故障的指针映射集的构造规则,以此为基础建立了动态内存故障模型.通过指针映射集和故障模型,可以自动检测内存释放异常、内存泄露和空指针引用等动态内存故障,提高了测试效率.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.实验结果表明,该方法能够有效检测动态内存故障,而且出于规则定义较为全面,漏报和误报率也较低.     

对于计算机信息系统集成项目中的风险管理探讨

随着信息技术的快速发展,计算机信息系统集成的项目变得越来越复杂,规模也变得越来越庞大,系统集成项目除了具有平常项目的一般特点,例如历史性、一次性、特殊性等,典型的系统集成基础项目其中还包括技术更新快、人员流动比较频繁、所处环境变化快、需求多变。管理复杂性强等特点,传统意义上的管理已经越来越不适应系统集成项目的发展的需要,系统集成行业现在特别需要科学规范的项目管理,因此引入项目管理成为系统集成公司的重中之重。     

黄河洛阳河段砂石资源开发与利用研究

黄河洛阳河段是黄河由山区性河道向冲积性平原河道过渡的河段,河床床面基本由卵石和粗沙组成,砂卵石资源十分丰富。自20世纪90年代初开始开采以来,河段现有砂卵石开采加工企业12家,年开采加工砂石约40万m3。但也存在没有被批准的统一的采砂规划,开采手段的单一,采砂厂的建设缺乏规划,规模小、产量低,不正当竞争,管理难度大等问题。要解决这些问题,应尽快制订采砂规划,利用行政与经济等手段促使砂卵石开采手段的多样化,促进开采企业健康有序发展,并继续考虑多途径利用问题。     

一种动态多目标决策模型及其应用

针对一类动态多指标决策问题。提出一种多目标多阶段动态决策模型。根据所提出的效用函数,将决策矩阵归一化到相应的效用矩阵。该效用函数以指标的平均值为参数考点,突出了“奖优罚劣”原则,提高了分辨精度。最后提出一种动态决策目标函数,并通过对５城市３年综合经济效益的评估实例,表明此方法是合理可行的。     

基于概念扩充的中文文本过滤模型

1 前言今天,以因特网为主体的信息高速公路仍在不断普及和发展,因特网上蕴涵的海量信息远远超过人们的想象,面对这样的信息汪洋大海,人们往往感到束手无策,无所适从,出现所谓的“信息过载”问题。如何帮助人们有效地选择和利用所感兴趣的信息,同时保证人们在信息选择方面的个人隐私权利?这已成为学术界和企业界所十分关注的焦点。因此,信息过滤技术应     

功能各异的压缩工具软件使用谈

１大压缩包文件的分割 目前从网上下载的文件几乎无一不是压缩格式,而且有的压缩文件包个头还很大,如果要想用软盘把它装到其它的电脑上,必须把它分割为软盘能够容纳得下的若干个小文件。一般的方法是用文件分割软件进行分割,如ＡＸＭＡＮ、ＦｉｌｅＣｈｏｐｐｅｒ等。其实,ＷｉｎＺｉｐ、ＷｉｎＲＡＲ等压缩软件都具有分卷压缩的功能,即将大于一张软盘容量的文件分卷压缩到多张软盘上。 下面介绍用 ＷｉｎＺｉｐ、 ＷｉｎＲＡＲ等压缩工具进行分卷压缩的操作方法。 １）用 ＷｉｎＺｉｐ压缩工具进行分卷压缩的操作方法 １）创建一个…     

精彩的屏幕任你截

众所周知,在Ｗｉｎｄｏｗｓ里抓一张图片,可以说是非常简单的事,只要按下ＰｒｉｎｔＳｃｒｅｅｎ 键就可抓到。但是抓到的图片大小、形状不一定符合你的要求,还需要用其它的软件去处理,因此就又显得麻烦了。有什么好的办法解决这个问题呢？其实ＳｎａｇＩｔ３２就能帮你解决这个问题。ＳｎａｇＩｔ３２是一个极其优秀的抓图软件,并且能较好地工作于全屏幕ＤＯＳ方式下,和其它抓图软件相比有以下几个特点： １）抓图的种类多：不仅可以抓取静态的图像,而且可以抓取动态图像和声音,另外,还可抓取文本内容。 ２）抓图的方法极其灵活…     

浅谈用RegCleaner为注册表减肥

注册表是Ｗｉｎｄｏｗｓ９ｘ的一个巨大的核心数据库,它由Ｗｉｎｄｏｗｓ文件夹下的Ｓｙｓｔｅｍ ｄａｔ和Ｕｓｅｒ．ｄａｔ两个文件组成,其中记载着：（１）计算机软硬件的有关配置和状态信息：（２）联网计算机的整个系统配置和各种许可协议,文件的扩展名和应用程序的关联,硬件部件的描述、状态和属性;（３）系统性能记录和其他的底层状态信息等．由于用户不断安装或卸载软件．久而久之注册表中的内容变得非常臃肿,致使系统运行速度降低．如果想为注册表减减肥．一不小心就可能导致系统崩溃．这时,相信你一定会希望找到一个能帮助…     

黄河河口演变与管理开发研究进展

基于当前黄河河口治理与管理开发进程中出现的突出问题,本文从黄河河口来水来沙条件变化、黄河河口演变特征、黄河河口整治及管理措施研究等3个方面概括总结了黄河河口在演变与管理开发方面的研究进展,并对21世纪黄河河口的研究进行了展望。     

激光测距中检相算法的分析研究

激光测距检相算法中,常规的过零检测法检相原理简单,但由于谐波、噪声干扰等影响容易出现较大误差。文章对数字相关法和傅里叶变换法进行了仿真对比,并对改进的傅里叶算法在DSP检相中的优势进行了分析。