Publications at the Faculty of Computer Science and Automation since 2015

Results: 1924
Created on: Sat, 27 Apr 2024 23:11:18 +0200 in 0.0587 sec


Walther, Dominik; Viehweg, Johannes; Haueisen, Jens; Mäder, Patrick
A systematic comparison of deep learning methods for EEG time series analysis. - In: Frontiers in neuroinformatics, ISSN 1662-5196, Bd. 17 (2023), 1067095, S. 01-17

Analyzing time series data like EEG or MEG is challenging due to noisy, high-dimensional, and patient-specific signals. Deep learning methods have been demonstrated to be superior in analyzing time series data compared to shallow learning methods which utilize handcrafted and often subjective features. Especially, recurrent deep neural networks (RNN) are considered suitable to analyze such continuous data. However, previous studies show that they are computationally expensive and difficult to train. In contrast, feed-forward networks (FFN) have previously mostly been considered in combination with hand-crafted and problem-specific feature extractions, such as short time Fourier and discrete wavelet transform. A sought-after are easily applicable methods that efficiently analyze raw data to remove the need for problem-specific adaptations. In this work, we systematically compare RNN and FFN topologies as well as advanced architectural concepts on multiple datasets with the same data preprocessing pipeline. We examine the behavior of those approaches to provide an update and guideline for researchers who deal with automated analysis of EEG time series data. To ensure that the results are meaningful, it is important to compare the presented approaches while keeping the same experimental setup, which to our knowledge was never done before. This paper is a first step toward a fairer comparison of different methodologies with EEG time series data. Our results indicate that a recurrent LSTM architecture with attention performs best on less complex tasks, while the temporal convolutional network (TCN) outperforms all the recurrent architectures on the most complex dataset yielding a 8.61% accuracy improvement. In general, we found the attention mechanism to substantially improve classification results of RNNs. Toward a light-weight and online learning-ready approach, we found extreme learning machines (ELM) to yield comparable results for the less complex tasks.



https://doi.org/10.3389/fninf.2023.1067095
Köcher, Chris;
Verification of automata with storage mechanisms. - Ilmenau : Universitätsverlag Ilmenau, 2023. - 1 Online-Ressource (xi, 247 Seiten)
Technische Universität Ilmenau, Dissertation 2022

Ein wichtiges Forschungsthema in der Informatik ist die Verifikation, d.h., die Analyse von Systemen bezüglich ihrer Korrektheit. Diese Analyse erfolgt in zwei Schritten: Zuerst müssen wir das System und die gewünschten Eigenschaften formalisieren. Anschließend benötigen wir Algorithmen zum Testen, ob das System die Eigenschaften erfüllt. Oftmals können wir das Systemals endlichen Automaten mit geeignetem Speichermechanismus modellieren, z.B. rekursive Programme sind im Wesentlichen Automaten mit einem Stack. Hier betrachten wir Automaten mit zwei Varianten von Stacks und Queues: 1. Partiell vergessliche Stacks und Queues, welche bestimmte Teile ihrer Inhalte jederzeit vergessen können. Diese können für unzuverlässige Systeme verwendet werden. 2. Verteilte Stacks und Queues, d.h., mehrere Stacks und Queues mit vordefinierter Synchronisierung. Häufig lassen sich die Eigenschaften unserer Modelle mithilfe des (wiederholten) Erreichbarkeitsproblems in unseren Automaten lösen. Dabei ist bekannt, dass die Entscheidbarkeit dieser Probleme oftmals stark vom konkreten Datentyp des Speichers abhängt. Beide Probleme können für Automaten mit einem Stack in Polynomialzeit gelöst werden. Sie sind jedoch unentscheidbar, wenn wir Automaten mit einer Queue oder zwei Stacks betrachten. In bestimmten Spezialfällen sind aber dennoch in der Lage diese Systeme zu verifizieren. So können wir beispielsweise bestimmte Automaten mit mehreren Stacks betrachten - so genannte Asynchrone Kellerautomaten. Diese bestehen aus mehreren (lokalen) Automaten mit jeweils einem Stack. Wann immer diese Automaten etwas in mind. einen Stack schreiben, müssen sie unmittelbar zuvor von diesen Stacks etwas lesen. Das (wiederholte) Erreichbarkeitsproblem ist in asynchronen Kellerautomaten in Polynomialzeit entscheidbar. Wir können zudem das Erreichbarkeitsproblem von Queueautomaten durch Exploration des Konfigurationsraums semi-entscheiden. Hierzu können wir mehrere aufeinanderfolgende Transitionen zu so genannten Meta-Transformationen zusammenfassen und diese in einem Schritt simulieren. Hier betrachten wir Meta-Transformationen, die zwischen dem Lesen und Schreiben von Wörtern aus zwei gegebenen regulären Sprachen alternieren. Diese Meta-Transformationen können in Polynomialzeit ausgeführt werden. Für dieses Ergebnis müssen wir jedoch zunächst verschiedene algebraische Eigenschaften der Queues betrachten.



