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

来源 :哈尔滨工业大学学报 | 被引量 : 0次 | 上传用户:zhoupingwoo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文[1]阐述了REP表达式类的规范化简算法,本文着重讨论与该算法的实现有关的问题,定义了抽象数据型E—P表并按抽象数据型的观点对算法进行组织,因而算法结构合理,清晰易读。整个程序是用C语言书写的并在system—8000微型机上调试通过。
其他文献
所谓混合教学,主要是指将在线教学和传统教学优势结合起来的一种"线上"+"线下"教学模式。通过两种教学组织形式的有机结合,能够满足学习者的多元化学习需求,无论是对学生水平
2010年3月9日,德国倍福(Beckhoff)在广州举行了“XFC引领极速控制新时代”暨新产品推广会。这是进入2010年以来德国倍福在业内 March 9, 2010, Beckhoff in Germany held a
贵州省矿业权实地核查是按照国土资源部的要求,在矿产资源领域开展的一项基本国情调查。全省矿业权实地核查共投入工作经费14379.07万元,投入核查技术人员1830人,完成了全部1
在世界新一轮科技革命及国家创新体系建设等大背景的督促下,全球新经济、全球工业高速发展需要人才支撑,培养专业知识扎实、工程能力卓越、创新意识先进、应变能力强的高素质
期刊
为适应新一代空中交通运输系统的变化,提出一种考虑驾驶员意图的航空器冲突规避模型.新模型通过对驾驶员意图进行建模,提出了改进的航空器位置预测模型,在此基础上分别建立航
通过MATLAB建立了无刷励磁系统的模型,并进行了仿真。利用发电机故障模拟平台对旋转整流器早期故障进行了试验研究。通过仿真和试验的对比分析,提出了一种基于谐波分析的旋转
中国电工技术学会微特电机专委会换届选举工作会议于2010年8月30日—31日在上海召开。本次的专委会换届工作得到了各委员单位的大力支持,有46位委员代表参加了换届会议,有3位委
5.5Mt/a常减压蒸馏装置轻烃回收系统采用压缩机—单塔的工艺流程,依据工艺参数,确定了压缩机的选型方案,包括压缩机的基础参数、结构、控制流程及报警参数,并分析了实际应用
0引言通用的C5112A、C5116A、C5225等立式车床加工电机体壳的内腔和端面的加工工艺方案,已被大多数电机厂及体壳加工厂家所采用,立式车床成为了电机行业不可缺少的主要加工装备