KLUEDO RSS FeedKLUEDO Dokumente/documents
https://kluedo.ub.uni-kl.de/index/index/
Fri, 10 Nov 2017 10:53:46 +0100Fri, 10 Nov 2017 10:53:46 +0100Information Complexity of Multivariate Fredholm Equations in Sobolev Classes
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5062
In this paper, the complexity of full solution of Fredholm integral equations of the second kind with data from the Sobolev class \(W^r_2\) is studied. The exact order of information complexity is derived. The lower bound is proved using a Gelfand number technique. The upper bound is shown by providing a concrete algorithm of optimal order, based on a specific hyperbolic cross approximation of the kernel function. Numerical experiments are included, comparing the optimal algorithm with the standard Galerkin method.Karin Frank; Stefan Heinrich; Sergei Pereverzevreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5062Fri, 10 Nov 2017 10:53:46 +0100Ähnlichkeit von Prozeßmodellen
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5013
Die Sichten von Projektmitgliedern auf Prozesse von Software-Entwicklungen sollen in der Prozeßmodellierungssprache MVP-L formuliert und anschließend in ein Umfassendes Prozeßmodell integriert werden. Dabei ist die Identifikation ähnlicher Informationen in verschiedenen Sichten von Bedeutung. In dieser Arbeit berichten
wir über die Adaption und Synthese verschiedener Ansätze zum Thema Ähnlichkeit aus unterschiedlichen Domänen (Schema-Integration beim Datenbank-Entwurf, Analoges und Fallbasiertes Schließen, Wiederverwendung und System-Spezifikation). Das Ergebnis, die Ähnlichkeitsfunktion vsim, wird anhand eines Referenzbeispiels illustriert. Dabei gehen wir insbesondere auf die Eigenschaft der Funktion vsim ein und berichten über Erfahrungen im Umgang mit dieser Funktion zur Berechnung der Ähnlichkeit zwischen Prozeßmodellen.
Martin Verlage; Horst Hientzreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5013Thu, 02 Nov 2017 14:00:48 +0100Evaluation of a BRDF using BSP Trees
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4957
In this paper an analytic hidden surface removal algorithm is presented which uses a combination
of 2D and 3D BSP trees without involving point sampling or scan conversion. Errors like aliasing
which result from sampling do not occur while using this technique. An application of this
algorithm is outlined which computes the energy locally reflected from a surface having an
arbitrary BRDF. A simplification for diffuse reflectors is described, which has been implemented
to compute analytic form factors from diffuse light sources to differential receivers as they are needed for shading and radiosity algorithms.Philip Jacobreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4957Thu, 26 Oct 2017 12:37:05 +0200Variance reduction for Monte Carlo methods by means of deterministic numerical computation
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4954
A new variance reduction technique for the Monte Carlo solution of integral
equations is introduced. It is based on separation of the main part. A neighboring equation with exactly known solution is constructed by the help of a deterministic Galerkin scheme. The variance of the method is analyzed, and an application to the radiosity equation of computer graphics, together with numerical test results is given.Stefan Heinrichreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4954Thu, 26 Oct 2017 10:03:58 +0200Efficient algorithms for computing the \(L_2\) discrepancy
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4941
The \(L_2\)-discrepancy is a quantitative measure of precision for multivariate quadrature rules. It can be computed explicitly. Previously known algorithms needed \(O(m^2\)) operations, where \(m\) is the number of nodes. In this paper we present algorithms which require
\(O(m(log m)^d)\) operations.Stefan Heinrichreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4941Wed, 25 Oct 2017 09:35:31 +0200Visualization of Unstable Surface Regions
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4939
Computer processing of free form surfaces forms the basis of a closed construction process starting with surface design and up to NC-production.
Numerical simulation and visualization allow quality analysis before manufacture. A new aspect in surface analysis is described, the stability
of surfaces versus infinitesimal bendings. The stability concept is derived
from the kinetic meaning of a special vector field which is given by the deformation. Algorithms to calculate this vector field together with an appropriate visualization method give a tool able to analyze surface stability.Stefanie Hahmannreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4939Wed, 25 Oct 2017 08:34:19 +0200Numerical Aspects of Stability Investigations on Surfaces
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4937
The CAD/CAM-based design of free-form surfaces is the beginning of a chain of operations, which ends with the numerically controlled (NC-) production of the designed object. During this process the shape control is an important step to amount efficiency. Several surface interrogation methods already exist to analyze curvature and continuity behaviour of the shape. This paper deals with a new aspect of shape control: the stability of surfaces with respect to infnitesimal bendings. Each inEnitesimal bending of a surface determines a so called instability surface, which is used for the stability investigations. The kinematic meaning of this instability surface will be discussed and we present algorithms to calculate it.Stefanie Hahmann; Hans Hagenreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4937Wed, 25 Oct 2017 08:26:12 +0200Complexity of Multivariate Integral Equations
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4926
The problem of full solution of Fredholm integral equations of the second kind with data from Sobolev spaces with dominating mixed derivative is studied. Existing estimates for the univariate case are extended to arbitrary dimension.Karin Frankreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4926Tue, 24 Oct 2017 09:24:12 +0200An Optimal Algorithm for the Local Solution of Integral Equations
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4923
The local solution problem of multivariate Fredholm integral equations is studied. Recent research proved that for several function classes the complexity of this problem is closely related to the Gelfand numbers of some characterizing operators. The generalization of this approach to the situation of arbitrary Banach spaces is the subject of the present paper.
Furthermore, an iterative algorithm is described which - under some additional conditions - realizes the optimal error rate. The way these general theorems work is demonstrated by applying them to integral equations in a Sobolev space of periodic functions with dominating mixed derivative of various order.Karin Frankreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4923Tue, 24 Oct 2017 08:45:17 +0200The geometry of optimal degree reduction of Bezier curves
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4910
Optimal degree reductions, i.e. best approximations of \(n\)-th degree Bezier curves
by Bezier curves of degree \(n\) - 1, with respect to different norms are studied. It
is shown that for any \(L_p\)-norm the euclidean degree reduction where the norm is applied to the euclidean distance function of two curves is identical to componentwise degree reduction. The Bezier points of the degree reductions are found to lie on parallel lines through the Bezier points of any Taylor expansion of degree \(n\) - 1 of the original curve. This geometric situation is shown to hold also in the case of constrained degree reduction. The Bezier points of the degree reduction are explicitly given in the unconstrained case for \(p\) = 1 and \(p\) = 2 and in the constrained case for \(p\) = 2.Guido Brunnett; Thomas Schreiber; Jörg Braunreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4910Mon, 23 Oct 2017 09:06:07 +0200MVP-L Language Report Version 2
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4908
Intellectual control over software development projects requires the existence of an integrated set of explicit models of the products to be developed, the processes used to develop them, the resources needed, and the productivity and quality aspects involved. In recent years the development of languages, methods and tools for modeling software processes, analyzing and enacting them has become a major emphasis of software engineering research. The majority of current process research concentrates on prescriptive modeling of small, completely formalizable processes and their execution entirely on computers. This research direction has produced process modeling languages suitable for machine rather than human consumption. The MVP project, launched at the University of Maryland and continued at Universität Kaiserslautern, emphasizes building descriptive models of large, real-world processes and their use by humans and computers for the purpose of understanding, analyzing, guiding and improving software development projects. The language MVP-L has been developed with these purposes in mind. In this paper, we
motivate the need for MVP-L, introduce the prototype language, and demonstrate its uses. We assume that further improvements to our language will be triggered by lessons learned from applications and experiments.Alfred Bröckers; Christopher M. Lott; H. Dieter Rombach; Martin Verlagereporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4908Fri, 20 Oct 2017 14:27:14 +0200A graphical representation schema for the software process modeling language MVP-L
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4906
Experience gathered from applying the software process modeling language MVP-L in software development organizations has shown the need for graphical representations of process models. Project members (i.e„ non MVP-L specialists) review models much more easily by using graphical representations. Although several various graphical notations were developed for individual projects in which MVP-L was applied, there was previously no consistent definition of a mapping between textual MVP-L models and graphical representations. This report defines a graphical representation schema for MVP-L
descriptions and combines previous results in a unified form. A basic set of building blocks (i.e., graphical symbols and text fragments) is defined, but because we must first gain experience with the new symbols, only rudimentary guidelines are given for composing basic
symbols into a graphical representation of a model.Alfred Bröckers; Christiane Differding; Barbara Hoisl; Frank Kollnischko; Christopher M. Lott; Jürgen Münch; Martin Verlage; Stefan Vorwiegerreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4906Fri, 20 Oct 2017 13:22:09 +0200Data-procedural Languages for FPL-based Machines
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4899
This paper introduces a new high Level programming language for a novel
class of computational devices namely data-procedural machines. These machines are by up to several orders of magnitude more efficient than the von Neumann paradigm of computers and are as flexible and as universal as computers. Their efficiency and flexibility is achieved by using field-programmable logic as the essential technology platform. The paper briefly summarizes and illustrates the essential new features of this language by means of two example programs.Andreas Ast; J. Becker; Reiner W. Hartenstein; R. Kress; H. Reinig; K. Schmidtreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4899Fri, 20 Oct 2017 11:32:19 +0200Automata-Theoretic Criteria for Feature Interactions in Telecommunications Systems
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/76
The feature interaction problem in telecommunications systems increasingly ob-structs the evolution of such systems. We develop formal detection criteria whichrender a necessary (but less than sufficient) condition for feature interactions. It can be checked mechanically and points out all potentially critical spots. Thesehave to be analysed manually. The resulting resolution decisions are incorporatedformally. Some prototype tool support is already available. A prerequisite forformal criteria is a formal definition of the problem. Since the notions of featureand feature interaction are often used in a rather fuzzy way, we attempt a formaldefinition first and discuss which aspects can be included in a formalization (andtherefore in a detection method). This paper describes ongoing work.Jan Brederekepreprinthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/76Mon, 03 Apr 2000 00:00:00 +0200