湖北省自然科学基金(99J165) 作品数:18 被引量:58 H指数:5 相关作者: 黄本文 王秀花 廖向军 吕云翔 李圣国 更多>> 相关机构: 武汉大学 黄冈师范学院 河南科技大学 更多>> 发文基金: 湖北省自然科学基金 湖北省教育厅优秀中青年人才项目 更多>> 相关领域: 理学 自动化与计算机技术 电子电信 更多>>
基于问题域与视点代理的需求工程研究 被引量:4 2006年 在当前需求工程中有关多视点的研究基础上,本文提出了视点代理的概念,给出了代理模板的基本结构,并在此基础上简要介绍了关于模型转换及一致性检查等问题。最后给出如何将视点代理和问题域相结合形成新的需求工程开发方法。 喻超 毋国庆关键词:问题域 计算对称群S_n的所有幂零子群 2008年 本文研究了对称群Sn的所有幂零子群的计算方法.利用添加生成元的方法,获得了S7的全部5119个幂零子群.结果表明此方法是有效的. 王秀花 黄本文关键词:对称群 幂零子群 计算机 计算对称群S_9的所有交换子群 被引量:1 2008年 利用对称群的一些简单性质,设计了一种计算对称群S9所有交换子群的有效算法.利用计算机在较短的时间里计算出了S9的全部279 455个交换子群,并将它们分为72个共轭类,而且每个交换子群给出了一个最小生成元组. 张志强 朱雁 付红伟关键词:对称群 交换群 循环群 计算机 一类有限群构造的新证明 被引量:5 2001年 利用Fitting子群的特性及子群的扩张原理 ,证明了一类非交换群的构造即 2 3P(P =3,7)阶群的构造 :① 2 3·7阶群共有 13型 ;② 2 3·3阶群共有 15型 .这是一种最新的证明方法 ,该方法思路简明 ,证明篇幅较短 . 黄本文关键词:可解群 自同构群 FITTING子群 非交换群 有限群 正规子群 一种计算对称群S_n的所有可解子群的方法 被引量:4 2005年 利用计算机,设计了一种计算对称群Sn的所有可解子群的有效算法,并以S7为例,在较短的时间里计算出了S7的全部10945个可解子群,将其分为83个共轭类,而且每个子群给出了一个最小生成元组.同时给出了较详细的算法过程. 王秀花 黄若静关键词:对称群 可解子群 计算机 计算模糊子群的等价类 2005年 在群同构意义下即可对经典子群进行等价分类.模糊子群是对经典子群的推广,将模糊子群用一系列水平子群形成的极大子群链来描述,由群的格可得极大子群链,模糊子群的分类就转化为极大水平子群链的等价分类.从子群的格的角度出发,得到了有限群的模糊子群等价类个数的具体范围.计算出阶为pq的有限群的模糊子群的等价类个数. 詹环 黄本文 李圣国 胡文超关键词:有限群 等价类 模糊子群 一类阶为2qp^n的群的构造 被引量:8 2005年 利用可解群的性质,通过群的扩张理论,证明了Sylowp-子群为循环群的2qpn(q
李圣国 黄本文 詹环关键词:可解群 FITTING子群 正规化子 中心化子 自同构群 一种生成对称群S_9所有Sylow-p子群的算法 2006年 根据对称群的基本性质以及第二同构定理,给出了通过添加生成元到p群来构造对称群的一个Sylow-p子群的定理,添加的生成元保证能够快速得到对称群的一个Sylow-p子群.根据第二西洛定理求出了所有共轭子群,即所有Sylow-p子群.针对求所有共轭子群过程中面临共轭子群出现重复的问题,利用正规化子的性质,找到使得两个Sylow-p子群共轭的元,保证每次求的Sylow-p子群不重复.将此算法应用于S9,实验表明该算法可操作性强,耗费时间少. 詹环 黄本文 胡文超关键词:对称群 生成元 计算对称群S_n的所有Sylow-p子群 被引量:13 2004年 综合运用数论、群论等知识,通过设计有效的计算方法,给出了计算Sn的全部Sylow p子群及其生成元的算法,同时以S8为例,给出了较详细的算法过程及计算结果. 黄本文 廖向军 吕云翔关键词:对称群 The Structure of One Type of Non-Abelian Group 2002年 By the property of the solvable group and the extending theorem of group, the authors acquired the structure of one type of Non-Abelian group. And we proved that when order is 10p n (p#2,5) and the sylowp-subgroup is cyclic, the group has twenty types. Whenp#3, it has 12 types and whenp=3, it has 8 types. Huang Ben-wen关键词:CENTRALIZER NORMALIZER