Time granularity in simulation models within a multi-agent system

The understanding of how processes in natural phenomena interact at different scales of time has been a great challenge for humans. How information is transferred across scales is fundamental if one tries to scale up from finer to coarse levels of granularity. Computer simulation has been a powerful tool to determine the appropriate amount of detail one has to impose when developing simulation models of such phenomena. However, it has proved difficult to represent change at many scales of time and subject to cyclical processes. This issue has received little attention in traditional AI work on temporal reasoning but it becomes important in more complex domains, such as ecological modelling. Traditionally, models of ecosystems have been developed using imperative languages. Very few of those temporal logic theories have been used for the specification of simulation models in ecology. The aggregation of processes working at different scales of time is difficult (sometimes impossible) to do reliably. The reason is because these processes influence each other, and their functionality does not always scale to other levels. Thus the problems to tackle are representing cyclical and interacting processes at many scales and providing a framework to make the integration of such processes more reliable. We propose a framework for temporal modelling which allows modellers to represent cyclical and interacting processes at many scales. This theory combines both aspects by means of modular temporal classes and an underlying special temporal unification algorithm. To allow integration of different models they are developed as agents with a degree of autonomy in a multi-agent system architecture. This Ecoagency framework is evaluated on ecological modelling problems and it is compared to a formal language for describing ecological systems

An infrastructure for context-dependent RDF data replication on mobile devices

Der im Rahmen dieser Arbeit vorgestellte Ansatz beschreibt die Erstellung einer technischen Infrastruktur, die selektiv RDF-Daten in Abhängigkeit der Informationsbedürfnisse und den unterschiedlichen Kontexten mobiler Nutzer auf ein mobiles Endgerät repliziert und diese somit in intelligenter Art und Weise unterstützt. Eine Zusammenführung kontextspezifischer Konzepte und semantischer Technologien stellt einen wesentlichen Bestandteil zur Verbesserung der mobilen Informationssuche dar und erhöht gleichzeitig die Präzision mobiler Informationsgewinnungsprozesse. Trotz des vorhandenen Potentials einer proaktiven, kontextabhängigen Replizierung von RDF-Daten, gestaltet sich die Verarbeitung auf mobilen Endgeräten schwierig. Die Gründe dafür liegen in den technischen und netzwerkspezifischen Beschränkungen, in der fehlenden Verarbeitungs- und Verwaltungsfunktionalität von ontologiebasierten Beschreibungsverfahren sowie in der Unzulänglichkeit bestehender Replikationsansätze, sich an verändernde Informationsbedürfnisse sowie an unterschiedliche technische, umgebungsspezifische und infrastrukturbezogene Eigenheiten anzupassen. Verstärkt wird diese Problematik durch das Fehlen ausdrucksstarker Beschreibungsverfahren zur Repräsentation kontextspezifischer Daten. Existierende Ansätze leiden dementsprechend unter der Verwendung proprietärer Datenformate, dem Einsatz serverabhängiger Applikationsinfrastrukturen sowie dem Unvermögen, kontextspezifische Daten auszutauschen. Dies äußert sich in Studien, welche die Berücksichtigung der Informationsbedürfnisse mobiler Nutzer als unzureichend einstuft und einen Großteil der benötigten Informationen als kontextrelevant auszeichnet. Obgleich Fortschritte bei der Adaption von semantischen Technologien und Beschreibungsverfahren zur kontextabhängigen Verarbeitung zu erkennen sind, bleibt eine auf semantische Technologien basierende, proaktive Replizierung von RDF-Daten auf mobile Endgeräte ein offenes Forschungsfeld. Die vorliegende Arbeit diskutiert Möglichkeiten zur Erweiterung der mobilen, kontextspezifischen Datenverarbeitung durch semantische Technologien und beinhaltet eine vergleichende Studie zur Leistungsfähigkeit aktueller mobiler RDF-Frameworks. Kernpunkt ist die formale Beschreibung eines abstrakten Modells zur effizienten Akquise, Repräsentation, Verwaltung und Verarbeitung von Kontextinformationen unter Berücksichtigung der technischen Gegebenheiten mobiler Informationssysteme. Ergänzt wird es durch die formale Spezifikation eines nebenläufigen, transaktionsbasierten Verarbeitungsmodells, welches Vollständigkeits- und Konsistenzbedingungen auf Daten- und Prozessebene berücksichtigt. Der praktische Nutzen des vorliegenden Ansatzes wird anhand typischer Informationsbedürfnisse eines Wissensarbeiters demonstriert. Der Ansatz reduziert Abhängigkeiten zu externen Systemen und ermöglicht Nutzern, unabhängig von zeitlichen, örtlichen und netzwerkspezifischen Gegebenheiten, auf die für sie relevanten Daten zuzugreifen und diese zu verarbeiten. Durch die lokale Verarbeitung kontextbezogener Daten wird sowohl die Privatssphäre des Nutzers gewahrt als auch sicherheitsrelevanten Aspekten Rechnung getragen.This work describes an infrastructure for the selective RDF data replication to mobile devices while considering current and future information needs of mobile users and the different contexts they are operating in. It presents a novel approach in synthesizing context-aware computing concepts with semantic technologies and distributed transaction management concepts for intelligently assisting mobile users while enhancing mobile information seeking behavior and increasing the precision of mobile information retrieval processes. Despite the huge potential of a proactive, context-dependent replication of RDF data, such data can not be efficiently processed on mobile devices due to (i) technical limitations and network-related constraints, (ii) missing processing and management capabilities of ontology-based description frameworks, (iii) the inability of traditional data replication strategies to adapt to changing user information needs and to consider technical, environmental, and infrastructural restrictions of mobile operating systems, and (iv) the dynamic and emergent nature of context, which requires flexible and extensible description frameworks that allow for elaborating on the semantics of contextual constellations as well as on the relationships that exist between them. As a consequence, existing approaches suffer from the deployment of proprietary data formats, server-dependent application infrastructures, and the inability to share and exchange contextual information across system borders. Moreover, results of recently conducted studies reveal that mobile users find their information needs inadequately addressed, where a large share can be attributed as context or context-relevant. Although progress has been made in applying semantic technologies, concepts, and languages to the domain of context-aware computing, a synthesis of those fields for the proactive provision of RDF data replicas on mobile devices remains an open research issue. This work discusses possible fields where context-aware computing can be enhanced using technologies, languages, and concepts from the Semantic Web and contains a comparative study about the performance of current mobile RDF frameworks in replication-specific tasks. The main contribution of this thesis is a formal description of an abstract model that allows for an efficient acquisition, representation, management, and processing of contextual information while taking into account the peculiarities and operating environments of mobile information systems. It is complemented by a formal specification of a concurrently operating transaction-based processing model that considers completeness and consistency requirements on data and process level. We demonstrate the practicability of the presented approach trough a prototypical implementation of context and data providers that satisfy typical information needs of a mobile knowledge worker. As a consequence, dependencies to external systems are reduced and users are equipped with relevant information that adheres to their information needs anywhere and at any time, independent of any network-related constraints. Since context-relevant data are processed directly on a mobile device, security and privacy issues are preserved

