全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
发文数量
被引数量
学者研究热点:
    引用
    筛选:
    文献类型 文献类型
    学科分类 学科分类
    发表年度 发表年度
    基金 基金
    研究层次 研究层次
    排序:
    显示:
    CNKI为你找到相关结果

    面向对象的程序设计语言  CNKI文献

    本文简要介绍了面向对象的程序设计语言的思想方法,并以Smalltalk-80为例对面向对象的程序设计的机制作了详细介绍。

    邢汉承 林阿龙 《计算机工程》 1988年04期 期刊

    关键词: 面向对象的程序设计语言 / 信息隐藏 / 数据抽象 / 存贮单元

    下载(39)| 被引(2)

    推理过程的控制策略  CNKI文献

    本文对当前在Von-Neumann机上,实现逻辑程序设计语言所采用的推理控制策略,作了较详细的论述。综合介绍了固定式搜索、并发及协同机制、元规则的使用等方面的现状及存在的问题。

    邢汉承 《计算机应用与软件》 1987年06期 期刊

    关键词: 子句集 / 叶结点 / 子目标 / 元规则

    下载(13)| 被引(1)

    基于编译的逻辑程序的“与”并行  CNKI文献

    本文描述了采用静态数据分析实现逻辑程序“与”并行的方法。通过编译将逻辑程序的子句转换成执行图表达式。执行时,只需简单的测试即可进行“与”并行求解。该方法有时得不到最佳“与”并行。

    邢汉承 李春林 《计算机研究与发展》 1988年04期 期刊

    关键词: 子目标 / 数据流图

    下载(9)| 被引(1)

    一种基于回溯的平面规划方法  CNKI文献

    本文介绍了基于局部区和平面剪切求解平面规划的一种回溯算法,并给出了一个应用实例——单位支撑体建筑平面规划。

    周宁 邢汉承 《计算机工程与应用》 1988年07期 期刊

    关键词: 平面规划 / 平面剪切 / 支撑体

    下载(19)| 被引(0)

    逻辑程序设计语言NIT-PROLOG编译—解释系统  CNKI文献

    逻辑程序设计语言 NIT-PROLOG 采用编译—解释方式实现。实现过程中综合考虑了匹配、索引、尾项递归优化、线性合一、查错跟踪等多项技术的采用,提供了不同的合一、解释模块,便于用户组成不同功能的 PROLOG 系统。

    邢汉承 《南京工学院学报》 1987年06期 期刊

    关键词: 编译 / 解释 / 合一 / 尾项优化

    下载(9)| 被引(0)

    逻辑程序“与并行”计算模型的研究  CNKI文献

    本文概述了逻辑程序并行性研究的状况和逻辑程序的并行处理方式。详细分析了目前两种获得“与并行”的计算模型,指出了它们的优劣性。最后得出结论:基于编译获得“与并行”是目前最有效的途径。文中同时给出了编译模型...

    李春林 邢汉承 《南京工学院学报》 1987年06期 期刊

    关键词: 并行性 / 与/或 / 编译 / 逻辑程序

    下载(8)| 被引(0)

    大型PROLOG系统查询优化技术  CNKI文献

    一、引言逻辑程序设计语言 PROLOG 是一种描述性语言,用户只需将问题求解所需的知识以子句形式提交系统,系统依靠自身的演绎求解机制可根据用户提供的知识求解出用户期望的结果。正因为如此,PROLOG 求解机制对用户查询...

    糜荣 邢汉承 《南京工学院学报》 1987年06期 期刊

    关键词: inference / optimization / virtual / storage

    下载(8)| 被引(0)

    逻辑程序设计系统LOGIC  CNKI文献

    本文主要介绍在IBMPC/XT,AT机上开发的函数型与逻辑型相结合的程序设计系统LOGIC的实现思想。介绍了LOGIC的计算机制。较为详细地讨论了LOGIC的启发式搜索技术,对“启发式搜索”中“代价步增量”的影响作了简要分析。...

    邢汉承 林阿龙 《计算机工程与应用》 1987年05期 期刊

    关键词: 子句集 / LOGIC / 子目标 / 目标集

    下载(6)| 被引(0)

    顺序推理机控制技术的改进——从指令到硬件  CNKI文献

    控制枝术的改进是PROLOG指令集变化的主要原因。本文分析了现有推理机及模型的性能、数据表示技术和控制技术,得出结论:Warren抽象指令集(WAIS)的控制技术是提高推理速度的关键因素之一。通过对WAIS控制指令集的分析,...

    李春林 邢汉承... 《计算机工程与应用》 1988年12期 期刊

    关键词: 并行性 / 关键因素 / 指令集 / 控制寄存器

    下载(6)| 被引(0)

    学术研究指数分析(近十年)详情>>

    • 发文趋势

    获得支持基金

      同机构合作作者

      其他机构合作作者

      主要合作者关系图

      时间的形状