Publikationen an der Fakultät für Informatik und Automatisierung ab 2015

Anzahl der Treffer: 1925
Erstellt: Mon, 29 Apr 2024 23:10:44 +0200 in 0.0531 sec


Meister, Andreas; Büchner, Steffen; Amthor, Arvid
State machine based nonlinear hysteresis model. - In: Mechatronics, ISSN 1873-4006, Bd. 31 (2015), S. 215-221

A wide range of systems are characterized by nonlinear hysteresis effects. This especially appears in moving or deforming mechanical systems. In an effort to model these effects, a novel approach is presented in this work. The proposed model is based on a state machine imposing very few restrictions on the modeled system and therefore allowing a wide range of applications. The state machine represents the memory of the system. The size of the hysteresis loop and the local dependence is described by envelop functions while the shape of the loop is affected by the transition function. In this work we use polynomial functions as the envelop function and a hyperbolic tangent function to model the transition. The separation of these two parts and hence the free choice of functions allows a very good and easy fit to real system behavior. The identification of two exemplary mechanical systems with hysteresis is described and the results are presented.



http://dx.doi.org/10.1016/j.mechatronics.2015.07.010
Kawabe, Takashi; Namihira, Yoshimi; Suzuki, Kouta; Nara, Munehiro; Yamamoto, Yukiko; Tsuruta, Setsuo; Knauf, Rainer
A part-of-speech based sentiment classification method considering subject-predicate relation. - In: Big data analytics for human-centric systems, ISBN 978-1-4799-8697-2, (2015), S. 999-1004

