| Περίληψη: | Η παρούσα διπλωματική εργασία μελετά το πρόβλημα της παραγωγής αλληλουχιών συναρμολόγησης κατά το σχεδιασμό. Η παραγωγή όλων των δυνατών αλληλουχιών συναρμολόγησης είναι ένα συνδυαστικό πρόβλημα, το οποίο, χωρίς την χρήση Η/Υ, καθίσταται απαγορευτικό ως προς την επίλυση του.
Η σειριακή συναρμολόγηση των εξαρτημάτων θεωρείται ως ένα πρόβλημα ικανοποίησης περιορισμών το οποίο μπορεί να επιλυθεί με χρήση του αλγορίθμου AC-3 με δυνατότητες οπισθοπορείας (Backtracking). Οι τύποι περιορισμών που χρησιμοποιούνται για τον εν λόγω πρόβλημα είναι μοναδιαίοι, δυαδικοί και «αποκλειστικό ή» μεταξύ δυο δυαδικών περιορισμών. Από την επίλυση του προβλήματος μπορούν να προκύψουν οι αλληλουχίες συναρμολόγησης για τις οποίες ικανοποιούνται όλοι οι τεθέντες περιορισμοί. Στην συνέχεια, ορίζοντας την συμβατότητα ή την ασυμβατότητα μεταξύ δύο εξαρτημάτων και χρησιμοποιώντας την μέθοδο παραγωγής και φιλτραρίσματος, μπορούν να παραχθούν οι σχετικές αλληλουχίες συνδέσεων (Liaisons) και μέσω αυτών, οι σχετικοί κατευθυνόμενοι γράφοι συναρμογών. Τα παραπάνω, υλοποιούνται μέσω ενός περιβάλλοντος που έχει δομηθεί στο περιβάλλον της γλώσσας Python, είναι φιλικό προς τον χρήστη/σχεδιαστή μηχανικό και κατά συνέπεια, καθιστά ευκολότερο τον χειρισμό των δεδομένων και την επίλυση του προβλήματος.
|
|---|
