球面稳定同伦群的一族新元素G0(B1)4Γs

利用May谱序列的E₁^s,t,*项收敛于群E_A^s,t(Z_p,Z_p)以及Adams谱序列的E₂^s,t项收敛于球面稳定群π_t-s(S)_p的方法, 并结合谱的上纤维序列导出Ext群的正合序列, 发现了谱V(2)稳定同伦群中的一个非零元素g₀(b₁)⁴, 并且发现它在Adams谱序列中是一个永久循环. 运用Yoneda乘积, 得到了球面稳定同伦群中的一个非零元素g₀(b₁)⁴γ_s.     

影响空心圆锥雾喷头雾滴粒径的多因素分析

雾滴粒径对农药在作物上的沉积分布性能及病虫害防治效果起决定性作用。采用HELOS/QUIXEL型号激光粒度仪,对新型空心圆锥雾喷头在不同喷芯直径、喷嘴直径、喷雾压力及喷雾距离下的雾滴粒径进行试验研究。应用方差分析及正交分析方法分析了各因素对雾滴粒径的影响; 通过回归分析建立了雾滴粒径与主要影响因素之间的回归模型。结果表明:该喷头雾滴粒径范围为70～120 μm,满足农作物病虫害防治要求; 喷嘴直径(D)、喷雾压力(P)、喷雾距离(H)对雾滴粒径具有显著性影响,影响效果由强到弱的顺序为喷嘴直径、喷雾距离、喷雾压力; 雾滴粒径(D₅₀)与主要影响因素间的回归模型为D50=78.53+0.000 29 H2+17.76 D2-0.077 HP,拟合程度较高。     

一类自适应网络上的传染病模型研究

利用多项分布下的三元组逼近公式,对自适应网络中的SIS矩封闭传染病模型进行封闭,研究多项分布下自适应行为对传染病传播的影响,通过定性与稳定性理论,得到了模型的基本再生数R0,分析了平衡点的稳定性.得到断边重连自适应行为对传染病传播具有多重作用:当相对传染率足够小时,模型发生标准的前向分支,R0<1时疾病趋于灭绝;反之,从数学理论上严格证明了重连可导致后向分支和鞍结点分支等复杂动力学行为的发生,因此R0<1不足以控制传染病的传播。     

一类具有较少正规子群的有限p-群

给出了N1-p-群的完全分类。所谓N1-群是指一个群G仅有1个正规子群既不包含G'又不包含在Z(G)中。     

K1∪P2∪In的匹配等价图类

利用组合分析的方法刻画了K1∪P2∪I_n以及它的补图的匹配等价图类, 并且通过组合计数的方法计算了K1∪P2∪I_n的匹配等价图的个数。     

周期为pq的平衡四元广义分圆序列的线性复杂度

结合Gray映射和分圆理论,在Z4上构造了一类周期为pq的广义分圆序列。在有限域F_r(r≥5为奇素数)上确定新序列对应的傅里叶谱序列,并基于傅里叶谱序列的重量来确定新序列的线性复杂度。 结果表明, 该序列具有良好的线性复杂度性质, 能够抗击B-M算法的攻击, 是密码学意义上性质良好的伪随机序列。     

有界Heyting代数上基于理想的一致拓扑空间

为了利用拓扑学工具研究有界Heyting代数的性质和结构问题,基于由理想概念诱导的一类同余关系在有界Heyting代数(H,≤,→,0,1)上构造一致拓扑空间(H,τ)并考察其基本性质和拓扑性质,证明了(H,τ)是非连通的局部连通、局部紧、零维、第一可数的完全正则空间,(H,τ)是T1空间当且仅当(H,τ)是Hausdorff空间,获得了(H,τ)成为离散空间和紧致空间的充要条件,指出了(H,≤,→,0,1)中格运算和蕴涵运算关于一致拓扑τ都是连续的,从而构成拓扑有界Heyting代数。同时,讨论了(H,τ)的商空间性质。     

分次版本的Enochs定理

