双凯莱图的完全完备码

给出了正则双凯莱图存在完全完备码的若干充分必要条件,并给出了群的子群在其双凯莱图中可以作为完全完备码的充分必要条件。

无线传感器网络覆盖空洞动态完全修复

为提高无线传感器网络运行质量,针对其覆盖空洞问题,提出了一种动态修复方法。利用移动节点的移动特性,采用泰森多边形(Voronoi)原理判断网络中的边界节点,依据边界圆弧进行覆盖空洞的动态完全修复。基于覆盖空洞模型,定义了边界圆弧的概念,利用几何方法分析出移动节点的最佳部署位置。算法设计时考虑了新增修复节点会出现冗余度过高的情况。仿真结果表明,该方法具有较好的稳定性及动态适应性,并且能够在保证覆盖空洞完全修复的同时提高新增节点的利用率,使修复后的网络具有较小的冗余度。

基于有向图的最小完全覆盖互操作测试序列生成算法

互操作测试过程目的是用尽量少的测试序列数目对目标系统实施测试,而又能检测出尽可能多的错误.采用基于有向图的满足互操作测试的最小完全覆盖准则的测试序列生成算法可以生成更有效的互操作测试集.

完全覆盖花椰菜甲拌磷和甲维盐农药残留研究

为了研究完全覆盖花椰菜品种与不覆盖花椰菜品种农药残留量的差异以及造成差异的原因,以完全覆盖花球的花椰菜雄性不育新品种津品70为研究对象,以不覆盖花球花椰菜品种雪宝和去除内叶的津品70为对照,通过喷洒高毒农药甲拌磷和高效生物农药甲维盐,调查不同类型花椰菜花球上的农药残留量。结果表明：与对照品种雪宝相比,同一检测时期（喷药第3~5天）全覆盖津品70甲拌磷和甲维盐的残留量分别降低76.47%~87.65%和67.86%~80.82%;与去除内叶的津品70相比,全覆盖津品70甲拌磷和甲维盐的残留量分别降低69.23%~81.82%和57.14%~79.84%。说明完全覆盖花椰菜品种的内叶可以很好地阻隔药剂污染,提高菜品的食用安全性。

不完全覆盖系统的动态故障树定量分析方法

针对含备份结构的动态系统可靠性分析以及不完全覆盖问题,提出了一种温备份门的可靠性计算方法。该方法引入阶梯函数和脉冲函数来描述备份结构的动态失效特征,在考虑不完全覆盖的基础上计算了温备份门的可靠性,最后以某机载电子设备为例,建立了系统的动态故障树,论证了该方法的可行性,并与不考虑不完全覆盖的方法进行了比较,同时对系统进行了灵敏度分析,该方法计算结果更合理,为动态系统可靠性定量分析奠定了一定基础。

有限集合的相容关系与完全覆盖

非空有限集合A的完全覆盖S={A1,A2,…,An}决定了A上的相容关系R=∪ni=1(Ai×Ai).研究了R的最大相容类集合和完全覆盖S之间的关系,给出相容的完全覆盖、极大相容完全覆盖、极小相容完全覆盖和恰当完全覆盖的定义,证明了相容的完全覆盖其成员均为R的最大相容类,而极大相容完全覆盖恰为R的最大相容类的全体,并给出这几种完全覆盖之间的关系.

不完全覆盖的多层次系统可靠性分析

多层次系统(HS)的层次特征有助于故障覆盖.模块化不完全覆盖模型(MIPCM)阐明了HS的部件或模块跨层次的依赖性,依赖性大大增加了分析方法的复杂度.基于MIPCM,提出向上的模块化不完全覆盖模型(U-MIPCM),更加清楚地阐明了层次与依赖性的对应关系.利用UMIPCM,借鉴SEA算法的思想,提出针对HS和MIPCM的自上而下的分离算法,这是一种高效的和集成的算法.最后通过案例说明了该分离算法的应用价值.

有限集上相容关系的完全覆盖的基数估计与求解程序设计

该文对有限集上相容关系以及对应完全覆盖的基数进行了分析估计,得到了相应的几个估计公式,并对相容关系所对应的完全覆盖及其所含元素个数的求解设计了相应的程序。

基于变迁的完全路径覆盖测试

为解决基于状态节点搜索的完全路径覆盖所产生的测试用例数过多和难以实现连续测试的问题,提出了一种基于变迁的完全路径覆盖测试准则,并设计和实现了一种深度优先搜索与宽度优先搜索相结合的基于变迁完全路径覆盖测试用例自动生成算法。实验结果表明,基于变迁的完全路径覆盖准则比基于状态的完全路径覆盖准则更为严格,相应的算法可以产生更优的测试用例集,能更方便地完成软件的连续动态测试。

用完全覆盖证明实数系中若干定理

