Formal Specification and Verification of Knowledge and its Application

Software muß zuverlässiger werden. Es ist allgemein anerkannt, daß formale Methoden, sofern sie richtig angewandt werden, die Sicherheit und Stabilität von Software verbessern können. Jedoch werden formale Methoden noch selten für industrielle Projekte genutzt. Das Ziel dieser Arbeit ist die Untersuchung, ob und wie Methoden, Werkzeuge und Ergebnisse aus dem Bereich der Wissensrepr äsentation auf das Gebiet der formalen Spezifikation übertragen werden können. Zuerst vergleichen wir Ziele, Konzepte und Probleme der Wissenrepräsentation mit denen der formalen Spezifikation. Danach untersuchen wir einige Eigenschaften von Spezifikationen und Wissensbasen, wie zum Beispiel Konsistenz, Vollständigkeit und Korrektheit. Weiterhin betrachten wir ein Werkzeug zur Spezifikation von wissensbasierten Systemen, welches selbst ein Wissensrepräsentationssystem ist. Abschließend ordnen wir diese Arbeit in die Standard Siemens Entwicklungsmethode (stdSEM) ein

The Social Comparison Scale: Testing the Validity, Reliability, and Applicability of the Iowa-Netherlands Comparison Orientation Measure (INCOM) on the German Population

Social comparisons are an essential source of information about the self. Research in social psychology has shown individual variation in the tendency toward comparison with other people's opinions and abilities, raising the question of whether social comparisons are driven by psychological dispositions. To test the empirical validity of this proposition, Gibbons and Buunk (1999) created an instrument that measures the tendency to engage in social comparison and captures central aspects of the self, the other, and the psychological interaction between the two. The Iowa-Netherlands Comparison Orientation Measure (INCOM) comprises 11 core items that have been tested in the United States and the Netherlands. To date, however, no attempt has been made to implement this instrument in a large-scale survey of the German population. To fill this gap, the core items of the INCOM scale were integrated into the 2010 SOEP (Socio-Economic Panel Study) pretest. This paper analyzes the validity of the INCOM scale and discusses potentials for shortening the instrument for continued use in large-scale population surveys. Exploratory and confirmatory factor analysis as well as scale validation tests (invariance tests combined with external validation techniques) produce acceptable results and confirm the measurement instrument as valid and effective. With regard to shortening the questionnaire, a six-item scale is recommended, which shows excellent model fit and proves to be a reliable and efficient indicator to grasp individual dispositions towards social comparison.Social comparisons, relative evaluations, reference groups, validity tests, SOEP

Hierarchical Classification of Design Decisions using pre-trained Language Models

Die Software-Architektur Dokumentation (SAD) ist ein integrales Artefakt eines Software Projektes. Die SAD trägt zum fortwährenden Erfolg eines Software Projektes bei, indem sie ein gemeinsames Verständnis der Software Architektur gewährleistet, wichtige Entwurfsentscheidungen dokumentiert und einer Erosion der Software vorbeugt. Um die Qualität von SADs zu verbessern und nachgelagerte Aufgaben zu unterstützen, ist eine automatische Klassifizierung dieser Entwurfsentscheidungen erstrebenswert. In dieser Arbeit implementieren und evaluieren wir einen Ansatz zur automatischen Identifikation und Klassifizierung von Entwurfsentscheidungen auf der Grundlage einer feingranularen Taxonomie, bei der wir eine hierarchische Klassifikationsstrategie mit dem Einsatz von Transfer-Lernen durch vortrainierter Sprachmodelle kombinieren. Der Beitrag dieser Arbeit besteht darin, den Vorteil einer hierarchischen Klassifikationsstrategie für die automatische Klassifikation von Entwurfsentscheidungen gegenüber einem nicht-hierarchischen Ansatz zu untersuchen. Außerdem untersuchen und vergleichen wir die Effektivität der vortrainierten Sprachmodelle RoBERTa, XLNet, BERTOverflow und GPT-3 für diese Aufgabe. In unserer Evaluation schnitten die Ansätze mit vortrainierten Sprachmodellen im Allgemeinen besser ab als die Baseline-Ansätze. Wir konnten jedoch keinen klaren Vorteil der hierarchischen Ansätze gegenüber den nicht-hierarchischen Ansätzen in Kombination mit den Sprachmodellen feststelle. Letztlich sind die Ergebnisse dieser Arbeit durch die Größe und das Ungleichgewicht unseres Datensatzes limitiert und erfordern daher weitere Forschung mit einem größeren Datensatz

