Κατανόηση ακέραιου προγραμματισμού στο πλαίσιο της κατασκευής

Ο ακέραιος προγραμματισμός (IP) είναι ένας κλάδος μαθηματικής βελτιστοποίησης όπου οι μεταβλητές απόφασης περιορίζονται στις ακέραιες τιμές. Στην κατασκευή, αυτός ο περιορισμός είναι απαραίτητος επειδή πολλές αποφάσεις περιλαμβάνουν διακριτές επιλογές: είτε να επιθεωρήσετε μια συγκεκριμένη μονάδα, πόσοι επιθεωρητές να εκχωρήσουν, ή ποιο μηχάνημα να προγραμματίσουν. Σε αντίθεση με τον γραμμικό προγραμματισμό, ο οποίος αναλαμβάνει συνεχείς μεταβλητές, τα μοντέλα IP αποτυπώνουν την πραγματικότητα ότι δεν μπορείτε να επιθεωρήσετε 2.7 μονάδες ή να προσλάβετε 1.4 φορείς εκμετάλλευσης. Ο πυρήνας ενός μοντέλου IP περιλαμβάνει μια αντικειμενική λειτουργία (συχνά ελαχιστοποίηση του κόστους ή μεγιστοποίηση της ποιότητας) και ένα σύνολο περιορισμών (περιορισμένα πόρων, ποιοτικοί στόχοι, παραγωγική ικανότητα). Με την επίλυση του μοντέλου, οι κατασκευαστές αποκτούν ένα βέλτιστο ή σχεδόν βέλτιστο σχέδιο που εξισορροπεί την ποιότητα και την αποδοτικότητα.

Ο ακέραιος προγραμματισμός μπορεί να ταξινομηθεί περαιτέρω σε καθαρό ακέραιο προγραμματισμό (όλες οι μεταβλητές ακέραιος), δυαδικό ακέραιο προγραμματισμό (μεταβλητή 0 ή 1), και μεικτό ακέραιο προγραμματισμό (κάποια συνεχή, κάποια ακέραια). Οι δυαδικές μεταβλητές είναι ιδιαίτερα ισχυρές για την μοντελοποίηση των ναι/όχι αποφάσεων, όπως το αν θα διενεργηθεί επιθεώρηση σε συγκεκριμένο σταθμό. Προχωρημένοι λύτες όπως οι Γκουρόμπι, CPLEX, και εναλλακτικές λύσεις ανοικτού κώδικα όπως οι αλγόριθμοι SCIP και CBC χρησιμοποιούν αλγορίθμους όπως τα υποκαταστήματα, τα κοπή αεροπλάνα και τα εύρωστα για να βρουν εφικτές λύσεις γρήγορα για πραγματικά προβλήματα.

Ο Ρόλος του Ποιοτικού Ελέγχου στη Σύγχρονη Μεταποίηση

Ο έλεγχος ποιότητας (QC) διασφαλίζει ότι τα προϊόντα πληρούν προκαθορισμένα πρότυπα πριν φτάσουν στους πελάτες. Οι παραδοσιακές μέθοδοι QC περιλαμβάνουν χειροκίνητη επιθεώρηση, έλεγχο στατιστικής διαδικασίας (SPC) και σχέδια δειγματοληψίας αποδοχής. Ενώ αποτελεσματικές σε πολλά πλαίσια, αυτές οι προσεγγίσεις συχνά υποφέρουν από ανεπάρκειες. Οι χειροκίνητες επιθεωρήσεις είναι αργές και ασυνεπείς. Η ΠΧΠ βασίζεται σε υποθέσεις ομαλότητας και ανεξαρτησίας. και τα σχέδια δειγματοληψίας όπως η ANSI/ASQ Z1.4 μπορούν να οδηγήσουν είτε σε υπερεπιθεώρηση (απολεσθείσα εργασία) είτε σε υποεπιθεώρηση (υψηλότερη διαφυγή ελαττωμάτων). Καθώς ο όγκος παραγωγής αυξάνεται και οι προσδοκίες των πελατών σφίγγουν, οι κατασκευαστές χρειάζονται πιο συστηματικές μεθόδους που βασίζονται σε δεδομένα.

Σχηματισμός προβλημάτων ποιοτικού ελέγχου ως ακέραια προγράμματα

Βέλτιστη κατανομή επιθεώρησης

