Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    ISSN: 1573-1340
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Description / Table of Contents: Abstract Рассматрнвается залача нахожлення интервальных оболочек всех корней нелннейной снстемы полиномиальных уравнений. Прелстаилена процелура, обьелиняюшая метод базисов Грёбнера (нснользуемый на нрелварнтельном этаце вычцслений), некоторые методнки интервального аналнза н особую разновидность алгоритма Е. Хансена для решення нелинейных уравнений с одной иеременной. Послелний прнменяется к треугольному уредставлению, снстемы уравнений, сформированному на предварнтельном этапе. Онисываемый метод снособен проверять, нмеет, ли данная снстема конечное чнсло корней, и вычнслять вернфицированные ободочкн для всех корней. Несколько чнсленных прнмеров ноказывают, что наш метод является намного более быстрым, чем многомерный алгорнтм Нансена (илп аналогичные методы) в нрименении к исходным нелииейным снстемам полнномнальных уравнений.
    Notes: Abstract We consider the problem of finding interval enclosures of all zeros of a nonlinear system of polynomial equations. We present a method which combines the method of Gröbner bases (used as a preprocessing step), some techniques from interval analysis, and a special version of the algorithm of E. Hansen for solving nonlinear equations in one variable. The latter is applied to a triangular form of the system of equations, which is generated by the preprocessing step. Our method is able to check if the given system has a finite number of zeros and to compute verfied enclosures for all these zeros. Several test results demonstrate that our method is much faster than the application of Hansen’s multidimensional algorithm (or similar methods) to the original nonlinear systems of polynomial equations.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Journal of global optimization 14 (1999), S. 365-393 
    ISSN: 1573-2916
    Keywords: Branch-and-bound ; Global optimization ; Interval arithmetic ; Interval slopes
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract In this paper we introduce a pruning technique based on slopes in the context of interval branch-and-bound methods for nonsmooth global optimization. We develop the theory for a slope pruning step which can be utilized as an accelerating device similar to the monotonicity test frequently used in interval methods for smooth problems. This pruning step offers the possibility to cut away a large part of the box currently investigated by the optimization algorithm. We underline the new technique's efficiency by comparing two variants of a global optimization model algorithm: one equipped with the monotonicity test and one equipped with the pruning step. For this reason, we compared the required CPU time, the number of function and derivative or slope evaluations, and the necessary storage space when solving several smooth global optimization problems with the two variants. The paper concludes on the test results for several nonsmooth examples.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Journal of global optimization 7 (1995), S. 183-207 
    ISSN: 1573-2916
    Keywords: Global optimization ; interval arithmetic ; branch-and-bound ; interval subdivision
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract This paper investigates the influence of the interval subdivision selection rule on the convergence of interval branch-and-bound algorithms for global optimization. For the class of rules that allows convergence, we study the effects of the rules on a model algorithm with special list ordering. Four different rules are investigated in theory and in practice. A wide spectrum of test problems is used for numerical tests indicating that there are substantial differences between the rules with respect to the required CPU time, the number of function and derivative evaluations, and the necessary storage space. Two rules can provide considerable improvements in efficiency for our model algorithm.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Title: Basic numerical problems: theory, algorithms and Pascal-XSC; 1, 21
    Author: Hammer, Rolf
    Contributer: Hocks, Matthias , Kulisch, Ulrich , Ratz, Dietmar
    Publisher: Berlin u.a. :Springer,
    Year of publication: 1993
    Pages: 337 S.
    Series Statement: Numerical toolbox for verified computing 1
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Book
    Book
    München :Hanser,
    Title: Grundkurs Programmieren in Java : [in Java 8]
    Contributer: Ratz, Dietmar
    Edition: 7., überarb. und erw. Aufl.
    Publisher: München :Hanser,
    Year of publication: 2014
    Pages: 745 S. : , Ill., graph. Darst. ; , 25 cm
    ISBN: 978-3-446-44073-9 , 978-3-446-44110-1
    Type of Medium: Book
    Language: German
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...