AT16972U1

AT16972U1 -

Info

Publication number: AT16972U1
Application number: ATGM50119/2019U
Authority: AT
Inventors: Haselböck Dr Alois; Schenner Gottfried
Original assignee: Siemens Ag Oesterreich
Priority date: 2019-07-12
Filing date: 2019-07-12
Publication date: 2021-01-15

Abstract

Verfahren zur Änderungskonfiguration einer Produktionsanlage und/oder eines Produkts nach einer Erstkonfiguration, wobei folgende Schritte ausgeführt werden: a) Festlegen einer ersten Variablen-Menge (V), einer Domänen-Menge (D) und einer Anforderungs-Menge (C) aus der Erstkonfiguration, b) Erstes Zuordnen einer Zuordnungs-Menge (A) mit Zuordnungs-Tupeln (T), b1) Drittes Erfassen einer Alt-Zuordnungs-Menge (A_legacy), c) Zweites Zuordnen einer zweiten Variablen-Menge (Vu), d) Erstes Erfassen der Zuordnungs-Menge (A), e) Zweites Erfassen der zweiten Variablen-Menge (Vu), f) Festlegen einer dritten Variablen-Menge (V) aus der Summe einer Variablen-Menge der Zuordnungs-Menge (A) und der zweiten Variablen-Menge (Vu), g) Prüfen, ob die Zuordnungs-Menge (A) vollständig ist, und falls vollständig, Ausgeben der Zuordnungs-Menge (A) als Änderungskonfiguration, h) Beliebiges Auswählen und Entfernen der Variablen (v) aus der ersten Variablen-Menge (Vu), h1) Prüfen, ob die Variable (v) in der Alt-Zuordnungs-Menge (A_legacy) enthalten ist, und falls enthalten, Festlegen einer Domäne (d), sonst, Festlegen der Domäne (d) mit dem Wert Null, i) Ausführen für alle Domänen der Domänen-Menge (D), falls die festgelegte Domäne (d) nicht Null ist: i1) Hinzufügen des Zuordnungs-Tupels zur Zuordnungs-Menge (A), i2) Bestimmen eines Ergebnisses durch rekursives Fortfahren mit Schritt d) mit der Zuordnungs-Menge (A) als ersten und der ersten Variablen-Menge (Vu) als zweiten Übergabeparameter, i3) Prüfen, ob das Ergebnis eine Fehlermeldung liefert, und falls eine Fehlermeldung vorliegt, rekursives Rückgeben des Ergebnisses, sonst, Entfernen des Tupels von der Menge von Zuordnungen (A), j) Ausgeben der Fehlermeldung.

Description

Beschreibung

VERFAHREN ZUR ÄNDERUNGSKONFIGURATION EINER PRODUKTIONSANLAGE UND/ODER EINES PRODUKTS UND VERFAHREN ZUR HERSTELLUNG EINES PRODUKTS, SOWIE KONFIGURATIONSVORRICHTUNG UND SYSTEM

[0001] Die Erfindung betrifft ein Verfahren zur Änderungskonfiguration einer Produktionsanlage und/oder eines Produkts nach einer Erstkonfiguration.

[0002] Die Erfindung betrifft auch ein Verfahren zur Herstellung eines Produkts mit einer Produktionsanlage mittels einer Anderungskonfiguration der Produktionsanlage und/oder des Produkts nach einer Erstkonfiguration,

[0003] Ferner betrifft die Erfindung eine Konfigurationsvorrichtung zur Änderungskonfiguration einer Produktionsanlage und/oder eines Produkts nach einer Erstkonfiguration.

[0004] Außerdem betrifft die Erfindung ein System zur Herstellung eines Produkts durch eine Produktionsanlage mittels einer Anderungskonfiguration der Produktionsanlage und/oder des Produkts nach einer Erstkonfiguration.

[0005] Eine Digitalisierung in Fabriken soll eine „intelligente Produktion“ (englisch „smart production“) ermöglichen, welche darauf abzielt, Produktionsprozesse zu flexibilisieren und Ressourcen effizienter einzusetzen. Dies soll durch "intelligente Produkte" (englisch „smart products“) und "intelligente Fabriken" (englisch „smart factories“) ermöglicht werden.

[0006] Aus Sicht der Produktlinienentwicklung können diese als zwei Produktlinien angesehen werden: Produktlinie der Produkte und Produktlinie der Produktionsanlagen. Letzteres betrifft die intelligente Verwaltung von Fabriken, um selbstorganisierende Produktionsanlagen bereitzustellen. Wenn ein Kunde sein Produkt konfiguriert, wie beispielsweise über ein webbasiertes Konfigurations-Werkzeug, ist das Ergebnis nicht nur eine detaillierte Spezifikation des Produkts, sondern eine Reihe von Anforderungen an die Smart Factory, um diese Produktinstanz erstellen zu können.