https://doi.org/10.22032/dbt.53804
Richter, Johannes;
Analyse und Entwicklung einer Softwarearchitektur für die intelligente, optische Inspektion. - Ilmenau : Universitätsverlag Ilmenau, 2023. - 1 Online-Ressource (ix, 205 Seiten)
Technische Universität Ilmenau, Dissertation 2022

Die automatische optische Inspektion ist das wichtigste Werkzeug der Qualitätskontrolle in der modernen Elektronikfertigung. Durch die automatisierte Bildaufnahme und das Ausführen vordefinierter Bildverarbeitungsschritte haben diese Systeme die manuelle optische Inspektion weitestgehend verdrängt. Trotz des großen Maßes an Automatisierung sind menschliche Experten an vielen Schritten der Prüfung unverzichtbar und damit potenzielle Fehlerquellen. In den letzten Jahren wurden zahlreiche Ansätze untersucht, welche einzelne Aspekte der optischen Qualitätssicherung durch die Anwendung von Methoden der künstlichen Intelligenz deutlich verbessern. Für den Wandel der optischen Inspektion hin zu einer verlässlichen und voll autonomen Prüfung wird in dieser Arbeit ein Modell mit fünf Phasen vorgestellt, welches die Entwicklungsschritte auf diesem Weg abbildet. Das neue Modell unterscheidet sich von bisherigen Ansätzen durch einen ganzheitlichen Blick auf die Qualitätskontrolle und die Berücksichtigung aller Prozessschritte. Um die Umsetzung dieses Modells zu tragen, zeigt diese Arbeit ein neues Architekturmuster auf, welches Lösungen auf Basis von künstlicher Intelligenz trainieren und ausführen kann. Durch seine hohe Flexibilität kann die neue Architektur über unterschiedliche Auslieferungen auf einer heterogenen Menge an Systemen angewendet werden und viele unterschiedliche Anwendungen von künstlicher Intelligenz über das Feld der optischen Inspektion hinaus umsetzen. Für die allgemeingültige Beschreibung von KI-Lösungen basiert diese Architektur auf einer Menge an Objekten, welche in dieser Arbeit definiert werden. Eine Umsetzung dieser Architektur wird diskutiert und ihre Anwendbarkeit anhand von drei Experimenten bewiesen. Die Implementierung der beschriebenen Architektur ist unter einer OpenSource-Lizenz veröffentlicht.



https://doi.org/10.22032/dbt.55214
Saeidi, Hamidreza; Mozaffari, Morteza; Ilbey, Serhat; Dutz, Silvio; Zahn, Diana; Azimi, Gholamhassan; Bock, Michael
Effect of europium substitution on the structural, magnetic and relaxivity properties of Mn-Zn ferrite nanoparticles: a dual-mode MRI contrast-agent candidate. - In: Nanomaterials, ISSN 2079-4991, Bd. 13 (2023), 2, 331, S. 1-19

