若干含有调和数的同余式

调和数Hk＝/j(k＝0,1,2,3…)在数学中有着重要的作用.令p〉5是一个素数. 建立了如下的同余式：5HH≡－Bp－3－ ,5H≡－pBp－3－p＋ ,其中,B0,B1,B2,…为Bernoulli数,其定义如下：B0＝1以及Bk＝0 (n＝1,2,3,…).     

Bernoulli数模2r和3r的同余式

设{Bn}为Bernoulli数,m、n为自然数,本文证明了同余式(2-22n)B2n≡1-4n ∑mk=1(2n)/(2k)24kB2k (mod 24m 3)与(3-32n)B2n≡2-6n 2∑mk=1(2n)/(2k)32kB2k (mod 32m 1).取m=1,2,得到[5]中宣布的(2-22n)B2n(mod 27)与(3-32n)B2n(mod 35)的简单同余式.     

Lehmer型同余式在多重调和级数上的推广

证明了若a为正整数且满足2na≤p-4,则∑ 1≤ll〈…ln≤p-1/2 1/ll^2a…ln^2a≡（-1）n＋1 1/n（1-1/2^2na＋1）2^2na 2na/2na＋1 Bp-a-1p（mod p^2）其中a=2a1＋…＋2an.推广了Lehmer关于幂次和的一类同余式,同时给出更多关于调和级数的同余式．     

一类包含高阶Bernoulli-Euler多项式的积分公式

使用文献[3]和[4]中关于广义Dirichlet积分的公式,证明了与高阶Bernoulli多项式和高阶Euler多项式相关的无穷积分的计算公式．     

完全图Kn的{P5,C5}分解

图分解问题已在很多邻域中得到了广泛的应用。用P₅表示5个顶点的路,C₅表示5个顶点的圈,本研究讨论了完全图K_n分解成5个顶点的路P₅和圈C₅的存在性,给出完全图K_n存在{P₅,C₅}-强制分解的充分必要条件是n≥7(n≠8),以及完全图K_n存在{P₅,C₅}-分解的充分必要条件是n≥5(n≠6)。     

高阶Euler多项式和高阶Bernoulli多项式的计算公式

利用Stirling数给出高阶Euler多项式和高阶Bernoulli多项式的一类新的计算公式,这些公式结构精美,便于应用.     

有关Bernoulli数和Euler数的关系式

根据Euler数、Bernoulli数及Bernoulli多项式的定义,利用函数方程,研究了Bernoulli数和Euler数的母函数之间的关系,得到了一些新的函数及其幂级数展开,通过比较幂级数对应项的系数的方法,揭示了Bernoulli数和Euler数之间的内在联系,得到了几个关于包含Bernoulli数、Euler数和Bernoulli多项式之间有趣的恒等式.     

有关Bernoulli积分多项式的某些恒等式

利用发生函数,研究了Bernoulli积分多项式和Genocchi多项式,Euler多项式之间的关系,并得到了几个漂亮的恒等式．     

CF4/N2混合物替代SF6/N2的可行性研究

SF6具有良好的绝缘强度,但其全球温室效应指数(GWP)是二氧化碳的23 900倍,因此有必要寻找一种环境友好的绝缘气体替代SF6。从绝缘性能、协同效应和GWP三方面研究了CF_4/N_2混合物替代SF6气体的可行性。研究结果表明:CF_4/N_2混合物的工频击穿电压随气压的升高出现饱和现象;80%CF_4/N_2混合物为最佳混合比例,其绝缘性能约为同条件下纯SF6击穿电压的65%;CF_4/N_2混合物具有协同效应,协同系数在0.2~0.59之间,和SF_6/N_2的协同系数接近;CF_4/N_2混合气体的GWP值随着气体的混合比呈线性关系,80%CF_4/N_2混合物的GWP值比SF_6/N_2低很多。因此,综合考虑绝缘性能、协同效应和GWP,80%CF_4/N_2混合物有希望替代SF_6/N_2气体用于气体绝缘。     

Sun-Zagier同余式的一个新证明（英文）

2011年,Z. W. Sun与D. Zagier获得了把Bell数与错位排列数联系起来的下述优美同余式:(∑) B_κ/(-m)~κ≡(-1)^(m-1)D_(m-1)(mod p),其中p为素数,正整数m不被p整除·本文借助R. J. Clarke与M. Sved的一个组合恒等式给出上述Sun-Zagier同余式的一个新证明.     

一个同余式的简单证明

给出了下列同余式的一个简单证明∑ｐ－１ｋ＝１１ｋ２ｋ≡∑（ｐ－１）／２ｋ＝１（－１）ｋ－１ｋ（ｍｏｄｐ）．     

依加法全等定理的新证明

平面上两个面积相等的多边形,总可以将其中一个经尺规作图剖分后拼装成另一个,本文在这一命题的关键处：矩形剖分拼装成正方形,给出一个新的作图法．     

涉及积和式的切比雪夫型不等式的一个新证明

主旨是借助于代数和分析工具给出如下涉及积和式的切比雪夫型不等式 perA/^n П（i=1） ^n ∑（j=1） αi,j ≤perB/^n П（i=1） ^n ∑（j=1） bi,j 的一个新证明，同时也展示了该结果的一个新的应用．     

Eisenstein同余式的p-adic证明

利用p-adic方法给出Eisenstein同余式的新的有趣证明。     

泛可除Bernoulli数Bn/n同余式的简化证明

文章运用p-adic赋值理论给出了泛可除Bernoulli数Bn/n的系数τu的p-adic赋值的界,从而证明了泛Von Staudt定理中一个同余式的简化证明。     

关于一个猜想的简单证明

图Ｇ的一个（正常）路着色是一映射φ：Ｖ（Ｇ）→Ｃ,使得Ｃ中任一元素的原象的导出子图是路的不交并,使Ｇ有正常路着色所需要的Ｃ的最小基数｜Ｃ｜,称为Ｇ的路色数,用ｘ（Ｇ;Ｐ∞）表示。Ｊ．Ａｋｉｙａｍａ和Ｅｒａ［３］提出如下问题：是否存在平面图Ｇ使得ｘ（Ｇ;Ｐ∞）＝４？关于这一问题,已有人证明［３,５］;对于任意平面图Ｇ,都有ｘ（Ｇ;Ｐ∞）≤３,这里我们从路色数的角度给出该问题的一个更简单的证明     

关于PMS-代数的同余格的一点注记

分别给出了Stone代数和PMS-代数中主同余关系的其它一些特征.特别地,证明了PMS-代数(S;∨,∧,*,,0,1)的同余格与所含MS-代数(S;∨,∧,,0,1)的同余格是一致的.     

虚拟仪器技术在实验教学中的作用

虚拟仪器技术在完成实验教学方面具有方便易用、效率高、集成功能强、形象直观等特点；也可与多媒体教学相结合，可以实现网络化、远程化教学。     

Misiurewicz一个定理的简要证明

Misiurewicz指出若线段映射周期点的周期均为2的方幂,则此映射的拓扑熵为0。本文为这一定理提供了一个十分简明的证明。