论文部分内容阅读
本文采用Knuth-Bendix(KB)完备化和一致性判别这两种方法,讨论和总结重写归纳推理的实现技术。
重写归纳推理技术
【摘 要】
：
本文采用Knuth-Bendix(KB)完备化和一致性判别这两种方法,讨论和总结重写归纳推理的实现技术。
【机 构】
：
浙江师范大学计算机系,上海交通大学计算机系
【出 处】
：
计算机应用与软件
【发表日期】
：
1998年05期
其他文献
本文在JACKSON程序规格说明和过程蓝图的形式化定义基础上,给出了从JAOKSON程序规格说明出发,导出过程蓝,图时转换映射方法。使用过程蓝图取代结构文本作为JAOKSON程序规格说明和最终目标源代码的中间表示,改进了传统的JACKSON结构化程序设计方法。
"研究性学习"是一门培养学生创新精神、实践能力、学会学习、适应生活,促进学生个性健康发展的新型课程.要把这一门新课程开设好,以适应时代发展的需要,教师必须充分认识自己
功能性经颅多普勒超声（function transcranial doppler，fTCD）在完成感觉、运动和认知任务时，能通过检测颅内大血管血液流速（blood flow velocity，BFV）的变化来显示脑的活动。fTCD和
李金发受西方象征派诗歌的影响创作的象征诗,扩大了中国新诗的艺术表现领域,为中国新文化的建设做出了杰出的贡献.他无疑是推动西方现代主义文学潮流在中国传播最力的诗人之
文章认为,江泽民在社会主义实践中创造性地运用并丰富和发展了邓小平理论.这表明江泽民已成为思想家、理论家;同时,江泽民丰富和发展邓小平理论的思想观点,仍属于邓小平理论
近几年来，模糊神经网络（ＦＮＮ）的研究引起了广泛的注意。本文对ＦＮＮ上的反向传播学习方法加以讨论。使用输入均值和输出权重参量来进行模糊化和反模糊化处理，学习的目的是调整这两个参量到
抛开ＧＩＯＳ，创建对ＭＳ－ＤＯＳ兼容的实时内核ＲＴＫ。适用于要求高实时性、可靠性、灵活性的控制场合。
现有的较成熟的分布式数据库系统大都是不含水平划分的,而水平划分能够提高许多数据库操作的时空效率。本文介绍O~2D~2B中包含水平划分的分布式查询处理,主要包括与查询语句相关各表的分布地址集的获得、数据传输费用的计算与执行地点的选择,其中着重介绍通过对查询语句where子句条件表达式的分析,如何得到表的分布信息。与一般水平划分不同的是,O~2D~2B支持多属性划分,并且在划分中可以有重叠包含关系。因
本文简单地介绍了数据库应用软件开发语言Ｐｏｗｅｒ Ｂｕｉｌｄｅｒ，提出了几种新的编程技巧，着重讨论了如何在Ｐｏｗｅｒ Ｂｕｉｌｄｅｒ编程中缩短响应时间，如何合理分配网络服务器／客户的负载等问题，并对其实施方法作了具体说