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

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

CPU/GPU协同并行计算研究综述

CPU/GPU异构混合并行系统以其强劲计算能力、高性价比和低能耗等特点成为新型高性能计算平台,但其复杂体系结构为并行计算研究提出了巨大挑战。CPU/GPU协同并行计算属于新兴研究领域,是一个开放的课题。根据所用计算资源的规模将CPU/GPU协同并行计算研究划分为三类,尔后从立项依据、研究内容和研究方法等方面重点介绍了几个混合计算项目,并指出了可进一步研究的方向,以期为领域科学家进行协同并行计算研究提供一定参考。     

基于神经网络的砼内缺定量识别

砼内缺的无损检测和准确识别是许多中,大型混凝土工程质量测试中的难题。然而目前的砼内缺无损检测方法尚处于定性和半定量的水平。把智能信号处理方法与超声无损检测方法相结合,提出了一种基于神经网络的砼内缺识别方法,实现了砼内缺识别的定量化和智能化,这对确保工作的质量和安全使用具有重要的实际意义。     

基于GIS的UML建模研究与实践

本文结合一个地理信息应用系统,介绍了UML建模技术在G IS领域中的应用,并对相关的UML知识作了阐述.     

“中国芯”:威盛挑战巨人的杀手锏

从当年的半导体巨头摩托罗拉、德州仪器、国家半导体,到今天的IT巨擎英特尔、AMD、威盛,微处理器在摩尔定律的指引下经过了战火纷飞的三个回合较量,而威盛以“中国芯”的名义把微处理器由双雄会变成了三国志。     

Wintows98下基于VC＋＋6．0的多台PLC实时监控系统开发

本文以日本OMRON公司的C200H－LK202型HOST LINK模块为例,介绍了PLC的通信协议。在Windows98下利用CV＋＋6．0中的Active控件MSComm6.0通讯控件实现了微机对多台PLC的实时监控。     

增强LSM模块叠加机制效率的研究与实现

为了提高Linux操作系统的安全性一般采用Linux安全模块LSM框架,在此基础上,对一种叫做stacker的模块叠加机制进行了研究,这种机制可以让多个不同安全模块叠加共同使用,另外对于多种不同类型模块的划分和排序,提出了一种提高运行的时间效率的解决方案。     

基于地学专题应用的GIS软件教学模式研究

本文根据地理信息系统GIS课程软件教学的特点和培养创新型GIS软件技术人才的需要,提出了基于地学专题应用的课程软件教学模式,对GIS课程的软件教学内容、教学组织进行了分析设计与实践应用研究,并给出GIS软件地学专题应用教学案例。     

程控隔离恒流电源在仪器仪表中的应用

0　引言在实际应用中 ,许多地方需要有一个恒定的电流提供电源【1】。例如 ,测量某确定电流点上二极管的正、反向电压 ;测试某恒定基极电流时三极管的输出特性 ;可充电电池的恒流充电、各类传感器的恒流供电等。在各类电子仪器和测试系统中 ,恒流电源也得到了广泛的应用。如在电机的型式试验中 ,有一个重要的试验项目即温升试验 ,它表明电机在特定的工作状态下温度的上升速率和程度。电机的温升通常是通过测量其绕组的冷、热态电阻来获得的【2】。采用电阻法测量绕组电阻时 ,就需要一组高精度、高稳定性的直流恒流电源。电机热态电阻的理想…     

关于烟草行业软件复用技术的研究

针对烟草行业MIS的可复用构件库“PowerPro”,从领域分析、可复用 组件技术、分层式软件体系结构等方面论述软件复用技术以及它所需要建立的新的软件开发过程。