一类分式线性变换群的有限子群

证明PGL(2,Q)中仅有17个系数形如m n p的分式线性变换有限子群并且决定了它们的构造,其中m,n是整数,p是素数.     

基于故障树和混沌粒子群算法的锻压机床故障诊断方法

锻压机床由于生产效率高和材料利用率高的特点,被广泛应用于各领域.然而,锻压机床发生故障时,其故障种类繁多、故障数据量大,所以对锻压机床故障源的快速、准确诊断较困难.针对该问题,文章提出一种将故障树分析法和混沌粒子群算法相融合的方法,对锻压机床的故障源进行故障诊断.该方法是先通过故障树分析法对锻压机床的故障进行分析从而得到故障模式及其故障概率,然后由得到的故障模式和已知的故障维修经验分析归纳出故障模式的学习样本,再根据得到的故障概率运用混沌粒子群算法的遍历性快速、准确地诊断出锻压机床发生故障的精确位置.文章提出的方法以锻压机床的伺服系统为例进行了故障诊断实验,将该实验结果与遗传算法、粒子群算法进行对比.实验结果表明,文章的算法在锻压机床伺服系统的故障诊断中准确度更高、速度更快.     

四元Heisenberg群上的Twistor-变换与Penrose-积分公式北大核心

利用陪集Sp(2n+4,C)/P的双纤维化,其中P为Sp(2n+4,C)的抛物子群,得到四元Heisenberg群的Twistor-变换,进而得到四元Heisenberg群上切向k-Cauchy-Fueter方程的解:Penrose-积分公式.     

EP矩阵与矩阵方程的解

证明了如下结论:设A∈C~(n×n)是群可逆矩阵,则(i)A为EP矩阵当且仅当矩阵方程A~HXA=XAA~H在χ_A至少有一个解;(ii)A为EP矩阵当且仅当矩阵方程A~HXA=AA~HX在χ_A至少有一个解,其中χ_A={A,A~#,A~+,A~H,(A~#)~H,(A~+)~H}.     

SL(2κ,C)中两类特殊可解子群的结构及其在Fuchs系统中的应用

利用SL(2,C)中可解子群的结构,给出了SL(2k,C)中两类特殊的具有两个生成元的可解子群的结构定理.由单值群的可解性与Fuchs系统可积性之间的关系,研究对应的单值群是可解的环面上只有一个正则奇点的2k阶Fuchs方程的解Riemann曲面结构,进而研究其解的大范围性质.     

G匚W上的泊松群胚结构

从泊松作用的角度考察了群胚上的半直积结构,定义了泊松群胚对泊松群胚的泊松作用,讨论了其性质,并证明了两个泊松群胚的半直积仍是泊松群胚,从而对群胚的半直积结构有了更多的认识.     

具有扭转耦合效应的复合薄壁梁黎斯基的性质和指数稳定性(英文)

研究了具有扭转耦合效应的复合薄壁梁黎斯基的性质以及指数稳定性.首先证明该系统决定算子的预解式是紧的,且可生成群.其次,通过对该系统算子谱的渐近分析,证明了除至多有限个本征值外,其算子的谱是单重可分离的.特殊地,我们获得了自由系统的频率渐近表达式,因而利用克尔德什定理,证明了在希尔伯特状态空间中算子广义本征函数列的完备性.最后,结合黎斯基的性质及算子谱的分布证明了该系统的指数稳定性.     

SL(2κ,C)中两类特殊可解子群的结构及其在Fuchs系统中的应用

利用SL（2,C）中可解子群的结构,给出了SL（2k,C）中两类特殊的具有两个生成元的可解子群的结构定理．由单值群的可解性与Fuchs系统可积性之间的关系,研究对应的单值群是可解的环面上只有一个正则奇点的2k阶Fuchs方程的解Riemann曲面结构,进而研究其解的大范围性质．     

Finite group action and Gromov-Witten invariants in symplectic four-manifolds

Let a finite group act semi-freely on a closed symplectic four-manifold with a 2-dimensional fixed point set. Then we show that the relative Gromov-Witten invariants are the same as the invariants on the quotient set-up with respect to the fixed point set.     

On non-normal arc-transitive 4-valent dihedrants

Let X be a connected non-normal 4-valent arc-transitive Cayley graph on a dihedral group Dn such that X is bipartite, with the two bipartition sets being the two orbits of the cyclic subgroup within Dn. It is shown that X is isomorphic either to the lexicographic product Cn[2K1] with n 〉 4 even, or to one of the five sporadic graphs on 10, 14, 26, 28 and 30 vertices, respectively.