Refine
Year of publication
- 2007 (145) (remove)
Document Type
- Doctoral Thesis (64)
- Report (37)
- Preprint (14)
- Periodical Part (13)
- Study Thesis (5)
- Working Paper (4)
- Diploma Thesis (3)
- Article (2)
- Conference Proceeding (2)
- Habilitation (1)
Has Fulltext
- yes (145)
Keywords
- Phasengleichgewicht (4)
- numerical upscaling (4)
- Dienstgüte (3)
- Elastoplastizität (3)
- Model checking (3)
- Networked Automation Systems (3)
- Netzwerk (3)
- Response-Zeit (3)
- Visualisierung (3)
- hub location (3)
- probabilistic model checking (3)
- wahrscheinlichkeitsbasierte Modellverifikation (3)
- Apoptosis (2)
- Asymptotic Expansion (2)
- Automatisierungssystem (2)
- Computergraphik (2)
- Cyclopeptide (2)
- Darcy’s law (2)
- Elastoplasticity (2)
- Fluoreszenz (2)
- Formalisierung (2)
- GPU (2)
- Kontinuumsmechanik (2)
- Mixture Models (2)
- Modellierung (2)
- Multiresolution Analysis (2)
- Netzbasierte Automatisierungssysteme (2)
- Nichtlineare Finite-Elemente-Methode (2)
- Optionspreistheorie (2)
- Sobolev spaces (2)
- Spline-Approximation (2)
- Synchronisation zyklischer Prozesse (2)
- UML (2)
- Verbundbauweise (2)
- anisotropy (2)
- computational fluid dynamics (2)
- computational mechanics (2)
- continuum mechanics (2)
- cyclopeptides (2)
- distributed control systems (2)
- effective heat conductivity (2)
- finite volume method (2)
- heuristic (2)
- localizing basis (2)
- regularization (2)
- single phase flow (2)
- synchronization of cyclic processes (2)
- verteilte Steuerungen (2)
- 2-d kernel regression (1)
- 3D (1)
- A-infinity-bimodule (1)
- A-infinity-category (1)
- A-infinity-functor (1)
- ANTR5 (1)
- ASM (1)
- Abrasiver Verschleiß (1)
- Abrechnungsmanagement (1)
- Access Points (1)
- Accounting Agent (1)
- Ackerschmalwand (1)
- Acrylamid (1)
- Ad-hoc-Netz (1)
- Adaptive Entzerrung (1)
- Adjazenz-Beziehungen (1)
- Algorithmics (1)
- Alterung (1)
- Analyse (1)
- Anionenerkennung (1)
- Anionenrezeptoren (1)
- Anisotropie (1)
- Anthocyane (1)
- Aroniabeere (1)
- Asympotic Analysis (1)
- Asymptotic Analysis (1)
- Asymptotische Entwicklung (1)
- Ausfällen (1)
- Ausschnitt <Öffnung> (1)
- Automated Calibration (1)
- Automatische Messung (1)
- Automatisierungstechnik (1)
- Avirulence (1)
- Bayesian Model Averaging (1)
- Bedeutung (1)
- Bemessung (1)
- Benutzer (1)
- Berry fruit juice (1)
- Beschränkte Arithmetik (1)
- Betriebsfestigkeit (1)
- Bettungsmodul (1)
- Biokatalyse (1)
- Biomechanik (1)
- Biorthogonalisation (1)
- Biotechnologie (1)
- Biotrophy (1)
- Bondindizes (1)
- Boolean polynomials (1)
- Bootstrap (1)
- Boundary Value Problem (1)
- Buntsaftkonzentrat (1)
- CIR model (1)
- CSOs treatment (1)
- CUDA (1)
- Caspase (1)
- Cobalt (1)
- Comet Assay (1)
- Composites (1)
- Computational Fluid Dynamics (1)
- Continuum mechanics (1)
- Controlling (1)
- Coq (1)
- Cyclin-abhängige Kinasen (1)
- DCE <Programm> (1)
- DNA-Schädigung (1)
- Damage (1)
- Dampf-flüssig-flüssig-Gleichgewicht (1)
- Datenbank (1)
- Delaunay mesh generation (1)
- DesLaNAS (1)
- Deutschland / Bundesnetzage (1)
- Dezentralisation (1)
- Diclofenac (1)
- Diskontinuität (1)
- DoS (1)
- DoS-Attacke (1)
- Downlink (1)
- Drahtloses lokales Netz (1)
- Dreidimensionale Strömung (1)
- Durchlaufträger (1)
- Dynamischer Test (1)
- EMPO (1)
- EPR-Spectroscopy (1)
- Earth's disturbing potential (1)
- Eingebettete Systeme (1)
- Eisen (1)
- Elasticity (1)
- Elastizität (1)
- Elektrizitätsverbrauch (1)
- Elektrizitätsversorgung (1)
- Elektronenspinresonanzspektroskopie (1)
- Embedded software (1)
- Endliche Geometrie (1)
- Energieeinsparung (1)
- Epoxidation (1)
- Epoxide (1)
- Erweiterte Realität <Informatik> (1)
- Ethan (1)
- Ethylen (1)
- Existence of Solutions (1)
- Experiment (1)
- Experimentauswertung (1)
- Facility location (1)
- Farbe (1)
- Farbstabilität (1)
- Farnesylpyrophosphat-Synthase (1)
- Fault Prediction (1)
- Feature (1)
- Fehler (1)
- Feige (1)
- Fertigungslogistik (1)
- Festkörper (1)
- Filterauslegung (1)
- Filterkuchenwiderstand (1)
- Filtermittelwiderstand (1)
- Filterversuche (1)
- Filtration (1)
- Filtrierbarkeit (1)
- Finanzmathematik (1)
- Finite-Elemente-Methode (1)
- Flechten (1)
- Fließgelenk (1)
- Flooding Attack (1)
- Flugzeitmassenspektrometrie (1)
- Fluorescence (1)
- Flüssig-Flüssig-Extraktion (1)
- Flüssig-Flüssig-Gleichgewicht (1)
- Flüssig-Flüssig-System (1)
- Flüssigkeitsreibung (1)
- Fokker-Planck Equation (1)
- Framework <Informatik> (1)
- Funknetz (1)
- Gauge Distances (1)
- Genetische Algorithmen (1)
- Geoinformationssystem (1)
- Geometric Ergodicity (1)
- Geometrical Nonlinear Thermomechanics (1)
- Geostrophic flow (1)
- Gleitlager (1)
- Glycogen-Synthase-Kinase-3 (1)
- Golgi-Apparat (1)
- Google Earth (1)
- Granular flow (1)
- Grapevine Fanleaf Virus (1)
- Gröber basis (1)
- HOL (1)
- Halogenasen (1)
- Hamilton-Jacobi-Differentialgleichung (1)
- Harmonische Spline-Funktion (1)
- Haustoria (1)
- Helmholtz Type Boundary Value Problems (1)
- Hepatotoxizität (1)
- Hochdrucktechnik (1)
- Homologische Algebra (1)
- Homotopiehochhebungen (1)
- Homotopy lifting (1)
- Hub-and-Spoke-System (1)
- Hydrogel (1)
- Hydrovinylierung (1)
- Hysterese (1)
- IMRT planning (1)
- IP Address (1)
- IP Traffic Accounting (1)
- ITC (1)
- Identifiability (1)
- In vitro (1)
- In vivo (1)
- Indirubin (1)
- Informationslogistik (1)
- Infrarotspektroskopie (1)
- Injectivity of mappings (1)
- Injektivität von Abbildungen (1)
- Innenstadt (1)
- Instrument (1)
- Integer programming (1)
- Intel XScale (1)
- Interfaces (1)
- Internationale Diversifikation (1)
- Inverses Problem (1)
- Isabelle/HOL (1)
- Isopropylacrylamid Natriummethacrylat N-Vinyl-2-pyrrolidon (1)
- Jiang's constitutive model (1)
- Jiangsches konstitutives Gesetz (1)
- Kategorientheorie (1)
- Keramik <T (1)
- Kinetik (1)
- Knapsack (1)
- Kombinatorische Optimierung (1)
- Komplexitätsklasse NP (1)
- Kopolymere (1)
- Kristallisation (1)
- Kultivierung (1)
- Kurve (1)
- Lagerung (1)
- Leberepithelzelle (1)
- Legendre Wavelets (1)
- Liberalisierung (1)
- Lineare Integralgleichung (1)
- Liquid-liquid-equilibrium (1)
- Literaturempirie (1)
- Locally Supported Zonal Kernels (1)
- Location Theory (1)
- Logistik (1)
- Lysozyme (1)
- MIMO (1)
- Machine Scheduling (1)
- Mapping (1)
- Marine Biotechnologie (1)
- Markov Chain (1)
- Maximum-Likelihood (1)
- Mehrdimensionale Spline-Funktion (1)
- Membranprotein (1)
- Messtechnik (1)
- Meter (1)
- Mindesthaltbarkeitsdatum (1)
- Minimal spannender Baum (1)
- Mischwasserbehandlung (1)
- Mixed Reality (1)
- Mobilfunk (1)
- Model Checking (1)
- Modeling (1)
- Modellgetriebene Entwicklung (1)
- Modularisierung (1)
- Molekularstrahl (1)
- Monomer (1)
- Multigenanalyse (1)
- Multipoint flux approximation (1)
- Multiscale problem (1)
- Multiscale problems (1)
- N (1)
- N-Nitroso-verbindungen (1)
- N-isopropyl acrylamide (1)
- N-tridentate Liganden (1)
- NMR und ITC (1)
- NP (1)
- NP-hard (1)
- Natriumsulfat (1)
- Naturfasern (1)
- Naturstoffverteilung (1)
- Navier-Stokes-Brinkmann system of equations (1)
- Nematode (1)
- Nephrotoxizit (1)
- Network design (1)
- Netzbasierte Automatisierungssysteme (NAS) (1)
- Neural networks (1)
- Nichtlineare Mechanik (1)
- Nichtlineare/große Verformungen (1)
- Nitrone (1)
- Nitrones (1)
- Non-homogeneous Poisson Process (1)
- Nonlinear/large deformations (1)
- Nonparametric AR-ARCH (1)
- Nvidia (1)
- OFDM (1)
- Optimale Portfolios (1)
- Optimierung (1)
- Optimization (1)
- Organoblech (1)
- Ornstein-Uhlenbeck Process (1)
- Ovoid (1)
- Oxidation (1)
- PPARgamma (1)
- PTA (1)
- Parameter identification (1)
- Parameteridentifikation (1)
- Pathogenabwehr (1)
- Peng-Robinson-EoS (1)
- Peptide (1)
- Phylogenie (1)
- Phylogeographie (1)
- Plastizität (1)
- Poly( vinyl pyrrolidone) (1)
- Polyme (1)
- Polymere (1)
- Polymerisation (1)
- Polyphenole (1)
- Polyvinylpyrrolidon (1)
- Portfoliomanagement (1)
- Position Sensitive Device (1)
- Price-Cap-Regulierung (1)
- Problemlösung (1)
- Produktionssystem (1)
- Propanole (1)
- Proteine (1)
- Pseudomonas syringae (1)
- Pumpe (1)
- Pyrazole (1)
- Pyrimidin (1)
- Quadratischer Raum (1)
- Quellung (1)
- Quellung in wässrigen Lösungen (1)
- Querkraft (1)
- Querkrafttragfähigkeit (1)
- Quorum Sensing (1)
- RFID (1)
- RNAi (1)
- RNS-Interferenz (1)
- RNS-Viren (1)
- Radial Basis Functions (1)
- Randwertproblem (1)
- Ratenunabhängigkeit (1)
- Ray casting (1)
- Reaktionskinetik (1)
- Regenwasserbehandlung (1)
- Regulierung (1)
- Reibung (1)
- Reliability Prediction (1)
- Repeated-Batch (1)
- Reservierungsprotokoll (1)
- Resistenz (1)
- Retentionsbodenfilter (1)
- Robot Calibration (1)
- Robotics (1)
- Robotik (1)
- Rogue AP (1)
- Rotational Fiber Spinning (1)
- Rote Traube (1)
- Routing (1)
- Rust effector (1)
- Ruthenium (1)
- SDL (1)
- SDZ IMM125 (1)
- Salzlösung (1)
- Schlauchflechten (1)
- Schnittstelle (1)
- Schwarze Johannisbeere (1)
- Schädigung (1)
- Seismische Tomographie (1)
- Sekundärstruktur (1)
- Sensoren (1)
- Sensorik (1)
- Sepsis (1)
- Serre functor (1)
- Siliciumcarbid (1)
- Simplex-Algorithmus (1)
- Simulationsdaten (1)
- Slender body theory (1)
- Smart Production (1)
- Sobolevräume (1)
- Sodium methacrylate (1)
- Software (1)
- Software Engineering (1)
- Softwareentwicklung (1)
- Softwarespezifikation (1)
- Spezifikation (1)
- Spherical Fast Wavelet Transform (1)
- Spherical Wavelets (1)
- Sphärische Approximation (1)
- Spin trapping (1)
- Spline-Interpolation (1)
- Sprachdefinition (1)
- Sprachprofile (1)
- Sprung-Diffusions-Prozesse (1)
- Stadtentwicklung (1)
- Stadtplanung (1)
- Stahlbetonbau (1)
- Stegöffnung (1)
- Stereovision (1)
- Stilbenderivate (1)
- Stilbene derivatives (1)
- Stochastic Differential Equations (1)
- Stochastische Zinsen (1)
- Stochastische dynamische Optimierung (1)
- Stochastischer Automat (1)
- Stop- und Spieloperator (1)
- Streptomyces (1)
- Sulfonaterkennung (1)
- Supply Chain Management (1)
- Supramolekulare Chemie (1)
- Swelling equilibrium in aqueous solution (1)
- System Abstractions (1)
- T cells (1)
- T-Zellen (1)
- Technische Mechanik (1)
- Thermoformen (1)
- Thermomechanische Behandlung (1)
- Thiazolidindione (1)
- Time-Space Multiresolution Analysis (1)
- Toxikologie (1)
- Tragfähigkeit (1)
- Transaktionskosten (1)
- Transferred proteins (1)
- Translation Validation (1)
- Tribologie (1)
- Tryptophan-Halogenasen (1)
- Trägerbohlwand (1)
- Two-Phase System (1)
- UrbanSim (1)
- User Model (1)
- Variationsungleichungen (1)
- Vasicek model (1)
- Vectorfield approximation (1)
- Vektorfeldapproximation (1)
- Verbundträger (1)
- Verbundwerkstoffe (1)
- Verschleißprüfung (1)
- Vinyl-2-pyrrolidon (1)
- Virusübertragung (1)
- Viscous Fibers (1)
- Viskoelastizität (1)
- Volatilität (1)
- Völklingen (1)
- Wasserstoff-ATPase (1)
- Wave Based Method (1)
- Weibull (1)
- Weinrebe (1)
- Wireless Networks (1)
- Wissensarten (1)
- Wohnen (1)
- Wurzelreaktion (1)
- Wärmeleitung (1)
- Wässrige Lösung (1)
- Xiphinema index (1)
- Zugriffskonflikte (1)
- Zweiphasensysteme (1)
- a-priori domain decomposition (1)
- access conflict (1)
- adjacency relations (1)
- affine arithmetic (1)
- aktive Netzbetreiber (1)
- algebraic cryptoanalysis (1)
- algorithm (1)
- algorithm by Bortfeld and Boyer (1)
- alpha (1)
- anion recognition (1)
- anionic receptors (1)
- anisotropic plasticity (1)
- anthocyanins (1)
- apoptosis (1)
- beta-ungesättigte Carbonylverbindungen (1)
- big triangle small triangle method (1)
- binarization (1)
- biochemical characterisation (1)
- biomechanics (1)
- bocses (1)
- boundary value problem (1)
- bounds (1)
- cake filtration (1)
- chemically crosslinked hydrogels (1)
- chemisch vernetzte Hydrogele (1)
- colour stability (1)
- combinatorial optimization (1)
- compiler (1)
- composite beam (1)
- computer graphics (1)
- conditional quantile (1)
- configurational mechanics (1)
- consistency (1)
- convergence (1)
- convex (1)
- convex optimization (1)
- curved viscous fibers with surface tension (1)
- curves and surfaces (1)
- cut (1)
- cut basis problem (1)
- data structure (1)
- data-adaptive bandwidth choice (1)
- decomposition (1)
- defect detection (1)
- deflections of the vertical (1)
- degenerations of an elliptic curve (1)
- density gradient equation (1)
- discontinuous coefficients (1)
- discriminant analysis (1)
- domain decomposition (1)
- elastoplasticity (1)
- electroporation (1)
- elliptic equation (1)
- energy consumption (1)
- esterases (1)
- experiment (1)
- fibrous insulation materials (1)
- filter media resistance (1)
- filtration (1)
- finite deformations (1)
- finite elements (1)
- finite-volume method (1)
- flow visualization (1)
- fluid structure (1)
- fluorescence (1)
- formal verification (1)
- framework (1)
- free boundary value problem (1)
- functional Hilbert space (1)
- fundamental cut (1)
- gene silencing (1)
- genetic algorithms (1)
- global optimization (1)
- graph and network algorithm (1)
- growth and remodelling (1)
- hPRT-Genmutations-Assay (1)
- halogenases (1)
- heterogeneous porous media (1)
- high-pressure vapour-liquid-liquid equilibria (1)
- hydrodynamische Injektion (1)
- hyperbolic systems (1)
- hysteresis (1)
- image analysis (1)
- image denoising (1)
- image processing (1)
- image segmentation (1)
- infrared spectroscopy (1)
- integer programming (1)
- intensity maps (1)
- intensity modulated radiotherapy planning (1)
- interactive multi-objective optimization (1)
- interface problem (1)
- interference resistance (1)
- interval arithmetic (1)
- inverse problem (1)
- inverse problems (1)
- iterative bandwidth choice (1)
- kernel estimate (1)
- kernel function (1)
- knapsack (1)
- language definition (1)
- language profiles (1)
- lattice Boltzmann (1)
- lichens (1)
- lipases (1)
- liquid-liquid-extraction of natural products (1)
- local approximation of sea surface topography (1)
- local bandwidths (1)
- local multiscale (1)
- localization (1)
- locally supported (Green's) vector wavelets (1)
- locally supported (Green’s) vector wavelets (1)
- lokalisierende Basis (1)
- loss of information (1)
- marine biotechnology (1)
- matrix problems (1)
- measurement (1)
- metal foams (1)
- minimal spanning tree (1)
- minimum cost flows (1)
- minimum fundamental cut basis (1)
- model (1)
- modularisation (1)
- molecular beam (1)
- multi-gene analysis (1)
- multicategory (1)
- multidimensional datasets (1)
- multigrid (1)
- multigrid method (1)
- multinomial regression (1)
- multiplicative decomposition (1)
- multiplikative Zerlegung (1)
- multiscale problem (1)
- nahekritischer Zustandsbereich (1)
- naturfaserverstärkte Kunststoffe (1)
- near-critical ethene+water+propanol (1)
- network flows (1)
- neural network (1)
- non-linear optimization (1)
- non-overlapping constraints (1)
- nonlinear diffusion filtering (1)
- nonlinear finite element method (1)
- numerics (1)
- numerische Mechanik (1)
- ordered median (1)
- oscillating coefficients (1)
- paper machine (1)
- penalization (1)
- peptide (1)
- permeability of fractured porous media (1)
- phase equilibria (1)
- phylogeny (1)
- phylogeography (1)
- planar location (1)
- polyhedral analysis (1)
- polyphenols (1)
- poroelasticity (1)
- porous media (1)
- precipitation (1)
- preconditioner (1)
- probabilistic timed automata (1)
- protein (1)
- qualitative threshold model (1)
- quorum sensing (1)
- rate-independency (1)
- ray casting (1)
- ray tracing (1)
- rectangular packing (1)
- reinforced thermoplastics (1)
- repeated batch cultivation (1)
- reproducing kernel (1)
- retention soil filter (1)
- root-reactions (1)
- salt (1)
- satisfiability (1)
- secondary structure (1)
- seismic tomography (1)
- sensors (1)
- sepsis (1)
- sequences (1)
- shear bearing capacity (1)
- siRNA (1)
- sieve estimate (1)
- simplex algorithm (1)
- smoothing (1)
- smoothness (1)
- sodium sulfate (1)
- spherical approximation (1)
- spin trapping (1)
- splines (1)
- stop- and play-operator (1)
- storage (1)
- sulfonate recognition (1)
- supramolecular chemistry (1)
- textile quality control (1)
- texture classification (1)
- theorem prover (1)
- theory of materials (1)
- thiazolidinediones (1)
- time of flight mass spectrometry (1)
- time series (1)
- time-varying flow fields (1)
- topological asymptotic expansion (1)
- topological incongruence (1)
- topologische Inkongruenz (1)
- transfection (1)
- translation validation (1)
- transportation (1)
- two-grid algorithm (1)
- uncapacitated facility location (1)
- unstructured grid (1)
- urban planning (1)
- variational inequalities (1)
- vector bundles (1)
- vector field visualization (1)
- virus-transmission (1)
- viscoelasticity (1)
- visualization (1)
- water (1)
- web opening (1)
- wild bootstrap test (1)
- zeitabhängige Strömungen (1)
- zoledronic acid (1)
Faculty / Organisational entity
- Kaiserslautern - Fachbereich Mathematik (34)
- Fraunhofer (ITWM) (28)
- Kaiserslautern - Fachbereich Maschinenbau und Verfahrenstechnik (20)
- Kaiserslautern - Fachbereich Informatik (19)
- Kaiserslautern - Fachbereich Sozialwissenschaften (10)
- Kaiserslautern - Fachbereich Chemie (9)
- Kaiserslautern - Fachbereich ARUBI (6)
- Kaiserslautern - Fachbereich Biologie (6)
- Kaiserslautern - Fachbereich Elektrotechnik und Informationstechnik (5)
- Kaiserslautern - Fachbereich Wirtschaftswissenschaften (5)
The main goal of this work is to examine various aspects of `inelastic continuum mechanics': first, fundamental aspects of a general finite deformation theory based on a multiplicative decomposition of the deformation gradient with special emphasis on the incompatibility of the so-called intermediate configuration are discussed in detail. Moreover, various balance of linear momentum representations together with the corresponding volume forces are derived in a configurational mechanics context. Subsequent chapters are consequently based on these elaborations so that the applied multiplicative decomposition generally serves as a fundamental modelling concept in this work; after generalised strain measures are introduced, a kinematic hardening model coupled with anisotropic damage, a substructure evolution framework as well as two different growth and remodelling formulations for biological tissues are presented.
Modelling languages are important in the process of software development. The suitability of a modelling language for a project depends on its applicability to the target domain. Here, domain-specific languages have an advantage over more general modelling languages. On the other hand, modelling languages like the Unified Modeling Language can be used in a wide range of domains, which supports the reuse of development knowledge between projects. This thesis treats the syntactical and semantical harmonisation of modelling languages and their combined use, and the handling of complexity of modelling languages by providing language subsets - called language profiles - with tailor-made formal semantics definitions, generated by a profile tool. We focus on the widely-used modelling languages SDL and UML, and formal semantics definitions specified using Abstract State Machines.
In this article, we present an analytic solution for Jiang's constitutive model of elastoplasticity. It is considered in its stress controlled form for proportional stress loading under the assumptions that the one-to-one coupling of the yield surface radius and the memory surface radius is switched off, that the transient hardening is neglected and that the ratchetting exponents are constant.
Wässrige Lösungen sowohl neutraler als auch ionischer Polymerer gewinnen ein zunehmendes Interesse in vielen Bereichen. Für den Einsatz solcher Systeme muss deren Phasenverhalten bekannt sein. Die vorliegende Arbeit liefert einen Beitrag zum Phasengleichgewicht solcher Systeme. Als Bausteine der Polymere werden dabei sowohl die neutrale organischen Komponente Vinylpyrrolidon (VP) als auch ein ionisches Monomer auf Basis von Imidazolium (3-Methyl-1-vinyl-1H-Imidazoliummethylsulfat - QVI), als niedrigmolekularer Elektrolyt ausschließlich Natriumsulfat verwendet. Die vorliegende Arbeit hat zum Ziel, das Phasenverhalten einer Reihe technisch interessierender Systeme in experimentellen Untersuchungen bei 25 und 65°C zu bestimmen und damit eine Datenbasis für theoretische Arbeiten zu liefern, die im Anschluss an diese Untersuchungen im Zusammenhang mit der Entwicklung von Modellen zur Korrelation bzw. Vorhersage solcher Phasengleichgewichte vorgesehen sind. Die Grenze zwischen einem einphasigen, flüssigen Bereich und Zwei- bzw. Drei-Phasen-Gebieten wurde durch visuelle Bestimmung der Trübung bei der Titration einer wässrigen Lösung (entweder des Polymeren oder des Salzes) bestimmt. Die Zusammensetzung der koexistierenden Phasen wurde in Phasengleichgewichtsexperimenten bestimmt, bei denen Proben der koexistierenden Phasen analysiert wurden. Dazu wurden mehrere Analysenmethoden entwickelt/erprobt (z. B. die Gefriertrocknung, die thermische (gravimetrische) Analyse, die Gaschromatographie und die Ionenchromatographie). Insgesamt wurden für 42 Systeme der Verlauf der Trübungskurve und für 34 Systeme das Phasengleichgewicht bestimmt. Dabei handelte es sich überwiegend um ternäre Systeme aus einem Polymeren (auf Basis von VP und/bzw. QVI), Natriumsulfat und Wasser, teilweise auch um quaternäre Systeme aus den zuvor erwähnten Komponenten und einem der Monomeren (VP bzw. QVI). Dabei zeigte die Mehrzahl der untersuchten Systeme eine flüssig-flüssig Entmischung, teilweise jedoch auch nur die häufiger anzutreffenden Fest-Flüssig-Phasengleichgewichte (z.B. Ausfall eines Salzes als Feststoff). Die experimentellen Untersuchungen wurden insbesondere bei hohen Polymerkonzentrationen durch die Zähigkeit der wässrigen Lösungen erschwert. Neben den Untersuchungen zum Phasengleichgewicht in ternären und quaternären Systemen wurden im Hinblick auf die in weiterführenden Arbeiten geplanten Modellierungsarbeiten auch experimentelle Untersuchungen an binären Subsystemen durchgeführt. Dabei handelte es sich ausschließlich um sogenannte isopiestische Messungen an wässrigen Lösungen der Polymere bzw. der Monomere. In solchen Untersuchungen wird der Einfluss der Wechselwirkungen zwischen den Molekülen eines in Wasser gelösten Stoffes auf den Dampfdruck der Lösung bestimmt. Der dabei quantitativ bestimmte Einfluss von Art und Menge des Polymeren auf den Dampfdrucks des Lösungsmittels soll in weiterführenden Arbeiten zur Bestimmung von Parametern thermodynamischer Modelle zur Beschreibung der Gibbsschen Exzessenergie wässriger Polymerlösungen verwendet werden. Die Ergebnisse der experimentellen Untersuchungen zum Flüssig-Flüssig bzw. Fest-Flüssig-Phasengleichgewicht lassen sich folgendermaßen charakterisieren: In fast allen Systemen mit Polymeren auf Basis von Vinylpyrrolidon wurden Flüssig-Flüssig-Gleichgewichte mit einer salzreichen, nahezu polymerfreien wässrigen Phase und einer polymerreichen wässrigen auch salzhaltigen flüssigen Phase gefunden. D. h. in einem Gibbsschen Dreiecksdiagramm, in dem die Zusammensetzung einer ternären Mischung (mit Hilfe des Konzentrationsmaßes „Massenanteil“ ausgedrückt) durch einen Punkt dargestellt wird zeigt die Phasengrenze zwischen dem einphasigen und dem mehrphasigen Gebiet eine starke Asymmetrie. Der Wassergehalt der polymerreichen Phase ist dabei häufig deutlich geringer als der Wassergehalt der salzreichen Phase. In Systemen mit (Natriumsulfat und) Polymeren auf Basis des Imidazoliumsalzes QVI wurden dagegen überwiegend Fest-Flüssig-Gleichgewichte beobachtet. Es zeigte sich, dass die Molmasse der verwendeten Polymere nur einen vergleichsweise geringen Einfluss auf die Ausdehnung des einphasigen flüssigen Gebietes hat. I. d. R. nimmt mit steigender Molmasse die Ausdehnung der Mischungslücke zu. Auch der Temperatureinfluss auf die beobachteten Phasengleichgewichte ist relativ gering. Dies war im Fall der Polymere auf Basis von Vinylpyrrolidon aus früheren Untersuchungen an wässrigen, salzfreien Lösungen dieser Polymere zu erwarten. Wie schon erwähnt, sind die Ergebnisse der vorliegenden Arbeit im Zusammenhang mit dem Einsatz solcher polymer- und salzhaltigen Systeme in verschiedenen Bereichen von Interesse. Sie bilden aber auch die Datenbasis für anstehende theoretische Arbeiten, die sich mit der Entwicklung thermodynamischer Modelle zur Beschreibung von Phasengleich- gewichten salz- und polymerhaltiger, wässriger Systeme beschäftigen werden.
In the theoretical part of this thesis, the difference of the solutions of the elastic and the elastoplastic boundary value problem is analysed, both for linear kinematic and combined linear kinematic and isotropic hardening material. We consider both models in their quasistatic, rate-independent formulation with linearised geometry. The main result of the thesis is, that the differences of the physical obervables (the stresses, strains and displacements) can be expressed as composition of some linear operators and play operators with respect to the exterior forces. Explicit homotopies between both solutions are presented. The main analytical devices are Lipschitz estimates for the stop and the play operator. We present some generalisations of the standard estimates. They allow different input functions, different initial memories and different scalar products. Thereby, the underlying time involving function spaces are the Sobolov spaces of first order with arbitrary integrability exponent between one and infinity. The main results can easily be generalised for the class of continuous functions with bounded total variation. In the practical part of this work, a method to correct the elastic stress tensor over a long time interval at some chosen points of the body is presented and analysed. In contrast to widespread uniaxial corrections (Neuber or ESED), our method takes multiaxiality phenomena like cyclic hardening/softening, ratchetting and non-masing behaviour into account using Jiang's model of elastoplasticity. It can be easily adapted to other constitutive elastoplastic material laws. The theory for our correction model is developped for linear kinematic hardening material, for which error estimated are derived. Our numerical algorithm is very fast and designed for the case that the elastic stress is piecewise linear. The results for the stresses can be significantly improved with Seeger's empirical strain constraint. For the improved model, a simple predictor-correcor algorithm for smooth input loading is established.
Aufgrund ihrer Besonderheiten und Merkmalen ist die Innenstadt als wichtigster Stadtteil einer Stadt zu charakterisieren. Aufgrund der Zerstörungen durch den Zweiten Weltkrieg und den anschließenden Entwicklungen hat die Innenstadt an urbaner Qualität eingebüßt. Dies ist unter anderem darin begründet, dass eine Verdrängung der Wohnfunktion aus der Innenstadt an den Stadtrand oder ins Umland stattfindet. Die Stärkung der Wohnfunktion ist eine Grundvoraussetzung zur Wiedergewinnung urbaner Qualitäten und zur nachhaltigen Revitalisierung und Stabilisierung der Innenstadt. Das Wohnen an sich ist ein multidimensionales Phänomen mit vielfältigen Wirkungsgefügen und Verflechtungen. Zur Ableitung von Konzepten und Handlungsmaßnahmen sind die Wohnbedürfnisse der Bevölkerung durch verschiedene Klassifizierungen zu erheben und mit den so genannten Megatrends -allen voran der demografischen Entwicklung- und den spezifischen Kommunalsituationen zu überlagern. An diesem Prozess ist mit steigender Tendenz eine Vielzahl von öffentlichen und privaten Akteuren beteiligt. Gängige Darstellungsmethoden der Stadtplanung sind nur bedingt geeignet, die komplexen Wirkungsgefüge sowie die Ein- auf und Auswirkungen von Vorhaben als Informationen transparent und nachvollziehbar abzubilden. Der Einsatz von Mixed Reality-Techniken und von immersiven Szenarien zur Unterstützung von Entscheidungssituationen in stadtplanerischen Aufgabenfeldern ist als qualifizierend für diese einzustufen. Durch Mixed Reality-Techniken, die reale Gegebenheiten und virtuelle Objekte gleichzeitig überlagert abbilden, ist es im Sinne einer Ergebnisvisualisierung möglich, sowohl Handlungsbedarfe in der Bestandssituation zu identifizieren als auch die visuellen Ein- und Auswirkungen von Vorhaben originalmaßstäblich und dreidimensional zu simulieren. Darüber hinaus können auch originär nicht visuell wahrnehmbare Informationen visuell abgebildet werden. Neben den technischen Ausstattungen ist hierfür ein virtueller, generischer Datenschatten notwendig, der ein digitales Abbild der Realität und der geplanten Vorhaben darstellt. Der bislang theoretische Ansatz der immersiven Szenarien ist der nächste Schritt im Bereich der computergestützten Daten- und Informationsvisualisierung beziehungsweise -darstellung. Über die Ergebnisvisualisierung hinaus sind immersionserzeugende Systeme in der Lage, einen Benutzer in eine Situationsdarstellung zu versetzen, in der er nicht mehr zwischen realen und virtuellen Objekten unterscheiden kann. Zugleich bedeutet dies, dass er mit allen virtuellen Objekten intuitiv interagieren kann. Der Benutzer wird dadurch Teil des Szenarios. Seine Aktionen wirken sich wahrnehmbar rekursiv auf das Szenario aus. Sowohl Mixed Reality-Techniken als auch immersive Szenarien können für Entscheidungssituationen im Bereich des thematisierten Wirkungsgefüge ‚innerstädtisches Wohnen’ die Entscheidungsgrundlagen auf den Betrachtungsebenen Wohnstandort, Wohnanlage und Wohnung für alle beteiligten Akteure qualifizieren. Sie sind geeignet, um Handlungserfordernisse transparent und nachvollziehbar abzubilden sowie die visuell wahrnehmbaren und originär nicht visuell wahrnehmbaren Konsequenzen von Wohnbauvorhaben abzuschätzen. Anhand des innerstädtischen Projektes „Glockencarré Kaiserslautern“ wurden hierzu die Möglichkeiten der Augmented Reality-Technik (als eine Ausprägung der Mixed Reality-Techniken) aufgezeigt und die Einsatzmöglichkeiten für unterschiedliche Akteursgruppen charakterisiert.
We derive some asymptotics for a new approach to curve estimation proposed by Mr'{a}zek et al. cite{MWB06} which combines localization and regularization. This methodology has been considered as the basis of a unified framework covering various different smoothing methods in the analogous two-dimensional problem of image denoising. As a first step for understanding this approach theoretically, we restrict our discussion here to the least-squares distance where we have explicit formulas for the function estimates and where we can derive a rather complete asymptotic theory from known results for the Priestley-Chao curve estimate. In this paper, we consider only the case where the bias dominates the mean-square error. Other situations are dealt with in subsequent papers.
Die vorliegende Arbeit hat zum Ziel, Methoden zur Beschreibung der Quellung von (nichtionischen und ionischen) Hydrogelen in wässrigen Lösungen zu entwickeln und zu erproben. Die Modelle setzen sich aus einem Beitrag, der die Gibbssche Energie von Flüssigkeiten beschreibt und aus einem Beitrag für die Helmholtz-Energie des Netzwerks zusammen. Die Beschreibung der elastischen Eigenschaften des Netzwerks beruht auf der Phantom-Netzwerk-Theorie. Die Gibbssche Exzessenergie der Flüssigkeiten wurde mit verschiedenen Modellen, abhängig vom Typ der untersuchten Systeme (wässrig/salzhaltige Lösung oder wässrig/organische Lösung), beschrieben. Bei der Modellierung wurden der Einfluss der Zusammensetzung des Netzwerks (z.B. Konzentration von Vernetzer und/bzw. von ionischem Komonomeren) und der Einfluss der Zugabe von weiteren Komponenten in der das Gel umgebenden wässrigen Lösung auf den Quellungsgrad behandelt. Als weitere Komponenten wurden einerseits anorganische Salze (Natriumchlorid,Dinatriumhydrogenphosphat) und andererseits organische Lösungsmittel (Ethanol, Aceton, Essigsäure, 1-Butanol,Methylisobutylketon) behandelt. Zur Modellierung des Quellverhaltens von nichtionischen IPAAm-Gelen in NaCl bzw. Na2HPO4-haltigen Lösungen wurde das VERS-Modell in Kombination mit der Phanom-Netzwerk-Theorie verwendet. Bei der Erweiterung dieser Modelle auf ionische Gele wurde eine gute Beschreibung nur dann erzielt, wenn sowohl das Dissoziationsgleichgewicht des ionischen Komonomeren Natriummethacrylat als auch eine Korrektur im Phantom-Netzwerk-Modell berücksichtigt wurden. Wenn beide Korrekturen allein aus wenigen experimentellen Daten für die Quellung ionischer Gele in wässrigen Lösungen von NaCl bestimmt wurden, gelingen nicht nur eine gute Korrelation für den Quellungsgrad, sondern auch zuverlässige Vorhersagen (sowohl Erweiterung auf andere (IPAAm/NaMA)Gele als auch bei Verwendung von Na2HPO4 anstelle von NaCl). Die Modellierung der Einflüsse der untersuchten Salze (NaCl bzw. Na2HPO4) auf das Quellverhalten sowohl nichtionischer VP-Gele als auch ionischer (VP/NaMA)Gele erfolgt auch in Kombination des VERS-Modells mit der Phanom-Netzwerk-Theorie. Die vorgeschlagene Methode liefert sowohl für nichtionische VP-Gele als auch für ionische (VP/NaMA)Gele in wässrigen salzhaltigen Lösungen eine gute Übereinstimmung zwischen Experiment und Rechnung. Die Quellungsgleichgewichte nichtionischer IPAAm-Gele in Mischungen aus Wasser und einem organischen Lösungsmittel (Ethanol, Aceton, Essigsäure, Butanol, Methylisobutylketon) lassen sich mit Hilfe der Kombination aus dem UNIQUAC-Modell und einem Free-Volume-Beitrag mit der Phantom-Netwerk-Theorie beschreiben. Bei der Erweiterung des Modells auf ionische (IPAAm/NaMA)Gele wurde der Einfluss der Konzentration des organischen Lösungsmittels auf die Dissoziationskonstante von Natriummethacrylat berücksichtigt. Ähnlich zur Modellierung der Quellung im System (IPAAm/NaMA)Gel-Wasser-Salz wurden die Abweichungen von der Phantom-Netzwerk-Theorie mit Hilfe eines empirischen Faktors betrachtet. Mit diesen Modellvorstellungen gelingt sowohl eine gute Korrelation als auch zuverlässige Vorhersage des Quellungsgrades von ionischen Gelen in wässrig/organischen Lösungen. Bei den theoretischen Studien zur Quellung von Gelen auf Basis von Vinylpyrrolidon in wässrig/organischen Lösungsmittelgemischen erwies sich, dass eine Kombination aus dem UNIQUAC-Modell (jedoch ohne kombinatorischen Beitrag) und der Phantom-Netzwerk-Theorie die besten Ergebnisse bei der Beschreibung des Quellverhaltens der nichtionischen VP-Gele liefert. Bei der Erweiterung des Modells auf ionische (VP/NaMA)Gele wurde eine Abhängigkeit des Dissoziationsgrades von Natriummethacrylat von der Ethanol-, bzw. der Acetonkonzentration berücksichtigt.
The present work deals with the (global and local) modeling of the windfield on the real topography of Rheinland-Pfalz. Thereby the focus is on the construction of a vectorial windfield from low, irregularly distributed data given on a topographical surface. The developed spline procedure works by means of vectorial (homogeneous, harmonic) polynomials (outer harmonics) which control the oscillation behaviour of the spline interpoland. In the process the characteristic of the spline curvature which defines the energy norm is assumed to be on a sphere inside the Earth interior and not on the Earth’s surface. The numerical advantage of this method arises from the maximum-minimum principle for harmonic functions.
Die vorliegende Arbeit befasst sich mit Anionenrezeptoren aus einfach und zweifach verbrückten Bis(cyclopeptiden). Die Cyclohexapeptiduntereinheiten bestehen dabei aus einer alternierenden Sequenz aus L-Prolin und 6-Aminopicolinsäure. Im ersten Teil dieser Arbeit wurden eine Reihe neuer einfach verbrückter Bis(cyclopeptide) synthetisiert und mit dem bis jetzt einzigen bekannten verbrückten Bis(cyclopeptid) dieser Art verglichen. Bei diesen Untersuchungen konnte gezeigt werden, dass die neu dargestellten Bis(cyclopeptide) anorganische Anionen auf die gleiche Art wie das bereits bekannte binden. Dabei wird das Anion kooperativ durch die Cyclopeptiduntereinheiten über sechs Wasserstoffbrücken koordiniert. Mittels isothermer Titrationskalorimetrie (ITC) wurden die thermodynamischen Parameter der Komplexbildung der Anionen mit den Bis(cyclopeptiden) bestimmt. Es stellte sich heraus, dass die Linkerstruktur einen großen Einfluss auf die thermodynamischen Parameter der Komplexbildung besitzt, wenn auch die resultierenden Bindungskonstanten der Rezeptoren für ein Anion in einer ähnlichen Größenordung liegen. Mit einem log Ka von etwa 6,0 konnte in dieser Untersuchung einer der besten neutralen Sulfatrezeptoren in wässrigen Lösungsmitteln identifiziert werden. Im zweiten Teil dieser Arbeit wurde eine Strategie erarbeitet, die den Zugang zu zweifach verbrückten Bis(cyclopeptiden) ermöglicht. Dabei wurde die dynamische kovalente Chemie (DCC) bei der Synthese verwendet. Als reversible Reaktion wurde der Disulfidaustausch eingesetzt. Bei der Synthese wurde ein entsprechend dithiofunktionalisiertes Bis(cyclopeptid) in Anwesenheit verschiedener Dithiole als Linker und eines Templats umgesetzt. Dabei bildete sich die thermodynamisch stabilste Bis(cyclopeptid)-Linker Struktur aus. Es konnten im Laufe dieser Untersuchungen bereits erste Strukturen identifiziert werden, die selektiv für Anionen der Größe und Geometrie von Sulfat und Iodid waren. Dabei wurden nur Bis(cyclopeptide) gebildet, die einen Linker pro Brücke besaßen und es kam nicht zum Einbau verschiedener Linker in ein Bis(cyclopeptid). Im letzten Teil dieser Arbeit wurde überprüft, ob die Entwicklung eines Sensors auf Basis von einfach verbrückten Bis(cycloeptiden) möglich ist. Es konnte gezeigt werden, dass der Einsatz von Bis(cyclopeptiden) als Ionophore in ionenselektiven Elektroden (ISEs) kein viel versprechender Weg zur Erzeugung eines Sensors ist. Durch die Einführung eines fluoreszenzaktiven Linker konnte aber Bis(cyclopeptid) synthetisiert werden, dass in wässrigen Lösungen einen hochselektiven Fluoreszenzsensor für Sulfat darstellt. Dabei kommt es in Anwesenheit von Sulfat, selbst in Anwesenheit von 100 Äquivalenten Natriumchlorid, zu einer Löschung der Fluoreszenz. Keins der anderen acht untersuchten Anionen hatte einen ähnlichen Effekt auf das Fluoreszenzspektrum. Durch theoretische DFT Rechnungen konnte die Löschung der Fluoreszenz rationalisiert werden. Damit eröffnen sich erste praktische Anwendungen für die Bis(cyclopetide).
Annual Report 2006
(2007)
Annual Report, Jahrbuch AG Magnetismus
In this paper we consider a CHARME Model, a class of generalized mixture of nonlinear nonparametric AR-ARCH time series. We apply the theory of Markov models to derive asymptotic stability of this model. Indeed, the goal is to provide some sets of conditions under which our model is geometric ergodic and therefore satisfies some mixing conditions. This result can be considered as the basis toward an asymptotic theory for our model.
In der betriebswirtschaftlichen Literatur hat sich bisher keine einheitliche Controllingkon-zeption durchsetzen können. Deswegen ist auch weitestgehend unklar, welche Instrumente dem Controlling zugeordnet werden können, obwohl eine starke instrumentelle Prägung des Controllings zu beobachten ist. Dieser Beitrag versucht, mit Hilfe kognitionswissen-schaftlicher Erkenntnisse und auf Basis einer breiten Literaturanalyse eine konsistente Zuordnung der betriebswirtschaftlichen Instrumente auf die betrieblichen Funktionsberei-che vorzunehmen. Dabei werden sechs Instrumentengruppen identifiziert, die unterschied-liche Arten von Methoden- und Faktenwissen benötigen. Diese Gruppen können zu weiten Teilen eindeutig einzelnen Funktionsbereichen zugeordnet werden. Auf diese Weise kann für eine ganze Reihe von betriebswirtschaftlichen Instrumenten die Controllingrelevanz präzise herausgearbeitet werden.
Given an undirected connected network and a weight function finding a basis of the cut space with minimum sum of the cut weights is termed Minimum Cut Basis Problem. This problem can be solved, e.g., by the algorithm of Gomory and Hu [GH61]. If, however, fundamentality is required, i.e., the basis is induced by a spanning tree T in G, the problem becomes NP-hard. Theoretical and numerical results on that topic can be found in Bunke et al. [BHMM07] and in Bunke [Bun06]. In the following we present heuristics with complexity O(m log n) and O(mn), where n and m are the numbers of vertices and edges respectively, which obtain upper bounds on the aforementioned problem and in several cases outperform the heuristics of Schwahn [Sch05].
Die vorliegende Arbeit beschreibt die Synthese neuartiger, substituierter N,N,N-tridentater Liganden auf der Basis der Stammverbindungen 2,6-Di(pyrazol-3-yl)pyridin und 2,6-Di(pyrimidin-4-yl)pyridin. Die katalytische Aktivität von Dichloroeisen- und Dichlorocobaltkomplexen dieser Liganden in der Olefinpolymerisation wurde getestet. Einen weiteren Schwerpunkt stellte die Synthese von Rutheniumkomplexen auf der Basis dieser neuartigen Liganden und deren Anwendbarkeit in homogen katalysierten Oxidations- und Epoxidationsreaktionen sowie der Hydrovinylierungsreaktion dar. Die Möglichkeit den Liganden 2,6-Di(pyrazol-3-yl)pyridin leicht chemisch modifizieren zu können, wurde genutzt, um Eigenschaften (z. B. die Löslichkeit in organischen Lösungsmitteln) des Liganden und der sich ableitenden Komplexe zu beeinflussen. Zur regioselektiven N-Funktionalisierung der Pyrazolringe wurden nucleophile Substitutionsreaktionen genutzt. Dieser einfache Zugangsweg zu substituierten 2,6-Di(pyrazol-3-yl)pyridinen wurde ebenso dazu verwendet, um funktionelle Gruppen, die eine Substraterkennung über Wasserstoffbrückenbindungen und eine Komplexierung von Lewis-Säuren ermöglichen sollte, in die Peripherie dieser Liganden anzubinden.
Gegenstand der vorliegenden Arbeit waren Untersuchungen zum Hochdruck-Mehrphasengleichgewicht ternärer Systeme bestehend aus einem nahekritischen Gas, Wasser und einem bei Umgebungsbedingungen vollständig wasserlöslichen organischen Lösungsmittel. Das Aufpressen eines Gases nahe seiner kritischen Temperatur (nahekritisches Gas) auf eine einphasige wässrige Lösung kann – wie die Zugabe eines Salzes – zur Entmischung der Flüssigkeit in eine wasserreiche (hydrophile) sowie eine an organischem Lösungsmittel reiche (lipophile bzw. hydrophobe) Phase führen. Elgin und Weinstock (1959) nannten dieses Phänomen bezeichnenderweise „salting out with a supercritical gas“. In der vorliegenden Arbeit wurde dieser Vorschlag aufgegriffen und umgesetzt. Der Schwerpunkt lag auf der Untersuchung des Einflusses ionischer Komponenten, z. B. von Puffersystemen bzw. anorganischer Salze, sowohl auf das Phasengleichgewicht des ternären phasenbildenden Systems als auch auf die Verteilung überwiegend dissoziierbarer Naturstoffe auf die koexistierenden Hochdruck-Flüssigphasen. Die Experimente wurden mit einer in früheren Arbeiten (Wendland 1994, Adrian 1997, Freitag 2003) entwickelten Phasengleichgewichtsapparatur durchgeführt. Die beiden untersuchten ternären phasenbildenden Systeme waren das System Ethen + Wasser + Aceton und das System Ethan + Wasser + Aceton. Für beide Systeme wurde die Zusammensetzung der koexistierenden flüssigen Phasen L1 und L2 des Dreiphasengleichgewichts L1L2V über den gesamten Existenzbereich bei Temperaturen von 293, 313 und 333 K bestimmt. Ausserdem wurde der Verlauf beider kritischer Endpunktlinien für die beiden genannten und zusätzlich für die bereits von Freitag (2003) untersuchten Systeme Ethen + Wasser + 1- bzw. 2-Propanol über einen Temperaturbereich zwischen 278 und 353 K vermessen. Den Schwerpunkt der Untersuchungen bildeten Messungen zur Verteilung von Naturstoffen auf die koexistierenden flüssigen Phasen L1 und L2 des Dreiphasengleichgewicht L1L2V im pH-neutralen ternären System Ethen + Wasser + 2-Propanol. Zunächst wurde die Auswirkung der Zugabe von ionischen Komponenten auf die Lage der kritischen Endpunktlinien untersucht. Der erwartete, zusätzliche Aussalzeffekt bestätigte sich. Kernstück waren Verteilungsmessungen der sechs ausgewählten Wirkstoffe L-Histidin, Cimetidin, Aspirin®, 4-Dimethylaminoantipyrin, Sulfameter und Ciprofloxacin bei 293 und 333 K und bei mindestens zwei pH-Werten (insgesamt ca. 300 Messpunkte). Diese Erkenntnisse liefern neue Aspekte hinsichtlich der Entwicklung neuer, dieses spezielle Phasengleichgewichtsverhalten ausnutzende Hochdruckextraktionsverfahren zur Abtrennung organischer Wertstoffe aus wässrigen Lösungen. Gegenstand der theoretischen Untersuchungen war die Modellierung der Phasengleichgewichte der untersuchten ternären, phasenbildenden Systeme Ethen bzw. Ethan + Wasser + Aceton mit dem vorhandenen Programmpaket. Es verwendet die kubische Zustandgleichung von Peng und Robinson in der Modifikation von Melhem et al. (1989). In Anlehnung an die Untersuchungen von Freitag (2003) kamen die beiden Mischungsregeln von Panagiotopoulos und Reid (1986) sowie von Huron und Vidal (1979) zur Anwendung. Zunächst wurden die für den Programmablauf notwendigen binären Wechselwirkungsparameter an Messwerte für das Dampf-Flüssigkeits-Gleichgewicht der binären Randsysteme (aus der Literatur) angepasst. Da das Programm hierbei auf keine eigenen Messdaten, sondern lediglich auf Daten aus der Literatur zurückgreift, kann von einer Vorhersage gesprochen werden. Die Vorhersage der Phasengleichgewichte stimmt aber nur qualitativ mit den Messwerten überein, wobei das Phasenverhalten aber grundsätzlich richtig vorhergesagt wird. Eine zufriedenstellende quantitative Beschreibung der ternären Dreiphasengleichgewichte ist (wie schon von Adrian (1997) und Freitag (2003) gezeigt) nur mit Hilfe einer Korrelation möglich, bei der die binären Wechselwirkungsparameter durch Anpassung an die experimentell ermittelten ternären Phasengleichgewichtsdaten bestimmt werden. Ein Vorschlag für weiterführende Untersuchungen ist die Implementierung chemischer Reaktionen, wie sie bei dissoziierenden Spezies vorkommen, in das Programmpaket. Hiervon kann eine brauchbare Modellierung sowohl der Phasen- als auch der Verteilungsgleichgewichte gepufferter Systeme erwartet werden. Des weiteren bleibt die Notwendigkeit bestehen, für die entsprechenden binären Randsysteme möglichst zahlreiche und vor allem genaue Daten für einen grossen Temperatur- und Druckbereich zur Verfügung zu haben, um die Modellierung zu verbessern.
Der Bericht beinhaltet schwerpunktmäßig die Punkte "Informationstechnik und digitale Bibliotheksdienste", "Informationsportal Internet", Online-Fachdatenbanken", "Elektronische Hochschulschriften, Lernmaterialien und Zeitschriften", "Literatur- und Sachmittel", "Literaturerwerbung, Bestand, Bestanderschließung", "Benutzung", "Öffentlichkeitsarbeit/Ausstellungen" und "Personelle Änderungen" innerhalb der Universitätsbibliothek Kaiserslautern für das Jahr 2006.
Die enorme Nachfrage nach neuartigen Naturstoffen sowie Leitstrukturen für die (Teil-) Synthese pharmazeutischer Produkte verlangt ständig nach neuen Innovationen. Ein bedeutender Impuls ist dabei von der Marinen Biotechnologie zu erwarten, die seit einigen Jahren versucht, die sich bietenden medizinischen Potentiale auszuschöpfen. So können neuartige Wirkstoffe bzw. die für deren Produktion verantwortlichen Organismen und Enzyme isoliert und bereitgestellt werden. Häufig ist das Wachstum der Organismen jedoch stark limitiert sowie eine Produktion der Ziel-Metabolite nur unter bestimmten Bedingungen möglich, weshalb ein enormes Interesse an neuen Optimiermethoden zur Lösung des Problems besteht. Neuartige Lösungsansätze sollten daher im Rahmen dieser Arbeit verfolgt werden. Untersucht wurde eine „biochemische“ Wachstums- und Produktionsoptimierung mariner Bakterien durch einen Zusatz von Homoserinlactonen zum Kultivierungsmedium. Dabei konnte neben einem verbesserten Wachstum diverser Prokaryonten eine leichte Variation im Metabolitspektrum ermittelt sowie eine geringfügig erhöhte Produktion biologisch aktiver Substanzen detektiert werden. Soll das Wachstum von (marinen) Mikroorganismen optimiert werden, wird vom Anwender häufig eine unstrukturierte one-factor-at-a-time-Methode angewendet. Da diese in der Regel keine Beeinflussung der zu optimierenden variablen Parameter beachtet, wurden in dieser Arbeit alternativ rechnergestützte Optimierungen zur Umgehung dieses Problems durchgeführt. Zum Einsatz kam dabei eine Kombination aus einem Genetischen Algorithmus, welcher die Identifikation des globalen Optimums erlaubt und einem Simplex-Algorithmus, der zur Verfeinerung des bereits aufgefundenen Optimums dient. Hiermit konnte die Produktion einer marinen L-Serindehydratase im Rahmen einer Nährmediumsoptimierung um mehr als 50 % im Vergleich zum Referenzmedium gesteigert werden. Des Weiteren wurde ein im Polyketidscreening positiv aufgefallenes Bakterium (Halomonas marina) als Modellorganismus für ein neuartiges rechnergestütztes Verfahren eingesetzt, welches eine schnelle Identifizierung der Güte von Wachstumsparametern erlaubt und dabei eine repetitiv geführte Batch-Betriebsweise von Bioreaktoren nutzt. Ein weiterer Schwerpunkt dieser Arbeit ist die Charakterisierung einer rekombinant exprimierten Tryptophan-5-Halogenase. Hierbei konnte nach der Identifizierung des Aktivitätsoptimums hinsichtlich des einzustellenden pH-Werts sowie der Temperatur die Halbwertszeit des Enzyms bei verschiedenen Temperaturen bestimmt und mittels 2 D-Gelelektrophorese der pI-Wert des Enzyms erstmalig determiniert werden. Ein Fokus dieser Untersuchungen lag auf der Optimierung der Enzymkinetik. Dabei konnte insgesamt eine Verbesserung der Ausbeute um den Faktor 1,6 erzielt werden.
In der biotechnologischen Herstellung von Proteinen ist die Fällung mit Hilfe von Salzen (z. B. Ammoniumsulfat) ein unkompliziertes und verbreitetes Verfahren, wobei die biologischen Eigenschaften der Proteine (meistens) erhalten bleiben. Dieses Verfahren basiert auf dem sogenannten „Aussalzeffekt“. Obwohl das „Aussalzen“ von Proteinen seit langem bekannt ist, ist das Phasenverhalten in Systemen aus Proteinen, Salzen und Wasser weitgehend ungeklärt. Das Phasenverhalten eines proteinhaltigen Systems wird durch eine Vielzahl von Parametern, z. B. Art und Konzentration der Stoffe, Temperatur, pH-Wert und Ionenstärke, beeinflusst. Darüber hinaus können beim Ausfällen der Proteine sowohl stabile als auch metastabile Phasengleichgewichte auftreten. In der vorliegenden Arbeit wurden experimentelle Untersuchungen zum Phasenverhalten ternärer Systeme (Protein + Salz + Wasser) bei Umgebungstemperatur durchgeführt. Das Ausfällen von Lysozym, Bovin Serum Albumin, Ovalbumin und Trypsin mit Hilfe verschiedener Salze (Ammoniumsulfat, Natriumsulfat und teilweise der flüchtigen Salze Ammoniumcarbamat und Ammoniumbicarbonat) wurde untersucht. Die experimentellen Untersuchungen erfolgten einerseits durch Bestimmung der Trübungskurven und andererseits durch Bestimmung der Zusammensetzung der koexistierenden Phasen. Zusätzlich wurden mikroskopische Untersuchungen durchgeführt, um die Struktur der proteinreichen Phase (amorph, kristallin) aufzuklären. Die vorliegende Arbeit trägt zur Aufklärung der das Ausfällen von Proteinen verursachenden physikalisch-chemischen Effekte am Beispiel einiger Modellsysteme bei. Es wurde gezeigt, dass flüchtige Salze (d. h. die Salze auf Basis von Ammoniak und Kohlendioxid) erfolgreich für die Aufarbeitung der wässrigen Proteinlösungen eingesetzt werden können. Die Ergebnisse der experimentellen Untersuchungen sollen die Grundlage für eine in weiterführenden Arbeiten vorgesehene Modellierung solcher Phasengleichgewichte bilden.
Abstraction is intensively used in the verification of large, complex or infinite-state systems. With abstractions getting more complex it is often difficult to see whether they are valid. However, for using abstraction in model checking it has to be ensured that properties are preserved. In this paper, we use a translation validation approach to verify property preservation of system abstractions. We formulate a correctness criterion based on simulation between concrete and abstract system for a property to be verified. For each distinct run of the abstraction procedure the correctness is verified in the theorem prover Isabelle/HOL. This technique is applied in the verification of embedded adaptive systems. This paper is an extended version a previously published work.
Stadtentwicklungsplanung erfährt in Mittelstädten im Strukturwandel und Schrumpfungsprozess einen Bedeu-tungszuwachs. Die Renaissance einer umfassenderen integrierten Entwicklungsplanung durch die Programme „Soziale Stadt“ und „Stadtumbau-West“ führt dazu, dass ressortübergreifende Zusammenarbeit innerhalb der Kommunalverwaltung einer Steuerung durch die Stadtentwicklungsplanung bedarf. Die Aufgabe der Erstellung integrativer Konzepte, der Beobachtung von Entwicklungsprozessen, der Schaffung von Ämternetzwerken und besonderer Organisationsformen außerhalb der Hierarchie im Rahmen des Projektmanagements, die Aktivierung der Bürgerschaft und neue Formen der Zusammenarbeit mit wirtschaftlichen Akteuren erfordern eine stärkere Einbeziehung der Stadtentwicklungsplanung in die strategische Verantwortung im Rahmen des Neuen Steuerungsmodells. Schrumpfende Städte bedürfen einer verstärkten Teilhabe aller Bevölkerungsgruppen an einer nachhaltigen Stadtentwicklung. Die kommunale Finanznotlage und ein verstärktes Demokratiebedürfnis führen zu einer Forderung nach einer aktiven Bürgerkommune, die Teilbereiche des öffentlichen Lebens übernimmt. Der Wandel im Selbstverständnis der Verwaltung vom government zur governance ist untrennbar verbunden mit einer verstärkten Einbeziehung der gesellschaftlichen und wirtschaftlichen Akteure in die Stadtentwicklung und führt zu einem neuen Rollenverständnis der Stadtentwicklungsplanung. Die vergangenen Anforderungen der Industriegesellschaft unterscheiden sich von den aktuellen Anforderungen der Dienstleistungs- und Wissensgesellschaft an die städtische Infrastruktur und Gesellschaft. Nachhaltigkeit einer neu zu erarbeitenden Stadtentwicklungsstrategie kann daher nur erzeugt werden, wenn die Änderungsprozesse erfasst und in das Anforderungsprofil der Stadtentwicklung miteinbezogen werden. Zusammen mit den Forderungen nach mehr Partizipation und Kommunikation folgt daraus für die Raumplanung, dass nicht nur ein verantwortungsvoller und handwerklich genauer Einsatz der ingenieurwissenschaftlichen Methoden und Instrumente gefragt ist, sondern auch im verstärkten Maße eine soziale und kommunikative Kompetenz der Planerinnen und Planer gefordert ist. Vor dem Hintergrund der aktuellen Schrumpfungsprozesse und dem Wandel der Industriegesellschaft zur Dienstleistungs- und Wissensgesellschaft wird dem in der wissenschaftlichen Diskussion teilweise in Frage gestellten Leitbild der Europäischen Stadt eine neue Bedeutung zugemessen. Indem die Kernstädte Infrastruktur-leistungen bündeln, ein größeres Angebot für verschiedene Lebensstile zulassen und als Kommunikations- und Knotenpunkt für neue Akteure in der Dienstleistungs- und Wissensgesellschaft dienen, wächst wieder die Be-deutung der Kernstädte im Verhältnis zu den Umlandgemeinden. Zusammenfassend ist festzustellen, dass eine nachhaltige zukunftsorientierte Urban Governance geprägt ist von einer kommunalen Kooperations- und Kommunikationsstruktur, in der Politik, Verwaltung – und hier insbeson-dere die Stadtentwicklungsplanung- gemeinsam mit den Akteuren aus Bürgerschaft und Wirtschaft tragfähige Visionen entwickeln, Ziele und Maßnahmen formulieren und gemeinsam realisieren.
Elastomeric and other rubber-like materials are often simultaneously exposed to short- and long-time loads within engineering applications. When aiming at establishing a general simulation tool for viscoelastic media over these different time scales, a suitable material model and its corresponding material parameters can only be determined if an appropriate number of experimental data is taken into account. In this work an algorithm for the identification of material parameters for large strain viscoelasticity is presented. Thereby, data of multiple experiments are considered. Based on this method the experimental loading intervals for long-time experiments can be shortened in time and the parameter identification procedure is now referred to experimental data of tests under short- and long-time loads without separating the parameters due to these different time scales. The employed viscoelastic material law is based on a nonlinear evolution law and valid far from thermodynamic equilibrium. The identification is carried out by minimizing a least squares functional comparing inhomogeneous displacement fields from experiments and FEM simulations at given (measured) force loads. Within this optimization procedure all material parameters are identified simultaneously by means of a gradient based method for which a semi-analytical sensitivity analysis is calculated. Representative numerical examples are referred to measured data for different polyurethanes. In order to show the general applicability of the identification method for multiple tests, in the last part of this work the parameter identification for small strain plasticity is presented. Thereby three similar test programs on three specimen of the aluminum alloy AlSi9Cu3 are analyzed, and the parameter sets for the respective individual identifications, and for the combination of all tests in one identification, is compared.
Zwei zentrale Probleme der modernen Finanzmathematik sind die Portfolio-Optimierung und die Optionsbewertung. Während es bei der Portfolio-Optimierung darum geht, das Vermögen optimal auf verschiedene Anlagemöglichkeiten zu verteilen, versucht die Optionsbewertung faire Preise von derivativen Finanzinstrumenten zu bestimmen. In dieser Arbeit werden Fragestellungen aus beiden dieser Themenbereiche bearbeitet. Die Arbeit beginnt mit einem Kapitel über Grundlagen, in dem zum Beispiel das Portfolio-Problem von Merton dargestellt und die Black/Scholes-Formel zur Optionsbewertung hergeleitet wird. In Kapitel 2 wird das Portfolio-Problem von Morton und Pliska betrachtet, die in das Merton-Modell fixe Transaktionskosten eingeführt haben. Dabei muß der Investor bei jeder Transaktion einen fixen Anteil vom derzeitigen Vermögen als Kosten abführen. Es wird die asymptotische Approximation dieses Modells von Atkinson und Wilmott vorgestellt und die optimale Portfoliostrategie aus den Marktparametern hergeleitet. Danach werden die tatsächlichen Transaktionskosten abgeschätzt und ein User Guide zur praktischen Anwendung dieses Transaktionskostenmodells angegeben. Zum Schluß wird das Modell numerisch analysiert, indem unter anderem die erwartete Handelszeit und die Güte der Abschätzung der tatsächlichen Transaktionskosten berechnet werden. Ein Portfolio-Problem mit internationalen Märkten wird in Kapitel 3 vorgestellt. Dem Investor steht zusätzlich zu seinem Heimatland noch ein weiteres Land für seine Vermögensanlagen zur Verfügung. Dabei werden die Preisprozesse für die ausländischen Wertpapiere mit einem stochastischen Wechselkurs in die Heimatwährung umgerechnet. In einer statischen Analyse wird unter anderem berechnet, wieviel weniger Vermögen der Investor benötigt, um das gleiche erwartete Endvermögen zu erhalten wie in dem Fall, wenn ihm keine Auslandsanlagen zur Verfügung stehen. Kapitel 4 behandelt drei verschiedene Portfolio-Probleme mit Sprung-Diffusions-Prozessen. Nach der Herleitung eines Verifikationssatzes wird das Problem bei Anlagemöglichkeit in eine Aktie und in ein Geldmarktkonto jeweils für eine konstante und eine stochastische Zinsrate untersucht. Im ersten Fall wird eine implizite Darstellung für den optimalen Portfolioprozeß und eine Bedingung angegeben, unter der diese Darstellung eindeutig lösbar ist. Außerdem wird der optimale Portfolioprozeß für verschiedene Verteilungen für die Sprunghöhe untersucht. Im Falle einer stochastischen Zinsrate kann nur ein Kandidat für den optimalen Lösungsprozeß angeben werden. Dieser hat wieder eine implizite Darstellung. Das letzte Portfolio-Problem ist eine Abwandlung des Modells aus Kapitel 3. Wird dort der Wechselkurs durch eine geometrisch Brownsche Bewegung modelliert, ist er hier ein reiner Sprungprozeß. Es wird wieder der optimale Portfolioprozeß hergeleitet, wobei ein Anteil davon unter Umständen nur numerisch lösbar ist. Eine hinreichende Bedingung für die Lösbarkeit wird angegeben. In Kapitel 5 werden verschiedene Bewertungsansätze für Optionen auf Bondindizes präsentiert. Es wird eine Methode vorgestellt, mit der die Optionen anhand von Marktpreisen bewertet werden können. Für den Fall, daß es nicht genug Marktpreise gibt, wird ein Verfahren angegeben, um den Bondindex realitätsnah zu simulieren und künstliche Marktpreise zu erzeugen. Diese Preise können dann für eine Kalibrierung verwendet werden.
The IEEE 802.11 networks have a tremendous growth in the last years, but also now there is a rapid development of the wireless LAN technologies. High transmission rates, simple deployment and especially low costs make this network technology an efficient and cheap way to get access to the Internet. Fon is the world-wide greatest WIFI community and in January 2007 this community offers more than 11.000 access points in Germany and nearly 55.000 all over the world. However, this technology has also his shady sides. For example, it is possible for everyone to receive data from the wireless medium. So a protection against this open data traffic is a encryption mechanism called Wired Equivalent Privacy (WEP). The tragic end of theWired Equivalent Privacy (WEP) and the simplicity of various Denial-of-Service (DoS) attacks on the wireless medium have resulted in giving up the security at the logical-link layer and shifting it to upper layers (or in the best case leaving it within virtual private networks (VPNs)). Nevertheless, there is an enormous growth in using public access to the Internet via HotSpots in cafés, libraries, schools or at airports, train stops etc. Therefore, it is important for the Wireless Internet Service Provider (WISP) to make sure that anyone with a usual wireless device can connect to their access points. Offering this service to anybody makes giving a sufficient level of security very difficult. On the one hand it should be easy for everyone to use this access, on the other hand there is, in most cases, no security. A businessman is not very pleased about phishing his account data for a great enterprise or for his online office like the KIS at the University of Technology in Kaiserslautern. In most cases the WISPs use a simple web based authentication mechanism. By connecting to the WISPs services, the user is redirected to a webpage requesting his login data or credit card information. Therefore the user only needs a wireless LAN device and a webbrowser to authenticate. An attacker could sniff on the wireless medium to phish delicate data from a legal connected user or use DoS attacks as initial point for various other attacks. In most cases, this can be done with no or only small effort. On the other side, in some cases, the WISP has to do a hard reset on his wireless devices after a DoS attack. Therefore an analysis of access points is done in this work. So, the first part is to show how "‘new"’ access points react to flooding attacks and what mechanisms are used to protect them. The second part implements an attack using an anomaly of some access points that are discovered in the first part. And the last chapter deals with some information about using an Intrusion Detection System (IDS) to protect the devices against such attacks.
In this article a new data-adaptive method for smoothing of bivariate functions is developed. The smoothing is done by kernel regression with rotational invariant bivariate kernels. Two or three local bandwidth parameters are chosen automatically by a two-step plug-in approach. The algorithm starts with small global bandwidth parameters, which adapt during a few iterations to the noisy image. In the next step local bandwidths are estimated. Some general asymptotic results about Gasser-Müller-estimators and optimal bandwidth selection are given. The derived local bandwidth estimators converge and are asymptotically normal.
Embedded systems have become ubiquitous in everyday life, and especially in the automotive industry. New applications challenge their design by introducing a new class of problems that are based on a detailed analysis of the environmental situation. Situation analysis systems rely on models and algorithms of the domain of computational geometry. The basic model is usually an Euclidean plane, which contains polygons to represent the objects of the environment. Usual implementations of computational geometry algorithms cannot be directly used for safety-critical systems. First, a strict analysis of their correctness is indispensable and second, nonfunctional requirements with respect to the limited resources must be considered. This thesis proposes a layered approach to a polygon-processing system. On top of rational numbers, a geometry kernel is formalised at first. Subsequently, geometric primitives form a second layer of abstraction that is used for plane sweep and polygon algorithms. These layers do not only divide the whole system into manageable parts but make it possible to model problems and reason about them at the appropriate level of abstraction. This structure is used for the verification as well as the implementation of the developed polygon-processing library.
Ziel der vorliegenden Arbeit war die Synthese und Charakterisierung fluoreszenzmarkierter Pyrrolin-N-oxide sowie von Stilbennitronen. Diese Verbindungen sind aufgrund ihrer chemischen Struktur zum Abfangen kurzlebiger Radikale befähigt, wobei sie selbst zu einem langlebigen Radikal-Addukt reagieren. Diese Methode ist unter dem Namen „Spin-Trapping“ bekannt und wird bevorzugt zum Nachweis reaktiver Sauerstoffspezies in biologischen Systemen eingesetzt. Zu diesem Zweck wurde zunächst die Synthese der Spin-Trap EMPO etabliert und versucht, diese durch Umesterung mit einem Fluoreszenzfarbstoff zu markieren. Da dieser Syntheseweg erfolglos blieb, wurden die neuen Spin-Trap-Verbindungen BocAEMPO, AEMPO, BocEAEMPO und EAEMPO synthetisiert. Versuche zur Umsetzung dieser Verbindungen mit einer Reihe von Fluoreszenzfarbstoffen verliefen jedoch ebenfalls ohne Erfolg. Ursache hierfür ist die ausgeprägte Reaktivität der zum Spin-Trapping benötigten Nitron-Gruppe. Die hierzu benötigten NBD- und BODIPY-Farbstoffderivate wurden ebenfalls selbst synthetisiert. Weiterhin wurden Versuche zur Direktsynthese einer fluoreszenzmarkierten Spin-Trap unternommen. Ziel war hierbei, vor dem Erzeugen der Nitron-Gruppe bereits ein Fluorophor im Molekül einzubauen. Diese Versuche scheiterten jedoch an der Empfindlichkeit der verwendeten Farbstoffe. In einem Fall konnte zwar ein BODIPY-System erfolgreich unter den Bedingungen der Nitronsynthese erhalten werden, jedoch war das erhaltene Produkt nicht eindeutig charakterisierbar. Weiterhin wurde die Synthese von DEPMPO etabliert und erste Versuche zur Modifikation dieser Spin-Trap unternommen. Die neu synthetisierten Spin-Traps wurden mit sechs verschiedenen Radikalen zu ihren Addukten umgesetzt und durch ESR-Spektroskopie charakterisiert. Aus den durchgeführten Kinetikmessungen wurden die Zerfallskonstanten und die Halbwertszeiten der Spin-Addukte bestimmt. In einem weiteren Teil dieser Arbeit wurden Stilbennitrone hergestellt. Hierbei wurde die Synthese von Stilbenaldehyd-Derivaten mittels Heck-Reaktionen etabliert und im Anschluss drei verschiedenen Stilbennitrone synthetisiert. Diese wurden sowohl ESR- als auch UV- und Fluoreszenz-spektroskopisch charakterisiert. Mit der Verbindung Nitrostilbennitron wurden erste Versuche zum Fluoreszenzquenching und zur Inkubation von COS7-Zellen unternommen. Bei den Quenchingversuchen konnten die erwarteten Effekte bei der Reaktion mit OH-Radikalen gemessen werden. Die Inkubation der COS7-Zellen verlief ebenfalls erfolgreich, wobei hier jedoch aufgrund technischer Limitierungen auf Seiten der verfügbaren Mikroskope keine Aussagen zur Spezifität der erreichten Färbung getroffen werden können.
Mit der Novellierung des Energiewirtschaftsgesetzes im Jahr 2005 wurde die Bundesnetzagentur damit beauftragt, ein Regulierungskonzept für den Energiesektor zu entwickeln. Im Sommer 2006 hat die Regulierungsbehörde einen Entwurf zur Anreizregulierung vorgelegt, der in Form einer Verordnung im Sommer 2007 in Kraft treten wird. Die Anwendung der Anreizregulierung ab dem 1.1.2009 ist ein weiterer Meilenstein auf dem Weg zum angepeilten wettbewerbsorientierten und nachhaltigen Stromsystem. Dieses Ziel wird seit Beginn der Liberalisierung in den 90er Jahren vor allem auf gesamteuropäischer Ebene verfolgt, und Schritt für Schritt auf die nationale Ebene übertragen. Da die Netzentgeltregulierung wie in den meisten europäischen Ländern auch in Deutschland als Anreizregulierung ausgestaltet wird, besteht die Herausforderung darin,in diesem Verfahren die Anreize so zu setzen, dass die Netzbetreiber den angedeuteten Umbau des Stromsystems im eigenen ökonomischen Interesse unterstützen oder ihn zumindest nicht behindern. Ziel dieser Arbeit ist es das Regulierungskonzept der Bundesnetzagentur daraufhin zu untersuchen, welche Anreizstrukturen für Stromnetzbetreiber geschaffen werden. Schließlich ergibt sich aus den Regulierungsanreizen die Bedeutung der Anreizregulierung für dezentrale Stromversorgung. Als Maßstab für den Grad der Zielerreichnung dient das Ideal des gleichberechtigten Spielfeldes, das einen Handlungsrahmen setzt, in dem faire Bedingungen sowohl für dezentrale als auch für zentrale Stromoptionen herrschen.
On the Complexity of the Uncapacitated Single Allocation p-Hub Median Problem with Equal Weights
(2007)
The Super-Peer Selection Problem is an optimization problem in network topology construction. It may be cast as a special case of a Hub Location Problem, more exactly an Uncapacitated Single Allocation p-Hub Median Problem with equal weights. We show that this problem is still NP-hard by reduction from Max Clique.
In this thesis, the quasi-static Biot poroelasticity system in bounded multilayered domains in one and three dimensions is studied. In more detail, in the one-dimensional case, a finite volume discretization for the Biot system with discontinuous coefficients is derived. The discretization results in a difference scheme with harmonic averaging of the coefficients. Detailed theoretical analysis of the obtained discrete model is performed. Error estimates, which establish convergence rates for both primary as well as flux unknowns are derived. Besides, modified and more accurate discretizations, which can be applied when the interface position coincides with a grid node, are obtained. These discretizations yield second order convergence of the fluxes of the problem. Finally, the solver for the solution of the produced system of linear equations is developed and extensively tested. A number of numerical experiments, which confirm the theoretical considerations are performed. In the three-dimensional case, the finite volume discretization of the system involves construction of special interpolating polynomials in the dual volumes. These polynomials are derived so that they satisfy the same continuity conditions across the interface, as the original system of PDEs. This technique allows to obtain such a difference scheme, which provides accurate computation of the primary as well as of the flux unknowns, including the points adjacent to the interface. Numerical experiments, based on the obtained discretization, show second order convergence for auxiliary problems with known analytical solutions. A multigrid solver, which incorporates the features of the discrete model, is developed in order to solve efficiently the linear system, produced by the finite volume discretization of the three-dimensional problem. The crucial point is to derive problem-dependent restriction and prolongation operators. Such operators are a well-known remedy for the scalar PDEs with discontinuous coefficients. Here, these operators are derived for the system of PDEs, taking into account interdependence of different unknowns within the system. In the derivation, the interpolating polynomials from the finite volume discretization are employed again, linking thus the discretization and the solution processes. The developed multigrid solver is tested on several model problems. Numerical experiments show that, due to the proper problem-dependent intergrid transfer, the multigrid solver is robust with respect to the discontinuities of the coefficients of the system. In the end, the poroelasticity system with discontinuous coefficients is used to model a real problem. The Biot model, describing this problem, is treated numerically, i.e., discretized by the developed finite volume techniques and then solved by the constructed multigrid solver. Physical characteristics of the process, such as displacement of the skeleton, pressure of the fluid, components of the stress tensor, are calculated and then presented at certain cross-sections.
Haustoria of the rust fungus pathogen Uromyces fabae deliver RTP1 (Rust Transferred Protein1) into host plant cells. In this work, different heterologous expression systems were used to study RTP1 biological function as well as RTP1 transfer mechanism. The first part of this thesis focused on the identification of the subcellular target compartment of RTP1 in plant cells. In this respect we could identify a functional bipartite nuclear localization signal within RTP1. However, stable and transient expression studies of RTP1 in different plant species, including the host plant Vicia faba, interfered with plant cell vitality but did not result in detection of RTP1 protein. These findings led us to propose that RTP1 interferes with plant gene expression. However, the molecular basis of this interference remains unclear. By deletion studies, we could localize the active region of RTP1 within a 45 amino acid central domain. In the second part of this study, two different lines of approaches were taken to study RTP1 transfer mechanism. First, transient expression of secreted RTP1 (sRTP1) also interfered with plant cell vitality. Addition of an endoplasmic reticulum retention signal abolished sRTP1 interference with plant cell vitality, suggesting that RTP1 can reenter the plant cell from the apoplast after secretion in the absence of the pathogen. We have identified a PEST-like region within RTP1, however, contribution of this region to the stability of RTP1 is not clear. Site directed mutagenesis analysis showed that the PEST-like region is likely to play a role during the transfer of RTP1 through plant plasma membrane. In the second line of approach, we established a recombinant delivery model, using Ustilago maydis/Zea mays pathosystem, to pursue RTP1 translocation into the plant cell. Our results indicate that U. maydis is capable of secreting high amounts of recombinant RTP1, showing similar glycosylation pattern as RTP1 secreted from rust haustoria. Our data propose the use of this model system to study RTP1 domains mediating its entry into the plant cell. Haustoria of the rust fungus pathogen Uromyces fabae deliver RTP1 (Rust Transferred Protein1) into host plant cells. In this work, different heterologous expression systems were used to study RTP1 biological function as well as RTP1 transfer mechanism. The first part of this thesis focused on the identification of the subcellular target compartment of RTP1 in plant cells. In this respect we could identify a functional bipartite nuclear localization signal within RTP1. However, stable and transient expression studies of RTP1 in different plant species, including the host plant Vicia faba, interfered with plant cell vitality but did not result in detection of RTP1 protein. These findings led us to propose that RTP1 interferes with plant gene expression. However, the molecular basis of this interference remains unclear. By deletion studies, we could localize the active region of RTP1 within a 45 amino acid central domain. In the second part of this study, two different lines of approaches were taken to study RTP1 transfer mechanism. First, transient expression of secreted RTP1 (sRTP1) also interfered with plant cell vitality. Addition of an endoplasmic reticulum retention signal abolished sRTP1 interference with plant cell vitality, suggesting that RTP1 can reenter the plant cell from the apoplast after secretion in the absence of the pathogen. We have identified a PEST-like region within RTP1, however, contribution of this region to the stability of RTP1 is not clear. Site directed mutagenesis analysis showed that the PEST-like region is likely to play a role during the transfer of RTP1 through plant plasma membrane. In the second line of approach, we established a recombinant delivery model, using Ustilago maydis/Zea mays pathosystem, to pursue RTP1 translocation into the plant cell. Our results indicate that U. maydis is capable of secreting high amounts of recombinant RTP1, showing similar glycosylation pattern as RTP1 secreted from rust haustoria. Our data propose the use of this model system to study RTP1 domains mediating its entry into the plant cell.
Diese Arbeit beschäftigt sich mit Methoden zur Klassifikation von Ovoiden in quadratischen Räumen. Die Anwendung der dazu entwickelten Algorithmen erfolgt hauptsächlich in achtdimensionalen Räumen speziell über den Körpern GF(7), GF(8) und GF(9). Zu verschiedenen, zumeist kleinen, zyklischen Gruppen werden hier die unter diesen Gruppen invarianten Ovoide bestimmt. Die bei dieser Suche auftretenden Ovoide sind alle bereits bekannt. Es ergeben sich jedoch Restriktionen an die Stabilisatoren gegebenenfalls existierender, unbekannter Ovoide.
Im Rahmen der vorliegenden Arbeit wurden sowohl neuartige polymere Hochleistungsverbundwerkstoffe als auch unterschiedliche Modellprüfmethoden zur Nachbildung abrasiver Verschleißbedingungen entwickelt. Ausgangspunkt für diese Themenstellung war, Verbundwerkstoffe als alternative Gleitlagermaterialien in hermetisch dichten Pumpen für aggressive und abrasive Medien einzusetzen. Stand der Technik sind hierbei keramische Gleitlager, insbesondere aus monolithischem Siliziumkarbid. Das Ziel war somit zu untersuchen, ob Polymerwerkstoffe derart modifiziert werden können, dass ein vergleichbares Verschleißverhalten erreicht wird. Auf der Basis von Epoxidharz wurde die elementare Werkstoffentwicklung, durch Variation von Füll- und Verstärkungsstoffe, hinsichtlich Art, Größe und Menge, durchgeführt. Die Formulierung mit den in Summe günstigsten Eigenschaften wurde anschließend auf einen weiteren Duroplasten (Vinylester) und einen Thermoplasten (Etylentetrafluorethylen) übertragen. Auf diese Weise konnte gezeigt werden, dass das Verschleißverhalten bei hochgefüllten Systemen maßgeblich von den Füll- und Verstärkungsstoffen geprägt wird und durch die Übertragung der Formulierung ähnliche Verschleißraten erzielt werden. Weiterhin wurde der Einfluss der Aushärtungstemperatur, und somit des Herstellungsprozesses, auf die Werkstoffeigenschaften dargestellt. Durch eine weiterführende Werkstoffmodifikation, den Einsatz multimodaler Korngrößenverteilungen, war es zudem möglich die tribologischen Eigenschaften nochmals zu verbessern. Der Vergleich der Werkstoffeigenschaften erfolgte mittels mechanischer und tribologischer Prüfungen. Letztere waren jedoch nur bedingt anwendbar, um einen Vergleich zwischen den neu entwickelten Hochleistungsverbundwerkstoffen und dem Referenzwerkstoff Siliziumkarbid zu ermöglichen. Aus diesem Grunde wurde ein spezieller Medienprüfstand konstruiert und aufgebaut, um verschiedenste abrasive Prüfbedingungen, ob geschmiert oder ungeschmiert, simulieren zu können. Mit Hilfe abrasiver Gegenkörper war es möglich die Testzeit von 20 Stunden auf 60 Sekunden zu verkürzen. Die anschließende Validierung der Ergebnisse ergab eine gute Übereinstimmung. Zur Ableitung allgemein gültiger Aussagen wurden die Ergebnisse anhand dreier Verschleißmodelle für abrasive Bedingungen (Archard, Budinski, Ratner et al) überprüft. Dabei erwies sich jedoch keines der Modell als passend, um alle experimentellen Werte abbilden zu können. Dennoch lies sich erkennen, dass das Deformationsverhalten bei abrasiven Verschleißvorgängen eine bedeutende Rolle spielt. Deshalb wurde das Deformationsverhalten von drei exemplarischen Verbundwerkstoffen bei einer dynamischen Mikrohärteprüfung mittels der Finiten Elemente Methode (FEM) simuliert. Es zeigte sich, dass zum einen die Berechnungen und die experimentellen Ergebnisse sehr gut übereinstimmen. Zum anderen sind die entwickelten FEM Modelle sehr gut geeignet, um das Verschleißverhalten zu erklären.
In the present work the modelling and numerical treatment of discontinuities in thermo-mechanical solids is investigated and applied to diverse physical problems. From this topic a structure for this work results, which considers the formulation of thermo-mechanical processes in continua in the first part and which forms the mechanical and thermodynamical framework for the description of discontinuities and interfaces, that is performed in the second part. The representation of the modelling of solid materials bases on the detailed derivation of geometrically nonlinear kinematics, that yields different strain and stress measures for the material and spatial configuration. Accordingly, this results in different formulations of the mechanical and thermodynamical balance equations. On these foundations we firstly derive by means of the concepts of the plasticity theory an elasto-plastic prototype-model, that is extended subsequently. In the centre of interest is the formulation of damage models in consideration of rate-dependent material behaviour. In the next step follows the extension of the isothermal material models to thermo-mechanically coupled problems, whereby also the special case of adiabatic processes is discussed. Within the representation of the different constitutive laws, the importance is attached to their modular structure. Moreover, a detailed discussion of the isothermal and the thermo-mechanically coupled problem with respect to their numerical treatment is performed. For this purpose the weak forms with respect to the different configurations and the corresponding linearizations are derived and discretized. The derived material models are highlighted by numerical examples and also proved with respect to plausibility. In order to take discontinuities into account appropriate kinematics are introduced and the mechanical and thermodynamical balance equations have to be modified correspondingly. The numerical description is accomplished by so-called interface-elements, which are based on an adequate discretization. In this context two application fields are distinguished. On the one side the interface elements provide a tool for the description of postcritical processes in the framework of localization problems, which include material separation and therefore they are appropriate for the description of cutting processes. Here in turn one has to make the difference between the domain-dependent and the domain-independent formulation, which mainly differ in the definition of the interfacial strain measure. On the other side material properties are attached to the interfaces whereas the spatial extension is neglectable. A typical application of this type of discontinuities can be found in the scope of the modelling of composites, for instance. In both applications the corresponding thermo-mechanical formulations are derived. Finally, the different interface formulations are highlighted by some numerical examples and they are also proved with respect to plausibility.
Anionenrezeptoren aus Cyclopeptiden mit 6-Aminopicolinsäure- und substituierten Prolinuntereinheiten
(2007)
Ziel dieser Arbeit war es, neue Cyclopeptide auf Basis der in der Arbeitsgruppe um S. Kubik untersuchten Anionenrezeptoren aus L-Prolin- und 6-Aminopicolinsäure zu entwickeln und hinsichtlich ihrer Rezeptor- und Sensoreigenschaften zu untersuchen. Das Hauptaugenmerk lag dabei auf dem Einfluss von Substituenten an den Prolinuntereinheiten auf die Bindungsaffinität und -selektivität. Durch eine systematische Syntheseoptimierung konnte eine effiziente Strategie für ein 4R-Amino-L-prolin-haltiges Dipeptid erarbeitet werden, welches es ermöglicht, verschiedene Substituenten mit der gewünschten Konfiguration an den C(γ)-Atomen der Prolineinheiten einzuführen. Aus den funktionalisierten Dipeptiden konnten anschließend die entsprechenden Cyclopeptide nach Standardmethoden aufgebaut werden. Die Charakterisierung der Bindungseigenschaften dieser Verbindungen hinsichtlich der Komplexierung verschiedener Sulfonate und Acetat erfolgte mittels NMR-Spektroskopie und isothermer Titrationskalorimetrie in unterschiedlichen Lösungsmitteln. Die Untersuchungen zeigten, dass die Struktur und die Flexibilität der peripheren Substituenten um den Cyclopeptidhohlraum einen signifikanten Einfluss auf die Substratbindung besitzt.
The main aim of this work was to obtain an approximate solution of the seismic traveltime tomography problems with the help of splines based on reproducing kernel Sobolev spaces. In order to be able to apply the spline approximation concept to surface wave as well as to body wave tomography problems, the spherical spline approximation concept was extended for the case where the domain of the function to be approximated is an arbitrary compact set in R^n and a finite number of discontinuity points is allowed. We present applications of such spline method to seismic surface wave as well as body wave tomography, and discuss the theoretical and numerical aspects of such applications. Moreover, we run numerous numerical tests that justify the theoretical considerations.
In an undirected graph G we associate costs and weights to each edge. The weight-constrained minimum spanning tree problem is to find a spanning tree of total edge weight at most a given value W and minimum total costs under this restriction. In this thesis a literature overview on this NP-hard problem, theoretical properties concerning the convex hull and the Lagrangian relaxation are given. We present also some in- and exclusion-test for this problem. We apply a ranking algorithm and the method of approximation through decomposition to our problem and design also a new branch and bound scheme. The numerical results show that this new solution approach performs better than the existing algorithms.
In this article we give a sufficient condition that a simply connected flexible body does not penetrate itself, if it is subjected to a continuous deformation. It is shown that the deformation map is automatically injective, if it is just locally injective and injective on the boundary of the body. Thereby, it is very remarkable that no higher regularity assumption than continuity for the deformation map is required. The proof exclusively relies on homotopy methods and the Jordan-Brouwer separation theorem.
The present thesis deals with multi-user mobile radio systems, and more specifically, the downlinks (DL) of such systems. As a key demand on future mobile radio systems, they should enable highest possible spectrum and energy efficiency. It is well known that, in principle, the utilization of multi-antennas in the form of MIMO systems, offers considerable potential to meet this demand. Concerning the energy issue, the DL is more critical than the uplink. This is due to the growing importance of wireless Internet applications, in which the DL data rates and, consequently, the radiated DL energies tend to be substantially higher than the corresponding uplink quantities. In this thesis, precoding schemes for MIMO multi-user mobile radio DLs are considered, where, in order to keep the complexity of the mobile terminals as low as possible, the rationale receiver orientation (RO) is adopted, with the main focus to further reduce the required transmit energy in such systems. Unfortunately, besides the mentioned low receiver complexity, conventional RO schemes, such as Transmit Zero Forcing (TxZF), do not offer any transmit energy reductions as compared to conventional transmitter oriented schemes. Therefore, the main goal of this thesis is the design and analysis of precoding schemes in which such transmit energy reductions become feasible - under virtually maintaining the low receiver complexity - by means of replacing the conventional unique mappings by the selectable representations of the data. Concerning the channel access scheme, Orthogonal Frequency Division Multiplex (OFDM) is presently being favored as the most promising candidate in the standardization process of the enhanced 3G and forthcoming 4G systems, because it allows a very flexible resource allocation and low receiver complexity. Receiver oriented MIMO OFDM multi-user downlink transmission, in which channel equalization is already performed in the transmitter of the access point, further contributes to low receiver complexity in the mobile terminals. For these reasons, OFDM is adopted in the target system of the considered receiver oriented precoding schemes. In the precoding schemes considered the knowledge of channel state information (CSI) in the access point in the form of the channel matrix is essential. Independently of the applied duplexing schemes FDD or TDD, the provision of this information to the access point is always erroneous. However, it is shown that the impact of such deviations not only scales with the variance of the channel estimation errors, but also with the required transmit energies. Accordingly, the reduced transmit energies of the precoding schemes with selectable data representation also have the advantage of a reduced sensitivity to imperfect knowledge of CSI. In fact, these two advantages are coupled with each other.
Nichtlinearer Horizontaler Bettungsmodulansatz für Trägerbohlwände in mitteldicht gelagertem Sand
(2007)
In der allgemeinen Baugrubenstatik für Trägerbohlwände werden haltende Kräfte vor dem im Baugrund einbindenden Teil des Trägers dem Erdwiderstand gleichgesetzt. Der Erwiderstand kann jedoch nur im Grenzzustand vollständig mobilisiert werden, was ausreichend große Verschiebungen am Trägerfuß voraussetzt. Die Abhängigkeit der tatsächlich mobilisierten Erdwiderstandsspannungen von den Verschiebungen kann mathematisch durch den hori-zontalen Bettungsmodul ausgedrückt werden. Bislang liegen zum horizontalen Bettungsmodul nur grobe Näherungsansätze vor, die die tatsächlichen Wechselwirkungen zwischen Spannun-gen und Verschiebungen für beliebige Verschiebungsbilder nicht realitätsnah erfassen. Ziel dieser Arbeit ist eine realitätsnahe Beschreibung des horizontalen Bettungsmoduls und damit einer realistischere Berechnung des Trag- und Verformungsverhaltens von Trägerbohl-wänden. Zur Ermittlung des Bettungsmoduls in Größe und Verlauf sowie zur Untersuchung von Einflussfaktoren auf den Bettungsmodul werden dreidimensionale Berechnungen nach der Finiten-Elemente-Methode (FEM) durchgeführt. Dabei werden die maßgebendenden Einfluss-faktoren im Rahmen von Parameterstudien für in der Praxis häufig vorkommende Werte-intervalle untersucht. Die FEM-Berechnungen erfolgen für freistehende, einfach rückverankerte und zweifach rückverankterte Trägerbohlwände in mitteldicht gelagertem Sand. Den Berechnungen liegt ein nichtlineares, elastoplastisches Stoffgesetz zugrunde. Die FEM-Berechnungen werden an den Messergebnissen vorhandener Großversuche kalibriert. Die FEM-Parameterstudien belegen eine Abhängigkeit des Bettungsmoduls von der Verschiebung u, der Tiefe z/t und der Druckflächenbreite b. Aus den FEM-Parameterstudien abgeleitet wird ein iterativer, nichtlinearer Berechnungsansatz für den horizontalen Bettungsmodul ksh erarbeitet. Darüber hinaus wird als Anfangswert der Iteration in der Ingenieurpraxis ein einfacher, linearer Näherungsansatz für den horizontalen Bettungsmodul ermittelt.
Software stellt ein komplexes Werkzeug dar, das durch seine umfassenden Möglichkeiten die moderne Gesellschaft entscheidend geprägt hat. Daraus ergibt sich eine Abhängigkeit von Funktion und Fehlfunktion der Software, die eine an den funktionalen Anforderungen orientierte Entwicklung und Qualitätssicherung der Software notwendig macht. Die vorliegende Arbeit schafft durch Formalisierung und Systematisierung der Verfahren im funktionsorientierten Test eine fundierte Basis für eine Hinwendung zu den funktionsorientierten Techniken in Softwareentwicklung und –qualitätssicherung. Hierzu wird in der Arbeit zunächst ein formales Modell für das Vorgehen im dynamischen Test beschrieben, das sich an der Begriffsbildung der Literatur und dem Verständnis der Praxis orientiert. Das Modell beruht auf wenigen zentralen Annahmen, eignet sich für formale Untersuchungen und Nachweise und ist wegen seiner sehr allgemein gehaltenen Definitionen breit anwendbar und einfach erweiterbar. Auf dieser Basis werden Vorgehen und Verfahren zum funktionsorientierten Test analysiert. Zunächst wird dazu das Vorgehen im funktionsorientierten Test im Rahmen des Modells dargestellt. Darauf aufbauend werden zentrale Verfahren des funktionsorientierten Tests analysiert, die zum Gegenstand die systematische Prüfung der Umsetzung von weitgehend informal beschriebenen Anforderungen in einem Softwareprodukt haben. Betrachtet werden Verfahren der funktionalen Partitionierung, der funktionalen Äquivalenzklassenanalyse und Grenzwertbildung, Verfahren zur Prüfung von kausalen Zusammenhängen zwischen Ursachen und Wirkungen, Verfahren zur Prüfung von graphisch spezifizierter Funktionalität in Syntaxdiagrammen, Aktivitätsdiagrammen, Sequenz- und Kollaborationsdiagrammen und Petrinetzen, Verfahren zum Test zustandsbasierter Systeme sowie Ansätze einer funktionalen Dekomposition. Die Analyse und Diskussion der bekannten Verfahren im formalisierten Rahmenwerk führt zu zahlreichen Ergebnissen und Verfahrensergänzungen. So zeigt sich, dass in den klassischen, informalen Beschreibungen häufig Unklarheiten bestehen. Diese werden hier adressiert und durch Angabe von Kriterien präzisiert, Optimierungsmöglichkeiten werden aufgezeigt. Darüber hinaus wird an der einheitlichen formalen Darstellung der in der Literatur meist separat betrachteten Verfahren deutlich, welche Vergleichbarkeit zwischen den Verfahren besteht, welche Verfahrenskombinationen sinnvoll sind und wie durch ein kombiniert funktions- und strukturorientiertes Vorgehen eine hohe Aussagekraft in der analytischen Qualitätssicherung erreicht werden kann. Bei der Formulierung der Verfahren im Rahmen des Modells wird herausgearbeitet, wo zur Verfahrensdurchführung die kreative Leistung des Testers notwendig ist und welche Anteile formalisiert und damit automatisiert unterstützt werden können. Diese Betrachtungen bilden die Grundlage für die Skizzierung einer integrierten Entwicklungsumgebung, in der ein funktionsorientiertes Vorgehen in Entwicklung und Qualitätssicherung umgesetzt wird: Hier helfen funktionsorientierte Beschreibungsformen bei der Angabe der Spezifikation, ihrer Verfeinerung und ihrer Vervollständigung, sie unterstützen die Entwicklung durch Modellbildung, sie liefern die Basis für eine funktionsorientierte Testdatenselektion mit Adäquatheitsprüfung, sie können bei geeigneter Interpretierbarkeit über den Datenbereichen zur automatisierten Testfallgenerierung genutzt werden und unterstützen als suboptimale Testorakel eine automatisierte Auswertung des dynamischen Tests. Diese Skizze zeigt die praktische Umsetzbarkeit der vorwiegend theoretischen Ergebnisse dieser Arbeit und setzt einen Impuls für ein verstärktes Aufgreifen funktionsorientierter Techniken in Wissenschaft und Praxis.
Sepsis ist eine lebensbedrohliche Krankheit und eine der häufigsten Todesursachen auf Intensiv-Stationen. Eine der Hauptursachen für die Schwere dieser Krankheit ist die Lymphopenie, d. h. die apoptotische Depletion von Lymphozyten, die vor allem in der späten hypo-inflammatorischen Phase der Sepsis auftritt. Die dafür verantwortlichen Signalwege sind jedoch nicht im Detail geklärt. Die Liganden-vermittelte Aktivierung von PPARgamma (‚peroxisome proliferator activated receptor gamma’), einem wichtigen Regulator der Immunantwort, führt zur Apoptose in aktivierten T-Zellen. Daher postulierte ich, dass die PPARgamma-vermittelte Apoptose in T-Zellen zur Lymphopenie während der Sepsis beiträgt. Hierbei konnte ich zeigen, dass T-Zellen aus dem peripheren Blut von Sepsis-Patienten eine stark erhöhte PPARgamma-mRNA-Expression zeigten und in vitro stark erhöhte Apoptoseraten infolge einer Liganden-vermittelten PPARgamma-Aktivierung aufwiesen. Die hierfür erforderlichen PPARgamma-Liganden lagen im Plasma von Sepsis-Patienten vor. D. h. die PPARgamma-vermittelte Apoptose in T-Zellen könnte zur nachgewiesenen Lymphopenie während der Sepsis beitragen. Aufgrund der anti-inflammatorischen Wirkung von PPARgamma könnte dessen gezielte Aktivierung in der frühen hyper-inflammatorischen Phase durch Thiazolidindione (TZDs) als synthetische PPARgamma-Aktivatoren therapeutisch interessant sein. Da diese jedoch auch auf PPARgamma-unabhängigen Wegen den Zelltod in T-Zellen induzieren können, war es essentiell, die dafür verantwortlichen Signalwege zu klären. Dabei konnte ich feststellen, dass Ciglitazon Nekrose und Troglitazon Apoptose auf PPARgamma-unabhängigen Wegen bereits nach 4 h in Jurkat T-Zellen induzierten, wohingegen Rosiglitazon keinen Einfluss auf den Zelltod hatte. Die Inkubation der TZDs führte zur Produktion von reaktiven Sauerstoffspezies, welche eine wichtige Rolle bei der Ciglitazon-induzierten Nekrose, jedoch nur marginal bei der Troglitazon-induzierten Apoptose spielten. Durch Studien in submitochondrialen Partikeln konnte ich zeigen, dass die getesteten TZDs den Komplex I der mitochondrialen Atmungskette inhibierten, während nur Ciglitazon und Troglitazon zusätzlich den Komplex II hemmen konnten. Mit Hilfe synthetischer Atmungskette-Inhibitoren konnte ich weiterhin zeigen, dass die Zelltod-Induktion nach Ciglitazon und Troglitazon in Jurkat T-Zellen hauptsächlich auf der Hemmung des Komplexes II beruhte. Da die Ciglitazon-Inkubation zur Depletion des ATP-Gehaltes führte, erfolgte eine Nekrose-Induktion nach Ciglitazon, wohingegen Troglitazon den ATP-Gehalt nicht beeinflusste und daher Apoptose induzierte. Die von mir identifizierten PPARgamma-unabhängigen Mechanismen der Zelltod-Induktion durch TZDs könnten eventuell Nebenwirkungen bei TZD-basierten Therapien erklären.
This dissertation is intended to transport the theory of Serre functors into the context of A-infinity-categories. We begin with an introduction to multicategories and closed multicategories, which form a framework in which the theory of A-infinity-categories is developed. We prove that (unital) A-infinity-categories constitute a closed symmetric multicategory. We define the notion of A-infinity-bimodule similarly to Tradler and show that it is equivalent to an A-infinity-functor of two arguments which takes values in the differential graded category of complexes of k-modules, where k is a commutative ground ring. Serre A-infinity-functors are defined via A-infinity-bimodules following ideas of Kontsevich and Soibelman. We prove that a unital closed under shifts A-infinity-category over a field admits a Serre A-infinity-functor if and only if its homotopy category admits an ordinary Serre functor. The proof uses categories and Serre functors enriched in the homotopy category of complexes of k-modules. Another important ingredient is an A-infinity-version of the Yoneda Lemma.
Zwölf Testpflanzen des Weinbauinstituts Freiburg wurden auf deren Resistenzeigenschaften gegenüber dem Virusvektor Xiphinema index und dem GFLV getestet. Das Hauptziel dieser Arbeit lag in der Entwicklung eines in-vitro-Testsystems für Reben, das detaillierte Einblicke in das Wurzel-Nematoden-System erlaubt. Anhand dieses in-vitro-Testsystems konnten zwei unterschiedliche Reaktionen der Wurzeln dieser Testreben auf die Saugtätigkeit der Nematoden festgestellt werden. Es konnte sowohl eine Gallenbildung als auch eine Nekrosenbildung bei den unterschiedlichen Kreuzungen der Testpflanzen beobachtet werden. Alle Testpflanzen aus verschiedenen Kreuzungen zeigten eine Abwehrreaktion gegenüber den Nematoden. Dies resultierte in Auftreten von Transkripten der Phenylalanin-Ammonium-Lyase (PAL) und der Bildung von Superoxid-Radikalen. Bei zwei V. rotundifolia-Hybriden war zusätzlich die Callose-Synthase aktiv und es kam außerdem zu einer Callose-Deposition an den betroffenen Stellen im Wurzelgewebe. Bis auf Testpflanze 46, einem V. rotundifolia-Hybrid waren alle getesteten Reben nach vier Wochen Versuchsdauer sensitiv für eine Transmission des GFLV. Dieser Hybrid war an den Wurzeln durch die Saugtätigkeit der Nematoden nekrosenbildend und zeigte eine Callose-Synthase-Aktivität. X. index findet seine Wirtspflanzen durch Chemotaxis. Er orientiert sich anhand von Wurzelexudaten, die von Wurzeln ins Medium abgeben werden. Totes Wurzelgewebe kann der Nematode nicht lokalisieren und stellt keinen Stimulus dar. Bei knappem Nahrungsangebot nutzt der Nematode vorhandene Nahrungsressourcen aller Rebsorten mit verschiedenster Beschaffenheit. Mit dem Pflanzenhormon Methyljasmonat behandelte Wurzeln wurden gezielt gemieden. Zwei mit dem GFLV infizierte Rebflächen an verschiedenen Standorten zeigten innerhalb dreijähriger Beobachtung eine Zunahme von virustragenden Rebstöcken. Ein Hinweis auf die Verbreitung durch virusübertragende Nematoden konnte durch Bodenproben bisher nicht bestätigt werden.
Guaranteeing correctness of compilation is a ma jor precondition for correct software. Code generation can be one of the most error-prone tasks in a compiler. One way to achieve trusted compilation is certifying compilation. A certifying compiler generates for each run a proof that it has performed the compilation run correctly. The proof is checked in a separate theorem prover. If the theorem prover is content with the proof, one can be sure that the compiler produced correct code. This paper presents a certifying code generation phase for a compiler translating an intermediate language into assembler code. The time spent for checking the proofs is the bottleneck of certifying compilation. We exhibit an improved framework for certifying compilation and considerable advances to overcome this bottleneck. We compare our implementation featuring the Coq theorem prover to an older implementation. Our current implementation is feasible for medium to large sized programs.
Given a directed graph G = (N,A) with arc capacities u and a minimum cost flow problem defined on G, the capacity inverse minimum cost flow problem is to find a new capacity vector u' for the arc set A such that a given feasible flow x' is optimal with respect to the modified capacities. Among all capacity vectors u' satisfying this condition, we would like to find one with minimum ||u' - u|| value. We consider two distance measures for ||u' - u||, rectilinear and Chebyshev distances. By reduction from the feedback arc set problem we show that the capacity inverse minimum cost flow problem is NP-hard in the rectilinear case. On the other hand, it is polynomially solvable by a greedy algorithm for the Chebyshev norm. In the latter case we propose a heuristic for the bicriteria problem, where we minimize among all optimal solutions the number of affected arcs. We also present computational results for this heuristic.
GPU Stereo Vision
(2007)
To analyze scenery obstacles in robotics applications depth information is very valuable. Stereo vision is a powerful way to extract dense range information out of two camera images. In order to unload the CPU the intensive computation can be moved to GPU, taking advantage of the parallel processing capabilities of todays consumer level graphics hardware. This work shows how an efficient implementation on the GPU can be realized utilizing the NVIDIA Cuda framework.
In this paper we construct spline functions based on a reproducing kernel Hilbert space to interpolate/approximate the velocity field of earthquake waves inside the Earth based on traveltime data for an inhomogeneous grid of sources (hypocenters) and receivers (seismic stations). Theoretical aspects including error estimates and convergence results as well as numerical results are demonstrated.
Die Bestimmung der Filtrierbarkeit von Suspensionen mit einer neuen Auswertemethode auf der Grundlage bekannter und erprobter Auswerteverfahren ergibt eindeutige Auswertekriterien insbesondere bei inkompressiblen Feststoffen und newtonschen Flüssigkeiten. Eine verbesserte Messtechnik erfasst den Filtratanfall bei beginnender Sättigung genau und vereinfacht die Zeitnahme. Methode und Technik erhöhen Genauigkeit und Reproduzierbarkeit bei der Bestimmung von Filtermittel- und Filterkuchenwiderstand und schaffen eine präzise Grundlage zur Auslegung von kontinuierlichen Fest-Flüssig-Filtern hoher Durchsatzleistung oder zur Entwicklung widerstandsarmer Filtermittel. Die Messungen zeigen einen hohen Anteil des Filtermittelwiderstandes am Gesamtwiderstand und erlauben die Berechnung eines Richtwertes für den Filtermittelwiderstand. Die industrielle Fest-Flüssig-Trennung wird in der chemischen, pharmazeutischen und Aufbereitungs-Industrie zu einem großen Teil auf kontinuierlich betriebenen Filtern durchgeführt, bei denen die Flüssigkeit vom Feststoff durch Kuchenfiltration sehr vollständig getrennt werden kann. Diese Filter sind durch Filtrationszykluszeiten zwischen 10 und 100 Sekunden charakterisierbar. Bei der Auslegung, Simulation oder Optimierung dieser Filter ist der Prozessingenieur auf genaue Daten zur Filtrierbarkeit der Suspensionen angewiesen. Die Theorie des durchströmten Filterkuchens ist sehr perfektioniert. Weniger Beachtung hatte dagegen der Einfluss des Filtermittels auf den Gesamtwiderstand bei der Filtration gefunden. Dies lag in der Vergangenheit teilweise daran, dass die genaue Bestimmung des Filtermittelwiderstandes RM – die zusammen mit der Bestimmung des Filterkuchenwiderstandes rK erfolgt – schwierig war. In den letzten Jahren wurden Filter für sehr hohe spezifische Durchsätze gebaut, bei denen dieser Wert von erheblichem Einfluss ist. Ziel der Arbeit war es, mehr Wissen und genaue Daten zum Filtermittelwiderstand zu erarbeiten. Es wurden umfangreiche Messungen des Filtermittelwiderstandes mit unterschiedlichen Filtermitteln und verschiedenen Produkten in wässrigen Suspensionen durchgeführt. Zur genauen Bestimmung des Filtermittelwiderstandes wurde ein gegenüber dem Stand der Technik verbesserter Versuchsaufbau mit rechnergestützter Datenerfassung entwickelt. Filtratanfall und Druckverlauf wurden bei den Versuchen festgehalten. Bei der Auswertung der Filterkurven wurden eindeutige Kriterien zur Bestimmung von Anfang und Ende der Filtration eingeführt. Dies erfolgte durch die Kombination von zwei bekannten und erprobten Auswerteverfahren zur Bestimmung der Filtrationseigenschaften. Diese Kombination ergab mit der verbesserten Versuchstechnik neben der Eindeutigkeit auch den Vorteil der exakten Erfassung des Filtratanfalls bei beginnender Sättigung, die ebenfalls zur erhöhten Genauigkeit bei der Bestimmung der Filterwiderstände beitrug. Der Filtermittelwiderstand kann bei kontinuierlich betriebenen Filtern am Ende des Filtrationszyklus 25 % des Gesamtwiderstandes und mehr erreichen. Bei leicht filtrierbaren Feststoffen werden trotz offener Filtergewebe auch höhere Anteile am Gesamtwiderstand gefunden. Der Filtermittelwiderstand ist bei kontinuierlichen Filtern ein wesentlicher Faktor bei der Filterauslegung. Durch Variation der Parameter der Filtergleichung wie Feststoffgehalt, Druck usf. wurden die Einflüsse wichtiger Betriebsparameter auf tendenzielle Änderungen der Widerstände untersucht. Bei diesen Messungen wurde festgestellt, dass der Durchflusswiderstand des Filtermittels bei höheren Durchflussgeschwindigkeiten nicht konstant ist. Die Einführung einer Reynoldszahl, die auf den nominellen Porendurchmesser bezogen ist, erlaubt es Strömungszustände zu definieren, ab denen der Durchflusswiderstand nicht mehr konstant ist. Mit den bekannten Gesetzten der Durchströmung poröser Haufwerke lassen sich Widerstandszahlen, analog zur Rohrreibungszahl, und daraus Druckverluste errechnen. Letztere sind mit den gemessenen Druckverlusten aus der Bestimmung der Filtermittelleerwiderstände gut korreliert. Mechanische Vorgänge bei der Partikelabscheidung an Filtermitteln werden anhand eines Kugel-Loch-Modells diskutiert. Experimentelle Ergebnisse stützen Schlussfolgerungen, die aufgrund dieses Modells gezogen wurden. Dazu wurden Überlegungen möglich, welche einige Tendenzen bei der Variation der Porengrößen bei unterschiedlichen Filtermedien erklären können.