Magnetic nanoparticles (MNPs) have been widely applied as magnetic resonance imaging (MRI) contrast agents. MNPs offer significant contrast improvements in MRI through their tunable relaxivities, but to apply them as clinical contrast agents effectively, they should exhibit a high saturation magnetization, good colloidal stability and sufficient biocompatibility. In this work, we present a detailed description of the synthesis and the characterizations of europium-substituted Mn-Zn ferrite (Mn0.6Zn0.4EuxFe2−xO4, x = 0.00, 0.02, 0.04, 0.06, 0.08, 0.10, and 0.15, herein named MZF for x = 0.00 and EuMZF for others). MNPs were synthesized by the coprecipitation method and subsequent hydrothermal treatment, coated with citric acid (CA) or pluronic F127 (PF-127) and finally characterized by X-ray Diffraction (XRD), Inductively Coupled Plasma (ICP), Vibrating Sample Magnetometry (VSM), Fourier-Transform Infrared (FTIR), Dynamic Light Scattering (DLS) and MRI Relaxometry at 3T methods. The XRD studies revealed that all main diffraction peaks are matched with the spinel structure very well, so they are nearly single phase. Furthermore, XRD study showed that, although there are no significant changes in lattice constants, crystallite sizes are affected by europium substitution significantly. Room-temperature magnetometry showed that, in addition to coercivity, both saturation and remnant magnetizations decrease with increasing europium substitution and coating with pluronic F127. FTIR study confirmed the presence of citric acid and poloxamer (pluronic F127) coatings on the surface of the nanoparticles. Relaxometry measurements illustrated that, although the europium-free sample is an excellent negative contrast agent with a high r2 relaxivity, it does not show a positive contrast enhancement as the concentration of nanoparticles increases. By increasing the europium to x = 0.15, r1 relaxivity increased significantly. On the contrary, europium substitution decreased r2 relaxivity due to a reduction in saturation magnetization. The ratio of r2/r1 decreased from 152 for the europium-free sample to 11.2 for x = 0.15, which indicates that Mn0.6Zn0.4Eu0.15Fe1.85O4 is a suitable candidate for dual-mode MRI contrast agent potentially. The samples with citric acid coating had higher r1 and lower r2 relaxivities than those of pluronic F127-coated samples.



https://doi.org/10.3390/nano13020331
Sachs, Sebastian; Ratz, Manuel; Mäder, Patrick; König, Jörg; Cierpka, Christian
Particle detection and size recognition based on defocused particle images: a comparison of a deterministic algorithm and a deep neural network. - In: Experiments in fluids, ISSN 1432-1114, Bd. 64 (2023), 2, 21, S. 1-16

The systematic manipulation of components of multimodal particle solutions is a key for the design of modern industrial products and pharmaceuticals with highly customized properties. In order to optimize innovative particle separation devices on microfluidic scales, a particle size recognition with simultaneous volumetric position determination is essential. In the present study, the astigmatism particle tracking velocimetry is extended by a deterministic algorithm and a deep neural network (DNN) to include size classification of particles of multimodal size distribution. Without any adaptation of the existing measurement setup, a reliable classification of bimodal particle solutions in the size range of 1.14 μm–5.03 μm is demonstrated with a precision of up to 99.9 %. Concurrently, the high detection rate of the particles, suspended in a laminar fluid flow, is quantified by a recall of 99.0 %. By extracting particle images from the experimentally acquired images and placing them on a synthetic background, semi-synthetic images with consistent ground truth are generated. These contain labeled overlapping particle images that are correctly detected and classified by the DNN. The study is complemented by employing the presented algorithms for simultaneous size recognition of up to four particle species with a particle diameter in between 1.14 μm and 5.03 μm. With the very high precision of up to 99.3 % at a recall of 94.8 %, the applicability to classify multimodal particle mixtures even in dense solutions is confirmed. The present contribution thus paves the way for quantitative evaluation of microfluidic separation and mixing processes.



https://doi.org/10.1007/s00348-023-03574-2
Santhakumaran, Sarmilan; Shardt, Yuri A. W.
Data-driven nonlinear system identification of blood glucose behaviour in Type I diabetics. - In: Control engineering practice, ISSN 1873-6939, Bd. 132 (2023), 105405

Data-driven nonlinear system identification with sparse regression is a promising method to represent nonlinear dynamics in the form of a rigorous model description. Therefore, nonlinear functional structure identification and parameter estimation are performed simultaneously. Classical identification methods require functional structures that are manually derived using process knowledge either from first principles or practical experience. However, the effort required to provide these structures is time-consuming, labour-intensive, and in connection with operational trials in production plants, also associated with high costs. In addition, the latest sparse regression solution for nonlinear system identification does not offer an analytical solution due to the properties of the L1 norm. For this reason, sparse regression with smoothed L1 regularisation is proposed for nonlinear system identification. For this purpose, a nonlinear library function is first constructed based on the extended dynamic mode decomposition theory (eDMD), which contains all possible nonlinear bijective function candidates. For the process description, the most suitable functions with the related weighting parameters are selected using the regularisation properties. The performance of the method is demonstrated using the blood glucose behaviour from Type I Diabetes. The validation of the method is performed for a simulation study with and without noise influence and applied to experimental data of two patients in a Python simulation. It can be shown that the identification is successful for both studies with a performance limit for a signal-to-noise ratio (SNR) of 0.45 (3.46 dB).