[0007] Produktionsanlagen sind im Ökosystem der intelligenten Produktion auch Ressourcen, die auf dem Markt angeboten und als Dienstleistung verkauft werden können. Das heißt, Fabriken der Zukunft präsentieren ihre Fähigkeiten potenziellen Kunden und bieten sie auf einem Markt an. Produktbesitzer (Designer oder Verkäufer) können ihre Produktionsanforderungen an die Fähigkeiten der Fabriken anpassen und die Fabrikbesitzer können eventuell vorhandene Fabriken neu konfigurieren, um die Anforderungen der herzustellenden Produkte zu erfüllen. Eine zentrale Aufgabe ist dabei die effiziente Rekonfiguration der Hard- und Software der Produktionsanlagen.

[0008] Beispielsweise kann neben der Herstellung einer neuen, individualisierten Produktlinie eine Anderungskonfiguration einer Fabrik auch dann notwendig sein, wenn neue Produktionsanlagen (z. B. 3D-Drucker, Roboter usw.) hinzugefügt wurden, oder vorhandene Anlagen entfernt wurden, da diese veraltet oder defekt sind.

[0009] Eine Konfiguration ist die Aufgabe, eine gültige, vollständige und zweckmäßige Systemstruktur abzuleiten, die aus einer Reihe von Komponenten zusammengesetzt ist.

[0010] Anforderungs-Erfüllungsprobleme (CSP, englisch „constraint satisfaction problem“) werden bereits zur Modellierung und Lösung von kombinatorischen Problemen in vielen industriellen Anwendungsbereichen, wie Konfiguration, Planung, Diagnose oder Optimierungsprobleme verwendet.

[0011] Die Begriffe "Konfiguration" und "Änderungskonfiguration" werden hier in einem sehr breiten Kontext verwendet: Als CSP wird ein Domänenspezifikation (z. B. der Komponentenkatalog für Produktionsanlagen) und ein bestimmter Satz von Fakten, wie variable Zuordnungen, und Einschränkungen angegeben, sowie das Definieren der Anforderungen für eine konkrete Probleminstanz. Die Aufgabe, eine Lösung für ein Konfigurationsproblem zu finden, besteht darin, eine Lösung für das entsprechende CSP zusammen mit den gegebenen Anforderungsfakten und -

beschränkungen zu finden. Wenn dieses CSP zusammen mit Anforderungen inkonsistent ist, wird keine Lösung gefunden.

[0012] Das Änderungskonfigurations-Problem ähnelt dem Konfigurations-Problem, aber zusätzlich zu den erforderlichen Fakten beziehungsweise Einschränkungen wird eine Altsystem-Konfiguration (englisch „legacy configuration“) angegeben. Diese Legacy-Konfiguration ist eine Zuweisung an alle oder eine Teilmenge der CSP-Variablen. Der interessante Fall hierbei ist, dass die Anforderungen und die Legacy-Konfiguration hinsichtlich der CSP Constraints nicht konsistent sind, das heißt es konnte keine gültige Lösung gefunden werden.

[0013] Änderungskonfiguration ist die Aufgabe, eine Änderung der alten Konfiguration zu finden, damit die Anforderungen und Einschränkungen erfüllt werden. Die neu zu konfigurierte Lösung soll dabei so nah wie möglich an der alten Konfiguration sein.

[0014] Die Definition der Qualität einer Änderungskonfiguration, das heißt wie nah eine neue Konfiguration an der alten Konfiguration ist, kann dabei etwa eine Kostenfunktionen für die verschiedenen Anderungsoperatoren verwenden. Anderungskonfiguration ist dann das Minimierungs-Problem der gesamten Anderungen beziehungsweise der entsprechenden Anderungskosten.

[0015] Standard-CSP-Techniken können nicht für die Änderungskonfiguration verwendet werden, da sie nicht mit inkonsistenten Variablenzuweisungen umgehen können.

[0016] Im Stand der Technik sind Reparatur-basierte Verfahren bekannt, welche versuchen, in Konflikt stehende Anforderungen zu finden und zu beheben, was jedoch häufig zu sehr aufwändigen Algorithmen führt.

[0017] Im Stand der Technik sind ferner Änderungskonfigurationen mittels einer Minimierung von Kosten-Funktionen bekannt, welche jedoch sehr aufwändige Modelle erfordern können und daher nicht gut skalierbar sind.

[0018] Im Stand der Technik sind außerdem Reparatur-basierte, lokale Suchverfahren (heuristische) bekannt, welche versuchen, Lösungen mittel nach einer Hill-Climbing-Manier zu finden, wie beispielsweise „greedy search“ Verfahren. Jedoch sind die Ergebnisse diese Verfahren oft nicht gut vorhersagbar, da die Gefahr eines lokalen Optimums besteht.

[0019] Ferner sind Regel-basierte Verfahren bekannt, welche ein Modell der Anlage und des Produkts bilden. Dabei wird eine explizit inkonsistente Lösung in eine explizit konsistente Lösung übergeführt. Es ist klar, dass ein derartiges Verfahren meist sehr unflexibel ist.

