Refine
Year of publication
- 1997 (21) (remove)
Document Type
- Preprint (9)
- Article (5)
- Report (3)
- Doctoral Thesis (2)
- Diploma Thesis (1)
- Master's Thesis (1)
Language
- German (21) (remove)
Has Fulltext
- yes (21)
Keywords
- AG-RESY (4)
- PARO (4)
- Bayesrisiko (1)
- Bewegungsplanung (1)
- CAx-Anwendungen (1)
- CODET (1)
- CoMo-Kit (1)
- Diffusionsprozess (1)
- Netz-Architekturen (1)
- Netzwerkmanagement (1)
- PVM (1)
- Parallel Virtual Machines (1)
- Robotik (1)
- SKALP (1)
- Suchve (1)
- Workstation-Cluster (1)
Faculty / Organisational entity
- Kaiserslautern - Fachbereich Informatik (9)
- Kaiserslautern - Fachbereich Mathematik (4)
- Kaiserslautern - Fachbereich Maschinenbau und Verfahrenstechnik (3)
- Kaiserslautern - Fachbereich Wirtschaftswissenschaften (3)
- Kaiserslautern - Fachbereich Elektrotechnik und Informationstechnik (1)
- Kaiserslautern - Fachbereich Physik (1)
In dieser Arbeit wird die Problematik der sich rapide wandelnden industriellen CAx-Anwendungen betrachtet. Durch die Einfu"hrung der Feature-Technologie scheinen einige Probleme der Parallelisierung der Prozesse, des Simultaneous und des Concurrent Engineering sowie des Outsourcing überwindbar zu sein. Allerdings entwickelte sich die Feature-Technologie bisher ohne ausreichenden Bezug zur Konstruktionspraxis, was zu erheblichen Defiziten im industriellen Einsatz führte. Untersuchungen in der Automobilindustrie (AIFEMInitiative) zeigen, dass dies vielfach auf mangelnde Kommunikation zwischen Konstrukteuren und CAx-Experten zurückgeführt werden kann. Aufgrund des jetzigen Ansatzes der Feature-Technologie im Zusammenwirken mit dem extremen Zeitdruck in der Produktentwicklung besteht aber die Gefahr, die Produktdefinitionsprozesse nur nach den Kriterien Entwicklungszeit, Kosten und Produktqualität zu optimieren. Features dienen dabei nur als speziell angepasste Werkzeuge. Damit wird eine echte Innovation der Produkte behindert. Es wird aufgezeigt, wie die Feature-Technologie erweitert werden muss, um die Kreativität der Konstrukteure zu fördern und somit neuartige Produkte zu ermöglichen. Näher ausgeführt werden die Aspekte der benutzerdefinierten Features, der Datenstandardisierung, der Verarbeitung unvollsta"ndiger Information und der dynamischen Prozessunterstützung.
Ist "Programmieren ganz ohne Code" auch im CAx-Bereich möglich? Die Vielzahl heterogener CAx-Anwendungen und die wachsende Komplexität der Entwicklungsprozesse bedarf neuer Lösun-gen in der CAx-Technik. Ziel dieses Beitrages ist es, die richtungsweisende Rolle der Komponenten-technologie im CAx-Bereich aufzuzeigen. Es werden die Grundlagen der Komponenten sowie die wichtigen Komponentenarchitekturen (ActiveX und Java Beans) vorgestellt. Die Erwartungen der Anwender und der Systemhersteller, die Potentiale und die Auswirkungen dieser Technologie auf die neuen Systeme werden analysiert. Die zur Zeit verfügbaren ersten Ansätze werden präsentiert. Die Rolle der internationalen Standards für die technische Umsetzung und für die Akzeptanz von CAx-Komponentensystemen wird aufgezeigt.
An analogue of the classical Riemann-Siegel integral formula for Dirichlet series associated to cusp forms is developed. As an application of the formula, we give a comparatively simple proof of the approximate functional equation for this type of Dirichlet series.
Viele Entwicklungsprozesse, wie sie z.B. beim Entwurf von grossen Softwaresystemen benötigt werden, basieren in erster Linie auf dem Wissen der mit der Entwicklung betrauten Mitarbeiter. Mit wachsender Komplexität der Entwurfsaufgaben und mit wachsender Anzahl der Mitarbeiter in einem Projekt wird die Koordination und Verteilung dieses Wissens immer problematischer. Aus diesem Grund versucht man zunehmend, das Wissen der Mitarbeiter in elektronischer Form, d.h. in Rechnern zu speichern und zu verwalten. Dadurch, dass der Entwurf eines komplexen Systems ebenfalls am Rechner modelliert wird, steht benötigtes Wissen sofort zur Verfügung und kann zur Entscheidungsunterstützung herangezogen werden. Gerade bei der Planung grosser Projekte stehen jedoch oft Entscheidungen aus, die erst später, während der Abwicklung getroffen werden können. Da gängige Workflow-Management-System zumeist eine komplette Modellierung verlangen, bevor die Abwicklung eines Projektmodells beginnen kann, habt sich dieser Ansatz gerade für umfangreiche Projekte als eher ungeeignet herausgestellt.
Das Modell des Intelligenten ist eine Abstraktion von Telefonvermittlungs-systemen und beschreibt auch deren Erweiterungen. Zunächst wird ein einfachesBasissystem spezifiziert, das dann um weitere Leistungsmerkmale, sog. Features, erweitert wird. Im Rahmen dieser Arbeit haben wir ein bereits bestehendes, in Estellespezifiziertes Basissystem um sechs Features erweitert. Dabei konnten wir verschiedene Stile für die Featurespezifikation in Estelle überprüfen. Wir entwerfen Prinzipien füreine verhaltenerhaltende Transformation, die geeignete Ansatzpunkte für neueFeatures schaffen kann. Für das Ergänzen von neuen Rufnummern haben wir eine einfache Methode entwickelt. Wir zeigen zwei Schwächen von Estelle beim Erweitern vonSystemen auf. Schließlich berichten wir über unsere Erfahrungen mit dem im IN-Modellverwendeten Prinzip der Detection Points.
Sokrates und das Nichtwissen
(1997)
Formale Beschreibungstechniken (FDTs) erlauben durch ihre formale Syntax und Semantik eine präzise Systembeschreibung und sind Grundlage für die formale Verifikation. Bei der Implementierung von Systemen wird jedoch nach wie vor von Hand implementiert, selbst wenn ausgereifte Werkzeuge zur automatischen Generierung von Kode direkt aus der formalen Spezifikation existieren. Die Ursache dafür liegt in dem Ruf dieser Werkzeuge, Kode mit extrem geringer Leistungsfähigkeit zu erzeugen. Es gibt jedoch kaum quantitative Leistungsvergleiche zwischen manuell und automatisch generierten Implementierungen, die dieses Vorurteil stützen oder widerlegen könnten. In diesem Beitrag wird ein solcher Leistungsvergleich anhand des Hochleistungsprotokolls XTP und der FDT Estelle vorgestellt. Er liefert eine Bestandsaufnahme des momentanen Entwicklungsstandes bei der automatischen Generierung von Kode aus Estelle-Spezifikationen im direkten Vergleich zu gut optimierten Handimplementierungen. Es zeigt sich, daß in dem betrachteten Fall eines komplexen Protokolls die Handimplementierung zwar merklich leistungsstärker ist. Dieser Leistungsvorteil wird jedoch durch einen sehr hohen Implementierungsaufwand sowie die Schwierigkeit, die Korrektheit bzgl. der Spezifikation sicherzustellen, erkauft. Im einzelnen Anwendungsfall kann es daher trotz der Leistungseinbußen durchaus vorteilhaft sein, automatisch Kode zu erzeugen, zumal in der Bestandsaufnahme festgestellt wurde, daß automatisch generierte Implementierungen z.T. besser abschneiden als erwartet. Zudem besteht - anders als bei der bereits umfassend optimierten Handimplementierung - noch ein erhebliches ungenutztes Potential zur Leistungsverbesserung der automatisch generierten Implementierung.
Fabric reinforced thermoplastic composites, suitable for the production of thin-walled, high
strength structural parts, are available on the market today with various fibre/matrix combinations.
However, further market penetration and series production are inhibited as long as forming
technologies are not well understood. In this thesis, the potential for series production of different
forming technologies is evaluated. Stamp forming is an efficient way to produce parts in
very short cycle times. A limiting factor to part complexibilty is undesired wrinkle formation as
a consequence of insufficient fabric shear. Fabric shear and other important deformations of impregnated
fabrics were examined by means of new test devices. Evidence was found that membrane
tension is the crucial factor to avoid wrinkle formation. New tool concepts and processing
Windows were developed to produce fabric reinforced thermoplastic parts free of wrinkles and
distortions.
Liegruppen
(1997)
Um stationäre bzw. quasi-stationäre Ohmsche Ströme in leitenden Medien berechnen zu können, wird aus komplexifizierten Maxwellschen Gleichungen mittels des Clifford Produktes eine vereinheitlichte hyperkomplexe Feldgleichung hergeleitet. Für, längs einer Achse translationsinvariante, komplexe Leitfähigkeitsfelder wird eine Dimension absepariert und die verbleibenden 2 Raumdimensionen mit der komplexen Zahlenebene identifiziert. Diese Identifikation kann durch den Clifford Formalismus explizit und völlig kanonisch definiert werden, da sowohl die komplexen Zahlen als auch Ortsvektoren in der Clifford Algebra enthalten sind. Da direkt die Spinor Feldgleichung gelöst wird, treten Eichprobleme, wie sie bei entsprechenden Potentialgleichungen üblich sind, erst gar nicht auf. Durch die Liftung der Spinor Feldgleichung vom \(\mathbb{R}^2 \to \mathbb{C}^2\) wird sofort ersichtlich wie wichtig monogene (holomorphe) Funktionen für die Lösung dieser Gleichung sind.
Die zugehörige Randbedingung ist im allgemeinen weder rein vom Neumannschen noch vom Diricheltschen Typ. Ausgehend von elementaren Lösungen für \(\delta\)-Quellen in Gebieten konstanter Leitfähigkeit, werden durch Fortsetzung dieser Lösungen mittels der Randbedingung Feldlösungen für zusammengesetzte Gebiete konstruiert.
Im Gegensatz zu Gebieten mit nur einem Rand, ist es für mehrfach berandete Gebiete viel schwieriger, die lokalen Lösungen so anzupassen, daß alle Randbedingungen erfüllt sind. Deshalb wird eine neue Lösungsmethode vorgestellt, welche die lokalen Feldgleichungen und alle Randbedingungen durch sukzessive Konstruktion von Spiegelpolreihen löst. Dieses Verfahren wird anhand einiger Klassen von geometrischen Konfigurationen erläutert, deren topologische Unterschiede sich direkt auf die Struktur der Spiegelpolverteilungen auswirkt.
Bei der Diskussion wird besonders der Fall von N kreisförmigen Anomalien in einer Kreisscheibe hervorgehoben, da diese Klasse von Problemen auch von besonderem Interesse in der medizinischen Physik, im Bereich der Impedanz-Tomographie ist. Die Lösungen erlauben die Variation der Zusammenhangszahl über die relativen Leitfähigkeitsdifferenzen. Studien der Potentialverteilung auf dem Rand, wie sie für die elektrische Impedanz-Tomographie wesentlich sind, werden zum Teil durch numerische, als auch durch analytische Berechnungen durchgeführt. Komplexe Potentiale können aus den Feldlösungen leicht berechnet werden, indem die typischen Polterme \(\displaystyle{1 \over z-p}\) durch die komplexen Logarithmen \(- \log(z-p)\)
ersetzt werden.
Das elektrische Potential ergibt sich aus dem Komplexen als dessen Realteil. Der Imaginärteil hat eine große Bedeutung bei der Visualisierung der Vektorfelder. Es wird gezeigt, daß die Höhenlinien dieses Imaginärteils, der aus der Strömungsmechanik auch als Strömungsfunktion bekannt ist, gerade die Feldlinien des zugehörigen Feldes liefert.
Für die elektrische Impedanz-Tomographie wird am Beispiel einer kleinen, konzentrisch positionierten Anomalie das Auflösungsvermögen diskutiert, woraus unter anderem eine optimale Lage der Einprägepole resultiert. Aus den analytischen Ergebnissen ist eindeutig zu erkennen, daß sich maximale Potentialänderungen auf dem Rand bei diametral angeordneten Einprägepolen ergeben.
Die für die Visualisierung der Felder nötigen Studien von Strömungsfunktionen, lieferte unter anderem auch eine Berechnungsmöglichkeit von Strömungsfunktionen für Felder im \(\mathbb{R}^3\)! Des weitern wird eine mögliche Wahl der Schnitte dieser mehrblättrigen Funktion für den Fall der Kreisscheibe mit N Anomalien explizit gegeben und die Vorteile dieser speziellen Wahl anhand numerischer Studien aufgezeigt. Typische Darstellungen von Feld- und Potentiallinien, von Verteilungen von Spiegelpolen, sowie von Potential und Strömungsfunktionen selbst, verdeutlichen die Vorteile dieses Lösungsverfahrens. Für sehr viele, in der Praxis wichtige Konfigurationen ist vor allem die große Konvergenzgeschwindigkeit ein Vorteil, welcher es ermöglicht Feldlinienbilder dieser Lösungen in kurzer Zeit auf einem PC zu erstellen.
Diese Diplomarbeit gibt eine kurze Einführung in das Gebiet der Diffusionsprozesse (beschrieben als Lösungen stochastischer Differentialgleichungen) und der großen Abweichungen. Mit Methoden aus dem Gebiet der großen Abweichungen wird dann das asymptotische Verhalten des Bayesrisikos für die unterscheidung zweier Diffusionsprozesse untersucht.
Die Bewegungsplanung für Industrieroboter ist eine notwendige Voraussetzung, damit sich autonome Systeme kollisionsfrei durch die Umwelt bewegen können. Die Berücksichtigung von dynamischen Hindernissen zur Laufzeit erfordert allerdings leistungsfähige Algorithmen, zur Lösung dieser Aufgabenstellung in Echtzeit. Eine Möglichkeit zur Beschleunigung der Algorithmen ist der effiziente Einsatz von skalierbarer Parallelverarbeitung. Die softwaretechnische Umsetzung kann aber nur dann erfolgreich sein, wenn ein Parallelrechner zur Verfügung steht, der einen hohen Datendurchsatz bei geringer Latenzzeit bietet. Darüber hinaus muß dieser Parallelrechner unter vertretbarem Aufwand bedienbar sein und ein gutes Preisleistungsverhältnis aufweisen, damit die Parallelverarbeitung verstärkt in der Industrie zum Einsatz kommt. In diesem Artikel wird ein Workstation-Cluster auf der Basis von neun Standard- PCs vorgestellt, die über eine spezielle Kommunikationskarte miteinander vernetzt sind. In den einzelnen Abschnitten werden die gesammelten Erfahrungen bei der Inbetriebnahme, Systemadministration und Anwendung geschildert. Als Beispiel für eine Anwendung auf diesem Cluster wird ein paralleler Bewegungsplaner für Industrieroboter beschrieben.
In dieser Arbeit wird eine Integration der temporallogischen Verarbeitungskonzepte
der Programmiersprache ExTeLL in die objektorientierte Wirtssprache \(C^{++}\) vorgestellt. Dabei war unser Ziel eine Schnittstelle zur komfortablen Kommunikation der Sprachkomponenten zu entwickeln, derart daß die Sprachsynthese eine homogene Gesamtsprache darstellt . Hierbei haben wir besonderen Wert auf die Nutzung der Möglichkeiten der jeweils hinzugefügten Sprachkomponente und einen syntaktisch einheitlichen Aufbau der Gesamtsprache gelegt. Dies erforderte insbesondere die Integration des Typkonzepts von \(C^{++}\) sowie der Mechanismen zur Überladung von Funktionen und Prozeduren in ExTeLL und in der zugrundeliegenden Temporallogik
EITeL.