Publications at the Faculty of Computer Science and Automation since 2015

Results: 1921
Created on: Thu, 25 Apr 2024 23:13:59 +0200 in 0.0560 sec


Blum, Maren-Christina; Hunold, Alexander; Solf, Benjamin; Klee, Sascha
Ocular direct current stimulation affects retinal ganglion cells. - In: Scientific reports, ISSN 2045-2322, Bd. 11 (2021), 17573, S. 1-9

Ocular current stimulation (oCS) with weak current intensities (a few mA) has shown positive effects on retinal nerve cells, which indicates that neurodegenerative ocular diseases could be treated with current stimulation of the eye. During oCS, a significant polarity-independent reduction in the characteristic P50 amplitude of a pattern-reversal electroretinogram was found, while no current stimulation effect was found for a full field electroretinogram (ffERG). The ffERG data indicated a trend for a polarity-dependent influence during oCS on the photopic negative response (PhNR) wave, which represents the sum activity of the retinal ganglion cells. Therefore, an ffERG with adjusted parameters for the standardized measurement of the PhNR wave was combined with simultaneous oCS to study the potential effects of direct oCS on cumulative ganglion cell activity. Compared with that measured before oCS, the PhNR amplitude in the cathodal group increased significantly during current stimulation, while in the anodal and sham groups, no effect was visible (α = 0.05, pcathodal = 0.006*). Furthermore, repeated-measures ANOVA revealed a significant difference in PhNR amplitude between the anodal and cathodal groups as well as between the cathodal and sham groups (p* ≤ 0.0167, pcathodal - anodal = 0.002*, pcathodal - sham = 0.011*).



https://doi.org/10.1038/s41598-021-96401-9
Ley, Sebastian; Sachs, Jürgen; Faenger, Bernd; Hilger, Ingrid; Helbig, Marko
MNP-enhanced microwave medical imaging by means of pseudo-noise sensing. - In: Sensors, ISSN 1424-8220, Bd. 21 (2021), 19, 6613, insges. 23 S.

https://doi.org/10.3390/s21196613
Shatooti, Sara; Mozaffari, Morteza; Reiter, Günter; Zahn, Diana; Dutz, Silvio
Heat dissipation in Sm3+ and Zn2+ co-substituted magnetite (Zn0.1SmxFe2.9-xO4) nanoparticles coated with citric acid and pluronic F127 for hyperthermia application. - In: Scientific reports, ISSN 2045-2322, Bd. 11 (2021), 16795, S. 1-14

In this work, Sm3+ and Zn2+ co-substituted magnetite Zn0.1SmxFe2.9-xO4 (x = 0.0, 0.01, 0.02, 0.03, 0.04 and 0.05) nanoparticles, have been prepared via co-precipitation method and were electrostatically and sterically stabilized by citric acid and pluronic F127 coatings. The coated nanoparticles were well dispersed in an aqueous solution (pH 5.5). Magnetic and structural properties of the nanoparticles and their ferrofluids were studied by different methods. XRD studies illustrated that all as-prepared nanoparticles have a single phase spinel structure, with lattice constants affected by samarium cations substitution. The temperature dependence of the magnetization showed that Curie temperatures of the uncoated samples monotonically increased from 430 to 480 ˚C as Sm3+ content increased, due to increase in A-B super-exchange interactions. Room temperature magnetic measurements exhibited a decrease in saturation magnetization of the uncoated samples from 98.8 to 71.9 emu/g as the Sm3+ content increased, which is attributed to substitution of Sm3+ (1.5 µB) ions for Fe3+ (5 µB) ones in B sublattices. FTIR spectra confirmed that Sm3+ substituted Zn0.1SmxFe2.9-xO4 nanoparticles were coated with both citric acid and pluronic F127 properly. The mean particle size of the coated nanoparticles was 40 nm. Calorimetric measurements showed that the maximum SLP and ILP values obtained for Sm3+ substituted nanoparticles were 259 W/g and 3.49 nHm2/kg (1.08 mg/ml, measured at f = 290 kHz and H = 16kA/m), respectively, that are related to the sample with x = 0.01. Magnetic measurements revealed coercivity, which indicated that hysteresis loss may represent a substantial portion in heat generation. Our results show that these ferrofluids are potential candidates for magnetic hyperthermia applications.