Based on the topic and opinion classification, a tweet credibility analysis method is proposed to detect false information or rumors spreading on Twitter on and after the Great East Japan Earthquake. The credibility is assessed by calculating the ratio of the same opinions to all opinions about a topic identified by topic models generated using Latent Dirichlet Allocation. To identify an opinion (positive or negative) expressed in a tweet, a sentiment analysis is performed using a semantic orientation dictionary. However, the accuracy is a problem to identify the few false tweets. The accuracy of the originally proposed method was susceptible since the sentiment opinion of most tweets was identified negative by the baseline (namely Takamura's) semantic orientation dictionary. Furthermore, specialty namely expertise of users was not considered. To cope with these problems, a method for extracting sentiment orientations of words and phrases was proposed considering user's specialty / expertise degree or mark to each of the same / opposite opinion tweets. The effects of both improvements are proven by experiments using a large number of real tweets. Namely, in these experiments rumor tweets were detected more accurately.



http://dx.doi.org/10.1109/SMC.2015.181
Shinozaki, Tetsuo; Yamamoto, Yukiko; Tsuruta, Setsuo; Knauf, Rainer
Validation of context respectful counseling agent. - In: Big data analytics for human-centric systems, ISBN 978-1-4799-8697-2, (2015), S. 993-998

Many IT workers suffer from stress in doing their work and there are a few counselors to help them. To cope with this, a context respectful counseling agent (CRECA) is proposed. This agent extracts emotional words from clients' utterances throughout their dialogue to detect emotion changes and provides clients such changes as a dialogue summary. If no change is detected, it replies with paraphrases of clients' utterances followed by context-respectful prompts to narrow problems. The summary responses promote the reflection of clients. This way, the counseling agent can pretend to keep recognizing clients' psychological sufferings. It behaves as if it empathized with clients and continues talking to clients without losing their trust. Keeping reflection on themselves, clients reach more problem clarification and self-awareness, which enables them to solve their problems. Since the agent provides only information from clients' sayings and the summaries focused on the change in their emotions, there occur few problems of knowledge explosion and knowledge maintenance. An experiment verifies that our new agent with summarization function more effective than the agent without summarization function (Old CRECA) and ELIZA.



http://dx.doi.org/10.1109/SMC.2015.180
Fujikawa, Hiroshi; Yamaki, Hirofumi; Yamamoto, Yukiko; Tsuruta, Setsuo; Knauf, Rainer; Damiani, Ernesto
Evaluation of method for multiplexing communication routes to avoid intentional barriers. - In: Big data analytics for human-centric systems, ISBN 978-1-4799-8697-2, (2015), S. 815-820

It is common to operate an IT system where client computers in offices in a country access cloud computers in another country via the Internet. However, in some countries including China, network communication is often shut down by governmental bodies, in addition to network outage caused by network attacks. In case of such intentional interruptions, users need countermeasures to avoid them. Here, we propose a method to form bypass routes which consist of application-level gateways and intelligent routers placed at offices where client computers run, to select bypass routes based on the Internet status. A method for applying asymmetric criteria to decide whether to apply bypass routes is proposed for robust operation of Internetbased applications. Differential values of network latency are used for detecting intentional barriers through monitoring and analyzing the huge amount of temporal data, and absolute values to determine their ends. Such temporal data analysis knowledge is verified by a network simulator.



http://dx.doi.org/10.1109/SMC.2015.151
Kaiser, Irina;
Zertifizierbarer Entwicklungsprozess für komplexe Informationsverarbeitungssysteme in der Wägetechnik. - Ilmenau : Universitätsbibliothek, 2015. - 1 Online-Ressource (XIII, 209 Seiten)
Technische Universität Ilmenau, Dissertation 2015

Die Dissertation befasst sich mit Prinzipien, Methoden und Techniken der systematischen Entwicklung von komplexen Eingebetteten Systemen. Die betrachtete Domäne besitzt Anwendungsbereiche mit anspruchsvollen und besonderen Anforderungen an die Informationsverarbeitung. In der dynamischen Wägetechnik sind z.B. Lösungen mit sehr hohen Auflösungen und kleiner Messunsicherheit bei schnellen Messungen in einem mechanisch gestörten Umfeld notwendig. Die Anforderungen an die Eichfähigkeit und die Metrologische Sicherheit sind Besonderheiten. Es werden komplexe und hochleistungsfähige Funktionen zur Erzeugung der Messergebnisse verlangt. In der Arbeit werden dafür vorwiegend FPGA-basierte Eingebettete Systeme verwendet. Der entworfene zertifizierbare Prozess (ZEfIRA) bietet eine Vorgehensweise für die Entwicklung von Eingebetteten Systemen. Die Metrologische Sicherheit, die Eichfähigkeit, die Validier- und der Verifizierbarkeit werden als Kriterien im gesamten Entwurfsprozess berücksichtigt. ZEfIRA basiert auf einem 3W-Modell und ist evolutionär angelegt. Innerhalb des Prozesses werden die Analyse eines eventuellen Vorläufersystems sowie die modellbasierte prototypische Entwicklung bis hin zu einer produzierbaren Lösung (Produkt) durchgeführt. Die Arbeit verdeutlicht den großen Einfluss der spezifischen Anforderungen an das Messsystem. Es wird gezeigt, wie diese bereits zu der Entwurfszeit auf Modellebene und im Weiteren bei der Implementierung in einer FPGA-basierten Zielplattform berücksichtigt werden. Es werden verschiedene Schritte des funktionalen und technischen Systementwurfs untersucht und ausführlich die Realisierungspartitionen "FPGA-Logik" und "FPGA-Softcore-Lösungen" betrachtet. Als Beispiel zum Nachweis der Anwendbarkeit des Prozesses ZEfIRA dient die prototypische Entwicklung des Informationsverarbeitungssystems einer elektromagnetischen Kraftkompensationswaage (EMKW). Ausschlaggebend sind die optimal an das Gesamtsystem angepassten Signalverarbeitungs-, Regelungs- und Sicherheitsalgorithmen und deren technische Umsetzung. Dieses wurde mit verschiedenen Leistungsparametern, wie z.B. Latenz, Verarbeitungskomplexität und Genauigkeit realisiert. Ergänzend ermöglicht der Prototyp umfassende Analysemöglichkeiten für das Messsystem. Die abschließende Wertung ist eine Abschätzung der Leistungsfähigkeit von ZEfIRA auf Basis dieser prototypischen Entwicklung.



http://www.db-thueringen.de/servlets/DocumentServlet?id=27143
Füßl, Franz Felix; Streitferdt, Detlef; Shang, Weijia; Triebel, Anne
Introducing a method for modeling knowledge bases in expert systems using the example of large software development projects. - In: International Journal of Advanced Computer Science and Applications, ISSN 2156-5570, Bd. 6.2015, 12, Paper 1, S. 1-7

Goal of this paper is to develop a meta-model, which provides the basis for developing highly scalable artificial intelligence systems that should be able to make autonomously decisions based on different dynamic and specific influences. An artificial neural network builds the entry point for developing a multi-layered human readable model that serves as knowledge base and can be used for further investigations in deductive and inductive reasoning. A graph-theoretical consideration gives a detailed view into the model structure. In addition to it the model is introduced using the example of large software development projects. The integration of Constraints and Deductive Reasoning Element Pruning are illustrated, which are required for executing deductive reasoning efficiently.



http://dx.doi.org/10.14569/IJACSA.2015.061201
Kaiser, Irina; Fengler, Wolfgang; Fröhlich, Thomas
Metrologische Sicherheit eines Informationsverarbeitungssystems in der Messtechnik. - In: Messunsicherheit praxisgerecht bestimmen und Prüfprozesse in der industriellen Praxis, (2015), S. 233-240

In der Präzisionsmesstechnik steht allgemein die Anforderung der schnellen Messung im Konflikt mit einem sehr hohen Auflösungsvermögen und einer sehr kleinen Messunsicherheit. Insbesondere eichfähige Messsysteme fordern die Einhaltung der entsprechenden Regularien, wie beispielsweise das Eichgesetz und die Richtlinien der Physikalisch-Technischen Bundesanstalt (PTB). Derartige messtechnische Systeme benötigen für ihre Funktionen eine komplexe und hochleistungsfähige Informationsverarbeitung, die zertifiziert werden muss. Bei der systematischen Entwicklung von Messgeräten wird ein Nachweis benötigt, dass die geforderte Messunsicherheit des jeweiligen Verfahrens gewährleistet werden kann. Für diese Zwecke wird in dem vorliegenden Beitrag eine zusätzliche und spezielle Anforderung an die metrologische Sicherheit formuliert. Die entwickelten Funktionen zur Unterstützung der metrologischen Sicherheit und die zusätzlichen Maßnahmen zur Manipulationssicherheit sollen die Eichfähigkeit sowie die Einhaltung der Standards, Vorschriften und Richtlinien bereits in den frühen Phasen des Entwicklungsprozesses sicherstellen.



Titova, Olga; Hunold, Alexander; Freitag, Stefanie; Klemm, Matthias; Haueisen, Jens
Effects of anodal transcranial direct current stimulation at the eye on the electroretinogram. - In: 2nd International Scientific Symposium "Sense. Enable. SPITSE." 2015, 22 June - 03 July 2015, ISBN 978-5-7629-1647-9, (2015), S. 111-114
Richtiger Name: Stefanie Freitag

Streitferdt, Detlef;
Testing embedded software. - In: 2nd International Scientific Symposium "Sense. Enable. SPITSE." 2015, 22 June - 03 July 2015, ISBN 978-5-7629-1647-9, (2015), S. 122-123

Baumgarten, Daniel; Dietzel, Alexander; Rieger, Steffen; Lerm, Elena; Schramm, Stefan; Vilser, Walthard; Schikowski, Patrick; Kaeding, André; Kunert, Kathleen
Multimodal imaging under uncertainties in ophthalmic engineering. - In: 2nd International Scientific Symposium "Sense. Enable. SPITSE." 2015, 22 June - 03 July 2015, ISBN 978-5-7629-1647-9, (2015), S. 109-110