Alle öffentlichen Logbücher
Dies ist die kombinierte Anzeige aller in SDQ-Wiki geführten Logbücher. Die Ausgabe kann durch die Auswahl des Logbuchtyps, des Benutzers oder des Seitentitels eingeschränkt werden (Groß-/Kleinschreibung muss beachtet werden).
- 10:49, 24. Okt. 2025 Rahul Sharma Diskussion Beiträge erstellte die Seite A Contrastive Learning Framework for Semantic Consistency Verification of SysML and Simulink Models (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |gruppe=DSiS, MCSE }} ===Motivation=== Ensuring consistency between different modeling views (e.g., architectural in SysML, behavioral in Simulink) is a critical challenge in Cyber-Physical Systems (CPS) design. Current manual and rule-based methods are brittle and cannot detect deep semantic nuances. This thesis proposes to leverage Large Language Models (LLMs) in a nov…“)
- 10:11, 24. Okt. 2025 Rahul Sharma Diskussion Beiträge erstellte die Seite Automated Generation of a Consistency Benchmark for Cyber-Physical Systems Modeling (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Rahul Sharma |gruppe=DSiS, MCSE }} === Motivationt === The design of complex Cyber-Physical Systems (CPS) relies on a suite of diverse modeling platforms like SysML and Simulink. A critical and unsolved challenge in this paradigm is ensuring the consistency of models across these platforms, as inconsistencies can lead to system failures. While machine learning,…“)
- 09:46, 24. Okt. 2025 Benutzerkonto Rahul Sharma Diskussion Beiträge wurde automatisch erstellt