Open Access

Being a subject of expectedly fuzzy character, an attempt is made to apply “fuzzy functions”, more precisely “fuzzy relations” to investigate the problem of flux distortion in a printed coil.

Durch die Initiative des Medienhauses Burda in Südbaden laufen seit 1994 intensive Bemühungen, eine den Anforderungen der Informations-/Medientechnik adäquate Aus- und Weiterbildungskonzeption zu entwickeln. In Zusammenarbeit mit der FH Offenburg, mit der IHK, dem DIHT, dem Bundesverband Druck und dem Verband Papierverarbeitung und Druck Südbaden wurden die von Burda Druck konzipierten schulischen und betrieblichen Ausbildungsinhalte und -ziele zur Ausbildungsordnung 'Medienoperator' abgestimmt. Das förmliche Genehmigungsverfahren dazu läuft über den DIHT bei den zuständigen Ministerien in Bonn - eine Verabschiedung wird für Herbst '95 erwartet. Prinzipiell wird diese Ausbildung zielgerichtet die Weiterbildung zum 'Medien-Fachwirt' (etwa wie der bisherige Meister) und einen direkten Übergang zu einem FH-Studium (Medientechnik, bzw. Dipl. Ing. Medien) ermöglichen. Der Referent infomiert näher über die Konzeption und Ziele dieser neuen Ausbildungsordnung

Ziel dieses Beitrages ist es, aufzuzeigen, daß ökologische Aspekte bei der Geräteherstellung durchaus nicht ökonomischen Aspekten entgegenstehen. Dazu müssen der gesamte Lebenszyklus eines Gerätes in die ökologische und ökonomische Bilanz einbezogen und die Material- und Energiekreisläufe bewertet werden. Der Material- und Energiekreislauf beinhaltet die Gerätehersteller, die Anwender, und die Entsorger/Recyclingfirma. Die Medien-Branche zum Beispiel besitzt die Möglichkeit beim Einkauf, Gebrauch, bei der Wartung und schließlich bei der Entsorgung der elektronischen Geräte umweltgerechte Lösungen zu suchen und zu fördern. Die Firma Burda hat z.B. einige Untersuchungen unter ökologischen Aspekten in der EBV der Prepress-Abteilung durchgeführt. Im Rahmen einer Diplomarbeit von A. Egg, FH Offenburg, wurde eine Öko-Bilanz für zwei unterschiedliche EBV-Systeme erstellt mit dem Ziel, den Ist-Zustand zu analysieren und unter ökologischen Aspekten eine Checkliste für den Einkauf zu erstellen.

Formal verification (FV) is considered by many to be complicated and to require considerable mathematical knowledge for successful application. We have developed a methodology in which we have added formal verification to the verification process without requiring any knowledge of formal verification languages. We use only finite-state machine notation, which is familiar and intuitive to designers. Another problem associated with formal verification is state-space explosion. If that occurs, no result is returned; our method switches to random simulation after one hour without results, and no effort is lost. We have compared FV against random simulation with respect to development time, and our results indicate that FV is at least as fast as random simulation. FV is superior in terms of verification quality, however, because it is exhaustive.