覆盖平面上给定点集的最小凸多边形的算法

研究求覆盖平面上给定的若干个点的最小凸多边形的算法．给出了两种算法，讨论了算法的基本思想，描述了算法步骤，得出了算法的时间复杂度．结果表明，算法的平均计算时间复杂度为平面上给定点的数量的线性函数，即为Ο（ｎｍ），在最坏情况下可为Ο（ｍ２）     

关于图的圈覆盖

Ａ．Ｉｔａｌ和Ｍ．Ｒｏｄｅｈ给出了两个关于图的圈覆盖的猜想：（ｉ）任意２－边连通图Ｇ＝（Ｖ，Ｅ）有困覆盖Ｃ，使ｌ（Ｃ）≤｜Ｅ｜＋｜Ｖ｜－１；（ｎ）任意２－边连通图有困覆盖，使图的每条边至多被覆盖两次．本文证明了猜想对平面图和２－边连通没有３－边割的图成立，并给出了一与两猜想等价的条件．同时也对著名的２－圈覆盖猜想作了讨论．     

图K2,3+e的最优覆盖

设λKv是λ重V点完全图，G为一个无弧立点的有限简单图，λKv的一个G-覆盖设计，记为（v,G,λ）-CD，是指一个对子（X，D），其中X为点集，D为λKv的一些子图（亦称为区组）构成的集合，使得任一区组均与G同构，且任意两个不同点组成的边至少在D的λ个区组中出现，讨论了两类六点七边图Gi=K2,3 e(i=1,2)的最优覆盖的存在性问题，证明了存在（v,Gi,λ）-OCD，i=1,2当且仅当v≥6，除去非最优（但为最大）的C（6，G1，1）=4。     

保持双向等价关系的变换半群自然偏序关系的若干结果

设X为任意的非空集合，TX是X上的全变换半群。设E是X上的一个等价关系，TE*！（X）是由等价关系E所决定的TX的子半群，满足（x，y）∈E当且仅当（f（x）， f（y））∈E 。将讨论TE*！（X）中的变换在自然偏序关系下的覆盖元以及任意两个变换的上（下）界。     

无线传感器网络多重覆盖算法

针对区域覆盖中存在多个不同覆盖质量需求的目标覆盖的混合覆盖问题,提出了一种满足多个目标不同覆盖质量需求且兼顾区域覆盖的多重覆盖算法（WMCA）．该算法在覆盖有效的虚拟力算法（CEVFA）的基础上,假设被监测目标对节点有引力作用,建立了节点和被监测目标之间的联系,打破了传统的目标覆盖中指定节点覆盖特定目标的局限性;同时,弥补了现有以VFA为主的区域覆盖方法中,仅能提供区域覆盖或者目标覆盖而没有将二者综合考虑的不足．不同节点密度下的仿真结果表明：WMCA在满足特殊热点目标监测的前提下,最大限度地兼顾了网络的区域覆盖质量;相对于随机部署,其平均覆盖质量提高达15．99％,有效地利用了网络资源．     

关于（g,f）-3-覆盖图

设G是一个图,用V（G）和E（G）表示顶点集和边集,并设g和f是定义在V（G）上的两个非负整数值函数且g〈f。图G的一个（g,f）-因子是G的一个支撑子图F使对任意的x∈V（G）有g（x）≤dF（x）≤f（x）。如果过图G的任何三条边都有一个（g,f）-因子,则称图G是一个（g,f）-3-覆盖图,本文给出了一个图是（g,f）-3-覆盖图的一个充分条件。     

一类基于二部图的（g，f）-2-覆盖图的研究

一个图G称（g,f）-2-覆盖图，如G的任何两条边都属于它的一个（g,f）-因子．本文得到了如下结论：（i）当g≤f时一个二部图是（g,f）-2-覆盖图的一个充分必要条件；（ii）当f（x）=f（Y）时一个二部图是f-2-覆盖图的一个充分必要条件．     

