梅森素数与牛顿迭代

梅森素数是数论研究的一项重要内容,也是当今科学探索的热点和难点之一。卢卡斯定理是判别梅森数是否为素数的第一个重要定理,卢卡斯-雷默测试是在卢卡斯定理基础上改进后的现在已知的检验梅森数素性的最好方法。牛顿迭代法可以用来求平方根√n的近似值。本文首先揭示了卢卡斯定理与√5的牛顿迭代之间的惊人联系,然后揭示了卢卡斯-雷默测试与√3的牛顿迭代之间的惊人联系,继而揭示了梅森素数的一个同余性质与√4的牛顿迭代之间的惊人联系,又通过√2的牛顿选代得出了梅森素数的一个新的同余性质,并猜测由该性质产生的数列具有与斐波那契数列相类似的漂亮性质,接着通过√6的牛顿迭代提出了p为4k＋1形素数时梅森数Mp为素数所应满足的充要条件的猜想,最后提出了基于梅森素数同余性质的梅森数素性检验新方法的猜想。     

零温Hohenberg-Mermin-Wagner定理和Goldstone 定理的等效性

应用零温情形下的Bogoliubov不等式,研究了一维和二维Hubbard模型基态中电子配对和磁性(铁磁和反铁磁)长程序的可能性．发现如果在一维和二维Hubbard模型的自旋(电荷)激发谱中存在能隙,则该系统在基态中不可能呈现出磁性(或电子配对)的长程序,并由此从低维Hub—bard模型说明了零温Hohenberg—Mermin—Wagner定理与Goldstone定理是等效的．     

基于Mumford-Shah模型的图像处理

讲述了偏微分方程的基础数学理论,诸如：梯度、散度、变分定理、欧拉-拉格朗日方程等知识;然后重点介绍了Mumford-Shah模型及Ambrosio-Tortorelli的近似求解,最后进行了数值试验并展开分析。     

展开定理的补充和偶次B样条基函数

在均匀分划的B样条展开定理中,奇次B样条以整数点展开,而对偶次B样条将如何展开,展开定理并未说明.通过时域的逼近计算,补充了偶次B样条在展开定理中的展开方式,提出了其基函数的一般构造方法.应用四次B样条基函数计算梁的弯曲,表明了偶次B样条展开方式的合理性,同时也表明了该基函数有较佳的逼近性能和适应性.研究成果属于逼近理论的基础部分,可以应用于需要逼近计算的诸多领域.     

基于可信第三方的Android应用完整性验证模型

提出一个基于可信第三方的Android应用完整性验证模型.采用特征选择算法、XML解析和反编译来获取Android系统完整性信息,终端通过与可信第三方进行验证来保证应用的完整性.对比实验结果表明了系统的有效性和可行性.     

冷却单螺杆内聚合物熔体传热模型

基于聚合物熔体在冷却单螺杆内传热,引入平均温度表征螺槽深度方向的熔体温度变化,将黏性生热简化为内热源,建立聚合物熔体传热理论分析模型;基于模型分析了冷却单螺杆的结构参数与工艺参数对聚合物熔体冷却过程的影响规律,并通过计算流体动力学（CFD）模拟验证模型的准确性。结果表明,当螺槽深度为5~9 mm、螺纹升角为30°~50°时,通过增大螺槽深度和螺纹升角,同时降低螺杆转速和减少产量,能够有效增强冷却单螺杆内聚合物熔体的冷却效果,此时模型能够满足冷却单螺杆内聚合物熔体的降温需求。数值模拟值与模型计算值的最大相对误差为1.21%,表明聚合物熔体传热模型能够预测冷却单螺杆内聚合物熔体的冷却过程,可以为串联挤出发泡系统中冷却单螺杆的设计提供一定的理论参考。     

α-弱相依序列加权和的几乎处处中心极限定理

设{Xn,n≥1}为一零均值有界的α-弱相依序列,满足∑∞i=1θi<∞;{ani,1≤i≤n,n≥1}为一实值三角阵列;令Sn,k=∑ki=1aniXi,1≤k≤n.利用随机变量加权和的弱收敛定理与Borel-Cantelli引理,在适当的假设条件下,给出了非平稳有界的α-弱相依序列加权和Sn,n的几乎处处中心极限定...     

二维非线性退化椭圆问题广义解的存在唯一性

具有退化(奇异)系数的椭圆及抛物方程是一类很重要的方程，本文利用Banach不动点定理，得到了一类二维非线性退化椭圆边值问题的广义解的存在唯一性．     

某些非线性三阶两点边值问题的正解存在性

考察了三阶非线性常微分方程的某些两点边值问题的正解存在性.这一类边值问题来源于粘性液体流动的研究,在流体力学中具有广泛的应用.已有学者在非线性项超线性或次线性的情况下获得了上述问题的正解存在性.通过改进其使用的方法,在非线性项既不是超线性,又不是次线性的条件下给出了关于这类问题正解的2个存在定理.方法是：(1)利用相应边值问题的Green函数将该问题转化为连续函数空间上的积分方程；（2） 根据Green函数的性质选择适当的锥；（3）利用锥压缩与锥拉伸型的Krasnoselskii不动点定理获得了2个正解存在定理.结果表明已有的主要结论是本文结论的特殊情况.     

积分中值定理中间点的渐近性更一般结果

若函数ｆ（ｔ)在[ａ,ｘ]上连续,在点ａ处ｎ阶可微且ｆ（ｎ）（ａ）≠０,则积分中值定理中的ξｘ满足ｌｉｍ ｘ→ａ｛ｆ′（ａ）[（ξｘ－ａ）/（（ｘ－ａ）ｎ）－１/２·１/（（ｘ－ａ）ｎ－１）]＋（ｆ″（ａ））/（２！）[（（ξｘ－ａ）２）/（（ｘ－ａ）ｎ）－１/３·１/（（ｘ－ａ）ｎ－２）]＋…＋（ｆ（ｎ）（ａ））/（ｎ！）[（（ξｘ－ａ）ｎ）/（（ｘ－ａ）ｎ）－１/（ｎ＋１）]｝＝０．