Sökning: "avionics scheduling"
Visar resultat 1 - 5 av 6 uppsatser innehållade orden avionics scheduling.
1. Designing a large neighborhood search method to solve a multi-processor avionics scheduling problem
Master-uppsats, Linköpings universitet/Tillämpad matematik; Linköpings universitet/Tekniska fakultetenSammanfattning : This thesis introduces a Large Neighborhood Search (LNS) method to solve a multi-processor avionics scheduling problem. In a typical scheduling problem, tasks are scheduled with exact starting times. In this thesis however, tasks will instead be assigned to disjoint time segments, called buckets. LÄS MER
2. Transforming Models of Computation to Automotive Component Models
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : Due to the performance and capability enhancements of computer-based ser-vices in the last couple of decades, software has started to control and operate most of the functionalities in a vehicular system and offered a faster devel-opment process with the flexibility of managing more advanced computer- controlled functionality. Nevertheless, the size of the software, complexity, and safety verification issues have dramatically increased with this enormous workload as well. LÄS MER
3. Offline avionics scheduling subproblems using decomposition methods. : Hybridisation between Constraint Programming and Mixed Integer Programming.
Master-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : .... LÄS MER
4. A comparison of sequencing formulations in a constraint generation procedure for avionics scheduling
Kandidat-uppsats, Linköpings universitet/Optimeringslära; Linköpings universitet/Tekniska fakultetenSammanfattning : This thesis compares different mixed integer programming (MIP) formulations for sequencing of tasks in the context of avionics scheduling. Sequencing is a key concern in many discrete optimisation problems, and there are numerous ways of accomplishing sequencing with different MIP formulations. LÄS MER
5. Pre-Runtime Scheduling of an Avionics System
Master-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : This master's thesis addresses a scheduling problem arising when designing avionics – the electronic systems used on aircraft. Currently, the problem is commonly solved using mixed integer programming (MIP). We prove the scheduling problem at-hand, which is similar to the well-studied cyclic job shop scheduling problem, is NP-hard. LÄS MER