[0020] Es kann folglich schwierig und sehr aufwändig sein, in einer flexiblen Produkt- beziehungsweise Produktions-Umgebung eine Anderungskonfiguration für ein bestimmtes Produkt und die dazugehörige Produktionsanlage zu bestimmen und durchzuführen.

[0021] Es ist Aufgabe der Erfindung die genannten Nachteile zu überwinden und eine dementsprechende Konfiguration eines Produkts und einer dazugehörigen Produktionsanlage auf einfache Weise zu bestimmen und durchzuführen.

[0022] Die Erfindung löst die Aufgabe durch ein Verfahren zur Änderungskonfiguration einer Produktionsanlage und/oder eines Produkts nach einer Erstkonfiguration, wobei folgende Schritte ausgeführt werden:

a) Festlegen einer ersten Variablen-Menge, einer Domänen-Menge und einer AnforderungsMenge aus der Erstkonfiguration,

b) Erstes Zuordnen einer Zuordnungs-Menge mit Zuordnungs- Tupeln, welche jeweils eine Zuordnung zwischen einer Variable der Variablen-Menge und einer Domäne der DomänenMenge für die Variable aufweisen, aus der Erstkonfiguration,

c) Zweites Zuordnen einer zweiten Variablen-Menge, welche noch nicht zugewiesene Variablen umfasst, aus der Anderungskonfiguration,

d) Erstes Erfassen der Zuordnungs-Menge aus einem ersten Übergabeparameter beim Ausführen des Schritts b),

e) Zweites Erfassen der zweiten Variablen-Menge aus einem zweiten Übergabeparameter beim Ausführen des Schritts c),

f) Festlegen einer dritten Variablen-Menge aus der Summe einer Variablen-Menge der Zuordnungs-Menge und der zweiten Variablen-Menge,

g) Prüfen, ob die Zuordnungs-Menge vollständig ist, und falls vollständig, Ausgeben der Zuordnungs-Menge als Anderungskonfiguration der Produktionsanlage und/oder des Produkts,

h) Beliebiges Auswählen und Entfernen der Variablen aus der ersten Variablen-Menge,

ij) Ausführen für alle Werte jener Domäne aus der Domänen-Menge, welche der Variable entspricht und Prüfen, ob das Zuordnungs-Tupel für die Variable und die Werte der Domäne, mit der Zuordnungs-Menge gemäß der jeweiligen Anforderung konsistent ist, und falls konsistent:

i1) Hinzufügen des Zuordnungs-Tupels zur Zuordnungs-Menge,

i2) Bestimmen eines Ergebnisses durch rekursives Fortfahren mit Schritt d) mit der Zuordnungs-Menge als ersten und der ersten Variablen-Menge als zweiten Ubergabeparameter,

i3) Prüfen, ob das Ergebnis eine Fehlermeldung liefert, und falls eine Fehlermeldung vorliegt, rekursives Rückgeben des Ergebnisses, sonst, Entfernen des Tupels von der Menge von Zuordnungen,

])) Ausgeben der Fehlermeldung, wobei nach dem Schritt b) folgender Schritt ausgeführt wird: b1) Drittes Erfassen einer Alt-Zuordnungs-Menge mit jeweiligen Tupeln, und nach dem Schritt h) folgender Schritt ausgeführt wird:

h1) Prüfen, ob die Variable in der Alt-Zuordnungs-Menge enthalten ist, und falls enthalten, Festlegen einer Domäne aus der Domänen-Menge für die Variable aus der Alt-Zuordnungs-Menge, sonst, Festlegen der Domäne mit dem Wert Null,

sowie der Schritt i) durch folgenden Schritt ersetzt wird:

iO) Ausführen für alle Domänen der Domänen-Menge, wobei die festgelegte Domäne bevorzugt verwendet wird, falls die festgelegte Domäne nicht Null ist, und die Schritte i1), i2) und i3) ausgeführt werden.

[0023] Unter einer Domäne wird im vorliegenden Zusammenhang ein Wertebereich verstanden.

[0024] Konsistenz- oder Suchalgorithmen, wie Backtracking, können sofort ein Fehlerergebnis liefern, wenn mit einem inkonsistenten Status begonnen wird. Backtracking ist ein bekanntes Suchschema zur Lösung von CSP.

[0025] Die Erfindung erlaubt durch eine Adaptierung einer Standard- „Backtracking“-Suchprozedur eine schnelle und leichte Anderungskonfiguration eines Produkts und dessen Produktionsanlage.

[0026] Ein Constraint-Erfüllungsproblem (CSP) umfasst eine Menge von Variablen V = {v1,V2, ..., Va}, Ihren entsprechenden Domänen D = {d,,d,,...,d,} und eine Menge von Constraints C= {c,,C», ..., Cm} das heißt Einschränkung der Werte, welche Variablen gleichzeitig annehmen dürfen.

