Beitrag zur Verhaltensanalyse und Synchronisation von steuerungstechnischen Prozessen durch verteilte echtzeitfähige Kommunikationssysteme

Aufbauend auf dem voranschreitenden Übergang zentralistischer Steuerungskonzepte über die Dezentralisierung hin zum verteilten System soll ein echtzeitfähiges Steuerungskonzept für die Antriebssynchronisation zur Patientenbewegung als lokal abgeschlossenes System erarbeitet werden. Dabei sollen Grundlagen echtzeitfähiger Steuerungstechnik, verteilter Systeme, der Prozesssynchronisation sowie entsprechende Kommunikationssysteme vorgestellt, bestehende Lösungen diskutiert und aus den Erkenntnissen entsprechende Konzeptvorschläge für die Lösung der Aufgabenstellung gemacht werden. Im zweiten Teil dieser Arbeit soll aus den gewonnen Erkenntnissen und dem voranschreitenden Erfordernis der weltweiten Vernetzung technischer Systeme ein Konzept für die Integration und den echtzeitfähigen Zugriff auf dezentrale Peripheriekomponenten in das Internet erarbeitet werden. Für beide Teilaufgaben sollen Lösungsschritte aufgezeigt und evaluiert werden. Eine kritische Betrachtung der vorgestellten Konzepte erfolgt auf Basis bereits erfolgter industrieller Anwendung sowie in der Vorstellung einer zum Patent angemeldeten Lösung für den webbasierten Zugriff auf dezentral angeordnete Steuerungskomponenten

Dezentrale, Anomalie-basierte Erkennung verteilter Angriffe im Internet

Die mittlerweile unabdingbare Verfügbarkeit des Internets wird zunehmend durch finanziell motivierte, verteilte Angriffe gestört. Deren schnelle und flächendeckende Erkennung als notwendige Voraussetzung für effektive Gegenmaßnahmen ist Ziel dieser Arbeit. Hierzu werden neue Mechanismen zur Identifikation von Angriffen und zur dezentralen domänenübergreifenden Kooperation verteilter Erkennungssysteme entworfen. Zudem werden die für die realitätsnahe Evaluierung notwendigen Werkzeuge entwickelt

Modellierung und Verifikation von verteilten/parallelen Informationssystemen

Petri nets are used in many fields as modelling technique. The different usage areas and modelling objectives require different classes of Petri nets. Powerful high level Petri nets and especially coloured Petri nets are well suited for describing behavior of distributed information systems in order to verify and analyse them. Extended coloured Petri nets with structured marks are presented in this work. An example is used in order to demonstrate the analysis and verification steps. This example algorithm is modeled with extended coloured Petri nets (HCPN-ST). It is transformed into coloured Petri nets, in order to simulate, analyse and verify the method with existing software tools. The model is simulated and analysed with PENECA Chromos tool, although it cannot verify all properties, but it allows to interoperate with INA tool. The remainder of the analysis and verification is done in the INA tool. The above mentioned steps are extended and integrated into the complete analysis process and the verification methodology. Finally, the need and motivation for the extension of dynamic approaches modelling for the analysis of distributed information system is elaborated to accomplish the goal of the work. We succeed to validate, that the extended formal method is an effective method to model and analyse distributed information systems.Petrinetze werden in vielen Bereichen als Modellierungstechnik verwendet. Die verschiedenen Einsatzgebiete und Modellierungsziele erfordern mittel unterschiedliche Typen von Petrinetzen. Die höheren Petrinetze eignen sich gut zur Formalisierung des Verhaltens verteilter Informationssysteme zum Zweck der Verifikation und Analyse. Eine Klasse erweiterter gefärbte Petrinetze (HCPN-ST) mit strukturierten Marken wird in dieser Arbeit vorgestellt und am Beispiel erläutert. An diesem konkreten Modell wird die Analyse und Verifikation demonstriert. Das Beispiel-Algorithmenmodell wird in ein CPN transformiert. Der Algorithmus der Transformation wird vorgestellt. Diese Transformation wird durchgeführt, um die erweiterte Methode mit Software -Tools zu analysieren und verifizieren. Mit Peneca Chromos wird das Modell editiert und simuliert und einige Eigenschaften werden analysiert. Die weitere Analyse und Verifikation erfolgt mit dem Tool INA. Es folgt die Erweiterung und Integration in den gesamten Analyseprozess und die Verifikationsmethodik. Abschließend wird die Notwendigkeit und Motivation zur Erweiterung von dynamischen Modellierungsansätzen für die Analyse von verteilten Informationssystemen behandelt und damit die Zielstellung der Arbeit erreicht

