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

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

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

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

数字式示波器原理、用途及校准方法探讨

随着集成电路的飞速发展,数字式示波器也得到了更广泛的应用。它拥有着更大的存储量、更高的显示置信度以及更高的性能等。本文中,笔者就数字式示波器的原理、用途以及校正方法进行了探讨。     

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

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

汉英双语库自动分段对齐研究

双语库对齐是自然语言处理研究的重 要课题之一.其中,双语库段落对齐是指找出源文和译文中对应的翻译段落的对齐过程.它上 承篇章对齐,下接句子对齐,在整个双语库的对齐中起着承上启下的重要作用.但由于种种原 因,双语库段落对齐在当今研究中没有受到应有的重视.直接进行通用的段落自动对齐具有相 当的难度,也不必要,鉴于此,提出将段落对齐转化成分段对齐进行实现.通过汉英词汇对之 间的特征比较,首先找到可以用于汉英双语库分段的锚点词汇对,在此基础上,通过锚点词所 在句子的匹配获得锚点句子对来进行分段.实验结果表明,该方法具有良好的使用价值,可以 用于其他语言对的对齐.     

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

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

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

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

显示器无法消磁怎么办

当计算机显示器的显像管因人为因素而导致意外磁化后,虽然有些显示器可通过自带的消磁功能来消磁,但消磁效果并不理想或需要较长处理时间．情况严重时,仅靠显示器自身的消磁线圈是根本无法完全消除色斑的,而多数单位和个人又无专用消磁器材。请教一下有何良策？ 上海 刘 凯 介绍两种对显示器进行快速消磁的简便方法： 方法一：利用大屏幕彩电的消磁线圈消磁。将显像管从主机上取下,使其屏幕和彩电荧光屏紧贴,开启彩电然后关机,稍等几分钟让彩电消磁电阻冷却后再重复一次。将显示器与计算机连好开机,就可以看到显像管的色斑已完全消…     

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

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