Μια από τις πιο κοινές εφαρμογές IP σε QC είναι να αποφασίσει πού και πόσες επιθεωρήσεις για να εκτελέσει κατά μήκος μιας γραμμής πολλαπλών σταδίων. Ας υποθέσουμε ότι ένα εργοστάσιο παράγει ηλεκτρονικές σανίδες με διάφορους σταθμούς συναρμολόγησης. Ο κατασκευαστής μπορεί είτε να επιθεωρήσει μετά από κάθε σταθμό ή μόνο σε τελική δοκιμή. Ο στόχος είναι να ελαχιστοποιήσει το συνολικό κόστος, το οποίο περιλαμβάνει εργασία επιθεώρησης, κόστος επαναεργασίας, και ποινή για ελαττωματικές μονάδες που φθάνουν στον πελάτη. Δυαδικές μεταβλητές δείχνουν αν πρέπει να επιθεωρήσει σε ένα δεδομένο σταθμό, ενώ ακέραιες μεταβλητές αντιπροσωπεύουν τον αριθμό των δειγματοληπτών που έχουν ανατεθεί. Οι περιορισμοί εξασφαλίζουν ότι το συνολικό αναμενόμενο ποσοστό διαφυγής ελαττωμάτων παραμένει κάτω από το όριο της διαχείρισης. Αυτό το μοντέλο εφαρμόστηκε σε ένα μεσαίου μεγέθους προμηθευτή ανταλλακτικών αυτοκινήτων, με αποτέλεσμα τη μείωση του κόστους επιθεώρησης 12%, διατηρώντας παράλληλα το ίδιο εξερχόμενο επίπεδο ποιότητας.

Σχεδιασμός σχεδίου δειγματοληψίας χαρακτηριστικών

Ο ακέραιος προγραμματισμός μπορεί επίσης να σχεδιάσει βέλτιστα σχέδια δειγματοληψίας. Στην περίπτωση της δειγματοληψίας χαρακτηρισμού, οι αποφάσεις περιλαμβάνουν το μέγεθος του δείγματος [[LFT:0]]n[[[LFT:1]] (ακεραιωτής) και τον αριθμό αποδοχής [[LFT:2]c[[LFT:3]] (ακεραιότερος). Στόχος είναι η ελαχιστοποίηση του αναμενόμενου συνολικού κόστους ανά παρτίδα, το οποίο περιλαμβάνει το κόστος επιθεώρησης, το κόστος απόρριψης μιας παρτίδας συμμόρφωσης και το κόστος αποδοχής μιας παρτίδας που δεν συμμορφώνεται. Οι περιορισμοί αντανακλούν το αποδεκτό επίπεδο ποιότητας (AQL) και την ανοχή της παρτίδας σε ποσοστό ελαττωματικό (LTPD) ⁇ η χειρότερη ποιότητα που είναι διατεθειμένος να ανεχθεί ο καταναλωτής. Η σύνθεση IP εξασφαλίζει ότι το σχέδιο πληροί τόσο τα όρια κινδύνου παραγωγού όσο και καταναλωτή. Για παράδειγμα, ένα δυαδικό IP μπορεί να επιλέξει μεταξύ ενός συνόλου υποψηφίων n,[FLT][FLT][FLT][FLT]][FLT]] [FLT] [c]] [c]] [c]] [cttttd]]]

Συντήρηση και έλεγχος διαδικασιών

Ο ακέραιος προγραμματισμός χρησιμοποιείται για τον προγραμματισμό της προληπτικής συντήρησης (PM) και των προσαρμογών της διαδικασίας ελέγχου. Κάθε εργαλείο μηχανής φοράει με το πέρασμα του χρόνου, επηρεάζοντας τις διαστάσεις του προϊόντος. Ένα μοντέλο IP μπορεί να αποφασίσει πότε θα αντικαταστήσει ή να επαναδιατάξει εργαλεία με βάση τα δεδομένα αισθητήρων και τα ιστορικά ποσοστά μετατόπισης. Οι μεταβλητές περιλαμβάνουν τη δυαδική απόφαση να εκτελέσει ΡΜ σε μια δεδομένη χρονική περίοδο και ακέραιες μεταβλητές για τον αριθμό των μονάδων που παράγονται από την τελευταία Μ.Μ. Ο στόχος ελαχιστοποιεί το συνολικό κόστος των ΡΜ, το χρόνο down, και την αποστασία επαναλειτουργία, με την προϋπόθεση ενός μέγιστου επιτρεπόμενου ποσοστού ελαττωμάτων. Αυτή η προσέγγιση είναι ιδιαίτερα ισχυρή σε βιομηχανίες μεγάλου όγκου όπως η κατασκευή ημιαγωγών, όπου μια ενιαία μετατόπιση μπορεί να προκαλέσει εκατομμύρια σε θραύσματα.

