|
|
Personal Timetabling
Doležal, Lukáš ; Barták, Roman (advisor) ; Duša, Vladimír (referee)
Despite all the advancements in Artificial Intelligence, we still do not have a broadly available application for automated scheduling of personal activities. The main difficulty in creating such an application is satisfying user's diverse expectations about time organization. In this study we focused on creating a tool that can help users with organizing their time. We designed a model for describing personal activities with user preferences. We formulated scheduling of personal activities as an optimization problem for which we designed and implemented a solving algorithm, aiming to schedule activities with precision of seconds. We created a prototype of web-calendar application powered by this model and an algorithm which we designed with the focus on ability to clearly display user's time and easily insert activities for automated scheduling. The web application is backed by RESTful API which enables implementing application on various platforms. Powered by TCPDF (www.tcpdf.org)
|
|
|
Schedule analysis
Novák, Ladislav ; Barták, Roman (advisor) ; Duša, Vladimír (referee)
Goal of this work was to engage in formal analysis of schedules, i.e. identifying weak spots and consequently design method to correct those weak points. Moreover this thesis addresses method, how from constructed corrections take appropriate set, called portfolio. Resulting software prototype called an Analyzer is integrated into FlowOpt project, which represents complex solution from modeling workflows, creation of schedules to displaying schedules using Gantt diagrams. Analyzer was developed mainly as a prototype application, which illustrates formal process of analysis. Powered by TCPDF (www.tcpdf.org)
|
|
|
Schedule analysis
Novák, Ladislav ; Barták, Roman (advisor) ; Duša, Vladimír (referee)
Goal of this work was to engage in formal analysis of schedules, i.e. identifying weak spots and consequently design method to correct those weak points. Moreover this thesis addresses method, how from constructed corrections take appropriate set, called portfolio. Resulting software prototype called an Analyzer is integrated into FlowOpt project, which represents complex solution from modeling workflows, creation of schedules to displaying schedules using Gantt diagrams. Analyzer was developed mainly as a prototype application, which illustrates formal process of analysis. Powered by TCPDF (www.tcpdf.org)
|
|
|
Dynamic Scheduling
Vlk, Marek ; Barták, Roman (advisor) ; Duša, Vladimír (referee)
One of the problems of real-life production scheduling is dynamics of manufacturing environments with new production demands and breaking machines during the schedule execution. Simple rescheduling from scratch in response to unexpected events occurring on the shop floor may require excessive computation time. Moreover, the recovered schedule may be prohibitively deviated from the ongoing schedule. This thesis reviews existing approaches in the field of dynamic scheduling and proposes techniques how to modify a schedule to accommodate disturbances such as resource failure, hot order arrival or order cancellation. The importance is put on the speed of suggested procedures as well as on a minimum modification from the original schedule. The scheduling model is motivated by the FlowOpt project, which is based on the Temporal Networks with Alternatives. The algorithms are written in the C# language.
|
|
|
Personal Timetabling
Doležal, Lukáš ; Barták, Roman (advisor) ; Duša, Vladimír (referee)
Despite all the advancements in Artificial Intelligence, we still do not have a broadly available application for automated scheduling of personal activities. The main difficulty in creating such an application is satisfying user's diverse expectations about time organization. In this study we focused on creating a tool that can help users with organizing their time. We designed a model for describing personal activities with user preferences. We formulated scheduling of personal activities as an optimization problem for which we designed and implemented a solving algorithm, aiming to schedule activities with precision of seconds. We created a prototype of web-calendar application powered by this model and an algorithm which we designed with the focus on ability to clearly display user's time and easily insert activities for automated scheduling. The web application is backed by RESTful API which enables implementing application on various platforms. Powered by TCPDF (www.tcpdf.org)
|
guest ::
