针对现有评估攻击效果的指标比较抽象、不够全面的缺点,本文研究了怎样构建网络攻击效果评估指标体系,定义了原子功能代表网络攻击效果的基本元素;通过分析攻击库挖掘原子功能,提出基于面向对象的目标实体建模方法,分析了原子功能和目标对象的关系;最后提出了以原子功能为基础的“属性-原子功能-评估指标-采集指标”四层指标体系。该体系...
由于互联网上异构数据的爆炸性增长,目前依靠关键词技术的垂直搜索引擎遇到发展的瓶颈。本文引入本体论及相关技术,构建基于本体的垂直搜索引擎系统模型。模型中对抓取的异构信息进行本体化描述,在此基础上进行概念相似度计算,实现语义相关的本体查询,大大改善了目前垂直搜索引擎的查全率与查准率。
电子邮件是互联网的重要应用之一,邮件分类问题已成为当今研究的热点。本文基于粗糙集理论,利用0-1贝努利数据提出双向邮件分类模型,在保证当前分类正确率的前提下,约简了邮件分类所需的文本词频信息,较好地提高了分类效率,推进了粗糙集理论在邮件分类中的应用。
事件检测是无线传感器网络的重要应用之一。由于传感器节点廉价、易损,无线通信链路不稳定、易受干扰等特点,检测精度受到很大的限制。所以,利用传感器节点密集分布独立感知的特性进行协作事件检测很有必要。本文针对应用场景相关和网络维护相关两类事件的协作检测机制现状进行研究,并对各类协作模式下不同检测算法的优缺点进行了比较。
本文运用贝叶斯网络对某农场的牛奶产量进行学习与预测,运用Chi2离散化方法的一种变形进行数据预处理,采用有启发规则指导的、带随机重启的贪心算法搜索网络结构;最后,将贝叶斯网络方法的结果与多元线性回归方法得到的结果进行了比较。
本文预测因特网访问人数,为开展网络建设、应用及管理提供决策依据;分析了实测数据反映的特征,给出了基于灰色Verhulst模型的建模理据和预测分析的详细过程;对模型预测结果进行了分析验证,模型的拟合精度检验指标(C=0.09,P=1.00)达优。检验结果表明,所建立的Verhulst模型对同等实测数据的预测效果优于GMC(1,n)模型。
在无线自组织网络中,经常选取一些节点形成虚拟主干网,用以支持路由和区域监视等任务。由于无线网络自身存在误码率高、易受干扰等弱点,虚拟主干网需要具有一定的容错性。已经有研究者提出使用k-连通k-支配集合在无线自组织网络中构造容错虚拟主干网,并通过模拟实验评估了算法的性能。近年来,Wang Feng等人设计了常数近似算法用来构造2-连...
本文就理论上尚未发现多项式时间的图(无向图)的同构判定算法,提出并分析了一个实用的改进算法,还为此算法提出了一个更有效的随机版本。
路面图像裂缝自动检测技术是公路养护技术的重要方向,路面图像的分割是路面图像处理的关键步骤。由于噪声等干扰因素的影响,使得利用传统的模糊C_均值聚类(F(M)算法进行路面图像分割得不到满意的结果。本文采用Ptile算法和直方图模糊C-均值聚类算法对路面图像进行分割,一方面克服了传统FCM运算量大、计算速度慢的缺点,另一方面减少分割算...
一个好的地图匹配算法对改善智能运输系统的导航性能起着至关重要的作用,能够在很大程度上提高导航系统的定位精度。本文提出一种基于模糊逻辑的综合地测匹配算法。该方法把GPS/DR传感器得到的定位信息和电子地图库的数据作为算法的输入,通过逻辑评判输出最佳匹配路段,并在道路拐弯处通过拓扑荧系选择候选道路。仿真实验证明,引用该算法后...
视频镜头的边界检测是视频分析与检索的最基本环节之一。通常进行镜头边界检测时,需要设定阚值来判断特征差异是否足够引起镜头边界出现,但阅值的选取往往因视频内容不同而需重新设定。针对这一问题,本文提出了基于颜色特征进行的镜头边界检测方法。实验结果验证了该方法的有效性。
在数据库领域,如何加快查询的执行速度非常重要。查询重写技术能透明地利用物化视图回答查询,避免了直接访问大量的原始记录以及耗时的连接和聚集计算,提高了查询的执行速度。本文讨论了基于数据库中的外键连接关系进行扩展的查询重写方法,以此为核心研究了针对小型数据库的物化视图查询系统,并通过实验证明了物化视图策略的有效性。
独立分量分析(ICA)是信号处理领域新近发展起来的一种很有应用前景的方法,而脑功能磁共振(fMRI)信号的有效分离与识别是一个正在研究和实验之中的技术领域。近年来,ICA已被成功地应用于fMRI数据的处理,成为分析IMRI数据的一种很有效的方法。本文介绍了ICA在分析fMRI数据方面的应用,以及多种ICA算法在fMRI信号盲源分离中的应用,分析了三...
交叉路口的车辆调度是长期被关注的热点问题。由于交通流量分布的不确定性,道路拥塞现象不能完全避免。交通输送能力也难以在短期内有质的改善。本文提出了一种自适应信号调度算法,并通过分析不同车道的通行优先级,将车辆的到达、排队等待和离开均分别看成离散事件的不同状态。运用排队论对车辆的每一个状态进行辨识,预测出下一周期内各车道...
TSP问题是一个NP完全问题。随着问题规模的增大,其解空间呈指数增长,无法在多项式时间内完成问题的求解。近几十年来,人们提出了许多基于生物理论的解决该问题的新方法。本文应用蚂蚁算法、模拟退火算法对TSP问题进行求解。在求解过程中对各算法中参数的作用和设置方法作了一些分析,使用不同参数进行多次实验,验证参数设置原则;对不同规模...
IBM、Microsoft和BEA联合提出的服务组合描述语言BPEL4WS是现有的主要工业标准。本文在分析BPEL4WS控制流程的基础上提出了控制依赖关系概念,并设计了一个复杂度为0(N^2)的控制依赖关系图生成算法。最后,基于控制依赖关系图,讨论了如何进行BPEL4WS的控制冲突检查和执行优化。
作业调度问题(JSP)是一类典型的NP-hard问题,遗传算法作为一种通用的优化算法在求解JSP中得到了广泛的应用。本文主要针对作业车间调度问题,基于改进的遗传算法,根据种群的进化状况,从而确定种群的适应度值,使之能够保持种群的多样化。
本文提出了一种人工代谢算法。通过对算法的模型和相关参数进行定义,阐述了基于人工代谢系统在物流调度中的应用实例。文中给出了一个供应链的拓扑结构图,运用人工代谢算法的原理对物流配送和逆向物流的过程进行了讨论,并对该配送网络进行了相关性能的分析。通过调节相关参数,给出了相应的物流优化配送路径。通过对物流网络的分析表明:在人...
模拟退火算法是求解组合优化问题的一个有效方法,但算法中各个参数值的选择和设置对运行的结果和效果有较大影响。因此,本文主要是利用几个具体的TSP问题对算法中的几个重要参数做比较研究,得出了一组比较有效的参数取值,为求解与TSP问题类似的其他问题奠定了有效的参数基础。
为了更好地对道路中行驶的车辆进行监控,节约成本,本文提出一种基于GPRS和蓝牙相结合的车辆监控系统。车辆监控系统是一种集GPS、GIS、通讯技术和计算机技术为一体的移动车辆综合服务系统。文中介绍了GPRS和蓝牙相结合的车辆监控系统的整体结构和功能模块划分,以及监控中心模块的主要功能实现方法。另外,讨论了在监控中心模块设计中的关键技...
电子商务个性化推荐具有重要的意义。协同过滤是电子商务个性化的重要实现技术之一。本文针对UBCF和IBCF方法在应用实践上的问题,总结了目前文献对于协同过滤技术的改进思路,归纳了对于CF推荐技术的各种新型算法技术文献,总结了目前对于CF技术不同的改进思路。
在优化领域,粒子群算法适用于求解连续优化问题,而在离散优化上的应用还相对较少。本文在介绍基本粒子群优化算法的基础上,分析了粒子群优化算法在经典旅行商问题中的应用性能及粒子群算法求解旅行商问题的相关操作。使用Ulysses等标准TSP测试数据进行了相关实验,并通过不同的参数设置对实验结果进行了性能分析和比较。
本文针对命题演算形式系统,在机器辅助定理证明系统Isabelle/HOL中为其建立逻辑模型,并分别形式化验证了PC和ND的主要性质,以及完备性定理的证明。通过对PC和ND的分析和验证表明,采用机器辅助定理证明系统,对以数理逻辑为平台的各种形式系统进行严格的分析和证明是可行的。
本文研究动态判断与非单调推理的属性重心坐标表示模型。研究表明:命题真值随基准而变的动态判断及其诱导的非单调推理可用属性重心坐标加以表示,而基于基准变换的解释及其属性坐标表示模型更符合实际情况,也更合乎逻辑。
软件工程研究软件开发过程所需的模型、方法和工具。UML是软件工程实践中的重要工具,它可以对软件进行规约、可视化、构造和建档。本文以UML的状态图为例,讨论了其在十字路口的信号灯的控制中的应用,指出了其在软件需求分析中的建模作用,并揭示了软件工程与计算机科学之间的关系。最后,指出了当今软件工程的发展与实践是在向计算机科学理论...
本文给出了二元关系运算的矩阵表示,包括二元关系R和S的并运算、交运算、对称差运算、复合运算、减运算;二元关系R的补运算、逆运算、闭包运算。
本文尝试利用纯代数的方式,通过解多项式方程组对命题逻辑进行演算、推理。
本文提出了一种由前束析(合)取范式求前束合(析)取范式的简单方法。该方法根据谓词逻辑自身的特点,结合命题逻辑中命题公式的主析取范式和主合取范式的互补关系,将前束析(合)取范式转化为主析(合)取范式,再得出相应的主合(析)取范式,最后准确地得出前束合(析)取范式。
数值微分作为一个典型的反问题,在Hadamard意义下是不适定的,即在求导中函数的微小扰动就可能导致计算上很大的误差。本文首次利用目前处理不适定问题的、广为采用且相当有效的Tikhonov 正则化方法,讨论了用离散正则化方法处理数值求导的有关理论和技术问题,包括离散正则解的收敛性、稳定性以及在原始数据误差水平已知和未知情况下的正则参...
本文阐明基于网络的异构数据集成和共享方案的基本思想,并介绍了Hibernate、Castor、XML等相关技术,在此基础上给出了基于Hibernate的异构数据集成的模型和应用实例。该数据共享方法简便可行、可操作性强,在一定程度上减少了代码的编写,提高了数据集成与共享的效率,为进一步的数据分析提供了一定的技术支持。