论文部分内容阅读
<正>引言合一是一类重要的计算问题,它广泛地应用于计算机科学的各个分支领域。随着研究领域的拓宽,合一问题的种类也逐渐丰富起来,其中比较典型的包括:方程式合一,高阶合一以及半合一。总的说来,在研究这些合一时主要关心的是“相等”的问题。后来,人们在研究函数式语言的模式匹配时,需
反合——研究初步
【摘 要】
：
<正>引言合一是一类重要的计算问题,它广泛地应用于计算机科学的各个分支领域。随着研究领域的拓宽,合一问题的种类也逐渐丰富起来,其中比较典型的包括:方程式合一,高阶合一
【机 构】
：
南京大学计算机系软件新技术国家重点实验室
【出 处】
：
计算机科学
【发表日期】
：
1998年6期
【基金项目】
：
国家高新技术研究发展863计划,,国家自然科学基金
其他文献
<正>形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明
<正> 1.国内MIS的误区相信每一个从事MIS建设的工作者回首十几年来中国的MIS之路时,都会发出“路漫漫其悠远兮,吾将上下而求索”的感叹。是的,中国MIS之路走得太反复,太辛酸,
类比推理是一种重要的思维手段，可以解决很多难题，本文详细论述了类比的基础，古今中外各种类及其理论，全文分成上，下两部分发表，上部分论及类比在日常生活中的重大作用，类比的基础和
本文讨论如何用归并类型来代替高级程序设计语言中指针和记录（如ＰＡＳＣＡＬ），归并类型的设计除了具有统一之外，还具有更高可靠性，本文已将归并类型插入到Ｍｐｄｕｌａ－２程序语言中。
在初中阶段的化学教学当中,由于化学知识复杂多样且具有抽象性。所以需要通过开展化学实验来对化学现象进行充分的分析。随着新课改的不断提出与发展,对于初中化学实验教学提
<正>所谓测试标准(Benchmark)是一种用来测试计算机软件或硬件某一方面性能的规范。目前已经有许多不同种类的测试标准,其中TPC－C则是专门用于侧试数据库系统在线事务处理系统
<正>在井行程序设计中,如何有效地协调各进程(子任务)之间的并行计算是直接影响整个系统执行性能的一个主要因素~[1,2]。在许多基于共享存储器模型
<正> 1.引言远程教育是指当教师和学生处在异地情况下,运用现代化通信技术所进行的一种教学活动,它具有办学灵活,不受地理位置限制等特点。我国使用邮政方式和广播电视方式的
孤独症患者的感觉统合训练室是为孤独症患者提供感官及认知训练的康复空间。以感觉统合训练室设计为研究对象,探索孤独症患者的感官特征对空间的需求,并提出感觉统合训练室的