引入Michael W.Botsko提出的完全覆盖定义和完全覆盖定理,并利用完全覆盖定理给出了实数系中的Cauchy收敛准则、聚点定理和有限覆盖定理的简便证明.

不完全覆盖的多阶段任务系统可靠性综合分析

针对不完全覆盖条件,既有多个动态阶段又有多个静态阶段的多阶段任务系统可靠性分析,提出多阶段任务系统模块化分解的原则以及系统基本结构和算法,对分解后的静态子系统采用IGPMS-CPR算法,对动态的子系统采用覆盖模型结合马尔科夫链的一体化方法,并对动态子系统连接静态子系统的对应关系及简便算法进行了推广.这是一种综合许多成熟可靠性分析算法的方法,其低运算量和容易实施的特点在案例分析中得到充分展示.

对于“集合的完全覆盖的求法”的改进

相容关系是集合中元素的一种重要的二元关系,与之一一对应的完全覆盖在计算机理论中有广泛的应用。原有的"利用相容关系矩阵求集合的完全覆盖"的方法中存在疏漏,研究提出了改进方案,并对新方法给出了证明与实例验证。

完全覆盖和加标分割在分析中的应用

通过对数学分析中众多定理的证法的分析,说明利用文中的两个引理可使一些定理的证法既直接又易于接受,使黎曼可积的一个充要条件的证明简捷,文章最后给出了罗尔中值定理的一种简单的新证法.

完全覆盖与实数连续性

本文以一种新环路证明了完全覆盖定理(即文中引理)与实数连续性的等价性,并以完全覆盖定理为工具,给出了实变函数中两个重要定理的初等证明。

直径为5的图的2-导出匹配划分和2-导出匹配覆盖问题的NP-完全性(英文)

给定一个简单图G和正整数k,具有完美匹配的图G的k-导出匹配划分是对顶点集V(G)的一个k-划分(V_1,V_2,…,V_k),其中对每一个i(1≤i≤k),由V_i导出的G的子图G[V_i]是1-正则的.k-导出匹配划分问题是指对给定的图G,判定G是否存在一个k-导出匹配划分.令M_1,M_2,…,M_k为图G的k个导出匹配,如果V(M_1)∪V(M_2)∪…∪V(M_k)=V(G),则我们称{M_1,M_2…,M_k}是G的k-导出匹配覆盖. k-导出匹配覆盖问题是指对给定的图G,判定G是否存在k-导出匹配覆盖.本文给出了Yang,Yuan和Dong所提出问题的解,证明了直径为5的图的导出匹配2-划分问题和导出匹配2-覆盖问题都是NP-完全的.

冗余系统不完全覆盖问题研究

不完全覆盖问题对冗余系统可靠性有极大影响,因此在系统可靠性评估过程中必须予以考虑。提出了一种新颖的冗余系统不完全覆盖模型,在建模过程中能够综合考虑共因失效和差异冗余因素对于系统诊断覆盖率的影响。使用一个基于自检查对结构实现冗余管理功能的双通道冗余系统阐明了所提出的方法。

0.5MeV质子对玻璃盖片未完全覆盖GaAs/Ge太阳电池的影响

用注量为 1.2× 10 12 ～ 1.2× 10 13 cm-2 的低能量 (0 .5 Me V)质子辐照空间实用 Ga As/ Ge太阳电池 ,电池被覆盖有 4种情况 :10 0 %玻璃覆盖 ,5 %部分无玻璃覆盖有封胶 ,5 %部分无玻璃覆盖无封胶 ,10 0 %无玻璃覆盖 .研究表明 ,电池性能衰降随着质子辐照注量的增加而增大 ,但性能参数 Isc和 Uoc衰降程度 4种覆盖情况是不同的 :10 0 %覆盖 ,电池性能衰降最弱 ;5 %部分无玻璃覆盖有封胶 ,性能衰降较弱 ;5 %部分无玻璃覆盖无封胶 ,衰降较强 ;10 0 %无覆盖性能衰降最大 .研究还表明 ,相同的质子辐照注量引起的 Isc衰降变化比 Uoc变化显著 ;未覆盖部分仅占 5 % ,也会引起电池性能明显衰降 .

完全多部图的G-填充和覆盖

设图G是由P4带一条悬边所组成的五点四边图,本文确定了完全图Kv和完全多部图Kn(t)的图G填充数和覆盖数.

基于三方元代数理论的时序机分解中完全覆盖的求解算法

文章基于三方元代数理论，提出一个时序机最优全分解过程中用到的求解完全覆盖问题的算法，该算法使用筛漏技术，使算法复杂性为Ｈ（ｎ２）

完全覆盖定理的一些应用

用完全覆盖定理给出实数连续性定理及微分学基本定理的新证明