TY - JOUR A1 - Kossick, Regine A1 - Schulte (Fotos), Philip A1 - Kuiper (Fotos), Jens-Hendrik T1 - Die Bibliothek des Konrad-Zuse-Zentrums für Informationstechnik "Überall ist Mathematik drin" JF - One Person Libraries Berlin. 10 Jahre Arbeitskreis OPL Berlin/Brandenburg Y1 - 2010 SP - 18 EP - 23 ER - TY - GEN T1 - Annual Report 2013 T3 - Jahresbericht - 2013 KW - Jahresbericht Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-52848 SN - 0934-5892 VL - 2013 ER - TY - GEN T1 - Annual Report 2016 T3 - Jahresbericht - 2016 KW - Jahresbericht Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-64339 SN - 0934-5892 VL - 2016 ER - TY - GEN A1 - Rusch, Beate T1 - Normierungen von Zeichenfolgen als erster Schritt des Match - Zur Dublettenbehandlung im Kooperativen BibliotheksverbundBerlin-Brandenburg - N2 - Im Kooperativen Bibliotheksverbund Berlin-Brandenburg (KOBV) wird die verteilte Suche in heterogenen Datenbank mit einer integrierten Dublettenerkennung und -zusammenfuehrung realisiert. Beschrieben werden die einzelnen attributspezifischen Normierungsschritte, die dem eigentlichen Vergleich (MATCH) zweier Datensätze vorangehen. T3 - ZIB-Report - SC-99-13 KW - normalization of strings KW - de-duplication method KW - distributed library system Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4010 ER - TY - GEN A1 - Kuberek, Monika T1 - Gemeinsamer KOBV-Standard N2 - Der neue ''verteilte'' Bibliotheksverbund KOBV erfordert neue Arbeitsweisen und neue Formen der Zusammenarbeit der Bibliotheken untereinander. Im KOBV wird es keine zentrale Erschließung geben, sondern die Erschließung wird lokal, in den Bibliotheken durchgeführt. Entsprechend ihren Nutzerbedürfnissen bestimmen die Bibliotheken die Erschließungsart, den Erschließungsumfang und die Erschließungstiefe selbst. Als gemeinsamer regionaler Standard wird lediglich ein ''Mindeststandard'' auf der Basis von RAK-WB definiert. Dieser Gemeinsame KOBV-Standard berücksichtigt vor allem suchrelevante Elemente, um den Nutzern im KOBV möglichst einheitliche Sucheinstiege zu bieten. Der Gemeinsame KOBV-Standard wird in diesem Papier vorgestellt. T3 - ZIB-Report - SC-99-14 KW - Bibliotheksverbund KW - Erschließung KW - KOBV KW - KOBV-Standard KW - Kooperativer Bibliotheksverbund Berlin-Brandenburg KW - Verbundkooperation Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4027 ER - TY - GEN A1 - Kuberek, Monika T1 - Umgang mit hierarchischen Strukturen des MAB2-Datenformates in der KOBV-Suchmaschine N2 - Die KOBV-Suchmaschine verarbeitet Daten im bibliographischen Datenformat MAB2 (Maschinelles Austauschformat für Bibliotheken, Ausgabe 2), das in deutschsprachigen Ländern angewandt wird. Im MAB2-Format sind für mehrbändige begrenzte Werke und fortlaufende Sammelwerke hierarchische Strukturen realisiert - mit bis zu drei Hierarchiestufen und unterschiedlichem Aufbau, je nachdem, ob es sich um ein begrenztes Werk oder um ein Werk ohne geplanten Abschluß handelt. Jede hierarchische Stufe entspricht einem Datensatz, die zusammengehörigen Datensätze sind miteinander verknüpft. Inhaltlich enthält eine Stufe oft nur Teilinformationen des Werkes; erst die Stufen zusammen ergeben die vollständige Information. In der KOBV-Suchmaschine werden Dokumente aus verschiedenen Bibliotheken zusammengeführt. Hierarchische Strukturen potenzieren gewissermaßen die mit der Dublettenbehandlung (Match- und Merge-Verfahren) verbundene Problematik: Es müssen nicht nur Datensätze aus verschiedenen Bibliotheken zusammengeführt werden, sondern darüber hinaus die zusammengehörigen Datensätze der unterschiedlichen Hierarchiestufen. Der Artikel enthält eine ausführliche Analyse der in MAB2 vorkommenden hierarchischen Strukturen, beschreibt die Anforderungen für die Lieferung hierarchischer Datensätze aus den lokalen Systemen und stellt das Verfahren vor, wie in der KOBV-Suchmaschine mit diesen hierarchischen Datenstrukturen bei der Dublettenbehandlung umgegangen wird. Anhand von Fallbeispielen wird die Problematik der Verknüpfung zusammengeführter h-Sätze erörtert. Die KOBV-Suchmaschine verarbeitet Daten im bibliographischen Datenformat MAB2 (Maschinelles Austauschformat für Bibliotheken, Ausgabe 2), das in deutschsprachigen Ländern angewandt wird. Im MAB2-Format sind für mehrbändige begrenzte Werke und fortlaufende Sammelwerke hierarchische Strukturen realisiert - mit bis zu drei Hierarchiestufen und unterschiedlichem Aufbau, je nachdem, ob es sich um ein begrenztes Werk oder um ein Werk ohne geplanten Abschluß handelt. Jede hierarchische Stufe entspricht einem Datensatz, die zusammengehörigen Datensätze sind miteinander verknüpft. Inhaltlich enthält eine Stufe oft nur Teilinformationen des Werkes; erst die Stufen zusammen ergeben die vollständige Information. In der KOBV-Suchmaschine werden Dokumente aus verschiedenen Bibliotheken zusammengeführt. Hierarchische Strukturen potenzieren gewissermaßen die mit der Dublettenbehandlung (Match- und Merge-Verfahren) verbundene Problematik: Es müssen nicht nur Datensätze aus verschiedenen Bibliotheken zusammengeführt werden, sondern darüber hinaus die zusammengehörigen Datensätze der unterschiedlichen Hierarchiestufen. Der Artikel enthält eine ausführliche Analyse der in MAB2 vorkommenden hierarchischen Strukturen, beschreibt die Anforderungen für die Lieferung hierarchischer Datensätze aus den lokalen Systemen und stellt das Verfahren vor, wie in der KOBV-Suchmaschine mit diesen hierarchischen Datenstrukturen bei der Dublettenbehandlung umgegangen wird. Anhand von Fallbeispielen wird die Problematik der Verknüpfung zusammengeführter h-Sätze erörtert. T3 - ZIB-Report - SC-99-15 KW - Bibliographisches Datenformat KW - Datenformat KW - Deduplication KW - Dublettenbehandlung KW - Hierarchische Struktur KW - KOBV KW - KOBV-Suchmaschine KW - Kooperativer B Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4030 ER - TY - GEN A1 - Kuberek, Monika T1 - Dublettenbehandlung (Match- und Merge-Verfahren) in der KOBV-Suchmaschine - Grundlagen - N2 - Die Recherche über die KOBV-Suchmaschine liefert Datensätze aus unterschiedlichen Bibliotheken. Damit der Nutzer nicht viele, unter Umständen lange Listen für jede Bibliothek durchblättern muss werden die Datensätze in der KOBV-Suchmaschine einer Dublettenbehandlung (Match- und Merge-Verfahren) unterzogen. Ziel dieses Verfahrens ist es, dem Nutzer möglichst nur einen einzigen Datensatz mit allen zugehörigen Bestandsnachweisen aus den Bibliotheken anzuzeigen. In dem vorliegenden Papier steht das Match-Verfahren, das von der KOBV-Projektgruppe eigens für den Einsatz in der KOBV-Suchmaschine entwickelt wurde, im Vordergrund. Das Merge-Verfahren, das auf Konzepte von Ex Libris zurückgeht, ist lediglich am Rande erwähnt. Ziel bei der Entwicklung des Match- und Merge-Verfahrens war es, in der KOBV-Suchmaschine ein Verfahren zu implementieren, das vollkommen automatisiert, ohne Zuhilfenahme manueller und intellektueller Eingriffe, abläuft. In diesem Papier sind die Grundlagen zum Match- und Merge-Verfahren in der KOBV-Suchmaschine zusammengefaßt. Zunächst wird definiert, was unter einer Dublette überhaupt zu verstehen ist. Die Begriffe Dokument und Werk werden analysiert, die wesentlich sind für die Entscheidung, welche Datensätze in der KOBV-Suchmaschine letztendlich zusammengeführt werden. Anhand umfassender Literaturrecherchen werden die zur Dublettenbehandlung herangezogenen bibliographischen Beschreibungselemente (Attribute) in verschiedenen MARC- und MAB-Datenbanken ermittelt und grundsätzliche Probleme beim Erkennen dubletter bibliographischer Datensätze aufgezeigt. Schließlich werden Verfahren vorgestellt und diskutiert, wie die Attribute in das Match- und Merge-Verfahren eingebunden werden: bei nur einer Gewichtung (positiver Wert) und bei zwei Gewichtungen (positiver und negativer Wert). Auf dieser Basis werden Tabellen mit Werten für zwei unterschiedliche Gewichtungsverfahren in der KOBV-Suchmaschine entwickelt, die als Ausgangswerte für erste Testverfahren in den Match- und Merge-Algorithmus in der KOBV-Suchmaschine implementiert werden. T3 - ZIB-Report - SC-99-16 KW - Dublettenbehandlung KW - KOBV KW - KOBV-Suchmaschine KW - Kooperativer Bibliotheksverbund Berlin-Brandenburg KW - Match- und Merge-Verfahren Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4042 ER - TY - GEN A1 - Grötschel, Martin T1 - My Favorite Theorem: Characterizations of Perfect Graphs N2 - This paper summarizes and discusses various characterizations of perfect graphs and mentions some open problems in this area. T3 - ZIB-Report - SC-99-17 KW - graph theory KW - perfect graphs KW - integer programming Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4053 ER - TY - THES A1 - Schütte, Christof T1 - Conformational Dynamics: Modelling, Theory, Algorithm, and Application to Biomolecules N2 - The function of many important biomolecules comes from their dynamic properties and their ability to switch between different {\em conformations}. In a conformation, the large scale geometric structure of the molecule is understood to be conserved, whereas on smaller scales the system may well rotate, oscillate or fluctuate. In a recent article [J. Comp. Phys., 151,1 (1999)], the present author and coworkers demonstrated that (a) conformations can be understood as almost invariant sets of some Markov chain being defined via the Hamiltonian system governing the molecular dynamics and that (b) these sets can efficiently be computed via eigenvectors of the corresponding Markov operator. The persent manuscript reviews the mathematical modelling steps behind the novel concept, includes a rigorous analytical justification of this approach and especially of the numerical details of the algorithm, and illustrates its performance when applied to realistic molecular systems. T3 - ZIB-Report - SC-99-18 KW - biochemical conformation KW - almost invariant set KW - Markov chain KW - Hamiltonian system KW - Markov operator KW - quasi-compact operator KW - Perron root KW - Perron- Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4063 ER - TY - GEN A1 - Deuflhard, Peter A1 - Klein, Rupert A1 - Reinefeld, Alexander A1 - Stüben, Hinnerk T1 - Power-User und Supercomputer N2 - Abstract-Sammlung zum gleichnamigen Workshop am ZIB vom 19.--20. Mai 1999 T3 - ZIB-Report - SC-99-19 KW - Benutzertreffen KW - Höchstleistungsrechner Nord KW - HLRN Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4070 ER - TY - THES A1 - Lang, Jens T1 - Adaptive Multilevel Solution of Nonlinear Parabolic PDE Systems. Theory, Algorithm, and Applications N2 - This monograph has been written to illustrate the interlocking of theory, algorithm, and application in developing solution techniques for complex PDE systems. A deep theoretical understanding is necessary to produce a powerful idea leading to a successful algorithm. Efficient and robust implementation is the key to make the algorithm perform satisfactorily. The extra insight obtained by solving real--life problems brings out the structure of the method more clearly and suggests often ways to improve the numerical algorithm. It is my intention to impart the beauty and complexity found in both the theoretical investigation of the adaptive algorithm proposed here, i.e., the coupling of Rosenbrock methods in time and multilevel finite elements in space, and its realization. I hope that this method will find many more interesting applications. T3 - ZIB-Report - SC-99-20 KW - Adaptive multilevel finite elements KW - Rosenbrock methods KW - a posteriori error estimates KW - Rothe method Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4089 ER - TY - GEN A1 - Schneider, Wolfram T1 - Ein verteiltes Bibliotheks-Informationssystem auf Basis des Z39.50 Protokolls N2 - \\{\bf Zusammenfassung: }Diese Diplomarbeit beschreibt ein verteiltes Bibliotheks-Informationssystem für bibliographische Datenbanken im Internet. Der Name des Systems ist ZACK. Der Benutzer kann mit ZACK in einer oder mehreren bibliographischen Datenbanken nach einem Dokument suchen und die Treffer in die eigene lokale Datenbank übernehmen. Mit der Übernahme der Datensätze aus einer fremden Datenbank wird die Erfassung neuer Dokumente wesentlich erleichtert, da die Eigenkatalogisierung auf ein Minimum beschränkt werden kann. Es wird doppelte Arbeit vermieden, und die Datensätze haben eine gleichbleibend hohe Qualität. Bei der verteilten Suche mit ZACK wird parallel in mehreren Datenbanken gesucht. Dubletten werden als solche erkannt. Dem Benutzer wird eine übersichtliche Kurztrefferliste ohne doppelte Einträge angeboten. Er kann dann selbst entscheiden, aus welcher Datenbank er die Datensätze übernimmt. Die verteilte Suche hat in der Praxis eine deutlich bessere Trefferquote gebracht als die Suche in nur einer Datenbank. Dabei bleibt die Antwortzeit in einem für den Benutzer akzeptablen Rahmen. Die Kurztrefferliste wird durch die Dublettenkontrolle kürzer und übersichtlicher. English Title: A Distributed Library Information System on the Basis of the Z39.50 Protocol This diploma thesis desribes a distributed library information system for bibliographic databases in the Internet. The name of the system is ZACK. With ZACK the user is able to search for a particular document in several databases and to include the matches in his/her own local database. The inclusion of data records from an external database makes the capture of new documents much easier, as internal cataloging is reduced to a minimum. Double work is eliminated and a continuously high quality of data record is ensured. The distributed search by means of ZACK is carried out in several databases in parallel. Duplicates are recognized; and a short list of matches without double entries is offered. The user can then decide for himself from which database to include data records. In practice, a distributed search has produced far better results than the search in one particular database. Response times are within an acceptable limit for the user. The short list of hits is made clearer and more concise by the duplicate check. The diploma thesis is also available in PDF, HTML, and ASCII format: http://wolfram.schneider.org/lv/diplom/ . T3 - ZIB-Report - SC-99-21 KW - Z39.50 KW - duplication KW - distributed library KW - search engine KW - Dubletten KW - parallel Suche KW - verteiltes Bibliothekssystem KW - Metasuchmaschine Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4092 ER - TY - GEN A1 - Beck, Rudolf T1 - Graph-Based Algebraic Multigrid for Lagrange-Type Finite Elements on Simplicial Meshes N2 - We present an algebraic multigrid preconditioner which uses only the graphs of system matrices. Some elementary coarsening rules are stated, from which an advancing front algorithm for the selection of coarse grid nodes is derived. This technique can be applied to linear Lagrange-type finite element discretizations; for higher-order elements an extension of the multigrid algorithm is provided. Both two- and three-dimensional second order elliptic problems can be handled. Numerical experiments show that the resulting convergence acceleration is comparable to classical geometric multigrid. T3 - ZIB-Report - SC-99-22 KW - Algebraic multigrid KW - mesh coarsening KW - preconditioning Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4100 ER - TY - GEN A1 - Galliat, Tobias A1 - Deuflhard, Peter T1 - Adaptive hierarchical cluster analysis by Self-Organizing Box Maps N2 - The present paper aims at an extension of {\sc Kohonen's} Self-Organizing Map (SOM) algorithm to be called Self-Organizing Box Map (SOBM) algorithm; it generates box codebooks in lieu of point codebooks. Box codebooks just like point codebooks indirectly define a Voronoi tessellation of the input space, so that each codebook vector represents a unique set of points. Each box codebook vector comprises a multi-dimensional interval that approximates the related partition of the Voronoi tessellation. Upon using the automated cluster identification method that has recently been developed by the authors, the codebook vectors can be grouped in such a way that each group represents a point cluster in the input space. Since the clustering usually depends on the size of the SOM, one cannot be sure, whether the clustering comes out to be optimal. Refinement of part of the identified clusters would often improve the results. This paper presents the concept of an adaptive multilevel cluster algorithm that performs such refinements automatically. Moreover the paper introduces a concept of essential dimensions and suggests a method for their identification based on our herein suggested box codebooks. Applications of the algorithm to molecular dynamics will be described in a forthcoming paper. T3 - ZIB-Report - 00-13 KW - Self-Organizing Maps KW - cluster analysis KW - Voronoi tessellation KW - feature extraction KW - essential dimensions KW - multilevel methods Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5815 ER - TY - GEN A1 - Bienstock, Daniel A1 - Bley, Andreas T1 - Capacitated Network Design with Multicast Commodities N2 - This paper addresses the problem of designing a minimum cost network whose capacities are sufficiently large to allow a feasible routing of a given set of multicast commodities. A multicast commodity consists of a set of two or mo re terminals that need to be connected by a so called broadcast tree, which consumes on all of its edges a capacity as large as the demand value associated with that commodity. We model the network design problem with multicast commodities as the problem of packing capacitated Steiner trees in a graph. In the first part of the paper we present three mixed-integer programming formulations for this problem. The first natural formulation uses only one integer capacity variable for each edge and and one binary tree variable for each commodity-edge pair. Applying well-known techniques from the Steiner tree problem, we then develop a stronger directed and a multicommodity flow based mixed-integer programming formulation. In the second part of the paper we study the associated polyhedra and derive valid and even facet defining inequalities for the natural formulation. Finally, we describe separation algorithms for these inequalities and present computational results that demonstrate the strength of our extended formulations. T3 - ZIB-Report - 00-14 KW - multicast network design KW - Steiner tree packing Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5823 ER - TY - GEN A1 - Steinbach, Marc T1 - Hierarchical Sparsity in Multistage Convex Stochastic Programs N2 - Interior point methods for multistage stochastic programs involve KKT systems with a characteristic global block structure induced by dynamic equations on the scenario tree. We generalize the recursive solution algorithm proposed in an earlier paper so that its linear complexity extends to a refined tree-sparse KKT structure. Then we analyze how the block operations can be specialized to take advantage of problem-specific sparse substructures. Savings of memory and operations for a financial engineering application are discussed in detail. T3 - ZIB-Report - 00-15 KW - Multistage Stochastic Programs KW - Hierarchical KKT Sparsity Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5837 ER - TY - GEN A1 - Meyer, Michael A1 - Steinke, Thomas A1 - Brandl, Maria A1 - Sühnel, Jürgen T1 - Density functional study of guanine and uracil quartets and of guanine quartet metal/ion complexes N2 - The structures and interaction energies of guanine and uracil quartets have been determined by B3LYP hybrid density functional calculations. The total interaction energy $\Delta$E$^{T}$ of the $\it{C}$$_{4h}$-symmetric guanine quartet consisting of Hoogsteen type base pairs with two hydrogen bonds between two neighbour bases is -66.07 kcal/mol at the highest level. The uracil quartet with C6-H6...O4 interactions between the individual bases has only a small interaction energy of -20.92 kcal/mol and the interaction energy of -24.63 kcal/mol for the alternative structure with N3-H3...O4 hydrogen bonds is only slightly more negative. Cooperative effects contribute between 10 and 25 \% to all interaction energies. Complexes of metal ions with G-quartets can be classified into different structure types. The one with Ca$^{2+}$ in the central cavity adopts a $\it{C}$$_{4h}$-symmetric structure with coplanar bases, whereas the energies of the planar and non-planar Na$^{+}$ complexes are almost identical. The small ions Li$^{+}$, Be$^{2+}$, Cu$^{+}$ and Zn$^{2+}$ prefer a non-planar $\it{S}$$_{4}$-symmetric structure. The lack of co-planarity prevents probably a stacking of these base quartets. The central cavity is too small for K$^{+}$ ions and therefore this ion favours in contrast to all other investigated ions a $\it{C}$$_{4}$-symmetric complex, which is 4.73 kcal/mol more stable than the $\it{C}$$_{4h}$-symmetric one. The distance 1.665 {\AA} between K$^{+}$ and the root mean squares plane of the guanine bases is approximately half of the distance between two stacked G-quartets. The total interaction energy of alkaline earth ion complexes exceeds the ones with alkali ions. Within both groups of ions the interaction energy decreases with an increasing row position in the periodic table. The B3LYP and BLYP methods lead to similar structures and energies. Both methods are suitable for hydrogen-bonded biological systems. Compared with the before mentioned methods the HCTH functional leads to longer hydrogen bonds and different relative energies for two U-quartets. Finally we calculated also structures and relative energies with the MMFF94 forcefield. Contrary to all DFT methods, MMFF94 predicts bifurcated C-H...O contacts in the uracil quartet. In the G-quartet the MMFF94 hydrogen bond distances N2-H22...N7 are shorter than the DFT distances, whereas the N1-H1...O6 distances are longer. T3 - ZIB-Report - 00-16 KW - density functional theory KW - effective core potential KW - hydrogen bond KW - guanine KW - uracil KW - metal ion KW - C-H...O interaction Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5842 ER - TY - GEN A1 - Oevermann, Michael A1 - Klein, Rupert A1 - Berger, Marsha A1 - Goodman, Jonathan T1 - A Projection Method for Two-Phase Incompressible Flow with Surface Tension and Sharp Interface Resolution N2 - We present a fully second order projection method for the simulation of two-phase incompressible flow with surface tension. The Navier-Stokes equations are solved with a projection method on a fixed Cartesian grid. The free interface between the two fluids is tracked with a level set approach. The conditions at the interface for the pressure, the pressure gradient, and the velocity are explicitly incorporated into the scheme leading to a sharp representation of the pressure discontinuity and the interfacial force. The scheme in the presented form does not introduce additional points in the standard finite difference stencils. Computational results are compared with analytic solutions for a static round bubble, damped surface waves, and Rayleigh-Taylor instabilities. T3 - ZIB-Report - 00-17 KW - Two-phase flow KW - immersed interface method KW - incompressible flow KW - projection method KW - level set KW - multi grid Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5851 ER - TY - GEN A1 - Koster, Arie M.C.A. T1 - Re-Optimization of Signaling Transfer Points N2 - In this paper we describe the results of a computational study towards the (re)optimization of signaling transfer points (STPs) in telecommunication networks. The best performance of an STP is achieved whenever the traffic load is evenly distributed among the internal components. Due to the continuously changing traffic pattern, the load of the components has to be re-optimized on a regular basis. Besides the balancing objective also the number of rearrangements have to be taken into account. In this paper we present two alternative formulations to deal with both requirements. Computational results show that for both formulations (near) optimal solutions can be obtained within reasonable time limits. T3 - ZIB-Report - 00-18 KW - Telecommunications KW - Modeling KW - Integer Programming Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5863 ER - TY - GEN A1 - Krumke, Sven A1 - Noltemeier, Hartmut A1 - Wirth, Hans-Christoph T1 - Graphentheoretische Konzepte und Algorithmen N2 - Das vorliegende Skript bietet eine Einf{ü}hrung in die Graphentheorie und graphentheoretische Algorithmen. Im zweiten Kapitel werden Grundbegriffe der Graphentheorie vorgestellt. Das dritte Kapitel besch{ä}ftigt sich mit der Existenz von Wegen in Graphen. Hier wird auch die L{ö}suung des ber{ü}hmten K{ö}nigsberger Br{ü}ckenproblems aufgezeigt und der Satz von Euler bewiesen. Im vierten Kapitel wird gezeigt, wie man auf einfache Weise die Zusammenhangskomponenten eines Graphen bestimmen kann. Im Kapitel sechs wird dann sp{ä}ter mit der Tiefensuche ein Verfahren vorgestellt, das schneller arbeitet und mit dessen Hilfe man noch mehr Informationen {ü}ber die Struktur eines Graphen gewinnen kann. In den folgenden Kapiteln werden Algorithmen vorgestellt, um minimale aufspannenden B{ä}ume, k{ü}rzeste Wege und maximale Fl{ü}sse in Graphen zu bestimmen. Am Ende des Skripts wird ein kurzer Einblick in die planaren Graphen und Graphhomomorphismen geboten. T3 - ZIB-Report - 00-19 KW - Graphen KW - Algorithmen KW - Komplexit{ä}t KW - kombinatorische Optimierung Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5873 ER - TY - GEN A1 - Meyer, Michael A1 - Schnurre, Rüdiger A1 - Reissbrodt, Rolf A1 - Trowitzsch-Kienast, Wolfram T1 - Computer-aided design of novel siderophores: Pyridinochelin N2 - Pyridinochelin, a novel catecholate type siderophore, has been designed on the basis of the active analog enterobactin. Growth promotion tests indicate that this synthetic siderophore feeds various pathogenic bacteria effectively with iron even though it lacks one catecholate group compared to enterobactin. The superposition of the siderophore structures suggests that the structure of the skeleton connecting the catecholate groups might be an important factor for the iron transport. T3 - ZIB-Report - 00-20 KW - bioorganic chemistry KW - drug design KW - molecular modeling KW - iron transport KW - siderophore Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5887 ER - TY - GEN A1 - Lang, Jens A1 - Erdmann, Bodo T1 - Adaptive Linearly Implicit Methods for Heat and Mass Transfer Problems N2 - Dynamical process simulation of complex real-life problems often requires the use of modern algorithms, which automatically adapt both the time and space discretization in order to get error-controlled approximations of the solution. In this paper, a combination of linearly implicit time integrators of Rosenbrock type and adaptive multilevel finite elements based on a posteriori error estimates is presented. This approach has proven to work quite satisfactorily for a wide range of challenging practical problems. We show the performance of our adaptive method for two applications that arise in the study of flame balls and brine transport in porous media. T3 - ZIB-Report - 00-21 KW - Nonlinear time-dependent PDEs KW - Rosenbrock methods KW - multilevel finite elements KW - local refinement KW - a posteriori error estimates Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5892 ER - TY - GEN A1 - Hoesel, Stan P.M. van A1 - Koster, Arie M.C.A. A1 - Leensel, Robert L.M.J. van de A1 - Savelsbergh, Martin W.P. T1 - Polyhedral Results for the Edge Capacity Polytope N2 - Network loading problems occur in the design of telecommunication networks, in many different settings. The polyhedral structure of this problem is important in developing solution methods for the problem. In this paper we investigate the polytope of the problem restricted to one edge of the network (the edge capacity problem). We describe classes of strong valid inequalities for the edge capacity polytope, and we derive conditions under which these constraints define facets. As the edge capacity problem is a relaxation of the network loading problem, their polytopes are intimately related. We, therefore, also give conditions under which the inequalities of the edge capacity polytope define facets of the network loading polytope. Furthermore, some structural properties are derived, such as the relation of the edge capacity polytope to the knapsack polytope. We conclude the theoretical part of this paper with some lifting theorems, where we show that this problem is polynomially solvable for most of our classes of valid inequalities. In a computational study the quality of the constraints is investigated. Here, we show that the valid inequalities of the edge capacity polytope are not only important for solving the edge capacity problem, but also for the network loading problem, showing that the edge capacity problem is an important subproblem. T3 - ZIB-Report - 00-22 KW - network design KW - mixed integer programming KW - cutting planes KW - knapsack with integer capacity Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5907 ER - TY - GEN A1 - Krumke, Sven A1 - Rambau, Jörg A1 - Weider, Steffen T1 - An Approximation Algorithm for the Non-Preemptive Capacitated Dial-a-Ride Problem N2 - In the Capacitated Dial-a-Ride Problem (CDARP) we are given a transportation network and a finite set of transportation jobs. Each job specifies the source and target location which are both part of the network. A server which can carry at most $C$~objects at a time can move on the transportation network in order to process the transportation requests. The problem CDARP consists of finding a shortest transportation for the jobs starting and ending at a designated start location. In this paper we are concerned with the restriction of CDARP to graphs which are simple paths. This setting arises for instance when modelling applications in elevator transportation systems. It is known that even for this restricted class of graphs CDARP is NP-hard to solve. We provide a polynomial time approximation algorithm that finds a transportion of length at most thrice the length of the optimal transportation. T3 - ZIB-Report - 00-53 KW - NP-completeness KW - polynomial-time approximation algorithms KW - stacker-crane problem KW - vehicle Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6217 ER - TY - GEN A1 - Schmidt, Frank A1 - Friese, Tilmann A1 - Zschiedrich, Lin A1 - Deuflhard, Peter T1 - Adaptive Multigrid Methods for the Vectorial Maxwell Eigenvalue Problem for Optical Waveguide Design N2 - This paper has been motivated by the need for a fast robust adaptive multigrid method to solve the vectorial Maxwell eigenvalue problem arising from the design of optical chips. Our nonlinear multigrid methods are based on a previous method for the scalar Helmholtz equation, which must be modified to cope with the null space of the Maxwell operator due to the divergence condition. We present two different approaches. First, we present a multigrid algorithm based on an edge element discretization of time-harmonic Maxwell's equations, including the divergence condition. Second, an explicit elimination of longitudinal magnetic components leads to a nodal discretization known to avoid discrete \emph{spurious modes} also and a vectorial eigenvalue problem, for which we present a multigrid solver. Numerical examples show that the edge element discretization clearly outperforms the nodal element approach. T3 - ZIB-Report - 00-54 KW - Maxwell's equations KW - eigenvalue problem KW - edge elements KW - multigrid methods KW - waveguide KW - optical chip design Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6228 ER - TY - GEN A1 - Krumke, Sven A1 - Rambau, Jörg T1 - Online Optimierung N2 - Wie soll man einen Aufzug steuern, wenn man keine Informationen über zukünftige Fahraufträge besitzt? Soll man eine Bahncard kaufen, wenn die nächsten Bahnreisen noch unbekannt sind? In der klassischen kombinatorischen Optimierung geht man davon aus, daß die Daten jeder Probleminstanz vollständig gegeben sind. In vielen Fällen modelliert diese \emph{Offline-Optimierung} jedoch die Situationen aus Anwendungen nur ungenügend. Zahlreiche Problemstellungen in der Praxis sind in natürlicher Weise \emph{online}: Sie erfordern Entscheidungen, die unmittelbar und ohne Wissen zukünftiger Ereignisse getroffen werden müssen. Als ein Standardmittel zur Beurteilung von Online-Algorithmen hat sich die \emph{kompetitive Analyse} durchgesetzt. Dabei vergleicht man den Zielfunktionswert einer vom Online-Algorithmus generierten Lösung mit dem Wert einer optimalen Offline-Lösung. Mit Hilfe der kompetitiven Analyse werden im Skript Algorithmen zum Caching, Netzwerk-Routing, Scheduling und zu Transportaufgaben untersucht. Auch die Schwächen der kompetitiven Analyse werden aufgezeigt und alternative Analysekonzepte vorgestellt. Neben der theoretischen Seite werden auch die Anwendungen der Online-Optimierung in der Praxis, vor allem bei Problemen der innerbetrieblichen Logistik, beleuchtet. Bei der Steuerung automatischer Transportsysteme tritt eine Fülle von Online-Problemen auf. Hierbei werden an die Algorithmen oftmals weitere Anforderungen gestellt. So müssen Entscheidungen unter strikten Zeitbeschränkungen gefällt werden (Echtzeit-Anforderungen). Dieses Skript ist aus dem Online-Teil der Vorlesung -Ausgewählte Kapitel aus der ganzzahligen Optimierung- (Wintersemester~1999/2000) und der Vorlesung -Online Optimierung- (Sommersemester~2000) an der Technischen Universität Berlin entstanden. T3 - ZIB-Report - 00-55 KW - Kompetitive Analyse KW - Online Optimierung KW - Online Algorithmen Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6238 ER - TY - GEN A1 - Grötschel, Martin A1 - Fonseca, Irene A1 - Davis, Mark T1 - Round Table: The Impact of Mathematical Research on Industry and Vice Versa N2 - This paper is a summary of the Round Table: ``The Impact of Mathematical Research on Industry and Vice Versa'' held at 3ecm in Barcelona on July 11, 2000. The round table started with contributions of the three panelists. Irene Fonseca, the panel chair, opened the discussion by stating six questions addressing the main issues of the round table topic. She presented the panel's answers to these questions, drawing on many examples from her own academic experience. In the following additional presentations, the other two panel members added further points of view based on their personal involvement with industry. The round table ended with a lively discussion with members from the audience. This written summary of the oral presentations follows the structure of the round table indicated above. T3 - ZIB-Report - 00-57 KW - industrial mathematics KW - applications in industry Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6259 ER - TY - GEN A1 - Grötschel, Martin T1 - Frequency Assignment in Mobile Phone Systems N2 - Wireless communication networks employ radio frequencies to establish communication links. The available radio spectrum is very limited. To meet today's radio communication demand, this resource has to be administered and reused carefully in order to control mutual interference. The reuse can be organized via separation in space, time, or frequency, for example. The problem, therefore, arises to distribute frequencies to links in a ``reasonable manner''. This is the basic form of the frequency assignment problem. What ``reasonable'' means, how to quantify this measure of quality, which technical side constraints to consider cannot be answered in general. The exact specification of this task and its mathematical model depend heavily on the particular application considered. In this paper we discuss this issue with respect to the GSM standard for mobile communication. T3 - ZIB-Report - 00-58 KW - frequency assignment KW - telecommunication KW - mobile phone KW - integer programming KW - coloring Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6265 ER - TY - GEN A1 - Hohage, Thorsten A1 - Schmidt, Frank A1 - Zschiedrich, Lin T1 - Solving time-harmonic scattering problems based on the condition: Theory N2 - The pole condition is a general concept for the theoretical analysis and the numerical solution of a variety of wave propagation problems. It says that the Laplace transform of the physical solution in radial direction has no poles in the lower complex half-plane. In the present paper we show that for the Helmholtz equation with a radially symmetric potential the pole condition is equivalent to Sommerfeld's radiation condition. Moreover, a new representation formula based on the pole condition is derived and used to prove existence, uniqueness and asymptotic properties of solutions. This lays the foundations of a promising new algorithm to solve time-harmonic scattering problems numerically and provides a new approach for analyzing existing algorithms such as the Perfectly Matched Layer (PML) method and the Bayliss-Gunzburger-Turkel (BGT) algorithm. T3 - ZIB-Report - 01-01 KW - transparent boundary conditions KW - Laplace transform KW - Sommerfeld radiation condition Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6279 ER - TY - GEN A1 - Borndörfer, Ralf A1 - Grötschel, Martin A1 - Löbel, Andreas T1 - Duty Scheduling in Public Transit N2 - This article is about \emph{adaptive column generation techniques} for the solution of duty scheduling problems in public transit. The current optimization status is exploited in an adaptive approach to guide the subroutines for duty generation, LP resolution, and schedule construction toward relevant parts of a large problem. Computational results for three European scenarios are reported. T3 - ZIB-Report - 01-02 KW - Duty Scheduling KW - Constraint Shortest Paths Problem KW - Column Generation Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6286 ER - TY - GEN A1 - Fischer, Alexander A1 - Schütte, Christof A1 - Deuflhard, Peter A1 - Cordes, Frank T1 - Hierarchical Uncoupling-Coupling of Metastable Conformations N2 - Uncoupling-coupling Monte Carlo (UCMC) combines uncoupling techniques for finite Markov chains with Markov chain Monte Carlo methodology. UCMC aims at avoiding the typical metastable or trapping behavior of Monte Carlo techniques. From the viewpoint of Monte Carlo, a slowly converging long-time Markov chain is replaced by a limited number of rapidly mixing short-time ones. Therefore, the state space of the chain has to be hierarchically decomposed into its metastable conformations. This is done by means of combining the technique of conformation analysis as recently introduced by the authors, and appropriate annealing strategies. We present a detailed examination of the uncoupling-coupling procedure which uncovers its theoretical background, and illustrates the hierarchical algorithmic approach. Furthermore, application of the UCMC algorithm to the $n$-pentane molecule allows us to discuss the effect of its crucial steps in a typical molecular scenario. T3 - ZIB-Report - 01-03 KW - almost invariant sets KW - bridge sampling KW - metastability KW - hierarchical annealing KW - hybrid Monte Carlo KW - $n$-pentane molecule KW - ratio of normalizing co Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6296 ER - TY - GEN A1 - Henrion, Rene A1 - Li, Pu A1 - Möller, Andris A1 - Steinbach, Marc A1 - Wendt, Moritz A1 - Wozny, Günter T1 - Stochastic Optimization for Operating Chemical Processes Under Uncertainty N2 - Mathematical optimization techniques are on their way to becoming a standard tool in chemical process engineering. While such approaches are usually based on deterministic models, uncertainties such as external disturbances play a significant role in many real-life applications. The present article gives an introduction to practical issues of process operation and to basic mathematical concepts required for the explicit treatment of uncertainties by stochastic optimization. T3 - ZIB-Report - 01-04 KW - Uncertainty KW - Chemical Processes KW - Multistage Stochastic Programs KW - Probabilistic Constraints Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6304 ER - TY - GEN A1 - Ehrig, Rainald A1 - Ofenloch, Oliver A1 - Schaber, Karlheinz A1 - Deuflhard, Peter T1 - Modelling and Simulation of Aerosol Formation by Heterogeneous Nucleation in Gas-Liquid Contact Devices N2 - This paper describes a new simulation tool for the prediction of aerosol formation and behavior in gas--liquid contact devices such as absorbers, scrubbers, quench coolers, and condensers as well as multistage gas cleaning processes, respectively. Aerosol formation can impact severely the separation efficiency of gas cleaning processes. Aerosol or fog formation can arise by spontaneous condensation or desublimation in supersaturated gas phases. The rigorous description of the mass and energy transfer between the gas phase, the liquid phase, and the growing aerosol droplets leads to a system of partial differential and algebraic equations. For the solution of these systems we have developed the plant simulation tool AerCoDe. This program bases upon the linearly--implicit Euler discretisation, which in combination with extrapolation permits an adaptive step size and order control. Typical simulation results of a multistage industrial flue gas scrubbing process are presented. It is shown, that experimental data can be confirmed if the number concentration of condensation nuclei as an input parameter is roughly known. T3 - ZIB-Report - 01-15 KW - aerosols KW - heterogeneous nucleation KW - two-phase flow KW - balance equations KW - extrapolation methods Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6416 ER - TY - GEN A1 - Grötschel, Martin A1 - Krumke, Sven A1 - Rambau, Jörg A1 - Winter, Thomas A1 - Zimmermann, Uwe T1 - Combinatorial Online Optimization in Real Time N2 - Optimization is the task of finding an optimum solution to a given problem. When the decision variables are discrete we speak of a combinatorial optimization problem. Such a problem is online when decisions have to be made before all data of the problem are known. And we speak of a real-time online problem when online decisions have to be computed within very tight time bounds. This paper surveys the are of combinatorial online and real-time optimization, it discusses, in particular, the concepts with which online and real-time algorithms can be analyzed. T3 - ZIB-Report - 01-16 KW - Online Optimization KW - Realtime Optimization KW - Competitive Analysis KW - Heuristics KW - Survey Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6424 ER - TY - GEN A1 - Grötschel, Martin A1 - Krumke, Sven A1 - Rambau, Jörg T1 - Online Optimization of Complex Transportation Systems N2 - This paper discusses online optimization of real-world transportation systems. We concentrate on transportation problems arising in production and manufacturing processes, in particular in company internal logistics. We describe basic techniques to design online optimization algorithms for such systems, but our main focus is decision support for the planner: which online algorithm is the most appropriate one in a particular setting? We show by means of several examples that traditional methods for the evaluation of online algorithms often do not suffice to judge the strengths and weaknesses of online algorithms. We present modifications of well-known evaluation techniques and some new methods, and we argue that the selection of an online algorithm to be employed in practice should be based on a sound combination of several theoretical and practical evaluation criteria, including simulation. T3 - ZIB-Report - 01-17 Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6438 ER - TY - GEN A1 - Wagler, Annegret T1 - Rank-Perfect and Weakly Rank-Perfect Graphs N2 - An edge of a perfect graph $G$ is critical if $G-e$ is imperfect. We would like to decide whether $G - e$ is still {\sl almost perfect} or already {\sl very imperfect}. Via relaxations of the stable set polytope of a graph, we define two superclasses of perfect graphs: rank-perfect and weakly rank-perfect graphs. Membership in those two classes indicates how far an imperfect graph is away from being perfect. We study the cases, when a critical edge is removed from the line graph of a bipartite graph or from the complement of such a graph. T3 - ZIB-Report - 01-18 KW - perfect graphs KW - rank-perfect graphs KW - weakly rank-perfect graphs KW - stable set polytope KW - critical edges Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6448 ER - TY - GEN A1 - Jeltsch, Rolf A1 - Strang, Gilbert A1 - Deuflhard, Peter T1 - First SIAM-EMS Conference "Applied Mathematics in our Changing World" Berlin 2001 - Collection of Abstracts N2 - Collection of abstracts of the first SIAM-EMS conference Applied Mathematics in our Changing World'' in Berlin, September 2-6, 2001. T3 - ZIB-Report - 01-19 KW - Abstracts Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6452 ER - TY - GEN A1 - Koch, Thorsten T1 - ZIMPL User Guide N2 - {\sc Zimpl} is a little language to translate the mathematical model of a problem into a linear or (mixed-)integer mathematical program expressed in {\tt lp} or {\tt mps} file format which can be read by a LP or MIP solver. T3 - ZIB-Report - 01-20 KW - LP KW - IP KW - Modelling Language KW - Integer Programming Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6466 ER - TY - GEN A1 - Otto, Dagmar T1 - Informationsportale und Digitale Bibliotheken N2 - Im ersten Teil des folgenden Aufsatzes werden allgemeine Überlegungen zur Entwicklung von Bibliotheken hin zu Informationsvermittlungsstellen für sowohl elektronische wie auch gedruckte Medien angestellt. Basierend auf den Ergebnissen der Evaluation digitaler Bibliotheken und Informationsportale in Deutschland wird ein erster Kriterienkatalog für ein Verbund-Informationsportal für den Kooperativen Bibliotheksverbund Berlin-Brandenburg entwickelt. Im Anhang befindet sich der Statusbericht über Informationsportale und digitale Bibliotheken in Deutschland. Dazu wurden sieben digitale Bibliotheken auf Verbundebene und 21 Bibliotheken nach Bundesländern evaluiert. T3 - ZIB-Report - 01-21 KW - KOBV KW - Kooperativer Bibliotheksverbund Berlin-Brandenburg KW - Bibliotheksverbund KW - Informationsportal KW - Portal KW - Digitale Bibliothek Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6479 ER - TY - GEN A1 - Krumke, Sven A1 - Rambau, Jörg A1 - Torres, Luis Miguel T1 - Real-Time Dispatching of Guided and Unguided Automobile Service Units with Soft Time Windows N2 - Given a set of service requests (events), a set of guided servers (units), and a set of unguided service contractors (conts), the vehicle dispatching problem {\sl vdp} is the task to find an assignment of events to units and conts as well as tours for all units starting at their current positions and ending at their home positions (dispatch) such that the total cost of the dispatch is minimized. The cost of a dispatch is the sum of unit costs, cont costs, and event costs. Unit costs consist of driving costs, service costs and overtime costs; cont costs consist of a fixed cost per service; event costs consist of late costs linear in the late time, which occur whenever the service of the event starts later than its deadline. The program \textsf{ZIBDIP} based on dynamic column generation and set partitioning yields solutions on heavy-load real-world instances (215 events, 95 units) in less than a minute that are no worse than 1\% from optimum on state-of-the-art personal computers. T3 - ZIB-Report - 01-22 KW - vehicle dispatching KW - soft time windows KW - real-time KW - column generation KW - pricing KW - branch and bound KW - real world data KW - ADAC Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6484 ER - TY - GEN A1 - Hohage, Thorsten A1 - Schmidt, Frank A1 - Zschiedrich, Lin T1 - Solving time-harmonic scattering problems based on the pole condition: Convergence of the PML method N2 - In this paper we study the PML method for Helmholtz-type scattering problems with radially symmetric potential. The PML method consists in surrounding the computational domain by a \textbf{P}erfectly \textbf{M}atched sponge \textbf{L}ayer. We prove that the approximate solution obtained by the PML method converges exponentially fast to the true solution in the computational domain as the thickness of the sponge layer tends to infinity. This is a generalization of results by Lassas and Somersalo based on boundary integral eqaution techniques. Here we use techniques based on the pole condition instead. This makes it possible to treat problems without an explicitly known fundamental solution. T3 - ZIB-Report - 01-23 KW - transparent boundary conditions KW - PML KW - pole condition Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6494 ER - TY - GEN A1 - Steinbach, Marc T1 - General Information Constraints in Stochastic Programs N2 - Scenario tree models of stochastic programs arise naturally under standard nonanticipativity assumptions. We demonstrate how tree-sparse programs cover the general case, with \emph{arbitrary} information constraints. Detailed examples and intuitive interpretations illuminate the basic thoughts behind the abstract but elementary construction. T3 - ZIB-Report - 01-24 KW - information constraints KW - general nonanticipativity KW - sigma-fields KW - filtrations KW - scenarios KW - stochastic programs KW - tree-sparse programs Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6502 ER - TY - GEN A1 - Garrido, Izaskun A1 - Steinbach, Marc T1 - A Multistage Stochastic Programming Approach in Real-Time Process Control N2 - Standard model predictive control for real-time operation of industrial production processes may be inefficient in the presence of substantial uncertainties. To avoid overly conservative disturbance corrections while ensuring safe operation, random influences should be taken into account explicitly. We propose a multistage stochastic programming approach within the model predictive control framework and apply it to a distillation process with a feed tank buffering external sources. A preliminary comparison to a probabilistic constraints approach is given and first computational results for the distillation process are presented. T3 - ZIB-Report - 01-05 KW - Process Control KW - Real-Time Optimization KW - Multistage Stochastic Programming Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6317 ER - TY - GEN A1 - Byun, Chul-Young T1 - Lower Bounds for Large-Scale Set Partitioning Problems N2 - In this work we concentrate on developing methods which determine good lower bounds for set partitioning problems (SPP) in an appropriate amount of time. We found out that it makes sense to use the Lagrangian relaxation method for this task. The Lagrangian relaxed problem of SPP has a simple structure, which leads to algorithms and heuristics, whose total complexity per iteration depends linearly on the number of non-zeros of the problem matrix of SPP. In contrast, other methods like simplex methods or interior point methods have a complexity of higher order. Because the problem matrices of our tested instances are sparse, the linear dependence becomes an advantage for the algorithms and heuristics mentioned above. As a reference for the state-of-the-art we have applied the dual simplex method and the barrier function method, implemented in CPLEX. The methods, which we have developed and compared with those of CPLEX, are SBM, CAM, CCBM, and CBM. SBM is a subgradient bundle method derived from the basic subgradient method, which is a global convergent method for determining the maximum of concave functions. CAM is a coordinate ascent method, where the convex coordinate bundle method CCBM and the coordinate bundle method CBM are derivatives from CAM. We observed that the basic subgradient and the coordinate ascent method are improved if bundling techniques can be used. But the motivation for bundling differs for both approaches. In the former case bundling helps to approximate a minimum norm subgradient, which provides a steepest ascent direction, in order to speed up the performance. In the latter case bundling enables proceeding along directions, which are not restricted on the coordinate directions. By this the performance is accelerated. Among all used techniques stabilization is worth mentioning. Stabilization improves the performance especially at the beginning by avoiding too big steps during the proceeding. This leads to a more stabilized progression. Stabilization was successfully applied to SBM, CAM, CCBM, and CBM. As an overall result we conclude the following: \begin{enumerate} \item CPLEX computes the optimal objective values, whereas SBM and CBM has on average a gap of under $1.5\%$. \item In comparison to CPLEX baropt, SBM, CAM, and CBM the algorithm CCBM has a slow convergence because of the convex combination of ascent coordinate directions. An alternative is to relax the convex combination to a simple sum of the corresponding directions. This idea is realized in CBM. \item If we focus on the running time rather than on optimality then CBM is on average the fastest algorithm. \end{enumerate} Note that methods like SBM or CBM are applied on static SPP instances in order to determine a good lower bound. For solving SPP we need dynamical methods. Due to the complex topic of dynamical methods we will not discuss them, but a certain technique is worth mentioning. It is called column generation. We have indicated that this technique needs good Lagrangian multipliers of the corresponding SPP instances in order to generate further columns (in our case duties), which are added to the current SPP instance. Those multipliers are by-products of methods like our six considered methods. Due to the large number of such generation steps the running time depends on the computation time of these methods. Therefore, CBM fits more to this technique than CPLEX baropt or SBM. To sum it up it can be said that applications such as a duty scheduling can be described as set partitioning problems, whose lower bound can be solved by simplex, interior points, subgradient, or coordinate ascent methods. It turns out that the interior points method CPLEX baropt and the heuristic CBM have good performances. Furthermore, good Lagrangian multipliers, which are by-products of these methods, can be used by techniques like column generation. For this particular technique it also turns out that among our tested algorithms CBM is the most efficient one. In general we can state that real-world applications, which have to solve a large number of Lagrangian relaxed SPP instances can improve their performance by using CBM. T3 - ZIB-Report - 01-06 KW - Set Partitioning KW - Lagrangean Relaxation KW - Dual Ascent Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6321 ER - TY - GEN A1 - Krumke, Sven A1 - Paepe, Willem de A1 - Rambau, Jörg A1 - Stougie, Leen T1 - Online Bin-Coloring N2 - We introduce a new problem that was motivated by a (more complicated) problem arising in a robotized assembly enviroment. The bin coloring problem is to pack unit size colored items into bins, such that the maximum number of different colors per bin is minimized. Each bin has size~$B\in\mathbb{N}$. The packing process is subject to the constraint that at any moment in time at most $q\in\mathbb{N}$ bins may be partially filled. Moreover, bins may only be closed if they are filled completely. An online algorithm must pack each item must be packed without knowledge of any future items. We investigate the existence of competitive online algorithms for the online uniform binpacking problem. We show upper bounds for the bin coloring problem. We prove an upper bound of $3q$ - 1 and a lower bound of $2q$ for the competitive ratio of a natural greedy-type algorithm, and show that surprisingly a trivial algorithm which uses only one open bin has a strictly better competitive ratio of $2q$ - 1. Morever, we show that any deterministic algorithm has a competitive ratio $\Omega (q)$ and that randomization does not improve this lower bound even when the adversary is oblivious. T3 - ZIB-Report - 01-07 KW - Online Optimization KW - randomized algorithms KW - lower bounds KW - competitive analysis Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6338 ER - TY - GEN A1 - Steinbach, Marc T1 - Tree-Sparse Convex Programs N2 - Dynamic stochastic programs are prototypical for optimization problems with an inherent tree structure inducing characteristic sparsity patterns in the KKT systems of interior methods. We propose an integrated modeling and solution approach for such tree-sparse programs. Three closely related natural formulations are theoretically analyzed from a control-theoretic viewpoint and compared to each other. Associated KKT solution algorithms with linear complexity are developed and comparisons to other interior approaches and related problem formulations are discussed. T3 - ZIB-Report - 01-08 KW - Convex program KW - tree KW - discrete-time optimal control multistage stochastic program KW - recursive factorization KW - local projection Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6340 ER - TY - GEN A1 - Brandt, Andreas A1 - Brandt, Manfred T1 - On the Moments of the Overflow and Freed Carried Traffic for the GI/M/C/0 System N2 - In circuit switching networks call streams are characterized by their mean and peakedness (two-moment method). The $GI/M/C/0$ system is used to model a single link, where the $GI$-stream is determined by fitting moments appropriately. For the moments of the overflow traffic of a $GI/M/C/0$ system there are efficient numerical algorithms available. However, for the moments of the freed carried traffic, defined as the moments of a virtual link of infinite capacity to which the process of calls accepted by the link (carried arrival process) is virtually directed and where the virtual calls get fresh exponential i.i.d.\ holding times, only complex numerical algorithms are available. This is the reason why the concept of the freed carried traffic is not used rigorously. The main result of this paper is an efficient algorithm for computing the moments of the freed carried traffic, in particular an explicit formula for its peakedness. This result offers a unified handling of both overflow and carried traffics in networks. Furthermore, some refined characteristics for the overflow and freed carried streams are derived. T3 - ZIB-Report - 01-09 KW - GI/M/C/0 system KW - overflow traffic KW - freed carried traffic KW - carried arrival process KW - factorial moments KW - peakedness KW - two-moment method KW - difference Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6355 ER - TY - GEN A1 - Kuberek, Monika T1 - KOBV: institutionalisiert N2 - Der Aufsatz ist die ausgearbeitete Fassung eines Vortrages, gehalten am 05.04.2001 auf dem 91. Deutschen Bibliothekartag in Bielefeld. Der Kooperative Bibliotheksverbund Berlin-Brandenburg (KOBV) ist im Rahmen eines wissenschaftlichen Projektes in den Jahren 1997 bis 2000 am Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB) aufgebaut worden. Nachdem das Projekt erfolgreich abgeschlossen ist, wird der KOBV 2001 institutionalisiert. In dem Vortrag hat die Verfasserin einen Überblick über das bisher Erreichte, den derzeitigen Stand und die Perspektiven des neuen Verbundes gegeben. Der KOBV stellt eine neue Art von Bibliotheksverbund dar. Sein technisches Konzept und sein organisatorischer Aufbau basieren auf der {\sl Internetphilosophie}. Den informationstechnischen Kern bildet eine Suchmaschine, die die heterogenen lokalen Bibliothekssysteme miteinander verbindet. Die KOBV-Organisation ist dezentral. Sie wird getragen von der Kooperation der Bibliotheken in Berlin und Brandenburg. Eine kleine Verbundzentrale koordiniert dieses Geflecht vernetzter lokaler Einheiten, vertritt den KOBV nach außen und arbeitet - in Form von Projekten - an seiner Weiterentwicklung. Der Entwicklungsaspekt und die Nutzerorientierung sind zwei wesentliche Komponenten in der Verbundarbeit. Berlin und Brandenburg haben auf engem Raum zahlreiche Bibliotheken mit großen, reichhaltigen Medienbeständen. Mittel- bis langfristig sollen Bibliotheken aller Sparten und Größen in den KOBV integriert werden, seien es wissenschaftliche Universalbibliotheken, universitäre Bibliothekssysteme, Spezialbibliotheken, Behörden- und Parlamentsbibliotheken oder öffentliche Bibliotheken. Auch regionale Bibliotheksverbünde können als Subverbünde am KOBV teilnehmen. Mit der KOBV-Suchmaschine ist eine offene Plattform geschaffen worden, auf der weitere Entwicklungen aufsetzen können. Der Aufbau einer virtuellen Regionalbibliothek mit Bestell- und Lieferkomponenten ist eines der Ziele. Darüber hinaus ist es die Vision, in der Region ein virtuelles {\sl Wissensportal} aufzubauen, das dem Nutzer unter einer Adresse den umfassenden Zugang und die umfassende Bereitstellung von Informationen aller Art bietet. T3 - ZIB-Report - 01-10 KW - Bibliotheksverbund KW - KOBV KW - Kooperativer Bibliotheksverbund Berlin-Brandenburg Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6360 ER - TY - GEN A1 - Reinefeld, Alexander A1 - Lindenstruth, Volker T1 - How to Build a High-Performance Compute Cluster for the Grid N2 - The success of large-scale multi-national projects like the forthcoming analysis of the LHC particle collision data at CERN relies to a great extent on the ability to efficiently utilize computing a management software (Datagrid, Globus, etc.), while the effective integration of computing nodes has been largely neglected up to now. This is the focus of our work. We present a framework for a high-performance cluster that can be used as a reliable computing node in the Grid. We outline the cluster architecture, the management of distributed data and the seamless intergration of the cluster into the Grid environment. T3 - ZIB-Report - 01-11 KW - cluster architecture KW - resource management KW - Grid computing Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6374 ER - TY - GEN A1 - Grötschel, Martin T1 - Copyright und elektronisches Publizieren: Auf dem Weg zu vernünftigen Regelungen? N2 - Das \emph{Committee on Electronic Information and Communication} (CEIC) der \emph{International Mathematical Union} (IMU) hat die Aufgabe, sich über die langfristige Informationsversorgung in der Mathematik Gedanken zu machen und Lösungsvorschläge hierfür zu erarbeiten. Das Kernthema ist natürlich "`Elektronisches Publizieren"'. Dazu gehören auch Copyright-Regelungen. % Sie sind -- % neben einer Andeutung der weiteren CEIC-Pläne -- der Fokus dieses % kurzen Artikels. Er schließt mit einem von der IMU verabschiedeten % Aufruf zu vernünftigem Verhalten bei Copyright-Vereinbarungen. Eine % nachhaltige Befolgung dieses Aufrufs -- verbunden mit weiteren % Aktivitäten -- könnte die (derzeit kaum noch bezahlbare und % dadurch gefährdete) Literaturversorgung nachhaltig zum Positiven % verändern. Mit diesem Artikel beginnt eine kleine Serie von Aufsätzen, in denen ich (in meiner Funktion als eines von elf CEIC-Mitgliedern) die Empfehlungen des CEIC erläutern werde. % Das heutige Thema sind die % CEIC-Vorschläge zum Copyright T3 - ZIB-Report - 01-13 KW - Copyright KW - elektronisches Publizieren KW - IMU KW - CEIC Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6395 ER - TY - GEN A1 - Sperber, Wolfram A1 - Dalitz, Wolfgang T1 - Portale, Search Engines und Math-Net N2 - Wie sucht ein Wissenschaftler im Internet die ben"otigten Informationen für seine Arbeit? Welche relevanten Informationen gibt es überhaupt im Web? Sind dafür solche Suchmaschinen wie AltaVista, Google oder HotBot die richtigen Werkzeuge? Die Antwort der Mathematiker heisst Math-Net, ein Informations- und Kommunikationssystem für die Mathematik. Math-Net besteht zunächst aus den Informationen von Personen und Institutionen, die ihre für die Mathematik relevanten Informationen dort bereitstellen wollen. Das soll i.a. auf den Web-Servern der Personen oder Institutionen geschehen. Hierin unterscheidet sich die Situation im Math-Net nicht von der im WWW insgesamt. Im Math-Net sollen aber die Informationen in einheitlicher Weise erschlossen werden. Dazu gibt es sowohl für Server als auch für die Dokumente Empfehlungen für deren Strukturierung. Die lokalen Informationen werden dann im Math-Net durch automatische Verfahren gesammelt, ausgewertet und indexiert. Diese Indexe sind die Basis für die Math-Net Dienste. Das sind Search Engines und Portale, die einen qualifizierten und effizienten Zugang zu den Informationen im Math-Net bieten. Die Math-Net Dienste sind auf die Mathematik spezialisiert. Im Gegensatz zu den oben erwähnten universellen Suchmaschinen decken sie nur einen winzigen Bruchteil des Web ab, aber dafür den für die Mathematik relevanten Teil. Math-Net ist mehr als nur Search Engine oder Portal zu Informationen in der Mathematik. Es ist auch ein Informations- und Kommunikationssystem sowie ein Publikationsmedium für die Mathematik. Die mathematische Community hat sich in der Math-Net Initiative organisiert. Diese Initiative wird von der International Mathematical Union (IMU), der weltweiten Dachorganisation der mathematischen Gesellschaften, koordiniert. Die Entwicklung des Math-Net wird von dem breiten Konsens der Mathematiker getragen, den Zugang zu der für die Mathematik relevanten Information zu erleichtern und zu verbessern. T3 - ZIB-Report - 00-24 KW - Math-Net KW - Portals KW - search engines KW - information retrieval Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5923 ER - TY - GEN A1 - Ilgenfritz, Ernst-Michael A1 - Kerler, Werner A1 - Müller-Preussker, Michael A1 - Stüben, Hinnerk T1 - Parallel tempering and decorrelation of topological charge in full QCD N2 - The improvement of simulations of QCD with dynamical Wilson fermions by combining the Hybrid Monte Carlo algorithm with parallel tempering is studied on $10^4$ and $12^4$ lattices. As an indicator for decorrelation the topological charge is used. T3 - ZIB-Report - 00-25 KW - QCD KW - parallel tempering KW - topological charge Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5930 ER - TY - GEN A1 - Huisinga, Wilhelm T1 - The Essential Spectral Radius and Asymptotic Properties of Transfer Operators N2 - The statistical behavior of deterministic and stochastic dynamical systems may be described using transfer operators, which generalize the notion of Frobenius Perron and Koopman operators. Since numerical techniques to analyze dynamical systems based on eigenvalues problems for the corresponding transfer operator have emerged, bounds on its essential spectral radius became of interest. This article shows that they are also of great theoretical interest. We give an analytical representation of the essential spectral radius in $L^{1}\!(\mu)$, which then is exploited to analyze the asymptotical properties of transfer operators by combining results from functional analysis, Markov operators and Markov chain theory. In particular, it is shown, that an essential spectral radius less than $1$, constrictiveness and some weak form'' of the so--called Doeblin condition are equivalent. Finally, we apply the results to study three main problem classes: deterministic systems, stochastically perturbed deterministic systems and stochastic systems. T3 - ZIB-Report - 00-26 KW - constrictive KW - asymptotically stable KW - exact KW - asymptotically periodic KW - ergodic KW - aperiodic KW - Frobenius Perron operator KW - Koopman operator KW - Markov o Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5942 ER -