Mobile Ad Hoc网络覆盖组播路由协议

移动自组网（Mobile Ad Hoc Networks）是一种特殊的、应用前景广阔的新型移动无线网络。在Ad Hoc网络体系中，路由技术至关重要。覆盖组播（Overlay multicast）路由协议是解决组播路由协议的一种有效的方案，是在物理链路上构建一个虚拟或者是逻辑的网络，其中的每个虚拟连接都是下层的物理链路的单播通道。主要是从如何构建一个覆盖组播的角度系统地描述了当前典型的覆盖组播路由算法，并比较和分析了这些算法的特点和适应情况。最后结合该领域当前研究现状，指出覆盖组播路由算法未来的研究重点。     

在QT-图中寻找最小路覆盖的方法

主要给出了QT-图（quasi-threshold graph）中两种寻找最小路覆盖的方法。假设QT-图G有m条边,n个顶点,首先,应用余图中寻找最小路覆盖的思想来解决QT-图中此类问题,其算法复杂性为O（n）;第2,根据QT-图的Tad（G）（即available-dummy tree）的构造,建立了一种解决此类问题的新算法,并给出了算法的正确性说明,它的算法复杂性为O（logn）。     

基于邻域覆盖约简的层次化规则学习算法

在大数据环境下的分类学习中，随着描述样本语义信息的丰富，数据的类别空间结构存在着层次化。然而，现有分层分类算法缺乏可解释性，为此本文提出了一种基于邻域覆盖约简的层次化规则学习算法。该算法框架主要包括：（1）定义了面向层次化结构数据的邻域覆盖约简模型；（2）定义了层次邻域系统中覆盖元的依赖度；（3）提出了一种基于覆盖元依赖度的层次化规则学习前向搜索算法。最后，实验表明本文所提算法的分类性能较优且具有较好的可解释性。     

拟双曲覆盖映射的特征

设ｆ是紧致不带边流形Ｍ上的覆盖映射，证明了ｆ是拟双曲覆盖映射的充分必要条件是（Ｉ－ｆ＊）为单射且有闭值域。     

垃圾填埋场新型覆盖系统——腾发（ET）覆盖系统浅析

为解决垃圾填埋场传统型覆盖系统屏障层容易破坏失效的问题,介绍了一种新型的覆盖系统——腾发（ET）覆盖系统,对其提出的经过、国内外的研究进展、主要组成部分及其适用条件、该系统的优越性等进行了总结,并提出了今后的研究趋势和重点。     

用直投射模刻划完全环和半完全环

本文引入直投射覆盖的概念，证明了环Ｒ为左完全环当且仅当每一个左Ｒ－模（平坦左Ｒ－模）具有直投射覆盖；当且仅当（有限生成）拟投射左Ｒ－模的直极限为直投射模。本文还证明了环Ｒ为半完全环当且仅当每一个有限生成（由２个元素生成的）左Ｒ－模具有直投射覆盖；当且仅当对所有自然数ｎ（存在自然数ｎ＞１）使得每一个循环左Ｒ＿ｎ－模具有直投射覆盖，这里Ｒ＿ｎ为环Ｒ上的ｎ阶全阵环。     

无线传感器网络中一种基于节点序列的覆盖算法

针对覆盖问题是无线传感器网络中的一个基本问题.不同的应用场景对网络的覆盖度有不同的要求,提出一种基于节点序列的覆盖算法(CNS)来判断网络的覆盖情况、消除覆盖漏洞.算法首先讨论如何判断网络1度覆盖情况,然后通过调整距离覆盖漏洞最近的传感器节点的感应半径来动态提高网络的1度覆盖率.同时,还对CNS算法进行扩展,用来解决多度覆盖问题.模拟结果表明:CNS算法在性能上要比现有覆盖算法优越.     

基于全球通量观测站的全球土地覆盖图精度检验

