区传递的2-（v，k，1）设计与李型单群E8（q）

分类自同构群的基柱为李型单群E8（q）的区传递2-（v，k，1）设计，得到如下定理：设D为一个2-（v，k，1）设计，G≤Aut（D）是区传递、点本原但非旗传递的．若q〉24√（krk-kr＋1）f（这里kr=（k，v-1），q=p^f，p是素数，f是正整数），则Soc（G）≌／E8（q）．     

区传递的2-（v，k，1）设计与射影辛群PSpn（q）

分类自同构群为射影辛群PSpn(q)的区传递2-(v,k,1)设计,得到如下定理:设D为一个2-(v,k,1)设计,G≤Aut(D)是区传递,点本原但非旗传递的.若q为偶数且n≥14,则GPSpn(q).     

区传递的2-(ν,κ,1)设计与李型单群E8(q)

分类自同构群的基柱为李型单群E8(q)的区传递2-(ν,κ,1)设计,得到如下定理:设D为一个2-(ν,κ,1)设计,G≤Aut(D)是区传递、点本原但非旗传递的.若q＞24√(krk-kr 1)f(这里kr=(k,v-1),q=pf,p是素数,f是正整数),则Soc(G)(≠)E8(q).     

区传递的2-(v,9,1)设计的分类

讨论区传递的2-(v,k,1)设计的分类问题.特别地,讨论自同构群的基柱为典型单群的区传递,点本原但非旗传递的2-(v,9,1)设计.设D为一个2-(v,9,1)设计,若G≤Aut(D)是区传递,点本原但非旗传递的,则G的基柱Soc(G)不是有限域GF(q)上的典型单群.结合Camina,Praeger,刘伟俊,李慧陵...     

2—（v，11，1）设计的可解区传递自同构群

设G是一个2—(v，11，1)设计的可解区传递但非旗传递自同构群，且G点一本原则，则v=p^n，G≤AГL(1，p^n)且p≠2。     

自同构群基柱为~3D_4(q)的2-(v,k,1)设计

2-(v,k,1)设计的存在性问题是组合设计理论中重要的问题,当这类设计具有一个有意义自同构群时,讨论其存在性是尤其令人感兴趣的.30年前,一个6人团队基本上完成了旗传递的2-(v,k,1)设计分类.此后,人们开始致力于研究区传递但非旗传递的2-(v,k,1)设计的分类课题.本文证明了自同构群基柱为~3D_4(q)的区传递及点本原非旗传递的2-(v,k,1)设计是不存在的.     

^2F4（q2）与2-（v，k，3）对称设计

本文要证明不存在一个非平凡2-（v，k，3）对称设计，它的旗传递自同构群的基柱是^2F4（q2）     

二维射影线性群与区传递4-(v,6,λ)设计

设D=(X,B)是一个4-(v,6,λ)设计,GAut(D)区传递地作用在D上且X=GF(q)∪{∞},这里GF(q)是q元有限域.如果G=PSL(2,q),则存在4-(12,6,4)设计;如果G=PGL(2,q),则存在4-(12,6,8),4-(18,6,24)和4-(33,6,12)设计.     

典型群PSU（3，q2）与2—（v,k,1）设计

讨论自同构群是酉群PSU（3,q2)(q=2^l)的区－本原的2-(v,k,1)设计,首先证明了它必是点－本原的,然后确定了这种类型的设计,即它只能为2－（q3 1,q 1,1)设计。     

二维射影线性群与区传递4-(q+1,5,λ)设计

在组合设计的研究领域中,如何构造具有给定参数的t-设计是一个重要而且困难的问题.利用设计的自同构群来构造t-设计是这一问题有效的解决方法之一.在本文中,设D=(X,B)是一个4-(q+1,5,λ)设计,G≤Aut(D)区传递地作用在D上且X=GF(q)∪{∞},这里GF(q)是q元有限域.设PSL(2,q)(?)G≤PTL(2,q).利用Kramer和Mesner的关于构造区组设计的一个结果和二维射影线性群作用在X的5-子集的集合上的轨道,得到了如下结果:(1)G=PGL(2,17)并且D是一个4-(18,5,4)设计;或(2)G=PSL(2,32)并且D是一个4-(33,5,4)设计;或(3)G=PTL(2,32)并且D是4-(33,5,5)和4-(33,5,20)设计之一.     

一般投影线性群PGL(2,q)和4-(q+1,5,λ)设计

本文主要考虑了一般投影线性群PGL(2,q)区传递作用下的4-(q+1,5,λ)设计的存在性问题。经讨论知λ的可能值是4。     

马休群与斯坦诺4-设计

