Sökning: "Datavetenskap"

Visar resultat 26 - 30 av 2631 avhandlingar innehållade ordet Datavetenskap.

  1. 26. Model-based execution monitoring

    Författare :Marcus Bjäreland; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : The task of monitoring the execution of a software-based controller in order to detect, classify, and recover from discrepancies between the actual effects of control actions and the effects predicted by a model, is the topic of this thesis. Model-based execution monitoring is proposed as a technique for increasing the safety and optimality of operation of large and complex industrial process controllers, and of controllers operating in complex and unpredictable environments (such as unmanned aerial vehicles). LÄS MER

  3. 27. Semantic Aspects in Software Development

    Författare :Martin Blom; Karlstads universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Semantic integrity; contracts; software development; education; Computer Science; Datavetenskap;

    Sammanfattning : This thesis presents research on how to raise the quality of software by helping developers focus on semantic aspects during the development process. Our research has so far been concentrated on software design, impolementation, testing and maintenance, but we believe that the ideas are applicable to other phases as well. LÄS MER

  4. 28. Semi-automatic Ontology Construction based on Patterns

    Författare :Eva Blomqvist; Kurt Sandkuhl; Henrik Eriksson; Ralf-D Kutsche; Enrico Motta; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : This thesis aims to improve the ontology engineering process, by providing better semiautomatic support for constructing ontologies and introducing knowledge reuse through ontology patterns. The thesis introduces a typology of patterns, a general framework of pattern-based semi-automatic ontology construction called OntoCase, and provides a set of methods to solve some specific tasks within this framework. LÄS MER

  5. 29. Debugging techniques for equation-based languages

    Författare :Peter Bunus; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : Mathematical modeling and simulation of complex physical systems is emerging as a key technology in engineering. Modern approaches to physical system simulation allow users to specify simulation models with the help of equation-based languages. LÄS MER

  7. 30. Computing at the speed of paper : ubiquitous computing environments for healthcare professionals

    Författare :Magnus Bång; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : Despite the introduction of computers in most work environments, the anticipated paperless workplace has not yet emerged. Research has documented that material objects are essential in the organization of thought and that they support everyday collaborative processes performed by staff members. LÄS MER