Υλοποίηση διαδικτυακού προσομοιωτή για αλγορίθμους επίλυσης προβλημάτων SAT
| dc.contributor.advisor | Σγάρμπας, Κυριάκος | |
| dc.contributor.author | Χαρατσάρης, Δημήτριος | |
| dc.contributor.committee | Σγάρμπας, Κυριάκος | |
| dc.contributor.committee | Φακωτάκης, Νικόλαος | |
| dc.contributor.other | Charatsaris, Dimitrios | |
| dc.date.accessioned | 2013-01-08T10:38:56Z | |
| dc.date.available | 2013-01-08T10:38:56Z | |
| dc.date.copyright | 2012-10-10 | |
| dc.date.issued | 2013-01-08 | |
| dc.degree | Διπλωματική Εργασία | el |
| dc.description.abstract | Η παρούσα διπλωµατική εργασία ασχολείται με το θέμα των Αλγορίθμων Επίλυσης Προβληµάτων SAT. Η εργασία αυτή εκπονήθηκε στα πλαίσια του Εργαστηρίου Ενσύρµατης Επικοινωνίας του Τµήματος Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών της Πολυτεχνικής Σχολής του Πανεπιστηµίου Πατρών. Σκοπός της είναι η δημιουργία ενός Προσομοιωτή των αλγορίθμων αυτών, ο οποίος να μπορεί να προσπελαστεί από οποιονδήποτε μέσω του διαδικτύου. Αρχικά έγινε µία εισαγωγή στο αντικείμενο της Τεχνητής Νοημοσύνης και πιο συγκεκριµένα στην Προτασιακή Λογική, ενώ δόθηκε και το απαραίτητο υπόβαθρο για να κατανοηθεί το πρόβληµμα και οι τεχνικές λύσης του. Τέλος, επιλέχθηκε να γίνει η υλοποίηση του Προσωμοιωτή σε Java. | el |
| dc.description.translatedabstract | This diploma dissertation deals with SAT solvers, algorithms for the Boolean satisfiability problem. It was produced in the Wire Communications Laboratory of the Electrical and Computer Engineering Department of the University of Patras. Its aim is to create a simulator for these algorithms, accessible to anyone via the Internet. An introduction to the field of Artificial Intelligence and more specifically to Propositional Calculus was given as well as the necessary groundwork to understand the problem and its solution approaches. The simulation implementation was developed in Java | el |
| dc.identifier.uri | http://hdl.handle.net/10889/5754 | |
| dc.language.iso | gr | el |
| dc.rights | 0 | el |
| dc.subject | Τεχνητή νοημοσύνη | el |
| dc.subject | Προτασιακή λογική | el |
| dc.subject | Αλγόριθμοι επίλυσης προβληµάτων | el |
| dc.subject.alternative | Artificial intelligence | el |
| dc.subject.alternative | Propositional calculus | el |
| dc.subject.alternative | Boolean satisfiability problem | el |
| dc.subject.alternative | SAT | el |
| dc.subject.ddc | 005.1 | |
| dc.title | Υλοποίηση διαδικτυακού προσομοιωτή για αλγορίθμους επίλυσης προβλημάτων SAT | el |
| dc.type | Thesis | el |
Files
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 6.2 KB
- Format:
- Item-specific license agreed upon to submission
- Description: