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

非空有限集合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的自上而下的分离算法,这是一种高效的和集成的算法.最后通过案例说明了该分离算法的应用价值.

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

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

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

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

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

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

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

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

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

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

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

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

完全覆盖与实数连续性

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

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

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

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 % ,也会引起电池性能明显衰降 .

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

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

完全覆盖定理的一些应用

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

完全覆盖在泛关系模式分解和设计中的应用

本文将关系模式分解得到的一组子模式的属性集看成是与相容类甚至完全覆盖有关的属性集合分解，探讨在一定的条件下，寻找新的子模式的方法，得到一组有用的判定定理结果。

超完全覆盖射孔技术

对超完全覆盖射孔作了简明的定义,论述其作用及选井原则,对用产能评价射孔效果的技术途径和应用实例均作了全面分析,不仅有利于高效勘探开发油气田,也有助于学术交流和技术体系更加完善。

不完全覆盖的模糊多状态系统可靠性计算方法

针对实际工程中多状态系统的性能及其概率分布无法准确获得和不完全覆盖的问题,提出了一种可靠性计算方法.该方法利用模糊发生函数来分析多状态系统,根据分解定理,用截集的形式来表示元件的性能.对于计算系统处于各状态的概率分布和并发执行结构的性能,结合扩张原理,采用模糊数排序准则采比较元件的状态与运算冗余结构,以及串行结构的性能,解决了已有算法的计算结果只能得到近似值的问题.采用将不完全覆盖与系统模型分离的方法,使得模糊发生函数能够分析不完全覆盖的模糊多状态系统,既解决了未覆盖失效带来的元件相关性,也降低了分析的复杂性,从而为计算机编程提供了方便.

利用完全覆盖定理证题的方法和规律

根据要论证问题所具有的是整体性质还是局部性质给出利用完全覆盖定理证明问题的方法与规律。

利用完全覆盖定理证明二维空间的几个完备性定理

目的将完全覆盖的概念和完全覆盖定理从一维空间推广到二维空间,利用完全覆盖定理证明二维空间的几个完备性定理.方法在二维空间采用四等分矩形区域的方法构造闭区域列,再根据闭区域套定理给出二维空间完全覆盖定理的严格证明.结果推广到二维空间的完全覆盖定理从另一个侧面刻划二维空间的完备性,丰富了证明二维空间连续性的方法和手段,为把完全覆盖定理推广到n维空间作出必要的准备和铺垫.结论完全覆盖定理在二维空间有广泛的应用,对二维空间整体性的描述具有重要的意义,可以利用完全覆盖定理证明二维空间的聚点定理、有限覆盖定理和柯西收敛准则.