论文部分内容阅读
用编程的方法讨论了群论中结合律的检查,同时把闭合律、单位元、逆元的检查也添进程序中,使得该程序能检查一个有限集合对所给二元运算是否成一个群.
有限群的结合律的计算机检查法
【摘 要】
：
用编程的方法讨论了群论中结合律的检查,同时把闭合律、单位元、逆元的检查也添进程序中,使得该程序能检查一个有限集合对所给二元运算是否成一个群.
【机 构】
：
四川三峡学院计算机系,重庆,400715
【出 处】
：
西南师范大学学报（自然科学版）
【发表日期】
：
2000年1期
其他文献
伽马暴与光学暂现源观测系统(Burst Optical Observer and Transient Exploring System,BOOTES)旨在建设覆盖全球的多台软硬件配置相同的全自动望远镜网络,继而实现对γ射线
讨论了金融时间序列的性质,通过实际数据说明,金融时间序列具有两个重要特性--统计自相似性和非平稳性.利用正交小波变换的方法,给出了其分形维的估计方法.最后,实证分析了国
讨论基于Internet(Browser/Web Server方式)的投资组合选择系统.首先简要地介绍了Markowitz投资组合理论以及互联网上构建投资组合的意义,接着分析构建投资组合的几种基于 Br
用半经验AM1方法研究了口恶唑硼烷酮催化环戊二烯与烯醛不对称环加成反应.结果表明,在催化剂存在下,反应的活化能明显降低.理论预测的产物手性与实验吻合.
给出了背景函数为x (0)(t)=be -a(t+1)+c 的精确级差格式,基于理想状态时的绝对误差提出了一种全新的灰色模型--灰色Gompertz模型.该模型具有良好的抗噪性,并且计算简单.实例
美国军方正在对全球定位系统(GPS)卫星导航技术进行升级,以应对刚刚获得关键资金资助的欧洲伽利略卫星导航计划.欧盟立法者近期批准了一项包括向已经延迟的伽利略卫星导航计
本文以大型信息系统为背景，结合作者多年来开发大型信息系统的实践经验，对基于大型信息系统的面向对象系统开发方法进行了一些研究。
讨论多元极值分布嵌套Logistic模型，给出了分布参数的矩估计及其渐近协方差阵元素的显式表示和数值结果.当边缘参数相等时,用合并样本估计公共参数,可以提高估计量的精度.
得到了不满足链条件的[n,3;q]线性码(q=8,9)的差序列的充要条件；并应用改进的遗传算法搜索满足链条件的[n,4;4]线性码的差序列，取得了较好的结果。