https://doi.org/10.1038/s41598-021-96238-2
Klimchenko, Vladimir; Torgashov, Andrei; Shardt, Yuri A. W.; Yang, Fan
Multi-output soft sensor with a multivariate filter that predicts errors applied to an industrial reactive distillation process. - In: Mathematics, ISSN 2227-7390, Bd. 9 (2021), 16, 1947, S. 1-14

The paper deals with the problem of developing a multi-output soft sensor for the industrial reactive distillation process of methyl tert-butyl ether production. Unlike the existing soft sensor approaches, this paper proposes using a soft sensor with filters to predict model errors, which are then taken into account as corrections in the final predictions of outputs. The decomposition of the problem of optimal estimation of time delays is proposed for each input of the soft sensor. Using the proposed approach to predict the concentrations of methyl sec-butyl ether, methanol, and the sum of dimers and trimers of isobutylene in the output product in a reactive distillation column was shown to improve the results by 32%, 67%, and 9.5%, respectively.



https://doi.org/10.3390/math9161947
Brooks, Kevin; Roux, Derik; Shardt, Yuri A. W.; Steyn, Chris
Comparison of semirigorous and empirical models derived using data quality assessment methods. - In: Minerals, ISSN 2075-163X, Bd. 11 (2021), 9, 954, insges. 19 S.

With the increase in available data and the stricter control requirements for mineral processes, the development of automated methods for data processing and model creation are becoming increasingly important. In this paper, the application of data quality assessment methods for the development of semirigorous and empirical models of a primary milling circuit in a platinum concentrator plant is investigated to determine their validity and how best to handle multivariate input data. The data set used consists of both routine operating data and planned step tests. Applying the data quality assessment method to this data set, it was seen that selecting the appropriate subset of variables for multivariate assessment was difficult. However, it was shown that it was possible to identify regions of sufficient value for modeling. Using the identified data, it was possible to fit empirical linear models and a semirigorous nonlinear model. As expected, models obtained from the routine operating data were, in general, worse than those obtained from the planned step tests. However, using the models obtained from routine operating data as the initial seed models for the automated advanced process control methods would be extremely helpful. Therefore, it can be concluded that the data quality assessment method was able to extract and identify regions sufficient and acceptable for modeling.



https://doi.org/10.3390/min11090954
Chamaani, Somayyeh; Akbarpour, Alireza; Helbig, Marko; Sachs, Jürgen
Matrix pencil method for vital sign detection from signals acquired by microwave sensors. - In: Sensors, ISSN 1424-8220, Bd. 21 (2021), 17, 5735, insges. 24 S.

Microwave sensors have recently been introduced as high-temporal resolution sensors, which could be used in the contactless monitoring of artery pulsation and breathing. However, accurate and efficient signal processing methods are still required. In this paper, the matrix pencil method (MPM), as an efficient method with good frequency resolution, is applied to back-reflected microwave signals to extract vital signs. It is shown that decomposing of the signal to its damping exponentials fulfilled by MPM gives the opportunity to separate signals, e.g., breathing and heartbeat, with high precision. A publicly online dataset (GUARDIAN), obtained by a continuous wave microwave sensor, is applied to evaluate the performance of MPM. Two methods of bandpass filtering (BPF) and variational mode decomposition (VMD) are also implemented. In addition to the GUARDIAN dataset, these methods are also applied to signals acquired by an ultra-wideband (UWB) sensor. It is concluded that when the vital sign is sufficiently strong and pure, all methods, e.g., MPM, VMD, and BPF, are appropriate for vital sign monitoring. However, in noisy cases, MPM has better performance. Therefore, for non-contact microwave vital sign monitoring, which is usually subject to noisy situations, MPM is a powerful method.