Υπολογιστικές σκέψεις και πραγματική ⁇ παγκόσμια ανάπτυξη

Λύση Ακεραίων Προγραμμάτων

Τα ακέραια προγράμματα είναι NP-σκληρά γενικά, που σημαίνει χρόνος λύσης μπορεί να αυξηθεί εκθετικά με το μέγεθος του προβλήματος. Ωστόσο, οι σύγχρονοι λύτες χρησιμοποιούν προηγμένες τεχνικές όπως προεπιλογή (για να μειώσουν το μέγεθος του μοντέλου), διακλαδώσεις-και-κοπή (για να σφίξουν τα όρια), και ηχητικές (για να βρουν γρήγορα καλές λύσεις).Ένα τυπικό μοντέλο QC κατασκευής με 500-1000 δυαδικές μεταβλητές και μερικές χιλιάδες συνεχείς μεταβλητές μπορεί να λυθεί μέσα σε 1% της βέλτιστης αξίας σε δευτερόλεπτα έως λεπτά. Πολλές εταιρείες ενσωματώνουν αυτούς τους λύτες στα Συστήματα Εκτέλεσης Κατασκευαστικής (MES) ή Λογισμικό Διαχείρισης Ποιότητας (QMS). REST APIs που παρέχονται από μηχανές βελτιστοποίησης επιτρέπουν την επαναπροσδιορισμό σε πραγματικό χρόνο όταν οι αλλαγές μείγμα παραγωγής. Για τους αναγνώστες που ενδιαφέρονται για τη μαθηματική βάση, το

Προκλήσεις δεδομένων

Η ακρίβεια οποιουδήποτε μοντέλου IP εξαρτάται από την ποιότητα των παραμέτρων εισόδου του: ποσοστά ελαττωμάτων, κόστος επιθεώρησης, χρόνοι εργασίας και κόστος ποινής. Οι κατασκευαστές συχνά στερούνται ακριβή δεδομένα, ειδικά για τις σύνθετες γραμμές συναρμολόγησης. Δύο στρατηγικές μετριάζουν αυτό το ζήτημα. Πρώτον, χρησιμοποιούν ιστορικά δεδομένα ελαττωμάτων και εφαρμόζουν παλινδρόμηση ή μάθηση μηχανών για να εκτιμήσουν παραμέτρους, με διαστήματα εμπιστοσύνης για να επιτρέψουν την ισχυρή βελτιστοποίηση. Δεύτερον, υιοθετούν μια προσέγγιση δύο σταδίων: τρέχουν την IP με τα βασικά δεδομένα, εφαρμόζουν συστάσεις, συλλέγουν ανατροφοδότηση, και περιοδικά επαναεκτιμούν παραμέτρους. Αυτός ο επαναληπτικός κύκλος, μερικές φορές ονομάζεται «ψηφιακή βελτιστοποίηση δίδυμο ⁇ ενεργό,» χτίζει εμπιστοσύνη και βελτιώνει την ακρίβεια του μοντέλου με το χρόνο. Μικρότερα εργοστάσια μπορούν να ξεκινήσουν με απλοποιημένα μοντέλα που χρησιμοποιούν κατά προσέγγιση κόστος και ενημέρωση, καθώς μαθαίνουν.

Μελέτη περίπτωσης: Ακέραιος προγραμματισμός για σταθμούς επιθεώρησης σε μια γραμμή συναρμολόγησης