[0027] Eine Lösung für ein CSP besteht darin, jeder Variablen einen entsprechenden Wert zuzuweisen, wobei alle Bedingungen erfüllt sind.

[0028] Einer der Hauptansätze bei der Suche nach einer Lösung ist das „Backtracking", welches eine Tiefensuche ist, bei der in jedem Schritt eine noch nicht zugewiesene Variable und ein Wert für diese Variable ausgewählt werden. Verstößt die aktuelle Zuweisungsmenge gegen mindestens eine Einschränkung, ist eine Sackgasse erreicht und die Prozedur versucht einen anderen Wert für die aktuelle Variable oder kehrt, falls dies nicht mehr möglich ist, zur vorherigen Variablen zurück. Wenn alle Variablen zugewiesen sind und alle Bedingungen erfüllt sind, wird eine Lösung gefunden. Das Backtracking ist in dem Sinne vollständig, dass garantiert wird, dass eine Lösung gefunden wird, wenn das Problem eine Lösung hat, und ein „Fehler" ausgegeben wird, wenn das Problem überhaupt keine Lösung hat.

[0029] Ein CSP kann durch ein Tripel (V, D, C) beschrieben werden.

[0030] Eine Zuordnung ist ein Tupel (v, d) mit v € V und d € D(v), das heißt eine Zuordnung des Werts d zur Variablen v dar.

[0031] Die Menge von Variablen var(A) in der Menge von Zuordnungen A ist: A: vars(A) = {v|(v,d) E A} [0032] Die Menge der Variablen vars(A4, A,) sowohl in der Menge A; als auch in der Menge 4, ist: A,: vars(As, A») = {v|v € vars(A4),v € vars(4A,)}

[0033] Die Anzahl der Zuordnungen dif f(A,, A,) mit unterschiedlichen Werten für die gemeinsamen Variablen in A, und A, ist definiert durch:

diff(A,,A2) = |{v|evars(A,A2),(v,d,) € A,,(v, d,) € A„,d, +* d;}| [0034] Um das CSP (V,D, C) zu lösen wird ein Suchverfahren gemäß Fig. 1 aufgerufen mit: backtracking({},V)

[0035] Wobei das Ergebnis entweder „Fehler“ (englisch "failure") ist, falls keine Lösung gefunden wurde, oder eine vollständige, konsistente Zuordnungsmenge für die Variable V ist.

[0036] Die Prozedur der Fig. 1 weist zwei Auswahlpunkte auf: 1. Wählen der nächsten Variablen für die Zuweisung (Zeile 4), und 2. wählen des nächsten Werts für die aktuelle Variable (Zeile 5).

[0037] Im Stand der Technik wurden verschiedene Heuristiken entwickelt, um die beste Variablen- und Wertereihenfolge für diese Auswahlpunkte zu finden, was jedoch mit erheblichem Aufwand verbunden ist. Die Erfindung bedeutet demgegenüber eine Variation des Backtracking-Verfahrens der Zeilen 4 und 5 in der Fig. 1.

[0038] Die Erfindung beschreibt eine neuartige Heuristik zur Adaptierung_ bekannter Backtracking-Verfahren und erlaubt ein effizientes Ermitteln einer Lösung für eine Anderungskonfiguration, insbesondere für eine große Anzahl an Variablen.

[0039] Das Verfahren ist „leicht-gewichtig“, das heißt es sind keine zusätzlichen ModellierungsKonzepte, wie Kosten-Funktionen notwendig. Ferner liefert das Verfahren bei nahezu gleicher eingesetzter Leistung deutlich bessere Ergebnisse als gewöhnliche Backtracking-Verfahren.

[0040] Obwohl das Verfahren nicht absolut sicherstellen kann, dass eine optimale Lösung hinsichtlich einer minimalen Distanz zu einer „Legacy“-Zuordnungs-Lösung gefunden wird, hat es sich jedoch gezeigt, dass das Verfahren häufig eine optimale Lösung liefert, insbesondere konnte das für kleine Problemgrößen gezeigt werden.

[0041] Eine Änderungskonfiguration A’ ist, ausgehend von einem CSP (V,D,C), wobei A eine Zuordnung von V, = V ist, und A potentiell nicht konsistent bezüglich der Constraints C ist, eine konsistente Zuordnung von den Variablen V, das heißt A’ ist eine Lösung des entsprechenden CSP, welches dif f (A, A’) minimiert.

[0042] Mit anderen Worten ist eine Änderungskonfiguration eine Lösung eines CSP, welche zu einer gegebenen Alt-Konfiguration (englisch „legacy configuration“) so nahe als möglich kommt, wobei die Alt-Konfiguration als potentiell inkonsistente Zuordnung zu den Variablen V oder einer Teilmenge von V darstellbar ist.

