Robuste Implementierung von Vektoroperationen

Das Thema „Robuste Implementierung numerischer Vektoroperationen“ ist Gegenstand dieser Bachelorarbeit. Um numerische Vektoroperationen robust implementieren zu können, muss man einen Code schreiben. Darin sollten nicht nur die Fehler der Vektoroperationen getestet, sondern auch eine Begrenzung der eingegebenen und ausgegebenen Werte entworfen werden. Die erste Aufgabe ist der Entwurf der Vor- und Nachbedingung in der Programmierumgebung Spark. SPARK ist eine formal definierte Computerprogrammiersprache basierend auf der Ada Programmiersprache. Sie ist eine Softwareentwicklungstechnologie, die mit hoher Zuverlässigkeit konzipiert wurde. Allgemein gesagt, die Aufgaben in dieser Arbeit sind folgendermaßen: 1. Entwurf und Programmierung der Vor- und Nachbedingung im Spark2. Entwurf und Programmierung der Testprogramm für alle Vor- und Nachbedingungen. Als Lösungskonzept soll in der Aufgabe eine Bibliothek über den Test der numerischen Vektoroperationen entwickelt werden. Zuerst muss man alle Vektoroperationen kennen. Der nächste Schritt ist die Analysierung der potenziellen Fehler bei den Vektoroperationen. Hier ist eine mathematische Analyse sehr wichtig. Mit Hilfe der mathematischen Grundlagen kann der Plan für den Entwurf der Vor- und Nachbedingung umgesetzt werden. Danach erfolgt der Entwurf der Hilfsfunktionen für die Vor- und Nachbedingung. Mit Hilfe der Verwendung der Hilfsfunktion in der Spezifikationsdatei können Fehler vermieden werden und die Codes bleiben sauber. Am Ende erfolgt die Programmierung aller Vor- und Nachbedingungen für alle Vektoroperationen.

Terminologieextraktion als Mittel zur Erstellung eines mehrsprachigen Terminologiebestands

Es gibt immer mehr Anforderungen an mehrsprachige Terminologie, um richtige und identische Übersetzungen von verschiedenen Informationsmaterialien zur Verfügung zu stellen. In diesem Rahmen wurde das Projekt „Terminologiemanagement Schlüsselfaktor für Lokalisierungsprojekte und die Kommunikation international agierender Unternehmen“ im Juli 2014 am Fachbereich Informatik und Sprachen an der Hochschule Anhalt eingerichtet. Terminologieextraktion ist der erste Schritt zur Verwaltung von Terminologie. Sie ist die Voraussetzung für eine richtige Sortierung verschiedener Synonyme eines Begriffs aus den vorhandenen Übersetzungen. Auf der Basis von Terminologieextraktion können die hochschulbezogenen Termini effizienter verwaltet werden. Diese Arbeit ist ein Teil von diesem Projekt, ein Pilotprojekt „Terminologieextraktion“. In diesem Projekt werden die Termkandidaten aus 47 Formularen der Hochschule Anhalt durch verschiedene Methoden extrahiert. Die extrahierten Termkandidaten werden dann in eine MultiTerm Datenbank importiert und bearbeitet. Durch Vergleich der Ergebnisse der extrahierten Termkandidaten werden die Vorteile und Nachteile der Extraktionsmethoden analysiert. Die Probleme und Lösungen bei der Bearbeitung von Termkandidaten werden gleichzeigt vorgestellt.

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.

Vorbereitung der Portierung der Stoffdatenbank GSBL in eine NoSQL-Datenstruktur anhand der dokumentorientierten Datenbank: MongoDB

Das Thema dieser Arbeit orientiert sich am Bedarf des Umweltbundesamtes, die Stoffdatenbank GSBL weiter zu entwickeln, die Speichersrtuktur der GSBL zu moderniesieren und die Möglichkeit seiner Nutzung für verschiedene Anwendergruppen zu verbessern. Die heutige Datenhaltunf´g basiert auf einer relationalen Speicherung und wird transponiert gelöst.Transponierung in Bezug auf eine relationale Speicherung bedeutet, dass Spalten und Zeilen einer Tabelle getauscht werden. Die Tabelle mit GSBL-Daten ist derart gesataltet, dass die Eigenschaften der chemischen Stoffe als Zeilenbezeichnungen statt als Spaltenüberschriften aufgefasst werden, wie es üblich bei einer relationalen Speicherung ist. In dieser Arbeit wird ein Überblick über verschiedene Datenmodelle, ihre Vorteile und Nachteile im Hinblick auf die spezielle Problematik der Stoffdatenbanken gegeben. Die Eigenschaften von MongoDB werden in Bezug auf eine konkrete Problemstellung getestet und bewertet. Diese Arbeit soll in Bezug auf eine mögliche Portierung des GSBL (oder ähnlicher Stoffdatenbanken) zu NoSQL eine Hilfe zur Verfügung stellen.

