Sökning: "automatic scheduling"
Visar resultat 1 - 5 av 36 uppsatser innehållade orden automatic scheduling.
1. Prediktivt underhåll av transformatorstationer genom automatisk analys av störningsdata i COMTRADE-filer
M1-uppsats, KTH/Hälsoinformatik och logistikSammanfattning : Arbetet beskriver möjligheten att kunna utföra prediktivt underhåll med hjälp av information frånCOMTRADE störningsfiler. En mjukvarualgoritm som hämtar tidsförlopp för händelser som uppstårvid störningar och kan ge indikationer på ifall reläer eller strömbrytare faller utanför optimalaarbetsförhållanden har utvecklats. LÄS MER
2. Further Development of Scheduling Functionality for Graphical Elements in the Content Management System Contentful : Development of custom applications using Contentful SDK
Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : This thesis aims to improve a scheduling application’s usability and accessibility by redesigning its interface and implementing it using the Contentful App framework. The application is being used by employees at the company Aktiebolaget Trav Galopp. The existing application is described as difficult and time consuming to use. LÄS MER
3. Oven Usage Optimization : A study on scheduling at the wear edge production at Olofsfors AB
Uppsats för yrkesexamina på avancerad nivå, Umeå universitet/Institutionen för matematik och matematisk statistikSammanfattning : Olofsfors is a steel product manufacturer in Nordmaling, Sweden, producing steel edges for snowplows, tracks for forest machines, and wear edges for buckets on heavy equipment. Most of their products are heated to 900◦ C and then cooled down in water, so-called quenching, during the hardening process. LÄS MER
4. Schemaläggning av tjänsteplanering med regelbaserade system
Kandidat-uppsats, Malmö universitet/Fakulteten för teknik och samhälle (TS)Sammanfattning : Examensarbetet undersöker huruvida det är möjligt att helt eller delvis automatisera en universitetslärares schemaläggning av tjänstgöringsplaneringen. För detta ändamål har Design and Creation använts som forskningsmetod genom att utveckla en prototyp som baseras på ’constraint problem solver’-verktyget OptaPlanner. LÄS MER
5. RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution
Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknikSammanfattning : In this thesis, the proof-of-concept tool RAUK for automatically analyzing RTIC applications for schedulability using symbolic execution is presented. The RTIC framework provides a declarative executable model for building embedded applications, which behavior is based on established formal methods and policies. LÄS MER