Seleccionar página

In den 1970er Jahren entwickelte 3M die Transfer Key-Technologie, die einen Kaltlainierungsklebstoff-Prozess verwendete. Aufeinanderfolgende Schichten farbigen Klebstoffs würden auf das Substrat gepresst, freigelegt und weggewaschen, bis alle Farben auf einem einzigen Substrat existierten. Später entwickelte sich daraus das Match Print-Produkt, das einen thermischen Transfer-Laminierprozess verwendete. Die Marke Match Print wurde inzwischen an Kodak verkauft, das sie heute in den Produkten MATCHPRINT InkJet und MATCHPRINT Virtual verwendet. Sowohl Color Key[11] als auch Match Print[12] sind ebenfalls zu generischen Namen für Druckvorstufe-Proofs geworden. Später kamen andere ähnliche Wasserprozessprodukte wie DuPont Waterproof auf den Markt. Verwenden Sie diesen Befehl, um die Hinweise anzuzeigen, die dem Kopfsymbol ident zugeordnet sind (siehe Druckhinweis). Jeder Hinweis hat eine Nicht-negative Ganzzahl und ein optionales Muster. Die Hinweise mit niedrigeren Kosten werden zuerst ausprobiert. Ein Hinweis wird von auto versucht, wenn der Abschluss des aktuellen Ziels seinem Muster entspricht oder wenn er kein Muster hat. Soft Proof beschreibt die Simulation des Druckergebnisses auf einem Monitor. [13] Dies ist die günstigste Lösung für den Nachweis, da keine zusätzliche Ausrüstung außer einem Monitor benötigt wird.

In der Regel wird der SoftProof in Softwareanwendungen in Kombination mit Farbmanagementsystemen durchgeführt. Der Monitor, der für die Weichkorrektur verwendet wird, muss kalibriert werden, damit das Bild auf dem Bildschirm wie das Bild auf dem Papier aussieht. Das Hauptproblem ist der Unterschied zwischen Farbräumen (RGB im Monitor und CMYK im Druck), und dies wird durch die Verwendung von ICC-Profilen für Ein- und Ausgabegeräte gelöst. Darüber hinaus hängen Farben auf einem Monitor nicht nur von seinen Eigenschaften ab, sondern auch von den Lichtverhältnissen in einem Raum, in dem das Bild angezeigt wird. In der Regel ist die Beleuchtung standardisiert und ist in der Nähe eines Tageslichts (D50). Oft wünschen sich Kunden dreidimensionale Mock-ups des eigentlichen Pakets. Dies kann Pappe, Metall (d.h. Aluminium-Pop-Dose), Glas, Kunststoff, etc. sein.

Dies kann sehr schwierig oder unmöglich sein, effektiv mit Tintenstrahldruckern zu tun, so dass in der Regel Laminat-Prozesse wie Kodak APPROVAL oder Fuji FINALPROOF benötigt werden, so dass der Nachweis auf die bevorzugten Verpackungsmaterialien übertragen werden kann. Im Gegenteil, man kann eapply verwenden, das das Problem der Suche nach m verschiebt. Dann kann man die Hypothesen Rnm und Rmp anwenden. Dies instanziiert die existentielle Variable und vervollständigt den Beweis. Hier haben wir keine Informationen über die Indizes erhalten, um diesen Beweis zu erfüllen. Das Problem ist, dass wir, wenn wir die Induktionstaktik anwenden, Informationen über die Hypotheseninstanz verlieren, insbesondere, dass das zweite Argument hier 1 ist. Abhängige Induktion löst dieses Problem, indem dem Kontext die entsprechende Gleichheit hinzugefügt wird. Bei Kartons ist ein automatisierter Schneid- und Rilltisch sinnvoll. In der Regel wird cad-Software (Computer-Aided Design) verwendet, um die Schnitte und Falten basierend auf der Proof-Geometrie zu definieren, und diese wird in die Schneid- und Rilltischsoftware eingespeist. Die meisten Verpackungen werden mit Flexographie gedruckt, da sie vielseitiger im Bereich der in Verpackungen verwendeten Materialien sind.

Die Bildqualität von Flexodrucken ist jedoch oft schlechter als bei Offsetdruckmaschinen, und es ist wichtig, die Eigenschaften der Druckmaschine in den Proofs zu simulieren, damit die Kunden realistische Erwartungen an die Endverpackung haben. In ähnlicher Weise fügen bestimmte Materialien, wie Wellpappe, ihre eigenen Eigenschaften in das Bild ein, und auch diese müssen simuliert werden. Das Entscheidungsverfahren konnte einen Beweis für das Ziel oder eine diskriminierende Gleichheit finden, aber dieser Beweis konnte nicht in Coq aufgrund von abhängig typisierten Funktionen erstellt werden. Diese Taktik löscht die Hypothese, die im lokalen Kontext des aktuellen Ziels als ident bezeichnet wird. Infolgedessen wird ident nicht mehr angezeigt und in der Proof-Entwicklung nicht mehr verwendbar. Diese Hinweise gelten derzeit nur für die Typklassenbeweissuche und die Typklassen eauto-Taktik. Seit den ersten Tagen von Johannes Gutenberg ist die Proofing-Proofgerade nur noch ein Pressebeweis – man macht einen kurzen Anlauf in der Presse, um zu überprüfen, was bei einer Produktionsführung zu tun ist.