讨论了马休群旗传递作用于斯坦诺4-设计上情况,得到了如下结论：设D=（X,B,I）是非平凡的斯坦诺4-设计,D的自同构群G旗传递地作用在D上。若G是几乎单群,则 i）Soc（G）不同构于单群：N=Mv,v=12,22,24和N=M11,v=12; ii）若N=M11,v=11,则D是一个斯坦诺4-（11,5,1）设计,且G△M11; iii）若N=M23,v=23,则D是一个斯坦诺4-（23,7,1）设计,且G△M23。     

某些Lie单群的传递性

设D为有限线性空间，且T G Aut（T），其中T是非交换单群，并且同构于^2B2（g），Cn（g）（n≥3），^3D4（g），E7（q），E8（q），F4（q），^2F4（q），G2（q），^2G2（q）。假设D不是射影平面，G线传递作用在D上，则T点传递。     

马休群与斯坦诺5设计

讨论了马体群旗传递作用于斯坦诺5设计上的情况，得到了如下结论：设D=（X，Ω，I）是非平凡的斯坦诺5设计，D的自同构群G旗传递地作用在D上。若G是几乎单群，则 （i）基柱Soc（G）不是下列单群：N=Mv，v=11，22，23和N=M11,v=12 （ii）若N=M12，v=12，则D是一个5-（12，6，1）设计，且G M12 （iii）若N=M24，v=24，则D是一个5-（24，8，1）设计，且G M24。     

Diophantine方程（a^m-1）（6^n-1）=x^2的一点注记

设a,b是适合min（a,b）〉1,2｜a,2＋b以及v（6—1）是正奇数,其中v（b-1）表示整除b-1的2的最高次数．本文运用初等方法以及同余性质,研究了方程（a^m-1）（b^n-1）=x^2的可解性．对某些特殊素数P,证明了该方程无解．证明了如果存在适合P≡±E3（mod8）的奇素数P,可使a≡-1（modP）...     

On cubic non‐Cayley vertex‐transitive graphs

In 1983, the second author [D. Maru?i?, Ars Combinatoria 16B (1983), 297–302] asked for which positive integers n there exists a non‐Cayley vertex‐transitive graph on n vertices. (The term non‐Cayley numbers has later been given to such integers.) Motivated by this problem, Feng [Discrete Math 248 (2002), 265–269] asked to determine the smallest valency ?(n) among valencies of non‐Cayley vertex‐transitive graphs of order n. As cycles are clearly Cayley graphs, ?(n)?3 for any non‐Cayley number n. In this paper a goal is set to determine those non‐Cayley numbers n for which ?(n) = 3, and among the latter to determine those for which the generalized Petersen graphs are the only non‐Cayley vertex‐transitive graphs of order n. It is known that for a prime p every vertex‐transitive graph of order p, p² or p³ is a Cayley graph, and that, with the exception of the Coxeter graph, every cubic non‐Cayley vertex‐transitive graph of order 2p, 4p or 2p² is a generalized Petersen graph. In this paper the next natural step is taken by proving that every cubic non‐Cayley vertex‐transitive graph of order 4p², p>7 a prime, is a generalized Petersen graph. In addition, cubic non‐Cayley vertex‐transitive graphs of order 2p^k, where p>7 is a prime and k?p, are characterized. © 2011 Wiley Periodicals, Inc. J Graph Theory 69: 77–95, 2012     

Tetravalent vertex‐transitive graphs of order 4p

A graph is vertex‐transitive if its automorphism group acts transitively on vertices of the graph. A vertex‐transitive graph is a Cayley graph if its automorphism group contains a subgroup acting regularly on its vertices. In this article, the tetravalent vertex‐transitive non‐Cayley graphs of order 4p are classified for each prime p. As a result, there are one sporadic and five infinite families of such graphs, of which the sporadic one has order 20, and one infinite family exists for every prime p>3, two families exist if and only if p≡1 (mod 8) and the other two families exist if and only if p≡1 (mod 4). For each family there is a unique graph for a given order. © 2011 Wiley Periodicals, Inc.     

变时间分数阶扩散方程的非一致时间网格有限差分方法

本文在非一致时间网格上,使用有限差分方法求解变时间分数阶扩散方程?α(x,t)u(x,t)/tα(x,t)-2u(x,t)/x2=f(x,t),0α(x,t)q≤1,证明了该方法在最大范数下的稳定性与收敛性,收敛阶为C(Δt2-q+h2).数值实例验证了理论分析的结果.     

Doubly transitive automorphism groups of block designs

If G is a doubly transitive group of automorphisms of a block design with λ = 1, then for any block Δ of the design and any point α in Δ, the set Δ?{α} is a block of imprimitivity for G_α. What are sufficient conditions for a doubly transitive but not doubly primitive permutation group G to be a group of automorphisms of a non-trivial block design with λ = 1 ? Can the design or the group G be identified if there is a nonidentity automorphism in G fixing every point of some block of the design? Both of these questions are investigated and some answers are given.