自守L-函数系数在不同稀疏整数序列中的Ω结果

Let k be a positive even integer, and H_^*k be the set of all normalized Hecke primitive eigencuspforms of weight k for Γ=SL₂(Z). The Fourier expansion of f∈H_^*k at the cusp ∞ is defined by f(z)=λ_f(n)n^(k-1)/2e^2πinz, where λ_f(n) is the eigenvalue of the (normalized) Hecke operator T_n. The Omega result for the summatory functionλ_f(nⁱ)λ_f(n^j) is investigated. Set E_1,2(f,x)=λ_f(nⁱ)λ_f(n^j)-c_j-1x, i=1, j=2,3, where c₁, c₂ is a suitable constant. Then it is proved that E_1,2(f,x)=Ω(x^5/12),E_1,3(f,x)=Ω(x^7/16).     

近完美匹配全覆盖点

利用匹配理论中的Gallai-Edmonds结构定理,首先得到了在一个有近完美匹配的图中判定一个顶点为近完美匹配全覆盖点的充要条件,然后对每一个顶点都为近完美匹配全覆盖点的图类给出了一个刻画.同时,也给出了一种构造这类图的方法.     

分数阶脉冲微分方程边值问题正解的存在性

用非线性泛函分析理论研究分数阶脉冲微分方程边值问题, 借助范数形式的锥拉伸 压缩不动点定理, 证明了一类具有Caputo分数导数的脉冲微分方程边值问题正解的存在性, 得到了正解存在的充分条件及相应的推论.     

基于圈的多重完全图相关图的生成树数目

利用图G的标定技巧、矩阵和行列式运算、补生成树矩阵定理等理论,研究了当G是基于圈的多重完全图时,其补图类Kn－G的生成树数目的计数问题.给出基于圈的多重完全图相关图Kn－G的一些特殊情况时生成树数目具体计数公式.     

Schauder不动点定理与Nash平衡点的存在性

本文用Schauder不动点定理直接证明Nash平衡点的存在性定理。     

互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

互逆主义数学哲学与计算

指出数学不是建立在集合论之上,而是建立在人类计数实践之上。经典数理逻辑是有量词的,而互逆主义数理逻辑没有量词,绝大多数逻辑在计算机的应用系统中也都是没有量词的。为说明互逆主义数理逻辑在计算中的能行性,给出了其在人工智能计算中的应用：二层单准Prolog的操作语义和指称语义。     

建构主义学习理论与自主学习能力的培养

外语学习是一种自主的习得过程．成功的外语学习离不开习得的自主学习、西方教育心理学的学习理论建构主义强调以学习为中心的元认知策略．着重探讨建构主义学习理论指导下高校第二语言教学中学生自主学习能力培养的问题．     

Krull交定理的一个初等证明

Krull交定理是交换代数中的一个重要定理,有着广泛的应用.针对交换代数书上的证明比较深奥,学生难以理解,本文应用Hilbert基定理,给出一个能够揭示其本质的简单证明,同时给出一个推论.     

基于S-R和分解定理的无网格Galerkin法求解几何非线性问题

针对几何非线性问题,基于S-R和分解定理与更新拖带坐标描述法,从运动变换的角度出发,由虚功率原理建立全局弱式积分方程.采用无网格Galerkin法(EFG)求得该问题的数值解.对于非线性问题的数值计算,通常采用增量和迭代法.S-R和分解定理给出了一种新的应变张量,该应变张量能合理地反映大位移大转动情况下物体的应变状态及转动情况,而且有利于求解几何非线性问题.数值算例验证了该方法的合理性和有效性.