Nonlinear symbolic transformations for simplifying optimization problems

Antal Elvira; Csendes Tibor: Nonlinear symbolic transformations for simplifying optimization problems. In: Acta cybernetica, (22) 4. pp. 5-23. (2016)

[thumbnail of actacyb_22_4_2016_1.pdf]
Előnézet
Cikk, tanulmány, mű
actacyb_22_4_2016_1.pdf

Letöltés (383kB) | Előnézet

Absztrakt (kivonat)

The theory of nonlinear optimization traditionally studies numeric computations. However, increasing attention is being paid to involve computer algebra into mathematical programming. One can identify two possibilities of applying symbolic techniques in this field. Computer algebra can help the modeling phase by producing alternate mathematical models via symbolic transformations. The present paper concentrates on this direction. On the other hand, modern nonlinear solvers use more and more information about the structure of the problem through the optimization process leading to hybrid symbolic-numeric nonlinear solvers. This paper presents a new implementation of a symbolic simplification algorithm for unconstrained nonlinear optimization problems. The program can automatically recognize helpful transformations of the mathematical model and detect implicit redundancy in the objective function. We report computational results obtained for standard global optimization test problems and for other artificially constructed instances. Our results show that a heuristic (multistart) numerical solver takes advantage of the automatically produced transformations. New theoretical results will also be presented, which help the underlying method to achieve more complicated transformations.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 2016
Kötet: 22
Szám: 4
ISSN: 0324-721X
Oldalak: pp. 5-23
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/46414/
DOI: 10.14232/actacyb.22.4.2016.1
Kulcsszavak: Programozás - matematika
Megjegyzések: Bibliogr.: p. 731-733. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.01. Matematika
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2017. már. 16. 14:23
Utolsó módosítás: 2022. jún. 20. 12:02
URI: http://acta.bibl.u-szeged.hu/id/eprint/46417
Bővebben:
Tétel nézet Tétel nézet