Search for dissertations about: "conflict modeling"

Showing result 1 - 5 of 29 swedish dissertations containing the words conflict modeling.

  2. 1. Mapping and integration of schema representations of component specefications

    Author : Guy Davies; Love Ekenberg; Hamid Fujita; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; specification; first order logic; verification; service integration; conceptual modeling; conflict; shema dynamics; Datavetenskap; Computer science; Datavetenskap;

    Abstract : Specification for process oriented applications tends to use languages that suffer from infinite, intractable or unpredictably irregular state spaces that thwart exhaustive searches by verification heuristics. However, conceptual schemas based on FOL, offer techniques for both integrating and verifying specifications in finite spaces. READ MORE

  4. 2. Energy systems analysis of Swedish pulp and paper industries from a regional cooperation perspective : Case study modeling and optimization

    Author : Sofia Klugman; Bahram Moshfegh; Thore Berntsson; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Industrial energy system; Optimization; District heating; Energy audit; Co-operation; TECHNOLOGY; TEKNIKVETENSKAP;

    Abstract : The industrial sector uses about one third of the energy end-use in the world. Since energy use in many cases highly affects both the local and global environment negatively, it is of common interest to increase energy efficiency within industries. READ MORE

  5. 3. Risk-Averse Planning, Operation, and Coordination of Energy Systems Considering Uncertainty Modeling and Flexibility Services

    Author : Hamed Bakhtiari; Jin Zhong; Manuel Alvarez; Jalal Kazempour; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Power system planning and operation; energy systems coordination; uncertainty modeling; microgrids; renewable energy; Electric Power Engineering; Elkraftteknik;

    Abstract : Uncertainty sources affect the planning and operation of energy systems. Different system operators need proper alternatives to cope with these uncertainties and improve the operation of their systems from technical and economical viewpoints. READ MORE

  6. 4. Conflict-Free Routing of Mobile Robots

    Author : Sabino Francesco Roselli; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; SMT; Job Shop; Bin Sorting; Vehicle Routing; MILP;

    Abstract : The recent advances in perception have enabled the development of more autonomous mobile robots in the sense that they can operate in a more dynamic environment where obstacles surrounding the robot emerge, disappear, and move. The increased perception of Autonomous Mobile Robots (AMRs) allows them to plan detailed on-line trajectories in order to avoid previously unforeseen obstacles, making AMRs useful in dynamic environments where humans, traditional fork-lifts, and also other mobile robots operate. READ MORE

  7. 5. Data-driven Modeling of Robotic Manipulators – Efficiency Aspects

    Author : Stefanie Zimmermann; Martin Enqvist; Svante Gunnarsson; Cristian Rojas; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Robotic manipulators are used for industrial automation and play an important role in manufacturing industry. Increasing performance requirements such as high operating speed and motion accuracy conflict with demands on heavy pay-loads and light-weight design with reduced structural stiffness. READ MORE