Ένα μεσαίου μεγέθους ηλεκτρονικός κατασκευαστής που παράγει εκτυπωμένες συναρμολογήσεις κυκλωμάτων (PCBAs) αντιμετώπισε αυξανόμενα έξοδα επαναεργασίας και παράπονα πελατών. Το υπάρχον σχέδιο QC ζήτησε 100% οπτική επιθεώρηση σε τρεις σταθμούς, ακολουθούμενο από μια λειτουργική δοκιμή. Η εταιρεία ήθελε να μειώσει την εργασία της επιθεώρησης ενώ περικόπηκε η διαφυγή ελαττωμάτων. Ένα ακέραιο μοντέλο προγραμματισμού κατασκευάστηκε με δυαδικές μεταβλητές για κάθε έναν από τους 12 σταθμούς. Ο στόχος ελαχιστοποίησε το κόστος εργασίας συν το αναμενόμενο κόστος της εργασίας και των κυρώσεων. Περιορίζει το συνολικό ποσοστό διαφυγής ελαττωμάτων σε κάτω από 0,5% και εξασφαλίζει ότι κάθε κρίσιμη λειτουργία (διατήρηση, τοποθέτηση συστατικών) είχε τουλάχιστον μία επιθεώρηση μετά. Η λύση IP επέλεξε μόνο τέσσερις σταθμούς για επιθεώρηση, αλλά μετατόπισε πόρους στους δύο σταθμούς με υψηλότερες επιπτώσεις σε κρίσιμα ελαττώματα. Η εφαρμογή πάνω από τρεις μήνες μειωμένη εργασία επιθεώρησης κατά 20% και μείωσε το ποσοστό διαφυγής ελαττωμάτων από 0,7% σε 0,4%. Το έργο που καταβάλλεται για τον εαυτό του σε έξι μήνες.

Μελλοντικές Οδηγίες και Ενσωμάτωση με τη Βιομηχανία 4.0

Καθώς η κατασκευή αγκαλιάζει το Διαδίκτυο των πραγμάτων (IoT) και τον υπολογιστή σύννεφο, ακέραιος προγραμματισμός θα γίνει ακόμα πιο ισχυρός. Τα δεδομένα πραγματικού χρόνου από αισθητήρες μπορούν να τροφοδοτήσουν δυναμικά μοντέλα IP που προσαρμόζουν τα σχέδια επιθεώρησης στην μύγα. Για παράδειγμα, αν μια συγκεκριμένη μηχανή αρχίσει να παράγει ⁇ από-ανοχή μέρη, το μοντέλο μπορεί αμέσως να αυξήσει τη συχνότητα επιθεώρησης κατάντη. Επιπλέον, ο μικτός ⁇ ακεραιωμένος προγραμματισμός μπορεί να συνδυαστεί με την ενίσχυση μάθησης για να χειριστεί την αβεβαιότητα στις πιθανότητες ελαττωμάτων. Μια άλλη αναδυόμενη τάση είναι η χρήση του στοχαστικού προγραμματισμού ακέραιων στοιχείων, που εξηγεί ρητά για τυχαία περιστατικά ελαττωμάτων και παρέχει ισχυρά σχέδια που λειτουργούν καλά σε πολλά σενάρια.

Συμπέρασμα

Ο ακέραιος προγραμματισμός μετατρέπει τον έλεγχο ποιότητας από μια αντιδραστική, διαισθητική ⁇ καθοδηγούμενη δραστηριότητα σε μια προνοητική, βελτιστοποιημένη λειτουργία. Με μαθηματική αναπαράσταση πραγματικών ⁇ κοσμικών περιορισμών και στόχων, οι κατασκευαστές μπορούν ταυτόχρονα να μειώσουν το κόστος και να βελτιώσουν την ποιότητα. Οι περιοχές εφαρμογής είναι ευρύτερες ⁇ από την κατανομή του σταθμού ελέγχου και το σχεδιασμό του σχεδίου δειγματοληψίας έως την προληπτική συντήρηση και προσαρμογή της διαδικασίας. Αν και η συλλογή δεδομένων και η πολυπλοκότητα του μοντέλου θέτουν αρχικά εμπόδια, τα μακροπρόθεσμα οφέλη είναι σημαντικά: μειωμένα απόβλητα, υψηλότερη ικανοποίηση των πελατών και αυξημένη κερδοφορία. Καθώς τα υπολογιστικά εργαλεία γίνονται πιο προσβάσιμα, κάθε κατασκευαστής θα πρέπει να εξετάσει την ενσωμάτωση του ακεραίου προγραμματισμού στο εργαλείο ποιότητας τους. Οι κατασκευαστές που ενδιαφέρονται για βαθύτερη καθοδήγηση μπορούν να συμβουλευτούν τις [MIT OpenCourseWare on Optimization Meth] για περαιτέρω μελέτη μαθηματικών τεχνικών προγραμματισμού που εφαρμόζονται στα βιομηχανικά προβλήματα.