基于小波技术的网络时序数据挖掘

网络安全日志数据库是一种历史数据,对它的分析具有十分重要的实际价值,作为一种时序数据库,针对它的信息挖掘已研究出许多方法。该文提出了一种新的对此类时序数据库的信息挖掘方法,利用小波变换多分辨率分析的方法对信号化后网络安全日志数据库中的数据在不同的时间尺度上进行分析和信息挖掘,从中提取出单位时间内网络受到攻击次数的时间周期规律,并对这种方法的分析特性进行了阐述,而且利用小波阈值重建的方法对原始信号数据进行去噪处理,收到了良好的效果。     

基于图像处理的油液污染度检测

机械装置的液压系统非常重要,液压油中金属颗粒对液压装置有着至关重要的影响,因此,对于液压油的检测也是必不可少的。文章采用图像处理技术,通过CCD对流场成像,将图像二值化后进行连通成分标记,分离出液压油中的颗粒,有效地实现了液压油的自动化检测,     

WDM驱动程序的开发与实现

WDM是在WindowsNT4．0驱动程序结构上发展起来的．WDM体系结构实行分层处理，是一种通用的驱动模式，提供了包括USB、IEEE1394和HID等在内的一系列驱动程序类。文章描述了WDM驱动程序的体系结构和利用DriverStudio开发WDM驱动程序的过程．给出了一个USB驱动的实例。     

用质的研究方法探讨当代大学教育软件

研究大学生对教育软件的感受,发现大学生喜欢人性化、透明性、在线的、可以帮助自学的教育软件,印证了研究者关于教育软件设计的某些观点,为研发有利于大学生发展的教育软件提出一些有建设性的建议.     

基于ATL的OLE DB数据应用程序设计

数据库技术在资源库建设中应用十分广泛，访问数据库的方法也较多。OLE DB是Microsoft提供的数据库接口．它是基于COM接口，具有良好的健壮型。通过OLE DB可以非常方便地访问关系型数据库和非关系型数据库。本文对OLE DB作了一定的介绍．结合具体的实例给出了通过OLE DB访问MS Access数据库的实现。     

自动推理中反证法的研究

计算机自动解几何问题,已经有不少研究成果.前推搜索法能够产生可读证明,因此也是应用较多的一种方法.在目前诸多算法中,一般是采用直接证明的方法.在手工证明几何问题的方法中,间接证明也是一种重要的方法,其中反证法是较为有效的方法之一.在计算机自动推理研究中,如何运用反证法,是自动推理中的一个难题,关于这方面的研究成果也少有报道.给出一个算法:根据命题的结论将命题分类,针对不同类型,设计不同的解决方案.有效地实现了反证法在自动推理中的运用.     

基于用户自添加规则的自动推理程序

基于前推搜索算法的自动推理软件近年来相继出现,该类软件利用几何定理可读证明的特性,和用户进行交互解题.但这类软件都是将推理的规则作为内置函数处理,用户只能选择软件提供的规则进行推理.设计了用户可添加规则的算法,即用户可以将自己的知识作为规则添加到软件中来进行推理.该算法已被编制成程序.