基于面向对象技术的吴方法软件系统ELIMINO的研制与开发

来源 :中国科学院系统科学研究所 | 被引量 : 0次 | 上传用户:b2316
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
STAR(Small Tool for Algebraic Research)计划是国家"八五"、"九五"攀登计划"数学机械化研究及其应用"的子课题--"基于吴方法的数学研究软件的研制与开发"子项目.该计划是一个以吴文俊院士的特征列方法为核心算法的数学软件工程.这一计划所开发的ELIMINO<>软件工具将是一个功能丰富的解方程器,它将为深入开展数学机械化的研究提供更为便利的条件.数学软件的研制与开发是广泛及到数学和计算机科学两个领域的研究项目.为了既能充分实现吴方法的基本算法,又能使该软件成为一个开放式的数学研究平台,特别是能够在未来将基于吴方法的新的重要研究成果及时集成到系统的核心中,系统全面采用了面向对象技术进行分析与设计,以便最大程度地提高系统各模块(对象)的独立性和重用性,并着重解决了系统结构、数据结构、内嵌编程语言和解释环境,以及内存管理等技术问题.该文将按照基于面向对象技术的软件工程方法所实施的软件开发流程介绍ELIMINO软件系统的研制与开发.其基本内容包括:1.ELMINO软件系统的系统分析;2.ELIMINO软件系统的系统设计;3.ELIMINO软件系统的实现;
其他文献
首先,该文利用Riesz谱系统的特性,从相应Riesz谱算子的特征值出发,得到Riesz谱算子生成的C半群弱稳定性等价于强稳定性,且给出其对应的等价条件为:Riesz谱算子特征值的实部小
差集是一类重要的对称设计,在计算机理论?编码理论中有广泛的应用.研究差集的方法目前主要是运用群表示论和代数数论的办法.在这样的方法体系中,自共轭的概念的及特征标整除
该文利用Banach代数中局部化原理,描述了Bergman空间上以L (D)为符号的Toeplitz算子的本质谱.给出了本质谱的局部表示.讨论了局部谱之间的关系.同时也考虑了多变量Hardy空间H
图和流形都是重要的拓扑空间,利用图的良好性态对流形的概念加以推广具有重要意义,在Z/k流形的基础上文ⅰ8ⅱ提出了图式流形的概念,其后有不少文章(如ⅰ9ⅱ-ⅰ15ⅱ)以具有相
该文首先考虑两个元件受三个冲击源冲击的一非致命冲击模型,得到了元件的寿命分布,推广到元件承受n次冲击才失效的模型下的寿命分布,并考虑了n个元件、2个冲击源的非致命冲击
排队论由于其鲜明的实际背景和广泛的应用性,一直受到学者们的广泛关注。它适用于通信系统、交通系统、计算机系统、存贮系统、生产管理系统等一系列服务系统,其中M/M/s排队模
该文首先研究了特征标理论中的一个中心问题-p-模特征标的Huppert猜想,这是较常特征的Huppert猜想更困难的问题,该文将可解群的这一问题归结到一种很特殊的群-幂零亚阿贝尔(n