证明了分次版本的Enochs定理: 设A是有限生成分次R-模B的分次子模, 若对任何FP-gr-内射 R-模E, 分次同态f:A→E恒能扩张到B, 则A是有限生成的。 由此得到有限生成分次R-模M是有限表现的当且仅当对任何FP-gr-内射模E, 都有EXT1_R(M,E)=0。     

B2-型量子群的不可约模的Gröbner-Shirshov对

首先用B2-型量子群U_q(B2)的已知Gröbner-Shirshov基和双自由模方法,给出B2-型量子群上不可约模V_q(λ)的Gröbner-Shirshov对,然后通过在U_q(B2)的适当形式中取q=1给出B2型单Lie代数的泛包络代数U(B2)的Gröbner-Shirshov基和不可约U(B2)-模V(λ)的Gröbner-Shirshov对。     

T-幂零环的若干扩张

研究T-幂零环的一些扩张性质,主要证明了:(1)设R是一个环,α是R上的自同构,则R是左T-幂零环当且仅当R上的斜多项式环R［x;α］是左T-幂零环,当且仅当斜洛朗多项式环R［x,x^-1;α］是左T-幂零环;(2)环R是左T-幂零环当且仅当R上的Nagata扩张是左T-幂零环,当且仅当R上的斜三角矩阵环是左T-幂零环。     

亚纯函数微分多项式IM分担值的唯一性

研究了亚纯函数的微分多项式分担一个值的唯一性问题,证明了如果f(z)和g(z)为非常数亚纯函数,其零点和极点的重数至少为s,s为正整数,且满足(n+1)s≥24,n为正整数且n≥2。如果f ⁿf '和gⁿg'分担1 IM,则g(z)=c₁e^cz,f(z)=c₂e^-cz,其中c₁、c₂、c为常数,且满足(c₁c₂)ⁿ⁺¹c²=-1,或者f(z)=tg(z),其中tⁿ⁺¹=1。     

二阶脉冲微分方程Dirichlet问题非平凡解的存在性及多解性

