Suche
Anzeige der Dokumente 21-30 von 84
Dissertation
Beitrag zur Betrachtung des Einflusses der Anforderungen auf die Hazard-Rate unter besonderer Berücksichtigung des Zusammenhangs zwischen Anforderungsrate, Ausfallrate, Probability of Dangerous Failure on Demand, Probability of Dangerous Failure per Hour und Hazard-Rate
(2015)
Durch die Digitalisierung verstärkt sich der Einsatz von komplexen elektronischen Systemen. Diese Systeme müssen sowohl gesetzlich und normativ geforderte Sicherheitsaspekte erfüllen als auch betriebswirtschaftlich ihre Rendite durch Verfügbarkeit erzielen. Einhergehend mit der Komplexität steigen die Anforderungen an Zuverlässigkeit, Sicherheit und Verfügbarkeit für das Gesamtsystem bestehend aus dem zu überwachenden System und dem Sicherheitssystem.
In dieser Monographie werden Erweiterungen von existierenden ...
Habilitation
Applicability of ordinal-array-based indicators to strange nonchaotic attractors
(Universität Kassel, 2017-06-12)
Time series are useful for modeling systems behavior, for predicting some events (catastrophes, epidemics, weather, ...) or for classification purposes (pattern recognition, pattern analysis). Among the existing data analysis algorithms, ordinal pattern based algorithms have been shown effective when dealing with simulation data. However, when applied to quasi-periodically forced systems, they fail to detect SNA and tori as regular dynamics. In this work we address this concern by defining ordinal array (OA) based ...
Aufsatz
A unified and memory efficient framework for simulating mechanical behavior of carbon nanotubes
(2015-06-01)
Carbon nanotubes possess many interesting properties, which make them a promising material for a variety of applications. In this paper, we present a unified framework for the simulation of the mechanical behavior of carbon nanotubes. It allows the creation, simulation and visualization of these structures, extending previous work by the research group “MISMO” at TU Darmstadt. In particular, we develop and integrate a new matrix-free iterative solving procedure, employing the conjugate gradient method, that drastically ...
Dissertation
Planning of Autonomous and Mobile Robots in Dynamic Environments
(2018-11)
The capabilities of autonomous robots are increasing which is a reason for research progress
in the last years. An increasing number of robotic scenarios are becoming more viable in
various domains for example, mowing, harvesting, warehouse robots. But autonomous
mobile robots need more than the ability to navigate through their world, and manipulate
objects. Even in teams of robots, a structured plan for each team member is necessary.
Planning becomes a more important task. Furthermore, the environment can ...
Dissertation
Fehlertoleranz und Elastizität für ein Framework zur globalen Lastenbalancierung
(2018-09-10)
Die Anzahl an Rechenknoten in Hochleistungsrechnern wächst stetig. In solchen Systemen nimmt die Bedeutung von Fehlertoleranz zu, da die Wahrscheinlichkeit eines permanenten Knotenausfalls ebenfalls stetig wächst.
Fehlertoleranz gegenüber permanenten Knotenausfällen wird typischerweise durch Checkpointing auf Systemebene realisiert. Findet das Checkpointing jedoch auf Anwendungsebene statt, können Laufzeitvorteile erzielt werden. Diese Implementierungen sind allerdings zeitintensiv und fehleranfällig. Anwendungen, ...
Dissertation
Extremal Fixpoints for Higher-Order Modal Logic
(2018-10)
In this dissertation, we investigate the interplay between extremal fixpoints and higher-order constructs. The main Focus here is Higher-Order Modal Fixpoint Logic (HFL), an extension of the modal mu-calculus by a simply typed lambda calculus. The resulting logic is very expressive, yet the interplay of its components has not been systematically investigated so far. Goal of this thesis is to characterize the interplay of the components of HFL.
A first characterization is given by converting the denotational semantics ...
Konferenzveröffentlichung
Alexa, Can You Help Us Solve This Problem? How Conversations With Smart Personal Assistant Tutors Increase Task Group Outcomes
(Association for Computing Machinery, 2019)
Despite a growing body of research about the design and use of Smart Personal Assistants, existing work has mainly focused on their use as task support for individual users in rather simple problem scenarios. Less is known about their ability to improve collaboration among multiple users in more complex problem settings. In our study, we directly compare 21 groups who either use a Smart Personal Assistant tutor or a human tutor when solving a problem task. The results indicate that groups interacting with Smart ...
Aufsatz
Process is King: Evaluating the Performance of Technology-mediated Learning in Vocational Software Training
(2018-09-01)
Technology-mediated learning (TML) is a major trend in education, since it allows to integrate the strengths of traditional- and IT-based learning activities. However, TML providers still struggle in identifying areas for improvement in their TML offerings. One reason for their struggles is inconsistencies in the literature regarding drivers of TML performance. Prior research suggests that these inconsistencies in TML literature might stem from neglecting the importance of considering the process perspective in ...
Preprint
Heapsort for Equal Keys
(2014-09)
Das effiziente Entfernen von Duplikaten in Datenbeständen ist eine algorithmische Herausforderung in theoretischer und praktischer Hinsicht. Tabellen mit Duplikaten entstehen in Datenbanken nach einer Projektion, beim Verfolgen von Seiten im Web, bei Messreihen und in der Stochastik. Ein häufige Methode, diese sog. Multisets in echte Mengen zu wandeln, ist die Sortierung mit folgender Entfernung aller gleichen Sätze bis auf einen. Idealerweise kann dies bereits bei der Sortierung in situ erfolgen, so dass vorne die ...
Aufsatz
Machines as teammates: A research agenda on AI in team collaboration
(2019-07-06)
What if artificial intelligence (AI) machines became teammates rather than tools? This paper reports on an international initiative by 65 collaboration scientists to develop a research agenda for exploring the potential risks and benefits of machines as teammates (MaT). They generated 819 research questions. A subteam of 12 converged them to a research agenda comprising three design areas – Machine artifact, Collaboration, and Institution – and 17 dualities – significant effects with the potential for benefit or harm. ...