Java中空指针引用故障的静态检测方法

空指针引用是程序中存在的比较常见的问题,由于它在程序中比较隐蔽,用动态方法测试耗时又耗力且很难达到全面覆盖的效果。该文介绍了一种针对空指针引用故障的静态分析方法,将空指针引用问题抽象为一类故障模型,并以故障模式状态机来形式化描述此类故障模型,然后根据故障状态机的创建条件及待检测代码的语义信息确定是否创建该类型的状态机,并将创建的状态机实例置于控制流图入口节点,根据数据流分析的结果对故障状态进行迭代以检测空指针引用问题。该方法已在缺陷检测系统(defect testing system,DTS)中应用,对Robocode等工程的检测结果证明本文方法可以有效地检测出空指针引用问题。     

一种改进的图像重复模式检测方法研究

重复模式是城市景观的突出显著特征,重复模式的检测对于城市景观分析具有重要意义。提出了一种通过综合使用特征提取及直积低秩建模实现图像重复模式检测的新方法。首先,利用消失点和Harris角落,从正面图像中自动选择出具有代表性的纹理实现图像的矫正,然后提出基于直积的新算法,可以检测出正面图像纹理内的重复模式。最后,基于大量图像对方法进行了测试。实验结果表明,方法可以显著提升检测质量。     

结构关系模式挖掘中的重复序列模式挖掘

结构关系模式挖掘是在序列模式挖掘基础上提出的一种新的数据挖掘任务,又叫做后序列模式挖掘。重复模式是结构关系模式重要形式之一。文中讨论了重复序列模式的概念,研究了重复序列的性质,给出了基于序列模式的、基于最大序列模式集的重复序列模式挖掘算法和基于最大序列模式集的最大重复序列模式挖掘。实验结果表明,算法是可行的。重复模式挖掘可以得到序列模式挖掘所得不到的结论,发现序列模式间存在的进一步的关系。     

基于外部工程数据库的图形检索

结合AutoCAD特点及工程数据库的数据管理和存储模式,在Object ARX（Object Oriented AutoCAD Runtime Extension）环境下引入了ADO（ActiveX Data Object）数据库连接方式,建立了AutoCAD与数据库（ACCESS2000）之间的双向链接,描述了各种格式的图形文件在外部数据库中的存取方式.通过与工程数据库的链接,工程设计软件能够提供强大的图形信息资源支持及有效的数据管理,从而提升工程设计人员的信息资源平台.     

基于数据流频繁模式挖掘的入侵检测模型

计算机网络入侵通常具有高频度特性,因此,识别是否正常访问,对数据流中重复元素的挖掘,给出频度指标,是一种重要的依据.提出一种基于数据流频繁模式的改进型AFP算法,该算法采用滑动窗口树技术,单遍扫描数据流及时捕获网络上的最新模式信息,并将该算法应用在入侵检测模型中正常数据和异常数据的在线挖掘.解决了有限存储和无限数据流的矛盾.实验结果表明,该模型有较高的报警率和较低的误报率.     

一种新的MIMO OFDM系统特征模式构造方法

特征模式分解是MIMO OFDM系统进行自适应功率分配的前提,而目前MIMO OFDM系统的模式大多是通过每个载波信道矩阵的奇异值分解得到.但是,这种分解方法在载波个数很多时,具有很大的实现复杂性,且脱离空时编码在MIMOOFDM下的实现形式,使最终的功率分配结果忽视了空时编码对系统性能的影响.为此,通过空时编码MIMO OFDM系统模型,给出一种全新的特征模式分解方法.该方法综合了空时编码的实现,不必针对每个载波进行特征模式分解,具有更简单的实现形式.实验结果进一步表明,与传统的特征模式分解相比,新特征模式分解具有更好的鲁棒性.     

利用单传声器分解和测量管道内的高次模式声波

利用数字声源信号可完全重复的特点,提出了通过单传声器对管道高次模式声波进行分解和测量的方法.阐述了此模式分解方法的基本原理,建立了相应的测试系统.通过试验测量,与传统的驻波管法相比较,验证了此方法的有效性.给出了一个典型的试验应用,对于口径为600mm的方形管道,在频率为500,1 000,2 000Hz时,对管中存在的高次模式声波进行测量和分解.此方法的特点是仅需要使用单个传声器进行测量,并提高了可分解的高次模式数量.     

水平井水平井段环空压耗模式的建立

在考虑了环空中岩屑颗粒同时存在推移质和悬移质运动的情况下，利用能量平衡方程，建立了水平井段环空压降的理论模式。在大量实验基础上，得到了环空压耗的经验模式。利用现场两口水平井资料对经验模式进行了验证。结果表明，该模式可用于大斜度井段和水平井段环空压耗的预测，井为水平井水力参数设计提供了理论基础。     

水平井水平井段环空压耗模式的建立

在考虑了环空中岩屑颗粒同时存在推移质和悬移质运动的情况下，利用能量平衡方程，建立了水平井段环空压降的理论模式，在大量实验基础上，得到了环空压耗的经验模式．利用现场两口水平井资料对经验模式进行了验证．结果表明，该模式可用于大斜度井段和水平井段环空压耗的预测，并为水平井水力参数设计提供了理论基础．     

利用ODL定义数据库模式

ODL(Object Definition Language)为对象定义语言，是一种用面向对象术语定义数据库结构的标准语言。2000年，对象数据库管理组ODMG公布了对象数据库的标准ODMG3．0，其中包括对定义数据库模式的语言，即ODL的说明。在对ODL作了简要介绍的基础上，对如何使用ODL定义数据库模式进行了说明，对ODL定义的数据库模式的实现进行了简单介绍，并分析了利用ODL为数据库建立模式的优点。