[0043] Im folgenden Ansatz wird keine Kostenfunktionen für ein Änderungskonfigurations-Problem verwendet, sondern auf eine heuristische und einfache Definition der Minimalität aufgebaut: Die Anzahl der Variablenzuweisungen in der rekonfigurierten CSP-Lösung, die sich von den Zuweisungen in der Legacy- Konfiguration unterscheiden, sollte so klein wie möglich sein.

[0044] Die Erfindung löst die Aufgabe auch durch ein Verfahren zur Herstellung eines Produkts mit einer Produktionsanlage mittels einer Anderungskonfiguration der Produktionsanlage und/oder des Produkts nach einer Erstkonfiguration, wobei die Produktionsanlage und/oder das Produkt durch die erfindungsgemäßen Verfahrensschritte neu konfiguriert wird und das Produkt durch die Produktionsanlage hergestellt wird.

[0045] Die Erfindung löst die Aufgabe auch durch ein Konfigurationsvorrichtung zur Änderungskonfiguration einer Produktionsanlage und/oder eines Produkts nach einer Erstkonfiguration, wobei die Konfigurationsvorrichtung dazu eingerichtet ist, die Produktionsanlage und/oder das Produkt mit den erfindungsgemäßen Verfahrensschritten neu zu konfigurieren.

[0046] Die Erfindung löst die Aufgabe auch durch ein System zur Herstellung eines Produkts durch eine Produktionsanlage mittels einer Anderungskonfiguration der Produktionsanlage und/oder des Produkts nach einer Erstkonfiguration, umfassend eine erfindungsgemäße Konfigurationsvorrichtung und die Produktionsanlage, wobei das System dazu eingerichtet ist, die Produktionsanlage und/oder das Produkt mit der Konfigurationsvorrichtung neu zu konfigurieren und das Produkt durch die Produktionsanlage herzustellen.

[0047] Die Erfindung wird nachfolgend anhand eines in den beigeschlossenen Zeichnungen dargestellten Ausführungsbeispiels näher erläutert. In den Zeichnungen zeigt:

[0048] Fig. 1 einen Pseudocode als ein Ausführungsbeispiel für ein Backtracking-Verfahren nach dem Stand der Technik,

[0049] Fig. 2 eine schematische Darstellung für ein Änderungskonfigurations-Problem mit einer werkseitigen Erstkonfiguration,

[0050] Fig. 3 einen Pseudocode als Ausführungsbeispiel der Erfindung in Form eines Backtracking-Verfahrens,

[0051] Fig. 4 eine Vergleichs-Darstellung der Komplexität von Lösungsverfahren für Konfigurations-Probleme,

[0052] Fig. 5 eine Vergleichs-Darstellung der Lösungszeit von Lösungsverfahren für Konfigurations-Probleme.

[0053] In Fig. 2 ist ein Szenario dargestellt, in welchem ein Änderungskonfigurations-Problem mit einer werkseitigen Konfiguration vorliegt.

[0054] Eine Produktionsanlage 100 kann über eine Erst-Spezifikation 110 der Produktionsanlage 100 in Form eines Problem-Domänen-Modells beschrieben werden, mit dem CSP

VW U Ve, D, CC) wobei C, die Anforderungsmenge ist.

[0055] Variable in einer Werkskonfiguration können in Anforderungsvariablen V- und Konfigurationsvariablen % unterteilt werden.

[0056] Die Anforderungsvariablen VW. bezeichnen dabei die Anforderungen an eine Produktionsanlage.

[0057] Die Konfigurationsvariablen %, bezeichnen dabei die Anforderungen an das Produkt.

[0058] Es gibt der Zusammenhang: VV = WUV%

[0059] Die Produktionsanlage 100 kann über eine Konfiguration 120 in Form eines Problem-Instanzen-Modells beschrieben werden.

[0060] Daraus kann ein Konfigurations-Modell 300 abgeleitet werden.

[0061] Die Erst-Spezifikation 110 und die Erst-Konfiguration 120 sind zueinander konsistent 101. Es ist auch möglich, dass nur eine teilweise Konsistenz vorliegt. Es gilt mit der Erst-Konfiguration 120 (44) das Konfigurations-Modell 300 mit:

vars(A)) = V V,- E vars(A4)

[0062] Beispielsweise führen Änderungen in der Produktionsanlage 100 und/oder des Produkts hinsichtlich der Anforderungsmenge C, zu einer neuen Anforderungsmenge C, zu SpezifikationsAnderungen 111 und hinsichtlich der Konfiguration A, zu einer Konfiguration A» KonfigurationsAnderungen 121.

[0063] Eine modifizierte Produktionsanlage 200 kann über eine Neu-Spezifikation 210 der Produktionsanlage 200 in Form eines Problem-Domänen-Modells beschrieben werden.

[0064] Ein neues CSP ist bestimmt durch (V% UV, D,C>)

wobei C, die neue Anforderungsmenge ist.

