Ανάθεση ραδιοφωνικών συχνοτήτων χρησιμοποιώντας προγραμματισμό με περιορισμούς : πτυχιακή εργασία
Αντικείμενο της παρούσας διπλωματικής εργασίας είναι τα προβλήματα ανάθεσης συχνοτήτων και συγκεκριμένα τα προβλήματα τύπου RLFA (Radio Link Frequency Assignment Problems). Αυτά τα προβλήματα έχουν μοντελοποιηθεί κατάλληλα ώστε να παρουσιάζονται ως δυαδικά προβλήματα ικανοποίησης περιορισμών και έχε...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Μορφή: | Thesis Βιβλίο |
| Γλώσσα: | Greek |
| Δημοσίευση: |
2007.
|
| Θέματα: | |
| Διαθέσιμο Online: | http://hdl.handle.net/11610/8821 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Περίληψη: | Αντικείμενο της παρούσας διπλωματικής εργασίας είναι τα προβλήματα ανάθεσης συχνοτήτων και συγκεκριμένα τα προβλήματα τύπου RLFA (Radio Link Frequency Assignment Problems). Αυτά τα προβλήματα έχουν μοντελοποιηθεί κατάλληλα ώστε να παρουσιάζονται ως δυαδικά προβλήματα ικανοποίησης περιορισμών και έχει υλοποιηθεί μια εφαρμογή σε γλώσσα προγραμματισμού C, η οποία εφαρμόζει σε αυτά, τον αλγόριθμο Forward Checking με αναδιάταξη μεταβλητών χρησιμοποιώντας οκτώ βασικές ευριστικές μεθόδους.Η αποδοτική επίλυση αυτών των προβλημάτων δεν είναι ο στόχος της εργασίας, αλλά η σύγκριση κάποιων τεχνικών ικανοποίησης περιορισμών και συγκεκριμένα τεχνικών αναδιάταξης μεταβλητών σε ένα πραγματικό δομημένο πρόβλημα, όπως το πρόβλημα ανάθεσης ραδιοφωνικών συχνοτήτων. Εξαιτίας του στόχου της εργασίας, αυτά τα προβλήματα τροποποιήθηκαν ελαφρά για την εξαγωγή πιο ασφαλών συμπερασμάτων. Για ένα σύνολο τέτοιων προβλημάτων συγκρίναμε τις οκτώ ευριστικές μεθόδους με βάση κάποια χαρακτηριστικά, όπως ο αριθμός των οπισθοδρομήσεων, ο αριθμός των κόμβων που επισκέπτεται ο αλγόριθμος Forward Checking και ο χρόνος στον οποίο τερματίζει τη λειτουργία του. Από τα πειραματικά αποτελέσματα γίνεται σαφές, ότι η αναδιάταξη μεταβλητών είναι απαραίτητη για την αποδοτική επίλυση πραγματικών προβλημάτων όπως είναι το RLFAP.Συμπερασματικά, φαίνεται ότι το πλήθος των περιορισμών που συμμετέχουν οι μεταβλητές, είναι ο πιο σημαντικός παράγοντας που καθορίζει την απόδοση των ευριστικών μεθόδων. Το μέγεθος των πεδίων τιμών των μεταβλητών από την άλλη, δεν παίζει τόσο μεγάλο ρόλο στην απόδοση, σε αντίθεση με ότι συνήθως υποθέτουμε. Επίσης φαίνεται ότι λαμβάνοντας υπόψη το πλήθος των περιορισμών με μελλοντικές μεταβλητές οδηγεί σε καλύτερες ευριστικές μεθόδους σε σχέση με το να ληφθεί υπόψη το πλήθος των περιορισμών με όλες τις μεταβλητές.Περιληπτικά, στην εργασία, εισάγονται οι βασικές έννοιες των προβλημάτων ικανοποίησης περιορισμών αναλύεται ο αλγόριθμος Forward Checking και οι οκτώ ευριστικές μέθοδοι. Περιγράφεται η δομή του προγράμματος που υλοποιήθηκε και οι βασικές ρουτίνες και συναρτήσεις και αναλύονται τα προβλήματα ανάθεσης ραδιοφωνικών συχνοτήτων. Αναφέρονται οι αιτίες τροποποίησης των προβλημάτων RLFA και πως έγινε η τροποποίηση αυτή. Παρουσιάζονται και αναλύονται τα πειραματικά αποτελέσματα που προκύπτουν από την σύγκριση των ευριστικών μεθόδων και αναφέρονται τα συμπεράσματα με βάση τα αποτελέσματα. Subject of this project, is the frequency assignment problems, and specifically Radio Link Frequency Assignment Problems, modified as binary constraint satisfaction problems. For the solution of this kind of problems, is implemented the Forward Checking algorithm with variable ordering, using eight basic heuristic methods.The goal of the Degree Thesis is not the efficient solution of the frequency assignment problems, but the comparison of some constraint satisfaction techniques and particularly variable ordering techniques, in a real problem such as the frequency assignment problem. For this kind of problems (lightly modified), we compare the eight heuristic methods, comparing some characteristics, such as the number of backtracks, the number of nodes that the Forward Checking algorithm is visited and the time that the algorithm is completed. From the experimental results, it is clear, that the variable ordering is necessary for efficient solution of real problems such as RLFAP.Conclusively, it looks that the set of the constraints that participate the variables is the most important factor that determines the performance of the heuristic methods. On the other hand the size of value field of the variables, doesnt play a very important role in the performance, as we usually assume. Furthermore, it looks that taking into account the number of the constraints with future variables leads in better heuristic methods as regards to taking into account the number of the constraints with all the variables.In this project, there are the basic meanings of the constraint satisfaction problems, the Forward Checking algorithm is being analyzed and the eight basic heuristic methods. The structure of the program is analyzed and the basic routines and functions. Furthermore, the Radio Link Frequency Assignment problems are being viewed. The reasons of the modification of the problems are presented and how happened this modification. Finally are presented the experimental results from the comparison of the heuristic methods and the conclusions that can be exported from the results. |
|---|---|
| Φυσική περιγραφή: | viii, 26 σ. : σχέδια, πιν. ; 30 εκ. |
| Βιβλιογραφία: | Βιβλιογραφία: σ. 21. |
| Πρόσβαση: | Διάθεση πλήρους κειμένου - Ελεύθερη πρόσβαση. |