Hide menu

AIICS Publications: Student Theses

Hide abstracts BibTeX entries
[22] Valberg Joakim. 2015.
Document Separation in Digital Mailrooms.
Student Thesis. 47 pages. ISRN: LIU-IDA/LITH-EX-A-15/056-SE.

The growing mail volumes for businesses worldwide is one reason why theyare increasingly turning to digital mailrooms. A digital mailroom automaticallymanages the incoming mails, and a vital technology to its success isdocument classication. A problem with digital mailrooms and the documentclassication is separating the input stream of pages into documents.This thesis investigates existing classication theory and applies it to createan algorithm which solves the document separation problem. This algorithmis evaluated and compared against an existing algorithmic solution, over adataset containing real invoices.

[21] Full text  Erik Sommarström. 2015.
I am the Greatest Driver in the World!: -Does self-awareness of driving ability affect traffic safety behaviour?.
Student Thesis. 43 pages. ISRN: LIU-IDA/KOGVET-A--15/008—SE.

This simulator study aims to investigate if there is a relationship between self-awareness of driving ability and traffic safety behaviour. Self-awareness in this study is accurate self-evaluation of one’s abilities. By letting 97 participants (55-75 years old) drive the simulator and answering the Driver Skill Inventory (DSI; Warner et al., 2013) as well as the Multidimensional locus of control (T-loc; Özkan & Lajunen, 2005). A measure of self-awareness was computed using the residuals from regression line. Furthermore, this measure could show if a participant over-estimated or under-estimated their ability. Four self-awareness measures were made. The self-awareness measures were compared to traffic safety behaviour. Three different traffic safety measures were computed using specific events in the simulator scenario. The self-awareness measures were grouped into three groups; under-estimators, good self-awareness and over-estimators. These groups were then compared to each other with respect to traffic safety. A multivariate ANOVA was made to test for differences between the self-awareness groups but no significant main difference was found. The results showed no difference in traffic safety behaviour given the different levels of self-awareness. Furthermore, this could be a result of the old age of the sample group as self-awareness may only be relevant in a learning context. The conclusion of the study is that the analysis shows that there is no difference between over-estimators and under-estimators of driving ability, at least not in experienced older drivers.

[20] Tina Danielsson. 2015.
Portering frćn Google Apps REST API till Microsoft Office 365 REST API.
Student Thesis. 10 pages. ISRN: LiTH-IDA/ERASMUS-G--15/003--SE.

Stress pÄ arbetsplatsen relaterat till mÄnga inkommande och utgÄende kommunikationskanaler Àr ett reellt problem. Applikationer som samlar alla kanaler i samma verktyg kan hjÀlpa till pÄ det hÀr omrÄdet. För att förenkla vid utveckling av en sÄdan applikation kan ett modulÀrt system skapas, dÀr varje modul ser liknande ut och enkelt kan kopplas in i en huvudapplikation. Den hÀr studien undersöker de problem som kan uppstÄ nÀr flera tjÀnster ska integreras, mer specifikt genom att titta pÄ hur en befintlig modul för e-post via Google Apps kan porteras för att stödja e-post via Microsoft Office 365. Arbetet har skett enligt metoder för testdriven portering och varje steg i porteringen har dokumenterats noggrant. Ett antal problemomrÄden har identifierats och möjliga lösningar föreslÄs. UtfrÄn de problem som uppstÄtt dras slutsatsen att de Àr av en sÄdan karaktÀr att de inte utgör nÄgot hinder för en portering.

[19] Jonas Hietala. 2015.
A Comparison of Katz-eig and Link-analysis for Implicit Feedback Recommender Systems.
Student Thesis. 85 pages. ISRN: LIU-IDA/LITH-EX-A--15/026--SE.

Link: http://www.jonashietala.se/masters_thesi...

