|
Article information
2002 , Volume 7, ¹ 2, p.84-93
Loenko M.
On solution of nonlinear equations systems by methods of interval propagation of limitations
New heuristic algorithm for obtaining 3B-compatibility, i.e. the algorithm for solution correction (SC-algorithm) is presented. Standard 3B-algorithm does not complete its work in some problems in the reasonable time because of the peculiarities of the 2B-filtration function and fixed order of variable choice. In the presented algorithm 2B-filtration is stopped at exceeding of some limiting time and the order of variable choice is defined dynamically.
[full text] Classificator Msc2000:- *68N17 Logic programming
- 68Q25 Analysis of algorithms and problem complexity
- 68T27 Logic in artificial intelligence
Classificator Computer Science:- *D.1.6 Logic Programming
- F.2 Analysis of Algorithms and Problem Complexity
- F.4.1 Mathematical Logic
Keywords: constraint arithmetic of real intervals, constraint satisfaction, algorithm of subdefinite calculations, dynamic backtracking with constraint propagation
Author(s):
Loenko M
Position: Software Engineer
Office: IIS SB RAS
Address: Russia, Novosibirsk
E-mail: ml@iis.nsk.su
Bibliography link:
Loenko M. On solution of nonlinear equations systems by methods of interval propagation of limitations // Computational technologies. 2002. V. 7. ¹ 2. P. 84-93
|
|
|
|
