下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
计算机代数课程学习心得20085655冯国强所谓计算机代数,顾名思义,是计算机科学与数学交叉融合的产物。而作为信息与科学专业的我们来讲,有必要了解这些建立在数学理论基础上的代数算法,通过本学期课程的学习,个人认为计算机代数无非是在现代计算机发展势头势猛的年代发展出的用“符号运算”代替以往“数值运算”的学科,以此达到更快速·、更精确、更深层次的解决实际问题的目的。本学期主要以代数基本知识为主线介绍了简单的代数基础知识、大整数的处理以及多项式代数等三大方面内容,通过对此三方面的代数运算的概念进行阐述,并结合其基本性质及常用算法加以探讨学习,最终实现在计算机上的应用。下面将根据以上三个方面对本学期所学内容作出如下总结:1、计算机代数,无可厚非,代数作为基础部分我们不能忽略它的作用。首先,我们对《抽象代数》中所介绍的群(G,o)、环(R,o,·)、域(K,+,·)三部分内容进行了新的认识。由满足分配律的群生成环,由每个非零元都有乘法逆的交换环再生成域,由此可见,计算机代数中我们把交换代数的基本知识作为重点的研究对象,当然与此同时我们也对环和域中的内容进行了扩充并介绍了其算法。我们分别对理想、环同态、商环、某环的因子分解、域的扩张等方面进行了详细的讨论。从学习中我们了解并掌握了多项式中理想的Hilbert基本定理,理想的升链条件,Hilbert零点定理等重要定理,这为以后的学习埋下了良好的铺垫,而其中的基本条件K[x1,x2,···,xn]与其他一般交换环的不同,这里K[x1,x2,···,xn]的理想总是有限生成的。商环并不是我们所认为的所谓环的商,而是商集R\I在加法“+”和乘法“·”运算下成为的环(其中I为R的一个理想)。然而除法的概念在符号计算中却起着非常重要的作用,但在环里进行了一般的除法运算是不可行的,因此我们引入了整环中因式分解的概念。对于有隶属于中整式的因式分解我们并不陌生,因此当我们把数域平移至整环中,我们也就很快接受了。与有理数域不同的是,整环Z中,可逆元只有1和-1两个,因此两个相伴的整数可以有相同的符号,也可以有相反的符号,由此可知,两个整数的最大公因子可以相差一个正负号,这就学要我们根据确定的规划选取规范元来求解最大公因子不唯一的问题,进而便可对整环进行因式分解,而同样的规范方法同样适用于最小公倍数的求解,这里不一一赘述。另外,并非每个整环都是一个UFD,而整环也未必有最大公因子,但UFD中,最大公因子比人存在切唯一,因此,对于一个UFD,在其上定义了规范元,则有a∈D的系分解形式a=u(a)P1d1P2d2···Pndn。在多项式的各种运算中,一个很重要的运算就是带系除法a=qb+r,而带余除法在一般整环中却未必成立,这就要求我们必须了解一类特殊的整环——Euclid整环。在Euclid整环中,利用带系除法,计算两个元素的最大公因子(如果存在)便方便得当。而且Euclid整环及其重要性质也是今后我们重点研究的对象。2、在计算机代数中,数据的运算必须是精确的,不容许有导入误差,因此数据都需要用整数来表示,然而很多情况下,虽然初始数据不是很大,在运算过程中数据膨胀却很快,而数据膨胀现象与计算方法有密切关系,这就需要我们了解大整数的表示、比较及运算,以期在计算中取得最优的效果。对于大整数的表示通常有三种方法——链表法、动态陈列分配法及定长陈列方法。对于这三种表示各有优缺点,可在不同的代数系统选择合理的方法,如基于C语言的代数系统采用动态阵列,基于LISP语言的代数系统采用链表表示等。而大整数的比较则与十进制整数比较是一致的,数位多的总是大于数位少的,相同位数的比较则从高位逐次开始比较。大整数的运算大整数的加减法、乘法、快速乘法、除法以及最大公因子与最小公倍式的计算。对于加减法,无可非议的可以很自然的由简单的算法给出,而快速乘法则是对乘法的优化及改进,以使其计算步骤实现由O(n2)到O(nlog23)的减少,这也是快速乘法受到重视的原因。对于大整数的除法,则根据带余除法设计算法求得。对于最大公因子的计算,我们采用了著名的Euclid算法,同时我们对Euclid算法进行了改进(即扩展Euclid算法),更好地完成了Euclid算法中的应用。而对于最小公倍数的计算,我们只需计算一个最大公因子、一个乘法和一个除法就可以了。在计算机代数的计算中,经常需要处理大整数,这自然要话费很大的计算量,为尽可能避免处理大整数,人们采用了所谓的模方法,即有限域上的计算。我们利用同余的关系把整数环Z中的整数划分为一个同系子集,当a、b模的所得余数相等时,我们就视这两个数等价。另一方面,我们还研究了整数的p-adic表示,对任意给定的整数a,将其表示成(设是有限域,p是素数),这里p不一定选择接近计算机的步长表示,如此便可控制元素整数的大小,这在符号计算中起着不可替代的作用。当然孙子剩余定理也是整数的另一种表示方法,与前述两种方法有异曲同工之妙,三者参与的运算实现了大整数向普通整数的过渡。3、计算机代数中很多问题都是围绕多项式问题展开讨论的,因此我们对多项式的表示、运算性质以及当前计算机代数领域中最流行的研究工具——Groebner基方法与方法进行了系统的学习。我们首先对一元多项式环Euclid整环进行了简单的介绍,针对其除法运算的条件进行了一系列的分析,并对其系数进行了讨论,印象尤其深刻的是在域Q中,每个非零元都是可逆元,因此在计算是不必考虑系数的公因子,而在I中,可逆元只有1和-1,必须考虑系数的公因子。对于一元多项式环中的运算,总结来说,我们将多项式的环中未定元的方次由大到小排列,再利用带余除法来计算。然而,在符号计算中,人们更感兴趣而且实际问题中涉及最多的往往是多元多项式环,因此我们不得不学习多元多项式问题的有关算法。像一元多项式一样,对于多元情形,我们也应该对所有单项式排一个序,因此提出用字典序、全幂序、分次反字典序三种方法排列,最终以实现对多项式的约化。需要注意的是,对于给定的以多项式P与一多项式组G={Q1,…,Qm},P模G约化是不唯一的,它依赖与约化的次序,但不管约化的次序如何,最终总会得以多项式,它相对于G={Q,R}是不可约的,这也是约化的一个重要性质。最后我们了两种重要方法——Groebner基方法与吴方法的介绍和应用。通过学习,我们知道理想成员问题是可以计算地判别的,在多项式代数的理论研究中,商环中的计算,多项式方程组的求解,多项式理想的-adic表示等都离不开Groebner基的计算。而吴方法则完全采用零全集的观点来处理问题,因此在许多方面要比Groebner基方法更有效,利用吴方法不但能够证明定理,还可以发现定理与未知的关系。吴方法的定理机械化不仅证明实现了几何定理的代数化,同时吴方法还在数学理论研究、理论推理、机器人制造等诸多领域都得到了广泛应用。通过本学期学习我对符号计算领
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 二零二五年度2025版木材行业标准制定合作合同2篇
- 福建省泉州市南安市2024-2025学年八年级上学期期末英语试题(无答案)
- 创新创业-职业核心能力课件
- 丝印精加工在微型电子设备制造领域的应用考核试卷
- 二零二五年度墓地陵园土地租赁与使用权转让合同4篇
- 母婴行业2025年度母婴用品环保认证服务合同2篇
- 二零二五版钢材货物流动银行托管运输合同3篇
- 二零二五年度木制品生产与销售承包合同3篇
- 2025年公司内部竞业保密协议
- 2025年太阳能光伏电站智能监控工程施工合同
- 2024年高纯氮化铝粉体项目可行性分析报告
- 安检人员培训
- 山东省潍坊市2024-2025学年高三上学期1月期末 英语试题
- 危险性较大分部分项工程及施工现场易发生重大事故的部位、环节的预防监控措施
- 《榜样9》观后感心得体会四
- 2023事业单位笔试《公共基础知识》备考题库(含答案)
- 化学-广东省广州市2024-2025学年高一上学期期末检测卷(一)试题和答案
- 2025四川中烟招聘高频重点提升(共500题)附带答案详解
- EHS工程师招聘笔试题与参考答案(某大型央企)2024年
- 营销策划 -丽亭酒店品牌年度传播规划方案
- 2025年中国蛋糕行业市场规模及发展前景研究报告(智研咨询发布)
评论
0/150
提交评论