Neues Konzept zur skalierbaren, explorativen Analyse großer Zeitreihendaten mit Anwendung auf umfangreiche Stromnetz-Messdaten

Diese Arbeit beschäftigt sich mit der Entwicklung und Anwendung eines neuen Konzepts zur skalierbaren explorativen Analyse großer Zeitreihendaten. Hierzu werden zahlreiche datenintensive Methoden aus dem Bereich des Data-Mining und der Zeitreihenanalyse hinsichtlich ihrer Skalierbarkeit mit wachsendem Datenvolumen untersucht und neue Verfahren und Datenrepräsentationen vorgestellt, die eine Exploration sehr großer Zeitreihendaten erlauben, die mit herkömmlichen Methoden nicht effizient auswertbar sind und unter dem Begriff Big Data eingeordnet werden können. Methoden zur Verwaltung und Visualisierung großer multivariater Zeitreihen werden mit Methoden zur Detektion seltener und häufiger Muster – sog. Discords und Motifs – kombiniert und zu einem leistungsfähigen Explorationssystem namens ViAT (von engl. Visual Analysis of Time series) zusammengefasst. Um auch Analysen von Zeitreihendaten durchführen zu können, deren Datenvolumen hunderte von Terabyte und mehr umfasst, wurde eine datenparallele verteilte Verarbeitung auf Basis von Apache Hadoop entwickelt. Sie erlaubt die Ableitung datenreduzierter Metadaten, welche statistische Eigenschaften und neuartige Strukturbeschreibungen der Zeitreihen enthalten. Auf dieser Basis sind neue inhaltsbasierte Anfragen und Auswertungen sowie Suchen nach bekannten und zuvor unbekannten Mustern in den Daten möglich. Das Design der entwickelten neuen Methoden und deren Integration zu einem Gesamtsystem namens FraScaTi (von engl. Framework for Scalable management and analysis of Time series data) wird vorgestellt. Das System wird evaluiert und im Anwendungsfeld der Stromnetzanalyse erprobt, welches von der Skalierbarkeit und den neuartigen Analysemöglichkeiten profitiert. Hierzu wird eine explorative Analyse hochfrequenter Stromnetz-Messdaten durchgeführt, deren Ergebnisse im Kontext des Anwendungsbereichs präsentiert und diskutiert werden

Bots - Nicht-menschliche Mitglieder der Wikipedia-Gemeinschaft

