Mathematische Grundlagen der robusten Implementierung von Vektoroperationen

Eine Vektoroperation ist die Berechnung von Vektoren. Zum Beispiel Addition, Subtraktion und skalares Produkt. Die Vektoroperation wird meistens für die Berechnung von Signalen, z.B. Faltung verwendet. Ein Programm ist für die Operationen entworfen worden. Mit welchen Methoden kann eine Vektoroperation mit vielen Elementen einfach sein und wie kann die Robustheit des Programms stabil sein? Diese Probleme sollen in dieser Arbeit untersucht und gelöst werden. Hierfür wurde die sichere Programmiersprache SPARK2014 gewählt, um die Robustheit des Programms realisieren zu können. Und das wichtigste Werkzeug, die Vor- und Nachbedingung von SPARK2014, wurde verwendet. Für das Programm ist ein mathematisches Konzept wichtig, es ist die Basis der dynamischen Programmierung. Am Anfang wurden mögliche Vor- und Nachbedingungen geschrieben. Anschließend durch mathematische Kenntnisse ,Notwendig und Hinreichende Bedingung‘ wurden die repräsentativen Vorbedingungen gewählt und die Reihenfolge der Vorgehensweise festgelegt. Danach wurde die Methode durch mathematische Kenntnisse nachgewiesen. Zum Schluss wurden die entworfenen Vor- und Nachbedingungen durch die mathematischen Beispiele getestet.

PassPork : Nachweis von pathogenen Keimen in Schweinefleisch

PassPork ist eine neuartige Methode zum Nachweis von pathogenen Keimen in Schweinefleisch. Oftmals sind mikrobielle Nachweismethoden langwierig, kostenintensiv oder zu komplex, aus diesem Grund haben sich europäische Forschungslabore zusammengeschlossen und an einer kostengünstigen, einfachen, schnellen und sensitiven Nachweismethode gearbeitet. Die PassPork-Methode arbeitet nach dem Lateral-Flow-Prinzip und somit besteht der Test aus einem LFD, in welches die Probe eingeführt wird und einem Reader, der die Proben auswerten kann. Alle Schritte von der Probenentnahme am Schlachthof, über die Probenpräparation im Labor und der Probenauswertung sollen validiert werden. Die Validierung erfolgt in drei Testreihen. Hierfür wird die PassPork-Methode mit klassischen Methoden verglichen. Ein weiterer Bestandteil der Arbeit ist die Bestimmung des Detektionslimits, welches mit Hilfe von Glycerinkulturen ermittelt wird. Die Auswertung der Ergebnisse zeigt, dass die Methode derzeit noch zu unausgereift ist und Potential zur Optimierung besitzt. Die Methode kann in diesem Augenblick keine bestehenden, diagnostischen Schnellnachweismethoden ersetzten.

Aufbau eines unternehmensweiten W-Lan

Informationsaustausch ist ein wichtiger Bestandteil in der heutigen Gesellschaft. Während des früheren Anfangs des Ethernets war der Informationsaustausch auf drahtgebundene Netzwerklösungen angewiesen. Aber die Vernetzung war von Raum und Stoffen ziemlich eingeschränkt. Der dringende Bedarf wurde nach der Verabschiedung des IEEE-802.11-Standards erleichtert. Die Arbeitsgruppe 802.11 definierte ein neues Schlagwort der modernen Kommunikationsmethode, das sogenannte Wireless LAN, kurz WLAN. Wireless LAN ist eine revolutionierte Methode für den Datenaustausch und bahnt einen Trend der Daten-transportierung an. Daten werden heute nicht nur ausschließlich über den Draht transportiert, sondern auch zunehmend über die Luft. Die Vorteile von Wireless LAN liegen klar auf den Hand: Der feste Kabelanschluss für die Netzwerkverbindung wird nicht mehr benötigt. Dabei erfreut sich der Benutzer der Flexibilität und Mobilität des Surfens. Wegen des großen Erfolges des Wireless LAN hat sich das drahtlose Netzwerk sowohl im gewerblichen als auch im privaten Bereich mehr und mehr etabliert.

Funktionelle Charakterisierung von mtch2 im Zebrafischmodell