Experimentelle Untersuchungen verschiedener Stoffsysteme zur Charakterisierung des Trennverhaltens eines nicht-konventionellen Windsichters zur Getreidereinigung

Getreide ist weltweit einer der wichtigsten Rohstoffe für die Nahrungs- und Futtermittelindustrie und bei der Verarbeitung gelten differenzierte Hygieneverordnungen und höchste Qualitätsansprüche. Um trotz der enormer Erntemengen die hygienischen Anforderungen an das Lebensmittel zu erfüllen, gilt die Basisverordnung des EU-Rechts. Die nationalen Hygienevorschriften des Lebensmittel-, Bedarfsgegenstände- und Futtermittelgesetzbuchs (LFBG) ergänzen das EU- Recht; sie enthalten Ordnungs- und Strafvorschriften. Der Erzeuger des Getreides ist für die Umsetzung dieser Verordnungen zur Sicherung der hygienischen Unbedenklichkeit und der Qualität verantwortlich. Das Getreide durchläuft daher mehrere Reinigungsstufen von der Ernte bis zum Verkauf oder bis zur Weiterverarbeitung.Ein Ziel dieser Arbeit ist es, den Einfluss des Bruchkorns auf die Trennleistung des Windsichters nicht-konventioneller Bauart (Kapitel 5) zu ermitteln.

Qualifizierung einer Salbenprozessanlage EKATO UNIMIX LM3

Seit mehreren Jahren spielt die Qualifizierung auf dem pharmazeutischen Gebiet eine unerlässliche Rolle. Um die Geeignetheit einer pharmazeutischen Anlage oder eines pharmazeutischen Gerätes für den beabsichtigten Zweck innerhalb definierter Grenzen, der Akzeptanzkriterien, nachzuweisen, muss man eine Qualifizierung durchführen.Diese Arbeit dient der Qualifizierung eines Labormischers (EKATO UNIMIX LM3), der zur Herstellung homogenisierter flüssiger bzw. halbfestiger Produkte im Pharmabereich und von Kosmetika eingesetzt werden soll

Entwicklungsprozesse von Prototypen in der Landwirtschaft

Um den theoretischen Hintergrund der Produktentwicklung darzustellen, werden im Einstieg der Arbeit das Projekt- sowie das Qualitätsmanagement vorgestellt und in Bezug auf das Projekt einer Prototypenentwicklung gesetzt. Es werden die einzelnen Phasen, Anträge und Projektvereinbarungen erläutert, was einen Einblick in den Aufbau des gesamten Konzeptes bieten soll. Das Qualitätsmanagement ist ein breit gefächertes Gebiet und wird in so gut wie jeder Sparte verwendet, um Prozesse zu optimieren und Probleme sowie Fehler zu beheben. Die wichtigsten Werkzeuge in der Entwicklung von Vorserien, wie das Quality Function Deployment, das House of Quality, die Fehler-Möglichkeits- und Einfluss-Analyse und die Risikoprioritätszahl, werden vorgestellt. Es wird im Einzelnen erläutert, wie sie in der Entwicklung von Traktoren Anwendung finden. Weiterhin wird ein praktischer Teil der Arbeit erläutern, welche Aufgaben und Prozessschritte in der Entwicklung sowie Validierung anstehen, außerdem auf welche Merkmale zu achten ist. Im letzten Kapitel wird auf die Erprobung der Prototypen eingegangen, wie eine Homologation abläuft, welche Vorgehensweisen es gibt und welche Erkenntnisse die dazugehörige Datenauswertung bieten. Im letzten Unterkapitel 4.5 Diskussion wird hier auch die eigene Meinung sowie Erfahrung mit eingebracht sowie Verbesserungsmöglichkeiten aufgezeigt. Zur besseren und übersichtlicheren Erläuterung der einzelnen Durchführungen wird nach jedem Kapitel der grobe Ablauf in einem Datenflussdiagramm dargestellt. Resümierend werden anschließend die Kerninhalte der vorliegenden Arbeit in einem Fazit zusammengefasst.

