Sökning: "planning support system"

Visar resultat 1 - 5 av 291 avhandlingar innehållade orden planning support system.

  1. 1. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance

    Författare :Rong Gu; Cristina Seceleanu; Kristina Lundqvist; Eduard Paul Enoiu; Rajeev Alur; Mälardalens universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; autonomous agents; synthesis; verification; planning; collision avoidance; formal methods; model checking; Computer Science; datavetenskap;

    Sammanfattning : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. LÄS MER

  3. 2. Affordances and Constraints of Intelligent Decision Support for Military Command and Control : Three Case Studies of Support Systems

    Författare :Ola Leifler; Henrik Eriksson; Patrick Lambrix; Bartel Van de Walle; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Decision Support; planning; machine learning; information management; Command and Control; Computer science; Datalogi;

    Sammanfattning : Researchers in military command and control (C2) have for several decades sought to help commanders by introducing automated, intelligent decision support systems. These systems are still not widely used, however, and some researchers argue that this may be due to those problems that are inherent in the relationship between the affordances of technology and the requirements by the specific contexts of work in military C2. LÄS MER

  4. 3. IT support for construction planning : a system design based on integrated information

    Författare :Adina Jägbeck; KTH; []
    Nyckelord :;

    Sammanfattning : The aim of the work has been to develop a conceptual designof an IT system for construction planning. For the development,an iterative method has been used, based on prototypesdeveloped in dialogue with industry professionals. LÄS MER

  5. 4. Towards a Scenario-based Spatial Dynamic Modeling for Predicting Urban Land Use Change : Planning Tools and Comparative Analysis

    Författare :Zipan Cai; Vladimir Cvetkovic; Fredrik Gröndahl; Brian Deal; Stan Geertman; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; urbanization; planning support system; spatial dynamic model; urban land use change; spatial analysis; human-land interaction; socioeconomics; ecological systems; urban amenities; environmental impact assessment; what-if; decision-making; urbanisering; planeringsstödsystem; rumslig dynamisk modell; förändring av stadsmarkanvändning; rumslig analys; mänsklig-land interaktion; socioekonomi; ekologiska system; urbana bekvämligheter; miljökonsekvensbeskrivning; vad-om; beslutsfattande; Mark- och vattenteknik; Land and Water Resources Engineering;

    Sammanfattning : As global urbanization progresses, cities worldwide are growing in size, which leads to many economic, environmental, and management challenges. Recent advancements in spatial data analysis and algorithmic geography have also led to the development of various urban model-based planning support systems (PSS) for urban planning. LÄS MER

  7. 5. On Brownfield Layout Planning

    Författare :Daniel Nåfors; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; factory layout planning; Production systems; digitalisation; Industry 4.0; decision support; manufacturing systems;

    Sammanfattning : As manufacturing companies strive to increase productivity and decrease waste, to stay competitive in an increasingly global and digitalised context, their production system must improve. Improvements to production systems can be achieved in many ways, including increased levels of automation, improved product and process flows and improved scheduling. LÄS MER