Die steigende Zahl von Erkrankungen in Folge von Adipositas ist ein weltweites Gesundheitsproblem unserer Zeit. Genomweite Assoziationsstudien konnten single-nucleotide polymorphisms identifizieren, die in Zusammenhang mit Adipositas stehen könnten, darunter auch MTCH2. Weiterführende Untersuchungen konnten zeigen, dass MTCH2 eine regulatorische Rolle bei der Adipogenese einnimmt. Da mtch2 auch im Zebrafisch in verschiedenen Geweben und Organen wie Leber, Darm und Fettgewebe exprimiert wird, liegt die Vermutung nahe, dass es in diesen Organen und Geweben eine Funktion aufweist. Diese Funktion sollte über einen Morpholino-induzierten Knockdown des Gens und die Analyse des Phänotyps der Morpholino-injizierten Fische näher analysiert werden. Der Knockdown von mtch2 im Zebrafisch wurde mit Hilfe zweier Splice-Morpholinos induziert und über quantitative Real Time PCR identifiziert. Die Auswirkungen des Knockdowns auf die Entwicklung von Leber und Darm der Fische wurde über spezifische Marker mit der Methode der In situ Hybridisierung untersucht. Die Adipozytenbildung wurde durch Nilrotfärbung analysiert und über die Fütterung der Fische mit fluoreszierenden Beads mit dem Essverhalten in Zusammenhang gebracht. Bei beiden Morpholinos führte der Knockdown von mtch2 an Tag 4 der Entwicklung der Morpholino-injizierten Zebrafische zu Auffälligkeiten in der Ausbildung von Leber und Darm der Fische, die aber nicht mit einer generellen Störung der Entwicklung der Tiere einherging. An Tag 8 der Entwicklung der Zebrafische zeigte sich hingegen, dass die Tiere im Gegensatz zu den Kontroll-injizierten Fischen insgesamt kleiner beziehungsweise unterentwickelt waren, wobei dieser Umstand nicht mit ihrem Essverhalten in Zusammenhang gebracht werden konnte. Zudem konnte eine reduzierte Adipozytenbildung in den Morpholino-injizierten Zebrafischen festgestellt werden. (...)

Bestimmung von Präferenzen bei der Studiengangs- und Studienortwahl aus Sicht von Studierenden mittels Choice-Based Conjointanalyse

Diese Bachelorarbeit gliedert sich in einen theoretischen und einen praktischen Abschnitt. Zunächst werden Studien- und Berufswahlmodelle aus theoretischer Sicht betrachtet. Dabei ist festzuhalten, dass kein Ansatz existiert, der den komplexen Studienwahlprozess vollständig abbildet und erklärt. Jedoch ergänzen sich verschiedene Modelle, sodass alle bedeutenden Einflussfaktoren berücksichtigt sind. Ebenso die Conjointanalyse wird einer theoretischen Betrachtung unterzogen. Als eine Methode der Präferenzmessung wird dieses Analyseverfahren häufig eingesetzt, um die Vorziehenswürdigkeit von Produkten zu ermitteln. Sowohl im Bereich der Neuproduktentwicklung, als auch bei der Marktsegmentierung und der Preisfindung findet die Analyse Verwendung. Sehr charakteristisch für die Methodik ist, dass die Präferenzbeurteilung ganzheitlich für das Produkt erfolgt und nicht direkt einzelne Produkteigenschaften bei der Auskunftsperson abgefragt werden. Besonders relevant für diese Arbeit ist die Choice-Based Conjointanalyse. Die Vorziehenswürdigkeit von Konzepten werden basierend auf Auswahlentscheidungen von Probanden erfasst. Die Beweggründe bei der Studienortwahl aus Sicht der Studierenden an der Hochschule Anhalt werden im praktischen Abschnitt dieser Ausarbeitung mit Hilfe der Choice-Based Conjointanalyse untersucht. Dafür wurde ein Fragebogen entwickelt. Es konnte ermittelt werden, dass sowohl der Ruf der Hochschule, als auch die Heimatnähe und die Höhe des Semesterbeitrages bedeutende Einflussfaktoren bei der Studiengangwahl darstellen. Darüber hinaus werden Motive der Studiengangwahl analysiert. Festzuhalten ist, dass sowohl intrinsische Motive, aber auch extrinsische Motive von hoher Wichtigkeit sind.