ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • Articles  (64)
  • 65G10  (62)
  • Animals
  • Chemical Engineering
  • Rat
  • pharmacokinetics
  • Springer  (64)
  • Computer Science  (64)
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Numerical algorithms 18 (1998), S. 361-388 
    ISSN: 1572-9265
    Keywords: tridiagonal systems ; bidiagonal systems ; Gaussian elimination ; pivoting ; 65F05 ; 65G10 ; 65Y05
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract In this paper we present three different pivoting strategies for solving general tridiagonal systems of linear equations. The first strategy resembles the classical method of Gaussian elimination with no pivoting and is stable provided a simple and easily checkable condition is met. In the second strategy, the growth of the elements is monitored so as to ensure backward stability in most cases. Finally, the third strategy also uses the right‐hand side vector to make pivoting decisions and is proved to be unconditionally backward stable.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Computing 57 (1996), S. 77-84 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65H10 ; Validated computations ; ɛ-inflation ; interval arithmetic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Es werden Sätze angegeben, wie ein Iterationsprozeß zur Bestimmung von validierten Einschließungen der Lösung dichtbesetzter sowie dünnbesetzter nichtlinearer Gleichungssysteme verbessert werden kann. Die Anzahl der Berechnungen von Jacobi-oder Steigungsmatrizen kann reduziert werden. Unter Umständen wird die Berechnung einer Einschließung durch die Verbesserung überhaupt erst ermöglicht.
    Notes: Abstract An iteration process for computing validated solutions of nonlinear systems is improved for the dense case and for the sparse case. The improvement may result in the reduction of the number of Jacobian or slope matrices to be computed. Possibly, without the improvement, no inclusion can be computed at all.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Computing 54 (1995), S. 347-357 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65L05 ; 65L07 ; Interval arithmetic ; interval methods for the initial value problem
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Wenn Systeme gewöhnlicher Differentialgleichungen mit Intervallmethoden gelöst werden, besteht die Hauptschwierigkeit in der Reduktion des Wrappingeffekts. Die verschiedenen bis jetzt vorgeschlagenen Lösungen sind nur bei engen Anfangsintervallen oder speziellen Gleichungsklassen anwendbar. Diese Arbeit beschreibt einen Algorithmus, der statt Intervallen eine größere Familie von Mengen verwendet. Der Algorithmus führt zu einem sehr geringen Wrappingeffekt und ist bei beliebigem Gleichungstyp und weiten Anfangsintervallen anwendbar. Zum gegenwärtigen Zeitpunkt können nur 2-dimensionale Probleme behandelt werden.
    Notes: Abstract When solving ODEs by interval methods, the main difficulty is reducing the wrapping effect. Various solutions have been put forward, all of which are applicable for narrow initial intervals or to particular classes of equations only. This paper describes an algorithm which, instead of intervals, uses a larger family of sets. The algorithm exhibits a very small wrapping effect and applies to any type of equation and initial region. For the time being it handles only two-dimensional equations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Machine vision and applications 8 (1995), S. 187-193 
    ISSN: 1432-1769
    Keywords: Tracking ; Segmentation ; Pigs ; Animals ; Computer vision
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract An algorithm was developed for the segmentation and tracking of piglets and tested on a 200-image sequence of 10 piglets moving on a straw background. The image-capture rate was 1 image/140 ms. The segmentation method was a combination of image differencing with respect to a median background and a Laplacian operator. The features tracked were blob edges in the segmented image. During tracking, the piglets were modelled as ellipses initialised on the blobs. Each piglet was tracked by searching for blob edges in an elliptical window about the piglet's position, which was predicted from its previous two positions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    ISSN: 1436-5057
    Keywords: 34B30 ; 65L15 ; 39A10 ; 65G10 ; Hill's equation, cycle slip rate ; eigenvalues ; continued fractions ; verfication ; comparison theorem
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Wir stellen eine Methode vor, die mit Hilfe von Matrix-Kettenbrüchen und dem Sturm'schen Vergleichssatz die Verifikation von Eigenwerten des Randwertproblems der Phase-Locked-Loop-Gleichung erster Ordnung $$pu'' + (\lambda + \tilde g)u = 0$$ ,p = 1/SNR, mit allgemeiner phasenvergleichender Charakteristik $$\tilde g(\phi )$$ erlaubt.
    Notes: Abstract We present a method depending on matrix continued fractions and Sturm's comparison theorem to obtain verified inclusions for eigenvalues of the underlying boundary value problem of the first-order phase locked loop equation $$pu'' + (\lambda + \tilde g)u = 0$$ ,p = 1/SNR with general phase detector characteristic $$\tilde g(\phi )$$ .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    ISSN: 1436-5057
    Keywords: 65G10 ; 65L05 ; 68D20 ; Linear systems ; interval inclusion ; maximum-accuracy scalar product ; parallel algorithms ; multicomputer
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Die Auswertung von Skalarprodukten mit maximaler Genauigkeit spielt eine wichtige Rolle bei der Berechnung von Lösungseinschließungen für lineare Gleichungssysteme. In dieser Arbeit diskutieren wir diese Operation im Zusammenhang mit parallelen Algorithmen für speicherentkoppelte Systeme (Multicomputer). Wir beschreiben neue Varianten zur Lösung linearer Dreieckssysteme und zur Berechnung der LU-Zerlegung unter der Annahme, daß Skalarprodukte als unteilbare Operationen implementiert sind und daß kein Prozessor an mehreren Skalarprodukten gleichzeitig arbeitet. Alle Algorithmen sind für Punkt- und Intervallprobleme anwendbar; die theoretischen Resultate werden durch Messungen auf einem Transputernetzwerk bestätigt.
    Notes: Abstract The evaluation of scalar products with maximum accuracy plays an important role in computing inclusions for the solutions of linear systems. In this paper, we discuss this operation within the context of parallel algorithms for distributed-memory systems (multicomputers). We describe new variants for solving triangular systems of linear equations and for computing the LU factorization of matrices under the assumption that scalar products are implemented as single, indivisible operations and that no processor works on different scalar products simultaneously. All algorithms work in the real and interval case; the theoretical results are supplemented by measurements obtained from a transputer network.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Springer
    Computing 53 (1994), S. 259-276 
    ISSN: 1436-5057
    Keywords: 65F30 ; 65G05 ; 65G10 ; 68B99 ; Maximum accuracy ; parallel runtime system ; transputer
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Die meisten numerischen Algorithmen verwenden Gleitpunktoperationen für Matrizen und Vektoren. Auf Parallelrechnern sollten solche Algorithmen schnellund zuverlässig durchgeführt werden, um zeitaufwendige Fehleranalysen zu vermeiden. Die XSC-Sprachen (Spracherweiterungen für erweitertes wissenschaftliches Rechnen, englisch: eXtendedScientificComputation) sind für diesen Zweck gut geeignet, da sie den Entwurf numerischer Algorithmen unterstützen, die korrekte und automatisch verifizierte Ergebnisse liefern. Dieses Ziel wird durch eine Arithmetik mit maximaler Genauigkeit (insbesondere für Vektor- und Matrixoperationen), hochgenaue Standardfunktionen und exakte Auswertung von Skalarproduktausdrücken erreicht. Innerhalb derESPRIT Parallel Computing Action wurde eine XSC-Sprache, PASCAL-XSC, auf einem Supercluster Transputer System unter dem Betriebs-system HELIOS implementiert. Parallele Algorithmen für rechenintensive und maximal genaue Matrix-operationen wurden auf verschiedenen Transputerarchitekturen implementiert und getestet. Wir werden einige Merkmale dieser Architekturen kurz beschreiben und einige Benchmarks für die verwendeten Algorithmen angeben. Diese Algorithmen bilden eine parallele C Laufzeitbibliothek für PASCAL-XSC (oder irgend eine andere XSC-Sprache, die eine C-Laufzeitbibliothek benutzt) und werden automatisch aufgerufen. Dies kann als Grundstock für eine implizite Parallelisierung in einer XSC-Sprache angesehen werden.
    Notes: Abstract The majority of numerical algorithms employs floating-point vector and matrix operations. On a parallel computer these algorithms should be solved fastand reliably in order to avoid a time-consuming error analysis. The XSC-languages (high-level language extensions for eXtended Scientific Computation) are well-suited for this purpose since they support the design of numerical algorithms delivering correct and automatically verified results. This goal is attained by an arithmetic with maximum accuracy (especially for vector and matrix operations), highly accurate standard functions, and exact evaluation of dot product expressions. Within theESPRIT Parallel Computing Action, one XSC-language, PASCAL-XSC, was implemented on a Supercluster Transputer System under the operating system HELIOS. Parallel algorithms for computationally intensive and maximally accurate matrix operations were implemented and tested on various transputer architectures. We will sketch some features of these architectures and present some benchmarks for the algorithms used. These algorithms form a parallel C runtime library of PASCAL-XSC (or any other XSC-language that uses a C runtime library) and are called automatically. This can be considered a basis for implicit parallelization in an XSC-language.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Springer
    Computing 53 (1994), S. 289-299 
    ISSN: 1436-5057
    Keywords: 65G05 ; 65G10 ; 68Q60 ; Numeric programs ; symbolic program execution ; test methods ; result verification
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung In dieser Arbeit werden Aspekte des Testens numerischer Programme zur automatischen Ergebnisverifikation diskutiert. Dabei wird ein Grundgerüst für eine Testumgebung zur Analyse numerischer Programme vorgestellt, welche symbolische Programmausgabe verwendet. Diese unterstützt die Inspektion von Programmtexten, die Ermittlung von Testdaten und die Klassifizierung von Eingabedaten. Wird das Testwerkzeug während der gesamten Lebensdauer eines Programmes eingesetzt, entsteht eine Datenbank aus Ein-/Ausgaberelationen, welche es erlaubt die Funktionalität eines Produktes bezüglich der getesteten Daten zu garantieren. Auf diese Art kann der investierte Aufwand für das Prüfen und das Analysieren von numerischer Software gesichert werden und deren Zuverlässigkeit kann verbessert werden.
    Notes: Abstract In this work aspects of testing numeric programs for automatic result verification will be discussed. An outline of a test environment for analysing numeric programs based on symbolic program trace will be introduced, which supports soure, code inspection, test data generation and input data set classification. Applying the test tool during the whole software life cycle a data base of input/output relations will be created, which allows to guarantee functionality of a product related to the tested data. In this way, the effort invested for testing and analysing of numeric software can be saved and its reliability can be improved.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Springer
    Computing 53 (1994), S. 277-287 
    ISSN: 1436-5057
    Keywords: 65G10 ; Interval library ; IEEE-754 arithmetic standard ; C, C++
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung In den weit verbreiteten Programmiersprachen wird der Intervalldatentyp nicht unterstützt. Daher benötigt man für die Implementierung von Algorithmen, die auf Intervallarithmetik basieren, spezielle Programmierumgebungen oder zumindest spezielle Programmbibliotheken. In diesem Artikel stellen wir die C++-Klassenbibliothek PROFIL vor, die eine anwenderfreundliche Umgebung für die Implementierung von Intervallalgorithmen darstellt. Die Entwicklung von PROFIL wurde von den beiden Hauptzielen Geschwindigkeit und Portabilität geleitet. Daher basieren alle Intervalloperationen von PROFIL auf BIAS (Basic Interval Arithmetic Subroutines). BIAS definiert eine einheitliche und portable Schnittstelle für die grundlegenden Intervalloperationen von skalaren bis hin zu Matrixoperationen. Dabei ist die Schnittstelle unabhängig von einer speziellen Intervalldarstellung oder von speziellen Berechnungsmodi, erlaubt aber dennoch maschinenspezifische und schnelle Implementierungen. Basierend auf dieser allgemeinen Spezifikation stellen wir eine Implementierung in C vor, die eine Intervalldarstellung in der Form untere/obere Grenze sowie gerichtete Rundungen verwendet. Durch Verwendung eigener Assemblerroutinen (insgesamt nur ca. 10 Assemblerinstruktionen) zur Umschaltung der Rundung sowie durch weitestgehende Vermeidung überflüssiger Vorzeichentests und Rundungsumschaltungen wird der Aufwand für die Intervalloperationen drastisch reduziert. Dies ist insbesondere für RISC-Architekturen wichtig, auf denen Gleitkommaoperationen in wenigen Maschinentaktzyklen ausgeführt werden können. Vergleiche mit anderen Intervallpaketen zeigen eine Geschwindigkeitssteigerung um etwa eine Größenordnung.
    Notes: Abstract The interval data type is currently not supported in common programming languages. Therefore the implementation of algorithms using interval arithmetic requires special programming environments or at least special libraries. In this paper we present the C++ class library PROFIL which provides a user friendly environment for implementing interval algorithms. The main goals in the design of PROFIL were speed and portability. Therefore all interval operations in PROFIL use BIAS (Basic Interval Arithmetic Subroutines) [16]. BIAS defines a concise and portable interface for the basic scalar, vector, and matrix operations. The interface is independent of a specific interval representation or computation but permits machine specific and fast implementations. Based on this general specification we present an implementation in C using a lower/upper bound representation of intervals and directed roundings. By using few assembler instructions for switching the rounding modes and avoiding sign tests and rounding mode switches wherever possible, the computational costs of the interval operations were reduced significantly. This is especially important for RISC machines, where floating point instructions can be executed in few machine cycles. Comparisons with other interval arithmetic packages show an improvement in speed of about one order of magnitude.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Springer
    Computing 53 (1994), S. 311-322 
    ISSN: 1436-5057
    Keywords: 65F15 ; 65G10 ; Inverse eigenvalue problem ; enclosure for the inverse eigenvalue problem ; interval computation ; Newton's method
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Wir geben einen Algorithmus an, mit dem man Lösungen eines additiven inversen Matrizen-Eigenwertproblems nachweisen kann. Der Algorithmus beruht auf dem Newton-Verfahren, für das ein neues Abbruchkriterium verwendet wird. Er liefert enge Schranken für die Lösungen des Problems und garantiert so die meisten ihrer führenden Ziffern in einem gegebenem Gleitpunktsystem.
    Notes: Abstract We describe an algorithm with which one can verify solutions of an additive inverse matrix eigenvalue problem. The algorithm is based on Newton's method using a new criterion for terminating the iteration. In addition, it yields tight interval bounds for the solutions of the problem, thus guaranteeing most of their leading digits in a given floating point system.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Electronic Resource
    Electronic Resource
    Springer
    Computing 53 (1994), S. 365-368 
    ISSN: 1436-5057
    Keywords: 15A06 ; 65G10 ; 68Q15 ; Linear interval equations ; enclosure method ; NP-hardness
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Unter Annahme der VermutungP≠NP wird gezeigt, daß es keinen allgemeinen polynomialen Algorithmus gibt, der die Intervallhülle der Lösungsmenge eines Systems linearer Intervall-Gleichungen einschließt.
    Notes: Abstract We show that if the conjectureP≠NP is true, then there does not exist a general polynomial-time algorithm for enclosing the solution set of a system of linear interval equations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Electronic Resource
    Electronic Resource
    Springer
    Computing 53 (1994), S. 337-353 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65K10 ; 65H20 ; 90C26 ; Global optimization ; interval arithmetic ; Gauss-Seidel method ; box-splitting strategies
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Wir betrachten einen Algorithmus zur Berechnung von verfizierten Einschließungen für alle globale Minimalstellenx * und für den Wert des globalen Minimums [x]∈I→ einer zweimal stetig differenzierbaren Funktionf:ℝ n →→ im Intervall [x]∈I→. Unser Verfahren beinhaltet den Intervall-Gauss-Seidel-Schritt angewandt auf das entsprechende Nullstellenproblem für den Gradienten vonf. Dabei ergibt sich die Aufgabe, die von der erweiterten Intervalldivision produzierten Lücken zu behandeln. Es ist möglich, verschiedene Box-Splitting-Strategien einzusetzen, die jeweils eine unterschiedliche anzahl von Teilboxen erzeugen. Wir präsentieren Ergebnisse im Hinblick auf den Einfluß dieser Strategien auf den Intervall-Gauss-Seidel-Schritt und damit auf das globale Optimierungsverfahren. Zunächst geben wir einen Überblick über einige der in unserem Algorithmus angewandten Techniken, und wir beschreiben die Modifikationen, die durch Anwendung einer speziellen Box-Splitting-Strategie, die Effizienz des Intervall-Gauss-Seidel-Schrittes verbessern. Dann betrachten wir spezielle Präkonditionierer für den Gauss-Seidel-Schritt, und wir untersuchen die entsprechenden Ergebnisse für unterschiedliche Splitting-Strategien. Testergebnisse für Standardaufgaben der globalen Optimierung werden diskutiert für unterschiedliche Varianten unserer Methode in ihrer portablen PASCAL-XSC Implementierung. Die Resultate zeigen, daß es viele Fälle gibt, in denen die Splitting-Strategie wichtiger für die Effizienz des Algorithmus ist als die Verwendung von Präkonditionierern.
    Notes: Abstract We consider an algorithm for computing verified enclosures for all global minimizersx * and for the global minimum valuef *=f(x *) of a twice continuously differentiable functionf:ℝ n →→ within a box [x]∈I→. Our algorithm incorporates the interval Gauss-Seidel step applied to the problem of finding the zeros of the gradient off. Here, we have to deal with the gaps produced by the extended interval division. It is possible to use different box-splitting strategies for handling these gaps, producing different numbers of subboxes. We present results concerning the impact of these strategies on the interval Gauss-Seidel step and therefore on our global optimization method. First, we give an overview of some of the techniques used in our algorithm, and we describe the modifications improving the efficiency of the interval Gauss-Seidel step by applying a special box-splitting strategy. Then, we have a look on special preconditioners for the Gauss-Seidel step, and we investigate the corresponding results for different splitting strategies. Test results for standard global optimization problems are discussed for different variants of our method in its portable PASCAL-XSC implementation. These results demonstrate that there are many cases in which the splitting strategy is more important for the efficiency of the algorithm than the use of preconditioners.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Electronic Resource
    Electronic Resource
    Springer
    Computing 53 (1994), S. 379-395 
    ISSN: 1436-5057
    Keywords: 34A55 ; 34A50 ; 65L15 ; 65L70 ; 65G10 ; Inverse Sturm-Liouville problem ; enclosure methods ; interval Newton's method
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung In dieser Arbeit wird die Rekonstruktion eines unbekannten Potentialsq(x) im Sturm-Liouville-Problem mit Dirichletschen Randbedingungen behandelt, wobei nur endlich viele Eigenwerte als bekannt vorausgesetzt werden. Dieses Problem wird in ein nichtlineares Gleichungssystem überführt. Mit einem Intervall-Newtonverfahren wird eine Lösung des Gleichungssystems in einen Intervallvektor eingeschlossen. Aus dem Intervallvektor wird eine Intervallfunktion[q](x) konstruiert, die ein Potentialq(x) einschließt, das die gestellte Rekonstruktionsaufgabe löst. Um auf diese Weise den numerischen Existenznachweis einer Lösung zu führen, sind die bei der praktischen Berechnung auftretenden Diskretisierungs- und Rundungsfehler zu berücksichtigen.
    Notes: Abstract This paper is concerned with the reconstruction of an unknown potentialq(x) in the Sturm-Liouville problem with Dirichlet boundary conditions, when only a finite number of eigenvalues are known. The problem is transformed into a system of nonlinear equations. A solution of this system is enclosed in an interval vector by an interval Newton's method. From the interval vector, an interval function[q](x) is constructed that encloses a potentialq(x) corresponding to the prescribed eigenvalues. To make this numerical existence proof rigorous, of course, all discretization and rounding errors have to be taken into account in the computation.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Electronic Resource
    Electronic Resource
    Springer
    Computing 50 (1993), S. 353-368 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65H10 ; 65R20 ; Interval arithmetic ; existence ; uniqueness ; convergence ; componentwise error bounds
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Existenz- und Eindeutigkeitstests von Pandian werden verallgemeinert und in Zusammenhang gebracht mit Ergebnissen von Moore und Kioustelidis sowie von Shen und Neumaire.
    Notes: Abstract Improved forms of the existence and uniqueness tests due to Pandian are given and are related to results due to Moore and Kioustelidis and to Shen and Neumaier.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Electronic Resource
    Electronic Resource
    Springer
    Computing 50 (1993), S. 255-264 
    ISSN: 1436-5057
    Keywords: 65G05 ; 65G10 ; 68Q60 ; Floating-point algorithm ; directed rounding ; loop invariant ; result verification
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Es wird gezeigt, daß unter Benutzung von gerichteten Rundungen bzw. Einschließungsmengen für die jeweils exakten Werte Schleifen-Bedingungen und Schleifen-Invarianten aus den für das exakte Rechnen aufgestellten numerischen Algorithmen auf naheliegende Weise für das Rechnen in Gleitpunktrastern verallgemeinert werden können. Dadurch ist trotz des Auftretens von Rundungsfehlern eine Verifikation der erhaltenen Ergebnisse möglich. Verwendet werden dazu nur dem Algorithmus innewohnende Eigenschaften, die gleichzeitig ein Terminieren der Schleifen bewirken.
    Notes: Abstract It will be shown that by using directed roundings resp. enclosure sets for the exact values, the loop conditions and loop invariants of numerical algorithms can be generalized for computing in a discrete screen. On this way, in spite of rounding errors, it is possible to verify the received results. Thereby only inherent properties of the algorithms are used, which moreover guarantee that the loops terminate.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Electronic Resource
    Electronic Resource
    Springer
    Computing 47 (1992), S. 337-353 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65F05 ; Interval iteration ; linear interval systems ; standard simplices
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung In der Literatur werden eine Reihe effizienter Algorithmen beschrieben zur Berechnung garantierter Einschließungen der Lösung numerischer Standardprobleme [3,4,8,11,12,13]. Die Einschließungen werden in Form von Mengen gegeben. In [12, 13] wird diese Menge mit Hilfe einer affinen Transformation berechnet, die stoppt, wenn eine nichtleere kompakte Menge in sich selbst abgebildet wird. Für Punkteingabedaten wurde gezeigt, daß diese Iteration genau dann stoppt, wenn die Iterationsmatrix konvergent ist [13]. In der vorliegenden Arbeit werden notwendige und hinreichende Stop-Bedingungen angegeben für Intervalleingabedaten und Intervalloperationen im reellen und im komplexen. Stoppen heißt hierbei, daß der Algorithmus aus [12] für Intervallgleichungssysteme eine Einschließung liefert. Ein Algorithmus von Neumaier wird diskutiert, und es wird ein Hybrid-Algorithmus vorgeschlagen, der die Vorteile Neumaiers und unseres Algorithmus kombiniert. Unter Benutzung einer Arbeit von Jansson [6, 7] wird eine interessante geometrische Interpretation von Einschließungsalgorithmen gegeben. Es wird gezeigt, daß die Einschließungsalgorithmen in bestimmtem Sinne optimal sind. für eine andere Klasse von Mengen, für Standardsimplexe, geben wir einige interessante Beispiele.
    Notes: Abstract In the literature efficient algorithms have been described for calculating guaranteed inclusions for the solution of a number of standard numerical problems [3,4,8,11,12,13]. The inclusions are given by means of a set containing the solution. In [12,13] this set is calculated using an affine iteration which is stopped when a nonempty and compact set is mapped into itself. For exactly given input data (point data) it has been shown that this iteration stops if and only if the iteration matrix is convergent (cf. [13]). In this paper we give a necessary and sufficient stopping criterion for the above mentioned iteration for interval input data and interval operations. Stopping is equivalent to the fact that the algorithm presented in [12] for solving interval linear systems computes an inclusion of the solution. An algorithm given by Neumaier is discussed and an algorithm is proposed combining the advantages of our algorithm and a modification of Neumaier's. The combined algorithm yields tight bounds for input intervals of small and large diameter. Using a paper by Jansson [6,7] we give a quite different geometrical interpretation of inclusion methods. It can be shown that our inclusion methods are optimal in a specified geometrical sense. For another class of sets, for standard simplices, we give some interesting examples.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Electronic Resource
    Electronic Resource
    Springer
    Computing 49 (1992), S. 87-94 
    ISSN: 1436-5057
    Keywords: 65H10 ; 65G10 ; Nonlinear equations ; nondifferentiable operator ; quasi-Newton method ; convergence theorems
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung In der vorliegenden Arbeit wird die Konvergenz gewisser Quasi-Newton-Verfahren zur Lösung von nichtlinearen GleichungenAx+g(x)=0 aufD⊄R n untersucht, wobeiA eine (n×n)-Matrix undg ein nichtdifferenzierbarer, aber Lip-schitz-stetiger Operator ist. Mittels intervallanalytischer Techniken wird ein neuer Konvergenzsatz für die Verfahren hergeleitet.
    Notes: Abstract In this paper, we study the convergence of some quasi-Newton methods for solving nonlinear equationAx+g(x)=0 in a domainD⊄R n , whereA is ann×n matrix andg is a nondifferentiable but Lipschitz continuous operator. By interval analysis, we give a new convergence theorem of the methods.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Electronic Resource
    Electronic Resource
    Springer
    Computing 49 (1992), S. 25-44 
    ISSN: 1436-5057
    Keywords: 35J25 ; 35J65 ; 65N15 ; 65G10 ; Elliptic boundary value problem ; nonlinear boundary value problem ; numerical existence proof ; explicit bounds ; enclosure
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Gegeben sei ein elliptisches Randwertproblem der Form −ΔU+F(x, U, U x )=0 auf Ω,B[U]=0 auf ϖΩ, mit einer NichtlinearitätF, die einer quadratischen Wachstumsbedingung bezüglich des GradientenU x genügt, und mit einem linearen RandoperatorB von gemischtem Typ. Es wird eine numerische Methode vorgestellt, mit deren Hilfe sich die Existenz einer Lösung innerhalb einer “kleinen”H 1,4(Ω)-Umgebung einer Näherungslösung ω∈H 2(Ω), die die Randbedingung erfüllt, nachweisen läßt, sofern die Defektnorm ∥−Δω +F(·, ω, ω x )∥2 hinreichend klein ist und ferner die Linearisierung des gegebenen Problems in ω auf einen invertierbaren OperatorL führt. Die wesentlichen Hilfsmittel sind explizite Sobolevsche Einbettungen und Eigenwertschranken fürL oderL*L. Jegliche Monotonie- und Inverspositivitätsbedingungen werden vermieden.
    Notes: Abstract For elliptic boundary value problems of the form −ΔU+F(x, U, U x )=0 on Ω,B[U]=0 on ϖΩ, with a nonlinearityF growing at most quadratically with respect to the gradientU x and with a mixed-type linear boundary opeatorB, a numerical method is presented which can be used to prove the existence of a solution within a “close”H 1,4(Ω)-neighborhood of some approximate solution ω∈H 2(Ω) satisfying the boundary condition, provided that the defect-norm ∥−Δω +F(·, ω, ω x )∥2 is sufficiently small and, moreover, the linearization of the given problem at ω leads to an invertible operatorL. The main tools are explicit Sobolev imbeddings and eigenvalue bounds forL or forL*L. All kinds of monotonicity or inverse-positivity assumptions are avoided.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Electronic Resource
    Electronic Resource
    Springer
    Computing 48 (1992), S. 125-128 
    ISSN: 1436-5057
    Keywords: 65H10 ; 65G10 ; Nonlinear equations ; systems of nonlinear equations ; interval Newton method ; interval Gaussian algorithm
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung In der vorliegenden Arbeit werden das Intervall-Newton-Verfahren und das vereinfachte Intervall-Newton-Verfahren betrachtet, um enge Schranken für die Lösungen nichtlinearer Gleichungssysteme zu erhalten. Unter starkem Bezug auf eine Arbeit von Alefeld über diese beiden Verfahren leiten wir einen Zusammenhang zwischen den beiden Matrizen her, die in der erwähnten Veröffentlichung bei der Formulierung hinreichender Konvergenzkriterien auftreten. Desweiteren beantworten wir eine dort gestellte Frage über den Abbruch der Verfahren nach endlich vielen Schritten.
    Notes: Abstract In this paper we consider the interval Newton method and its simplified version to find tight bounds for the solutions of systems of nonlinear equations. Referring to a paper of Alefeld on this subject, we derive a connection between the two matrices used there to formulate sufficient criteria for the convergence of these methods. We also answer an open question concerning the break down of the Newton method after a finite number of steps.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Electronic Resource
    Electronic Resource
    Springer
    Computing 47 (1992), S. 373-377 
    ISSN: 1436-5057
    Keywords: 15A18 ; 65G10 ; Interval matrix ; eigenvalue ; enclosure ; tolerance analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Wir beschreiben eine Methode zur Einschliessung der Menge aller reellen Eigenwerte einer Intervallmatrix die zu Eigenvektoren von einer vorgeschriebenen Zeichenstruktur gehören.
    Notes: Abstract We describe a method for enclosing the set of real eigenvalues of an interval matrix pertaining to eigenvectors of a given sign pattern.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Electronic Resource
    Electronic Resource
    Springer
    Computing 49 (1992), S. 75-85 
    ISSN: 1436-5057
    Keywords: 65J15 ; 65G10 ; Ball iteration ; region contraction algorithm ; computational existence theorem
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Das Lösen von Fixpunktgleichungenx=Tx mit kontrahierendemT ist ein grundlegendes Problem in den Anwendungen. Zur Bestätigung der Existenz einer Lösungx und zur Bestimmung einer konvergenten Folge {x n } von Näherungslösungen kann man entweder den klassischen Banach'schen Fixpunktsatz oder einen neueren globalen Konvergenzsatz für Kugelalgorithmen in You, Xu und Lin [16] algorithmisch implementieren. Diese zwei Sätze werden hier in Bezug auf ihre Empfindlichkeit, Genauigkeit, rechnerische Komplexität und Effizienz verglichen. Dabei schneidet der zweitgenannte Satz in allen Aspekten außer der Komplexität deutlich besser ab. Dieses Ergebnis wird durch einige numerische Beispiele bestätigt.
    Notes: Abstract In applications, one of the basic problems is to solve the fixed point equationx=Tx withT a contractive mapping. Two theorems which can be implemented computationally to verify the existence of a solutionx * to the equation and to obtain a convergent approximate solution sequence {x n } are the classical Banach contraction mapping theorem and the newly established global convergence theorem of the ball algorithms in You, Xu and Liu [16]. These two theorems are compared on the basis of sensitivity, precision, computational complexity and efficiency. The comparison shows that except for computational complexity, the latter theorem is of far greater sensivity, precision and computational efficiency. This conclusion is supported by a number of numerical examples.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Electronic Resource
    Electronic Resource
    Springer
    Computing 47 (1992), S. 355-360 
    ISSN: 1436-5057
    Keywords: 65H05 ; 65G10 ; Iterative methods ; polynomial equations ; P-order of convergence ; spectral radius ; multiple zeros
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Wird betrachten in dieser Arbeit eine Klasse von Iterationsverfahren, die eine Verallgemeinerung von den in [2] behandelten ist, zur Einschließung einfacher Wurzeln einer algebraischen Gleichung. Dazu werden Abschätzungen für dieR-Ordnung hergeleitet.
    Notes: Abstract In this note we consider a class of iteration methods which is a generalization of those in [2], for the determination of simple roots of an algebraic equation. Estimates for theirR-order are derived.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Electronic Resource
    Electronic Resource
    Springer
    Computing 46 (1991), S. 253-263 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65F10 ; Linear interval equations ; inclusion of solution ; error bounds
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Vorgestellt werden neue Methoden zur Lösung spezieller Klassen linearer Intervallgleichungssysteme mittels geeigneter Auswahlsysteme. Zuerst beweisen wir einige Sätze die die Extremalpunkte der Lösungsmenge charakterisieren. Für invers stabile Matrizen sowie für Systeme, deren Lösungen nur in einem Orthanten liegen, werden Algorithmen für die Auswahl solcher Gleichungen angegeben, deren Lösungen die Intervallhülle erzeugen.
    Notes: Abstract We present new methods for solving special classes of linear interval equations by means of suitable selection systems. First we prove some theorems characterizing the extremal points of the solution set. For invers-stable interval matrices and systems whose solution set are contained in one orthant we give algorithms to select such systems the solutions of which generate the interval hull.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Electronic Resource
    Electronic Resource
    Springer
    Computing 46 (1991), S. 265-274 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65H10 ; Interval arithmetic ; systems of equations ; data dependencies
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Die Intervallarithmetik erlaubt für verschiedene Problemstellungen die Berechnung von a posteriori Schranken für die zugehörige Lösungsmenge; dabei ist stets vorausgesetzt, daß alle Eingabedaten unabhängig voneinander zwischen vorgegebenen unteren und oberen Schranken variieren. Diese Veröffentlichung behandelt Methoden für spezielle lineare Intervallsysteme, die Abhängigkeiten der Eingabedaten mit berücksichtigen.
    Notes: Abstract The methods of Interval Arithmetic permit to calculate guaranteed a posteriori bounds for the solution set of problems with interval input data. At present, these methods assume that all input data vary independently between their given lower and upper bounds. This paper shows for special interval linear systems how to handle the case where dependencies of the input data occur.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Electronic Resource
    Electronic Resource
    Springer
    Computing 46 (1991), S. 279-288 
    ISSN: 1436-5057
    Keywords: 65F30 ; 65G10 ; Matrixinversion ; error-bounds for hyperpower methods ; interval analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Durch Auswertung von verallgemeinerten Fehlerschranken für Hyperpower Methoden zur näherungsweisen Berechnung der Inversen einer Matrix erhalten wir Einschließungsalgorithmen für die inverse Matrix. Unsere Verfahren verwenden Intervallverknüpfungen zur Gewinnung garantierter Einschließungen, wann immer die Konvergenz der verwendeten Hyperpower Methode gezeigt werden kann. Der Effizienzindex einiger dieser neuen Verfahren ist größer als jener der optimalen Verfahren in [2] oder [5]. Ein numerisches Beispiel wird gegeben.
    Notes: Abstract By exploiting generalized error-bounds for the well-known hyperpower methods for approximating the inverse of a matrix we derive inclusion methods for the inverse matrix. These methods make use of interval operations in order to give guaranteed inclusions whenever the convergence of the applied hyperpower method can be shown. The efficiency index of some of the new methods is greater than that of the optimal methods in [2] or [5]. A numerical example is given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    Electronic Resource
    Electronic Resource
    Springer
    Journal of clinical monitoring and computing 8 (1991), S. 225-229 
    ISSN: 1573-2614
    Keywords: anesthetics ; intravenous ; pharmacokinetics ; computers ; simulation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Medicine
    Notes: Summary CINA is a software which uses LOTUS 1-2-3 commands and macros and it runs on an IBM PC. It contains an extensive database of three sections. Section 1 includes a list of several models of commercialized infusion devices. Section 2 presents the available IV packagings for a list of IV drugs. Section 3 contains the record of IV standard infusion regimens for each drug. Any other new infusion device, drug, or standard infusion regimen can be added or modified. The software verifies the compatibility of the prescribed infusion device according to the available drug packaging contained in the database. Moreover, it converts the infusion steps into the flow-rate units of the selected infusion device according to the patient's weight and the chosen drug concentration. Finally, the software allows the storage of all the information on a disk file or outputting on a printer.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Electronic Resource
    Electronic Resource
    Springer
    Computing 45 (1990), S. 69-77 
    ISSN: 1436-5057
    Keywords: 65G10 ; Interval mathematics ; Hausdorff distances
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung In der vorliegenden Arbeit werden für eine Klasse von Metriken in ℝ n , darunter die Hölder-Metriken, explizite Ausdrücke zur Berechnung der Werte der zugehörigen Hausdorff-Metriken entwickelt.
    Notes: Abstract In the present paper for a class of metrices in ℝ n including the Hölder metrices explicit expressions will be developed for evaluating the values of the corresponding Hausdorff metrices.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    Electronic Resource
    Electronic Resource
    Springer
    Computing 44 (1990), S. 273-278 
    ISSN: 1436-5057
    Keywords: 65G10 ; Interval arithmetic ; interval expressions
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Die reele Funktionf besitze über dem IntervallX eine Darstellung der Formf(x)=ϕ0+ℓ(x)·h(x),x∈X. Für den Durchmesser vonh(X) gelted(h(X))≤σd(X) und für den Absolutbetrag von ℓ(X) bestehe die Ungleichung ∇ℓ(X)∇≤τd(X)n. Dann geben wir einen Intervallausdruck an, der den Wertebereich vonf über dem IntervallX mit der Ordnungn+1 approximiert. Unser Resultat enthält als Spezialfall das Theorem aus [2] über zentrierte Formen höherer Ordnung und außerdem eine Reihe von Darstellungen vonf, für die diese Resultate bisher nicht bekannt waren.
    Notes: Abstract If the real-valued mappingf has a representation of the formf(x)=ϕ0+ℓ(x)·h(x),x∈X where for the diameter ofh(X) the inequalityd(h(X))≤σd(X) holds and for the absolute value of ℓ(X) we have ∇ℓ(X)∇≤τd(X) n, then we introduce an interval expression forf which approximates the range of values off over the compact intervalX with ordern+1. Our result contains as a special case the theorem on higher order centered forms from [2] and a series of representations off not discussed before.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    Electronic Resource
    Electronic Resource
    Springer
    Computing 45 (1990), S. 183-191 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65F30 ; 41A21 ; Matrix exponential ; Pade approximations ; verified bounds
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Vorgeschlagen wird ein Verfahren zur gleichzeitigen Berechnung von verifizierten Schranken für die Matrixfunktionen exp (A) und ∫ 0 1 exp (As) ds, bei dem die Einschließung des Integrals während der Berechnung von verifizierten Schranken für exp (A) mit sehr geringem zusätzlichen Rechenaufwand erhalten wird. Eine hohe Ergebnisgenauigkeit wird durch die Anwendung einer besonderen Rechnerarithmetik und durch dynamische Genauigkeit mit der “staggered correction”-Darstellung erzielt.
    Notes: Abstract We propose a method for simultaneous computation of verified bounds for the matrix functions exp (A) and ∫ 0 1 exp (As) ds where the inclusion of the integral is obtained during the computation of verified bounds for exp (A) at very little additional cost. Highly accurate results of our method are achieved by the use of advanced computer arithmetic and an implementation of dynamic precision by means of staggered correction representation.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Electronic Resource
    Electronic Resource
    Springer
    Computing 44 (1990), S. 237-244 
    ISSN: 1436-5057
    Keywords: 65G10 ; Matrix inversion ; interval analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Wir betrachten in dieser Note intervallmäßige Iterationsverfahren zur Einschließung der Inversen einer Matrix. Dazu bringen wir eine Klasse von Verfahren, welche sich aus herkömmlichen Schulz-Verfahren zur Approximation der Inversen ([3]) und aus intervallmäßigen Schulz-Verfahren ([1]) zusammensetzen. Zwei Konvergenzsätze werden dafür bewiesen. Es wird gezeigt, daß die neuen Verfahren asymptotisch dieselbe Konvergenzordnung wie die zugrundeliegenden herkömmlichen Schulz-Verfahren besitzen. Daher erhalten wir mit unseren Methoden wesentlich effizientere Verfahren, als es die klassischen intervallmäßigen Schulz-Verfahren ([1], [5]) sind. Es wird ein numerisches Beispiel angegeben.
    Notes: Abstract In this paper we are considering iterative methods for bounding the inverse of a matrix, which make use of interval arithmetic. We present a class of methods as a combination of ordinary Schulz's methods for only approximating the inverse matrix (see [3]) and of well-known interval Schulz's methods (see [1]). Two convergence theorems are proved. Our methods are shown to be asymptotically of the same order of convergence as the ordinary Schulz's methods being part of them. Therefore we are getting considerably more efficient interval methods by our approach than by the classical interval Schulz's methods in [1] or [5]. A numerical example is given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Electronic Resource
    Electronic Resource
    Springer
    Computing 44 (1990), S. 221-235 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65H10 ; Newton's method ; Newton-Gauss-Seidel method ; nonlinear equations ; R-order ; interval analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Wir betrachten Modifikationen des Intervall-Newton-Verfahrens, welche zwei Ansätze miteinander verbinden: Mehrfache (z.B.s-fache) Verwendung derselben Auswertung der Jacobi-Matrix und näherungsweise Lösung der Newton-Gleichung mit einem „linearen” Iterationsprozeß. Insbesondere zeigen wir, daß dieR-Ordnung dieser Verfahrens+1 werden kann. Wir illustrieren unsere Ergebnisse an einem numerischen Beispiel.
    Notes: Abstract We consider modifications of the interval Newton method which combine two ideas: Reusing the same evaluation of the Jacobian several (says) times and approximately solving the Newton equation by some ‘linear’ iterative process. We show in particular that theR-order of these methods may becomes+1. We illustrate our results by a numerical example.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    Electronic Resource
    Electronic Resource
    Springer
    Computing 44 (1990), S. 47-57 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65K10 ; Interval analysis ; multicriterion optimization ; multiobjective optimization
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Bei der Bestimmung des globalen Optimums werden in der Vektoroptimierung intervallanalytische Methoden angewendet. Hier diskutieren wir Optimierungsprobleme, bei denen mehrere Zielfunktionen in Konfliktsituationen optimiert werden müssen.
    Notes: Abstract Interval Analysis methods have been applied for obtaining the global optimum of the multimodal multivariable functions. We discuss here the multicriterion optimization problem, where several objective functions must be optimized in conflicting situations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    Electronic Resource
    Electronic Resource
    Springer
    Computing 42 (1989), S. 171-186 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65H10 ; 65W05 ; CR: G. 1.0 ; G.1.5 ; Parallel methods ; nonlinear systems ; enclosures ; error bounds ; interval iterative methods ; multisplittings
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Für gewisse Systeme nichtlinearer GleichungenF(x)=0 entwicklen wir ein Verfahren, welches iterativ enge untere und obere Schranken für die Nullstellen vonF berechnet. Das Verfahren beruht auf einem Multisplitting für bestimmte Matrizen und weist so in natürlcher Weise Parallelität auf. Wir geben Kriterien für die Konvergenz der Schranken gegen die Nullstellen an und untersuchen die Konvergenzgeschwindigkeit.
    Notes: Abstract For some systems of nonlinear equationsF(x)=0 we derive an algorithm which iteratively constructs tight lower and upper bounds for the zeros ofF. The algorithm is based on a multisplitting of certain matrices thus showing a natural parallelism. We prove criteria for the convergence of the bounds towards the zeros and we investigate the speed of convergence.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Electronic Resource
    Electronic Resource
    Springer
    Computing 42 (1989), S. 225-238 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65G05 ; 65H15 ; Generalized eigenproblem ; inclusion of solution ; guaranteed results ; error bounds
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Es wird eine Methode zur Berechnung garantierter Schranken für die Lösung des komplexen allgemeinen Eigenproblems beschrieben. Die Methode erweitert einen ähnlichen Ansatz für allgemeine nichtlineare Gleichungssysteme in der Art, daß für den vorliegenden speziellen Fall weitgehende Folgerungen aus schwächeren Voraussetzungen gezogen werden können.
    Notes: Abstract A method is described which produces guaranteed bounds for a solution of the generalized complex eigenproblem. The method extends a similar approach for general systems of nonlinear equations to the special case of complex pencils, where under weaker assumptions stronger assertions can be proved.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Electronic Resource
    Electronic Resource
    Springer
    Computing 43 (1989), S. 85-92 
    ISSN: 1436-5057
    Keywords: 65K10 ; 65G10 ; Global optimization ; guaranteed error bounds ; interval analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Zur Bestimmung des globalen Maximums einer Funktion einer Veränderlichen auf einem abgeschlossenen Intervall [a, b] schlagen wir eine Intervall-Majoranten-Methode vor. Sie benützt die Vorteile und vermeidet die Nachteile zweier bekannter Verfahren. Numerische Resultate werden berichtet.
    Notes: Abstract For seeking the global maximum of a function of a single variable defined on a closed interval [a, b] an interval-majorant method is proposed. This method derives advantages and avoids defects from both the one-step strategy method and the interval method. Numerical results are given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Electronic Resource
    Electronic Resource
    Springer
    Computing 41 (1989), S. 359-364 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65H10 ; Linear interval equations ; AOR method
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Diese Arbeit ist durch die Arbeit [7] motiviert, wo das SOR-Verfahren zur Lösung von linearen Intervallgleichungen betrachtet wird. Es ist bekannt, daß das AOR-Verfahren für lineare (“Punkt”) Gleichungssysteme manchmal schneller als das SOR-Verfahren konvergiert. Wir geben einige hinreichende Konvergenzbedingungen für das Intervall-AOR-Verfahren für dieselbe Klasse von Matrizen, die in [7] betrachtet wurde.
    Notes: Abstract This paper is motivated by the paper [7], where the SOR method for solving linear interval equations was considered. It is known that sometimes the AOR method for systems of linear (“point”) equations converges faster than the SOR method. We give some sufficient conditions for the convergence of the interval AOR method for the same class of interval matrices which are considered in [7].
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Electronic Resource
    Electronic Resource
    Springer
    Computing 43 (1989), S. 93-95 
    ISSN: 1436-5057
    Keywords: 15A06 ; 15A39 ; 65G10 ; linear interval equations ; nonnegative solution
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Notwendige und hinreichende Bedingungen für die Existenz einer nichtnegativen Lösung eines linearen Intervallgleichungssystems werden angegeben.
    Notes: Abstract We give a Farkas-type necessary and sufficient condition for a system of linear interval equations to have a nonnegative solution, and derive a consequence of it.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    Electronic Resource
    Electronic Resource
    Springer
    Computing 43 (1989), S. 59-72 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65L05 ; 65F30 ; 41A21 ; matrix exponential ; Padé approximations ; iterative defect correction
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Es wird ein Algorithmus vorgestellt, der hochgenaue und automatisch verifizierte Grenzen fuer die Exponentialfunktion einer Matrix liefert. Unser Verfahren benuetzt iterative Defektkorrektur, Intervall-Analysis und eine erweiterte Rechnerarithmetik. Der dargestellte Algorithmus basiert auf dem “scaling and squaring” Schema und benutzt Padé-Approximationen und safe-error-monitoring. Es werden ein PASCAL-SC Programm vorgestellt und numerische Resultate diskutiert.
    Notes: Abstract An algorithm is presented, which produces highly accurate and automatically verified bounds for the matrix exponential function. Our computational approach involves iterative defect correction, interval analysis and advanced computer arithmetic. The algorithm presented is based on the “scaling and squaring” scheme, utilizing Padé approximations and safe error monitoring. A PASCAL-SC program is reported and numerical results are discussed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Electronic Resource
    Electronic Resource
    Springer
    Computing 41 (1989), S. 137-140 
    ISSN: 1436-5057
    Keywords: 65G10 ; Linear systems ; inexact data ; iterative solution
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Es wird gezeigt, daß nur zwei Matrizensequenzen zu konstruieren sind, um ein lineares Intervallgleichungssystem mit einer invers-stabilen, streng regulären Intervallmatrix zu lösen.
    Notes: Abstract It is shown that only two matrix sequences are to be constructed to solve a system of linear interval equations with an inverse stable, strongly regular interval matrix.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    Electronic Resource
    Electronic Resource
    Springer
    Computing 43 (1989), S. 73-84 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65F10 ; Nolinear systems of Equations ; Interval arithmetic ; Convergence ; Interval Newton Single Step Method
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung In dieser Arbeit werden Intervalliterationsverfahren zur Lösung großer nichtlinearer Gleichungssysteme behandelt. Bereits bekannte Verfahren werden zu einem neuen kombiniert, dessen Einschliessungseigenschaften wesentlich besser als die früherer Verfahren sind. Basierend auf einem neuen Konvergenzbeweis für das Intervall-Newton-Einzelschritt-Verfahren wird die Konvergenz des neuen Verfahrens gezeigt. Zentrales Konzept hierbei ist die Fixpunktinverse einer Intervallmatrix. Praktische Tests mit nichtlinearen Gleichungssystemen, die bei der Diskretisierung von bestimmten elliptischen partiellen Differentialgleichungen entstehen, zeigen die Leistungsfähigkeit des neuen Verfahrens.
    Notes: Abstract In this paper interval iteration methods for solving large nonlinear systems of equations are considered. Already well-known methods are combined to a new one, whose enclosing properties are better than those of previous methods. Convergence of this new method is shown, based on a new convergence proof for the interval Newton single-step method. The central concept in this case is the fixpoint inverse of an interval matrix. Practical tests with nonlinear systems of equations arising from discretisation of certain elliptic partial differential equations show the efficiency of the new method.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    Electronic Resource
    Electronic Resource
    Springer
    Computing 41 (1989), S. 149-152 
    ISSN: 1436-5057
    Keywords: 65H10 ; 65G10 ; Krawczyk operator ; centered form ; Moore test ; iterative method
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Ein optimales komponentenweises Iterationsverfahren vom Krawczyk-Moore-Typ wird eingeführt. Es benutzt die neue zentrische Form von Baumann.
    Notes: Abstract An optimal componentwise Krawczyk-Moore type iteration method is constructed by use of the new centered form of Baumann.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    Electronic Resource
    Electronic Resource
    Springer
    Computing 40 (1988), S. 273-280 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65H05 ; Polynomial zeroes ; complex circular arithmetic ; error bounds ; Brouwer's theorem
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Mit Hilfe der komplexen Kreisarithmetik modifizieren wir bekannte Methoden für a-priori-Fehlerschranken von Polynomnullstellen. In zwei Fällen erhalten wir so bessere Methoden, während sich in einem dritten Fall keine Verbesserung ergibt.
    Notes: Abstract We use complex circular arithmetic to modify three known methods which yield a-priori error-bounds for the zeroes of a complex polynomial. In two cases our modifications give better methods whereas there is no improvement in the third case.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Electronic Resource
    Electronic Resource
    Springer
    Computing 40 (1988), S. 85-89 
    ISSN: 1436-5057
    Keywords: 65H10 ; 65G10 ; Interval arithmetic ; existence test ; Newton iteration
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Es werden Beziehungen zwischen Moores Test und dem Zwischenwertsatz von Miranda hergeleitet. Als Anwendung wird ein konstruktiver Test von Moore und Kioustelidis mit dem reellen Newton-Verfahren kombiniert, um Nullstellennäherungen mit vorgegebener Genauigkeit zu konstruieren.
    Notes: Abstract We study relations between Moore's interval test and Miranda's theorem. As an application we combine the (real) Newton iteration with a computational test for Miranda's hypothesis by Moore and Kioustelidis to find an approximate solution to the systemf(x)=0 with specified error bounds.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Electronic Resource
    Electronic Resource
    Springer
    Computing 40 (1988), S. 367-372 
    ISSN: 1436-5057
    Keywords: 65G10 ; Interval analysis ; matrix inversion
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Wir betrachten in dieser Note Modifikationen der intervallmäßigen Schulz-Verfahren höherer Ordnung zur Verbesserung einer Einschließung für die Inverse einer Matrix. Es wird ein Satz über das in beiden Schranken streng monotone Verhalten der Methoden bewiesen. Eine notwendige und hinreichende Bedingung für die Existenz solch einer Anfangseinschließung wird angegeben sowie solch eine Intervallmatrix auch berechnet.
    Notes: Abstract We are considering modifications of the higher-order interval Schulz methods for improving an initial inclusion for the inverse of a matrix. It is proved that the methods are strictly monotone in both bounds if this is the case for the first iteration step. A necessary and sufficient condition for the existence of such an initial inclusion is given as well as an easy-to-compute formula for it.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Electronic Resource
    Electronic Resource
    Springer
    Computing 38 (1987), S. 71-74 
    ISSN: 1436-5057
    Keywords: 65G10 ; Interval analysis ; matrix inversion
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Für die intervallmäßigen Schulz-Verfahren zur Einschließung der Inversen einer Matrix wird eine notwendige und eine hinreichende Bedingung für die Monotonie der Iterationsfolgen angegeben. Insbesondere wird bewiesen, daß die in [2] angegebenen Prozeduren in vielen Fällen monotones Verhalten zeigen.
    Notes: Abstract For the interval versions of Schulz's method for bounding the inverse of a matrix a necessary and a sufficient criterion for the monotonicity is derived. In particular, it is proved that the procedures given in [2] in many cases compute monotone sequences.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Electronic Resource
    Electronic Resource
    Springer
    Computing 39 (1987), S. 183-186 
    ISSN: 1436-5057
    Keywords: 65G10 ; Interval analysis ; matrix inversion
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Für die intervallmäßigen Schulz-Verfahren zur Einschließung der Inversen einer Matrix werden einige für die Implementierung nützliche Eigenschaften bewiesen.
    Notes: Abstract Some properties of the interval versions of Schulz's method for bounding the inverse of a matrix are proved. These properties turn out to be useful for the implementation of these algorithms
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    Electronic Resource
    Electronic Resource
    Springer
    Computing 39 (1987), S. 247-259 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65H10 ; Taylor forms ; interval analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Die Taylor-Entwicklung, die von Hansen [3] eingeführt wurde, wird für den Gradm verallgemeinert. Ferner geben wir Abschätzungen für die Anzahl der Nullen im Restglied. Dann benützen wir die Entwicklung zur Definition einer Taylor-Form für den Wertebereich einer Funktion in einem Intervall. Wir schätzen die Anzahl der Intervall-Variablen ab, die gegen reelle Variable ausgetauscht werden können. Die Form wird dann für faktorisierbare Formationen implementiert und es werden einige numerische Beispiele angegeben.
    Notes: Abstract The Taylor expansion proposed by Hansen [3] is generalized to degreem and estimates are given for the number of zero entries in the remainder. The expansion is then used to define a Taylor form for the range of a function over an interval and estimates are given for the number of interval variables replaced by real variables due to the special Taylor expansion. The Taylor form is then implemented for factorable functions. Some numerical results are given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    Electronic Resource
    Electronic Resource
    Springer
    Computing 39 (1987), S. 261-270 
    ISSN: 1436-5057
    Keywords: 47H05 ; 65H10 ; 65G10 ; Systems of equations ; iteration methods ; interval operators
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung IntervalloperatorenF werden diskutiert, mit deren Hilfe man durch Iteration eine inklusionsmonotone Intervallfolge erzeugen kann. Für zwei Typen von Intervalloperatoren —K- undN-Operator-kann bewiesen werden, daßX 1⊆X 0 undX k+1 :=F(X k ),k=0,1,…,X k+1 ⊆X k für allek impliziert. Es wird auch die Konvergenzgeschwindigkeit der Intervallfolgen untersucht.
    Notes: Abstract Interval operatorsF for constructing inclusion monotone interval sequences by iteration methods are discussed. IfX 1⊆X 0 andX k+1 :=F(X k ,k=0,1,…, then for two types of operators—aK-and anN-operator-it can be proved thatX k+1 ⊆X k for allk. Also the speed of convergence of the interval sequence will be explored.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    ISSN: 1436-5057
    Keywords: 65H05 ; 65G10 ; Determination of polynomial zeros ; simultaneous iterative methods ; accelerated convergence ; R-order of convergence ; error analysis ; interval arithmetic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Ausgehend von disjukten Rechtecken in der komplexen Ebene, die komplexe Polynomnullstellen enthalten, wird ein iteratives Verfahren 2. Ordnung zur gleichzeitigen Einschließung dieser Nullstellen in der Rechteckarithmetik formuliert und die Konvergenz des Verfahrens betrachtet. Es werden zwei Einzelschritt-Varianten des vorgestellten Verfahrens formuliert, die zu beschleunigter Konvergenz führen, und dieR-Konvergenz beider Varianten bestimmt. Anschließend wird die Konvergenzordnung unter Berücksichtigung von Rundungsfehler untersucht und es werden die vorgestellten Verfahren an Beispielen illustriert.
    Notes: Abstract Starting from separated rectangles in the complex plane which contain polynomial complex zeros, an iterative method of second order for the simultaneous inclusion of these zeros is formulated in rectangular arithmetic. The convergence and a condition for convergence are considered. Applying Gauss-Seidel approach to the proposed method, two accelerated interval methods are formulated. TheR-order of convergence of these methods is determined. An analysis of the convergence order is given in the presence of rounding errors. The presented methods are illustrated numerically in examples of polynomial equations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    Electronic Resource
    Electronic Resource
    Springer
    Computing 36 (1986), S. 169-174 
    ISSN: 1436-5057
    Keywords: 26A16 ; 65G10 ; Lipschitz operator ; function strip ; interval arithmetic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Für Funktionsstreifen, welche durch einen arithmetischen Intervallausdruck definiert sind, werden zugeordnete Lipschitzoperatoren konstruiert.
    Notes: Abstract For function strips defined by an arithmetic interval expression, Lipschitz operators are constructed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    Electronic Resource
    Electronic Resource
    Springer
    Computing 36 (1986), S. 175-180 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65H05 ; 65F30 ; Order of convergence ; interval iterations
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Wir leiten hier Abschätzungen für dieR-Ordnung von gewissen Klassen von Rekrusionsfolgen her. Dazu werden Abschätzungen für die positiven Wurzeln bestimmter Polynomfolgen benötigt. Damit lassen sich dann effiziente Iterationsverfahren der Intervallrechnung bestimmen.
    Notes: Abstract In this paper we are considering some classes of recurrences. Estimates for theirR-order are derived. For this purpose we bound the real roots of certain sequences of polynomials. The results are then applied to the determination of efficient inclusion-methods by means of interval analysis.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Electronic Resource
    Electronic Resource
    Springer
    Computing 37 (1986), S. 179-183 
    ISSN: 1436-5057
    Keywords: 65H10 ; 65G10 ; Systems of equations ; interval operators
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Eine Klasse von IntervalloperatorenN a wird diskutiert. Einer von ihnen —Ň — ist optimal in dem Sinne, daßŇ(X)⊑N a (X) gilt. Mit Hilfe eines solchen Intervalloperators kann die Existenz einer Lösungx * einer Gleichungg(x)=0 bewiesen werden.
    Notes: Abstract A class of interval-Newton-operatorsN a will be discussed. One of them,Ň, is optimal in the manner thatŇ(X)⊑N a (X). With the help of such an interval operator we can given an existence theorem for the solution x* of the equationg(x)=0.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Electronic Resource
    Electronic Resource
    Springer
    Computing 34 (1985), S. 87-89 
    ISSN: 1436-5057
    Keywords: 65D15 ; 65G10 ; p-th roots ; interval arithmetic estimates
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Es wird eine einfache Methode angegeben, die quadratische von oben und von unter gegen α1/p strebende Folgen erzeugt.
    Notes: Abstract A simple method is exhibited for obtaining sequences which tend quadratically to α1/p from above and below.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Electronic Resource
    Electronic Resource
    Springer
    Computing 35 (1985), S. 185-188 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65F30 ; Interval methods ; iteration methods
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Abstract We consider a modified method of [1] for the improvement of an inclusion of the inverse of a matrix. It is shown that this modification is more efficient than the original method.
    Notes: Zusammenfassung Wir betrachten eine Modifikation eines Verfahrens aus [1] zur iterativen Verbesserung der Einschließung für die Inverse einer Matrix. Für diese Modifikation läßt sich zeigen, daß sie effizienter ist als das ursprüngliche Verfahren.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    Electronic Resource
    Electronic Resource
    Springer
    Computing 35 (1985), S. 177-184 
    ISSN: 1436-5057
    Keywords: 65G10 ; Interval arithmetic ; range of values
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Für den Fall, daßf eine Darstellung der Formf(x)=f(c)+(x-c) n h(x), xεX, besitzt, geben wir eine intervallmäßige Auswertung an, die den Wertebereich über dem kompakten IntervalX mit der Ordnungn+1 approximiert. Fürn=1 erhält man die bekannten Aussagen über die zentrierte Form.
    Notes: Abstract If the real-valued mappingf has a representation of the formf(x)=f(c)+(x-c) n h(x), xεX, then we introduce an interval expression which approximates the range of values off over the compact intervalX with ordern+1. The well known centered form is the special casen=1 of this result.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    ISSN: 1436-5057
    Keywords: 65F10 ; 65G10 ; Interval arithmetic ; linear systems of equations ; iterative solution methods ; incompleteLU-decompositions ; comparison theorems
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Vorgestellt wird eine Klasse von Iterationsverfahren zur Einschließung der Lösungsmenge durch einen Intervallvektor; dabei ist einen×n Intervall-H-Matrix und ein Intervallvektor. Der betrachtete Algorithmus verallgemeinert ein Iterationsverfahren von Meijerink/van der Vorst, das auf einer unvollständigenLU-Zerlegung einerM-MatrixA basiert. Es werden Aussagen über die Durchführbarkeit des Algorithmus, seiner Konvergenzgeschwindigkeit und seiner Einschließungsgüte gemacht. Da das ursprüngliche Verfahren von Meijerink/van der Vorst ein Spezialfall des vorliegenden Algorithmus ist, erhält man damit gleichzeitig seine Durchführbarkeit in der größeren Klasse derH-Matrizen. Als weitere Anwendung auf reelle Matrizen erhält man einen Zusammenhang zwischen demR 1-Faktor (Ortega/Rheinboldt [9]) des ursprünglichen Verfahrens und der zugrundeliegenden IndexmengeP.
    Notes: Abstract We present a class of iterative methods to enclose the solution set by an interval vector;A is varying in ann×n intervalH-Matrix andb is varying in an interval vector . The algorithm taken into consideration generalizes an iterative method of Meijerink/van der Vorst based on an incompleteLU-decomposition of anM-MatrixA. Theorems concerning the feasibility of the algorithm, its rate of convergence and its quality of enclosure are given. Since the original method of Meijerink/van der Vorst is a special case of our algorithm we have thus shown its applicability to the larger class ofH-matrices. Furthermore we relate theR 1-factor (as defined in Ortega/Rheinboldt [9]) of the original method to the underlying setP of indices.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Electronic Resource
    Electronic Resource
    Springer
    Computing 34 (1985), S. 243-259 
    ISSN: 1436-5057
    Keywords: 26B99 ; 65H10 ; 47H10 ; 65G10 ; Centered forms ; systems of equations ; interval operators ; fixed-point theorems
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Zu einer Funktionf:ℝ n →ℝ m werden zentrische Formen betrachtet. Anschließend wird gezeigt, daß die zentrischen und verallgemeinerten zentrischen Formen der Newton-Transformiertens(x):=x−af(x) bekannte Intervalloperatoren darstellen, welche zur lteration von Intervallfolgen benutzt werden. Aus dieser Tatsache ergeben sich Schlußfolgerungen bezüglich der Existenz eines Fixpunktes und eines „besten Intervalloperators”.
    Notes: Abstract Centered forms of a functionf:ℝ n →ℝ m are considered. It is then pointed out that the centered and generalized centered forms of the Newton-transformations(x):=x−af(x) describe known interval operators which have been introduced for the iteration producing sequences of intervals. This fact implies some conclusions with regard to the existence of a fixpoint or the “best interval operator”.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Electronic Resource
    Electronic Resource
    Springer
    Computing 34 (1985), S. 375-379 
    ISSN: 1436-5057
    Keywords: 65F10 ; 65G10 ; Linear equations ; iterative methods ; guaranteed accuracy ; interval inclusion
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Methoden zur Lösung linearer Gleichungssysteme mit Fehlereinschließung werden beschrieben. Sowohl Rechteck-Intervalle als auch Kugeln desR n werden benutzt. Ziel ist es, mit minimalem Aufwand an Rechenzeit Sicherheit in der Lösung zu gewinnen.
    Notes: Abstract Methods are described for solving a system of linear equations with error bounds. Rectangular and spherical intervals ofR n are used combined. The objective is to get guaranteed accuracy with a minimal effort of computing time.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    Electronic Resource
    Electronic Resource
    Springer
    Computing 35 (1985), S. 127-139 
    ISSN: 1436-5057
    Keywords: 65G05 ; 65G10 ; Relative error ; computer arithmetic ; floating point multiplication ; normalization options ; guard digits ; floating point numbers ; floating point precision and significance ; round-off error ; fraction error ; mean and standard deviation of errors ; logarithmically distributed numbers
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Es wird ein Modell für den relativen Fehler bei der Gleitkomma-Multiplikation entwickelt unf für verschiedene Kombinationen der Arithmetikparameter stochastisch analysiert. Die Parameter sind die Basis, die Rundungsart, die Anzahl der Schutzstellen, und ob die Normalisierung vor oder nach dem Runden erfolgt. Bei einer angenommenen logarithmischen Verteilung für die Mantisse kommt man zu folgenden Schlüssen: 1. Der durchschnittliche relative Fehler bei der Multiplikation wächst mit der Basis. 2. Dieser Fehler wird minimal für die Basis 2 (am besten mit verborgenem ersten Bit) und recht groß für die Basis 16. 3. Die klassischen Schranken für den relativen Fehler sind pessimistisch. Ihre durchschnittliche Überschätzung wächst mit der Basis.
    Notes: Abstract A model of the relative error in floating point multiplication is developed and is analyzed stochastically for various choices of computer design parameters. These parameters include the base, the type of rounding rule, the number of guard digits, and whether the post-arithmetic normalization shift (if needed) is done before or after rounding. Under the assumption of logarithmic distribution for the fraction (mantissa), the major stochastic conclusions are: 1. The average relative error in multiplication increases as the base increases. 2. This error is minimized by selecting the machine base to be binary (better yet, binary with a hidden bit) and is rather large for machines with base 16. 3. The classical relative error bounds are pessimistic. The average overestimation by those bounds increases as the base increases.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    Electronic Resource
    Electronic Resource
    Springer
    Computing 33 (1984), S. 331-347 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65D05 ; 65D15 ; 65B99 ; 41A25 ; Interval arithmetic ; centered form ; mean value form ; interpolation form ; quadratic convergence ; high order convergence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Für eine stetige Funktionf:D→ℝ auf einem kompakten Intervall $$D \subseteq \mathbb{R}$$ betrachten wir das Problem, ein IntervallV(f, X) zu finden, das den WertebereichW(f, X)={f(x)‖∈X} vonf auf einem TeilintervallX⊆D enthält. Um dies zu erreichen, verwenden wir Methoden der Intervallrechnung. WirdV(f, X) mit einer aus der Literatur bekannten Methode für eine Folge {X n } von Intervallen mit abnehmendem Durchmesserd(X n )→0 berechnet, dann wird i.a. die Überschätzung vonW(f, X n ) durchV(f, X n ) höchstens quadratisch mitd(X n ) abnehmen. Das in dieser Arbeit vorgestellte Verfahren erlaubt es,V(f, X n ) so zu berechnen, daß diese Überschätzung mit einer beliebigen Potenzs〉0 vond(X n ) abnimmt. Theoretisch ist jede Potenzs∈ℕ erreichbar, in der Praxis jedoch kann 1≤s≤4 mit wenig oder mäßigem Aufwand unds=5 oders=6 mit etwas größerem Aufwand erreicht werden. Eine Verallgemeinerung auf Funktionenf: ℝ n ℩ℝ wird zum Schluß der Arbeit angegeben.
    Notes: Abstract Given a continuous functionf:D→ℝ on a compact interval $$D \subseteq \mathbb{R}$$ we consider the problem of finding an intervalV(f, X) that contains the range of the values off,W(f, X)={f(x)‖x∈X} on a subintervalX⊆D. To reach this goal we use methods from interval-arithmetic. WhenV(f, X) is computed by one of the well-known methods from literature for a sequence {X n } of intervals with decreasing diametersd(X n )→0, then generally the overestimation ofW(f, X n ) byV(f, X n ) will decrease at most quadratically withd(X n ). The method presented in this paper, however, allows the computation ofV(f, X n ) such that this overestimation decreases with an arbitrary powers〉0 ofd(X n ). Theoretically any powers∈ℕ is possible, in practice, however, 1≤s≤4 can be reached with little or moderate amount of work ands=5 ors=6 with some more work. A generalization to functionsf: ℝ n ℩ℝ is given at the end of the paper.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    Electronic Resource
    Electronic Resource
    Springer
    Computing 31 (1983), S. 255-259 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65H10 ; 65J15 ; Systems of equations ; interval operators ; interval iterations
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Bei manchen Intervalliterationen wird zur Konvergenz einer entsprechenden Intervallfolge vorausgesetzt, daß σ(r)〈1 ist, wobei σ den Spektralradius vonr bezeichnet undr eine nichtnegative Lipschitzmatrix ist. In dieser Arbeit werden die Aussagen auf den Fall σ(r)=1 erweitert.
    Notes: Abstract By some interval iterations the condition σ(r)〈1 will be assumed for the convergence of the corresponding interval sequence by which σ denotes the spectral radius ofr, andr is a nonnegative Lipschitz matrix. In this paper the theorems are extended for the case σ (r)=1.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Electronic Resource
    Electronic Resource
    Springer
    Computing 31 (1983), S. 245-253 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65H10 ; 65J15 ; Systems of equations ; interval operators ; interval iterations
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Es gibt verschiedene Intervalliterationen unter Verwendung von Intervalloperatoren, welche eine Folge von Intervallen zur Einschließung aller Lösungen einer Gleichungf(x)=0 in einem gegebenen IntervallX 0 liefern und welche die Kenntnis einer Lipschitz-IntervallmatrixL vonf erfordern. In dieser Arbeit werden Existenz-und Konvergenzaussagen für den Fall gemacht, daßL eineM-Intervallmatrix ist.
    Notes: Abstract There are several interval iterations by applying interval operators which supply an interval sequence including all solutions of an equationf(x)=0 in a given intervalX 0 and which require the knowledge of an interval Lipschitz matrixL off. In this paper statements are made about existence and convergence in case thatL is an intervalM-matrix.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Electronic Resource
    Electronic Resource
    Springer
    Computing 29 (1982), S. 63-72 
    ISSN: 1436-5057
    Keywords: 65G10 ; 65F05 ; Interval analysis ; interval inverse ; factorable function
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Für zweimal differenzierbare faktorisierbare Funktionen liefert ein neuer Algorithmus die Hessesche Matrix als Summe äußere Produkte von Vektoren und ein Hessesches Intervall als Summe von äußeren Produkten von Intervallvektoren. Eine praktische Methode zur Invertierung eines Hesseschen Intervalles einer faktorisierbaren Funktion, die diese Sonderstruktur ausnützt, wird hier vorgestellt. Über rechnerische Erfahrungen mit dieser Methode und andere Invertierungstechniken wird berichtet.
    Notes: Abstract For twice-differentiable factorable functions, a new computer code provides the Hessian matrix as the sum of outer products of vectors and an interval Hessian as the sum of outer products of interval vectors. A practical method for inverting an interval Hessian of a factorable function which exploits this special structure is presented. Computational experience with this method and other inversion techniques is reported.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    Electronic Resource
    Electronic Resource
    Springer
    Computing 28 (1982), S. 117-137 
    ISSN: 1436-5057
    Keywords: 04A05 ; 41A25 ; 41A35 ; 47H05 ; 65G10 ; Centered form ; interval arithmetic ; quadratic convergence ; inclusion isotonicity
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Abstract Letf: ℝ n →ℝ be Lipschitz continuous. The corresponding centered form off is considered and appropriate interval inclusionsF are given. At first the phenomenon of the “quadratic convergence” ofF is treated. Subsequently functionsF are constructed which are inclusion isotone.
    Notes: Zusammenfassung Zu einer lipschitzstetigen Funktionf: ℝ n →ℝ wird die zentrische Form betrachtet und es werden zugehörige Intervall-EinschließungenF angegeben. Es wird einerseits das Phänomen der “quadratischen Konvergenz” vonF behandelt. Andererseits werden Funktionen vonF angegeben, die inklusionsisoton sind.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...