Recommendations are becoming more and more important in a world where there is an abundance of possible choices and e-commerce and content providers are featuring recommendations prominently. Recommendations based on explicit feedback, where user is giving feedback for example with ratings, has been a popular research subject. Implicit feedback recommender systems which passively collects information about the users is an area growing in interest. It makes it possible to generate recommendations based purely from a user's interactions history without requiring any explicit input from the users, which is commercially useful for a wide area of businesses. This thesis builds a recommender system based on implicit feedback using the recommendation algorithms katz-eig and link-analysis and analyzes and implements strategies for learning optimized parameters for different datasets. The resulting system forms the foundation for Comordo Technologies' commercial recommender system.

[18] Patrik Bergström. 2015.
Automated Setup of Display Protocols.
Student Thesis. 44 pages. ISRN: LIU-IDA/LITH-EX-A--15/014--SE.

Link: http://urn.kb.se/resolve?urn=urn:nbn:se:...

Radiologists' workload has been steadily increasing for decades. As digital technology matures it improves the workflow for radiology departments and decreases the time necessary to examine patients. Computer systems are widely used in health care and are for example used to view radiology images. To simplify this, display protocols based on examination data are used to automatically create a layout and hang images for the user. To cover a wide variety of examinations hundreds of protocols must be created, which is a time-consuming task and the system can still fail to hang series if strict requirements on the protocols are not met. To remove the need for this manual step we propose to use machine learning based on past manually corrected presentations. The classifiers are trained on the metadata in the examination and how the radiologist preferred to hang the series. The chosen approach was to create classifiers for different layout rules and then use these predictions in an algorithm for assigning series types to individual image slots according to categories based on metadata, similar to how display protocol works. The resulting presentations shows that the system is able to learn, but must increase its prediction accuracy if it is to be used commercially. Analyses of the different parts show that increased accuracy in early steps should improve overall success.

[17] Full text  Karl Nygren. 2015.
Trust Logics and Their Horn Fragments: Formalizing Socio-Cognitive Aspects of Trust.
Student Thesis. 93 pages. ISRN: LiTH-MAT-EX--2015/01--SE.

This thesis investigates logical formalizations of Castelfranchi and Falcone's (C&F) theory of trust [9, 10, 11, 12]. The C&F theory of trust defines trust as an essentially mental notion, making the theory particularly well suited for formalizations in multi-modal logics of beliefs, goals, intentions, actions, and time.Three different multi-modal logical formalisms intended for multi-agent systems are compared and evaluated along two lines of inquiry. First, I propose formal definitions of key concepts of the C&F theory of trust and prove some important properties of these definitions. The proven properties are then compared to the informal characterisation of the C&F theory. Second, the logics are used to formalize a case study involving an Internet forum, and their performances in the case study constitute grounds for a comparison. The comparison indicates that an accurate modelling of time, and the interaction of time and goals in particular, is integral for formal reasoning about trust.Finally, I propose a Horn fragment of the logic of Herzig, Lorini, Hubner, and Vercouter [25]. The Horn fragment is shown to be too restrictive to accurately express the considered case study.

[16] Full text  Mattias Tiger. 2014.
Unsupervised Spatio-Temporal Activity Learning and Recognition in a Stream Processing Framework.
Student Thesis. 103 pages. ISRN: LIU-IDA/LITH-EX-A--14/059--SE.

