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

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

改善铝电解高锂高钾复杂电解质体系的实践分析

随着近年来国内高品位铝土矿资源的逐渐减少,低品位铝矿石的综合利用技术已广泛应用到工业化氧化铝生产中。但其杂质含量较高,致使国内部分地区的铝土矿生产的氧化铝含有较高的锂、钾等成分,长期使用会导致工业电解质中的锂盐和钾盐的大量富集,电解槽出现效率低、电耗高、难控制、稳定性差等现象。目前,高锂、高钾电解质体系先后在河南、山西等省区的电解铝厂出现,此电解质体系已经影响到该地区电解铝企业的正常生产。基于此,主要介绍河南永登铝业有限公司在应对高锂高钾复杂电解质体系过程中所进行的实践和探索,并就采取的措施进行分析和论证。     

华中科技大学学报(自然科学版) 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方程组和一类无整解的四次丢番图方程.     

做客

正星期天,大头儿子跟妈妈一起去看外婆和外公,到外婆家时已快中午了。"肚子饿了吗?我做了你喜欢吃的菜。"外婆说道。大头儿子一听有好吃的东西,特别兴奋:"什么好菜?快拿来瞧瞧。"外公微笑着说:"别忙,先猜猜看。""我喜欢吃的东西可多了,怎么猜呀?"外公提示道:"它是一种动物,腿的条数是鸡的2倍。"大头儿子立刻说:"是牛蛙,对吧?鸡有2条腿,这种动物腿的条数是鸡的2倍,就是2×2=4(条),有4条腿,肯定是牛蛙。"外公赞许地点点头。大头儿子拉着外公要看牛蛙,在厨房里他看到了4只牛蛙。外公问:"4只牛蛙共有多少条腿呢?"     

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

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

交换环上低阶反对称矩阵李代数的李三导子

设R是含1的交换环,用Un(R)(n∈N+)表示R上的n阶反对称矩阵李代数.研究了U4(R)及U5(R)上的李三导子,并证明了它们的李三导子都是内导子.同时也说明了U4(R)及U5(R)都是完备李代数.     

构建小学语文动态生成课堂提高教学质量

课堂教学是一个充满不确定因素的动态生成过程，不同的时空，各异的师生，使教学呈现出千差万别，丰富多彩的面貌。本文针对如何提高小学语文课堂教学质量，构建动态生成课堂进行论述，希望能进一步提高学生学习兴趣，提高小学语文教学质量。     

符号图的一些谱关系

符号图∑=（丨∑丨，δ）由无符号图丨∑丨=（V，E）和一个映射组成，其中V和E分别为顶点集和边集，丨∑丨是它的基础图，δ：E→{＋1，-1}是符号函数．文章给出了一些符号图的谱关系，并得到了符号图的特征值的一些边界．