收藏本站
《哈尔滨工业大学学报》 1985年A3期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

抽象数据型与一类表达式的化简

郭福顺  高铁军  
【摘要】:文[1]阐述了REP表达式类的规范化简算法,本文着重讨论与该算法的实现有关的问题,定义了抽象数据型E—P表并按抽象数据型的观点对算法进行组织,因而算法结构合理,清晰易读。整个程序是用C语言书写的并在system—8000微型机上调试通过。
【正文快照】:
一、引言 代数化简是计算机代数中的一个基本工具,任何一个理想的计算机代数系统都离不开它。FORMAC系统的设计者之一Tobey说过,实现FORMAC的主要技巧和工作量就是化简。目前,计算机代数系统所具备的代数化简能力,从方法,技巧和智能的角度来看,与人类已具有的手工化简能力比

【相似文献】
中国期刊全文数据库 前10条
1 蔡汉明,宋晓梅,胡海清,魏延斌,王文平;中文二维交互式绘图软件CADM的数据结构[J];青岛大学学报(工程技术版);2002年02期
2 蓝艳玲,刘任任;一种新的树结构及其在排序中的应用(Ⅰ)[J];湘潭大学自然科学学报;1994年04期
3 杨龙平;;ID3算法创建的数据模型的存储结构探讨[J];电脑知识与技术;2011年09期
4 李万学;算法的折算复杂性分析方法[J];计算机学报;1992年11期
5 肖宝麟;一个实用智能系统的数据结构[J];重庆大学学报(自然科学版);1986年01期
6 朱承学,李崧;一种类似Windows文件夹模式的数据结构[J];电脑与信息技术;2004年06期
7 鲁保玉;李国贞;;城市地下管网地理信息系统的数据结构[J];计算机应用与软件;2008年03期
8 曹阳;;求解关键路径的新算法[J];福建电脑;2007年06期
9 谢建国;;浅谈“高低指针法”在排序中的应用[J];今日科苑;2008年10期
10 张志强;古沐松;郑加林;;自引用机制在软件算法中的设计与实现[J];成都大学学报(自然科学版);2010年01期
中国重要会议论文全文数据库 前10条
1 崔云俊;熊春阳;方竞;;一个网格剖分的组合方法[A];计算力学研究与进展——中国力学学会青年工作委员会第三届学术年会论文集[C];1999年
2 陈洁;陆锋;;交通网络最短路径标号改正算法的研究与应用[A];中国地理信息系统协会第八届年会论文集[C];2004年
3 颜海;曾明根;范立础;;大跨度系杆拱桥拱脚结点局部应力分析[A];中国公路学会计算机应用学会2002年年会学术论文集[C];2002年
4 赵亚男;王晓明;郭进;;微机联锁系统健壮数据结构的研究[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
5 王宇;孟小峰;王珊;;OrientX中的统计信息收集方法研究[A];第二十届全国数据库学术会议论文集(研究报告篇)[C];2003年
6 张瑞;;Bloom滤波器理论及其网络应用[A];江苏省通信学会2004年学术年会论文集[C];2004年
7 靳芳芳;;医院信息系统海量数据存储策略分析[A];中华医学会医学工程学分会第十次学术年会暨2009中华临床医学工程及数字医学大会论文集[C];2009年
8 刘亚波;刘大有;高滢;;以实验教学深化“数据结构”理论教学[A];2005全国计算机程序设计类课程教学研讨会论文集[C];2005年
9 李菡;李磊;;基于eBase数据库的数据结构持久化研究与应用[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
10 王晓琳;;三角剖分方法的综述[A];山东省计算机学会2005年信息技术与信息化研讨会论文集(一)[C];2005年
中国重要报纸全文数据库 前10条
1 李铭;拓扑控制[N];计算机世界;2004年
2 韩养社 高虎贤 王再英;谈楼宇控制自动化的发展[N];中华建筑报;2006年
3 潘晏涛 卢泽新;路由技术[N];计算机世界;2004年
4 王伟;鞠颂东教授认为:物流信息网络化势不可挡[N];现代物流报;2006年
5 蒋杰 方力 窦文华;覆盖控制[N];计算机世界;2004年
6 重庆 Over-Time;程序=算法+数据结构[N];电脑报;2004年
7 虞万荣 徐为;节能优化技术[N];计算机世界;2004年
8 彭伟 卢锡城;信息采集走向自动化[N];计算机世界;2004年
9 中科院计算所 罗杰文;P2P网络的拓扑结构[N];计算机世界;2006年
10 陈以尧;改进民兵集结点验的方法[N];中国国防报;2004年
中国博士学位论文全文数据库 前10条
1 刘勇;大规模对等资源共享关键技术研究[D];电子科技大学;2010年
2 赵智超;对等数据共享中的模式映射管理[D];天津大学;2008年
3 赵伶俐;面向城镇化数据整合的数据索引方法研究[D];中南大学;2010年
4 赵岩;反向工程中曲面重建的几何连续性研究[D];大连理工大学;2002年
5 章孝灿;快速高精度DEM生成技术研究[D];浙江大学;2002年
6 崔利宏;多元Lagrange插值与多元Kergin插值[D];吉林大学;2003年
7 谢鲲;布鲁姆过滤器查询算法及其应用研究[D];湖南大学;2007年
8 杨思睿;覆盖网络中病毒防范策略的研究[D];华中科技大学;2009年
9 张晔芝;基于图形旋转系统的渐进层次细节方法研究[D];中南大学;2007年
10 杨建;面向音视频解码的SoC平台设计[D];浙江大学;2006年
中国硕士学位论文全文数据库 前10条
1 朱雅莉;堆栈和二叉树数据结构在DNA计算机中的设计与实现[D];湖南大学;2007年
2 陈延郴;netgraph架构的研究及其应用实现[D];电子科技大学;2009年
3 赵旭;P2P中基于博弈论激励机制研究[D];中南大学;2011年
4 陈朝慰;无伸缩缝桥梁桥台与主梁的结点构造及受力性能研究[D];福州大学;2003年
5 王丽琴;基于Linux操作系统下的数据结构的模板类库[D];北京化工大学;2002年
6 陈思佳;电子商务个性化服务系统的研究与实现[D];南京航空航天大学;2007年
7 张丹;嵌入式GPS导航引擎的研究与实现[D];电子科技大学;2009年
8 邓又明;《数据结构》课程形象化教学软件设计[D];吉林大学;2006年
9 李强;基于控件技术的算法可视化的研究[D];太原理工大学;2007年
10 花玲玲;基于GIS空间分布特征的Dijkstra最短路径算法研究[D];重庆大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026