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年被引量：1
2刘椿年，PROLOG语言,它的应用与实现，1990年被引量：1

同被引文献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年被引量：1
5何建坤，实用线性规划及计算机程序，1985年，15页被引量：1
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. 被引量：1
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. 被引量：1
8Robert M Haralick,Gordon L Elliott.lncreasing tree search efficiency for constraint satisfaction problems[J].Artificial Intelligence, 1980;14(3):263-313. 被引量：1
9Philippe Baptiste.Combining Operations Research and Constraint Programming to Solve Real-Life Scheduling Problems.ERCIM,2001:(44). 被引量：1
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. 被引量：1

引证文献6

1易军凯,翟性泉,王雪晶.一种可扩展型CLP系统的统一建模方法[J].计算机工程与应用,2004,40(30):116-119. 被引量：2
2易军凯,肖洋.约束逻辑程序设计的变量压缩事件分析[J].计算机工程与应用,2005,41(18):51-53.
3王秦辉,陈恩红,王煦法.分布式约束满足问题研究及其进展[J].软件学报,2006,17(10):2029-2039. 被引量：19
4王念永,刘椿年,聂文英.实数域上的并行约束逻辑程序设计系统及其实现技术[J].北京工业大学学报,1998,24(4):1-6.
5蔡思捷,曹健.分布式约束优化[J].小型微型计算机系统,2010,31(8):1629-1636. 被引量：1
6郑磊,贾东,刘椿年.智能教学系统中自动推理模块的设计与实现[J].北京工业大学学报,2002,28(3):363-368. 被引量：2

二级引证文献24

1贺文红.自由飞行条件下空域扇区规划方法探讨[J].舰船电子工程,2008,28(2):34-36. 被引量：2
2肖宇,许炜,程文青.一种基于分布式约束满足的资源优化模型[J].计算机应用研究,2009,26(3):864-866. 被引量：4
3徐成刚,易军凯,肖洋.基于约束逻辑程序设计的排课算法研究[J].计算机工程与应用,2006,42(31):197-199. 被引量：4
4王秦辉,陈恩红,王煦法.基于权值加密的隐私安全分布式约束满足问题求解[J].中国科学技术大学学报,2007,37(7):785-790. 被引量：1
5谷学强,陈璟,王克波.面向目标区域规划的分布式约束满足求解方法[J].兵工自动化,2009,28(1):8-11. 被引量：1
6郑锐,孙茂珠.大学物理实验教学改革的思路和实践[J].河北农业大学学报（农林教育版）,2008,10(4):405-408. 被引量：3
7许炜,肖宇,杨宗凯.基于DCSP的Web服务事务协调算法[J].计算机工程与科学,2009,31(5):75-78.
8张剑鹏,高健.一个基于动态代理次序的分布式约束求解算法[J].计算机技术与发展,2009,19(6):152-155.
9万静,何月娇,易军凯.面向任务的软件过程控制模型[J].计算机工程与应用,2009,45(22):56-58. 被引量：1
10蔡思捷,曹健.分布式约束优化[J].小型微型计算机系统,2010,31(8):1629-1636. 被引量：1

1王海燕,欧阳丹彤,张永刚,杨明明.基于C++的小型约束求解器[J].吉林师范大学学报（自然科学版）,2013,34(3):7-9.
2齐甜甜.基于CIMATRON_ E的消失模具制造[J].金田,2012(8):308-308.
3李佳奇,高雪瑶,郭昊.基于交互方式的几何约束求解[J].黑龙江科技信息,2016(15):57-57.
4罗奇鸣.一种利用Kodkod约束求解器验证UML-OCL类图的方法[J].小型微型计算机系统,2014,35(2):205-209. 被引量：1
5Zhiyi ZHANG,Zhenyu CHEN,Ruizhi GAO,Eric WONG,Baowen XU.An empirical study on constraint optimization techniques for test generation[J].Science China(Information Sciences),2017,60(1):65-79. 被引量：4
6高剑峰,张申生,步丰林,赵继云.二维几何约束求解器[J].计算机辅助设计与图形学学报,2000,12(2):110-115. 被引量：9
7孙立镌,马爱玲.特征模型直接操作中约束求解方法的研究[J].哈尔滨理工大学学报,2009,14(4):1-4.
8张立明,曾海林,赵剑,欧阳丹彤,何丽莉.结合约束满足消除误判的等价性验证方法[J].吉林大学学报（工学版）,2011,41(5):1374-1377.
9董峥,唐良红,孙立镌.绘图系统约束求解算法及数据结构[J].哈尔滨理工大学学报,2000,5(3):36-39. 被引量：1
10王雅文,宫云战,肖庆.基于区间必然集的测试用例生成方法[J].计算机辅助设计与图形学学报,2013,25(4):550-556. 被引量：2

软件学报

1996年第7期

浏览历史

内容加载中请稍等...

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

参考文献2

同被引文献35

引证文献6

二级引证文献24

相关作者

相关机构

相关主题

浏览历史

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

参考文献2

同被引文献35

引证文献6

二级引证文献24

相关作者

相关机构

相关主题

浏览历史

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