论文部分内容阅读
方程式语言是一种新型智能语言。本文介绍该语言的一个实现系统,该系统是以方程逻辑为语义基础,模式匹配为执行机制,本文讨论了自底向上模式匹配方法及其改进,整个系统具有时间响应快、描述能力强的特点。
方程式语言及其实现
【摘 要】
：
方程式语言是一种新型智能语言。本文介绍该语言的一个实现系统,该系统是以方程逻辑为语义基础,模式匹配为执行机制,本文讨论了自底向上模式匹配方法及其改进,整个系统具有时
【机 构】
：
上海交通大学计算机系,上海交通大学计算机系200030,200030,200030
【出 处】
：
软件学报
【发表日期】
：
1992年2期
【基金项目】
：
国家自然科学基金,,高科技基金
其他文献
多向联想记忆ＭＤＡＭ是Ｋｏｓｋｏ的双向联想存储模型的自然推广，它可应用于数据融合，维数分裂等。迄今所提出的各种改进型ＭＤＡＭ，尽管部分提高了多向联想后的正确回忆率，但一方面缺乏有效的稳定性证明且
代码移动方法是编译程序全局优化的一个关键技术,本文将介绍一种新的代码移动算法,用此算法就可实现公共子表达式的删除和循环不变运算的移动,而且此算法无需检测循环控制结
本文提出了无向图(k,m)最优划分的一个近似算法,证明了这是一个产生近似最优解的多项式时间算法。在最坏情况下,该算法的性能保证为一个参数k所界定,这里k是与问题输入尺寸无
一、研究高等函授教学过程的特点,认识培养自学能力的重要性。 教学过程是教学实施的过程,即学生在教师有目的,有计划的指导下,积极主动地掌握系统的文化科学基础知识和基本
职业技能鉴定是劳动管理中的一项重要工作,在这方面我们四川省起步晚,但迈出的步子较大,发展也较快,现已初步形成气候,打开了局面。 一、制定“三步走”的三年规划 我省的职
一、全面了解与教学有关的各种情况 1.了解学校基本办学环境及条件,掌握学校教师的基本状况及开设多少专业、每个专业多少班级,每个班级多少学生等。 2.熟悉掌握每个班级教学
并发控制是ＤＤＢＭＳ（分布式数据库管理系统）中事务管理的重要功能。本文介绍了一种基于封锁的积极方法与消极方法相结合的并发控制策略。它根据全系统实际运行的即时状态，动态地决定对事
一、为什么教学管理体制要由学年制改为学分制。 高等教育处于整个教育过程的下游,其上与中学教育连接,其下通向人才市场的海洋。社会上的中高级经济建设人才绝大多数都受过
社会公平正义是社会和谐的基本条件;公平行政是维护人民群众利益,构建社会主义和谐社会的必然要求;服务型政府的创建是实现公平行政的关键所在;通过提升政府公共服务能力,实