Publications at the Faculty of Computer Science and Automation since 2015

Results: 1932
Created on: Sat, 11 May 2024 23:10:03 +0200 in 0.0830 sec


Cvetkoviâc, Mario; Poljak, Dragan; Haueisen, Jens
Analysis of transcranial magnetic stimulation based on the surface integral equation formulation. - In: IEEE transactions on biomedical engineering, ISSN 1558-2531, Bd. 62 (2015), 6, S. 1535-1545

http://dx.doi.org/10.1109/TBME.2015.2393557
Zimmermann, Armin; Hildebrandt, Andreas
Zuverlässigkeitsbewertung komplexer Systeme mit Stochastischen Petri-Netzen und TimeNET. - In: Entwicklung und Betrieb zuverlässiger Produkte, (2015), S. 195-208

Die Zuverlässigkeit komplexer technischer Systeme hängt oft von ihrem dynamischen Verhalten ab. Petri-Netze sind sehr viel besser als klassische Modelle zuverlässiger Systeme dazu geeignet, derartige Abläufe zu beschreiben. Vorschläge dazu macht die Norm IEC 62551 (Analysis techniques for dependability - Petri net techniques). Für hinreichend komplexe bzw. nicht rein Markovsche Systeme lässt sich nur Simulation zur Berechnung der Zuverlässigkeitskenngrößen einsetzen. Ein offenes Problem ist hier aber die sehr lange Laufzeit für die statistisch abgesicherte Bestimmung sehr kleiner (Ausfall-)Wahrscheinlichkeiten. Der Beitrag beschreibt stochastische Petri-Netze in der Zuverlässigkeitsmodellierung und das RESTART-Verfahren zu ihrer beschleunigten Simulation. Das Softwarewerkzeug TimeNET wird vorgestellt, mit dem stochastische Petri-Netze für zuverlässige Systeme benutzerfreundlich modelliert und effizient untersucht werden können. Ein Anwendungsbeispiel zeigt Möglichkeiten und Vorteile der Methode.



Rempel, Patrick; Mäder, Patrick; Kuschke, Tobias; Cleland-Huang, Jane
Traceability gap analysis for assessing the conformance of software traceability to relevant guidelines. - In: Software Engineering & Management 2015, (2015), S. 120-121

Mauch, Steffen; Barth, Alexander; Reger, Johann; Reinlein, Claudia; Appelfelder, Michael; Beckert, Erik
FPGA-accelerated adaptive optics wavefront control : part II. - In: Laser resonators, microresonators, and beam control XVII, 2015, 93430Y, insges. 13 S.

Schneider, Rainer; Haueisen, Jens; Pfeuffer, Josef
Shaped saturation with RF power efficient 2D spatially selective spiral design in parallel transmission. - In: Fashioning MR to improve global healthcare, (2015), S. 1505

Schneider, Rainer; Gliemli, Christopher; Geppert, Christian; Haueisen, Jens; Boada, Fernando; Pfeuffer, Josef
Local signal recovery in clinical FLASH imaging with parallel transmission. - In: Fashioning MR to improve global healthcare, (2015), S. 4819

Schneider, Rainer; Haueisen, Jens; Pfeuffer, Josef
Asymmetric two-dimensional spatially selective excitation in echo-planar imaging. - In: Fashioning MR to improve global healthcare, (2015), S. 4478

Schneider, Rainer; Haueisen, Jens; Pfeuffer, Josef
Shaped fat saturation with 2D spatially selective multi-frequency RF pulse design in parallel transmission. - In: Fashioning MR to improve global healthcare, (2015), S. 1692

Scheidig, Andrea; Einhorn, Erik; Weinrich, Christoph; Eisenbach, Markus; Müller, Steffen; Schmiedel, Thomas; Wengefeld, Tim; Trinh, Thanh; Groß, Horst-Michael; Bley, Andreas; Scheidig, Rüdiger; Pfeiffer, Gustav; Meyer, Sibylle; Oelkers, Silke
Robotischer Reha-Assistent zum Lauftraining von Patienten nach Schlaganfall: erste Ergebnisse zum Laufcoach. - In: 8. AAL-Kongress, (2015), S. 436-445

In diesem Beitrag werden erste Ergebnisse zum Einsatz eines robotischen Reha-Assistenten als Laufcoach in einer Klinik vorgestellt. Zunächst wird das mit Laufcoach bezeichnete Einsatzszenario beschrieben und die zur Umsetzung dieses Szenarios grundlegenden Roboterverhalten sowie die eingesetzten realwelttauglichen Erkennungs-, Navigations- und Interaktionsleistungen zusammen mit der Roboterplattform vorgestellt. Die Herangehensweise an zunächst 4-tägige Funktionstests in der Klinik mit 15.000 m gefahrener Wegstrecke wird dargelegt und erste erreichte Ergebnisse zu den Roboterverhalten der autonomen und höflichen Zielanfahrt, des Lotsens und Folgens einer Person diskutiert.



Scheidig, Andrea; Debes, Klaus; Müller, Steffen; Schröter, Christof; Volkhardt, Michael; Groß, Horst-Michael; Richter, Katja; Döring, Nicola
SERROGA: Funktions- und Nutzertests : Herangehensweise und Ergebnisse. - In: 8. AAL-Kongress, (2015), S. 34-43

In diesem Beitrag wird die Herangehensweise der Forschergruppe SERROGA an die Durchführung von Ganztagsnutzertests in Seniorenwohnungen zu robotergestützter Gesundheitsassistenz mit alltagstauglich realisierten Demonstratoren vorgestellt. Diese Nutzertests erfolgten durchgehend ohne die Anwesenheit von Robotikexperten vor Ort. Dazu wurde zunächst die Möglichkeit der Nutzung von Laborumgebungen für realistische Funktionstests untersucht und Wohnumgebungen vergleichende Kennzahlen festgelegt. Anschließend erfolgten Funktions- und Nutzertests direkt in unterschiedlichen Wohnungen, wobei die dabei erhaltenen Ergebnisse in diesem Beitrag vorgestellt werden.