虚拟计算环境是近年来的学术研究热点，而虚拟网络是构成虚拟计算环境的核心技术。本文介绍了主流的虚拟网络构成原理和虚拟网络实现技术，分析了虚拟计算环境中虚拟网络的特点，总结并提出了虚拟网络的性能开销、QoS、自适应和安全性等开放性问题。
基于以太网响应时间的恰当的分析模型具有并发、动态、冲突、实时性等特点。传统的建模方法在解决这类问题时存在着复杂、僵化、柔韧性差、没有时间概念等缺点。赋时分层着色Petri网（HTCPN）通过增加请求、服务、协调、多实例化等新的建模元素，能够仿真和模拟基于实时性的客户枷服务器交互关系的问题，同时分层技术的引入也更利于模拟任意结构...
公钥Kerberos协议是目前广泛使用的一类认证协议。本文使用安全协议验证工具SPVT对公钥Kerberos协议（PKINIT）的认证服务过程进行了形式化的建模与验证。SPVT自动地检测出PKINIT存在一个中间人攻击，该攻击可使攻击者假冒密钥中心和终端服务器，骗取用户信任，窃取重要数据。本文首次使用验证工具检测出公钥Kerberos协议的攻击，该攻击的自动检...
安全协议的形式化分析和验证一直是信息安全领域的一个重要问题。本文介绍了组合式验证方法以及面向安全协议验证的组合式验证工具PCL，并采用PCL对Amended Needham-Schroeder协议进行了验证，证明该协议满足保密性。在验证中将完整的协议划分为三个子协议，对子协议分别做性质描述和验证，最后将三个子协议组合成完整的协议，通过三个子协议之...
本文提出了一个将神经网络技术与模糊综合评价法结合的评估模型。首先根据信息系统资产的组成以及安全性因素建立层次性的安全性指标体系，使用层次分析法确定指标权重；然后借助安全工具的测试结果，使用模糊综合评估法构造前向神经网络；最后，使用神经网络的反向传播算法调整指标权重。在此模型的基础上，设计并实现了一个信息系统安全性评估...
为了克服BP神经网络速度慢、易陷入局部最小的缺点，利用GA的全局搜索能力优化BP神经网络权值，本文提出了遗传BP神经网络算法，并将其用于异常检测之中。在对Kddcup，99攻击数据进行分析和特征约简的基础上，设定了遗传BP神经网络算法的参数。实验结果表明，基于遗传BP神经网络异常检测模型的建立快于BP神经网络算法。
智能优化算法在优化计算、搜索和人工智能方面有着广泛的应用潜力。为了提高三维重构模型的逼真度，本文把智能优化算法中的PSO算法应用在SFS算法改进中，并应用基准测试函数对算法进行仿真比较，最后分析了算法的性能效率与收敛性。可以看出，优化后的SFS算法性能有了显著提高。
重获噪声图像的原始直方图有助于确定像素的原始灰度值。本文讨论了脉冲噪声下图像直方图的行为，给出了由噪声图像直方图直接或近似估计原始图像直方图的公式，表明了公式的收敛性，并作了仿真验证。结果成功地应用于高椒盐噪声图像的恢复问题。
本文分析了人类的眉毛作为一种独立生物特征进行身份鉴别的可能性，提出了利用PCA方法进行眉毛识别的基本思路。通过32个人的小规模眉毛图像数据库，在直接利用纯眉毛图像或间接利用其傅里叶变换构造特征向量的两种情况下，分别研究了PCA方法在眉毛识别中的识别率与所采用的归一化方法和信息阈值之间的关系。实验结果表明，PCA方法的最高识别率...
本文分析了关联规则的可视化技术，提出了关联规则可视化的一种新方法VOCAR。该方法解决了关联规则文本挖掘结果晦涩难懂的问题，使挖掘结果图形化，增强了可理解性。利用Java3D、JFreeChart等技术实现了从预处理到最后挖掘结果的关联规则可视化系统。实验结果表明，该系统利用VOCAR方法能有效地展示大量高维复杂的关联规则挖掘结果，使图形化结...
轮廓点匹配是形状匹配的一种典型方法。在各种形变情况下，形状轮廓点的相邻关系往往比其他全局关系更稳定。本文在保持局部邻居结构的点匹配算法基础上，引入了邻居的权的概念。首先基于点到邻居的距离为每个点的邻居关系赋权，然后结合形状上下文距离把点匹配问题转化为有向属性关系图匹配问题，用松弛迭代法求解。引入邻居关系的权，使匹配不...
本文提出了一种新的支票验证方法。该方法包括从复杂背景中提取印文的算法和一种改进的方形印章的配准方法。在印文分割中，首先采用基于脉冲耦合神经网络（PCNN）同步特性的细化算法，定位出轮廓的轮廓；然后根据轮廓的颜色信息，采用全局阈值分割方法将印文提取出来。对于方形印章，采用边缘匹配方法对印文进行由粗到精的配准。实验结...
ID3算法是决策树中影响最大的算法之一，它以信息增益为标准选择决策树的测试属性。这种算法存在不足之处，在选择合适的测试属性时，倾向于选择取值较多的属性，而在实际应用中，取值较多的属性未必是重要的。针对此算法的不足，本文提出了一种对增益修正的 ID3算法，为改善 ID3的多值偏向问题提供了一种有效途径。通过理论分析和实验证明，这...
丈棋游戏是一种新发明的二人对弈数字游戏，该游戏对开发人类智力有很大的帮助。通过分析研究，我们发现丈棋游戏实际上是一个数字组合问题，它很难设计出博弈搜索算法。最后，我们提出了求解丈棋游戏问题的动态规划算法，并用实验验证了算法的有效性。
局部搜索算法是求解大规模SAT问题的高效算法。经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等，但这些算法的初始解都是随机产生的。本文提出了用单纯形法产生“初始概率”（每个变量取1的概率），用“初始概率”对局部搜索算法中变量的初始随机指派进行适当的约束，使在局部搜索的开始阶段，满足的子句数大大增加，加快了收敛的速度。通过对不...
本文首先分析了若干传统的预测方法，提出了一种组合预测模型，在该模型中利用加权系数对各种预测方法进行组合，集成不同来源的预测结果，从不同的侧面反映整个预测过程，力图使预测结果更加精确。在各种预测方法加权系数的确定上，利用PSO快速全局优化的特点，可以减少试算的盲目性，提高模型预测的准确性。
本文介绍一种具有优先级扩展的时间自动机模型，并对一种计算DBM减法算法进行改进。这种减法是DBM上操作中的一种，它会产生需要用DBM集来表示的非凸集合。DBM的数量影响符号模型检测的性能，我们的减法算法是有效的，因为它产生的DBM的数量相对于最初算法具有较大程度的约减。DBM减法操作扩展了具有优先级的时间自动机理论，它对于具有紧急行为...
本文对Marinakis等提出的扩展邻域GRASP算法进行改进。首先使用最近α值方法构造初始TSP回路，然后运用混合的局部搜索即2-opt算法、双桥策略和3-opt算法来改进初始回路，并且引进α-nearness候选集和don’t-lookbit技术来提高搜索速度。实验结果表明，本文提出的GRASP能够在合理的时间内得到很好的解，并且解的质量优于M~rinakis等提出的扩展邻域...
否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展，大量的事实表明：信息科学的许多领域需要区分概念的矛盾否定和对立否定。描述逻辑作为一阶谓词逻辑的可判定子集，并没有区分概念的矛盾否定与对立否定。本文将模糊否定词～和对立否定词 引入描述逻辑ALC，建立了一个扩展的描述逻辑系统MALC，使其具有处理模糊知识的能力。...
一般说来，寻找满足一定结构性质的对象结构是困难的。概率方法提供了解决此类问题的途径：证明满足一定结构性质的对象的概率大于零。在概率方法中，局部引理是一个关键技术。本文介绍了局部引理的基本原理和使用方法，并将其应用到估计（r，s）-SAT问题中临界函数的下界。
首先，本文提出量子下推自动机（简记为L-VPDA）的概念，从代数角度出发详细研究了此类自动机的性质，同时建立此类自动机的代数刻画，即利用量子状态构造证明了任意L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA间的相互等价性；其次详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。
根据部分K值逻辑的完备性理论和相似关系概念，利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4^＊中的Sheffer函数。
本文提出一种基于模糊逻辑系统的组合预测方法。其基本思想是利用模糊系统的万能逼近特性，采用模糊Taki Sugeno模型来进行非线性组合预测函数的φ（x）模拟。这种全新的组合预测方法不仅降低了构造非线性组合预测函数φ（x）的难度，而且使预测精度大大提高。
本文基于中介逻辑理论，在知识描述中区分知识的“矛盾”与“对立”，肯定对立的模糊概念之间存在中介对象（中介概念），将矛盾否定与对立否定运用于知识表示中；并以一金融决策实际问题为例，采用距离比率函数为模糊谓词表达式赋予属于[0，1]区间的真值，结合中介谓词逻辑的无穷值语义模型与具体情形，给出了模型中变量（取值的一种确定方法及...
本文用Paulson归纳法描述并发系统，对系统执行的不确定性进行建模，给出了一种适合定义测度的产生集合，利用测度评估函数将产生集合的测度与有限执行序列的测度联系起来；证明执行序列集合上的测度满足非负性和可列可加性，利用测度扩张定理构造并发系统执行序列集合上的概率空间。所有证明脚本经过定理证明工具Isabelle／HOL／Isar的检查。
基于多项式的一元语言模型不能表示文档中的突发（Burstiness）现象，而基于Diriehlet分布的语言模型能够较好地处理突发现象。本文分析和讨论了几种基于Dirichlet分布的语言模型，并以ECM模型为基础，分别对文档和查询项进行语言建模，然后采用KL-divergence方法来度量文档模型和查询项模型的相似度。在TREC数据集上的实验表明，与基本的模型相...
本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上。证明了在接受语言和生成语言的意义下，树自动机和上下文无关树文法是等价的。同时给出了构造正规形式的等价文法的方法。
在正规文法的基础上，通过增加一个约束变量集合，给出了二元文法的定义，证明了二元文法与袋自动机的等价性，定义了平衡推导、递增推导、递减推导和传递推导，证明了它们与不变重复序列、增重复序列、减重复序列和传递重复序列之间的关系，并且给出判定一个二元文法所产生语言（袋语言）分别是正规语言、上下文无关语言或上下文有关语言的充分...
本文从场景的角度研究软件早期可靠性建模方法，给出了基于用例图确定场景运行剖面的方法，利用简化通信图确定可靠性模型中的参数。模型与UML图无缝集成，可应用于软件开发生命周期早期。用个人登录控制系统（PACS）实例介绍了模型的应用。与已有方法相比，该模型简单且吝易工具实现。
OSGi框架为软件动态演化提供了一个强大的平台，在该平台上运行时可进行模块的加载、卸载和替换。针对替换过程中遇到的状态丢失问题，本文利用OSOi R4规范提供的面向服务组件的编程模型，将服务组件的数据部分独立出来，实现了替换过程中状态的连续性。
购物车(0)