Qualifizierung einer Destillationsapparatur für die Herstellung von gereinigtem Wasser nach PhEur 8

In der Arbeit wird die Qualifizierung eines Wasserdestillationsapperates durchgeführt. Die Qualifizierung beinhaltet die Designqualifizierung (DQ), Installationsqualifizierung (IQ), die Funktionsqualifizierung (OQ) und die Leistungsqualifizierung (PQ). Die Qualifizierung wird nach GMP durchgeführt. GMP ist die Richtlinie für die Qualifizierung von Geräten und die Herstellung von Arzneimitteln. Bei der Leistungsqualifizierung wird das hergestellte Wasser nach dem europäischen Arzneibuch überprüft. Es werden drei Prüfungen durchgeführt, um die Menge an Mikroorganismen, die Leitfähigkeit und den TOC-Wert zu bestimmen. Die erhaltenen Ergebnisse und Messwerte werden in Qualifizierungsprotokollen zusammengefasst, aus denen hervorgeht, ob der geprüfte Wasserdestillierapperat den Anforderungen entspricht.

Automatisierte Extraktion der Zustandsraummodelle von Bondgraphen in Matlab / Simulink : Entwicklung einer Toolbox zur Emulation von Bondgraphen in Matlab / Simulink mit automatisierter Extraktion der zugehörigen Zustandsraummodelle

Ziel der vorliegenden Arbeit ist die Emulation von Bondgraphen in Matlab / Simulink. Hierfür wurde eine Toolbox entwickelt, durch welche es möglich ist, Bondgraphen in Simulink zu modellieren und die darauf basierende Zustandsraumdarstellung des jeweiligen Graphen automatisiert zu ermitteln.Die vorliegende Arbeit beschreibt die Grapherstellung in Simulink mit Hilfe der entwickelten Toolbox und die Realisierung der in Matlab zugrundeliegenden mehrstufen Lösungsalgorithmen zur analytischen Ermittlung der Zustandsraummodelle sowie die Aufbereitung des Graphen und der internen Elementgleichungen. Des Weiteren werden zusätzlich die implementierten Mechanismen zur Korrektur uneindeutiger Lösungen im Fall von Kausalitätskonflikten und zur Verkettung gleichartiger Knoten erläutert.

Entwicklung einer Kochbuch-App für Android-Smartphones

In dieser Arbeit wird beschrieben, was Andoid ist, welche Bestandteile es hat und wie man diese einsetzen kann. Dies wird speziell am Beispiel einer Rezeptbuch-App verdeutlicht. Dabei wird speziell auf die Bedürfnisse veganer Menschen eingegangen. Nach der Einleitung werden in Abschnitt 3 die Grundlagen in Bezug auf Android erläutert. Es wird auf die Entstehung sowie die Verbreitung von Android als Plattform eingegangen. Es wird dabei auf Bestandteile der Benutzeroberflächen sowie auf interne Elemente eingegangen. Im darauf folgenden Abschnitt wird ein Konzept für die Rezeptbuch-App entwickelt. Dabei wird auf alle hauptsächlichen Abschnitte der App eingegangen. Im Abschnitt der Realisierung wird dann an praktischen Beispielen gwzwigt, wie eine App mithilfe der von Android gelieferten Komponenten erzeugt werden kann.

Molekularbiologische Charakterisierung mikrobieller Populationen in zweistufigen Biogasanlagen

Die vorliegende Arbeit beschäftigt sich mit der Untersuchung von molekularbiologischen Methoden zur Identifizierung von Mikroorganismen, die in den Proben aus der Versäuerungsstufe von zweistufigen Biogasanlagen enthalten sind. Der Zellaufschluss und die DNA-Isolierung aus der Biomasse werden optimiert. Die Untersuchung der zu verschiedenen Zeitpunkten gelieferten Proben erfolgt mit folgenden Methoden: Bestimmung der Anzahl aerober Keime, Zellaufschluss und DNA-Isolierung, Kolonie-Polymerasekettenreaktion mit universellen Bakterienprimern und dem Anlegen einer Klonbibliothek. Durch die Optimierung der Methoden sollen möglichst viele Arten von Mikroorganismen identifiziert werden.

Untersuchungen zum Kalk-Kohlensäure-Gleichgewicht

