论文部分内容阅读
该文对推理机的结构进行了全面的探讨，指出了推理机与并行模型、核心语言之间的关系，以及推理机结构对并行模型，核心语言的支持方式。该文对几种语言及并行模型对推理机结构的要求均加以讨论，包括函数型语言，逻辑型语言，入演算，一阶谓词逻辑模型等目前比较受到重视的语言及模型。（本刊录）
对推理机体系结构的研究及方案探讨
【摘 要】
：
该文对推理机的结构进行了全面的探讨，指出了推理机与并行模型、核心语言之间的关系，以及推理机结构对并行模型，核心语言的支持方式。该文对几种语言及并行模型对推理机结构的要
【机 构】
：
哈尔滨工业大学
【出 处】
：
全国青年计算机工作者学术交流会
【发表日期】
：
1987年期
其他文献
根据国内外消防规范和工程实践经验,对消火栓系统、消防稳压泵、消防泵等几个问题进行了探讨,提出了设计参数.结合中美两国消防设计规范和工程实践,探讨了消火栓给水系统中存
计算机监控系统的运行,利用了自动化技术和物联网技术,实现有效的运行监控.物联网的关键是互联网,其在计算机监控系统内,负责感知监控系统的终端信息,将收集的数据传送到计算
通过并行同时处理多个数据比特来实现循环冗余校验（ＣＲＣ），可以提高数据处理速率，而硬件复杂度相对于串行位处理实现ＣＲＣ只有很小的增加。该文对ＡＴＭ信元首部ＣＲＣ电路提出了８位、１６位和３２位并行实现，使数
在现代化建筑工程当中,消防设计工作越来越重要.科学合理的消防设计能够及时进行火灾报警,实施操作性灭火,成功控制火灾,保证人民生命财产的安全.
随着人们生活水平的提升以及生活节奏的加快,城市生活垃圾环境问题逐渐成为阻碍城市经济和生态发展的重要因素之一.本文通过建立层次结构模型,将与垃圾治理收费所相关的重要
中职学生在准备高考的过程中会存在一定的难度,尤其是数学科目,高考数学知识点多、难度大,这给中职生带来困扰.因此,科学有效的进行中职学生的数学复习非常重要,这就要求老师