ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your search history is empty.
feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • Articles  (11)
  • 65G10  (11)
  • Springer  (11)
  • American Chemical Society
  • American Chemical Society (ACS)
  • American Geophysical Union
  • Frontiers Media
  • Institute of Electrical and Electronics Engineers (IEEE)
  • National Academy of Sciences
  • 2015-2019
  • 2005-2009
  • 1990-1994  (9)
  • 1980-1984  (2)
  • 2017
  • 2009
  • 1994  (9)
  • 1983  (2)
  • Computer Science  (11)
Collection
  • Articles  (11)
Publisher
  • Springer  (11)
  • American Chemical Society
  • American Chemical Society (ACS)
  • American Geophysical Union
  • Frontiers Media
  • +
Years
  • 2015-2019
  • 2005-2009
  • 1990-1994  (9)
  • 1980-1984  (2)
Year
Topic
  • Computer Science  (11)
  • 1
    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 ...
  • 2
    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 ...
  • 3
    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 ...
  • 4
    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 ...
  • 5
    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 ...
  • 6
    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 ...
  • 7
    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 ...
  • 8
    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 ...
  • 9
    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 ...
  • 10
    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 ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...