Learning to recognize and predict common activities, performed by objects and observed by sensors, is an important and challenging problem related both to artificial intelligence and robotics.In this thesis, the general problem of dynamic adaptive situation awareness is considered and we argue for the need for an on-line bottom-up approach.A candidate for a bottom layer is proposed, which we consider to be capable of future extensions that can bring us closer towards the goal.We present a novel approach to adaptive activity learning, where a mapping between raw data and primitive activity concepts are learned and continuously improved on-line and unsupervised. The approach takes streams of observations of objects as input and learns a probabilistic representation of both the observed spatio-temporal activities and their causal relations. The dynamics of the activities are modeled using sparse Gaussian processes and their causal relations using probabilistic graphs.The learned model supports both estimating the most likely activity and predicting the most likely future (and past) activities. Methods and ideas from a wide range of previous work are combined to provide a uniform and efficient way to handle a variety of common problems related to learning, classifying and predicting activities.The framework is evaluated both by learning activities in a simulated traffic monitoring application and by learning the flight patterns of an internally developed autonomous quadcopter system. The conclusion is that our framework is capable of learning the observed activities in real-time with good accuracy.We see this work as a step towards unsupervised learning of activities for robotic systems to adapt to new circumstances autonomously and to learn new activities on the fly that can be detected and predicted immediately.

[15] Full text  Per Jonsson. 2014.
Design och implementation av webbenkäter: kvalitet, svarsfrekvens och underhćll.
Student Thesis. 10 pages. ISRN: LIU-IDA/LITH-EX-G--14/049--SE.

En webbapplikation för analys och administration av webbenkÀter har designats och implementerats. Dess syfte Àr att maximera svarskvalitet och svarsfrekvens samt att vara underhÄllbar. Uppdragsgivaren Ericsson Linköping har utfÀrdat kravspecifikationen för applikationen. HÀnsyn har tagits till aspekterna webbenkÀtdesign och under-hÄllbarhet av mjukvara. UnderhÄllbarhetsmodeller för mjukvara med tillhörande metriker, samt designmodeller och rekommendationer för webbenkÀter har studerats. Arbetets bidrag till dessa omrÄden Àr en praktisk modell som tillÀmpar rÄdande forskning, i form av en webbapplikation. Applikationen har testats mot modeller och rekommendationer för underhÄllbarhet och enkÀtdesign. Applikationen uppvisar hög grad av analyserbarhet, förÀndringsbarhet och testbarhet, men inte stabilitet. Effekten av enkÀtdesignen har inte utvÀrderats. Modellen för underhÄllbarhet kan klarlÀgga orsak och verkan i mjukvarusystem och bidra till utveckling av programvara med hög kvalitet.

[14] Full text  Anders Wikström. 2014.
Resource allocation of drones flown in a simulated environment.
Student Thesis. 24 pages. ISRN: LIU-IDA/LITH-EX-G--14/003—SE.

In this report we compare three different assignment algorithms in how they can be used to assign a set of drones to get to a set of goal locations in an as resource efficient way as possible. An experiment is set up to compare how these algorithms perform in a somewhat realistic simulated environment. The Robot Operating system (ROS) is used to create the experimental environment. We found that by introducing a threshold for the Hungarian algorithm we could reduce the total time it takes to complete the problem while only sightly increasing total distance traversed by the drones.

[13] Jakob Pogulis. 2013.
Testramverk för distribuerade system.
Student Thesis. 46 pages. ISRN: LIU-IDA/LITH-EX-G--13/010--SE.

When developing software that is meant to be distributed over several different computers and several different networks while still working together against a common goal there is a challenge in testing how updates within a single component will affect the system as a whole. Even if the performance of that specific component increases that is no guarantee for the increased performance of the entire system. Traditional methods of testing software becomes both hard and tedious when several different machines has to be involved for a single test and all of those machines has to be synchronized as well.This thesis has resulted in an exemplary application suite for testing distributed software. The thesis describes the method used for implementation as well as a description of the actual application suite that was developed. During the development several important factors and improvements for such a system was identified, which are described at the end of the thesis even though some of them never made it into the actual implementation. The implemented application suite could be used as a base when developing a more complete system in order to distribute tests and applications that has to run in a synchronized manner with the ability to report the results of each individual component.

[12] Full text  Christopher Bergdahl. 2013.
Modeling Air Combat with Influence Diagrams.
Student Thesis. 64 pages. ISRN: LIU-IDA/LITH-EX-A--13/031--SE.

