The influence of the stimulus design on the harmonic components of the steady-state visual evoked potential. - In: Frontiers in human neuroscience, ISSN 1662-5161, Bd. 14 (2020), 343, insges. 11 S.
https://doi.org/10.3389/fnhum.2020.00343
FisheyeDistanceNet : self-supervised scale-aware distance estimation using monocular fisheye camera for autonomous driving. - In: 2020 IEEE International Conference on Robotics and Automation (ICRA), (2020), S. 574-581
https://doi.org/10.1109/ICRA40945.2020.9197319
QoS-aware spectrum sharing for D2D communication in cellular networks. - In: 2020 European Conference on Networks and Communications (EuCNC), (2020), S. 94-99
https://doi.org/10.1109/EuCNC48522.2020.9200971
A resource-saving approach for adding redundancy to a Network-on-Chip system. - In: 2020 IEEE 44th Annual Computers, Software, and Applications Conference, (2020), S. 1417-1422
FPGAs (Field programmable Gate Arrays) are useful compo-nents for embedded systems. In combination with Systems-on-Chip and Networks-on-Chip they enable flexible system solutions. Reliability and fault tolerance in such systems often is implemented by adding components for redundancy. Due to constraints in structural resources of FPGA chips, this approach in many cases does not provide adequate solutions. Indirect re-dundancy combined with universal component monitoring is a solution for failsafe Systems-on-Chip / Networks-on-Chip appli-cations in such situations.
https://doi.org/10.1109/COMPSAC48688.2020.00-57
Simulating the printed circuit board assembly process for image generation. - In: 2020 IEEE 44th Annual Computers, Software, and Applications Conference, (2020), S. 245-254
The inspection of printed circuit board assemblies gradually incorporates deep-learning-based classifiers. However, such classifiers require a vast dataset. To our knowledge, such a dataset is not available. This paper proposes a method to simulate the assembly process aiming at generating such a dataset. The simulation of the solder joint shape forming during reflow and the creation of a photorealistic rendering of the assembled board have the most significant impact on the visual appearance of the results. Therefore, this paper focuses on the simulation of these steps. The calculation of the solder joint shape requires minimizing the surface tension energy. For this, the algorithm discretizes the energy equations over a heightmap. The proposed software architecture for the simulation is highly extendable and facilitate future development. Experiments with the simulation of solder joints of a chip resistor show a remarkable similarity to real images from an automatic optical inspection machine.
https://doi.org/10.1109/COMPSAC48688.2020.00040
Complexity of counting first-order logic for the subword order. - In: 45th International Symposium on Mathematical Foundations of Computer Science, (2020), S. 61:1-61:12
This paper considers the structure consisting of the set of all words over a given alphabet together with the subword relation, regular predicates, and constants for every word. We are interested in the counting extension of first-order logic by threshold counting quantifiers. The main result shows that the two-variable fragment of this logic can be decided in two-fold exponential space provided the regular predicates are restricted to piecewise testable ones. This result improves prior insights by Karandikar and Schnoebelen by extending the logic and saving one exponent. Its proof consists of two main parts: First, we provide a quantifier elimination procedure that results in a formula with constants of bounded length (this generalizes the procedure by Karandikar and Schnoebelen for first-order logic). From this, it follows that quantification in formulas can be restricted to words of bounded length, i.e., the second part of the proof is an adaptation of the method by Ferrante and Rackoff to counting logic and deviates significantly from the path of reasoning by Karandikar and Schnoebelen.
https://doi.org/10.4230/LIPIcs.MFCS.2020.61
The subtrace order and counting first-order logic. - In: Computer science - theory and applications, (2020), S. 289-302
We study the subtrace relation among Mazurkiewicz traces which generalizes the much-studied subword order. Here, we consider the 2-variable fragment of a counting extension of first-order logic with regular predicates. It is shown that all definable trace languages are effectively recognizable implying that validity of a sentence of this logic is decidable (this problem is known to be undecidable for virtually all stronger logics already for the subword relation).
Soft sensor design for variable time delay and variable sampling time. - In: Journal of process control, ISSN 0959-1524, Bd. 92 (2020), S. 310-318
Often industrial variables can be difficult to measure due to such factors as extreme conditions or complex compositions. In such cases, soft sensors have been developed that use available system information and measurements to estimate these difficult-to-obtain variables. In practice, the measurements that are to be estimated by a soft sensor are often infrequently measured or delayed. Occasionally, these sampling times or delays are time varying. At present, most research has considered these parameters to be time invariant, and thus, there is a need to consider the time-varying case. Therefore, this paper will evaluate the impact of time-varying delays and sampling times for the design of a data-driven soft sensor. Modifications will be proposed that will increase the robustness and performance of the soft sensor. The reliability of the estimate will be shown using the Bauer-Premaratne-Durán Theorem. Furthermore, the proposed soft sensor system will be tested using simulations of a continuous stirred tank reactor (CSTR) and an reverse osmosis plant. Simulation showed that the modified soft sensor gives good estimates, whereas the traditional soft sensor gives an unstable estimate for the CSTR and reverse osmosis plant.
https://doi.org/10.1016/j.jprocont.2020.07.001
ROS-generation and cellular uptake behavior of amino-silica nanoparticles arisen from their uploading by both iron-oxides and hexamolybdenum clusters. - In: Materials science & engineering, ISSN 1873-0191, Bd. 117 (2020), 111305
The present work introduces combination of superparamagnetic iron oxides (SPIONs) and hexamolybdenum cluster ([{Mo6I8}I6]2−) units within amino-decorated silica nanoparticles (SNs) as promising design of the hybrid SNs as efficient cellular contrast and therapeutic agents. The heating generated by SNs doped with SPIONs (Fe3O4SNs) under alternating magnetic field is characterized by high specific absorption rate (SAR = 446 W/g). The cluster units deposition onto both Fe3O4@SNs and “empty” silica nanoparticles (SNs) results in Fe3O4@SNs[{Mo6I8}I6] and SNs[{Mo6I8}I6] with red cluster-centered luminescence and ability to generate reactive oxygen species (ROS) under the irradiation. The monitoring of spin-trapped ROS by ESR spectroscopy technique indicates that the ROS-generation decreases in time for SNs[{Mo6I8}I6] and [{Mo6I8}I6]2− in aqueous solutions, while it remains constant for Fe3O4@SNs[{Mo6I8}I6]. The cytotoxicity is low for both Fe3O4@SNs[{Mo6I8}I6] and SNs[{Mo6I8}I6], while the flow cytometry indicates preferable cellular uptake of the former versus the latter type of the nanoparticles. Moreover, entering into nucleus along with cytoplasm differentiates the intracellular distribution of Fe3O4@SNs[{Mo6I8}I6] from that of SNs[{Mo6I8}I6], which remain in the cell cytoplasm only. The exceptional behavior of Fe3O4@SNs[{Mo6I8}I6] is explained by residual amounts of iron ions at the silica surface.
https://doi.org/10.1016/j.msec.2020.111305
Event-triggered sliding mode control for a high-order system via reduced-order model based design. - In: Automatica, ISSN 0005-1098, Bd. 121 (2020), 109163
In this paper, we propose the design of event-triggered sliding mode control (SMC) for a high-order system via a reduced-order model based design. It comprises a triggering mechanism with a reduced-order state vector and a controller based on a reduced-order model which stabilizes the (high-order) plant against perturbation. Apart from its low order synthesis of the controller, the proposed technique possesses many other advantages. The important one is the sampling pattern, which could be sparser by the use of a reduced-order vector in the event condition than with a full vector itself. This observation comes from the fact that the triggering instants explicitly depend on the state vector and its behavior over time, and thereby relaxing a few components of the state vector in the triggering mechanism may decrease its rate of the violation. Another significant outcome of this strategy is that the transmission of the reduced-order vector, particularly in a network-based implementation can outperform the full-order based design owing to the severe challenges that persistently occur in the data network. The event-triggered SMC is considered to achieve a robust performance for the closed-loop system. We show that our proposal guarantees the stability of the full-order plant with the reduced-order triggering mechanism, which does not admit a triggering sequence with Zeno behavior. The simulation results are given for a practical example to illustrate the performance and benefits of the proposed method.
https://doi.org/10.1016/j.automatica.2020.109163