"Empirische Befunde zur hybriden Wissensgenerierung am Beispiel der deutschsprachigen Wikipedia. Bisherige (soziologische) Forschungsarbeiten zu Wikipedia konzentrieren sich insbesondere auf die Frage nach der Entstehung eines eigentlich ''unmöglichen' öffentlichen Gut(s)' (Stegbauer 2006: 228), sowie auf die Entstehung von positionalen Strukturen innerhalb der Wikipedia-Gemeinschaft. Bei einer näheren Betrachtung der Edits, also den Veränderungen an Wikipedia-Artikeln, zeigt sich, dass inzwischen zahlreiche Edits von autonomen Softwareagenten, sogenannten Bots, durchgeführt werden. Es handelt sich bei diesen Editierungen zwar überwiegend um kleinere Änderungen an Artikeln, dennoch ist eine zunehmende Bedeutung nicht-menschlicher Akteure für die hybride Wissensgenerierung evident. Die Arbeit wird zunächst eine empirische Bestandsaufnahme der Bot- Aktivitäten vornehmen. Dabei werden die Bots nach unterschiedlichen Tätigkeitsfeldern klassifiziert und es wird untersucht, ob und wie sich die Bot-Aktivitäten in den letzten Jahren intensiviert haben. Im zweiten Schritt wird das Verhalten der Bots mit dem Verhalten menschlicher Wikipedia-Nutzer verglichen und auf wesentliche Differenzen und Ähnlichkeiten hingewiesen. Bei diesem Vergleich werden insbesondere die Art der Artikel-Änderungen und der Umfang der Änderungen berücksichtigt. Abschließend wird der Versuch unternommen, das Zusammenhandeln von Bot, Bot- Betreiber und Wikipedia-Nutzer mit Hilfe eines hybriden Handlungsmodells (HMSE) (Fink/Weyer 2010) zu erklären." (Autorenreferat

Agentenbasierter Programmassistent zur Verwaltung von NC-Informationen in Produktionssystemen mit Kommunikationsnetzwerken

In den letzten Jahren hat sich die rapide Entwicklung der Elektrotechnik ebenso wie die der Softwaretechnologie auf die numerischen Steuerungen in den heutigen CNC-Maschinen groß ausgewirkt. Diese numerischen Steuerungen sind sowohl intelligenter und flexibler als auch mit größerer Internspeicherkapazität ausgerüstet. Dies führt zu einer Änderung der Art und Weise, wie DNC-Systeme zu etablieren sind, besonders solcher, die auf bisher verfügbaren, aber ungleichartigen DNC-Systemen basieren. In einem solch heterogenen DNC-System wird Datenspeicherungsfähigkeit stärker verteilt angeordnet, d.h., sie ist nicht nur in einem zentralen DNC-Server vorhanden, sondern auch in Terminals oder Steuerungen selbst angelagert. Diese Änderung des Archivierungsmittels benötigt neue DNC-Software, die die DNC-Grundfunktionen voll realisiert. Zudem sollte sie auch den neuen spezifischen Softwareanforderungen entsprechen und erlauben, neue Funktionen, z.B. Maschinendatenerfassung, Betriebsdatenerfassung usw., als Module hinzuzufügen. Derzeit wird die Agententechnologie bzw. ein MAS (Multiagentensystem) als ein aussichtsreicher Ansatz angesehen, um die Probleme der heutigen komplexen Softwaresysteme, wie ungleichartige Systemumgebungen und verteilte Strukturen, zu lösen. Die vorliegende Arbeit stellt die Idee zum Aufbau eines heterogenen DNC-Systems und die Konzipierung zur Gestaltung der agentenbasierten DNC-Software vor. Ausgehend von dem vorgestellten Lösungskonzept wird zudem der Programmassistent als erster Modul der agentenbasierten DNC-Software präsentiert.In the network-based DNC systems and especially heterogeneous DNC systems data get more distributed due to the ability to store not only in the DNC Server but also in the CNC controller or CNC Terminal. This leads a challenge to the DNC software in the implementation of its basic functions. The agent-based DNC software with assistants (ADNC) is suggested to solve the above problem. Its tasks are to collect distributed NC information and transfer data safely as well as performing other extended functions, i.e. NC program generation, machine data collection, production data collection, control machines in system, etc. The present work presented the concept to develop the ADNC and its first prototype. This prototype was developed in a process using a framework of agent-based assistants, called AgentAP. It is applicable on distributed manufacturing data and had been implemented on the agent platform JADE. The module Program Assistant, one of these prototype modules, which is responsible for management, bidirectional transfer, and monitoring change of NC programs, is also discussed