Air combat is a complex situation, training for it and analysis of possible tactics are time consuming and expensive. In order to circumvent those problems, mathematical models of air combat can be used. This thesis presents air combat as a one-on-one influence diagram game where the influence diagram allows the dynamics of the aircraft, the preferences of the pilots and the uncertainty of decision making in a structural and transparent way to be taken into account. To obtain the players’ game optimal control sequence with respect to their preferences, the influence diagram has to be solved. This is done by truncating the diagram with a moving horizon technique and determining and implementing the optimal controls for a dynamic game which only lasts a few time steps.The result is a working air combat model, where a player estimates the probability that it resides in any of four possible states. The pilot’s preferences are modeled by utility functions, one for each possible state. In each time step, the players are maximizing the cumulative sum of the utilities for each state which each possible action gives. These are weighted with the corresponding probabilities. The model is demonstrated and evaluated in a few interesting aspects. The presented model offers a way of analyzing air combat tactics and maneuvering as well as a way of making autonomous decisions in for example air combat simulators.

[11] Full text  Johan Fredborg. 2013.
Spam filter for SMS-traffic.
Student Thesis. 82 pages. ISRN: LIU-IDA/LITH-EX-A--13/021-SE.

Communication through text messaging, SMS (Short Message Service), is nowadays a huge industry with billions of active users. Because of the huge userbase it has attracted many companies trying to market themselves through unsolicited messages in this medium in the same way as was previously done through email. This is such a common phenomenon that SMS spam has now become a plague in many countries.This report evaluates several established machine learning algorithms to see how well they can be applied to the problem of filtering unsolicited SMS messages. Each filter is mainly evaluated by analyzing the accuracy of the filters on stored message data. The report also discusses and compares requirements for hardware versus performance measured by how many messages that can be evaluated in a fixed amount of time.The results from the evaluation shows that a decision tree filter is the best choice of the filters evaluated. It has the highest accuracy as well as a high enough process rate of messages to be applicable. The decision tree filter which was found to be the most suitable for the task in this environment has been implemented. The accuracy in this new implementation is shown to be as high as the implementation used for the evaluation of this filter.Though the decision tree filter is shown to be the best choice of the filters evaluated it turned out the accuracy is not high enough to meet the specified requirements. It however shows promising results for further testing in this area by using improved methods on the best performing algorithms.

[10] Full text  Jonatan Olofsson. 2012.
Towards Autonomous Landing of a Quadrotorusing Monocular SLAM Techniques.
Student Thesis. 102 pages. ISRN: LIU-IDA/LITH-EX-A--12/026--SE.

Use of Unmanned Aerial Vehicles have seen enormous growth in recent years due to the advances in related scientific and technological fields. This fact combined with decreasing costs of using UAVs enables their use in new application areas. Many of these areas are suitable for miniature scale UAVs - Micro Air Vehicles(MAV) - which have the added advantage of portability and ease of deployment. One of the main functionalities necessary for successful MAV deployment in real-world applications is autonomous landing. Landing puts particularly high requirements on positioning accuracy, especially in indoor confined environments where the common global positioning technology is unavailable. For that reason using an additional sensor, such as a camera, is beneficial. In this thesis, a set of technologies for achieving autonomous landing is developed and evaluated. In particular, state estimation based on monocular vision SLAM techniques is fused with data from onboard sensors. This is then used as the basis for nonlinear adaptive control as well trajectory generation for a simple landing procedure. These components are connected using a new proposed framework for robotic development. The proposed system has been fully implemented and tested in a simulated environment and validated using recorded data. Basic autonomous landing was performed in simulation and the result suggests that the proposed system is a viable solution for achieving a fully autonomous landing of a quadrotor.

[9] Full text  Anders Hongslo. 2012.
Stream Processing in the Robot Operating System framework.
Student Thesis. 79 pages. ISRN: LIU-IDA/LITH-EX-A--12/030--SE.