The Social Comparison Scale: Testing the Validity, Reliability, and Applicability of the IOWA-Netherlands Comparison Orientation Measure (INCOM) on the German Population

Social comparisons are an essential source of information about the self. Research in social psychology has shown individual variation in the tendency toward comparison with other people's opinions and abilities, raising the question of whether social comparisons are driven by psychological dispositions. To test the empirical validity of this proposition, Gibbons and Buunk (1999) created an instrument that measures the tendency to engage in social comparison and captures central aspects of the self, the other, and the psychological interaction between the two. The Iowa-Netherlands Comparison Orientation Measure (INCOM) comprises 11 core items that have been tested in the United States and the Netherlands. To date, however, no attempt has been made to implement this instrument in a large-scale survey of the German population. To fill this gap, the core items of the INCOM scale were integrated into the 2010 SOEP (Socio-Economic Panel Study) pretest. This paper analyzes the validity of the INCOM scale and discusses potentials for shortening the instrument for continued use in large-scale population surveys. Exploratory and confirmatory factor analysis as well as scale validation tests (invariance tests combined with external validation techniques) produce acceptable results and confirm the measurement instrument as valid and effective. With regard to shortening the questionnaire, a six-item scale is recommended, which shows excellent model fit and proves to be a reliable and efficient indicator to grasp individual dispositions towards social comparison.Social comparisons, relative evaluations, reference groups, validity tests, SOEP

Evaluation of a Novel Anti-Mucin 1 (MUC1) Antibody (PankoMab) as a Potential Diagnostic Tool in Human Ductal Breast Cancer; Comparison with Two Established Antibodies

Aim: PankoMab is a novel antibody that recognizes a tumor-specific epitope of Mucin 1 (MUC1). The aim of this study was the evaluation of PankoMab as a potential diagnostic tool and its comparison with two established antibodies against MUC1 in human ductal breast cancer. Materials and Methods: Breast carcinomas were obtained from 82 patients. MUC1 expression and hormone receptor status were determined by immunohistochemistry of paraffin-embedded material. Results: PankoMab revealed strong correlation to hormone receptor expression. DF3 showed no correlation with grading, lymph node involvement and/or estrogen receptor (ER) expression. In the subgroup of lymph node-positive and ER-negative tumors, we saw a significantly reduced DF3 staining in G3 tumors compared to G2 tumors. VU-4-H5 showed increased staining intensity in correlation with increased grading. In addition, we also identified a significantly higher expression of the VU-4-H5 epitope in lymph node-positive carcinomas compared to carcinomas without lymph node involvement. Conclusion: PankoMab revealed strong correlation to hormone receptor expression in ductal carcinoma of the breast. VU-4-H5 showed increased staining intensity in correlation with increased grading and lymph node involvement. PankoMab and VU-4-H5 staining could be a useful combination in ductal breast cancer prognosis by immunohistochemistry

Implementierungsmöglichkeiten der integrativen Wissensakquisitionsmethode des ARC-TEC-Projektes

Die Implementation der Wissensakquisitionsmethode des ARC-TEC-Projektes als Software-System soll einerseits ihre VerifIkation durch den Einsatz als rechnergestütztes Tool ermöglichen. Sie muß andererseits dem experimentellen Charakter der Anwendung durch hohe Flexibilität und Änderungs-/Erweiterungsfreudigkeit Rechnung tragen. Um beide Anforderungen zu erfüllen, werden hier verschiedenener Möglichkeiten zur Implementation der ARC-TEC-Methode unter Berücksichtigung vorhandener Hard- und Software-Resourcen untersucht. Ziel dabei ist es nicht, völlig unterschiedliche, inkompatible Implementationsmöglichkeiten zu vergleichen. Vielmehr wird ein portables Basissystem postuliert, das in aufeinander aufbauenden Varianten an Kapazität und Effizienz, aber auch an Entwicklungsaufwand zunimmt

Beer Distribution Game : erfolgreich dank Regelungstechnik

