【摘 要】
：
该文是在对吴-Ritt代数特征列理论以及算法的研究基础上,对常微分情形吴特征列理论的进一步探讨和应用.具体讨论了微分多项式零点分解算法,常微分多项式拟簇的投影算法和含参
论文部分内容阅读
该文是在对吴-Ritt代数特征列理论以及算法的研究基础上,对常微分情形吴特征列理论的进一步探讨和应用.具体讨论了微分多项式零点分解算法,常微分多项式拟簇的投影算法和含参变量的常微分方程组求解方法,深入研究了吴微分特征列方法和微分几何定理机器证明的基本原理,并且作者在Maple系统中具体实现了吴特征列算法, Grobner基算法和含参(常微分)方程组投影算法,还结合Maple与Java语言进行可视化编程,最后给出使用吴微分特征列进行微分几何定理机器证明的实例和通过投影求解含参常微分方程组的实例.
其他文献
城市综合管网是由纵横交错的给水、排水、燃气、热力、电力、电信、工业管线组成的错综复杂的空间体系.该论文基于MAPGIS的数据类型提取管线管点坐标、管径、埋深等信息,计算
为改变中国在现代战争理论和实践上的落后状态,我所与国防总参四部多年来合作引进、剖析并开发了相应的软件.该文就是以我所基金项目电子对抗系统计算机仿真作为背景,研究定
该文研究对象是Web这样的动态海量信息;研究的主要目标是要得到Web信息处理的有效方法,给用户返回高质量的检索信息.为此提出一种个性化服务系统的结构.通过对国内网页数量的
空间图像具有背景单一、目标远近不一、高曝光和低曝光等特征。现有的图像融合算法难以满足空间背景下的图像融合问题。本文通过对现有融合算法进行研究,针对空间背景下的图
该文以实现城市范围环绕智能家居环境为课题背景,在个人通信网这一底层网络的基础之上,构建出城市范围基于环绕智能的家庭身份认证系统的软件体系结构,为城市内家庭用户提供
由于NERMS项目的需要,该文对推荐系统进行了研究.因为基于规则的推荐可能获得更好的性能,所以该文的研究主要集中在基于规则推荐的用户关联推荐.在用户关联推荐的用户关联挖
该文回顾 搜索此擎的历史、国仙外现状及基本技术,阐述了概念检索的意义,设计了一个基于概念语义网络实现概念检索的中文元搜索引擎.在设计方案中,采用自学习的方法构建概念
该文围绕第二代搜索引擎的构建,重点研究了Web内容挖掘、结构挖掘和中文分词技术及其在搜索引擎中的应用,并探索了主题搜索引擎的关键技术.该文在介绍了Web挖掘技术及搜索引
该文的研究是公路路面自动检测系统的一部分,着重于探讨公路路面中"病害"的智能识别方法及其主要特征的提取,研究了现代计算机图像处理技术在公路路面自动检测中的应用.该研
本文针对传统面向对象语言的委托/消息转发机制因为其内在的不足，极大的限制了构件改编能力的现状，介绍了一种基于对象的继承(Delegation)机制，进而介绍一种在基于类的面向对象