期刊文献+

约束问题求解 被引量:13

Constraint Processing
下载PDF
导出
摘要 约束问题的求解涉及到人工智能、运筹学、计算机科学等领域.它的应用范围也极为广泛,包括计算机科学、控制科学、生物学等方面.本文对其发展历史、所要求解的问题以及它的基本方法等问题进行了综述. Constraint processing involves the techniques of artificial intelligence, operations research, computer science and so on. It has found many applications in computer science, control theory, biology and so on. This paper is a survey of its history, methods and the problems it encounters.
作者 季晓慧 张健
出处 《自动化学报》 EI CSCD 北大核心 2007年第2期125-131,共7页 Acta Automatica Sinica
基金 国家自然科学基金(60125207 60421001)资助~~
关键词 约束求解 优化问题 Constraint processing, optimization
  • 相关文献

参考文献2

二级参考文献28

  • 1季晓慧,张健.求解布尔与非线性数值约束相混合的约束问题(英文)[J].软件学报,2005,16(5):659-668. 被引量:4
  • 2Zhang J, Specification analysis and test data generation by solving Boolean combination of numeric constraints. In: Tse TH, Chen TY, eds. Proc. of the First Asia-Pacific Conference on Quality Software. Los Alamitos: IEEE Computer Society, 2000. 267-274.
  • 3Zhang J, Wang X. A constraint solver and its application to path feasibility analysis. International Journal of Software Engineering& Knowledge Engineering, 2001,11(2):139-156.
  • 4Hong H. RISC-CLP(Real): Logic programming with non-linear constraints over reals. In: Benhamou F, Colmerauer A, eds.Constraint Logic Programming: Selected Research. Cambridge: The MIT Press, 1993. 133-159.
  • 5Swedish Institute of Computer Science (SICS). SICStus Prolog User's Manual, Release 3.10.1, 2003.
  • 6Daniel JW. Newton's method for nonlinear inequalities. Numerical Mathematics, 1973,21:381-387.
  • 7Maranas CD, Floudas CA. Finding all solutions of nonlinearly constrained systems of equations. Journal of Global Optimization,1995,7(2):143-182.
  • 8Dantzig G. Linear Programming and Extensions. New Jersey: Princeton University Press, 1963.94-111.
  • 9Horst R, Paralos PM. Handbook of Global Optimization. Boston: Kluwer Academic Publishers, 1995.751-824.
  • 10Moore RE. Methods and Applications of Interval Analysis. Philadelphia: SIAM Publication, 1979,

共引文献4

同被引文献84

引证文献13

二级引证文献16

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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