Streams of information rather than static databases are becoming increasingly important with the rapid changes involved in a number of fields such as finance, social media and robotics. DyKnow is a stream-based knowledge processing middleware which has been used in autonomous Unmanned Aerial Vehicle (UAV) research. ROS (Robot Operating System) is an open-source robotics framework providing hardware abstraction, device drivers, communication infrastructure, tools, libraries as well as other functionalities.This thesis describes a design and a realization of stream processing in ROS based on the stream-based knowledge processing middleware DyKnow. It describes how relevant information in ROS can be selected, labeled, merged and synchronized to provide streams of states. There are a lot of applications for such stream processing such as execution monitoring or evaluating metric temporal logic formulas through progression over state sequences containing the features of the formulas. Overviews are given of DyKnow and ROS before comparing the two and describing the design. The stream processing capabilities implemented in ROS are demonstrated through performance evaluations which show that such stream processing is fast and efficient. The resulting realization in ROS is also readily extensible to provide further stream processing functionality.

[8] Full text  Viet Ha Nguyen. 2012.
Design Space Exploration of the Quality of Service for Stream Reasoning Applications.
Student Thesis. 35 pages. ISRN: LIU-IDA/LITH-EX-A--12/027--SE.

An Unmanned Aerial Vehicle (UAV) is often an aircraft with no crew that can fly independently by a preprogrammed plan, or by remote control. Several UAV applications, like autonomously surveillance and traffic monitoring, are real-time applications. Hence tasks in these applications must complete within specied deadlines.Real Time Calculus (RTC) is a formal framework for reasoning about realtime systems and in particular streaming applications. RTC has its mathematical roots in Network Calculus. It supports timing analysis, estimating loads and predicting memory requirements.In this thesis, a formal analysis of real-time stream reasoning for UAV applications is conducted. The performance analysis is based on RTC using an abstract performance model of the streaming reasoning on board a UAV. In this study, we consider two dierent scheduling methods, first-in-first-out (FIFO) and fixed priority (FP). In the FIFO scheduling model the priorities of the tasks are assigned and processed based on the order of their arrival, while in the FP scheduling model the priorities of the tasks are preassigned. The Quality of Service (QoS) of these applications is calculated and analyzed in a proposed design space exploration framework.QoS can be defined dierently depending on what field we are studying and in this thesis we are interested in studying the delays of the real-time stream reasoning applications when (i) we fix jitters and number of instances and vary the periods, (ii) we fix the periods and number of instances and vary the jitters, and (iii) we fix the periods, jitters and vary the number of instances.

[7] Full text  Daniel Lazarovski. 2012.
Extending the Stream Reasoning in DyKnow with Spatial Reasoning in RCC-8.
Student Thesis. 74 pages. ISRN: LIU-IDA/LITH-EX-A--12/008--SE.

Autonomous systems require a lot of information about the environment in which they operate in order to perform different high-level tasks. The information is made available through various sources, such as remote and on-board sensors, databases, GIS, the Internet, etc. The sensory input especially is incrementally available to the systems and can be represented as streams. High-level tasks often require some sort of reasoning over the input data, however raw streaming input is often not suitable for the higher level representations needed for reasoning. DyKnow is a stream processing framework that provides functionalities to represent knowledge needed for reasoning from streaming inputs. DyKnow has been used within a platform for task planning and execution monitoring for UAVs. The execution monitoring is performed using formula progression with monitor rules specified as temporal logic formulas. In this thesis we present an analysis for providing spatio-temporal functionalities to the formula progressor and we extend the formula progression with spatial reasoning in RCC-8. The result implementation is capable of evaluating spatio-temporal logic formulas using progression over streaming data. In addition, a ROS implementation of the formula progressor is presented as a part of a spatio-temporal stream reasoning architecture in ROS.