[0065] Es gilt für eine Neu-Konfiguration 220 (A,)das Konfigurations-Modell 310 mit: vars(A») = V VW = vars(A;,)

[0066] Die Produktionsanlage 200 kann über eine Konfiguration 220 in Form eines Problem-Instanzen-Modells beschrieben werden.

[0067] Daraus kann ein Konfigurations-Modell 310 abgeleitet werden.

[0068] Die Neu-Spezifikation 210 und die Neu-Konfiguration 220 sind zueinander nicht mehr konsistent 201.

[0069] Durch das Verfahren soll eine Lösung für die Neu-Spezifikation 210 und die Neu-Konfiguration 220 gefunden werden, die einer „Legacy“-Konfiguration (im Sinne der Definition Anderungskonfiguration) möglichst nahekommt.

[0070] Es gilt für die Neu-Konfiguration 220 (4A,’) das Konfigurations-Modell 320 mit: vars(A,») = V

[0071] Die Erst-Konfiguration 120 umfasst die Anforderungsvariablen W-. Die Lösung soll ebenfalls die Anforderungsvariablen VW Umfassen.

[0072] Dies kann bei der Änderungskonfigurations-Lösung leicht erreicht werden, indem die Anforderungsvariablen v,- auf die Werte der Erst-Konfiguration 120 gesetzt werden, und beim Backtracking-Löser nicht mehr ändert werden.

[0073] Durch eine erfindungsgemäße Änderungskonfiguration 311 wird erreicht, dass durch Änderungen 312 wieder konsistente Beziehung 202 für ein Konfigurations-Modell 320 hergestellt wird.

[0074] Fig. 3 zeigt einen Pseudocode als Ausführungsbeispiel der Erfindung. Der Pseudocode beschriebt das erfindungsgemäße Verfahren zur Anderungskonfiguration einer Produktionsanlage und/oder eines Produkts nach einer Erstkonfiguration.

[0075] Dabei werden folgende Schritte ausgeführt:

a) Festlegen einer ersten Variablen-Menge V, einer Domänen-Menge D und einer Anforderungs-Menge C aus der Erstkonfiguration,

b) Erstes Zuordnen einer Zuordnungs-Menge A mit Zuordnungs- Tupeln T, welche jeweils eine Zuordnung zwischen einer Variable v der Variablen-Menge V und einer Domäne der Domänen-Menge D für die Variable v aufweisen, aus der Erstkonfiguration,

c) Zweites Zuordnen einer zweiten Variablen-Menge Vu, welche noch nicht zugewiesene Variablen umfasst, aus der Anderungskonfiguration,

d) Erstes Erfassen der Zuordnungs-Menge A aus einem ersten Übergabeparameter beim Ausführen des Schritts b),

e) Zweites Erfassen der zweiten Variablen-Menge Vu aus einem zweiten Übergabeparameter beim Ausführen des Schritts c),

f) Festlegen einer dritten Variablen-Menge V aus der Summe einer Variablen-Menge der Zuordnungs-Menge A und der zweiten Variablen-Menge Vu,

g) Prüfen, ob die Zuordnungs-Menge A vollständig ist, und falls vollständig, Ausgeben der Zuordnungs-Menge A als Anderungskonfiguration der Produktionsanlage und/oder des Produkts,

h) Beliebiges Auswählen und Entfernen der Variablen v aus der ersten Variablen-Menge Vu,

ij) Ausführen für alle Werte jener Domäne aus der Domänen-Menge, welche der Variable v entspricht und Prüfen, ob das Zuordnungs-Tupel T für die Variable v und die Werte der Domäne, mit der Zuordnungs-Menge gemäß der jeweiligen Anforderung c konsistent ist, und falls konsistent:

i1) Hinzufügen des Zuordnungs-Tupels zur Zuordnungs-Menge A,

i2) Bestimmen eines Ergebnisses durch rekursives Fortfahren mit Schritt d) mit der Zuordnungs-Menge A als ersten und der ersten Variablen-Menge Vu als zweiten Ubergabeparameter,

i3) Prüfen, ob das Ergebnis eine Fehlermeldung liefert, und falls eine Fehlermeldung vorliegt, rekursives Rückgeben des Ergebnisses, sonst, Entfernen des Tupels von der Menge von Zuordnungen A,

)) Ausgeben der Fehlermeldung wobei nach dem Schritt b) folgender Schritt ausgeführt wird: b1) Drittes Erfassen einer Alt-Zuordnungs-Menge A_legacy mit jeweiligen Tupeln T_legacy, und nach dem Schritt h) folgender Schritt ausgeführt wird:

h1) Prüfen, ob die Variable v in der Alt-Zuordnungs-Menge A_legacy enthalten ist, und falls enthalten, Festlegen einer Domäne d aus der Domänen-Menge D für die Variable v aus der Alt-Zuordnungs-Menge A_legacy, sonst, Festlegen der Domäne d mit dem Wert Null,

sowie der Schritt i) durch folgenden Schritt ersetzt wird:

