Suche
Anzeige der Dokumente 121-130 von 262
Dissertation
Fourier-Matrizen und Ringe mit Basis
(2005-08-02)
Bei der Bestimmung der irreduziblen Charaktere einer Gruppe vom Lie-Typ entwickelte Lusztig eine Theorie, in der eine sogenannte Fourier-Transformation auftaucht. Dies ist eine Matrix, die nur von der Weylgruppe der Gruppe vom Lie-Typ abhängt. Anhand der Eigenschaften, die eine solche Fourier- Matrix erfüllen muß, haben Geck und Malle ein Axiomensystem aufgestellt. Dieses ermöglichte es Broue, Malle und Michel füur die Spetses, über die noch vieles unbekannt ist, Fourier-Matrizen zu bestimmen. Das Ziel dieser Arbeit ...
Working paper
Anwendungsorientierte Aufgaben für die Erstsemester-Mathematik-Veranstaltungen im Maschinenbaustudium
(2014-03-31)
In diesem Werkstattbericht wollen wir den derzeitigen Arbeitsstand des Teilprojekts "Mathematik für Maschinenbauer" der AG Ing-Math vorstellen. Es werden eine Reihe von Anwendungsaufgaben, sowie deren Lösungen und das zugrunde liegende Konzept vorgestellt. Die Aufgaben sind für die Veranstaltungen Mathematik 1 und 2 für Maschinenbauer konzipiert, jedoch lässt sich das Konzept auch auf andere ingenieurwissenschaftliche Studiengänge übertragen. Das Ziel ist es mit diesen Aufgaben die Motivation zu fördern und den ...
Working paper
Kategorisierung mathematischer Bündelungsprozesse von Grundschullehramtsstudierenden
(2014-02-03)
Dieser Werkstattbericht gibt einen Einblick in ein Promotionsvorhaben im Bereich der universitären Mathematikdidaktik. 15 Studierende des Grundschullehramts wurden mit leitfadengestützten materialbasierten Interviews zur Zahldarstellung in Stellenwertsystemen, einem zentralen Thema ihrer Mathematikausbildung, befragt. Wir stellen hier Kategorien vor, die anhand der Interview-Daten identifiziert wurden, und erste strukturelle Beschreibungen von Vorstellungen und Hürden sowie Spezifika eines adäquaten Verständnisses ...
Preprint
On the Gap-Complexity of Simple RL-Automata
(2006)
Analysis by reduction is a method used in linguistics for checking the correctness of sentences of natural languages. This method is modelled by restarting automata. All types of restarting automata considered in the literature up to now accept at least the deterministic context-free languages. Here we introduce and study a new type of restarting automaton, the so-called t-RL-automaton, which is an RL-automaton that is rather restricted in that it has a window of size one only, and that it works under a minimal ...
Preprint
Numerical Methods for Non-Stationary Stokes Flow
(2008)
We consider a first order implicit time stepping procedure (Euler scheme) for the non-stationary Stokes equations in smoothly bounded domains of R3. Using energy estimates we can prove optimal convergence properties in the Sobolev spaces Hm(G) (m = 0;1;2) uniformly in time, provided that the solution of the Stokes equations has a certain degree of regularity. For the solution of the resulting Stokes resolvent boundary value problems we use a representation in form of hydrodynamical volume and boundary layer potentials, ...
Preprint
Approximate solutions and error estimates for a Stokes boundary value problem
(2009)
The aim of this paper is the numerical treatment of a boundary value problem for the system of Stokes' equations. For this we extend the method of approximate approximations to boundary value problems. This method was introduced by V. Maz'ya in 1991 and has been used until now for the approximation of smooth functions defined on the whole space and for the approximation of volume potentials. In the present paper we develop an approximation procedure for the solution of the interior Dirichlet problem for the system ...
Preprint
Image compression predicated on recurrent iterated function systems
(2008)
Recurrent iterated function systems (RIFSs) are improvements of iterated function systems (IFSs) using elements of the theory of Marcovian stochastic processes which can produce more natural looking images. We construct new RIFSs consisting substantially of a vertical contraction factor function and nonlinear transformations. These RIFSs are applied to image compression.
Preprint
Restarting automata with restricted utilization of auxiliary symbols
(Universität Kassel, FB 17, Mathematik/Informatik, 2005)
The restarting automaton is a restricted model of computation that was introduced by Jancar et al. to model the so-called analysis by reduction, which is a technique used in linguistics to analyze sentences of natural languages. The most general models of restarting automata make use of auxiliary symbols in their rewrite operations, although this ability does not directly correspond to any aspect of the analysis by reduction. Here we put restrictions on the way in which restarting automata use auxiliary symbols, and ...