Kaiserslautern - Fachbereich Mathematik
Refine
Year of publication
- 2000 (44) (remove)
Document Type
- Preprint (35)
- Lecture (5)
- Article (2)
- Diploma Thesis (1)
- Study Thesis (1)
Keywords
- Logik (2)
- Algebraic Geometry (1)
- Black-Scholes model (1)
- CFL type conditions (1)
- Capital-at-Risk (1)
- Convex Analysis (1)
- Fokker-Planck equation (1)
- Geometrical algorithms (1)
- Grad expansion (1)
- Gravimetry (1)
- Ill-posed problem (1)
- Integral Equations (1)
- Inverse Problem (1)
- Isotropy (1)
- Kalkül (1)
- Kalkül des natürlichen Schließens (1)
- Lineare Algebra (1)
- Location Theory (1)
- MLC (1)
- Medical Physics (1)
- Modellierung (1)
- Moduli Spaces (1)
- Mosaike (1)
- Multicriteria optimization (1)
- Multileaf Collimator (1)
- Multiscale Methods (1)
- Numerics (1)
- Optimal portfolios (1)
- Optimization (1)
- Pareto optimality (1)
- Parkette (1)
- Punktmengen (1)
- Radiation Therapy (1)
- Regularization (1)
- Sheaves (1)
- Slender-Body Approximations (1)
- Stokes Flow (1)
- Tableau-Kalkül (1)
- Value-at-Risk (1)
- Wavelet (1)
- Wirkungsnetz (1)
- Zerlegungen (1)
- asymptotic preserving numerical scheme (1)
- branch and cut (1)
- cardinality constraint combinatorial optimization (1)
- charged fluids (1)
- classical solutions (1)
- computational complexity (1)
- consistency (1)
- crash modelling (1)
- diskrete Systeme (1)
- dynamische Systeme (1)
- equilibrium strategies (1)
- exact solution (1)
- explicit representations (1)
- facets (1)
- facility location (1)
- formale Logik (1)
- generalized inverse Gaussian diffusion (1)
- hub location (1)
- hyperbolic conservation laws (1)
- integer programming (1)
- jump diffusion (1)
- k-cardinality minimum cut (1)
- kinetic approach (1)
- linear transport equation (1)
- log-utility (1)
- maximum entropy (1)
- mehrwertig (1)
- mesh-free method (1)
- mixture of quantum fluids and classical fluids (1)
- moment methods (1)
- moment realizability (1)
- number of objectives (1)
- optimal portfolios (1)
- orthogonal bandlimited and non-bandlimited wavelets (1)
- partition of unity (1)
- portfolio optimization (1)
- random noise (1)
- rate of convergence (1)
- regularization wavelets (1)
- satellite gradiometry (1)
- scalar conservation laws (1)
- semi-classical limits (1)
- solution formula (1)
- special entropies (1)
- spherical approximation (1)
- stability uniformly in the mean free path (1)
- stochastic interest rate (1)
- strictly quasi-convex functions (1)
- thermal equilibrium state (1)
- valid inequalities (1)
- verication theorem (1)
- weak solutions (1)
- worst-case scenario (1)
Faculty / Organisational entity
Ein Teilaspekt der formalen Logik besteht in der Untersuchung wie die logischen Konsequenzen (insbesondere die Tautologien) einer vorgegebenen Formelmenge unter Verwendung gewisser Reglements schrittweise hergeleitet werden können. Hierbei ist die Logik bestimmt durch eine konsequente Trennung von Syntax und Semantik. Diese Abhandlung stellt exemplarisch das Tableau-Kalkül und das Kalkül des natürlichen Schließens vor.
Aufgrund der vernetzten Strukturen und Wirkungszusammenhänge dynamischer Systeme werden die zugrundeliegenden mathematischen Modelle meist sehr komplex und erfordern ein hohes mathematisches Verständnis und Geschick. Bei Verwendung von spezieller Software können jedoch auch ohne tiefgehende mathematische oder informatorische Fachkenntnisse komplexe Wirkungsnetze dynamischer Systeme interaktiv erstellt werden. Als Beispiel wollen wir schrittweise das Modell einer Miniwelt entwerfen und Aussagen bezüglich ihrer Bevölkerungsentwicklung treffen.
Zerlegungen und Parkettierungen der Ebene spielen in vielen wissenschaftlichen, praktischen und künstlerischen Bereichen eine wichtige Rolle. In dieser Abhandlung werden solche diskrete Systeme von Punktmengen betrachtet. Zunächst werden Packungen einfacher Figuren durch Polyominos, diskrete Zerlegungen der Ebene sowie Zerlegungen von Polygonen in Polygone behandelt. Weiterführend werden sowohl Mosaike, als auch Parkette und deren Anwendungsbeispiele vorgestellt.
Wir beschreiben eine Methode zur Approximation von Spannungsgradienten aus diskreten Spannungsdaten. Eine herkömmliche Diskretisierung der Ableitungen aus Funktionswerten führt zu Stabilitätsproblemen, weswegen eine Möglichkeit zur Kontrolle der Ableitungen notwendig ist (Regularisierung). Wir bestimmen zunächst das Funktional der potentiellen Energie und führen zusätzlich ein Fehlerfunktional ein, das die Anpassung an die vorgegebenen diskreten Werte ermöglicht. Durch Gewichtung der beiden Funktionale und Minimierung des Gesamtfunktionals erhält man den gewünschten Ausgleich zwischen der Fehlerkontrolle beim Ableiten einerseits und Kontrolle der Fehler bei den Randwerten andererseits.
Mean field equations arise as steady state versions of convection-diffusion systems where the convective field is determined as solution of a Poisson equation whose right hand side is affine in the solutions of the convection-diffusion equations. In this paper we consider the repulsive coupling case for a system of 2 convection-diffusion equations. For general diffusivities we prove the existence of a unique solution of the mean field equation by a variational technique. Also we analyse the small-Debye-length limit and prove convergence to either the so-called charge-neutral case or to a double obstacle problem for the limiting potential depending on the data.
This essay discusses the multileaf collimator leaf sequencing problem, which occurs in every treatment planning in radiation therapy. The problem is to find a good realization in terms of a leaf sequence in the multileaf collimator such that the time needed to deliver the given dose profile is minimized. A mathematical model using an integer programming formulation has been developed. Additionally, a heuristic, based on existing algorithms and an integer programming formulation, has been developed to enhance the quality of the solutions. Comparing the results to those provided by other algorithms, a significant improvement can be observed.
Analysis II
(2000)
We consider the problem of locating a line or a line segment in three- dimensional space, such that the sum of distances from the linear facility to a given set of points is minimized. An example is planning the drilling of a mine shaft, with access to ore deposits through horizontal tunnels connecting the deposits and the shaft. Various models of the problem are developed and analyzed, and effcient solution methods are given.