基于primal RankRLS方法的本体映射算法

本体映射作为实现多本体间相互操作的重要手段,已广泛应用于诸多领域.应用原始RankRLS算法,将多本体图映射到实数轴,由此将本体图中每个顶点都映射成实数.通过比较两概念对应实数间的差值得到本体映射.实验表明,该算法有较高的效率.     

变速成图技术在毛场地区构造解释中的应用

毛场地区位于潜江凹陷南部潘场生烃洼陷的东斜坡,钻井揭示地层横向速度变化大。用速度量板法进行时深转换形成的构造图误差较大,已无法满足高精度勘探、开发构造评价要求。通过对速度横向变化大的井进行分析,认为引起速度变化大的原因是由于潜江组的厚度变化引起的。为了消除潜江组地层变化造成的影响,在构造成图方面,本文采用环波软件中的变速成图方法进行构造图成图,取得了较好的效果,建议在其他地区进行推广。     

非连通图3C8m∪C8m-1∪G的优美标号

研究非连通图3C8m∪C8m-1∪G的优美性.证明如下结论：对任意正整数m,若图G是特征为k且缺标号值k＋24m-2的交错图,则非连通图3C8m∪C8m-1∪G存在缺标号值k＋1的优美标号.     

思维导图在教育领域的应用及对数学教育的启示

对2004—2013年思维导图在教育领域的应用研究进行了文献综述.通过对已有研究的整理得出,对数学教育的启示。     

广义太阳图S_(m,n)奇优雅标号算法及实现

给出了广义太阳图S_(m,n)的定义,设计了该类图的奇优雅标号算法,证明了算法的正确性和广义太阳图S_(m,n)的奇优雅性。利用Matlab语言编制了"广义太阳图S_(m,n)奇优雅标号算法"程序并通过实验数据说明算法的有效性。     

Wn⊙Pm和Cn⊙Sm的r-hued染色

图G和H的Corona乘积图记为G⊙H,它是复制一个图G以及复制|V(G)|个图H,把图G的第i个顶点跟复制的第i个图H的每个顶点相连.图G的(k,r)-染色是用k种颜色对图G进行正常染色，使得点v的所有邻点至少染min{r,d(v)}种不同的颜色，其中d(v)是图G中顶点v的度数.把图G的具有(k,r)-染色的最小正整数k称为r-hued色数，用χ_r(G)表示，通过对r-hued染色的定义，得到W_n⊙P_m和C_n⊙S_m的r-hued色数.     

华中科技大学学报(自然科学版) 2017年 第45卷 总目次

将最大团求解算法融入到极大团枚举算法中,提出了两种带极大团下限的极大团枚举算法及多种预处理筛选策略,通过迭代将不可能包含在极大团中的部分点与边删除,使得搜索空间大幅减小.在搜索策略上,将求解最大团问题的贪心染色算法、增量MaxSAT推理算法与极大团枚举算法相融合,并结合最佳筛选策略,提出了染色-关键点融合算法BKFC(Bron-Kerbosch with filtering and coloring)和基于增量MaxSAT推理的枚举算法BKFS(Bron-Kerbosch with filtering and MaxSAT).结果表明:在多个大型算例上,BKFC算法平均时间仅为加入预处理的改进经典算法的68.8%;由于经典算法无法在大型算例上运行,在小数据测试中,BKFC算法平均时间仅为没有预处理策略的经典算法的2.2%.     

一种联图的Cordial性

引入第一类图G的概念,即若存在一个标号f,使得|v0(G)-v1(G)|≤1,e0(G)≥e1(G),则称G为第一类图.证明了第一类图G与路P的联图G∨P,当P的阶数大于等于G的最大度的2倍加2,即|P|≥2Δ(G)+2时,都是Cordial图,并进一步给出图G是第一类图的两个充分条件.     

一类无非平凡有理整点的椭圆曲线y~2=x(x-p)(x-q)

令p、q为两个素数,且p+4=q。本文证明了椭圆曲线y2=x(x-p)(x-q)没有非平凡有理整点.同时得到了一类无整解的负Pell方程组和一类无整解的四次丢番图方程.     

交错群图AGn的5类子图可靠性研究简

交错群图AGn具有多种优良性能.该文对其5类子图进行界定和分类,进而以一个具体的案例分析这5类子图的可靠性.分析结果表明,交错群图AGn的5类子图具有非常理想的可靠性,适用于拓扑网络的故障诊断.