Front-Line Physicians' Satisfaction with Information Systems in Hospitals

Day-to-day operations management in hospital units is difficult due to continuously varying situations, several actors involved and a vast number of information systems in use. The aim of this study was to describe front-line physicians' satisfaction with existing information systems needed to support the day-to-day operations management in hospitals. A cross-sectional survey was used and data chosen with stratified random sampling were collected in nine hospitals. Data were analyzed with descriptive and inferential statistical methods. The response rate was 65 % (n = 111). The physicians reported that information systems support their decision making to some extent, but they do not improve access to information nor are they tailored for physicians. The respondents also reported that they need to use several information systems to support decision making and that they would prefer one information system to access important information. Improved information access would better support physicians' decision making and has the potential to improve the quality of decisions and speed up the decision making process.Peer reviewe

Towards Next Generation Sequential and Parallel SAT Solvers

This thesis focuses on improving the SAT solving technology. The improvements focus on two major subjects: sequential SAT solving and parallel SAT solving. To better understand sequential SAT algorithms, the abstract reduction system Generic CDCL is introduced. With Generic CDCL, the soundness of solving techniques can be modeled. Next, the conflict driven clause learning algorithm is extended with the three techniques local look-ahead, local probing and all UIP learning that allow more global reasoning during search. These techniques improve the performance of the sequential SAT solver Riss. Then, the formula simplification techniques bounded variable addition, covered literal elimination and an advanced cardinality constraint extraction are introduced. By using these techniques, the reasoning of the overall SAT solving tool chain becomes stronger than plain resolution. When using these three techniques in the formula simplification tool Coprocessor before using Riss to solve a formula, the performance can be improved further. Due to the increasing number of cores in CPUs, the scalable parallel SAT solving approach iterative partitioning has been implemented in Pcasso for the multi-core architecture. Related work on parallel SAT solving has been studied to extract main ideas that can improve Pcasso. Besides parallel formula simplification with bounded variable elimination, the major extension is the extended clause sharing level based clause tagging, which builds the basis for conflict driven node killing. The latter allows to better identify unsatisfiable search space partitions. Another improvement is to combine scattering and look-ahead as a superior search space partitioning function. In combination with Coprocessor, the introduced extensions increase the performance of the parallel solver Pcasso. The implemented system turns out to be scalable for the multi-core architecture. Hence iterative partitioning is interesting for future parallel SAT solvers. The implemented solvers participated in international SAT competitions. In 2013 and 2014 Pcasso showed a good performance. Riss in combination with Copro- cessor won several first, second and third prices, including two Kurt-Gödel-Medals. Hence, the introduced algorithms improved modern SAT solving technology

Catalog 2001-02

https://openspace.dmacc.edu/catalogs/1025/thumbnail.jp