原因如下:
1、因实际工作实习实践内容变动,所以更改论文题目。
2、因研究需要,要将题目界定更加严谨。
3、经过一段时间的准备,觉得原定论文题目太大,范围太宽,涉及面过广,来不及进行全面的深入研究,为了更好的做好毕业设计(论文),顺利完成论文,与指导教师协商后,需更换题目,对其中一个问题做深入研究。毕业论文(graduationstudy)是专科及以上学历教育为对本专业学生集中进行科学研究训练而要求学生在毕业前撰写的论文。一般安排在修业的最后一学年(学期)进行。学生须在教师指导下,选定课题进行研究,撰写并提交论文。目的在于培养学生的科学研究能力;加强综合运用所学知识、理论和技能解决实际问题的训练;从总体上考查学生大学阶段学习所达到的学业水平。论文题目由教师指定或由学生提出,经教师同意确定。均应是本专业学科发展或实践中提出的理论问题和实际问题。通过这一环节,应使学生受到有关科学研究选题,查阅、评述文献。制订研究方案,设计进行科学实验或社会调查,处理数据或整理调查结果,对结果进行分析、论证并得出结论,撰写论文等项初步训练。
论题:置换群运算与证明的数学机械化
目录
摘要
ABSTRACT
' 1.1科学计算和计算机代数系统.
' 1.2论文的主要结果及安排
第二章群论知识背景
' 2.1置换群
' 2.2置换群的运算及其在集合上的作用
' 2.3小结
第三章置换群运算与证明的计算机实现
3.1置换群上运算的实现 3.2置换群证明的计算机实现
3.3小结
第四章计算对称群的子群
4.1数据表示和计算方法
4.2对称群中的交换子群.
4.3例子
第五章结束语
杯.1群论和算法
5.2对A。为单群的计算机证明的展望.
5.3计算机代数系统的局限性
致谢
参考文献
附录A置换群运算的Mathematics程序
群论的算法是一个很有意义的问题。在实际应用中遇到的群大都十分复杂,需要借助于计算机来实现其运算。本文用计算机代数系统Mathematica实现了置换群上的运算和证明问题。
针对置换群上的基木运算、子群的运算和生成以及群对集合的作用等问题,我们设计了相应的算法并用Mathematica实现了这些算法。
把交代群A。的元素按共扼分类,将除单位元所在共扼类之外的其它共辘类的阶数进行所有可能的组合相加,对所得的每个数加上单位元所在共扼类的阶数1,然后用所得结果依次去除{An,如果其中存在某个数k,使得k能够整除{An I,则只有阶数相加为k的那些共扼类的并集所生成的群才有可能成为A。的非平凡的正规子群。从这个理论出发,我们设计了用计算机代数的方法判断A。是否为单群的算法,当n< 10时都能很快地得出An (n } 4)为单群的结论。
Caley定理揭示了一个抽象群G和一个具体的群Sn的关系。如果能把Sn中所有不
同构的n阶子群都找出来,那么也就能把所有可能存在的n阶群都找出来了。本文讨论了计算对称群的所有子群并对其进行共扼分类的算法,作为例子,我们完成了}S(n_7)的所有子群的共扼分类。
论题:置换群_PSL_3_p_PSL_2_7_的次轨道结构
目录
摘要
Abstract .
1.引言
2.预备知识
3.主要定理证明
3.1长为7的自阮挤寸次轨道
3.2长为8的自配对次轨道
3.3长为14的自配对次轨道
3.4长为21的自配对次轨道
3.5长为24的自配对次轨道
3.6长为28的自配对次轨道
3.7长为42的自配对次轨道
3.8长为56的自瓦织寸次轨道
3.9长为84的自配对次轨道
参考文献
致谢
摘要
设群G是有限集合几上的传递置换群,对任意aES2,令G。二{9〔G}as二a}
是G关于点a的稳定子群.我们称G。在几上作用的轨道为G关于a的次轨道,
而次轨道的个数称为G的秩.对任一次轨道△,设as E△,则把as_,所在的次轨道△,称为与△配对的次轨道.当二者重合时,称其为自配对的.
决定一个置换群的次轨道结构是置换群理论的基本间题之一,它在组合结构的研究中有着重要的应用.在文!21】中,作者决定了PSL(3,川关于极大子群 PSL(2, 7)的本原置换表示的次轨道,其中p三1(mod 168),但未研究其次轨道的瓦妞寸情况.而在多数情况下,群在组合结构方面的应用要求决定次轨道的配对情况.本文将决定该置换表示的全体非正则自配对的次轨道.
什么叫毕业论文?在不知情的情况下,被老师换了呀,难道他把你的毕业论文给自己用了吗?那就是侵占你的,这怎么行啊?你应该去找老师问问他为什么要这么做呀?这样做是违法的呀,你自己应该还有手稿在手上吧,完全可以证明那个论文是自己的吧?希望老师不要犯错误,搞到那种对簿公堂的地步。