【摘 要】
：
该篇论文围绕ELIMINO的研制与开发,首先在第二章,详细说明了采用面向对象技术的ELIMINO符号计算软件平台的系统分析（OOA）、系统设计（OOD）和系统实现（OOP）,并着重就系统结构、数据结
论文部分内容阅读
该篇论文围绕ELIMINO的研制与开发,首先在第二章,详细说明了采用面向对象技术的ELIMINO符号计算软件平台的系统分析（OOA）、系统设计（OOD）和系统实现（OOP）,并着重就系统结构、数据结构、内嵌编程语言和解释环境、数据管理及内存管理等技术问题进行了讨论.多项式最大公因子（GCD）的计算和因式分解是国际上公认的软件实现中的关键与难点.第三章主要从理论和算法方面,详细讨论了符合ILIMINO系统特点的求解多项式GCD和因式分解的模算法,并给出了多个有利于提高GCD和因式分解计算效率的技巧,同时还叙述了其在ELIMINO系统中的实现流程及效率.为了提高吴方法计算的效率,我们对并行环境下吴方法的计算进行了研究,将并行计算技术与符号计算相结合,给出了如何在ELIMINO和MPI（MessagePassingInterface）的基础上建立一个局域网并行计算环境来实现吴方法并行计算的方法,这是第四章的主要内容.最后在第五章,我们引入了一种新的图形用户界面的设计思想,阐述了通过采用开放数学引擎接口规范OEMEI,将因特网数学计算系统IAMC的客户端程序Drgonfly设计成ELIMINO的本地和远程图形用户界面的方法.
其他文献
该文主要针对流体力学中的对流-扩散方程,使用多小波方法来进行数值求解.首先介绍了小波在偏微分方程数值求解中的基本算法及其发展过程,并阐述了多小波的发展历程及多小波的
该文旨在讨论使用非重叠型区域分解法求解Stokes方程外问题,为克服区域无界性的困难,我们做一人工边界将区域分解为两部分：一个有界区域,在上使用混合有限元求解;一个无界区域
与其它项目的运动员有所不同,对于举重运动员来说,做好赛前体重的降控尤为重要.基于这样的现实背景,文章以“优秀女子举重运动员赛前降控体重及训练监控”为主要研究对象,展
差集是有限群中的一个具有某种组合性质的子集,它的存在等价于存在一个具有正则自同构群的对称区组设计.由于上述的设计背景,差集始终受到组合学家的关注,又由于差集可以用来
群众文艺活动的广泛举办,需要有一批坚实的基层文艺者作为创作骨干.基层文艺骨干的培训工作就成了促进群众文艺繁荣的关键一环.本文分析了当前基层文艺骨干培训现状,并针对其
该文研究了输出函数为Sigmoid类函数的延时细胞神经网络（DCNN）的稳定性,提出了一个使DCNN完全稳定的充分条件.而且此条件还可以保证更广一类神经网络如Hopfield神经网络的完全
在前言部分,我们讨论了所解决问题的背景与未来可能的发展.在第一部分,我们解决了调和映射Hopf建立中一个公开的问题.在第二部分,我们给出了带一个非整闭链的动力系统的Novik
在这篇博士论文中,我们主要研究R上p(x)-拉普拉斯方程的解的存在性和多解性.众所周知,p-拉普拉斯方程有着广泛而重要的物理背景,它们出现在许多物理领域之中,如流体力学、渗
该文研究了泰勒级数与随机泰勒级数和狄里克莱级数的增长性以及拟亚纯映射的Borel方向.对于泰勒级数与随机泰勒级数和狄里克莱级数,得出了它们的增长性与其展开式的系数之间