iO) Ausführen für alle Domänen der Domänen-Menge D, wobei die festgelegte Domäne d bevorzugt verwendet wird,

falls die festgelegte Domäne d nicht Null ist, und die Schritte i1), 12) und i3) ausgeführt werden.

[0076] Fig. 4 zeigt eine Vergleichs-Darstellung der Komplexität von Lösungsverfahren für Konfigurations-Probleme.

[0077] Eine Problemgröße 1 mit einer Anzahl an Eingangselementen bildet die x-Achse der Darstellung und eine Anzahl 2 an geänderten Variablen (Mittelwert) die y-Achse.

[0078] Es ist erkennbar, dass ein alternatives ASP-Lösungsverfahren 10 („answer set programming“) häufiger eine Lösung findet, als ein erfindungsgemäßes CSP- Lösungsverfahren 20.

[0079] Fig. 5 zeigt eine Vergleichs-Darstellung der Lösungszeit von Lösungsverfahren für Konfigurations-Probleme, wobei die Zeiten für zufällig erzeugte Änderungskonfigurations-Probleme ermittelt wurden.

[0080] Eine Problemgröße 1 mit einer Anzahl an Eingangselementen bildet die x-Achse der Darstellung und die Zeit 3 zur Bestimmung einer Lösung die y-Achse.

[0081] Es sind Datenpunkte 30, eine Mittelwert-Funktion 40 und Zeitüberschreitungen 50 (Timeout) erkennbar.

[0082] CSP-basierte Lösungen können sehr schnell gefunden werden und sind daher für große Probleme geeignet.

[0083] Dabei ist es entscheidend, welche Variablen und Heuristiken angewendet werden. Falls ungünstige Heuristiken zur Anwendung kommen, liefern bekannte Verfahren keine Ergebnisse in der vorgesehenen Zeit und bei vorgegebenen Zeitüberschreitungen 50 wird das Verfahren abgebrochen.

[0084] Beim erfindungsgemäßen Verfahren können in deutlich mehr Fällen in sehr kurzer Zeit Lösungen für die Anderungskonfiguration gefunden werden, wie aus den Datenpunkten 30 und der Mittelwert-Funktion 40 ablesbar ist.

[0085] Ein Verfahren zur Herstellung eines Produkts mit einer Produktionsanlage mittels einer Anderungskonfiguration der Produktionsanlage und/oder des Produkts nach einer Erstkonfiguration ist in den Figuren nicht gesondert dargestellt.

[0086] Die Produktionsanlage und/oder das Produkt wird/werden dabei durch die erfindungsgemäßen Verfahrensschritte neu konfiguriert.

[0087] Das Produkt wird anschließend durch die Produktionsanlage hergestellt.

[0088] Eine Konfigurationsvorrichtung zur Änderungskonfiguration einer Produktionsanlage und/oder eines Produkts nach einer Erstkonfiguration ist in den Figuren nicht gesondert dargestellt.

[0089] Die Konfigurationsvorrichtung ist dazu eingerichtet, die Produktionsanlage und/oder das Produkt mit den erfindungsgemäßen Verfahrensschritten neu zu konfigurieren.

[0090] Ein System zur Herstellung eines Produkts durch eine Produktionsanlage mittels einer Anderungskonfiguration der Produktionsanlage und/oder des Produkts nach einer Erstkonfiguration ist in den Figuren nicht gesondert dargestellt.

[0091] Das System umfasst eine erfindungsgemäße Konfigurationsvorrichtung und die Produktionsanlage.

[0092] Das System ist dazu eingerichtet, die Produktionsanlage und/oder das Produkt mit der erfindungsgemäßen Konfigurationsvorrichtung neu zu konfigurieren.

[0093] Das System ist ferner dazu eingerichtet, das Produkt durch die Produktionsanlage herzustellen.

BEZUGSZEICHENLISTE:

1 Problemgröße in Anzahl der Eingangselemente 2 Anzahl an geänderten Variablen (Mittelwert)

3 Zeit zur Bestimmung einer Lösung

10 ASP

20 CSP

30 Datenpunkt

40 Mittelwert

50 Zeitüberschreitung, Timeout

100, 200 Produktionsanlage

110, 210 Produktionsanlage Spezifikation, Problemdomänen-Modell 120, 220 Produktionsanlage Konfiguration, Probleminstanz-Modell 111 Änderung Spezifikation

121 Änderung Konfiguration

300, 310, 320 Konfigurations-Modell

101, 202 konsistent

201 inkonsistent

311 Änderungskonfiguration

312 Änderungen

A, A_legacy Zuordnungs-Menge

c Anforderung

C Anforderungs-Menge

d Domäne

D Domänen-Menge

T, T_legacy Zuordnungs-Tupel

V Variable

V, Vu Variablen-Menge

Claims

Ansprüche

