【摘 要】
：
MMP是一个从系统底层开始构建的基于吴方法(吴整序理论)的数学机械化软件系统.作为国家基础研究发展规划项目(973)的重要研究内容,MMP为进一步推广和应用吴方法提供了一个优
论文部分内容阅读
MMP是一个从系统底层开始构建的基于吴方法(吴整序理论)的数学机械化软件系统.作为国家基础研究发展规划项目(973)的重要研究内容,MMP为进一步推广和应用吴方法提供了一个优良的软件工作和开发的平台.该篇论文主要围绕MMP符号计算软件平台的系统分析(O0A)、系统设计(0OD)和系统实现(OOI),并着重就数据结构组织、一些数据结构的特点,以及数据类型之间进行四则运算与所产生结果类型情况等问题进行了讨论,这一章所涉及到的有关问题在MMP软件系统有着十分重要的意义,因为无论在MMP软件系统的底层和应用层次还是在其他以MMP为计算支持后台的应用软件上工作,都需要对这一章的内容有一定的了解.
其他文献
该文深入研究了非线性与线性的本质区别、非线性波的传播特性和非线性波运动方程的有限元解法,并结合实际进行计算和分析.该文首先阐述了非线性科学的起源与发展,指出了非线
王乐泉发表重要讲话,要求认真学习贯彻十六届四中全会精神,树立落实科学发展观、统一思想,着眼长远,立足当前,全力以赴做好今冬和明年的工作自治区党委六届八次全委(扩大)会
该文所讨论的方法属于基于函数参量的比较认证法.必须说明的是,该文的方法是针对较为相似、难于分辨的签名样本间的比较而言,差异较大的签名可由简单的方法鉴别出来.该研究的
作者首先根据方程形式和边值条件构造了一个变换,得到所论问题的等价积分方程.然后利用Leggett-Williams不动点定理,证明此变换有三个不动点,从而说明原方程有三重正解.进一
该文主要是讨论了结合环上矩阵子环到全阵环上的导子.作为线性代数中的重要组成部的一矩阵理论来讲,已不再单一的考虑一个数字矩阵,而经常是把它放到环上来考虑,也就是在环上
自从1965年美国加州大学的Zadeh教授创建模糊集理论[1]和1974年英国的E.H.Mamdani成功地将模糊控制应用于锅炉和蒸汽机控制[2]以来，模糊控制得以广泛发展并在现实中得以成功应
该文主要研究了多个剂量水平和多个混合子总体下的参数估计及其在药物剂量反应研究中的应用,并侧重于探讨易感比例随着药物剂量增加而发生变化的有限混合正态模型,同时将该模
有很多的教师经常抱怨学生课堂上学习没有热情,不踊跃发言,不爱回答问题,提不起精神,还有的甚至说:“因为他们没有了精神,所以我也就没有了精神.”真的是这样吗?其实,是因为
该文先介绍了Owen和Hoffmann的工作,然后利用Latham-Middleditch思想和C树的性质提出了基于关系图的图分解算法,把关系图以邻接表的方式进行处理,得到一个广义构造序列,并以