全球土地覆盖数据产品是理解人类活动与全球变化之间复杂相互作用的关键信息来源．它们在提高生态系统,水文和大气模式的性能方面起着至关重要的作用．美国和欧洲已经花费数千万美元,收集数据,研制算法,编制了全球土地覆盖数据库．目前,在全球变化科学领域普遍使用着三套由美国开发并免费提供的全球土地覆盖产品．其中两个分别由美国地质调查局和马里兰大学分别利用1992-1993年的NOAA甚高分辨率辐射计（AVHRR）数据制作,另一个由波士顿大学利用2000-2001年的EOS中级分辨率成像光谱仪（MODIS）数据制作．与世界各地250个通量观测站已知的土地覆盖类型相比,可以评估这三种全球土地覆盖图的精度状况．我们得到的结果表明美国地质调查局的精度为37％,美国马里兰大学的精度为36％而美国波士顿大学的精度为42％．这些土地覆盖图的精度随区域的不同而变化．例如,用美国和加拿大102个通量观测站的土地覆盖类型验证的结果表明在相应地区的制图精度接近50％,然而,用中国14个通量站土地覆盖类型的验证精度却低于10％．这种精度远远不能满足全球变化科学发展的需要．必须继续开展全球土地覆盖分类制图的关键技术研究,不断提高全球土地覆盖图的精度．文中提出未来全球土地覆盖制图的一些战略性建议．     

覆盖粒计算在信息检索模型中的应用

将广义覆盖粗糙集理论及其计算运用到信息检索模型.通过建立查询式和库中文档之间的联系的要点构造了基于覆盖粗糙集理论的的两类信息检索模型,并给出了一些相关的上、下近似算子扩展定义.     

面向对象软件和EFSM规范测试覆盖准则比较

测试覆盖准则是软件测试的一个重要组成部分。目前已有的覆盖准则研究大多从程序代码或者规范出发,很少将两者结合起来考虑。另外,面向对象软件和扩展有限状态机(EFSM)规范应用越来越广泛。该文从面向对象程序代码和EFSM规范两方面出发,对现有测试覆盖准则进行了分析比较,给出了2个新的测试覆盖准则,对现有测试覆盖准则进行了扩充,并对基于面向对象程序和EFSM规范的测试覆盖准则进行了公理化评估。通过实验进一步分析了基于规范的和面向对象程序的测试覆盖准则之间的一些对应关系,为测试人员在测试准则的选取上提供了一定的指导。     

诱导覆盖粗糙集的概念及性质

覆盖近似空间是对Pawlak的近似空间的一种扩展,李扉在《基于信息熵的覆盖信息系统的属性约简》中提到诱导覆盖的概念,现结合覆盖粗糙集模型的理论,讨论其性质。     

关于完全图的G—覆盖数的一些结果

给定无孤立点的简单图Ｇ,完全图Ｋ的Ｇ－覆盖定义为一个序偶（Ｖ,Ｆ）,其中Ｖ为Ｋ_ｖ的顶点集,Ｆ为Ｋ_v的一族子图,使得Ｆ中每一个子图都与Ｇ同构且Ｋ_v的每一条边至少出现在Ｆ的一个子图之中．完全图Ｋ_v的Ｇ－覆盖中所含的最少的子图个数称为它的Ｇ－覆盖数,记作（ν,Ｃ）．本文对五个顶点,五条边的４个图Ｇ,完全确定了Ｃ（ν,Ｇ）值．     

一种基于遗传算法的两层扫描覆盖机制

针对无线传感器网络中的覆盖问题,提出一种基于遗传算法和移动辅助节点的两层扫描覆盖机制（GATSC）.首先,GATSC利用遗传算法将POI分配给移动传感器节点进行覆盖,生成多条移动节点路径;然后,在移动节点路径上选取距离汇聚节点最近的一个点作为移动节点和移动辅助节点的交汇点（POB）.最后,利用移动辅助节点将数据传输到汇聚节点,完成最终的数据采集.仿真结果表明,本机制不仅比以往的覆盖机制具有更好的性能表现,而且能很好地适应不同的网络环境