Das Beer Distribution Game BDG kann als eine einfache Simulation zur Veranschaulichung zentraler Herausforderungen im Supply Chain Management SCM gelesen werden: Peitscheneffekt und Aufschaukelung von Bestelländerungen. Wie werden maximaler Gewinn und adäquate Lieferfähigkeit erreicht? Mit einem PID-Regler, basierend auf den üblichen Beschaffungsstrategien aus der Logistik (Bestellpunktverfahren und Bestellrhythmusverfahren) und dem SCM. Der Proportional- und der Integralanteil führen die Sicherheitsbestände und Bestellmengen dem Inputsignal nach. Der Differentialanteil sorgt dafür, dass die Lager weder leer laufen noch überlaufen, d.h. rasch den sich änderen Kundenbestellungen nachgeführt werden. Die Regleroptimierung erfolgt experimentell mittels Simulationsläufen. Die üblichen Anforderungen an das Führungsverhalten werden erfüllt: Stabilität, Genauigkeit, Schnelligkeit und Dämpfung, Robustheit. Die Ziele werden für alle Charakateristiken von Kundenbestellreihen zuverlässig und nahe dem theoretischen Optimum erreicht: Konstanz, Schwankung um Mittelwert und Trends. Der Bullwhip-Effekt lässt sich in Beschaffungsketten mit zeitlichen Verzögerungen und variablen Kundenbestellmengenreihen nicht grundsätzlich vermeiden, sondern nur kontrollieren. Die Wirksamkeit systemischer Eingriffe bestätigt das Systems Engineering: 1. Veränderung der Anzahl Elemente im System (Verkürzung der Lieferkette), 2. Reduktion der Verzögerungseffekte (Verkürzung von Lieferzeiten) und 3. durchgängiger Informationsfluss (SCM). Die Betrachtung von Lager- und Transportkosten ergibt eine weitere Möglichkeit zur Optimierung des Reglers

ritzy* connaisseur : Aufbau eines Virtual-Campus

Der Kanton Wallis ist Produzent von verschiedenen landwirtschaftlichen Produkten, allen voran Wein und Käse. Leider sind diese Produkte vielen im Gastgewerbe arbeitenden Personen nicht vertraut. Im Zuge des Ausbaus der Weiterbildungsmöglichkeiten wurde mit Hilfe der Software Moodle unter dem Titel „ritzy* connaisseur“ ein virtueller E-Learning Campus auf dem Internet aufgebaut. Der ritzy* connaisseur richtet sich an Betriebsinhaber von Walliser Restaurations und Beherbergungsbetrieben und deren Angestellte und ist kostenlos. Der ritzy* connaisseur setzt sich mit diesen landwirtschaftlichen Produkten auseinander. Der Kurs erklärt u. a. den Herstellungsprozess von Wein und verschiedenen Wein- und Rebsorten. Durch den ritzy* connaisseur bekommt der Teilnehmer aber auch Informationen über Käse im Wallis, in der Schweiz und im europäischen Ausland. Der Teilnehmer erweitert so sein Wissen auf eine einfache und spielerische Art und Weise. Im Weiteren erklärt der ritzy* connaisseur auch den Herkunftsschutz und die speziellen Vor- und Nachteile von AOC und IGP Zertifikaten

Deutschsprachige Fragebögen zur Usability-Evaluation im Vergleich

Für die Konstruktion gebrauchstauglicher Anwendungssysteme ist eine exakte Evaluierung der Usability eine wertvolle Unterstützung. Zu diesem Zweck werden in der Praxis häufig Usability-Fragebögen herangezogen. Im deutschen Sprachraum sind die beiden Fragebögen Isonorm 9241/10 und Isometrics, die beide Software gemäß der EN ISO 9241-110 evaluieren, weit verbreitet. Die vorliegende Studie widmete sich einem Vergleich dieser beiden Fragebögen hinsichtlich testtheoretischer Gütekriterien. Im Rahmen eines experimentellen Designs wurden die beiden Fragebögen eingesetzt um die Usability von zwei Standard-Softwarepaketen zu bewerten. Hinsichtlich der inhaltlichen Validität der Fragebögen zeigten die Ergebnisse eine hohe Übereinstimmung der Usability-Messung der beiden Fragebögen. Auch weitere testtheoretische Analysen lieferten eine ähnliche Qualitätsbeurteilung beider Fragebögen, weshalb sie aus diesem Blickwinkel gleichermaßen für Forschung und Praxis empfohlen werden können