【摘 要】
：
STAR(Small Tool for Algebraic Research)计划是国家"九五"攀登计划"数学机械化研究及其应用"的子课题--"基于吴方法的数学研究软件的研制与开发"的子项目.在STAR计划支
论文部分内容阅读
STAR(Small Tool for Algebraic Research)计划是国家"九五"攀登计划"数学机械化研究及其应用"的子课题--"基于吴方法的数学研究软件的研制与开发"的子项目.在STAR计划支持下开发的ELIMINO软件工具是一个功能丰富的解方程器,这为深入开展数学机械化的研究提供更为便利的条件.作为软件开发小组成员之一,作者主要致力于用户界面的研制工作.在吸取其他软件优点的基础上,着重解决了多种输入和输出方式的问题,完成了具有自己特色的图形用户界面的开发工作.该文按照基于面向对象技术的软件工程方法所实施的软件开发流程,介绍ELIMINO系统图形方式用户界面的研制与开发.
其他文献
对于解二阶椭园边值问题的有限元方法,以前的文献考虑的多是多边形区域或齐次Dirichlet问题,对于曲边区域上的非齐次Dirichlet问题少有报道.该文考虑的是用任意四边形类Wilso
该文完整地介绍了针对数字图像压缩的一套理论与方法,并且进行了实验,取得了很好的数字压缩效果.
时间序列分析是概率统计学科中应用性较强的一个分支，它是指所研究系统的历史行为的客观记录。时间序列分析提供了一套具有科学依据的动态数据处理方法，该方法的手段是对不同类
该论文首先绘出了核度的新定义,并证明此定义与原定义是等价的,以此建立新的算法来得到在计算机上实现的核度计算方法.此外,该文在模糊核度定义的基础上,首次给出了Fuzzy系统
整体微分几何的一个重要课题是研究某些几何变分问题的临界点性质.该文讨论紧致单连通的δ-拼挤(0
“高”书记并不姓高,而姓赵,名字叫赵忠顺,河北省饶阳县委书记、人武部党委第一书记。只因他抓人武工作总是棋高一招,人武部的同志都称他“高”书记。全面建设小康社会民兵
地下水水流模型和地下水水质模型都包含着许多随机因素,并受到这些因素的制约和影响,从而使它们具有一定程度的不确定性,把模型应用于预测和管理时,一个很重要的问题是怎样把
该文在R空间中,利用局部Lipschitz函数的广义方向导数这一概念给出了不变凸函数的概念,并给出了伪不变凸,拟不变凸等概念,在这些概念的基础之上,证明了多目标分式规划的最优
本文的研究是国家科技支撑计划——社区生活圈互动服务平台及应用示范项目的一部分。社区服务中心是由政府倡导，建立于社区、服务于社区的公办或民办机构。盈利模式的研究是现
在对晶体材料的研究中,对微结构的理解和计算起着重要的作用.Martensitic晶体 在高温状态下是一个对称的固态,称为Austensitic晶体,而在低温状态下就是Martendite ,它具有特