[6] Full text  Zlatan Dragisic. 2011.
Semantic Matching for Stream Reasoning.
Student Thesis. 110 pages. ISRN: LIU-IDA/LITH-EX-A--11/041--SE.

Autonomous system needs to do a great deal of reasoning during execution in order to provide timely reactions to changes in their environment. Data needed for this reasoning process is often provided through a number of sensors. One approach for this kind of reasoning is evaluation of temporal logical formulas through progression. To evaluate these formulas it is necessary to provide relevant data for each symbol in a formula. Mapping relevant data to symbols in a formula could be done manually, however as systems become more complex it is harder for a designer to explicitly state and maintain thismapping. Therefore, automatic support for mapping data from sensors to symbols would make system more flexible and easier to maintain.DyKnow is a knowledge processing middleware which provides the support for processing data on different levels of abstractions. The output from the processing components in DyKnow is in the form of streams of information. In the case of DyKnow, reasoning over incrementally available data is done by progressing metric temporal logical formulas. A logical formula contains a number of symbols whose values over time must be collected and synchronized in order to determine the truth value of the formula. Mapping symbols in formula to relevant streams is done manually in DyKnow. The purpose of this matching is for each variable to find one or more streams whose content matches the intended meaning of the variable.This thesis analyses and provides a solution to the process of semantic matching. The analysis is mostly focused on how the existing semantic technologies such as ontologies can be used in this process. The thesis also analyses how this process can be used for matching symbols in a formula to content of streams on distributed and heterogeneous platforms. Finally, the thesis presents an implementation in the Robot Operating System (ROS). The implementation is tested in two case studies which cover a scenario where there is only a single platform in a system and a scenario where there are multiple distributed heterogeneous platforms in a system.The conclusions are that the semantic matching represents an important step towards fully automatized semantic-based stream reasoning. Our solution also shows that semantic technologies are suitable for establishing machine-readable domain models. The use of these technologies made the semantic matching domain and platform independent as all domain and platform specific knowledge is specified in ontologies. Moreover, semantic technologies provide support for integration of data from heterogeneous sources which makes it possible for platforms to use streams from distributed sources.

[5] Full text  Marjan Alirezaie. 2011.
Semantic Analysis Of Multi Meaning Words Using Machine Learning And Knowledge Representation.
Student Thesis. 74 pages. ISRN: LiU/IDA-EX-A- -11/011- -SE.

The present thesis addresses machine learning in a domain of naturallanguage phrases that are names of universities. It describes two approaches to this problem and a software implementation that has made it possible to evaluate them and to compare them.In general terms, the system's task is to learn to 'understand' the significance of the various components of a university name, such as the city or region where the university is located, the scienti c disciplines that are studied there, or the name of a famous person which may be part of the university name. A concrete test for whether the system has acquired this understanding is when it is able to compose a plausible university name given some components that should occur in the name.In order to achieve this capability, our system learns the structure of available names of some universities in a given data set, i.e. it acquires a grammar for the microlanguage of university names. One of the challenges is that the system may encounter ambiguities due to multi meaning words. This problem is addressed using a small ontology that is created during the training phase.Both domain knowledge and grammatical knowledge is represented using decision trees, which is an ecient method for concept learning. Besides for inductive inference, their role is to partition the data set into a hierarchical structure which is used for resolving ambiguities.The present report also de nes some modi cations in the de nitions of parameters, for example a parameter for entropy, which enable the system to deal with cognitive uncertainties. Our method for automatic syntax acquisition, ADIOS, is an unsupervised learning method. This method is described and discussed here, including a report on the outcome of the tests using our data set.The software that has been implemented and used in this project has been implemented in C.

[4] Full text  Fredrik Ćslin. 2010.
Evaluation of Hierarchical Temporal Memory in algorithmic trading.
Student Thesis. 32 pages. ISRN: LIU-IDA/LITH-EX-G--10/005--SE.

