Studienarbeit aus dem Jahr 2006 im Fachbereich Elektrotechnik, Note: 1, Technische Universitat Darmstadt, Sprache: Deutsch, Abstract: In der digitalen Welt ist die Formale Verifikation von Schaltungen sehr verbreitet und wird mit Erfolg eingesetzt. Die Verifikation von nichtlinearen, analogen Schaltungen hingegen ist noch neu. In Schaltkreisen mit digitalen wie auch analogen Teilen entstehen im analogen Anteil ungefahr 50% der Fehler, die zu einer Neuimplementierung fuhren. Daher ist es von groem Interesse den analogen Teil ebenfalls verifizieren zu konnen. Dieser Text entstand im Zuge einer...

Studienarbeit aus dem Jahr 2006 im Fachbereich BWL - Unternehmensforschung, Operations Research, Note: 2, Technische Universitat Darmstadt, Sprache: Deutsch, Abstract: Diese Arbeit beschaftigt sich mit neuen Ansatzen zur Losung des Generalized-Assignment-Problems (GAP). Es werden werden verschiedene Heuristiken wie auch exakte Verfahren zur Losung des GAP betrachtet. Unter dem GAP versteht man ein kombinatorisches Zuordnungsproblem, bei dem n Auftrage von m Arbeitern bearbeitet werden sollen. Jeder Arbeiter ist durch seine maximale Arbeitszeit beschrankt und fur jede Zuordnung eines Arbeiters...

Diplomarbeit aus dem Jahr 2007 im Fachbereich Informatik - Theoretische Informatik, Note: 1, Technische Universitat Darmstadt, Sprache: Deutsch, Abstract: Diese Arbeit baut auf einem Programm auf, das einen analogen Schaltkreis in das entsprechende VHDL-Modell zur spateren formalen Verifikation uberfuhrt. Das Programm wurde an der Technischen Universitat in Darmstadt im Fachbereich Rechnersysteme entwickelt und ist durch die Erfolge dieser Arbeit letztendlich einsatzbereit.