发表咨询:400-808-1731
订阅咨询:400-808-1751
北大期刊
影响因子 0.65
人气 24512
省级期刊
影响因子 0.67
人气 24259
北大期刊
影响因子 0.51
人气 23696
北大期刊
影响因子 0.99
人气 23191
北大期刊
影响因子 0.94
人气 20370
部级期刊
影响因子 0.98
人气 18625
北大期刊
影响因子 0.95
人气 18007
部级期刊
影响因子 1.03
人气 13556
部级期刊
影响因子 0.38
人气 12779
省级期刊
影响因子 0.16
人气 12268
摘要:虚拟计算环境是近年来的学术研究热点,而虚拟网络是构成虚拟计算环境的核心技术。本文介绍了主流的虚拟网络构成原理和虚拟网络实现技术,分析了虚拟计算环境中虚拟网络的特点,总结并提出了虚拟网络的性能开销、QoS、自适应和安全性等开放性问题。
摘要:基于以太网响应时间的恰当的分析模型具有并发、动态、冲突、实时性等特点。传统的建模方法在解决这类问题时存在着复杂、僵化、柔韧性差、没有时间概念等缺点。赋时分层着色Petri网(HTCPN)通过增加请求、服务、协调、多实例化等新的建模元素,能够仿真和模拟基于实时性的客户枷服务器交互关系的问题,同时分层技术的引入也更利于模拟任意结构的以太网模型。本文基于HTCPN建立了共享式和交换式以太网模型,通过对以太网模型响应时间的分析证明了HTCPN适合仿真和模拟这类问题。
摘要:公钥Kerberos协议是目前广泛使用的一类认证协议。本文使用安全协议验证工具SPVT对公钥Kerberos协议(PKINIT)的认证服务过程进行了形式化的建模与验证。SPVT自动地检测出PKINIT存在一个中间人攻击,该攻击可使攻击者假冒密钥中心和终端服务器,骗取用户信任,窃取重要数据。本文首次使用验证工具检测出公钥Kerberos协议的攻击,该攻击的自动检测对大型复杂协议的自动验证具有重大意义。借助于SPVT,人们能尽早发现协议缺陷。这充分说明,SPVT能够对大型复杂安全协议进行建模与验证,是一个有效的协议验证工具。
摘要:安全协议的形式化分析和验证一直是信息安全领域的一个重要问题。本文介绍了组合式验证方法以及面向安全协议验证的组合式验证工具PCL,并采用PCL对Amended Needham-Schroeder协议进行了验证,证明该协议满足保密性。在验证中将完整的协议划分为三个子协议,对子协议分别做性质描述和验证,最后将三个子协议组合成完整的协议,通过三个子协议之间前置断言和后置断言的一致性,证明了组合之后的协议满足保密性。
摘要:本文提出了一个将神经网络技术与模糊综合评价法结合的评估模型。首先根据信息系统资产的组成以及安全性因素建立层次性的安全性指标体系,使用层次分析法确定指标权重;然后借助安全工具的测试结果,使用模糊综合评估法构造前向神经网络;最后,使用神经网络的反向传播算法调整指标权重。在此模型的基础上,设计并实现了一个信息系统安全性评估系统。
摘要:为了克服BP神经网络速度慢、易陷入局部最小的缺点,利用GA的全局搜索能力优化BP神经网络权值,本文提出了遗传BP神经网络算法,并将其用于异常检测之中。在对Kddcup,99攻击数据进行分析和特征约简的基础上,设定了遗传BP神经网络算法的参数。实验结果表明,基于遗传BP神经网络异常检测模型的建立快于BP神经网络算法。
摘要:智能优化算法在优化计算、搜索和人工智能方面有着广泛的应用潜力。为了提高三维重构模型的逼真度,本文把智能优化算法中的PSO算法应用在SFS算法改进中,并应用基准测试函数对算法进行仿真比较,最后分析了算法的性能效率与收敛性。可以看出,优化后的SFS算法性能有了显著提高。
摘要:重获噪声图像的原始直方图有助于确定像素的原始灰度值。本文讨论了脉冲噪声下图像直方图的行为,给出了由噪声图像直方图直接或近似估计原始图像直方图的公式,表明了公式的收敛性,并作了仿真验证。结果成功地应用于高椒盐噪声图像的恢复问题。
摘要:本文分析了人类的眉毛作为一种独立生物特征进行身份鉴别的可能性,提出了利用PCA方法进行眉毛识别的基本思路。通过32个人的小规模眉毛图像数据库,在直接利用纯眉毛图像或间接利用其傅里叶变换构造特征向量的两种情况下,分别研究了PCA方法在眉毛识别中的识别率与所采用的归一化方法和信息阈值之间的关系。实验结果表明,PCA方法的最高识别率在不采用傅里叶变换时为60.00%,而在采用傅里叶变换时为90.63%。
摘要:本文分析了关联规则的可视化技术,提出了关联规则可视化的一种新方法VOCAR。该方法解决了关联规则文本挖掘结果晦涩难懂的问题,使挖掘结果图形化,增强了可理解性。利用Java3D、JFreeChart等技术实现了从预处理到最后挖掘结果的关联规则可视化系统。实验结果表明,该系统利用VOCAR方法能有效地展示大量高维复杂的关联规则挖掘结果,使图形化结果更易理解和可信。
摘要:轮廓点匹配是形状匹配的一种典型方法。在各种形变情况下,形状轮廓点的相邻关系往往比其他全局关系更稳定。本文在保持局部邻居结构的点匹配算法基础上,引入了邻居的权的概念。首先基于点到邻居的距离为每个点的邻居关系赋权,然后结合形状上下文距离把点匹配问题转化为有向属性关系图匹配问题,用松弛迭代法求解。引入邻居关系的权,使匹配不仅保持邻居集的一致性,同时还保持邻居之间的距离相对关系。实验证明,本文方法能够提高匹配效果,加快匹配算法收敛速度。
摘要:本文提出了一种新的支票验证方法。该方法包括从复杂背景中提取印文的算法和一种改进的方形印章的配准方法。在印文分割中,首先采用基于脉冲耦合神经网络(PCNN)同步特性的细化算法,定位出轮廓的轮廓;然后根据轮廓的颜色信息,采用全局阈值分割方法将印文提取出来。对于方形印章,采用边缘匹配方法对印文进行由粗到精的配准。实验结果表明,本文提出的支票验证算法能够从复杂盖印背景中分割印文,并且得到较好的配准效果。
摘要:ID3算法是决策树中影响最大的算法之一,它以信息增益为标准选择决策树的测试属性。这种算法存在不足之处,在选择合适的测试属性时,倾向于选择取值较多的属性,而在实际应用中,取值较多的属性未必是重要的。针对此算法的不足,本文提出了一种对增益修正的 ID3算法,为改善 ID3的多值偏向问题提供了一种有效途径。通过理论分析和实验证明,这种算法能较好地解决多值倾向的问题。
摘要:丈棋游戏是一种新发明的二人对弈数字游戏,该游戏对开发人类智力有很大的帮助。通过分析研究,我们发现丈棋游戏实际上是一个数字组合问题,它很难设计出博弈搜索算法。最后,我们提出了求解丈棋游戏问题的动态规划算法,并用实验验证了算法的有效性。
摘要:局部搜索算法是求解大规模SAT问题的高效算法。经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等,但这些算法的初始解都是随机产生的。本文提出了用单纯形法产生“初始概率”(每个变量取1的概率),用“初始概率”对局部搜索算法中变量的初始随机指派进行适当的约束,使在局部搜索的开始阶段,满足的子句数大大增加,加快了收敛的速度。通过对不同规模的随机STA问题实例的实验表明,这些改进有效地提高了局部搜索算法求解SAT问题的效率。
摘要:本文首先分析了若干传统的预测方法,提出了一种组合预测模型,在该模型中利用加权系数对各种预测方法进行组合,集成不同来源的预测结果,从不同的侧面反映整个预测过程,力图使预测结果更加精确。在各种预测方法加权系数的确定上,利用PSO快速全局优化的特点,可以减少试算的盲目性,提高模型预测的准确性。
摘要:本文介绍一种具有优先级扩展的时间自动机模型,并对一种计算DBM减法算法进行改进。这种减法是DBM上操作中的一种,它会产生需要用DBM集来表示的非凸集合。DBM的数量影响符号模型检测的性能,我们的减法算法是有效的,因为它产生的DBM的数量相对于最初算法具有较大程度的约减。DBM减法操作扩展了具有优先级的时间自动机理论,它对于具有紧急行为的变换描述、死锁检测、时间博弈等问题具有非常重要的作用。
摘要:本文对Marinakis等提出的扩展邻域GRASP算法进行改进。首先使用最近α值方法构造初始TSP回路,然后运用混合的局部搜索即2-opt算法、双桥策略和3-opt算法来改进初始回路,并且引进α-nearness候选集和don’t-lookbit技术来提高搜索速度。实验结果表明,本文提出的GRASP能够在合理的时间内得到很好的解,并且解的质量优于M~rinakis等提出的扩展邻域GRASP算法得到的解。