具型不变变（e,1,1,1）的正则p—群的一个完全分类

本文对具型不变量（ｅ，１，１，１）≥２的正则ｐ－群进行了分类，当ｐ＝３时共有１８个互不同构的群，当ｐ≥５时，如果（３，ｐ－１）＝１，那么共有３１个互不同构的群，如果（３，ｐ－１）＝３，那么这样的群共有３５个。     

用双参数李变换群积分一类非完整系统的运动方程

研究了一类简单的非完整非自治系统，利用双参数李变换群，引进微分不变量、正则坐标的方法，对这类简单的非完整非自治系统的运动方程给以完全积分，为非完整系统的积分理论提供了一种新的方法。     

不可约p-Brauer特征标均为实值的有限群

设G为一个有限群,p为一个固定的素数.如果群G的任何不可约p-Brauer特征标均是实值Brauer特征标,则称群G为一个p-正则R-群.给出了p-正则R-群的若干性质,在一定条件下刻画了p-正则R-群的结构分类.     

关于内正则p-群

研究内外∑群的性质和构造,是群论研究中的一个重要课题,本文讨论阶为p~(p+1)的内正则p-群的基本性质,定出了阶为p~(p+1)的内正则p-群当有一极大交换子群时的全部类型:它们有且仅有p+1种互不同构的类型。     

8p阶7度1-正则图

一个简单无向图,如果它的全自同构群作用在它的弧集上正则,则称该图为1-正则图.证明了不存在8p阶7度1-正则图,其中p是一个素数.     

2p2阶4度Cayley图

Cayley图Cay(G,S)称之为正规的,如果G的右正则表示R(G)是Cay(G,S)全自同构群的正规子群。决定了2p2(p为奇素数)阶群上4度连通1-正则Cayley图的正规性。     

p3阶非循环子群都同构的奇阶有限p-群

应用亚循环p-群与正则p-群等p-群相关知识,给出p3阶非循环子群都同构的奇阶有限p-群的类型为初等交换p-群或亚循环P-群.     

p=11时G2型Chevalley群的C11的确定

设Ｋ是特征数ｐ＝１１的代数闭域，Ｇ是Ｋ上Ｇ＿２型单连通半单代数群，本文主要结果是：有限域Ｆ＿１１上Ｇ＿２型Ｃｈｅｖａｌｌｅｙ群的第一Ｃａｒｔａｎ不变量Ｃ＿１１＝１６８。     

一类非正则p群的非正规Cayley图

冯衍全等证明,设p是一个奇素数,G是一个有限正则p-群,那么,G的任何连通的2度有向Cayley图都是G的正夫Cayley图,本文给出了一类非正则p-群,它的每个群都存在一个连通的2度的非正规的有向Cayley图。     

（H,G）—变换和拟正则半群

研究一般的（Ｈ,Ｇ）型变换通过适当合成变换后生成拟正则半群;并建立了Ｇ－变换和（Ｈ,Ｇ）型变换两者之间的拟共形共轭关系．对于给定的一个拟正则半群,构造了一个不变共形结构ＧΓ,使得该半群中的每个元素在这个不变共形结构下保持Ｇ－变换不变．     

有限幂导p-群关于幂导嵌入的一些性质

在A.Mann等人研究的幂导p-群的基础上,给出了幂导p-群关于幂导嵌入子群的一些基本性质。     

群与合成列的数目之间的几个充要条件

讨论了循环P-群，初等交换P-群以及所有Sylow子群为循环群的群G与其合成列的数目之间的关系，得到了3个充要条件．     

算术p-群的自同构群

对任意奇素数p-引入了一类所谓的算术p-群，并确定了其自同构群和外自同构群，所得结果推广具有一个循环极大子群的p-群的相应结论。     

具有良子群合成列的可数阿贝尔p-群是简单表示p-群的直接证明

已有的关于具有良子群合成列的阿贝尔p-群是简单表示p-群的几个证明都是间接的、比较困难的。本文就可数的情形给出一个直接证明,从中可以清楚地看出两类群结构上的关系。证明中所采用的方法是为具有良子群合成列的可数阿贝尔p-群构造一个p-基。文中引理2和引理3起着重要作用。     

基于GEP-RNC的指数对数型程序不变量发现方法

程序不变量的发现是一种提高软件质量的有效方法.不变量发现工具Daikon可以发现程序中蕴含的简单不变量形式,但不包括复杂的函数型不变量.本文基于GEP-RNC算法对指数对数型不变量发现方法进行研究,通过实验证明GEP-RNC算法可以有效的发现指数对数形式的不变量,解决了基因表达式编程算法在复杂函数形式发现中稳定性不佳,精度不高的问题,扩展了Daikon不变量测试库中程序不变量的类型.     

具有很多素数方幂阶子群的有限群

文章以p-群和内∑-群研究成果为基础,以它们的研究方法为依托,采用反证法、分析法,得到若干成果,丰富了研究内∑-群这一领域的成果。文章首先以可解次单群的结构和性质,引出所讨论的任一真子群为素数方幂阶的有限群的结构和性质,给出一个有限群满足这一性质的充分必要条件,得到了若干结论,并且指出了任一真子群为素数方幂阶的有限群和有限次单群、CP-群之间的包含关系。最后,进一步拓宽这一性质,引出外p-群的定义,给出了一个外p-群的必要条件。     

机电系统Lie对称性的摄动和广义Hojman型绝热不变量

研究机电系统Lie对称性的摄动与广义Hojman型绝热不变量,首先通过一般无限小变换下的Lie对称性得到广义Hojman型的守恒量;然后基于力学系统高阶绝热不变量的定义,研究小扰动作用下系统Lie对称性的摄动,得到系统广义Hojman型绝热不变量。最后举例说明结果的应用。     

Perturbation to Noether Symmetry and Adiabatic Invariants for Dynamical Systems with Nonstandard Lagrangians

The perturbation to Noether symmetry and adiabatic invariants for dynamical systems with nonstandard Lagrangians are studied. Based on two kinds of nonstandard Lagrangians( i. e.exponential Lagrangians and power-law Lagrangians),the exact invariants of Noether type are given. Based on the definition of highorder adiabatic invariants,the relationship between the perturbation of Noether symmetry and the adiabatic invariants of the system under a small disturbance is studied,and then the corresponding theorems of adiabatic invariants are established. Finally, two examples are given to illustrate the methods and results appear in this paper.     

一类单元赋值语句型循环不变式的开发方法研究

依据现有循环不变式的定义和开发策略,阐述了一类单元赋值语句型循环不变式开发方法,同时使用 Dijkstra 最弱前置谓词方法确认了循环不变式的正确性。最后通过典型实例来说明该方法的应用。