Verlässlichkeit der Verkehrsinfrastruktur erhöhen. Ergebnisbericht des Themenfeldes 3 im BMVI-Expertennetzwerk für die Forschungsphase 2016 – 2019

Redaktionsteam: Anastassiadou, Friese, Hindersmann, Holst, Holtkämper, Malárics-Pfaff, PanenkaBundesamt für Seeschifffahrt und Hydrographie, Bundesanstalt für Gewässerkunde, Bundesanstalt für Straßenwesen, Bundesanstalt für Wasserbau, Deutscher Wetterdienst, Deutsches Zentrum für Schienenverkehrsforschung beim Eisenbahn-Bundesam

Sicherung der logistikqualität

Der nachfolgende Beitrag beleuchtet einen Forschungs- und Ausbildungsschwerpunkt der drei kooperierenden Universitäten. Dabei geht es um die Erforschung der Nutzung des Methoden vorrats (Vgl. [1]) von Qualitätsmanagement und Logistik im jeweils anderen Applikationsbereich. Die Forschungsarbeiten werden seit 2003 systematisch und arbeitsteilig durch-geführt. Durch synergetische Verknüpfung und zu leistende Systematisierungen sollen die bekannten Einsatzgebiete erweitert bzw. modifiziert sowie gänzlich neue Einsatzgebiete erschlossen werden. Gleichzeitig soll ein wesentlicher Beitrag zur Sicherung der Qualität in der Logistik geleistet werden.Um das gesammelte Wissen unmittelbar in der Aus- und Weiterbildung zu nutzen, wurde das Manuskript für ein gemeinsames Lehrbuch „Qualitätssicherung in der Logistik“ in den Sprachen ungarisch und deutsch fertig gestellt. Darüber hinaus werden erprobte Methoden in die gemeinsame webbasierte Methodendatenbank mlog eingestellt und für eine multivariate Nutzung zur Verfügung gestellt.Дана робота висвітлює дослідницькі й освітні завдання трьох університетів, що співробітничають між собою. При цьому мова йде про дослідження використання наявностей, що є в наявності (див [1]) керування якістю й логістики в інших сферах застосування. Дослідницькі роботи ведуться з 2003 року систематично й на основі поділу праці. Шляхом синегретического об'єднання й систематизації варто розширити, тобто модифікувати відомі області застосування, а також відкрити зовсім нові області застосування. Одночасно варто внести значний вклад у забезпечення якості в логістиці. Для того щоб використати накопичені знання безпосередньо в процесі навчання або підвищення кваліфікації, був підготовлений рукопис для загального навчального посібника "Забезпечення якості в логістиці" на угорській і німецькій мовах. Із цією метою були встановлені випробувані методи в електронному банку даних, які були підготовлені для безпосереднього використання

Historische Sozialforschung: Identifikation, Organisation, Institution

Im Mittelpunkt des vorliegenden Buches steht die Darstellung von Aufgaben und Leistungen des Zentrums für Historische Sozialforschung (ZHSF) in Vergangenheit, Gegenwart und Zukunft. Das ZHSF erbringt in institutionalisierter Form seit 1987 umfassende Infrastrukturleistungen für die Historische Sozialforschung; in der Entwicklung spiegelt sich daher exemplarisch auch die Entwicklung der Historischen Sozialforschung in der Bundesrepublik Deutschland in den zurückliegenden Jahren wider. 'Institution und Funktion' der Historischen Sozialforschung lassen sich nicht hinreichend verstehen, ohne 'Identifikation und Definition' sowie 'Organisation und Diffusion' zumindest als institutionellen Hintergrund in den Blick zu nehmen. Folgende Punkte werden in diesem Kontext näher betrachtet: (1) Wissenschaftlicher Standort; (2) Forschungsstrategie; (3) Geschichte, Aufgaben und Struktur; (4) Forschungsfeld und Klientel; (5) Beratungs- und Datenservice; (6) Software; (7) Historische Statistik; (8) Publikationen; (9) Lehre und Forschung. (psz

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

Aktueller Stand von Prozess Mining als Methode zur Unterstützung der Prozessautomatisierung

Prozess Mining ist eine Technologie, die Unternehmen bei der Verbesserung der Prozesse durch verschiedene Anwendungen wie Process Discovery, Conformance Checking oder Predictive Process Mining unterstützt. Prozessautomatisierung ist eine verbreitete Variante der Prozessverbesserung, da sie einen bedeutenden Wettbewerbsvorteil verspricht. Diese Studie untersucht anhand einer Literaturanalyse wie geeignet Prozess Mining für die Unterstützung der Prozessautomatisierung ist. Die Analyse bedient sich einer Systematisierung nach dem BPM-Lebenszyklus und der Level of Automation Taxonomie. Prozess Mining weist viel Potential für die Unterstützung der Automatisierung auf, aber es bleibt unklar, inwieweit dieses Potential in der Praxis umgesetzt werden kann. Die Stärken von Prozess Mining liegen im Diagnostischen Bereich, doch die Umsetzung wird kaum unterstützt. Die größten Hürden bildet hierbei die fehlende Limitation des Anwendungsbereichs von PM und das benötigte Expertenwissen für die Anwendung