https://doi.org/10.1016/j.conengprac.2022.105405
Henke, Karsten; Poliakov, Mykhailo; Wuttke, Heinz-Dietrich; Nau, Johannes; Poliakov, Oleksii
Production cell structure constructor for remote laboratory experiments. - In: Artificial Intelligence and Online Engineering, (2023), S. 81-91

The paper presents a method for extending the diversity of virtual experiments in remotely controlled laboratories. Using the example of experiments controlling the model of a manufacturing cell, it is shown how a variety of different experiments can be achieved by synthesizing new variants of the structure of this manufacturing cell. The manufacturing cell is used to process workpieces and consists of elements such as conveyors, turntables, processing devices, and others. Each of these devices is represented by a variety of discrete sensors and actuators, where the sensors are inputs and the actuators are outputs to the control system, which must be designed by the student as a finite state machine (FSM). The devices with their sensors and actuators, as well as visual and virtual device models, are grouped together as a structure constructor. Here, the visual model of a device is a set of graphic objects whose visual properties depend on the values of the tags of the virtual model. The virtual model of the device specifies the graphical (tag values) and functional (values of the inputs of the FSM) response of the device model to the control signals of the FSM. The requirements for the structure of the manufacturing cell are determined by the sequence of operations for processing the workpiece. As a result of the synthesis of the manufacturing cell structure, the following are determined: the composition and location of the devices on the working field of the system; their visual reactions to temporal changes in the values of the outputs of the FSM; the values of the inputs in response to the control signals (=outputs of the FSM); and the values of the variables of the relationship with neighboring devices. The proposed method can be useful in organizing a laboratory workshop on the design of parallel and hierarchical control automata.



https://doi.org/10.1007/978-3-031-17091-1_9
Nau, Johannes; Helbing, Pierre; Henke, Karsten; Streitferdt, Detlef
Latency resistant safety in distributed remote laboratories. - In: Artificial Intelligence and Online Engineering, (2023), S. 112-124

This work will focus on the problems of creating a safe distributed laboratory. We explicitly will not discuss how to make individual elements of an experiment safe, as this is highly application-dependent. Instead, the goal is to find and evaluate different methods to detect and respond to fault conditions that an individual laboratory device might detect. Specifically, the methods should differentiate between user-based faults and those introduced through network communications. We develop a mathematical model to simulate distributed laboratories. We will introduce (time-dependent) network latency and jitter between all elements. Based on the model, a discrete event simulation is created. This simulation environment simulates three different fault detecting methods: the token method, the timestamp method, and the full-state-transfer method. We will compare detection ratios, bandwidth usage, and memory usage between the three methods based on the simulation.



https://doi.org/10.1007/978-3-031-17091-1_12
Hunold, Alexander; Haueisen, Jens; Nees, Frauke; Moliadze, Vera
Review of individualized current flow modeling studies for transcranial electrical stimulation. - In: Journal of neuroscience research, ISSN 1097-4547, Bd. 101 (2023), 4, S. 405-423, insges. 19 S.

There is substantial intersubject variability of behavioral and neurophysiological responses to transcranial electrical stimulation (tES), which represents one of the most important limitations of tES. Many tES protocols utilize a fixed experimental parameter set disregarding individual anatomical and physiological properties. This one-size-fits-all approach might be one reason for the observed interindividual response variability. Simulation of current flow applying head models based on available anatomical data can help to individualize stimulation parameters and contribute to the understanding of the causes of this response variability. Current flow modeling can be used to retrospectively investigate the characteristics of tES effectivity. Previous studies examined, for example, the impact of skull defects and lesions on the modulation of current flow and demonstrated effective stimulation intensities in different age groups. Furthermore, uncertainty analysis of electrical conductivities in current flow modeling indicated the most influential tissue compartments. Current flow modeling, when used in prospective study planning, can potentially guide stimulation configurations resulting in individually effective tES. Specifically, current flow modeling using individual or matched head models can be employed by clinicians and scientists to, for example, plan dosage in tES protocols for individuals or groups of participants. We review studies that show a relationship between the presence of behavioral/neurophysiological responses and features derived from individualized current flow models. We highlight the potential benefits of individualized current flow modeling.



https://doi.org/10.1002/jnr.25154
Nagel, Edgar; Dietzel, Alexander; Link, Dietmar; Haueisen, Jens; Klee, Sascha
Progrediente pigmentierte Fundusläsion nach 23 Jahren - therapieren oder beobachten?. - In: Die Ophthalmologie, ISSN 2731-7218, Bd. 120 (2023), 8, S. 851-856

https://doi.org/10.1007/s00347-022-01729-w