您的位置： 专家智库 > >

张秀珍

作品数：2 被引量：7H指数：1
供职机构：北京工业大学计算机学院计算机应用技术系更多>>
发文基金：国家高技术研究发展计划国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 2篇程序设计
  • 1篇推理机
  • 1篇P系统
  • 1篇CL
  • 1篇CLP

机构

  • 2篇北京工业大学

作者

  • 2篇刘椿年
  • 2篇张秀珍

传媒

  • 1篇计算机研究与...
  • 1篇软件学报

年份

  • 2篇1996
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
CLP系统中推理机与约束求解器的协调技术被引量：6
1996年
本文讨论了我们自行开发的ＢＰＵ－ＣＬＰ（Ｒ）系统中推理机与约束求解器的协调技术．协调主要发生在回溯机制中．
张秀珍刘椿年
关键词：CLP程序设计
CLP（R）程序部分演绎的研究被引量：1
1996年
本文从实例分析总结了在宽度优先语义下对ＣＬＰ（Ｒ）程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于ＣＬＰ（Ｒ）程序的部分演绎的新课题。本文的结果虽然是初步的，但它是在ＣＬＰ（Ｒ）程序的部分演绎这一研究方向上的首次尝试。
张秀珍刘椿年
关键词：程序设计
全选 清除 导出
共1页<1>
聚类工具0