Cross-monotonic game for self-organized context-aware placement of services with information producers and consumers. - In: Game Theory for Networks, (2017), S. 39-42
https://doi.org/10.1007/978-3-319-47509-7_4
Efficient spatio-temporal event processing with STARK. - In: Advances in Database Technology - EDBT 2017, (2017), S. 570-573
https://doi.org/10.5441/002/edbt.2017.72
Big spatial data processing frameworks: feature and performance evaluation : experiments & analyses. - In: Advances in Database Technology - EDBT 2017, (2017), S. 490-493
https://doi.org/10.5441/002/edbt.2017.52
Modellierung und automatische Generierung von FPGA-basierten Testinstrumenten für den strukturellen Leiterplattentest. - Ilmenau : Universitätsbibliothek, 2017. - 1 Online-Ressource (XXI, 249 Seiten)
Technische Universität Ilmenau, Dissertation 2017
Neue Bauformen von Schaltkreisen wie BGAs führen zu sinkenden Möglichkeiten des optischen und mechanischen Testzugriffs und stellen Testsysteme vor Probleme bei der Testbarkeit von Verbindungen zwischen ICs auf Leiterplatten. Damit verbunden sind eine reduzierte Testabdeckung und steigende Kosten. Besonders für FPGAs fehlen geeignete Methoden, bei denen sich das Testsystem automatisch den Gegebenheiten der zu testenden Leiterplatte anpasst. Diese Dissertation beschäftigt sich mit dem Problem des FPGA-basierten Testens. Das vorgestellte Konzept nutzt ausschließlich vorhandene Ressourcen des FPGAs, um Testalgorithmen in dessen Logik zu implementieren und erhöht die Herstellungskosten der Leiterplatte nicht. Die Ressourcen des FPGAs stehen während der Testphase exklusiv für das Testen zur Verfügung. Ausgehend vom Stand der Technik nicht-invasiver elektrischer Verfahren für Leiterplattentests werden aktuelle Ansätze und Methoden miteinander verglichen. Aus deren Stärken und Schwächen wird eine detaillierte Zielstellung für diese Dissertation erarbeitet. Es wird eine Methode zur Generierung von Testinstrumenten für das FPGA-basierte Testen vorgestellt, die die Ausführung von Testalgorithmen in den FPGA verlagern und eine vergleichbare oder bessere Testabdeckung sowie Testgeschwindigkeit als etablierte Verfahren liefert, ohne dafür auf manuelle Eingriffe bei der Generierung angewiesen zu sein. Im Rahmen eines Lösungsansatzes wird neben der Testsystemarchitektur eine Modellierung für die an den Verbindungstests beteiligten Schaltkreise vorgestellt. Hierbei wird die Ausführung der Testalgorithmen im FPGA entweder in Software auf einem softcore-basierten Prozessor oder direkt in Hardware als diskrete Logik in einem sogenannten Co-Prozessor ermöglicht. Mit der Methode ist es möglich jeden Schaltkreis getrennt und unabhängig von der Art seiner späteren Implementierung und den konkreten Gegebenheiten des Prüflings zu modellieren. Die Generierung aller nötigen Bestandteile in Software und Hardware, wie auch deren Integration zu einem Testinstrument erfolgen dabei vollständig automatisch. Kern der Arbeit ist die Modellierung und Generierung für eingebettete Testinstrumente, die auf der Testsystemarchitektur basieren. Der Fokus wird dabei auf die zeitlich korrekte Ansteuerung der an den Verbindungstests beteiligten Schaltkreise gelegt, ohne dabei eine konkrete Implementierung vorzugeben. In Untersuchungen wird die Generierung von Testinstrumenten für verschiedene Schaltkreise betrachtet. Die Ergebnisse belegen die Leistungsfähigkeit der vorgestellten Methode zur automatischen Generierung von FPGA-basierten Testinstrumenten und zeigen eine signifikante Beschleunigung des FPGA-basierten Verbindungstests.
http://nbn-resolving.de/urn:nbn:de:gbv:ilm1-2017000103
Current density reconstructions for Lorentz force evaluation. - In: Research in nondestructive evaluation, ISSN 1432-2110, Bd. 28 (2017), 2, S. 76-100
The detection and reconstruction of fatigue fractures is of great interest in quality assurance. In the framework of nondestructive testing, Lorentz force evaluation (LFE) is an evaluation technique to estimate flaws in electrically conductive materials based on measured Lorentz forces. In the forward solution for LFE, a defect can be interpreted as a distributed current source. This has motivated the authors to propose current density reconstructions (CDRs) calculated with minimum norm estimates to estimate defect geometries. The L1 and L2 norms tend to produce a solution which is either very focused or very smeared. To balance these constraints, the general Lp norm with 1 ≤ p ≤ 2 was used and the inverse solutions compared. This approach was applied to measured data obtained from a laminated composite and simulated data from a monolithic material. The results show that the L1.5 norm provides the most accurate inverse solutions. The location and extent of the defect are determined with an error of 15 % relative to the size of the defect. The depth estimation has a deviation of 50 %. It can be concluded that CDRs are a powerful method to reconstruct and characterize defects in LFE.
http://dx.doi.org/10.1080/09349847.2015.1111483
Advances in Database Technology - EDBT 2017 : 20th International Conference on Extending Database Technology, Venice, Italy, March 2124, 2017 : proceedings. - Konstanz : University of Konstanz, University Library, 2017. - 1 Online-Ressource. - (Advances in database technology) ISBN 978-3-89318-073-8
Literaturangaben
https://openproceedings.org/html/pages/2017_edbt.html
Separation of physiological signals using minimum norm projection operators. - In: IEEE transactions on biomedical engineering, ISSN 1558-2531, Bd. 64 (2017), 4, S. 904-916
https://doi.org/10.1109/TBME.2016.2582643
The complexity of model checking multi-stack systems. - In: Theory of computing systems, ISSN 1433-0490, Bd. 60 (2017), 4, S. 695-736
We study the linear-time model checking problem for boolean concurrent programs with recursive procedure calls. While sequential recursive programs are usually modeled as pushdown automata, concurrent recursive programs involve several processes and can be naturally abstracted as pushdown automata with multiple stacks. Their behavior can be understood as words with multiple nesting relations, each relation connecting a procedure call with its corresponding return. To reason about multiply nested words, we consider the class of all local temporal logics as defined in the book by Gabbay, Hodkinson, and Reynolds (1994). The unifying feature of these local temporal logics is that their modalities are defined in monadic second-order (MSO) logic. In particular, this captures numerous local temporal logics over concurrent and/or recursive programs that have been defined so far. Since the general model checking problem is undecidable, we restrict attention to phase bounded executions as proposed by La Torre, Madhusudan, and Parlato (LICS 2007). While the MSO model checking problem in this case is non-elementary, our main result states that the model checking (and satisfiability) problem for all MSO-definable local temporal logics is decidable in elementary time. More precisely, it is solvable in time exponential in the formula and (n+2)-fold exponential in the number of phases where n is the maximal level of the MSO modalities in the monadic quantifier alternation hierarchy. We complement this result and provide, for each level n, a temporal logic whose model checking problem is n-EXPSPACE-hard.
https://doi.org/10.1007/s00224-016-9700-6
Latency critical IoT applications in 5G: perspective on the design of radio interface and network architecture. - In: IEEE communications magazine, ISSN 1558-1896, Bd. 55 (2017), 2, S. 70-78
https://doi.org/10.1109/MCOM.2017.1600435CM
Analyzing closeness of code dependencies for improving IR-based traceability recovery. - In: SANER 2017, ISBN 978-1-5090-5501-2, (2017), S. 68-78
https://doi.org/10.1109/SANER.2017.7884610