研究了二阶脉冲微分方程Dirichlet问题{u″(t)+f(t,u(t))=0, t∈(0,1), t≠t_i,Δu|_t=ti=α_iu(t_i), i=1, 2,…,k,u(0)=u(1)=0非平凡解的存在性及多解性。其中α_i>-1, i=1, 2,…,k 为给定常数, 0=t₀12<…kk+1=1 为给定的脉冲点。Δu|_t=ti=u(t⁺_i)-u(t^-_i), u(t⁺_i), u(t^-_i)分别表示u在t=t_i处的右极限和左极限。 f∈C(［0,1］×R, R)。 本文的主要结果推广和改进了一些已有的关于二阶脉冲微分方程Dirichlet问题非平凡解的存在性及多解性的结论。 主要结果的证明基于López-Gómez在2001年建立的分歧定理。     

剖分Q-邻接冠图的广义特征多项式及其应用

设正则图G₁和G₂的剖分Q-邻接点冠图G₁□·_QG₂是由Q(G₁)和|V(G₁)|个点不交的G₂的拷贝,通过连接V(G₁)中第i 个顶点的所有邻点与第i个G₂的拷贝的所有点后得到的图; 剖分Q-邻接边冠图G₁□—〓_QG₂是由Q(G₁)和|I(G₁)|个点不交的G₂的拷贝,通过连接 I(G₁)中第 i个顶点的所有邻点与第i个G₂的拷贝的所有点后得到的图。其中Q(G₁)是由图G₁的每条边上插入一个新点且当图G₁的2条边相邻时对应的2个新点之间连接一条边后得到的图, I(G₁)是图G₁中每条边上插入的新点所构成的集合。分别确定了剖分Q-邻接点冠图G₁□·_QG₂和剖分Q-邻接边冠图G₁□—〓_QG₂ 的广义特征多项式及其相应的Φ-谱。得到了G₁□·_QG₂和G₁□—〓_QG₂的规范拉普拉斯谱, 同时也构造了一些Φ-同谱无穷类。     

三角代数上互逆元处的高阶ξ-Lie可导映射

设U=Tri(A,M,B )是含单位元1的三角代数,1_A、1_B分别是A和B的单位元。对任意的A∈A, B∈B分别存在整数k₁、k₂,使得k₁1_A-A, k₂1_B-B在三角代数中可逆。利用代数分解的方法,证明了如果{φ_n}_n∈N:U→U是一列线性映射满足对任意的U,V∈U且UV=VU=1,有φ_n(［U,V］_ξ)=∑_i+j=nφ_i(U)φ_j(V)-ξφ_i(V)φ_j(U)(ξ≠0,1),则{φ_n}_n∈N是U上的高阶导子,其中φ₀=id₀是恒等映射,［U,V］_ξ=UV-ξVU。     

整可逆图的克罗内克积的逆

图G₁和G₂的克罗内克积G₁⊗G₂具有点集V(G₁)⊗V(G₂),在G₁⊗G₂中两个点(u₁,v₁)和(u₂,v₂)相邻当且仅当 u₁u₂∈E(G₁)且 v₁v₂∈E(G₂)。对整可逆图(即图的邻接矩阵的逆矩阵中只包含整数)的克罗内克积的逆进行刻画。     

形式三角矩阵环上的n-Gorenstein投射模

设n是整数,T=(A 0U B)是形式三角矩阵环,其中A,B是环,U是左B右A双模,_BU是投射模,U_A的平坦维数有限。证明了若左T-模(M₁M₂)_φ^M是n-Gorenstein投射模,则M₁是(n-1)-Gorenstein投射左A-模,M₂/Im(φ^M)是n-Gorenstein投射左B-模,并且 φ^M:U⊗_AM₁→M₂是单射。反过来,若M₁是n-Gorenstein投射左A-模,M₂/Im(φ^M)是n-Gorenstein投射左B-模,并且 φ^M:U⊗_AM₁→M₂是单射,则左T-模(M₁M₂)_φ^M是n-Gorenstein投射模。     

不含4-圈或弦6-圈的平面图是(3,0,0)-可染的

设d₁,d₂,…,d_k是k个非负整数,若图G=(V,E)的顶点集V能被剖分成k个子集V₁,V₂,…,V_k,使得对任意的i=1,2,…,k,V_i的点导出子图G［V_i］的最大度至多为d_i,则称图G是(d₁,d₂,…,d_k)-可染的。关于平面图的染色,有以下结论:不含4-圈或弦6-圈的平面图是(3,0,0)-可染的。     

h_0b_1~3在π_*V(1)中的收敛性

利用Adams谱序列和May谱序列,发现了Smith-Toda谱V(1)的稳定同伦群中的一个非零元素,此元素在Adams谱序列里由h0b13表示．     

关于函数域中相交多项式的一个注记

以Z表示有理整数环。设L为一个特征为p的域, f(x)=∑ⁿ_j=0a_jx^j∈L［x］,L［x］表示L上的多项式环。假定在L的某个代数闭包上, f(x)=a∏^r_i=1(x-η_i)^e_i。此处,a∈L,一切η_i是两两不同的,r,e₁,e₂,…,e_r是正整数,且r≥2, n=∑^r_j=1e_j。f的半判别式Δ(f)被定义为Δ(f)=a^2n-1∏_{1≤i,j≤ri≠j}(η_i-η_j)^{e_i e_j}。证明了下面的结果: 如果n1,e₂,…,e_r)有关的正整数m与G∈Z［x₀,x₁,…,x_n］,使得Δ(f)=1/mG(a₀,a₁,…,a_n)且m|n!。此外,当L为有限域时,还应用此结果研究了与环L［x］上相交多项式有关的一个问题。     

三阶时滞微分方程边值问题正解的存在性

运用锥上的不动点定理, 研究三阶时滞微分方程边值问题{u(t)+λa(t)f(t,u(t-τ))=0, t∈(0,1), τ>0,u(t)=0,-τ≤t≤0,u(0)=u″(0)=0,u(1)=αu(η)正解的存在性, 其中 λ 是参数, 且 0<η<1, 0<α<1/η, f:［0,1］×［0,∞］→［0,∞)连续。