【摘 要】
：
该文介绍了实闭域上的量词消去算法-圆柱代数分解算法以及分布Maple系统.在分布Maple环境下,用Maple语言重组并且并行化了实闭域上的量词消去算法-圆柱代数分解算法.此算法是
论文部分内容阅读
该文介绍了实闭域上的量词消去算法-圆柱代数分解算法以及分布Maple系统.在分布Maple环境下,用Maple语言重组并且并行化了实闭域上的量词消去算法-圆柱代数分解算法.此算法是由Collins设计,HoonHong改进.在分布Maple并行环境中,由于每个节点都有各自独立的Maple内核,在计算机中同时利用几个Maple内核,减少了对单个内核的内存数量的需求,由此减少了垃圾回收,从而极大地减少了计算时间.
其他文献
该文着重于对分形的计算机真实感绘制方法的研究,主要从以下两个方面进行了探索:1.首先利用分形的生成方法结合计算机图形绘制技术,对于2-3维之间的分形进行了绘制,其中突破
智能环境调控系统结合了计算机技术、通信技术及诸多控制技术,依照用户要求而智能地控制环境内的众要素,是物联网领域的一个重要研究方面。但是由于智能调控系统接收到的用户
该文系统地介绍了数据仓库技术的概念和原理,通过对国内外研究概况、水平的分析,在现有的公安管理信息系统中人口系统的基础上,设计和构建了人口数据仓库.设计开发了动态报表
该论文首先介绍了提出程序挖掘的背景. 然后该文提出了程序挖掘的支撑环境.讲述了我们为什么要构造程序挖掘的支撑环境以及支撑环境所具有的功能.在程序挖掘过程中,该文引入
该文首先概述了CORBA（通用对象请求代理体系结构）的产生背景和体系结构.该文的主要工作在于：清晰地阐释了交易对象服务的原理;深入透彻地研究了OMG组织提出的交易对象服务规范;
本文以8电极电容层析成像系统为对象，研究了油水两相流的检测问题。介绍了电容层析成像系统的结构和工作原理，建立了系统的有限元模型，并以此为基础对场域进行剖分，采用了三角形
增强现实(Angmented Raality)是虚拟现实技术(Virtual Realiiy)的一个重要分支.该文首先讨论了基于视觉配准的增强现实系统中,特征检测与匹配的问题.文中实现了若干种不同的
有导文本分类是指在给定分类体系下,通过对训练语料的学习,抽取出某些特征,对每个类别建立特征向量以表示该类,对每一个新的文本,如果它的特征和某个类别文本的特征量大程度
当今时代,数字视频编码技术的发展、网络带宽的增加和数据存储费用的减少,使人们接触到越来越多的视频数据.对视频内容进行有效的低层特征分析和高层语义分析,从而生成不同层
该文在研究了目前的计算机性能评价的基础上,探讨了应用服务器性能评价的基本思路和方法,并用这个思路为指导,给出了一个Domino邮件服务器并借鉴了目前比较典型的几种测试工