Kaiserslautern - Fachbereich Informatik
Refine
Year of publication
Document Type
- Preprint (56)
- Master's Thesis (38)
- Report (28)
- Article (27)
- Doctoral Thesis (17)
- Study Thesis (8)
- Part of a Book (1)
Language
- German (175) (remove)
Has Fulltext
- yes (175)
Keywords
- AG-RESY (17)
- CoMo-Kit (10)
- Case-Based Reasoning (9)
- Fallbasiertes Schliessen (9)
- META-AKAD (8)
- PARO (6)
- Robotik (6)
- Case-Based Planning (5)
- Java 2 Enterprise Edition (4)
- Visualisierung (4)
- Wissensverarbeitung (4)
- Expertensysteme (3)
- Implementierung (3)
- Maschinelles Lernen (3)
- Mensch-Roboter-Kooperation (3)
- RONAF (3)
- SIMERO (3)
- AKLEON (2)
- Automation (2)
- Bahnplanung (2)
- CAP (2)
- CODET (2)
- Decision Trees (2)
- Diagnose technischer Systeme (2)
- Entscheidungsbäume (2)
- Fallbasierte Planning (2)
- Fallbasierte Planung (2)
- Fallbasiertes Schließen (2)
- HANDFLEX (2)
- KLUEDO (2)
- Kommunikation (2)
- Kooperation (2)
- Mensch-Roboter-Koexistenz (2)
- Navigation (2)
- Prozesssteuerung (2)
- Server (2)
- Software Engineering (2)
- Suchraum (2)
- computer aided planning (2)
- regelbasiertes Problemlösen (2)
- safe human robot cooperation (2)
- Ablagestruktur (1)
- Access System (1)
- Accounting (1)
- Akquisition (1)
- Anfrageverarbeitung (1)
- Aspektorientierte Programmierung (1)
- Assembly (1)
- Ausdrucksfähig (1)
- Ausdrucksfähigkeit (1)
- Automatische Indexierung (1)
- Automotive (1)
- Autonomer Agent (1)
- Bebauungsplanung (1)
- Bewegungsplanung (1)
- Bildverarbeitung (1)
- Bitlisten (1)
- CAN-Bus (1)
- CAR <Roboter> (1)
- CAS (1)
- COMOKIT (1)
- Case Study Erfahrungsdatenbank (1)
- Case-Based Diagnosis (1)
- Case-Based Learning (1)
- Castor (1)
- Clustering (1)
- Cochlea Implant (1)
- Cochlea Implantat (1)
- Computer assistierte Chirurgie (1)
- Computer assistierte Chirurgie (CAS) (1)
- Containertypen (1)
- Containertypes (1)
- Content Management (1)
- Controller Synthesis (1)
- DES (1)
- Datenbanken (1)
- Datenreduktion (1)
- Design Rationales (1)
- Didaktik (1)
- Dienstgüte (1)
- Dienstschnittstellen (1)
- Domänenspezifische Sprachen (1)
- Doppler-Radar (1)
- Dreidimensionale Bildverarbeitung (1)
- Dublin Core (1)
- Dynamischer Test (1)
- ESTELLE (1)
- Effizienter Algorithmus (1)
- Effizienz (1)
- Effizienzsteigerung (1)
- Eingebettetes System (1)
- Energie (1)
- Erstellung von Expertensystemen (1)
- Experience Base (1)
- Experiment (1)
- Expressiveness (1)
- FERAL (1)
- Fachdidaktik (1)
- Fahrassistenzsysteme (1)
- Fallbasierte Diagnose (1)
- Fallbasiertes Planen (1)
- Fallstu (1)
- Farbmodell (1)
- Fast Mode-Signaling (1)
- Force Feedback (1)
- Force-Torque (1)
- Formale Beschreibungstechnik (1)
- Fräsen (1)
- Gebäude (1)
- Gebäudeautomation (1)
- Hals-Nasen-Ohren-Chirurgie (1)
- Hals-Nasen-Ohren-Heilkunde (1)
- Harvest (1)
- Huffman (1)
- Huffman-Code (1)
- Human-Robot-Coexistence (1)
- Human-Robot-Cooperation (1)
- IDEA (1)
- Imote2 (1)
- Implan (1)
- Implementation (1)
- Indexierung <Inhaltserschließung> (1)
- Induktive Logische Programmierung (1)
- Induktivem Schliessen (1)
- Induktiven Logischen Programmierung (1)
- JSR 170 JCR (1)
- Java (1)
- Komponentenmodell (1)
- Komprimierung (1)
- Kontextbezogenes System (1)
- Kraftrückkopplung (1)
- Kryptographie (1)
- Kryptologie (1)
- LOADBAL (1)
- Laufkomprimierung (1)
- Lernalgorithmen (1)
- Linux (1)
- Logische Programmierung (1)
- MDA <Vorgehensmodell> (1)
- MVP-L (1)
- Manipulation skills (1)
- Mapping (1)
- Mehragentensystem (1)
- Mensch-Maschine-Kommunikation (1)
- Metadaten (1)
- Mikrocontroller AVR (1)
- MoCAS/2 (1)
- Mobile Computing (1)
- Mode-Based Scheduling with Fast Mode-Signaling (1)
- Modellgetriebene Entwicklung (1)
- Modellierung (1)
- Modelling (1)
- Modusbasierte Signalisierung (1)
- Mund-Kiefer-Gesichts-Chirurgie (1)
- Netz-Architekturen (1)
- Netzwerk (1)
- Netzwerkmanagement (1)
- NoSQL (1)
- Object-orientation (1)
- Objektorientierung (1)
- Open Estelle (1)
- Operationsroboter (1)
- Optimierung (1)
- P2P (1)
- PABS-Methode (1)
- PATDEX (1)
- PATDEX 2 (1)
- PVM (1)
- Parallel Virtual Machines (1)
- Parser (1)
- Problemlösung (1)
- Prozessmodellen (1)
- Quality (1)
- Qualität (1)
- RDF (1)
- RGB (1)
- RLE (1)
- RODEO (1)
- RSA (1)
- Radar (1)
- Raumordnung (1)
- Rechnernetze (1)
- Regelung (1)
- Rekonstruktion (1)
- Relationales Datenbanksystem (1)
- Repository <Informatik> (1)
- Resource Description Framework (1)
- Roboter (1)
- Roboterarm (1)
- Robotics (1)
- SAX2 (1)
- SCM (1)
- SDL (1)
- SDL-oriented Object Modeling Technique (1)
- SKALP (1)
- SOMT (1)
- SQL (1)
- SWEEPING (1)
- Scheduling (1)
- Schädelbasis (1)
- Service Access Points (1)
- Sicherheit (1)
- Simulation (1)
- Simulationen (1)
- Software (1)
- Software Configuration Management (1)
- Software-Entwicklung (1)
- Softwareentwicklung (1)
- Softwarespezifikation (1)
- Sprache (1)
- Sprachen (1)
- Structure (1)
- Suchve (1)
- Support-Vektor-Maschine (1)
- Symbolic Methods (1)
- Systemarchitektur (1)
- TCP/IP (1)
- Temporal Logic (1)
- Time-motion-Ultraschallkardiographie (1)
- UML (1)
- UML 2 (1)
- Ultraschallkardiographie (1)
- Umweltinformatik (1)
- Unterricht (1)
- VIACOBI (1)
- Versionierungssysteme (1)
- Verteiltes System (1)
- Virtual Prototyping (1)
- Voronoi-Diagramm (1)
- Workflowmanagement (1)
- Workstation-Cluster (1)
- XEC (1)
- XML (1)
- Zeitplanung (1)
- Zugriffstruktur (1)
- Zugriffsystem (1)
- aspect-oriented programming (1)
- automotive (1)
- behaviourbased (1)
- deformable objects (1)
- dependability (1)
- distributed computing (1)
- domain-specific language (1)
- epidemic algorithms (1)
- epidemische Algorithmen (1)
- fallbasiertes Schliessen (1)
- generative Programmierung (1)
- generative programming (1)
- human robot cooperation (1)
- intentional programming (1)
- inverses Pendel (1)
- knowledge-based planning (1)
- konzeptuelle Modelierung (1)
- learning algorithms (1)
- peer-to-peer (1)
- rekursiv aufzählbare Sprachfamilien (1)
- robotergestützt (1)
- safe human robot coexistence (1)
- verhaltensbasiert (1)
- verlustfrei (1)
- verlässlichkeit (1)
- verteilte Berechnung (1)
- wissensbasierte Systeme (1)
- wissensbasierter Systeme der Arbeitsplanerstellung (1)
Faculty / Organisational entity
Editorial
(2021)
In order to discuss the kinds of reasoning a visualization supports and the conclusions that can be drawn within the analysiscontext, a theoretical framework is needed that enables a formal treatment of the reasoning process. Such a model needs toencompass three stages of the visualization pipeline: encoding, decoding and interpretation. The encoding details how dataare transformed into a visualization and what can be seen in the visualization. The decoding explains how humans constructgraphical contexts inside the depicted visualization and how they interpret them assigning meaning to displayed structuresaccording to a formal reasoning strategy. In the presented model, we adapt and combine theories for the different steps intoa unified formal framework such that the analysis process is modelled as an assignment of meaning to displayed structuresaccording to a formal reasoning strategy. Additionally, we propose the ConceptGraph, a combined graph-based representationof the finite-state transducers resulting from the three stages, that can be used to formalize and understand the reasoning process.We apply the new model to several visualization types and investigate reasoning strategies for various tasks.
Editorial
(2020)
Editorial
(2020)
Drahtlose Kommunikationssysteme dringen in immer mehr Anwendungsbereiche vor. Für einige Anwendungsszenarien, wie etwa die Prozessautomatisierung in Fabriken und Industrieanlagen, ist die Zuverlässigkeit vieler drahtloser Kommunikationssysteme wie IEEE 802.11 (WLAN) oder Bluetooth aber noch unzureichend. Daher wurden für diese Anwendungsbereiche spezielle Kommunikationssysteme wie WirelessHART oder ISA 100.11a entwickelt. Diese basieren meist auf Time Division Multiple Access (TDMA) und erreichen durch exklusive Reservierungen deterministische Zuverlässigkeit, falls kein anderes Kommunikationssystem die genutzten Kanäle stört.
Diese Arbeit behandelt geeignete Protokolle und Algorithmen, um die Zuverlässigkeit drahtloser Kommunikationssysteme zu verbessern. Im ersten Teil der Arbeit werden Verfahren für TDMA-basierte Kommunikationssysteme betrachtet. Basierend auf IEEE 802.15.4 werden mehrere Funktionalitäten für ProNet 4.0, einem an der Arbeitsgruppe Vernetzte Systeme der TU Kaiserslautern entwickelten Kommunikations-Stack für Industrie 4.0, entworfen und auf Imote 2 Sensorknoten implementiert. Zuverlässige Kommunikation bedarf Kenntnis von sowohl der Kommunikationstopologie, über die Knoten miteinander kommunizieren können, als auch der Interferenztopologie, die angibt, wie Knoten sich gegenseitig stören können. Dazu stellt die Arbeit mit dem Automatic Topology Discovery Protocol (ATDP) ein Verfahren zur automatischen Topologieerkennung vor. Anschließend wird QoS Multicast Routing betrachtet und mit dem QoS Multicast Routing Protocol (QMRP) ein Verfahren für partiell mobile Netzwerke entwickelt. Weiterhin wird mit ProMid eine Kommunikations-Middleware beschrieben, die ein hohes Abstraktionslevel aufweist und die darunter liegenden Schichten steuert. Die dienstorientierte Architektur nutzt eine verteilte Service Registry, wobei die Auswahl der Registry-Knoten anhand eines dafür entwickelten Clustering-Algorithmus erfolgt. Das Heterogeneous Network Clustering (HNC) genannte Verfahren berücksichtigt ein heterogenes Netzwerkmodell mit Knoten, die Clusterhead bzw. Gateway werden müssen, können bzw. nicht dürfen.
Der zweite Teil der Arbeit behandelt Protokolle und Algorithmen für zuverlässige wettbewerbsbasierte Kommunikationssysteme. Die in diesem Kapitel vorgestellten Verfahren sind in einem auf WLAN basierenden Kommunikations-Stack implementiert und evaluiert worden. Zunächst wird ein Verfahren für die Topologieerkennung in WLAN-Netzwerken vorgestellt. Anschließend wird ein auf dem Token Bucket-Mechanismus basierendes Verfahren zur Verkehrskontrolle entwickelt. Daraus wird mit der Unusable Wasted Bandwidth Ratio eine Metrik abgeleitet, die es erlaubt, die Auslastung des Mediums abzuschätzen. Aufbauend auf dem Verfahren zur Verkehrskontrolle wird eine kooperative faire Bandbreitenskalierung für WLAN vorgestellt. Das Verfahren verteilt die Bandbreite fair unter den internen Knoten unter Berücksichtigung der Quality of Service (QoS) Anforderungen. Dabei reagiert es dynamisch auf Änderungen des externen Verkehrs und verhindert so Überlastsituationen. Letztlich wird ein Clustering-Protokoll vorgestellt, welches durch das Anwendungsszenario der Überwachung von Güterzügen motiviert ist und Linientopologien bildet sowie dynamisch repariert. Das auf Bluetooth LE aufbauende Verfahren dient dazu, Energie einzusparen, und wurde in einer Kooperation mit der Bosch Engineering GmbH entwickelt.
Die dreidimensionale Darstellung hybrider Datensätze hat sich in den letzten Jahren als
ein wichtiger Teilbereich der wissenschaftlichen Visualisierung etabliert. Hybride Datensätze enthalten sowohl diskrete Volumendaten als auch durch geometrische Primitive
definierte Objekte. Bei der visuellen Verarbeitung einer gegebenen Szene spielen Schatteninformationen eine wichtige Rolle, indem sie die Beziehungen von Objekten untereinander verständlich machen. Wir beschreiben ein einfaches Verfahren zur Berechnung von Schatteninformation, das in ein bestehendes System zur Visualisierung hybrider Datensätze integriert wurde. An einem Beispiel aus der klinischen Anwendung werden die Ergebnisse illustriert.
W-Lisp Sprachbeschreibung
(1993)
W-Lisp [Wippennann 91] ist eine Sprache, die im Bereich der Implementierung höherer
Programmiersprachen verwendet wird. Ihre Anwendung ist nicht auf diesen Bereich beschränkt. Gute Lesbarkeit der W-Lisp-Notation wird durch zahlreiche Anleihen aus dem Bereich der bekannten imperativen Sprachen erzielt. W-Lisp-Programme können im Rahmen eines Common Lisp-Systems ausgeführt werden. In der WLisp Notation können alle Lisp-Funktionen (inkl. MCS) verwendet werden, so daß die Mächtigkeit von Common-Lisp [Steele 90] in dieser Hinsicht auch in W-Lisp verfügbar ist.
Neuronale Netze sind ein derzeit (wieder) aktuelles Thema. Trotz der oft eher schlagwortartigen
Verwendung dieses Begriffs beinhaltet er eine Vielfalt von Ideen, unterschiedlichste methodische
Ansätze und konkrete Anwendungsmöglichkeiten. Die grundlegenden Vorstellungen sind dabei nicht neu, sondern haben eine mitunter recht lange Tradition in angrenzenden Disziplinen wie Biologie, Kybernetik , Mathematik und Physik . Vielversprechende Forschungsergebnisse der letzten Zeit haben dieses Thema wieder in den Mittelpunkt des Interesses gerückt und eine Vielzahl neuer Querbezüge zur Informatik und Neurobiologie sowie zu anderen, auf den ersten Blick weit entfernten Gebieten offenbart. Gegenstand des Forschungsgebiets Neuronale Netze ist dabei die Untersuchung und Konstruktion informationsverarbeitender Systeme, die sich aus vielen mitunter nur sehr primitiven, uniformen Einheiten zusammensetzen und deren wesentliches Verarbeitungsprinzip die Kommunikation zwischen diesen Einheiten ist, d.h. die Übertragung von Nachrichten oder Signalen. Ein weiteres
Charakteristikum dieser Systeme ist die hochgradig parallele Verarbeitung von Information innerhalb
des Systems. Neben der Modellierung kognitiver Prozesse und dem Interesse, wie das menschliche Gehirn komplexe kognitive Leistungen vollbringt, ist über das rein wissenschaftliche Interesse hinaus in zunehmendem Maße auch der konkrete Einsatz neuronaler Netze in verschiedenen technischen Anwendungsgebieten zu sehen. Der vorliegende Report beinhaltet die schriftlichen Ausarbeitungen der Teilnehmerinnen des Seminars Theorie und Praxis neuronaler Netze , das von der Arbeitsgruppe Richter im Sommersemester 1993 an der Universität Kaiserslautern veranstaltet wurde. Besonderer Wert wurde darauf gelegt, nicht nur die theoretischen Grundlagen neuronaler Netze zu behandeln, sondern auch deren Einsatz in der Praxis zu diskutieren. Die Themenauswahl spiegelt einen Teil des weiten Spektrums der Arbeiten auf diesem Gebiet wider. Ein Anspruch auf Vollständigkeit kann daher nicht erhoben werden. Insbesondere sei darauf verwiesen, daß für eine intensive, vertiefende Beschäftigung mit einem Thema auf die jeweiligen Originalarbeiten zurückgegriffen werden sollte. Ohne die Mitarbeit der Teilnehmerinnen und Teilnehmer des Seminars wäre dieser Report nicht möglich gewesen. Wir bedanken uns daher bei Frank Hauptmann, Peter Conrad, Christoph Keller, Martin Buch, Philip Ziegler, Frank Leidermann, Martin Kronenburg, Michael Dieterich, Ulrike Becker, Christoph Krome, Susanne Meyfarth , Markus Schmitz, Kenan Çarki, Oliver Schweikart, Michael Schick und Ralf Comes.
Ein maßgeschneidertes Kommunikationssystem für eine mobile Applikation mit Dienstgüteanforderungen
(2004)
In diesem Beitrag wird die Maßschneiderung eines Ad-Hoc-Kommunikationssystems zur Fernsteuerung eines Luftschiffs über WLAN vorgestellt. Dabei steht die Dienstunterstützung bei der Übertragung mehrerer Datenströme im Vordergrund. Es werden verschiedene Dienstgütemechanismen erklärt und deren Entwicklung und Integration in ein Kommunikationsprotokoll mit Hilfe eines komponentenbasierten Ansatzes genauer erläutert.
Die Sichten von Projektmitgliedern auf Prozesse von Software-Entwicklungen sollen in der Prozeßmodellierungssprache MVP-L formuliert und anschließend in ein Umfassendes Prozeßmodell integriert werden. Dabei ist die Identifikation ähnlicher Informationen in verschiedenen Sichten von Bedeutung. In dieser Arbeit berichten
wir über die Adaption und Synthese verschiedener Ansätze zum Thema Ähnlichkeit aus unterschiedlichen Domänen (Schema-Integration beim Datenbank-Entwurf, Analoges und Fallbasiertes Schließen, Wiederverwendung und System-Spezifikation). Das Ergebnis, die Ähnlichkeitsfunktion vsim, wird anhand eines Referenzbeispiels illustriert. Dabei gehen wir insbesondere auf die Eigenschaft der Funktion vsim ein und berichten über Erfahrungen im Umgang mit dieser Funktion zur Berechnung der Ähnlichkeit zwischen Prozeßmodellen.