不同覆盖产生相同覆盖近似集的条件研究

覆盖粗糙集是处理不确定性问题的一种有效方法,在最近几年日益受到研究人员的关注.由于覆盖具有很强的一般性,使得出现了许多从不角度构建的覆盖粗糙集模型.然而,由此引发的一个现实而关键的问题还未得到全面有效的解决,即:对于某个模型而言,不同的覆盖产生相同覆盖近似集的条件是什么针对这个问题,以六类主要的覆盖粗糙集模型为研究对象,对它们的上下近似产生原理展开了深入分析.研究发现各模型的近似集与覆盖中的极大块或极小块有着紧密联系,基于此提出了最小覆盖和最大覆盖的概念,利用它们的特性对该问题进行了探讨和解决.     

用于虚拟化环境的进程隔离方法研究与实现

针对虚拟化环境中用户进程运行安全问题,提出一种适用于虚拟化环境的进程隔离方法.该方法引入安全域作为进程隔离保护的基本单元,安全域是进程以及进程运行过程中依赖的环境构成的整体,通过建立安全域之间的依赖关系和安全域之间信息的交换规则,确保进程初始安全和运行过程中的隔离性.给出了安全域的相关概念和形式化描述,以及安全域之间信息流交换和依赖关系的建立方法和相关证明.以Xen虚拟化系统为基础,给出了该保护方法的具体实现以及实验结果,实验结果分析表明:该方法在虚拟化环境中能够抵御多种攻击手段,额外执行开销不超过10%.     

埕岛地区下第三系储层描述方法

埕岛东部斜坡带油藏以自生自储的岩性油藏为主,主要分布于超覆带及坡折带。下第三系储层纵、横向变化快,在重点分析古地貌特征与储层分布规律的基础上,采用有效的储层描述方法,划分有利储集相带,精细描述储层,寻找油气富集区带。     

汉语句型形式化及语义计算

提出以句法同构作为汉语句型划分的准则,并以此为基础,建立了汉语句型的形式化理论,包括汉语句型的形式化定义、句型的形式化描述、基于句型的汉语语句语义计算方法.     

基于本体的网格资源匹配研究

<正>一、网格资源概述1.网格资源。随着网络信息化程度的不断提高,网络资源呈几何级数增长。但是由于网络和操作系统之间的异构性,不同系统之间的数据很难共享,因此,便形成了一个个的信息孤岛,资源的管理、共享及互操作难以完成。网格就是把整个因特网整合成1台巨大的超级计算机,从而实现计算资源、存储资源、信     

基于Petri网的电梯系统规格说明

为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对离散并行系统的数学表示,适合于描述并发的计算机系统模型,可以正确的描述电梯系统。     

基于高维几何特征的孤立点检测算法

针对孤立点检测算法不能较好地模拟人工检测过程、未充分考虑待测数据周围样本分布的问题,提出了一种孤立点检测算法DD-SVDD.该算法综合考虑待测样本与目标样本之间的距离,以及待测样本所在区域样本的分布信息,结合距离和平均密度来确定高维特征空间中决策边界附近待测数据的类别.在训练阶段,考虑了决策边界附近目标训练样本的分布,...     

带有情感算子的Agent形式化系统研究

随着人工智能的发展,有关Agent理论和技术的研究应用引起了人们的高度关注和重视.纵观以往的Agent研究,主要集中在Agent的构造上.随着生物学和心理学的发展,把情感加入Agent中,越来越受到计算机研究者的关注.提出了带有情感算子的Agent形式化模型Em-BDI-VSK,它融合BDI逻辑和VSK逻辑并加入情感,并构建了该模型的语义框架和公理体系.     

基于粒计算的商业数据流概念漂移特征选择

商业数据流具有动态性、漂移性等特性,概念漂移特征选择是数据流挖掘的重要工作之一.本文从数据流的特点和概念漂移特性出发,提出了数据流的概念形式化分析流程和基于粒计算构建数据流的概念形式化描述模型;商业数据流的概念漂移实际上取决于其概念外延的变化,文中使用包括外延偶合度和内涵偶合度在内的概念偶合度来描述概念间的相似性;经过粒化的数据流由概念格来表示,进而通过概念格对的松弛偶合度来分析数据流特征;结合概念偶合分析和数据流变化特征,阐述了一种基于数据流概念格对的松弛匹配偶合度算法,并据此分析概念格对来选择数据流的漂移特征.通过实例验证、评价了特征选择,证明其有效性.