期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

CLP系统中推理机与约束求解器的协调技术 被引量：6

SYNCHRONIZATION OF THE INFERENCE ENGINE WITH THE CONSTRAINT SOLVER IN A CLP SYSTEM
下载PDF
导出
摘要 本文讨论了我们自行开发的ＢＰＵ－ＣＬＰ（Ｒ）系统中推理机与约束求解器的协调技术．协调主要发生在回溯机制中． This paper discusses the synchronization of the inference engine with the constraint solver in the implementation of the BPU -CLP (R) system. Synchronization is needed in backtracking. This method can solve the synchronization problem properly even in the presence of storage optimization in the system.
作者 张秀珍 刘椿年
机构地区 北京工业大学计算机系
出处 《软件学报》 EI CSCD 北大核心 1996年第7期415-421,共7页 Journal of Software
基金 国家自然科学基金 国家863高科技项目
关键词 CLP 存储优化 推理南 约束求解器 程序设计 ROLOG, CLP, CLP(R), storage optimization techniques.
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献2

  • 1张秀珍，硕士学位论文，1994年
  • 2刘椿年，PROLOG语言,它的应用与实现，1990年

同被引文献35

  • 1曹健,李明禄,张申生.基于多Agent协商的服务流程定制[J].计算机学报,2006,29(7):1116-1126. 被引量：20
  • 2王秦辉,陈恩红,王煦法.分布式约束满足问题研究及其进展[J].软件学报,2006,17(10):2029-2039. 被引量：19
  • 3季晓慧,张健.约束问题求解[J].自动化学报,2007,33(2):125-131. 被引量：13
  • 4王念永，1998年
  • 5何建坤，实用线性规划及计算机程序，1985年，15页
  • 6Martin Henz,Tobias Muller.An Overview of Finite Domain Constraint Programming[C].In:Proceedings of the Fifth Conference of the Association of Asia-Pacific Operational Research Societies,APORS,2000.
  • 7Jaffar J,Lassez J L.Constraint Logic Programming[C].In:Proc of the 14th ACM Symposium on Principles of Programming Languages,Munich, 1987:111-119.
  • 8Robert M Haralick,Gordon L Elliott.lncreasing tree search efficiency for constraint satisfaction problems[J].Artificial Intelligence, 1980;14(3):263-313.
  • 9Philippe Baptiste.Combining Operations Research and Constraint Programming to Solve Real-Life Scheduling Problems.ERCIM,2001:(44).
  • 10M Dincbas,P Van Hentenryck,H Simonis et al.The constraint Logic Programming Language CHIP[C].In:Proceeding of the International Conference on Fifth Generation Computer Systems of the Tokys,Japan, Spinger-Verlag, 1988:693-702.

引证文献6

二级引证文献23

软件学报
1996年 第7期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部