分享到:

钨酸铕钠晶体晶格振动的群论分析和喇曼光谱

本文对新型激光晶体钨酸铕钠[Na_5Eu(WO_4)_4]的晶格振动进行了群论分析.给出了该晶体在(?)点晶体格振动的对称性分类.它们是:18Ag+20Bg+20E  (本文共6页) 阅读全文>>

《大学物理》1988年06期
大学物理

一本比较好的群论教材

据说,在本世纪初人们还想不出来群论对物理学会有什么用处.曾几何时,几十年以来对物理学中对称性的研究取得了辉...  (本文共1页) 阅读全文>>

《四川职业技术学院学报》2014年01期
四川职业技术学院学报

群论中的逆同态与逆同构

研究了群论中逆同态(逆同构)的一些基本性质,得到了群论中同态(同构...  (本文共3页) 阅读全文>>

《安庆师范学院学报(自然科学版)》2001年03期
安庆师范学院学报(自然科学版)

群论教学中的对称渗透

对称与群紧密相连 ,...  (本文共2页) 阅读全文>>

辽宁师范大学
辽宁师范大学

基于Alloy的群论定理的机器验证

群论定理的机器验证是自动推理领域内的一个研究课题,其验证程序广泛应用于代数学、密码学、计算机科学等学科中。早期开发的验证程序都属于原型程序,在验证群论定理时有一定的缺陷和不足,到目前为止都没有了后续的改进工作。这些验证程序应用的描述语言表达能力十分有限,无法描述较复杂的群论定理。另外,它们验证时运行的效率相对较低,只能处理部分的群论问题。本文提出一种基于Alloy分析器验证群论定理的新方法。该方法首先通过Alloy语言对群论定理进行建模,然后使用Alloy分析器对建立的模型自动验证。使用本文提出的新方法验证群论定理有以下优点:1.Alloy建模语言的表达能力非常强,能够简洁的描述群论定理中的各种关系;2.Alloy分析器具有破除对称性的高效算法,可以显著提高验证群论定理的效率;3.Alloy分析器能够将最终的结果以图形的形式显示出来,可读性非常强。基于提出的新方法,本文利用Alloy对群论中的部分定义和定理进行了机器验证实验。实...  (本文共40页) 本文目录 | 阅读全文>>

《国际学术动态》1997年12期
国际学术动态

群论研究相当活跃

第5届圣安德鲁群论会议于1997年7月26日至8月9日在英国西南部的小城巴斯举行,有38个国家的293名学者出席会议。会上交流论文...  (本文共1页) 阅读全文>>