Library

X
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
  • Opus Repository ZIB  (78)
  • 2010-2014  (24)
  • 1985-1989  (54)
  • ddc:000  (54)
  • ddc:510  (24)
Source
  • Opus Repository ZIB  (78)
Years
Year
Keywords
Language
  • 1
    facet.materialart.
    Unknown
    Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests (2010)
    Details
    Publication Date: 2020-12-11
    Description: Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods to prove or disprove convexity of rational functions over a polyhedral domain. Our algorithms reduce convexity questions to real quantifier elimination problems. Our methods are implemented and publicly available in the open source computer algebra system REDUCE. Our long term goal is to integrate REDUCE as a workhorse'' for symbolic computations into a numerical solver.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Format: application/postscript
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 2
    facet.materialart.
    Unknown
    Fault-Tolerant and Decentralized Lease Coordination in Distributed Systems (2010)
    Details
    Publication Date: 2016-06-30
    Description: Applications which need exclusive access to a shared resource in distributed systems require a fault-tolerant and scalable mechanism to coordinate this exclusive access. Examples of such applications include distributed file systems and master/slave data replication. We present Flease, an algorithm for decentralized and fault-tolerant lease coordination in distributed systems. Our algorithm allows the processes competing for a resource to coordinate exclusive access through leases among themselves without a central component. The resulting system easily scales with an increasing number of nodes and resources. We prove that Flease ensures exclusive access, i.e. guarantees that there is at most one valid lease at any time.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 3
    facet.materialart.
    Unknown
    Robust Tail Assignment (2010)
    Details
    Publication Date: 2020-08-05
    Description: We propose an efficient column generation method to minimize the probability of delay propagations along aircraft rotations. In this way, delay resistant schedules can be constructed. Computational results for large-scale real-world problems demonstrate substantial punctuality improvements. The method can be generalized to crew and integrated scheduling problems.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 4
    facet.materialart.
    Unknown
    State Trajectory Compression for Optimal Control with Parabolic PDEs (2010)
    Details
    Publication Date: 2022-01-07
    Description: In optimal control problems with nonlinear time-dependent 3D PDEs, full 4D discretizations are usually prohibitive due to the storage requirement. For this reason gradient and quasi-Newton methods working on the reduced functional are often employed. The computation of the reduced gradient requires one solve of the state equation forward in time, and one backward solve of the adjoint equation. The state enters into the adjoint equation, again requiring the storage of a full 4D data set. We propose a lossy compression algorithm using an inexact but cheap predictor for the state data, with additional entropy coding of prediction errors. As the data is used inside a discretized, iterative algorithm, lossy coding maintaining an error bound is sufficient.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 5
    facet.materialart.
    Unknown
    A simple mathematical model of the bovine estrous cycle: follicle development and endocrine interactions (2010)
    Details
    Publication Date: 2020-03-11
    Description: Bovine fertility is the subject of extensive research in animal sciences, especially because fertility of dairy cows has declined during the last decades. The regulation of estrus is controlled by the complex interplay of various organs and hormones. Mathematical modeling of the bovine estrous cycle could help in understanding the dynamics of this complex biological system. In this paper we present a mathematical model of the bovine estrous cycle that includes the processes of follicle and corpus luteum development and the key hormones that interact to control these processes. Focus in this paper is on development of the model, but also some simulation results are presented, showing that a set of equations and parameters is obtained that describes the system consistent with empirical knowledge. Even though the majority of the mechanisms that are included are only known qualitatively as stimulatory or inhibitory effects, the model surprisingly well features quantitative observations made in reality. This model of the bovine estrous cycle could be used as a basis for more elaborate models with the ability to study effects of external manipulations and genetic differences.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 6
    facet.materialart.
    Unknown
    Rapid Learning for Binary Programs (2010)
    Details
    Publication Date: 2022-03-14
    Description: Learning during search allows solvers for discrete optimization problems to remember parts of the search that they have already performed and avoid revisiting redundant parts. Learning approaches pioneered by the SAT and CP communities have been successfully incorporated into the SCIP constraint integer programming platform. In this paper we show that performing a heuristic constraint programming search during root node processing of a binary program can rapidly learn useful nogoods, bound changes, primal solutions, and branching statistics that improve the remaining IP search.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Format: application/postscript
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 7
    facet.materialart.
    Unknown
    Models for Line Planning with Transfers (2010)
    Details
    Publication Date: 2020-08-05
    Description: We propose a novel integer programming approach to transfer minimization for line planning problems in public transit. The idea is to incorporate penalties for transfers that are induced by “connection capacities” into the construction of the passenger paths. We show that such penalties can be dealt with by a combination of shortest and constrained shortest path algorithms such that the pricing problem for passenger paths can be solved efficiently. Connection capacity penalties (under)estimate the true transfer times. This error is, however, not a problem in practice. We show in a computational comparison with two standard models on a real-world scenario that our approach can be used to minimize passenger travel and transfer times for large-scale line planning problems with accurate results.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 8
    facet.materialart.
    Unknown
    Adaptive Timestep Control for the Contact-Stabilized Newmark Method (2010)
    Details
    Publication Date: 2016-06-09
    Description: The aim of this paper is to devise an adaptive timestep control in the contact--stabilized Newmark method (CONTACX) for dynamical contact problems between two viscoelastic bodies in the framework of Signorini's condition. In order to construct a comparative scheme of higher order accuracy, we extend extrapolation techniques. This approach demands a subtle theoretical investigation of an asymptotic error expansion of the contact--stabilized Newmark scheme. On the basis of theoretical insight and numerical observations, we suggest an error estimator and a timestep selection which also cover the presence of contact. Finally, we give a numerical example.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 9
    facet.materialart.
    Unknown
    Railway capacity auctions with dual prices (2010)
    Details
    Publication Date: 2020-08-05
    Description: Railway scheduling is based on the principle of the construction of a conflict-free timetable. This leads to a strict definition of capacity: in contrast with road transportation, it can be said in advance whether a given railway infrastructure can accommodate - at least in theory - a certain set of train requests. Consequently, auctions for railway capacity are modeled as auctions of discrete goods -- the train slots. We present estimates for the efficiency gain that may be generated by slot auctioning in comparison with list price allocation. We introduce a new class of allocation and auction problems, the feasible assignment problem, that is a proper generalization of the well-known combinatorial auction problem. The feasible assignment class was designed to cover the needs for an auction mechanism for railway slot auctions, but is of interest in its own right. As a practical instance to state and solve the railway slot allocation problem, we present an integer programming formulation, briefly the ACP, which turns out to be an instance of the feasible assignment problem and whose dual problem yields prices that can be applied to define a useful activity rule for the linearized version of the Ausubel Milgrom Proxy auction. We perform a simulation aiming to measure the impact on efficiency and convergence rate.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 10
    facet.materialart.
    Unknown
    Solving Optimal Control Problems with the Kaskade 7 Finite Element Toolbox (2010)
    Details
    Publication Date: 2022-01-07
    Description: This paper presents concepts and implementation of the finite element toolbox Kaskade 7, a flexible C++ code for solving elliptic and parabolic PDE systems. Issues such as problem formulation, assembly and adaptivity are discussed at the example of optimal control problems. Trajectory compression for parabolic optimization problems is considered as a case study.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 11
    facet.materialart.
    Unknown
    Aggregation Methods for Railway Networks (2010)
    Details
    Publication Date: 2020-08-05
    Description: In this paper a bottom-up approach of automatic simplification of a railway network is presented. Starting from a very detailed, microscopic level, as it is used in railway simulation, the network is transformed by an algorithm to a less detailed level (macroscopic network), that is sufficient for long-term planning and optimization. In addition running and headway times are rounded to a pre-chosen time discretization by a special cumulative method, which we will present and analyse in this paper. After the transformation we fill the network with given train requests to compute an optimal slot allocation. Then the optimized schedule is re-transformed into the microscopic level and can be simulated without any conflicts occuring between the slots. The algorithm is used to transform the network of the very dense Simplon corridor between Swiss and Italy. With our aggregation it is possible for the first time to generate a profit maximal and conflict free timetable for the corridor across a day by a simultaneously optimization run.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 12
    facet.materialart.
    Unknown
    Merging solutions of non-linear algebraic systems (2010)
    Details
    Publication Date: 2020-12-11
    Description: In solving large polynomial algebraic systems that are too big for standard Gröbner basis techniques one way to make progress is to introduce case distinctions. This divide and conquer technique can be beneficial if the algorithms and computer programs know how to take advantage of inequalities. A further hurdle is the form of the resulting general solutions which often have unnecessarily many branches. In this paper we discuss a procedure to merge solutions by dropping inequalities which are associated with them and, if necessary, by re-parametrizing solutions. In the appendix the usefulness of the procedure is demonstrated in the classification of quadratic Hamiltonians with a Lie-Poisson bracket $e(3)$. This application required the solution of algebraic systems with over 200 unknowns, 450 equations and between 5000 and 9000 terms.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 13
    facet.materialart.
    Unknown
    A Dynamical Systems Approach for Static Evaluation in Go (2010)
    Details
    Publication Date: 2020-12-11
    Description: In the paper arguments are given why the concept of static evaluation (SE) has the potential to be a useful extension to Monte Carlo tree search. A new concept of modeling SE through a dynamical system is introduced and strengths and weaknesses are discussed. The general suitability of this approach is demonstrated. A Remark: Among users of the Internet Go server KGS the abbreviation SE is used for 'Score Estimator'. Although different from 'Static Evaluation' a score estimator is easily obtained from static evaluation by adding up probabilities of chains to be alive at the end of the game or points to be owned by White or Black
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Format: application/postscript
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 14
    facet.materialart.
    Unknown
    Classification of integrable quadratic Hamiltonians on e(3) (2010)
    Details
    Publication Date: 2020-12-11
    Description: Linear Poisson brackets on e(3) typical of rigid body dynamics are considered. All quadratic Hamiltonians of Kowalevski type having additional first integral of fourth degree are found. Quantum analogs of these Hamiltonians are listed.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Format: application/postscript
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 15
    facet.materialart.
    Unknown
    Classification of integrable super-systems using the SsTools environment (2010)
    Details
    Publication Date: 2020-12-11
    Description: A classification problem is proposed for supersymmetric %scaling\/-\/in\-va\-ri\-ant evolutionary PDE that satisfy the assumptions of nonlinearity, nondegeneracy, and homogeneity. Four classes of nonlinear coupled boson\/-\/fermion systems are discovered under the weighting assumption $|f|=|b|=|D_t|=\oh$. The syntax of the \Reduce\ package \SsTools, which was used for intermediate computations, and the applicability of its procedures to the calculus of super\/-\/PDE are described.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Format: application/postscript
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 16
    facet.materialart.
    Unknown
    N=2 supersymmetric a=4-KdV hierarchy derived via Gardner's deformation of Kaup-Boussinesq equation (2010)
    Details
    Publication Date: 2020-12-11
    Description: We consider the problem of constructing Gardner's deformations for the $N{=}2$ supersymmetric $a{=}4$--\/Korteweg\/--\/de Vries equation; such deformations yield recurrence relations between the super\/-\/Hamiltonians of the hierarchy. We prove the non\/-\/existence %P.~Mathieu's Open problem on constructing for of supersymmetry\/-\/invariant %Gardner's deformations that %solutions, retract to Gardner's formulas for the KdV equation %whenever it is assumed that, under the %respective component reduction. % in the $N{=}2$ super\/-\/field. the solutions . At the same time, we propose a two\/-\/step scheme for the recursive production of the integrals of motion for the $N{=}2$,\ $a{=}4$--\/SKdV. First, we find a new Gardner's deformation of the Kaup\/--\/Boussinesq equation, which is contained in the bosonic limit of the super\/-\/%$N{=}2$,\ $a{=}4$--\/SKdV hierarchy. This yields the recurrence relation between the Hamiltonians of the limit, whence we determine the bosonic super\/- /Hamiltonians of the full $N{=}2$, $a{=}4$--\/SKdV hierarchy.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Format: application/postscript
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 17
    facet.materialart.
    Unknown
    The Quickest Path to the Goal (2010)
    Details
    Publication Date: 2020-08-05
    Description: We provide an introduction into the mathematics of and with paths. Not on the shortest, but hopefully on an entertaining path!
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 18
    facet.materialart.
    Unknown
    Linienoptimierung - reif für die Praxis? (2010)
    Details
    Publication Date: 2020-08-05
    Description: Wir stellen in dieser Arbeit ein mathematisches Optimierungsmodell zur Bestimmung eines optimalen Linienplans vor, das sowohl die Fahrzeiten und die Anzahl der Umstiege berücksichtigt als auch die Kosten des Liniennetzes. Dieses Modell deckt wichtige praktische Anforderungen ab, die in einem gemeinsamen Projekt mit den Verkehrsbetrieben in Potsdam (ViP) formuliert wurden. In diesem Projekt wurde der Linienplan 2010 für Potsdam entwickelt. Unsere Berechnungen zeigen, dass die mathematische Optimierung in nichts einer "Handplanung" des Liniennetzes nachsteht. Im Gegenteil, mit Hilfe des Optimierungsprogramms ist es möglich, durch Veränderung der Parameter mehrere verschiedene Szenarien zu berechnen, miteinander zu vergleichen und Aussagen über minimale Kosten und Fahrzeiten zu machen.
    Keywords: ddc:510
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Format: application/postscript
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 19
    facet.materialart.
    Unknown
    Positions in the Game of Go as Complex Systems (2010)
    Details
    Publication Date: 2020-12-11
    Description: The paper gathers evidence showing different dimensions of the game of Go: the continuous and discrete nature of the game and different types of relations between state variables happening on ultra local, local, regional, and global scales. Based on these observations a new continuous local model for describing a board position is introduced. This includes the identification of the basic variables describing a board position and the formulation and solution of a dynamical system for their computation. To be usable as a static evaluation function for a game playing program at least group-wide (regional)aspects will have to be incorporated.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Format: application/postscript
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 20
    facet.materialart.
    Unknown
    Railway Track Allocation by Rapid Branching (2010)
    Details
    Publication Date: 2020-08-05
    Description: The track allocation problem, also known as train routing problem or train timetabling problem, is to find a conflict-free set of train routes of maximum value in a railway network. Although it can be modeled as a standard path packing problem, instances of sizes relevant for real-world railway applications could not be solved up to now. We propose a rapid branching column generation approach that integrates the solution of the LP relaxation of a path coupling formulation of the problem with a special rounding heuristic. The approach is based on and exploits special properties of the bundle method for the approximate solution of convex piecewise linear functions. Computational results for difficult instances of the benchmark library TTPLIB are reported.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 21
    facet.materialart.
    Unknown
    Optimizing the Simplon Railway Corridor (2010)
    Details
    Publication Date: 2020-08-05
    Description: This paper presents a case study on a railway timetable optimization for the very dense Simplon corridor, a major railway connection in the Alps between Switzerland and Italy. Starting from a detailed microscopic network as it is used in railway simulation, the data is transformed by an automatic procedure to a less detailed macroscopic network, that is sufficient for the purpose of capacity planning and amenable to state-of-the-art integer programming optimization methods. In this way, the macroscopic railway network is saturated with trains. Finally, the corresponding timetable is re-transformed to the microscopic level in such a way that it can be operated without any conflicts among the slots. Using this integer programming based micro-macro aggregation-disaggregation approach, it becomes for the first time possible to generate a profit maximal and conflict free timetable for the complete Simplon corridor over an entire day by a simultaneous optimization of all trains requests. This also allows to to undertake a sensitivity analysis of various problem parameters.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 22
    facet.materialart.
    Unknown
    Analysis of a multi-scale asymptotic model for internal gravity waves in a moist atmosphere (2010)
    Details
    Publication Date: 2016-06-09
    Description: The thesis presents the analysis of a reduced model for modulation of internal gravity waves by deep convective clouds. The starting point for the derivation are conservation laws for mass, momentum and energy coupled with a bulk micro-physics model describing the evolution of mixing ratios of water vapor, cloud water and rain water. A reduced model for the identified scales of the regime is derived, using multi-scale asymptotics. The closure of the model employs conditional averaging over the horizontal scale of the convective clouds. The resulting reduced model is an extension of the anelastic equations, linearized around a constant background state, which are well-known from meteorology. The closure of the model is achieved purely by analytical means and involves no additional physically motivated assumptions. The essential new parameter arising from the coupling to a micro-physics model is the area fraction of saturated regions on the horizontal scale of the convective clouds. It turns out that this parameter is constant on the employed short timescale. Hence the clouds constitute a constant background, modulating the characteristics of propagation of internal waves. The model is then investigated by analytical as well as numerical means. Important results are, among others, that in the model moisture (i) inhibits propagation of internal waves by reducing the modulus of the group velocity, (ii) reduces the angle between the propagation direction of a wave-packet and the horizontal, (iii) causes critical layers and (iv) introduces a maximum horizontal wavelength beyond which waves are no longer propagating but become evanescent. The investigated examples of orographically generated gravity waves also feature a significant reduction of vertical momentum flux by moisture. The model is extended by assuming systematically small under-saturation, that is saturation at leading order. The closure is similar to the original case but requires additional assumptions. The saturated area fraction in the obtained model is no longer constant but now depends nonlinearly on vertical displacement and thus on vertical velocity.
    Keywords: ddc:510
    Language: English
    Type: doctoralthesis , doc-type:doctoralThesis
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 23
    facet.materialart.
    Unknown
    A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling (2010)
    Details
    Publication Date: 2022-03-14
    Description: We propose a hybrid approach for solving the resource-constrained project scheduling problem which is an extremely hard to solve combinatorial optimization problem of practical relevance. Jobs have to be scheduled on (renewable) resources subject to precedence constraints such that the resource capacities are never exceeded and the latest completion time of all jobs is minimized. The problem has challenged researchers from different communities, such as integer programming (IP), constraint programming (CP), and satisfiability testing (SAT). Still, there are instances with 60 jobs which have not been solved for many years. The currently best known approach, lazyFD, is a hybrid between CP and SAT techniques. In this paper we propose an even stronger hybridization by integrating all the three areas, IP, CP, and SAT, into a single branch-and-bound scheme. We show that lower bounds from the linear relaxation of the IP formulation and conflict analysis are key ingredients for pruning the search tree. First computational experiments show very promising results. For five instances of the well-known PSPLIB we report an improvement of lower bounds. Our implementation is generic, thus it can be potentially applied to similar problems as well.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Format: application/postscript
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 24
    facet.materialart.
    Unknown
    Coupling Meshbased and Meshfree Methods by a Transfer Operator Approach (2010)
    Details
    Publication Date: 2023-11-03
    Description: In contrast to the well known meshbased methods like the finite element method, meshfree methods do not rely on a mesh. However besides their great applicability, meshfree methods are rather time consuming. Thus, it seems favorable to combine both methods, by using meshfree methods only in a small part of the domain, where a mesh is disadvantageous, and a meshbased method for the rest of the domain. We motivate, that this coupling between the two simulation techniques can be considered as saddle point problem and show the stability of this coupling. Thereby a novel transfer operator is introduced, which interacts in the transition zone, where both methods coexist.
    Keywords: ddc:510
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 25
    facet.materialart.
    Unknown
    A Numerical Algorithm for Computing the Restricted Singular Value Decomposition of Matrix Triplets. (1989)
    Details
    Publication Date: 2014-02-26
    Description: This paper presents a numerical algorithm for computing the restricted singular value decomposition of matrix triplets (RSVD). It is shown that one can use unitary transformations to separate the regular part from a general matrix triplet. After preprocessing on the regular part, one obtains a matrix triplet consisting of three upper triangular matrices of the same dimensions. The RSVD of this special matrix triplet is computed using the implicit Kogbetliantz technique. The algorithm is well suited for parallel computation. {\bf Keywords:} Restricted singular values, matrix triplets, unitary transformations, implicit Kogbetliantz technique.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 26
    facet.materialart.
    Unknown
    On the Possible Accuracy of TVD Schemes. (1989)
    Details
    Publication Date: 2014-02-26
    Description: The paper presents a detailed analysis of the possible accuracy available for TVD schemes in one dimension with emphasis to the semi-discrete 1-D TVD schemes. The analysis shows that the widely accepted statement [1] of degeneration of accuracy at critical points for TVD schemes should be corrected. We have theorem: TVD schemes using flux limiters $ \varphi $ of the form [1], [2] may be second-order accurate at critical points if $ \varphi $ (3) + $ \varphi $(-1) = 2, but cannot be uniformly second-order accurate in the whole neighborhood of critical point. If $ \varphi $(1) = 1, then the TVD schemes are second-order accurate in the region of smooth solutions sufficiently far from the critical points. Two ways are suggested to improve the accuracy. Numerical example is given. {\bf Keywords:} Semi-discrete schemes, TVD, flux limiter, degeneration of accuracy.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 27
    facet.materialart.
    Unknown
    Numerical Solution of Multicomponent Alloy Solidification by Multi-Grid Techniques. (1989)
    Details
    Publication Date: 2014-02-26
    Description: The solidification of an $ N $-component alloy is described by an initial boundary value problem for a system of degenerate parabolic equations modelling heat conduction and mass diffusion. Discretizing implicitly in time and by piecewise linear finite elements in the space variables, at each time step the solution of a system of quasivariational inequalities is required. For the numerical solution of that system, a multi-grid algorithm is developed by making use of game theoretic concepts and duality arguments from convex analysis. Finally, the efficiency of the algorithm is demonstrated by displaying numerical results for a ternary alloy.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 28
    facet.materialart.
    Unknown
    KASKADE Programmer's Manual. (1989)
    Details
    Publication Date: 2014-02-26
    Description: The Programmers Manual contains the documentation of the C-KASKADE implementation. KASKADE is an adaptive finite element code (see SC ). The interfaces of all modules are described.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 29
    facet.materialart.
    Unknown
    Implementation of Portable Standard LISP for the SPARC Processor. (1989)
    Details
    Publication Date: 2018-12-06
    Description: The SPARC processor is a RISC (Reduced Instruction Set Computer) microcomputer, built into the SUN4 workstations. Since RISC processors are very well-suited for LISP processing, the implementation of a dialect of LISP (Portable Standard LISP, PSL) boded well for a great speed-up in comparison with other types of microcomputers. A first approach was done at The RAND Corporation in Santa Monica, which was derived from classical processor types like MC68000 or VAX. At the Konrad- Zuse-Zentrum für Informationstechnik Berlin (ZIB) that initial implementation was redesigned in order to adapt PSL to the specific features of the SPARC processor. The present implementation, in some parts, is very close to Cray PSL version also done in ZIB. Some timing informations are given in the appendix.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 30
    facet.materialart.
    Unknown
    Trapex in POOL-Implementierung eines numerischen Algorithmus in einer parallelen objektorientierten Sprache. (1989)
    Details
    Publication Date: 2014-02-26
    Description: Die Parallelisierung eines vorhandenen sequentiellen Programmes erfolgt im allgemeinen in der Weise, daß es auf Grund einer Analyse der Datenabhängigkeiten in mehrere parallel ausführbare Teile zerlegt wird, die ihrerseits sequentiell ablaufen und untereinander Daten austauschen. Eine parallele Programmiersprache sollte diese Vorgehensweise unterstützen, indem sie Sprachmittel zur Verfügung stellt, mittels derer sich die Modularisierung und Kommunikation bequem formulieren läßt. Nun läßt sich prinzipiell jede vorhandene sequentielle Programmiersprache um solche Konstrukte erweitern; günstiger in Hinblick auf die Strukturierung eines parallelen Programmes erscheint es aber möglicherweise, eine solche Programmiersprache zu verwenden, die die genannten Konzepte als elementare zur Verfügung stellt. Dies ist offensichtlich bei objektorientierten Programmiersprachen der Fall. Im vorliegenden Bericht wird an Hand eines Beispiels - TRAPEX -, das in POOL-T implementiert wurde, untersucht, inwieweit eine objektorientierte Sprache zur effektiven Programmierung eines numerischen Algorithmus geeignet ist. {\bf Key Words:} parallele objektorientierte Programmiersprache, Message Passing, Abstract Data Typing, Klassenhierarchi, Modul-Import-Mechanismus, Client/Server-Prinzip, Load Balancing, adaptive numerische Algorithmen, Ordnungs- und Schrittweitensteuerung, Romberg-Quadratur.
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 31
    facet.materialart.
    Unknown
    Homoclinic Bifurcation at Resonant Eigen-values. (1989)
    Details
    Publication Date: 2014-02-26
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 32
    facet.materialart.
    Unknown
    Ein paralleler adaptiver Algorithmus für die numerische Integration. (1989)
    Details
    Publication Date: 2014-02-26
    Description: Der Bericht ist die Ausarbeitung eines Vortrages, der auf dem Transputer Anwender Treffen (TAT'89) im September 1989 gehalten wurde. Es wird die Parallelisierung und Implementierung eines adaptiven Algorithmus zur numerischen Integration (Romberg Quadratur) beschrieben. Ausgewählte Meßergebnisse sind enthalten. {\bf Keywords:} Numerischer Algorithmus, Romberg Quadratur, paralleler adaptiver Algorithmus, dynamische Lastverteilung und Prozessorzahl, lokaler Speicher, Nearest-Neighbour-Architektur, Transputer, TDS, OCCAM2.
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 33
    facet.materialart.
    Unknown
    Two Preconditioners Based on the Multi-Level Splitting of Finite Element Spaces. (1989)
    Details
    Publication Date: 2014-02-26
    Description: The hierarchical basis preconditioner and the recent preconditioner of BRAMBLE, PASCIAK and XU are derived and analyzed within a joint framework. This discussion elucidates the close relationship between both methods. Special care is devoted to highly nonuniform meshes; our theory is based exclusively on local properties like the shape regularity of the finite elements.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 34
    facet.materialart.
    Unknown
    KASKADE User's Manual. (1989)
    Details
    Publication Date: 2014-02-26
    Description: The Users Manual contains an introduction to the usage of the C-KASKADE implementation. KASKADE is an adaptive finite element code (see SC ). The manual includes a description of all commands, a simple recipe to define a new problem by changing the KASKADE source and a complete example.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 35
    facet.materialart.
    Unknown
    Numerik von Anfangswertmethoden für gewöhnliche Differentialgleichungen. (1989)
    Details
    Publication Date: 2014-02-26
    Description: Das voliegende Skriptum entstand aus einer Vorlesung, die ich im WS 87/88 an der Freien Universität Berlin im Fachbereich Mathematik gehalten habe. Mein ursprüngliches Vorlesungsmanuskript wurde von Herrn F. Bornemann in weiten Teilen überarbeitet, reorganisiert und substantiell ergänzt. Der Inhalt stammt größtenteils aus Originalarbeiten jüngeren Datums. Darüberhinaus finden sich zahlreiche Teile, die aus meiner jahrelangen Beschäftigung mit dem Thema entstanden aber unpubliziert geblieben sind. Das Skriptum erhebt nicht den Anspruch, ein Lehrbuch zu sein. Es war zunächst als Ausarbeitung für meinen studentischen Hörerkreis sowie als internes Arbeitspapier für das ZIB bestimmt. Die Kunde von der bloßen Existenz eines solchen Skriptums hat jedoch zu einer derart regen Nachfrage geführt, daß es hiermit als Technischer Report des ZIB einer breiteren ffentlichkeit zugänglich gemacht werden soll. In der vorliegenden Form richtet es sich in erster Linie an Mathematiker; es soll sich jedoch auch für Naturwissenschaftler und Ingenieure eignen, die sich einen Einblick in den theoretischen und algorithmischen Hintergrund der von ihnen verwendeten wissenschaftlichen Software verschaffen wollen.
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 36
    facet.materialart.
    Unknown
    Implementierung des parallelen TRAPEX auf Transputern. (1989)
    Details
    Publication Date: 2014-02-26
    Description: Der folgende Bericht ist eine Ergänzung des ZIB Technical Report TR 88-05. Entsprechend wird hier nicht auf die grundsätzlichen Fragen der Parallelisierbarkeit des sequentiellen TRAPEX eingegangen. Diese sind im TR 88-5 erörtert, die dort beschriebenen Algorithmen (vertikale und horizontale Parallelisierung) werden auch für die Transputerarchitektur verwendet. Meßergebnisse sind im letzten Teil angefügt.
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 37
    facet.materialart.
    Unknown
    Adaptive Finite-Elemet- Methoden für konvektionsdominierte Randwertprobleme bei partiellen Differentialgleichungen. (1989)
    Details
    Publication Date: 2014-02-26
    Description: Ausgangspunkt bei der Behandlung konvektiv dominierter, elliptischer Probleme sind die bekannten hierarchischen Finite-Element-Methoden für den rein elliptischen Fall. Als stabile Erweiterung des Standard-Galerkin-Verfahrens wird das Stromlinien-Diffusions-Verfahren durch physikalische Überlegungen motiviert und kurz diskutiert. Anschließend zeigen wir, daß diese Methode erst in Verbindung mit einer hier erstmals vorgestellten lokalen Ausrichtung der Kanten wirksam eingesetzt werden kann. Zusammen mit einer ebenfalls neu entwickelten richtungsorientierten Verfeinerungsstrategie erhält man eine erheblich stabilere, genauere und schnellere Auflösung von Grenzschichten als mit herkömmlichen Methoden.
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 38
    facet.materialart.
    Unknown
    Multivariate Rational Interpolation: Reconstruction of Rational Functions. (1989)
    Details
    Publication Date: 2014-02-26
    Description: In this paper we consider the problem of reconstructing a multivariate rational function, when only its values at sufficiently many points are known. We use for the reconstruction of bivariate rational functions a bivariate rational interpolation operator investigated by Siemaszko [7] and a new one, compare both by examples in a Computer Algebra system, and present their multivariate generalizations. {\bf Keywords:} Multivariate rational interpolation, reconstruction, symbolic computation.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 39
    facet.materialart.
    Unknown
    Restricted Singular Value Decomposition of Matrix Triplets. (1989)
    Details
    Publication Date: 2014-02-26
    Description: In this paper we introduce the concept of restricted singular values (RSV's) of matrix triplets. A theorem concerning the RSV's of a general matrix triplet $ (A,B,C) $, where $ A \in C^{m\times n} $, $B\in C^{m\times p} $ and $ C\in C^{q\times n} $, which is called restricted singular value decomposition (RSVD) of matrix triplets, is derived. This result generalizes the wellknown SVD, GSVD and the recently proposed product induced SVD (PSVD). Connection of RSV's with the problem of determination of matrix rank under restricted perturbation is also discussed. {\bf Keywords:} Matrix rank, singular values, generalized singular values, product induced singular values, restricted singular values, matrix decompositions.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 40
    facet.materialart.
    Unknown
    On Adaptive Grid Refinement in the Presence of Internal or Boundary Layers. (1989)
    Details
    Publication Date: 2014-02-26
    Description: We propose an anisotropic refinement strategy which is specially designed for the efficient numerical resolution of internal and boundary layers. This strategy is based on the directed refinement of single triangles together with adaptive multilevel grid orientation. It is demonstrated by several numerical examples that compared to usual methods, the new anisotropic refinement ends up in more stable and more accurate solutions at much less computational cost. {\bf Keywords:} Adaptive finite elements, directed refinement, adaptive grid orientation, convection diffusion equation, internal and boundary layers.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 41
    facet.materialart.
    Unknown
    Computation of Molecular Weight Distributions for Free Radical Polymerization Systems. (1989)
    Details
    Publication Date: 2014-02-26
    Description: Modeling of free radical polymerization leads to very large and usually stiff systems of ordinary differential equations which cannot be solved directly in an efficient way. This paper presents the application of a new approach called discrete Galerkin method to a realistic example - the polymerization of methyl methacrylate(MMA). The method is characterized by a Galerkin approximation on the basis of orthogonal polynomials of a discrete variable which represents the polymer degree. It allows the efficient computation of solutions of complete kinetic schemes with time- or moment-dependent reaction coefficients by reducing the complexity to a few differential equations. The approximation error can be controlled by an error estimation. In the case of MMA polymerization a reduction of computational effort by a factor of about 25 compared to a standard method can be obtained for the quasi-steady-state approximation of the model. In addition solutions of the instationary kinetic scheme can be easily computed.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 42
    facet.materialart.
    Unknown
    MmB-A New Class of Accurate High Resolution Schemes for Conservation Laws in Two Dimensions. (1989)
    Details
    Publication Date: 2014-02-26
    Description: In this paper we present the MmB schemes, which preserve the local maximum and minimum bounds of the initial data in the smallest union of mesh elements of previous time step containing the domain of dependence of the solution on the mesh element with center at point $ P $\ under consideration. In 1-D, the MmB schemes are almost identical with TVD schemes. As well-known, there is no second-order TVD scheme in 2-D, nevertheless, we present here two classes of 2-D second-order accurate MmB-schemes. It is proved that 1-D discrete MmB (or TVD) and 1-D semi-discrete TVD schemes may have second-order accuracy at (nonsonic) critical points, but cannot be of uniformly second-order accurate in the whole neighborhood of the critical points. New accurate high resolution flux limiters are suggested. Numerical results for 1-D and 2-D test problems are given. {\bf Keywords:} Difference scheme, TVD, MmB, flux limiter.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 43
    facet.materialart.
    Unknown
    CRAY-HANDBUCH. Einführung in die Benutzung der CRAY X-MP unter UNICOS. (veraltet) (1989)
    Details
    Publication Date: 2014-02-26
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 44
    facet.materialart.
    Unknown
    Ein Finite-Element-Verfahren zur numerischen Lösung von Erhaltungsgleichungen. (1989)
    Details
    Publication Date: 2021-03-16
    Description: A new approach for the discretisation of hyperbolic conservation laws via a finite element method is developed and analysed. Appropriate forms of the Eulers equation of gas dynamic are considered to employ the algorithm in a reasonable way for this system of nonlinear equations. Both mathematical and physical stability results are obtained. A main part of the paper is devoted to the convergence proof with energy methods under strong regularity of the solution of a scalar nonlinear conservation law. Some hints on the implementation and numerical results for the calculation of transonic gasflow through a Laval nozzle are given. The necessary amount of numerical work is compared to an established finite difference method and the efficiency of the algorithm is shown. A survey on recent literature about finite element methods for hyperbolic problem is included.
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 45
    facet.materialart.
    Unknown
    Adaptive multilevel discretization in time and space for parabolic partial differential equations. (1989)
    Details
    Publication Date: 2014-02-26
    Description: The present paper developes an adaptive multilevel approach for parabolic PDE's - as a first step, for one linear scalar equation. Full adaptivity of the algorithm is conceptually realized by simultaneous multilevel discretization in both time and space. Thus the approach combines multilevel time discretization, better known as extrapolation methods, and multilevel finite element space discretization such as the hierarchical basis method. The algorithmic approach is theoretically backed by careful application of fundamental results from semigroup theory. These results help to establish the existence of asymptotic expansions (in terms of time-steps) in Hilbert space. Finite element approximation then leads to perturbed expansions, whose perturbations, however, can be pushed below a necessary level by means of an adaptive grid control. The arising space grids are not required to satisfy any quasi- uniformity assumption. Even though the theoretical presentation is independent of space dimension details of the algorithm and numerical examples are given for the 1-D case only. For the 1-D elliptic solver, which is used, an error estimator is established, which works uniformly well for a family of elliptic problems. The numerical results clearly show the significant perspectives opened by the new algorithmic approach.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 46
    facet.materialart.
    Unknown
    Jahresbericht 1988 (1989)
    Details
    Publication Date: 2019-10-24
    Keywords: ddc:000
    Language: German
    Type: annualzib , doc-type:report
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 47
    facet.materialart.
    Unknown
    Implementation of the LISP-Arbitrary Precision Arithmetic for a Vector Processor. (1988)
    Details
    Publication Date: 2018-12-06
    Description: Portable Standard LISP (PSL, Version 3.4) and REDUCE 3 were implemented for CRAY1 and Cray X- MP computers at the Konrad-Zuse-Zentrum Berlin in 1986. As an special aspect of the implementation of PSL, an interface to the vector hardware of CRAY processors was defined. With that interface and mostly driven by the needs of REDUCE applications (e.g. extensive calculations of Gröbner bases), the arbitrary precision integer arithmetic of PSL was rebuild using full power of the vector hardware. A modular arithmetic using vector hardware was also constructed.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 48
    facet.materialart.
    Unknown
    Multi-Grid Solution of Two Coupled Stefan Equations Arising in Induction Heating of Large Steel Slabs. (1988)
    Details
    Publication Date: 2014-02-26
    Description: Induction heating of large steel slabs can be described by a coupled system of nonlinear evolution equations of Stefan type representing the temporal and spatial distribution of the induced magnetic field and the generated temperature within the slab. Discretizing these equations implicitly in time and by finite differences in space, at each time step the solution of a system of difference inclusions is required. For the solution of that system two multi-grid algorithms are given which combined with a nested iteration type continuation strategy to proceed in time result in computationally highly efficient schemes for the numerical simulation of the induction heating process. {\bf Keywords:} induction heating, system of two coupled Stefan equations, multi-grid algorithms. {\bf Subject Classification:} AMS(MOS): 35K60, 35R35, 65H10, 65N05, 65N20, 78A25, 78A55.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 49
    facet.materialart.
    Unknown
    On Gröbner Bases Computation on a Supercomputer Using REDUCE. (1988)
    Details
    Publication Date: 2018-12-06
    Description: Gröbner bases are the main tool for solving systems of algebraic equations and some other problems in connection with polynomial ideals using Computer Algebra Systems. The procedure for the computation of Gröbner bases in REDUCE 3.3 has been modified in order to solve more complicated algebraic systems of equations by some general improvements and by some tools based on the specific resources of the CRAY X-MP. We present this modification and illustrate it by examples.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 50
    facet.materialart.
    Unknown
    Concepts of an Adaptive Hierarchical Finite Element Code. (1988)
    Details
    Publication Date: 2014-02-26
    Description: The paper presents the mathematical concepts underlying the new adaptive finite element code KASKADE, which, in its present form, applies to linear scalar second-order 2-D elliptic problems on general domains. Starting point for the new development is the recent work on hierarchical finite element bases due to Yserentant (1986). It is shown that this approach permits a flexible balance between iterative solver, local error estimator, and local mesh refinement device - which are the main components of an adaptive PDE code. Without use of standard multigrid techniques, the same kind of computational complexity is achieved - independent of any uniformity restrictions on the applied meshes. In addition, the method is extremely simple and all computations are purely local - making the method particularly attractive in view of parallel computing. The algorithmic approach is illustrated by a well-known critical test problem. {\bf Keywords:} finite elements, hierarchical basis, adaptive mesh refinement, preconditioned conjugate gradient methods.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 51
    facet.materialart.
    Unknown
    REDUCE User s Guide for the CRAY 1 / CRAY X-MP Series Running UNICOS. Version 3.3. (1988)
    Details
    Publication Date: 2018-12-06
    Description: This document describes operating procedures for running REDUCE specific to the CRAY 1 and CRAY X-MP computers running the Operating System UNICOS. The document was derived from the corresponding document for Vax/UNIX prepared by A. C. Hearn and L. R. Seward, The Rand Corporation, Santa Monica, (CP85).
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 52
    facet.materialart.
    Unknown
    Parallel-TRAPEX (Ein paralleler adaptiver Algorithmus zur numerischen Integration; seine Implementierung für SUPRENUM-artige Architekturen mit SUSI). (1988)
    Details
    Publication Date: 2014-02-26
    Description: This paper describes some ways of transforming a sequential adaptive algorithm for numerical evaluation of an integral (Romberg- Quadrature with polynomial Extrapolation method) to a parallel one, such as have been implementad by the authors. We developed an algorithm which preserves the sequential adaptivity and is capable of running on various architectures, dynamically controlling the number of avtive processors depending on the problem. To study the time behaviour, we used the simulator SUSI(SUprenum SImulatur) which is able to simulate SUPRENUM-like architectures. Results are given in part 3. {\bf Keywords:} Romberg quadrature; numerical integration; parallel adaptive algorithm; SUSI; simulation; SUPRENUM; MIMD-Fortran; computer architecture; granularity; load balacing; master-slave-principle.
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 53
    facet.materialart.
    Unknown
    Computational Treatment of Polyreaction Kinetics by Orthogonal Polynomials of a Discrete Variable. (1988)
    Details
    Publication Date: 2014-02-26
    Description: The paper presents a new approach to the computational treatment of polyreaction kinetics. This approach is characterized by a Galerkin method based on orthogonal polynomials of a discrete variable, the polymer degree (or chain length). In comparison with the known competing approaches (statistical moment treatment, Galerkin methods for continuous polymer models), the suggested method is shown to avoid the disadvantages and preserve the adventages of either of them. The basic idea of the method is the construction of a discrete inner product associated with a reasonably chosen probability density function. For the so-called Schulz-Flory distribution one thus obtains the discrete Laguerre polynomials, whereas the Poisson distribution leads to the Charlier polynomials. Numerical experiments for selected polyreaction mechanisms illustrate the efficiency of the proposed method.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 54
    facet.materialart.
    Unknown
    Symbolic Solution of Large Stationary Chemical Kinetics Problems. (1988)
    Details
    Publication Date: 2018-12-06
    Description: The paper presents a new application of computer algebra to the treatment of steady states of reaction systems. The method is based on the Buchberger algorithm. This algorithm was modified such that it can exploit the special structure of the equations derived from reaction systems, so even large systems can be handled. In contrast to numerical approximation techniques, the algebraic solution gives a complete and definite overview of the solution space and it is even applicable when parameter values are unknown or undetermined. The algorithm, its adaptation to the problem class and its application to selected examples are presented.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 55
    facet.materialart.
    Unknown
    REDUCE Installation Guide for CRAY 1 / X-MP Systems Running UNICOS. Version 3.3. (1988)
    Details
    Publication Date: 2018-12-06
    Description: This guide describes the CRAY/UNICOS REDUCE distribution tape and the procedures for installing, testing and maintaining REDUCE on a CRAY 1 or CRAY X-MP running UNICOS. This document was derived from the corresponding document for Vax/UNIX prepared by A. C. Hearn and L.R. Seward, The Rand Corporation, Santa Monica, publication CP84.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 56
    facet.materialart.
    Unknown
    TDLG 3.1 - Ein interaktives Programm zur Darstellung dreidimensionaler Modelle auf Rastergraphikgeräten. (1988)
    Details
    Publication Date: 2014-02-26
    Description: TDLG 3.1 dient zur Darstellung von dreidimensionalen Objekten, die sich aus offenen Linienzügen, Dreieck- und Viereckelementen zusammensetzen. Dabei können verschiedene Visualisierungstechniken benutzt werden: Drahtmodell, Schattierung mit und ohne Lichtquelle, Hidden Surface Removal. Durch Verwendung von Konvertierungsprogrammen können auch IGES- und VDAFS- Dateien dargestellt werden.
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 57
    facet.materialart.
    Unknown
    Global Decoupling of Coupled Symmetric Oscillators. (1988)
    Details
    Publication Date: 2014-02-26
    Description: We model a symmetric system of coupled oscillators as a graph with symmetry group $\gamma$. Each vertex of the graph represents an "oscillator" or a "cell" of reactants. The magnitude (concentration) of the reactants in the $ i $ th cell is represented by a vector $ x^i $. The edges represent the coupling of the cells. The cells are assumed to evolve by identical reaction-diffusion equation which depends on the sum of the reactants in the nearest neighbors. Thus the dynamics of the system is described by a nonlinear differential system \begin{flushleft} \[ \mbox {(*) \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ } \dot{x}^i = f (x^i,\sum_{j \in N_i} x^j), \mbox { \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ } \] \end{flushleft} where the sum ranges over the set $ N_i $ of neighbors of cell $ i $ . If $ f $ also has a symmetry (e.g., oddness), there are geometric conditions on the graph such that the nonlinear system $ (*) $ decouples globally into a product flow on certain sums of isotropy subspaces. Thus we may detect higher-dimensional tori of solutions of $ (*) $ which are not amenable to other types of analysis. We present a number of examples, such as bipartite graphs, complete graphs, the square, the octahedron, and a 6-dimensional cube.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 58
    facet.materialart.
    Unknown
    Parallel Polynomial Operations in the Buchberger Algorithm. (1988)
    Details
    Publication Date: 2018-12-06
    Description: The Buchberger algorithm is a basic tool for the solution of systems of polynomial equations in an environment of computer algebra applications. A model for overlapped processing of different steps of the algorithm is presented, which uses the data structure of the polynomials (distributive representation) for synchronization. The model can be applied for multi processors with fast access to shared data. It is tested with Cray X-MP multi processors based on a parallel version of Portable Standard Lisp (PSL 3.4).
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 59
    facet.materialart.
    Unknown
    GRAZIL - 3D. Ein graphisches Anwendungsprogramm zur Darstellung von Kurven- und Funktionsverläufen im räumlichen Koordinatensystem. (1988)
    Details
    Publication Date: 2020-03-11
    Description: GRAZIL - 3D ist ein interaktives Programmpaket zur graphischen Darstellung von dreidimensionalen Kurvenverläufen. Das Aussehen der räumlichen Ausgabe des Bildes wird durch Angabe des Blickwinkels und der Perspektive festgelegt.
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 60
    facet.materialart.
    Unknown
    Jahresbericht 1987 (1988)
    Details
    Publication Date: 2019-10-24
    Keywords: ddc:000
    Language: German
    Type: annualzib , doc-type:report
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 61
    facet.materialart.
    Unknown
    A Note on Extrapolation Methods for Second Order ODE Systems. (1987)
    Details
    Publication Date: 2014-02-26
    Description: A slight modification of the extended Stoermer discretization for non self-adjoint second order ODE systems is derived on the basis of a simple stability analysis. This discretization easily extends to implicit ODE systems, which are known to arise e.g. in mechanical engineering. In addition, a special variant of semi-implicit Euler discretization is proposed, which essentially treats the state variables explicitly, but their derivatives implicitly. Numerical tests over critical parameter values of the van der Pol oscillator illustrate the domain of efficiency of the suggested discretizations.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 62
    facet.materialart.
    Unknown
    Uniqueness Theorems for Stiff ODE Initial Value Problems. (1987)
    Details
    Publication Date: 2014-02-26
    Description: The paper presents a new uniqueness theory for ODE initial value problems, derived in view of numerical stiff integration. The theory supplies stepsize bounds for stiff integrators that can easily be estimated in extrapolation methods. The additional devices lead to a significant speed-up of computations - in particular in combustion PDE problems.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 63
    facet.materialart.
    Unknown
    The Hierarchical Basis Multigrid Method. (1987)
    Details
    Publication Date: 2014-02-26
    Description: We derive and analyze the hierarchical basis-multigrid method for solving discretizations of self-adjoint, elliptic boundary value problems using piecewise linear triangular finite elements. The method is analyzed as a block symmetric Gauß- Seidel iteration with inner iterations, but it is strongly related to 2-level methods, to the standard multigrid V-cycle, and to earlier Jacobi-like hierarchical basis methods. The method is very robust, and has a nearly optimal convergence rate and work estimate. It is especially well suited to difficult problems with rough solutions, discretized using highly nonuniform, adaptively refined meshes.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 64
    facet.materialart.
    Unknown
    CGM-Concepts and their Realizations. (1987)
    Details
    Publication Date: 2014-02-26
    Description: Requirements and Design Concepts. Common Graphics Manager (CGM) is the name given to the implementation of GKS, Level 2b, developed at the Free University of Berlin (1,6). This paper is a survey over the "early GKS implementation phase" 1982. Work commenced in February 1980. At the outset some basic design decisions were necessary on account of the special scientific computer environment in Berlin, because the "Berlin GKS" was intended to be a common graphical software package for all the machines.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 65
    facet.materialart.
    Unknown
    Preconditioning Indefinite Discretization Matrices. (1987)
    Details
    Publication Date: 2014-02-26
    Description: The finite element discretization of many elliptic boundary value problems leads to linear systems with positive definite and symmetric coefficient matrices. Many efficient preconditioners are known for these systems. We show that these preconditioning matrices can be used also for the linear systems arising from boundary value problems which are potentially indefinite due to lower order terms in the partial differential equation. Our main tool is a careful algebraic analysis of the condition numbers and the spectra of perturbed matrices which are preconditioned by the same matrices as in the unperturbed case. {\bf Keywords: }Preconditioned conjugate gradient methods, finite elements. {\bf Subject Classification: } AMS(MOS):65F10, 65N20, 65N30.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 66
    facet.materialart.
    Unknown
    Portable Common LISP Subset Implementation for CRAY X+MP Computers. (1987)
    Details
    Publication Date: 2018-12-06
    Description: This document describes the installation procedure and maintenance for the Portable Common LISP Subset (PCLS) developed at the University of Utah.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 67
    facet.materialart.
    Unknown
    Tätigkeitsbericht 1986 (1987)
    Details
    Publication Date: 2019-10-24
    Keywords: ddc:000
    Language: German
    Type: annualzib , doc-type:report
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 68
    facet.materialart.
    Unknown
    The Implementation and Optimization of Portable Standard LISP for the CRAY. (1987)
    Details
    Publication Date: 2018-12-06
    Description: Portable Standard LISP (PSL), a dialect of LISP developed at the University of Utah, has been implemented and optimized for the CRAY 1 and CRAY X-MP supercomputers. This version uses a new implementation technique that permits a step-by-step development of the PSL kernel. The initial CRAY version was acceptable, although the execution speed of the PSL was not as fast as had been anticipated. CRAY-specific optimizations were undertaken that in some cases provided a ten-fold speed improvement, resulting in a fast LISP implementation.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 69
    facet.materialart.
    Unknown
    Portable Standard LISP Implementation for CRAY X+MP Computers. Release of PSL 3.4 for COS. (1987)
    Details
    Publication Date: 2018-12-06
    Description: Portable Standard LISP (PSL) is a portable implementation of the programming language LISP constructed at the University of Utah. The version 3.4 of PSL was implemented for CRAY X-MP computers by Konrad Zuse-Zentrum Berlin; this implementation is based to an important part on the earlier implementation of PSL 3.2 at Salt Lake City, Los Alamos and Mendota Heights.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 70
    facet.materialart.
    Unknown
    CRAY-Handbuch. - Einführung in die Benutzung der CRAY. (1987)
    Details
    Publication Date: 2014-03-06
    Description: Das vorliegende Handbuch wendet sich an alle Benutzer des für den Norddeutschen Vektorrechnerverbund im ZIB installierten Rechners CRAY X-MP/24. Ein großer Teil der Darstellung ist der Optimierung von Programmen gewidmet, die in FORTRAN geschrieben sind. Gerade weil die CRAY einer der schnellsten Rechner der Welt ist, wird jeder Benutzer früher oder später selbst auf dieses Thema stoßen, denn die Maschine ist vornehmlich für Probleme bestimmt, die für die meisten anderen Rechner zu komplex sind. Maschinen der CRAY-Leistungsklasse beziehen einen erheblichen Teil ihrer Geschwindigkeit aus der parallelen Arbeit vieler Komponenten. Programme, die die jeweilige Architektur der Maschine berücksichtigen, können um Größenordnungen schneller (also wirtschaftlicher) sein als Programme, deren Autor beim Schreiben einen sogenannten "klassischen" Rechner vor seinem geistigen Auge hatte. Daher wird auch der technische Aufbau der CRAY X-MP im Handbuch erläutert. Weitere Teile des Handbuches beschäftigen sich mit den Vorrechnern und dem Rechnernetz.
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 71
    facet.materialart.
    Unknown
    REDUCE Users Guide for the CRAY 1 / X-MP Series Running COS. Version 3.3. (1987)
    Details
    Publication Date: 2018-12-06
    Description: This document describes operating procedures for running REDUCE specific to the CRAY 1 and CRAY X-MP computers running the CRAY Operating System (COS). The document was derived from the corresponding document for Vax/UNIX prepared by A.C. Hearn and L.R. Seward, The Rand Corporation, Santa Monica, (CP85).
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 72
    facet.materialart.
    Unknown
    GRAZIL (Graphical ZIB Language). (1987)
    Details
    Publication Date: 2020-03-11
    Description: GRAZIL ist ein interaktives Programmpaket zur graphischen Darstellung von zwei-dimensionalen Kurvenverläufen. Dem Benutzer stehen zahlreiche Kommandos zum Gestalten des Layouts der Zeichnung zur Verfügung. Die Eingabedaten müssen dem ZUGRIFF- Konzept genügen, wodurch die genaue Struktur der Daten erst zur Laufzeit bekannt sein muß und somit eine hohe Flexibilität und eine große Bandbreite der Einsatzmöglichkeiten erreicht wird. GRAZIL wurde mit der graphischen Grundsoftware BIZEPS2 und GKS entwickelt. Dadurch kann ein breites Rechner- und Ausgabegerätespektrum genutzt werden.
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 73
    facet.materialart.
    Unknown
    ZUGRIFF - Eine vereinheitlichte Datenspezifikation für graphische Darstellungen und ihre graphische Aufbereitung. (1987)
    Details
    Publication Date: 2020-03-11
    Description: ZUGRIFF ist eine Dateischnittstelle für Graphikausgabe speziell numerischer Anwenderprogramme. Dieser Report beschreibt den Leistungsumfang der Spezifikation sowie die interaktive graphische Verarbeitung von ZUGRIFF- Dateien.
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 74
    facet.materialart.
    Unknown
    REDUCE Installation Guide for CRAY 1 / X-MP Systems Running COS. Version 3.3. (1987)
    Details
    Publication Date: 2018-12-06
    Description: This guide describes the CRAY/COS REDUCE distribution tape and the procedures for installing, testing and maintaining REDUCE on a CRAY 1 or CRAY X-MP running COS. This document was derived from the corresponding document for Vax/Unix prepared by A. C. Hearn and L. R. Seward, The Rand Corporation, Santa Monica, publication CP84.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 75
    facet.materialart.
    Unknown
    Efficient Numerical Simulation and Identification of Large Chemical Reaction Systems. (1986)
    Details
    Publication Date: 2019-01-02
    Description: New, highly efficient techniques for the numerical simulation and parameter identification of large chemical reaction systems are surveyed. The survey particularly addresses to chemists, which are understood to be potential users of the distributed software packages. These packages are written in the form of interactive dialogue systems - thus enabling chemists to concentrate on the chemistry of their problem. Large scale examples from chemical research environments are included.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 76
    facet.materialart.
    Unknown
    Portable Standard LISP for CRAY X-MP Computers. (1986)
    Details
    Publication Date: 2018-12-06
    Description: Portable Standard LISP (PSL) is a portable implementation of the programming language LISP constructed at the University of Utah. The version 3.4 of PSL was implemented for CRAY X-MP computers by Konrad-Zuse-Zentrum Berlin; this implementation is based to an important part on the earlier implementation of PSL 3.2 at the University of Utah, Los Alamos National Laboratories and CRAY Research Inc. at Mendota Heights. During the work on implementing PSL the language LISP was investigated for areas which can be supported by vector hardware. One area was found in the COMMON LISP sequence functions and some typical application areas of LISP programming can be improved by vector processing too. A model for the implementation of vector instructions in LISP was developed. For arithmetic an experimental vectorizing extent of the PSL compiler was constructed. With this means full vector hardware capacity can become available for LISP applications.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 77
    facet.materialart.
    Unknown
    Tätigkeitsbericht 1985 (1986)
    Details
    Publication Date: 2019-10-24
    Keywords: ddc:000
    Language: German
    Type: annualzib , doc-type:report
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 78
    facet.materialart.
    Unknown
    Tätigkeitsbericht-1985. (1986)
    Details
    Publication Date: 2014-02-26
    Keywords: ddc:000
    Language: German
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...