Refine
Year of publication
- 1998 (147) (remove)
Document Type
- Preprint (109)
- Article (21)
- Doctoral Thesis (7)
- Lecture (3)
- Report (3)
- Diploma Thesis (1)
- Master's Thesis (1)
- Periodical Part (1)
- Working Paper (1)
Keywords
- AG-RESY (13)
- PARO (12)
- SKALP (9)
- Case Based Reasoning (4)
- industrial robots (4)
- motion planning (3)
- parallel processing (3)
- CIM-OSA (2)
- HANDFLEX (2)
- Kalman filtering (2)
- TOVE (2)
- coset enumeration (2)
- on-line algorithms (2)
- particle methods (2)
- path planning (2)
- search algorithms (2)
- subgroup problem (2)
- Analysis (1)
- Boltzmann Equation (1)
- C5H3(SiMe3)2-Liganden (1)
- CFD (1)
- Chirale Induktion (1)
- Cobalt-Halbsandwichkomplexe (1)
- Complexity (1)
- Correspondence with other notations (1)
- Dependency Factors (1)
- Dirichlet series (1)
- Distributed Software Development (1)
- EXPRESS-G (1)
- Electron states in low-dimensional structures (1)
- Enterprise modeling (1)
- Enterprise modelling (1)
- Funktionalanalysis (1)
- Grid Graphs (1)
- Gröbner base (1)
- Gröbner bases (1)
- Gröbner bases in monoid and group rings (1)
- HOT (1)
- Hilbert transform (1)
- Ill-Posed Problems (1)
- Indexierung (1)
- Inhaltserschließung (1)
- Integral (1)
- Integration (1)
- Internet Based Software Process Management Environment (1)
- Kallianpur-Robbins law (1)
- Koordinationschemie (1)
- Kristallographie (1)
- LCSH (1)
- Learning systems (1)
- Lebesque-Integral (1)
- Linear Integral Equations (1)
- MEGI (1)
- MILOS (1)
- Monoid and group rings (1)
- Monotone dynamical systems (1)
- Navier-Stokes (1)
- Nonlinear dynamics (1)
- Numerical Simulation (1)
- Ontolingua (1)
- Ontology (1)
- PC-based robot control (1)
- PERA (1)
- Phosphor (1)
- Pn (1)
- Quantum mechanics (1)
- RSWK (1)
- Rarefied Gas Flows (1)
- Rayleigh Number (1)
- Recurrent neural networks (1)
- Riemann-Siegel formula (1)
- Riemannsche Summen (1)
- Robust reliability (1)
- SWEEPING (1)
- Simultaneous quantifier elimination (1)
- Singularity theory (1)
- Treppenfunktionen (1)
- Tunneling (1)
- UML (1)
- Vorlesungsskript (1)
- WETICE 98 (1)
- Wannier-Bloch resonance states (1)
- Wannier-Stark systems (1)
- adaptive grid generation (1)
- area loss (1)
- automated proof planner (1)
- bi-directional search (1)
- center and median problems (1)
- chaos (1)
- cholesterische Phasen (1)
- client/server-architecture (1)
- confluence (1)
- convex models (1)
- crack diagnosis (1)
- cusp forms (1)
- da (1)
- damage diagnosis (1)
- discretization (1)
- distributed and parallel processing (1)
- distributed control system (1)
- distributed processing (1)
- domain decomposition (1)
- exact fully discrete vectorial wavelet transform (1)
- fixpoint theorem (1)
- fluid dynamic equations (1)
- graph search (1)
- higher order (1)
- higher order tableau (1)
- initial value representation (1)
- kinetic equations (1)
- kinetic models (1)
- konvexe Analysis (1)
- level set method (1)
- lifetime statistics (1)
- lifetimes (1)
- locational analysis (1)
- log averaging methods (1)
- molekularer Chiralitätswechselwirkungstensor (1)
- monoid- and group-presentations (1)
- moving contact line (1)
- multi-hypothesis diagnosis (1)
- natural language semantics (1)
- non-linear dynamics (1)
- numerics for pdes (1)
- occupation measure (1)
- off-line programming (1)
- planar Brownian motion (1)
- prefix reduction (1)
- prefix string rewriting (1)
- prefix-rewriting (1)
- proof presentation (1)
- pyramid scheme (1)
- quantum chaos (1)
- quantum mechanics (1)
- quasienergy (1)
- rarefied gas flows (1)
- ratio ergodic theorem (1)
- reinitialization (1)
- resonances (1)
- robot calibration (1)
- robot control architectures (1)
- robot motion planning (1)
- rotating machinery (1)
- scale discrete spherical vector wavelets (1)
- search algorithm (1)
- search alogorithms (1)
- semiclassical (1)
- sequent calculus (1)
- skolemization (1)
- stationary solutions (1)
- steady Boltzmann equation (1)
- strong theorems (1)
- subgroup presentation problem (1)
- theorem prover (1)
- trajectory optimization (1)
- variable cardinality case (1)
- vectorial multiresolution analysis (1)
- vehicular traffic (1)
Faculty / Organisational entity
- Kaiserslautern - Fachbereich Informatik (38)
- Kaiserslautern - Fachbereich Mathematik (35)
- Kaiserslautern - Fachbereich Physik (35)
- Fraunhofer (ITWM) (12)
- Kaiserslautern - Fachbereich Wirtschaftswissenschaften (9)
- Kaiserslautern - Fachbereich Elektrotechnik und Informationstechnik (6)
- Kaiserslautern - Fachbereich Maschinenbau und Verfahrenstechnik (6)
- Kaiserslautern - Fachbereich Biologie (3)
- Kaiserslautern - Fachbereich Chemie (2)
- Universitätsbibliothek (1)
This paper discusses the problem of automatic off-line programming and motion planning for industrial robots. At first, a new concept consisting of three steps is proposed. The first step, a new method for on-line motion planning is introduced. The motion planning method is based on the A*-search algorithm and works in the implicit configuration space. During searching, the collisions are detected in the explicitly represented Cartesian workspace by hierarchical distance computation. In the second step, the trajectory planner has to transform the path into a time and energy optimal robot program. The practical application of these two steps strongly depends on the method for robot calibration with high accuracy, thus, mapping the virtual world onto the real world, which is discussed in the third step.
This paper presents a new approach to parallel motion planning for industrial robot arms with six degrees of freedom in an on-line given 3D environment. The method is based on the A-search algorithm and needs no essential off-line computations. The algorithm works in an implicitly descrete configuration space. Collisions are detected in the Cartesian workspace by hierarchical distance computation based on the given CAD model. By decomposing the 6D configuration space into hypercubes and cyclically mapping them onto multiple processing units, a good load distribution can be achieved. We have implemented the parallel motion planner on a workstation cluster with 9 PCs and tested the planner for several benchmark environments. With optimal discretisation, the new approach usually shows linear speedups. In on-line provided environments with static obstacles, the parallel planning times are only a few seconds.
A practical distributed planning and control system for industrial robots is presented. The hierarchical concept consists of three independent levels. Each level is modularly implemented and supplies an application interface (API) to the next higher level. At the top level, we propose an automatic motion planner. The motion planner is based on a best-first search algorithm and needs no essential off-line computations. At the middle level, we propose a PC-based robot control architecture, which can easily be adapted to any industrial kinematics and application. Based on a client/server-principle, the control unit estab-lishes an open user interface for including application specific programs. At the bottom level, we propose a flexible and modular concept for the integration of the distributed motion control units based on the CAN bus. The concept allows an on-line adaptation of the control parameters according to the robot's configuration. This implies high accuracy for the path execution and improves the overall system performance.
This paper presents a new approach to parallel motion planning for industrial robot arms with six degrees of freedom in an on-line given 3D environment. The method is based on the A*-search algorithm and needs no essential off-line computations. The algorithm works in an implicitly descrete configuration space. Collisions are detected in the cartesian workspace by hierarchical distance computation based on the given CAD model. By decomposing the 6D configuration space into hypercubes and cyclically mapping them onto multiple processing units, a good load distribution can be achieved. We have implemented the parallel motion planner on a workstation cluster with 9 PCs and tested the planner for several benchmark environments. With optimal discretisation, the new approach usually shows linear, and sometimes even superlinear speedups. In on-line provided environments with static obstacles, the parallel planning times are only a few seconds.
Anwendungen effizienter Verfahren in Automation - Universität Karlsruhe auf der SPS97 in Nürnberg -
(1998)
Programs are linguistic structures which contain identifications of individuals: memory locations, data types, classes, objects, relations, functions etc. must be identified selectively or definingly. The first part of the essay which deals with identification by showing and designating is rather short, whereas the remaining part dealing with paraphrasing is rather long. The reason is that for an identification by showing or designating no linguistic compositions are needed, in contrast to the case of identification by paraphrasing. The different types of functional paraphrasing are covered here in great detail because the concept of functional paraphrasing is the foundation of functional programming. The author had to decide whether to cover this subject here or in his essay Purpose versus Form of Programs where the concept of functional programming is presented. Finally, the author came to the conclusion that this essay on identification is the more appropriate place.
In system theory, state is a key concept. Here, the word state refers to condition, as in the example Since he went into the hospital, his state of health worsened daily. This colloquial meaning was the starting point for defining the concept of state in system theory. System theory describes the relationship between input X and output Y, that is, between influence and reaction. In system theory, a system is something that shows an observable behavior that may be influenced. Therefore, apart from the system, there must be something else influencing and observing the reaction of the system. This is called the environment of the system.
Bekanntlich gibt es keinen befriedigenden unendlich dimensionalen Ersatz für das Lebesgue-Mass. Andererseits lassen sich viele Techniken klassischer Analysis auch auf unendlich dimensionale Situationen übertragen. Eine Möglichkeit hierzu gibt die Theorie differenzierbarer Masse. Man definiert Richtungsableitungen für Masse ähnlich wie für Funktionen. Eines der zentralen Beispiele ist das Wiener-Mass. Stochastische Integration bezüglich der Brownschen Bewegung, insbesondere das Skorokhod-Integral ergeben sich in natürlicher Weise durch diesen Ansatz und auch die Grundideen des MalliavinKalküls lassen sich in diesem Rahmen einfach erläutern. Die Vorträge geben die meisten Beweise.
In dieser Arbeit wurden Cophoto- und Cothermolysen einer Serie von alkylierten und silylierten Cyclopentadienylcobaltcarbonylen mit weißem Phosphor untersucht. Dazu wurden einige neue Komplexe des Typus [CpRCo(CO)2] mit CpR= (C5(Me2-1,3)iPr3), (C5H3(Me3Si)2-1,3), (C5H2(Me3Si)3-1,2,4) sowie des Zweikernkomplexes [{CpRCo(micro-CO)}2] mit CpR= (C5(Me2-1,3)iPr3) hergestellt. Neben den vorgenannten Komplexen wurden die bereits literaturbekannten Verbindungen [CpRCo(CO)2] mit CpR= (C5Me5), (C5H4(Me3Si)) als Edukte eingesetzt. Die präparative Zugänglichkeit von drei- bis vierkernigen Cobaltkomplexen mit unsubstituierten P8-, P10- und P12-Liganden konnte beträchtlich erweitert werden. Die thermische Reaktion von Dicarbonyl(trimethylsilylcyclopentadienyl)cobalt mit weißem Phosphor führt in sehr guten Ausbeuten zur Bildung des Clusters [{CpRCo}4P4] (CpR= C5H4(Me3Si)). Die Röntgenstrukturanalyse eines Trillingskristalls läßt lediglich eine ungefähre Bestimmung des Schweratomgerüstes als quadratisches Antiprisma zu. Die Umsetzung von Dicarbonyl(1,3-bis(trimethylsilyl)cyclopentadienyl)cobalt mit weißem Phosphor ergibt unter geeigneten Bedingungen (140°C, 3d) selektiv und in sehr hoher Ausbeute den Vierkernkomplex [{CpRCo}4P10] (I) (CpR= C5H3(Me3Si)2-1,3). Mit I konnte erstmals ein Cobaltkomplex mit einem P10-Liganden röntgenographisch charakterisiert werden. Der Schweratomkäfig in I läßt sich von der Nortricyclanstruktur ableiten. Interessantes Merkmal ist die Koordination eines Cobaltfragmentes an eine P-P-Kante in einer Weise, die einen Zustand zwischen der side-on-Koordination an diese sigma-Bindung und der Insertion in diese Kante darstellt (d(P-P) = 2.47 Å). Die photochemische Reaktion von Dicarbonyl(1,3-bis(trimethylsilyl)cyclopentadienyl)cobalt mit weißem Phosphor ergibt je nach Stöchiometrie die Komplexe [{CpRCo}3P4(CO)] (II) bzw. [{CpRCo}2P4] (III) (CpR= C5H3(Me3Si)2-1,3), die röntgenographisch charakterisiert wurden. Komplex II ist ein arachno-Cluster, der formal von einem zweifach überkappten trigonalen Prisma abgeleitet werden kann. Die längsten P-P-Abstände in II liegen mit d(P-P, Mw.) = 2.51 Å an der Obergrenze bekannter bindender P-P-Wechselwirkungen. Verbindung III ist ein Vertreter einer Serie von [{CpRCo}2(micro,eta2:2-P2)2]-Komplexen, welche ein rechteckig verzerrtes Co2P4-Oktaeder als Schweratomgerüst aufweisen. Es wurden Röntgenstrukturen der Komplexe mit CpR= (C5((CH3)2-1,3)iPr3), (C5H3(Me3Si)2-1,3), (C5H2(Me3Si)3-1,2,4) bestimmt. Diese Verbindungen weisen kurze P-P-Abstände mit d(P-P) = 2.054 bis 2.064 Å sowie P-P-Kontakte von d(P...P) = 2.679 bis 2.713 Å auf.
In der vorliegenden Arbeit wurde die chirale Induktion cholesterischer Phasen von unverbrückten 1,1'- Binaphthylen und über die 2,2'-Position verbrückten 1,1'-Binaphthylen untersucht, um eine Struktur/Wirkungsbeziehung zu entwickeln. Dazu wurden enantiomerenreine 1,1'-Binaphthyle (2 - 7) sowie ihre deuterierten Analoga (1, 3 - 7) für die 2H-NMR-Spektroskopie und die Racemate für die UV-Spektroskopie (3 - 7) synthetisiert. Die Verbindungen 6 und 7 sind bisher in der Literatur nicht beschrieben. Alle untersuchten Verbindungen bestehen aus Molekülen mit der Symmetriegruppe C2, sind inhärent dissymmetrisch (Klasse C) und als hinreichend starr anzusehen, so daß nur der intermolekulare Chiralitätstransfer zu diskutieren ist. Es zeigt sich, daß die chirale Induktion, ausgedrückt durch die helical twisting power (HTP), dann zum einen durch die chiralen Strukturelemente der Verbindungen und zum zweiten durch die Orientierung der Verbindungen in der Phase bestimmt wird. Verbrückte und unverbrückte 1,1'-Binaphthyle verhalten sich so unterschiedlich, daß sie in ihren Mechanismen getrennt diskutiert werden müssen. Über die 2H-NMR-Spektroskopie und z.T. über die polarisierte UV-Spektroskopie ergab sich für die verbrückten 1,1'-Binaphthyle (4, 5 und 6) daß die Orientierungsachse x3* etwa in Richtung der Naphthyl-Naphthyl- Bindungsrichtung liegt. Nimmt man Verbindung 4 als Basis und führt am Brückenatom einen spiro-verknüpften Cyclohexylring (Verbindung 5) oder als Brücke eine Di-tert.-butyl-Silizium-Gruppe ein (Verbindung 6), so wird die Ordnung bezüglich S* erniedrigt und die molekulare Biaxialität D* vergrößert. Ein spiro-verknüpfter Acetal- Fünfring zusätzlich zum Cyclohexylring von 5 (Verbindung 7), führt bei 7 zu einem Kippen der Orientierungsachse in Richtung der C2-Symmetrieachse. Das Ordnungsverhalten von 3 ließ sich nach I. Kiesewalter [Dissertation, Universität Kaiserslautern, 1999] und E. Dorr [Dissertation, Universität Kaiserslautern, 1999] nicht eindeutig bestimmen. Die Ergebnisse aus dem 2H-NMR sprechen bei 3 für eine Drehung der Orientierungsachse, die dann senkrecht zur C2-Symmetrieachse und der Naphthyl-Naphthyl-Bindungsrichtung steht. Mit den so erhaltenen Ordnungsparametern führt bei 3 der Versuch, die Lage des Hauptachsensystems aus dem 2H-NMR mit den Ergebnissen aus der anisotropen UV-Spektroskopie zu verifizieren, was für alle anderen untersuchten Verbindungen gelingt, zu Widersprüchen, die bisher nicht aufgelöst werden konnten. Das Chiralitätselement, das die HTP der verbrückten 1,1'-Binaphthyle bestimmt, wird durch die Verdrehung der beiden Naphthyl-Ebenen gegeneinander um einen Winkel theta gebildet, wobei zwischen theta = 0 Grad und theta = 180 Grad entgegen der Literaturbeschreibung keine achirale Nullstelle exisitiert. Die Substitution am Brückenatom erhöht die HTP woraus geschlossen werden kann, daß durch den Cyclohexyl-Substituenten eine dritte Ebene eingeführt wird, die mit den Ebenen der Naphthyle ein bzw. zwei neue Chiralitätselemente bildet, die zur HTP einen Beitrag leisten. Bei Verbindung 7 führt die veränderte Ordnung zu einem stärkeren Induktionseffekt, d.h. einem verstärkten intermolekularen Chiralitätstransfer. Bei unverbrückten 1,1'-Binaphthylen (1 bis 3), die weit niedrigere HTP-Werte als 4 bis 7 besitzen, findet man bei einer Verbindung (3) mit sterisch aufwendigen Substituenten in 2,2'-Position eine Vorzeichenumkehr der HTP. Dieser Effekt wurde von Gottarelli et al. als eine Umkehr der Helizität der 1,1'-Binaphthyle interpretiert. Diese Interpretation erweist sich als unzulässig, weil sie keine reale physikalische Basis hat. Bei unverbrückten 1,1'- Binaphthylen kann sich durch Aufdrehen des Diederwinkels theta das Orientierungsverhalten verändern und die Orientierungsachse drehen, was durch das Modell von Nordio bestätigt wird. Da dem Modell von Nordio ein spurloser Helizitätstensor zugrunde liegt, kann eine Veränderung der Tensorkoordinaten des Ordnungstensors unter bestimmten Voraussetzungen zu einer Vorzeichenumkehr der HTP führen. Wegen der Befunde aus der CD- Spektroskopie, die eine im Mittel transoide Konformation für die unverbrückten 1,1'-Binaphthyle ausschließen, kommt die Nordio'sche Interpretation für die hier untersuchten unverbrückten 1,1'-Binaphthyle nur unter der Annahme in Frage, daß bei den unverbrückten 1,1'-Binaphthyle eine breite Verteilung über den Diederwinkel theta vorliegt (LAM-Verhalten). Die theoretische Beschreibung der HTP, die von Nordio eingeführt wurde, erlaubt es nicht, die HTP eines Dotierstoffes in seiner Temperaturabhängigkeit zu beschreiben. Berechnet man mit Hilfe experimentell bestimmter Ordnungsparameter auf Basis der Gleichung von Nordio und Ferrarini aus den temperaturabhängigen HTP- Kurven die Tensorkoordinaten des Helizitätstensors, so zeigen sich systematische Abweichungen in den "rückgerechneten" HTP-Kurven. Im Rahmen der vorliegenden Arbeit wurde deshalb ein neuer Ansatz zur quantitativen Beschreibung der HTP eingeführt, der auf Annahmen einer Theorie basiert, die die ACD- Spektroskopie (CD anisotroper Proben) beschreibt. Es wurde ein Chiralitätswechselwirkungstensor eingeführt, dessen Koordinaten durch multiple Regression aus den temperaturabhängigen HTP-Kurven mit den Ordnungsparametern aus dem 2H-NMR erhalten wurden. Mit dem neuen Ansatz ergibt sich eine sehr gute Beschreibung der Größe und Temperaturabhängigkeit der experimentellen HTP-Werte. Die Analyse dieser Daten zeigt, daß die mittlere Lage der HTP-Kurven von der Spur des Chiralitätswechselwirkungstensors (bzw. von dem Term W/3 mit W = Summe(Wii*)) bestimmt wird, also dem Anteil an der HTP, der durch ein Dotierstoff-Molekül induziert werden würde, das in der anisotropen Phase isotrop verteilt ist. Die Krümmung der HTP-Kurven wird durch den D*-Anteil des Effekts verursacht. Der S*- Anteil führt bei niedriger Ordnung nur zu einer geringen Verschiebung der HTP-Kurve. Bei hoher Ordnung kann durch den S*-Anteil bei den Verbindungen 1, 3, 4 und 5 eine Helixinversion in der (theoretischen) HTP-Kurve vorausgesagt werden. Analysiert man den Gesamteffekt hinsichtlich seiner Anteile aus den Richtungen der Hauptachsen des Ordnungstensors, d.h. die Produkte gii33*Wii*, so findet man bei verbrückten 1,1'-Binaphthylen 4 bis 7, daß entlang der C2-Symmetrieachse der 1,1'-Binaphthyle der bei weitem größte Anteil am Gesamteffekt gefunden wird. Dieser Befund erklärt auch warum die Beschreibung von Nordio zu einer guten Übereinstimmung mit den experimentellen HTP-Werten führt, obwohl nach Nordio ein isotrop verteilter Dotierstoff keine HTP hat. Auch im Modell von Nordio wird der Effekt von dem Produkt einer Tensorkoordinate des Helizitätstensors und einer Tensorkoordinate des Ordnungstensors bestimmt, das der Richtung der C2-Symmetrieachse zuzuordnen ist. Allerdings ist das Modell von Nordio nur für eine "mittlere Ordnung" des Dotierstoffs anwendbar, da für sehr kleine Ordnung des Dotierstoffes die HTP gegen Null geht. Die Interpretation der Tensorkoordinaten des Chiralitätswechselwirkungstensors der unverbrückten 1,1'- Binaphthyle ist problematischer als bei den verbrückten 1,1'-Binaphthylen weil für die unverbrückte Verbindung 3 der Widerspruch zwischen den Resultaten aus der anisotropen UV-Spektroskopie und dem 2H-NMR besteht. Nach den vorliegenden Daten dominiert wie auch bei 4 bis 6 der Term g2233*W22* den Effekt, dieser ist aber nicht der Richtung der C2-Symmetrieachse zugeordnet. Die Tensorkoordinaten Wii* sind signifikant kleiner als bei den verbrückten 1,1'-Binaphthylen. Möglicherweise führt das LAM-Verhalten zu einer Verteilung über den Winkel theta und damit zu einer Orientierungsverteilung, die zu kleinen Werten im Chiralitätswechselwirkungstensor und der HTP führt.
In this paper we study a particular class of \(n\)-node recurrent neural networks (RNNs).In the \(3\)-node case we use monotone dynamical systems theory to show,for a well-defined set of parameters, that,generically, every orbit of the RNN is asymptotic to a periodic orbit.Then, within the usual 'learning' context of NeuralNetworks, we investigate whether RNNs of this class can adapt their internal parameters soas to 'learn' and then replicate autonomously certain external periodic signals.Our learning algorithm is similar to identification algorithms in adaptivecontrol theory. The main feature of the adaptation algorithm is that global exponential convergenceof parameters is guaranteed. We also obtain partial convergence results in the \(n\)-node case.
In this paper we present a domain decomposition approach for the coupling of Boltzmann and Euler equations. Particle methods are used for both equations. This leads to a simple implementation of the coupling procedure and to natural interface conditions between the two domains. Adaptive time and space discretizations and a direct coupling procedure leads to considerable gains in CPU time compared to a solution of the full Boltzmann equation. Several test cases involving a large range of Knudsen numbers are numerically investigated.
Application of Moment Realizability Criteria for Coupling of the Boltzmann and Euler Equations
(1998)
The moment realizability criteria have been used to test the domains of validity of the Boltzmann and Euler Equations. With the help of this criteria teh coupling of the Boltzmann and Euler equations have been performed in two dimensional spatial space. The time evolution of domain decompositions for such equations have been presented in different time steps. The numerical resulta obtained from the coupling code have been compared with those from the pure Boltzmann one.
We consider N coupled linear oscillators with time-dependent coecients. An exact complex amplitude - real phase decomposition of the oscillatory motion is constructed. This decomposition is further used to derive N exact constants of motion which generalise the so-called Ermakov-Lewis invariant of a single oscillator. In the Floquet problem of periodic oscillator coecients we discuss the existence of periodic complex amplitude functions in terms of existing Floquet solutions.
We present a particle method for the numerical simulation of boundary value problems for the steady-state Boltzmann equation. Referring to some recent results concerning steady-state schemes, the current approach may be used for multi-dimensional problems, where the collision scattering kernel is not restricted to Maxwellian molecules. The efficiency of the new approach is demonstrated by some numerical results obtained from simulations for the (two-dimensional) BEnard's instability in a rarefied gas flow.
The paper studies differential and related properties of functions of a real variable with values in the space of signed measures. In particular the connections between different definitions of differentiability are described corresponding to different topologies on the measures. Some conditions are given for the equivalence of the measures in the range of such a function. These conditions are in terms of socalled logarithmic derivatives and yield a generalization of the Cameron-Martin-Maruyama-Girsanov formula. Questions of this kind appear both in the theory of differentiable measures on infinite-dimensional spaces and in the theory of statistical experiments.
Outsourcing und Übertragungsmöglichkeiten des Outsourcings auf die Universität Kaiserslautern
(1998)
Verbale Sacherschließung
(1998)
Das Skript gibt eine Einführung in die Geschichte, die Terminologie und die Verfahren der verbalen Sacherschließung. Im deutschsprachigen und englischsprachigen Raum etablierte Verfahren, wie die "Regeln für den Schlagwortkatalog (RSWK)" und die "Library of Congress Subject Headings (LCSH)", werden eingehend beschrieben und Aspekte der Kooperation und Tauglichkeit für Online-Kataloge diskutiert. Charakteristika sowie Vor- und Nachteile der automatischen Indexierung werden anhand des Verfahrens "Maschinelle Indexierung zur verbesserten Literaturerschließung in Online Systemen (MILOS)" dargestellt.
Functional Analysis
(1998)
The aim of this course is to give a very modest introduction to the extremely rich and well-developed theory of Hilbert spaces, an introduction that hopefully will provide the students with a knowledge of some of the fundamental results of the theory and will make them familiar with everything needed in order to understand, believe and apply the spectral theorem for selfadjoint operators in Hilbert space. This implies that the course will have to give answers to such questions as - What is a Hilbert space? - What is a bounded operator in Hilbert space? - What is a selfadjoint operator in Hilbert space? - What is the spectrum of such an operator? - What is meant by a spectral decomposition of such an operator?
We report on the exchange bias effect as a function of the in-plane direction of the applied field in twofold symmetric, epitaxial Ni 80 Fe 20 /Fe 50 Mn 50 bilayers grown on Cu~110! single-crystal substrates. An enhancement of the exchange bias field, H eb , up to a factor of 2 is observed if the external field is nearly, but not fully aligned perpendicular to the symmetry direction of the exchange bias field. From the measurement of the exchange bias field as a function of the in-plane angle of the applied field, the unidirectional, uniaxial and fourfold anisotropy contributions are determined with high precision. The symmetry direction of the unidirectional anisotropy switches with increasing NiFe thickness from [110] to [001].
Beim Greifen deformierbarer oder zerbrechlicher Werkstücke kommen der Greifgeschwindigkeit sowie der Greifkraft besondere Bedeutung zu. In dieser Arbeit wird eine universelle Steuerung für pneumatische Greifer beschrieben, die eine einfache Einstellung dieser Größen über zwei spannungsgesteuerte Proportionalventile gestattet. Diese Anordnung wird für eine Einflußanalyse von Greifkraft und Greifgeschwindigkeit beim Greifen von Kabeln und Kabelbäumen genutzt, welche sich als robust und unproblematisch erwiesen haben.
Groups can be studied using methods from different fields such as combinatorial group theory or string rewriting. Recently techniques from Gröbner basis theory for free monoid rings (non-commutative polynomial rings) respectively free group rings have been added to the set of methods due to the fact that monoid and group presentations (in terms of string rewriting systems) can be linked to special polynomials called binomials. In the same mood, the aim of this paper is to discuss the relation between Nielsen reduced sets of generators and the Todd-Coxeter coset enumeration procedure on the one side and the Gröbner basis theory for free group rings on the other. While it is well-known that there is a strong relationship between Buchberger's algorithm and the Knuth-Bendix completion procedure, and there are interpretations of the Todd-Coxeter coset enumeration procedure using the Knuth-Bendix procedure for special cases, our aim is to show how a verbatim interpretation of the Todd-Coxeter procedure can be obtained by linking recent Gröbner techniques like prefix Gröbner bases and the FGLM algorithm as a tool to study the duality of ideals. As a side product our procedure computes Nielsen reduced generating sets for subgroups in finitely generated free groups.
Todd and Coxeter's method for enumerating cosets of finitely generated subgroups in finitely presented groups (abbreviated by Tc here) is one famous method from combinatorial group theory for studying the subgroup problem. Since prefix string rewriting is also an appropriate method to study this problem, prefix string rewriting methods have been compared to Tc. We recall and compare two of them briefly, one by Kuhn and Madlener [4] and one by Sims [15]. A new approach using prefix string rewriting in free groups is derived from the algebraic method presented by Reinert, Mora and Madlener in [14] which directly emulates Tc. It is extended to free monoids and an algebraic characterization for the "cosets" enumerated in this setting is provided.
A natural extension of SLD-resolution is introduced as a goal directed proof procedure
for the full first order implicational fragment of intuitionistic logic. Its intuitionistic semantic fits a procedural interpretation of logic programming. By allowing arbitrary nested implications it can be used for implementing modularity in logic programs. With adequate negation axioms it gives an alternative to negation as failure and leads to a proof procedure for full first order predicate logic.
Der vorliegende Artikel setzt die Beitragsreihe zur Vorstellung der Ergebnisse der FEMEX fort, die mit der Präsentation einer allgemeinen Feature-Definition in [BWE-96] begonnen wurde. FEMEX (Feature Modelling Experts) ist eine internationale und interdisziplinäre Gruppe von Forschern, Entwicklern und Anwendern aus Universitäten, Forschungsinstituten und Industrie, die sich zum Ziel gesetzt haben, Grundlagen für eine Feature-basierte Produktentwicklung zu erarbeiten. Der Anwender steht dabei im Mittelpunkt der Bemühungen: die Feature-Technologie hat die Aufgabe, ihm Methoden und Werkzeuge an die Hand zu geben, mit denen er in den unterschiedlichen Phasen einer komplexen Prozeßkette effizient arbeiten kann. Vier Arbeitsgruppen wurden gebildet, die sich mit unterschiedlichen Aspekten der Feature-Technologie beschäftigen. In diesem Beitrag werden die Ergebnisse der Arbeitsgruppe II Feature Modelling Methods and Application Areas" vorgestellt. Ihre Aufgabe ist es, die Modellierungsmethoden und Anwendungsgebiete der Feature-Technologie im Kontext des Produktentwicklungs- prozesses zu untersuchen. Ausgangspunkt für die Arbeiten ist neben den benutzerspezifischen Anforderungen die Feature-Definition der Arbeitsgruppe I [BWE-96]. An dieser Definition ist hervorzuheben, daß Features keine physikalischen Elemente sind und auch keine physikalischen Entsprechungen haben müssen, sondern nur in der Welt der informationstechnischen Modelle existieren. Desweiteren sind die für den Anwender relevanten Eigenschaften der bearbeiteten Objekte, welcher Art sie auch sein mögen (beispielsweise die Funktion des Bauteils), die eigentliche Grundlage der Definition. Keiner Eigenschaft wird von vorneherein eine höhere Priorität gegeben, wodurch die Bauteilgeometrie ihre tragende Rolle bei der Modellierung verliert (bei den meisten der heute angebotenen CAD/CAM-Systemen wird dagegen üblicherweise davon ausgegangen, daß die in einem System verarbeitete Produktgeometrie die Basis für das gesamte Produktmodell darstellt).
Aesthetic Design bzw. Styling ist mehr und mehr ein zentrales Merkmal für den Erfolg von Automobilen auf dem Weltmarkt. Entsprechend den firmenspezifischen Vorstellungen werden diese Eigenschaften der Karosserien in komplexen Abläufen herausgearbeitet. Computer Aided Styling (CAS), Computer Aided Aesthetic Design (CAAD) sind die Werkzeuge zur Schaffung optimaler Karosserieformen. Die Abläufe sind von Unternehmen zu Unternehmen unterschiedlich, haben aber ähnliche Strukturen: es wird die Form der Karosserie erstellt, anschließend wird mit Hilfe geeigneter Werkzeuge die Qualität der Flächen beurteilt. In einem nächsten Schritt werden die Flächen entsprechend dieser Beurteilung wieder verändert. Diese Schleifen werden wiederholt, bis das Ergebnis die Verantwortlichen zufriedenstellt. Im Brite-EuRam-Projekt FIORES von 12 Partnern aus 6 Ländern, mit Automobilunternehmen (BMW, Saab), Design-Firmen (Eiger, Formtech, Pininfarina, Taurus), Systemherstelllern und Forschungsinstituten wird jetzt versucht, Methoden zu entwickeln, die den Design-Ablauf verbessern könnten: Die Bewertungskriterien für ästhetische Flächen sollen formalisiert werden und dann direkt zur Modifikation der Freiformflächen benutzt werden im Sinne einer zielgesteuerten Modellierung (Engineering in Reverse, EiR). Dieser Artikel stellt die Ergebnisse des Projekts innerhalb des ersten Jahres dar: der Design-Prozeß in verschiedenen Unternehmen wird analysiert, die sich daraus ergebenden Beurteilungskriterien für ästhetische Formen werden formalisiert und der zielgesteuerten Modellierung zugeführt. Ausblicke auf weitere Ziele des Projekts werden gegeben. Die vorgestellten Arbeiten sind das gemeinsame Ergebnis des Projekt-Konsortiums.
On the one hand, in the world of Product Data Technology (PDT), the ISO standard STEP (STandard for the Exchange of Product model data) gains more and more importance. STEP includes the information model specification language EXPRESS and its graphical notation EXPRESS-G. On the other hand, in the Software Engineering world in general, mainly other modelling languages are in use - particularly the Unified Modeling Language (UML), recently adopted to become a standard by the Object Management Group, will probably achieve broad acceptance. Despite a strong interconnection of PDT with the Software Engineering area, there is a lack of bridging elements concerning the modelling language level. This paper introduces a mapping between EXPRESS-G and UML in order to define a linking bridge and bring the best of both worlds together. Hereby the feasibility of a mapping is shown with representative examples; several problematic cases are discussed as well as possible solutions presented.
Thermal Properties of Interacting Bose Fields and Imaginary-Time Stochastic Differential Equations
(1998)
Abstract: Matsubara Green's functions for interacting bosons are expressed as classical statistical averages corresponding to a linear imaginary-time stochastic differential equation. This makes direct numerical simulations applicable to the study of equilibrium quantum properties of bosons in the non-perturbative regime. To verify our results we discuss an oscillator with quartic anharmonicity as a prototype model for an interacting Bose gas. An analytic expression for the characteristic function in a thermal state is derived and a Higgs-type phase transition discussed, which occurs when the oscillator frequency becomes negative.
The term enterprise modeling, synonymous with enterprise engineering, often refers to methodologies, developed for modeling activities, states, time, and cost within an enterprise architecture. They serve as a vehicle for evaluating and modeling activities resources and so on. CIM - OSA (Computer Integrated Manufacturing Open Systems Architecture) is a methodology for modeling computer integrated environments, and its major objective is the appropriate integration of enterprise operations by means of efficient information exchange within the enterprise. Although there are other methodo- logies in the industry that serve the same purpose, most of them concentrate on the internal aspect of an enterprise. The paper is concerned with the modeling of the links between enterprises. The aim is to examine these relationships or links in detail and suggest a method for modeling enterprise networks drawing on the methodologies currently used in the industry and extending with the method proposed here.
The term enterprise modelling, synonymous with enterprise engineering, refers to methodologies developed for modelling activities, states, time, and cost within an enterprise architecture. They serve as a vehicle for evaluating and modelling activities resources etc. CIM - OSA (Computer Integrated Manufacturing Open Systems Architecture) is a methodology for modelling computer integrated environments, and its major objective is the appropriate integration of enterprise operations by means of efficient information exchange within the enterprise. PERA is another methodology for developing models of computer integrated manufacturing environments. The department of industrial engineering in Toronto proposed the development of ontologies as a vehicle for enterprise integration. The paper reviews the work carried out by various researchers and computing departments on the area of enterprise modelling and points out other modelling problems related to enterprise integration.
We propose a new discretization scheme for solving ill-posed integral equations of the third kind. Combining this scheme with Morozov's discrepancy principle for Landweber iteration we show that for some classes of equations in such method a number of arithmetic operations of smaller order than in collocation method is required to appoximately solve an equation with the same accuracy.
A multi-phase composite with periodic distributed inclusions with a smooth boundary is considered in this contribution. The composite component materials are supposed to be linear viscoelastic and aging (of the non-convolution integral type, for which the Laplace transform with respect to time is not effectively applicable) and are subjected to isotropic shrinkage. The free shrinkage deformation can be considered as a fictitious temperature deformation in the behavior law. The procedure presented in this paper proposes a way to determine average (effective homogenized) viscoelastic and shrinkage (temperature) composite properties and the homogenized stress-field from known properties of the components. This is done by the extension of the asymptotic homogenization technique known for pure elastic non-homogeneous bodies to the non-homogeneous thermo-viscoelasticity of the integral non-convolution type. Up to now, the homogenization theory has not covered viscoelasticity of the integral type. Sanchez-Palencia (1980), Francfort & Suquet (1987) (see [2], [9]) have consid- ered homogenization for viscoelasticity of the differential form and only up to the first derivative order. The integral-modeled viscoelasticity is more general then the differential one and includes almost all known differential models. The homogenization procedure is based on the construction of an asymptotic solution with respect to a period of the composite structure. This reduces the original problem to some auxiliary boundary value problems of elasticity and viscoelasticity on the unit periodic cell, of the same type as the original non-homogeneous problem. The existence and uniqueness results for such problems were obtained for kernels satisfying some constrain conditions. This is done by the extension of the Volterra integral operator theory to the Volterra operators with respect to the time, whose 1 kernels are space linear operators for any fixed time variables. Some ideas of such approach were proposed in [11] and [12], where the Volterra operators with kernels depending additionally on parameter were considered. This manuscript delivers results of the same nature for the case of the space-operator kernels.
The greybody factors in BTZ black holes are evaluated from 2D CFT in the spirit of AdS3/CFT correspondence. The initial state of black holes in the usual calculation of greybody factors by effective CFT is described as Poincar'e vacuum state in 2D CFT. The normalization factor which cannot be fixed in the effective CFT without appealing to string theory is shown to be determined by the normalized bulk-to-boundary Green function. The relation among the greybody factors in different dimensional black holes is exhibited. Two kinds of (h; _h) = (1; 1) operators which couple with the boundary value of massless scalar field are discussed.
A new method of determining some characteristics of binary images is proposed based on a special linear filtering. This technique enables the estimation of the area fraction, the specific line length, and the specific integral of curvature. Furthermore, the specific length of the total projection is obtained, which gives detailed information about the texture of the image. The influence of lateral and directional resolution depending on the size of the applied filter mask is discussed in detail. The technique includes a method of increasing directional resolution for texture analysis while keeping lateral resolution as high as possible.
In der vorliegenden Arbeit wurden Wirkstoffe aus unterschiedlichen Substanzklassen auf ihre antineoplastische Aktivität an humanen Tumorzellinien untersucht. Einige der getesteten Substanzen zeigten gute Ansätze für einen möglichen späteren Einsatz in der Tumortherapie. Die Alkaloide Lycorin und Lycobetain zeigten im Sulforhodamin B-Assay eine sehr gute Wachstumshemmung. Der IC50-Wert der Substanzen lag bei allen getesteten humanen Tumorzellinien unter 3 microM. Trotz der hervorragenden Wachstumshemmung konnte für Lycorin kein Wirkmechanismus gefunden werden. Ein Arrest der Zellen in der G2/M-Phase des Zellzyklus konnte jedoch gezeigt werden. Für Lycobetain kristallisierte sich eine duale Hemmung von Topoisomerase I und II als möglicher Wirkmechanismus heraus. Die Aktivität von Topoisomerase II konnte durch 100 microM Lycobetain vollständig inhibiert werden. Bereits bei 10 microM Lycobetain war keine Topoisomerase I Aktivität mehr detektierbar, was nachweislich auf der Stabilisierung des DNA-Topoisomerase-Komplexes beruhte. Diese resultierte in einer Induktion von DNA-Strangbrüchen, Arrest der Zellen in der G2/M-Phase des Zellzyklus und schließlich der Induktion von Apoptose. Alle diese Eigenschaften deuteten auf eine Topoisomerase-Hemmung als Wirkmechanismus von Lycobetain hin. Untersuchungen von fünf Flavonoiden aus der chinesischen Heilpflanze Scutellaria baicalensis zeigten, daß Baicalin, Baicalein, Skullcapflavon II und Wogonin das Wachstum verschiedener humaner Tumorzellinien hemmten, während Wogonosid bis zu Konzentrationen von 100 microM keine Wirkung zeigte. Baicalein und Baicalin wiesen trotz großer Strukturübereinstimmung keinen einheitlichen Wirkmechanismus auf. Baicalein hemmt, wie Lycobetain, die Aktivität der Topoisomerasen I und II, wobei für Topoisomerase I eine Stabilisierung des binären Intermediates von Topo-isomerase und DNA nachgewiesen werden konnte. Im Gegensatz zu Lycobetain interkaliert Baicalein nicht in doppelsträngige DNA, kompetiert jedoch mit dem Hoechst-Farbstoff H33258 um die Bindung an die kleine Furche der DNA. Die Induktion von DNA-Strangbrüchen, sowie der Arrest der Zellen in der G2/M-Phase des Zellzyklus und die Induktion von Apoptose konnten auch für Baicalein gezeigt werden. Messungen mit Baicalin ergaben keinen Hinweis auf Hemmung von humanen Topoisomerasen. Zellzyklusanalysen zeigten einen Arrest in der G0/G1-Phase, was im Gegensatz zu Baicalein auf einen völlig unterschiedlichen, bisher nicht geklärten, Mechanismus hindeutet. Skullcapflavon II hemmte Topoisomerase I und II ab Konzentrationen von 100 microM. Die Stabilisierung des DNA-Topoisomerase-Komplexes konnte jedoch für diese Substanz nicht nachgewiesen werden. Aufgrund der Struktur könnte jedoch auf einen anderen Mechanismus der Topoisomerase-Inhibierung, möglicherweise die Bindung an die freie Topoisomerase I und die damit verbundene Hemmung der Komplexbildung, geschlossen werden. Für Wogonin konnte in dieser Arbeit kein Wirkmechanismus gefunden werden. In unserer Arbeitsgruppe wurden verschiedene indigoide Bisindole synthetisiert [Hössel, 1996; Hössel, nicht veröffentlicht], die ebenfalls auf ihre antineoplastische Wirkung untersucht wurden. Ein großes Problem stellte dabei die schlechte Löslichkeit dieser Substanzklasse dar. Der Vergleich der Substanzen im Sulforhodamin B-Assay an der Zellinie LXFL529L ergab sehr unterschiedliche Ergebnisse. Indirubin und 5-Jod-Indirubin waren die besten Wachstumshemmstoffe mit IC50-Werten unter 10 microM. Die indigoiden Bisindole besaßen die Fähigkeit in Doppelstrang-DNA zu interkalieren und an die kleine Furche der DNA zu binden, während dies für Deoxytopsentin nicht nachzuweisen war. Im Tubulinpolymerisationsassay hemmten Indirubin, 5-Jod-Indirubin und Bisindolylindol die Polymerisation von Tubulinmonomeren. Im Vergleich zur Referenzsubstanz Colchicin war diese Hemmung jedoch für die Wirkung der Substanzen nicht von Bedeutung. Messungen zur Hemmung der cyclinabhängigen Kinase 1 (cdk1) weisen darauf hin, daß die indigoiden Substanzen ein inhibitorisches Potential für Zellzykluskinasen besitzen. Neben cdk1 hemmen Indirubin und 5-Jod-Indirubin unter anderem cdk5, eine Kinase, die an Mikrotubuliproteinen assoziiert vorliegen kann. Mittels Western-Blotting konnte gezeigt werden, daß die eingesetzte Tubulinpräperation cdk5 enthält. Die geringfügige Hemmung der Tubulinpolymerisation läßt sich möglicherweise durch die Hemmung von mit Tubulin assoziierter cdk5 erklären. Aus dem Labor von Stalina Melnik, Moskau, Rußland wurden unserer Arbeitsgruppe 13 Wirkstoffe zur Untersuchung zur Verfügung gestellt. Bei den Substanzen handelte es sich um Indolocarbazole und Bisindolylmaleimide, die sich durch verschiedene Zuckersubstitutionen an R1 sowie verschiedene Reste an X und R2 unterschieden. Im Sulforhodamin B-Assay konnte mit Ausnahme der Substanzen 1 und 11 für alle Substanzen ein IC50-Wert unter 10 microM ermittelt werden, was auf eine hohe wachstumshemmende Potenz hinweist. Wegen der Strukturähnlichkeit mit Staurosporin wurde zunächst die Inhibierung der Proteinkinase C überprüft. Am isolierten zytosolischen Extrakt konnte, ebenfalls mit Ausnahme der Substanzen 1 und 11, eine Hemmung der PKC nachgewiesen werden, wobei sich die IC50-Werte zwischen 0,4 und 34 microM bewegten. Im Gegensatz dazu waren nur zwei Substanzen (4 und 10) in der Lage in der Zellkultur die PKC-Aktivität im niedrigen Konzentrationsbereich zu hemmen. Bei den Substanzen 2 und 5 war ein IC50-Wert ermittelbar, der aber mindestens zehnfach höher lag als bei der Messung am isolierten Enzym. Eine mögliche Erklärung für dieses Phänomen ist, daß die Substanz das Zielprotein in der Zelle nicht erreichen kann. Die Strukturverwandschaft mit den Topoisomerase-Inhibitoren NB 506 und Rebeccamycin, deutete auf humane Topoisomerasen als potentiellen Angriffspunkt der Wirkstoffe hin. Tatsächlich erwiesen sich mehrere Substanzen als mögliche Hemmstoffe von Topoisomerase I und/oder II (siehe Tabelle 13). Ein weiteres Phänomen war die Fähigkeit aller Substanzen, sich an die kleine Furche der DNA anzulagern, während keine Interkalationsfähigkeit nachweisbar war. Die Induktion von Strangbrüchen war lediglich für die Substanzen 4 und 8 im unteren mikromolaren Bereich nachweisbar, während die meisten erst ab 50 microM DNA-Schäden induzierten. Die beste Wirkung zeigten aber auch diese Substanzen bei Untersuchungen zur Hemmung von cyclinabhängigen Kinasen. Dabei muß berücksichtigt werden, daß es sich bei der cdk1 um ein isoliertes Enzym handelt und die Hemmung im zellulären System möglicherweise nicht meßbar ist. Aufgrund der in dieser Arbeit erhaltenen Daten konnte für drei Indolocarbazole ein potentieller Wirkmechanismus gefunden werden. Für Substanz 8 ist die Hemmung von Topoisomerasen ein möglicher Wirkmechanismus, während Substanz 10 sich als möglicher Proteinkinase C-Hemmstoff herausstellte. Substanz 4 scheint einen potentiellen cdk1 Hemmstoff darzustellen.
Robust facility location
(1998)
Let A be a nonempty finite subset of R^2 representing the geographical coordinates of a set of demand points (towns, ...), to be served by a facility, whose location within a given region S is sought. Assuming that the unit cost for a in A if the facility is located at x in S is proportional to dist(x,a) - the distance from x to a - and that demand of point a is given by w_a, minimizing the total trnsportation cost TC(w,x) amounts to solving the Weber problem. In practice, it may be the case, however, that the demand vector w is not known, and only an estimator {hat w} can be provided. Moreover the errors in sich estimation process may be non-negligible. We propose a new model for this situation: select a threshold valus B 0 representing the highest admissible transportation cost. Define the robustness p of a location x as the minimum increase in demand needed to become inadmissible, i.e. p(x) = min{||w^*-{hat w}|| : TC(w^*,x) B, w^* = 0} and solve then the optimization problem max_{x in S} p(x) to get the most robust location.
Convex Analysis
(1998)
Preface Convex analysis is one of the mathematical tools which is used both explicitly and indirectly in many mathematical disciplines. However, there are not so many courses which have convex analysis as the main topic. More often, parts of convex analysis are taught in courses like linear or nonlinear optimization, probability theory, geometry, location theory, etc.. This manuscript gives a systematic introduction to the concepts of convex analysis. A focus is set to the geometrical interpretation of convex analysis. This focus was one of the reasons why I have decided to restrict myself to the finite dimensional case. Another reason for this restriction is that in the infinite dimensional case many proofs become more difficult and more technical. Therefore, it would not have been possible (for me) to cover all the topics I wanted to discuss in this introductory text in the infinite dimensional case, too. Anyway, I am convinced that even for someone who is interested in the infinite dimensional case this manuscript will be a good starting point. When I offered a course in convex analysis in the Wintersemester 1997/1998 (upon which this manuscript is based) a lot of students asked me how this course fits in their own studies. Because this manuscript will (hopefully) be used by some students in the future, I will give here some of the possible statements to answer this very question. - Convex analysis can be seen as an extension of classical analysis, in which still we get many of the results, like a mean-value theorem, with less assumptions on the smoothness of the function. - Convex analysis can be seen as a foundation of linear and nonlinear optimization which provides many tools to handle concepts in optimization much easier (for example the Lemma of Farkas). - Finally, convex analysis can be seen as a link between abstract geometry and very algorithmic oriented computational geometry. As already explained before, this manuscript is based on a one semester course and therefore cannot cover all topics and discuss all aspects of convex analysis in detail. To guide the interested reader I have included a list of nice books about this subject at the end of the manuscript. It should be noted that the philosophy of this course follows [3], [4] and THE BOOK of modern convex analysis [6]. The geometrical emphasis however, is also related to intentions of [1].^L
The pure-Skyrme limit of a scale-breaking Skyrmed O(3) sigma model in 1+1 dimensions is employed to study the effect of the Skyrme term on the semiclassical analysis of a field theory with instantons. The instantons of this model are self-dual and can be evaluated explicitly. They are also localised to an absolute scale, and their fluctuation action can be reduced to a scalar subsystem. This permits the explicit calculation of the fluctuation determinant and the shift in vacuum energy due to instantons. The model also illustrates the semiclassical quantisation of a Skyrmed field theory.