https://doi.org/10.3390/s21175735
Droste, Manfred; Kuske, Dietrich
Weighted automata. - In: Theoretical foundations, (2021), S. 113-150
Erschienen in: Handbook of automata theory ; Volume 1

Weighted automata are classical finite automata in which the transitions carry weights. These weights may model quantitative properties like the amount of resources needed for executing a transition or the probability or reliability of its successful execution. Using weighted automata, we may also count the number of successful paths labeled by a given word. As an introduction into this field, we present selected classical and recent results concentrating on the expressive power of weighted automata.



Kuske, Dietrich; Muscholl, Anca
Communicating automata. - In: Automata in mathematics and selected applications, (2021), S. 1147-1188
Erschienen in: Handbook of automata theory ; Volume 2

Communicating finite state machines are collections of finite state automata that communicate via reliable fifo channels. This survey discusses two fundamental questions about such machines, the model checking problem and their accepting power, i.e., the question what sets of behaviors can be described by such machines. Both questions rely on the notion of message sequence charts, that captures in a natural way the partial order semantics of communicating machines.



Beltrachini, Leandro; Ellenrieder, Nicolas von; Eichardt, Roland; Haueisen, Jens
Optimal design of on-scalp electromagnetic sensor arrays for brain source localisation. - In: Human brain mapping, ISSN 1097-0193, Bd. 42 (2021), 15, S. 4869-4879

Optically pumped magnetometers (OPMs) are quickly widening the scopes of noninvasive neurophysiological imaging. The possibility of placing these magnetic field sensors on the scalp allows not only to acquire signals from people in movement, but also to reduce the distance between the sensors and the brain, with a consequent gain in the signal-to-noise ratio. These advantages make the technique particularly attractive to characterise sources of brain activity in demanding populations, such as children and patients with epilepsy. However, the technology is currently in an early stage, presenting new design challenges around the optimal sensor arrangement and their complementarity with other techniques as electroencephalography (EEG). In this article, we present an optimal array design strategy focussed on minimising the brain source localisation error. The methodology is based on the Cramér-Rao bound, which provides lower error bounds on the estimation of source parameters regardless of the algorithm used. We utilise this framework to compare whole head OPM arrays with commercially available electro/magnetoencephalography (E/MEG) systems for localising brain signal generators. In addition, we study the complementarity between EEG and OPM-based MEG, and design optimal whole head systems based on OPMs only and a combination of OPMs and EEG electrodes for characterising deep and superficial sources alike. Finally, we show the usefulness of the approach to find the nearly optimal sensor positions minimising the estimation error bound in a given cortical region when a limited number of OPMs are available. This is of special interest for maximising the performance of small scale systems to ad hoc neurophysiological experiments, a common situation arising in most OPM labs.



https://doi.org/10.1002/hbm.25586
Hammer, Maximilian; Maschotta, Ralph; Wichmann, Alexander; Jungebloud, Tino; Bedini, Francesco; Zimmermann, Armin
A model-driven implementation of PSCS specification for C++. - In: MODELSWARD 2021, (2021), S. 100-109

OMG's PSCS specification extends the execution model of fUML by precise runtime semantics for UML composite structures. With composite structures being a concept for describing structural properties of a model, the majority of execution semantics specified by PSCS concern analysis and processing of static information about the model's fine-grained structure at runtime. Using Model-To-Text-Transformation to generate source code, which serves as an input for PSCS's actual execution environment, the runtime level of model execution can be relieved by outsourcing analysis and processing of static information to the level of code generation. By inserting this step of preprocessing, the performance of the actual model execution at runtime can be improved. This paper introduces an implementation of the PSCS specification for C++ based on code generation using Model-to-Text-Transformation. Moreover, it presents a set of test models validating the correct functionality of the implementation a s well as a performance benchmark. The PSCS implementation presented by this paper was developed as a part of the MDE4CPP* project.