1. Verfahren zur Änderungskonfiguration einer Produktionsanlage und/oder eines Produkts nach einer Erstkonfiguration, wobei folgende Schritte ausgeführt werden:

a) Festlegen einer ersten Variablen-Menge (V), einer Domänen-Menge (D) und einer Anforderungs-Menge (C) aus der Erstkonfiguration,

b) Erstes Zuordnen einer Zuordnungs-Menge (A) mit Zuordnungs-Tupeln (T), welche jeweils eine Zuordnung zwischen einer Variable (v) der Variablen-Menge (V) und einer Domäne der Domänen-Menge (D) für die Variable (v) aufweisen, aus der Erstkonfiguration,

c) Zweites Zuordnen einer zweiten Variablen-Menge (Vu), welche noch nicht zugewiesene Variablen umfasst, aus der Anderungskonfiguration, _

d) Erstes Erfassen der Zuordnungs-Menge (A) aus einem ersten Ubergabeparameter beim Ausführen des Schritts b), _

e) Zweites Erfassen der zweiten Variablen-Menge (Vu) aus einem zweiten Ubergabeparameter beim Ausführen des Schritts c),

f) Festlegen einer dritten Variablen-Menge (V) aus der Summe einer Variablen-Menge der Zuordnungs-Menge (A) und der zweiten Variablen-Menge (Vu),

g) Prüfen, ob die Zuordnungs-Menge (A) vollständig ist, und falls vollständig, Ausgeben der Zuordnungs-Menge (A) als Anderungskonfiguration der Produktionsanlage und/oder des Produkts,

h) Beliebiges Auswählen und Entfernen der Variablen (v) aus der ersten Variablen-Menge (Vu),

ij) Ausführen für alle Werte jener Domäne aus der Domänen-Menge, welche der Variable (v) entspricht und Prüfen, ob das Zuordnungs-Tupel (T) für die Variable (v) und die Werte der Domäne, mit der Zuordnungs-Menge gemäß der jeweiligen Anforderung (c) konsistent ist, und falls konsistent:

i1) Hinzufügen des Zuordnungs-Tupels zur Zuordnungs-Menge (A),

i2) Bestimmen eines Ergebnisses durch rekursives Fortfahren mit Schritt d) mit der Zuordnungs-Menge (A) als ersten und der ersten Variablen-Menge (Vu) als zweiten UÜbergabeparameter,

i3) Prüfen, ob das Ergebnis eine Fehlermeldung liefert, und falls eine Fehlermeldung vorliegt, rekursives Rückgeben des Ergebnisses, sonst, Entfernen des Tupels von der Menge von Zuordnungen (A),

)) Ausgeben der Fehlermeldung

wobei

nach dem Schritt b) folgender Schritt ausgeführt wird:

b1) Drittes Erfassen einer Alt-Zuordnungs-Menge (A legacy) mit jeweiligen Tupeln (T_legacy), und nach dem Schritt h) folgender Schritt ausgeführt wird: h1) Prüfen, ob die Variable (v) in der Alt-Zuordnungs-Menge (A_legacy) enthalten ist, und falls enthalten, Festlegen einer Domäne (d) aus der Domänen-Menge (D) für die Variable (v) aus der Alt-Zuordnungs-Menge (A_legacy), sonst, Festlegen der Domäne (d) mit dem Wert Null, sowie der Schritt I) durch folgenden Schritt ersetzt wird: iO) Ausführen für alle Domänen der Domänen-Menge (D), wobei die festgelegte Domäne (d) bevorzugt verwendet wird, falls die festgelegte Domäne (d) nicht Null ist, und die Schritte i1), 12) und i3) ausgeführt werden.

2. Verfahren zur Herstellung eines Produkts mit einer Produktionsanlage mittels einer Änderungskonfiguration der Produktionsanlage und/oder des Produkts nach einer Erstkonfiguration, wobei die Produktionsanlage und/oder das Produkt durch die Verfahrensschritte nach dem vorhergehenden Anspruch neu konfiguriert wird und das Produkt durch die Produktionsanlage hergestellt wird.

3. Konfigurationsvorrichtung zur Änderungskonfiguration einer Produktionsanlage und/oder eines Produkts nach einer Erstkonfiguration, wobei die Konfigurationsvorrichtung dazu eingerichtet ist, die Produktionsanlage und/oder das Produkt mit den Verfahrensschritten nach Anspruch 1 neu zu konfigurieren.

4. System zur Herstellung eines Produkts durch eine Produktionsanlage mittels einer Änderungskonfiguration der Produktionsanlage und/oder des Produkts nach einer Erstkonfiguration, umfassend eine Konfigurationsvorrichtung nach dem vorhergehenden Anspruch und die Produktionsanlage, wobei das System dazu eingerichtet ist, die Produktionsanlage und/oder das Produkt mit der Konfigurationsvorrichtung neu zu konfigurieren und das Produkt durch die Produktionsanlage herzustellen.

Hierzu 3 Blatt Zeichnungen