This thesis looks into how one could use Hierarchal Temporal Memory (HTM) networks to generate models that could be used as trading algorithms. The thesis begins with a brief introduction to algorithmic trading and commonly used concepts when developing trading algorithms. The thesis then proceeds to explain what an HTM is and how it works. To explore whether an HTM could be used to generate models that could be used as trading algorithms, the thesis conducts a series of experiments. The goal of the experiments is to iteratively optimize the settings for an HTM and try to generate a model that when used as a trading algorithm would have more profitable trades than losing trades. The setup of the experiments is to train an HTM to predict if it is a good time to buy some shares in a security and hold them for a fixed time before selling them again. A fair amount of the models generated during the experiments was profitable on data the model have never seen before, therefore the author concludes that it is possible to train an HTM so it can be used as a profitable trading algorithm.

[3] Mikael Nilsson. 2009.
Spanneröar och spannervägar.
Student Thesis. 126 pages. ISRN: -.

In this Master Thesis the possibility to efficiently divide a graph into spanner islands is examined. Spanner islands are islands of the graph that fulfill the spanner condition, that the distance between two nodes via the edges in the graph cannot be too far, regulated by the stretch constant, compared to the Euclidian distance between them. In the resulting division the least number of nodes connecting to other islands is sought-after. Different heuristics are evaluated with the conclusion that for dense graphs a heuristic using MAX-FLOW to divide problematic nodes gives the best result whereas for sparse graphs a heuristic using the single-link clustering method performs best. The problem of finding a spanner path, a path fulfilling the spanner condition, between two nodes is also investigated. The problem is proven to be NP-complete for a graph of size n if the spanner constant is greater than n^(1+1/k)*k^0.5 for some integer k. An algorithm with complexity O(2^(0.822n)) is given. A special type of graph where all the nodes are located on integer locations along the real line is investigated. An algorithm to solve this problem is presented with a complexity of O(2^((c*log n)^2))), where c is a constant depending only on the spanner constant. For instance, the complexity O(2^((5.32*log n)^2))) can be reached for stretch 1.5.

[2] Full text  Tommy Persson. 2009.
Evaluating the use of DyKnow in multi-UAV traffic monitoring applications.
Student Thesis. 75 pages. ISRN: LIU-IDA/LITH-EX-A--09/019--SE.

This Master’s thesis describes an evaluation of the stream-based knowledge pro-cessing middleware framework DyKnow in multi-UAV traffic monitoring applica-tions performed at Saab Aerosystems. The purpose of DyKnow is “to providegeneric and well-structured software support for the processes involved in gen-erating state, object, and event abstractions about the environments of complexsystems.\" It does this by providing the concepts of streams, sources, computa-tional units (CUs), entity frames and chronicles.This evaluation is divided into three parts: A general quality evaluation ofDyKnow using the ISO 9126-1 quality model, a discussion of a series of questionsregarding the specific use and functionality of DyKnow and last, a performanceevaluation. To perform parts of this evaluation, a test application implementinga traffic monitoring scenario was developed using DyKnow and the Java AgentDEvelopment Framework (JADE).The quality evaluation shows that while DyKnow suffers on the usability side,the suitability, accuracy and interoperability were all given high marks.The results of the performance evaluation high-lights the factors that affect thememory and CPU requirements of DyKnow. It is shown that the most significantfactor in the demand placed on the CPU is the number of CUs and streams. Italso shows that DyKnow may suffer dataloss and severe slowdown if the CPU istoo heavily utilized. However, a reasonably sized DyKnow application, such as thescenario implemented in this report, should run without problems on systems atleast half as fast as the one used in the tests.

[1] Jonas Kvarnström. 1996.
A New Tractable Planner for the SAS+ Formalism.
Student Thesis. In series: LiTH-IDA-Ex #9625. 283 pages. ISRN: LiTH-IDA-Ex-9625.

Computer science

Page responsible: Patrick Doherty
Last updated: 2014-04-30