Das Wissen über die Zusammensetzung natürlicher Gewässer ist bis heute die Grundlage für die Bewertung von Wasser, vor allem dem Trinkwasser. Die Kenntnis über die Wasserbeschaffenheit ist vor allem in der Wasserversorgung von großer Bedeutung. Denn die Voraussetzung für eine gute Wasserinfrastruktur, ist ein gut ausgebautes und intaktes Rohrleitungsnetz. Aus diesem Grund ist das Kalk-Kohlensäure-Gleichgewicht für Wasserwerke von enormer Bedeutung. Befindet sich Trinkwasser nicht in den gesetzlich vorgegebenen Grenzen nahe des Kalk-Kohlensäure-Gleichgewichts, kann es zu Korrosionen oder Kalkablagerungen in den Rohrleitungen kommen. Dies wäre der schlimmste anzunehmende Fall in jedem Wasserwerk. Ein solcher Grenzwert wurde erstmals im Mai 1986 in der Trinkwasserverordnung festgelegt. In der Praxis nutzt man daher zur Beschreibung von der Trinkwasserbeschaffenheit vor allem das Kalk-Kohlensäure-Gleichgewicht und die sogenannte Wasserhärte. Damit das Trinkwasser sich in dem gewünschten Zustand befindet, werden Aufbereitungsverfahren wie die Entsäuerung angewendet. Diese Verfahren werden vor allem bei der Problematik von Mischwässern angewendet. Im Zusammenhang mit dem Kalk-Kohlensäure-Gleichgewicht werden der Sättigungs-pH-Wert und die Sättigungskonzentration von Kohlenstoffdioxid in dieser Arbeit genauer untersucht. Dazu werden verschiedene Modelle aus der Wasserchemie als Berechnungsgrundlage verwendet. Im Vorfeld werden die Grundlagen des chemischen Gleichgewichts und der Wasserchemie beschrieben.

Untersuchung der Einsatzmöglichkeiten der Bluetoothkommunikation im Bereich der Automatisierungstechnik

Die vorliegende Arbeit befasst sich mit dem Thema der industriellen Nutzung von Funktechnologie für automatisierungstechnische Problemstellungen der drahtlosen Informationsübertragung. Besonderes Augenmerk liegt hierbei auf dem Komfort- und Flexibilitätsgewinn durch den Einsatz von Funklösungen als Schnittstelle, sowohl zwischen Mensch und Maschine, als auch zwischen den verschiedenen Komponenten innerhalb einer Automatisierungsanlage.

Simulation von Koexistenzszenarien für die Automation mit SEAMCAT an einem Anwendungsbeispiel

Diese Arbeit beschäftigt sich mit Koexistenzaussagen von Funktechnologien. Dafür wurden verschiedene Simulationstools auf ihre Eignung untersucht. Einen besonderen Schwerpunkt nimmt das Tool SEAMCAT ein. In der Arbeit wurde ein Modell ausgearbeitet, das für die Simulation mit SEAMCAT geeignet ist. Ergebnisse wurden mit Messungen verglichen, die das ifak Magdeburg für das System erstellt haben. Empfehlungen und Ausblicke für Funktechnologien in der Automation wurden abschließend benannt.

Konzepterstellung, Realisierung und Verifizierung eines Messplatzes zur Untersuchung von Umwelteinflüssen auf Hochfrequenzkomponenten

Alle Komponenten der Hochfrequenztechnik sind bei jedem Anwendungszweck unterschiedlichen Umwelteinflüssen ausgesetzt. Um einzelne Bauteile oder verschiedene Baugruppen auf ihr Verhalten unter verschiedenen Umweltbedingungen zu untersuchen und um eine stabile Funktionsweise bei diesen zu gewährleisten, wurde ein Messplatz konzipiert, entwickelt und verifiziert. Zur Ansteuerung wurde Labview als Programmierumgebung verwendet. In dieser Arbeit wird nachfolgend auf die Grundlagen dieser Thematik, die verwendeten Geräte mit dazugehörigem Aufbau und die Programmierung in Labview erläutert. Abschließend wird auf die verschiedenen Verifizierungsmessungen eingegangen. Bei diesen wurde ein Verstärker mithilfe eines vektoriellen Netzwerkanalysators auf seine Charakteristiken bei verschiedenen Temperaturen untersucht und mit den Kennwerten des Herstellers verglichen.