Refine
H-BRS Bibliography
- yes (3714) (remove)
Departments, institutes and facilities
- Fachbereich Wirtschaftswissenschaften (1088)
- Fachbereich Informatik (972)
- Fachbereich Angewandte Naturwissenschaften (575)
- Fachbereich Ingenieurwissenschaften und Kommunikation (509)
- Fachbereich Sozialpolitik und Soziale Sicherung (353)
- Institut für Technik, Ressourcenschonung und Energieeffizienz (TREE) (345)
- Institute of Visual Computing (IVC) (273)
- Institut für funktionale Gen-Analytik (IFGA) (169)
- Institut für Verbraucherinformatik (IVI) (141)
- Institut für Cyber Security & Privacy (ICSP) (106)
- Internationales Zentrum für Nachhaltige Entwicklung (IZNE) (95)
- Graduierteninstitut (66)
- Institut für Sicherheitsforschung (ISF) (66)
- Institut für Medienentwicklung und -analyse (IMEA) (28)
- Institut für Detektionstechnologien (IDT) (27)
- Centrum für Entrepreneurship, Innovation und Mittelstand (CENTIM) (24)
- Zentrum für Innovation und Entwicklung in der Lehre (ZIEL) (23)
- Bibliothek (19)
- Zentrum für Ethik und Verantwortung (ZEV) (19)
- Sprachenzentrum (15)
- Institut für Soziale Innovationen (ISI) (12)
- Präsidium (6)
- Verwaltung (6)
- Institut für KI und Autonome Systeme (A2S) (5)
- Stabsstelle Kommunikation und Marketing (4)
- Institut für Existenzgründung und Mittelstandsförderung (IfEM) (3)
- Zentrum für Wissenschafts- und Technologietransfer (ZWT) (3)
- Institut für IT-Service (ITS) (2)
Document Type
- Article (1166)
- Conference Object (1016)
- Part of a Book (615)
- Book (monograph, edited volume) (365)
- Report (90)
- Contribution to a Periodical (81)
- Doctoral Thesis (70)
- Preprint (69)
- Working Paper (45)
- Master's Thesis (43)
- Conference Proceedings (39)
- Research Data (26)
- Bachelor Thesis (25)
- Video (18)
- Book review (10)
- Patent (8)
- Periodical (8)
- Diploma Thesis (7)
- Lecture (5)
- Other (5)
- Study Thesis (2)
- Part of Periodical (1)
Year of publication
Language
Has Fulltext
- no (3714) (remove)
Keywords
- Lehrbuch (85)
- Controlling (23)
- Deutschland (23)
- Nachhaltigkeit (22)
- Unternehmen (21)
- Management (17)
- Betriebswirtschaftslehre (16)
- Informationstechnik (13)
- Robotics (13)
- FPGA (12)
Traffic simulations are generally used to forecast traffic behavior or to simulate non-player characters in computer games and virual environments. These systems are usually modeled in such a way that traffic rules are strictly followed. However, rule violations are a common part of real-life traffic and thus should be integrated into such models.
YAWL Symposium 2013. Proceedings of the First YAWL Symposium, Sankt Augustin, Germany, June 7, 2013
(2013)
Hybrid system models exploit the modelling abstraction that fast state transitions take place instantaneously so that they encompass discrete events and the continuous time behaviour for the while of a system mode. If a system is in a certain mode, e.g. two rigid bodies stick together, then residuals of analytical redundancy relations (ARRs) within certain small bounds indicate that the system is healthy. An unobserved mode change, however, invalidates the current model for the dynamic behaviour. As a result, ARR residuals may exceed current thresholds indicating faults in system components that have not happened. The paper shows that ARR residuals derived from a bond graph cannot only serve as fault indicators but may also be used for bond graph model-based system mode identification. ARR residuals are numerically computed in an off-line simulation by coupling a bond graph of the faulty system to a non-faulty system bond graph through residual sinks. In real-time simulation, the faulty system model is to be replaced by measurements from the real system. As parameter values are uncertain, it is important to determine adaptive ARR thresholds that, given uncertain parameters, allow to decide whether the dynamic behaviour in a current system mode is the one of the healthy system so that false alarms or overlooking of true faults can be avoided. The paper shows how incremental bond graphs can be used to determine adaptive mode-dependent ARR thresholds for switched linear time-invariant systems with uncertain parameters in order to support robust fault detection. Bond graph-based hybrid system mode identification as well as the determination of adaptive fault thresholds is illustrated by application to a power electronic system easy to survey. Some simulation results have been analytically validated.
In this paper, we describe an approach that enables an autonomous system to infer the semantics of a command (i.e. a symbol sequence representing an action) in terms of the relations between changes in the observations and the action instances. We present a method of how to induce a theory (i.e. a semantic description) of the meaning of a command in terms of a minimal set of background knowledge. The only thing we have is a sequence of observations from which we extract what kinds of effects were caused by performing the command. This way, we yield a description of the semantics of the action and, hence, a definition.
Für die Durchführung größerer Projekte innerhalb des DLR ist es häufig notwendig, dass sich Wissenschaftler fachübergreifend in Themengebiete einarbeiten müssen. Im Rahmen dieser Einarbeitung führen Wissenschaftler Recherchen in fremden Fachbereichen durch. Das DLR hat zu diesem Zweck das Wissensportal KnowledgeFinder entwickelt. Dieses Framework setzt klassische Suchverfahren zum Auffinden von Informationen in beliebigen Datenbeständen ein. Wenn Wissenschaftler in fremden Fachbereichen recherchieren, dann fällt es ihnen aufgrund des oberflächlichen Einblicks oftmals schwer, zielgerichtet nach Informationen zu suchen. Die im KnowledgeFinder eingesetzten klassischen Suchverfahren, die auf textueller und struktureller Ähnlichkeit basieren, können bei diesen unspezifischen Suchanfragen nur bedingt beim Auffinden von relevanten Informationen helfen. Aufgrund von Mehrdeutigkeiten und unterschiedlichen Kontexten stoße solche Verfahren oftmals an ihre Grenzen. Semantische Technologien haben zum Ziel diesen Mangel zu beheben. Hier wird neben der textuellen und strukturellen Ähnlichkeit zusätzlich die Dimension der Bedeutung betrachtet. In dieser Masterthesis wurde untersucht, ob die Suchergebnisqualität des KnowledgeFinder durch den Einsatz semantischer Technologien verbessert werden kann. Innerhalb einer Machbarkeitsstudie wurde dazu das KnowledgeFinder Framework um semantische Suchverfahren erweitert. Diese Verfahren sollen die fachübergreifende Recherche von DLR-Wissenschaftlern erleichtern, indem sie ihnen helfen, passende Suchergebnisse in den entsprechenden Fachbereichen zu finden.
Distributed systems comprise distributed computing systems, distributed information systems, and distributed pervasive systems. They are often very complex and their implementation is challenging. Intensive and continuous testing is indispensable to ensure reliability and high quality of a distributed system. The testing process should have a high degree of automation, not only on lower levels (i.e. unit and module testing), but also on higher testing levels (e.g. system, integration, and acceptance tests). To achieve automation on higher testing levels virtual infrastructure components (e.g. virtual machines, virtual networks) that are offered as a Service (IaaS) can be employed. The elasticity of on-demand computation resources fits well together with the varying resource demands of automated test execution.
A methodology for automated acceptance testing of distributed systems that uses virtual infrastructure is presented. It is founded on a task-oriented model that is used to abstract concurrency and asynchronous, remote communication in distributed systems. The model is used as groundwork for a domain-specific language that allows expressing tests for distributed systems in the form of scenarios. On the one hand, test scenarios are executable and, therefore, fully automated. On the other hand, test scenarios represent requirements to the system under test making an automated, example-based verification possible.
A prototypical implementation is used to apply the developed methodology in the context of two different case studies. The first case study uses RCE as an example of a distributed, workflow-driven integration environment for scientific computing. The second one uses MongoDB as an example of a document-oriented database system that offers distributed data storage through master-slave replication. The results of the experimental evaluation indicate that the developed acceptance testing methodology is a useful approach to design, build, and execute tests for distributed systems with high quality and a high degree of automation.
The BRICS component model: a model-based development paradigm for complex robotics software systems
(2013)
Updating a shared data structure in a parallel program is usually done with some sort of high-level synchronization operation to ensure correctness and consistency. However, underlying synchronization instructions in a processor architecture are costly and rather limited in their scalability on larger multi-core/multi-processors systems. In this paper, we examine work queue operations where such costly atomic update operations are replaced with non-atomic modifiers (simple read+write). In this approach, we trade the exact amount of work with atomic operations against doing more and redundant work but without atomic operations and without violating the correctness of the algorithm. We show results for the application of this idea to the concrete scenario of parallel Breadth First Search (BFS) algorithms for undirected graphs on two large NUMA shared memory system with up to 64 cores.