Sökning: "temporal reasoning"

Visar resultat 16 - 20 av 30 avhandlingar innehållade orden temporal reasoning.

1. 16. Towards Behavioral Model Fault Isolation for Object Oriented Control Systems

   Författare :Dan Lawesson; Ulf Nilsson; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Unified Modeling Language UML ; Maskinelement Servomekanismer Automation; Computer science; Datavetenskap;

   Sammanfattning : We use a system model expressed in a subset of the Unified Modeling Language to perform fault isolation in large object oriented control systems. Due to the severity of the failures considered and the safety critical nature of the system we cannot perform fault isolation online. LÄS MER

3. 17. DyKnow : A Stream-Based Knowledge Processing Middleware Framework

   Författare :Fredrik Heintz; Patrick Doherty; Michael Beetz; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : As robotic systems become more and more advanced the need to integrate existing deliberative functionalities such as chronicle recognition, motion planning, task planning, and execution monitoring increases. To integrate such functionalities into a coherent system it is necessary to reconcile the different formalisms used by the functionalities to represent information and knowledge about the world. LÄS MER

4. 18. Att styra i namn av barns fritid : En nutidshistoria om konstruktionen av dagens fritidshem i samordning med skolan

   Författare :Malin Rohlin; Professor Jan-Erik Johansson; Stockholms universitet; []
   Nyckelord :;

   Sammanfattning : Governing in the name of children’s leisure time: A contemporary history of the construction of today’s school-age childcare (fritidshem) in coordination with the schools.The purpose of this study is to provide a perspective on the recent restructuring of the cooperation between schools and school-age childcare in Sweden. LÄS MER

5. 19. Form & Formlessness : Questioning aesthetic abstractions through art projects, cross-disciplinary studies and product design education

   Författare :Cheryl Akner Koler; Edith Ackermann; Konstfack; []
   Nyckelord :HUMANIORA; HUMANITIES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Aesthetics; Abstractions; Form; Design; Formgiving; Formlessness; Gestalt; Complexity; cross-disciplinary; Design; Design; Konst; Arts; Designdriven och gestaltande kunskapsproduktion; Designdriven och gestaltande kunskapsproduktion; Sensorium; rumsliga perceptioner; Sensorium; rumsliga perceptioner; Materiella kulturer; Materiella kulturer;

   Sammanfattning : This research is based on empirical, embodied studies aimed to generate and regenerate aesthetic reasoning through three approaches:an educational approach concerned with developing an aesthetic discipline, supporting a formgiving process aimed to create tangible artifacts.an art-based approach supporting an open exploration of distortion and formlessnessa multi-disciplinary exploratory approach concerned with aesthetic experiences shared in laborations demonstrating complexity and transformation. LÄS MER

7. 20. SAT Based Model Checking

   Författare :Niklas Een; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : This Thesis is a study of automatic reasoning about finite state machines (FSMs). Two techniques used in hardware verification are presented. In both, the verification is carried out by a translation of the problem into propositional logic. Satisfiability and validity of propositional formulas are decided by the use of a SAT solver. LÄS MER