Refine
Year of publication
- 2019 (186) (remove)
Document Type
- Doctoral Thesis (74)
- Article (61)
- Master's Thesis (16)
- Periodical Part (14)
- Working Paper (7)
- Part of a Book (2)
- Conference Proceeding (2)
- Other (2)
- Preprint (2)
- Report (2)
- Book (1)
- Course Material (1)
- Diploma Thesis (1)
- Habilitation (1)
Has Fulltext
- yes (186)
Keywords
- Erwachsenenbildung (6)
- Schule (5)
- wissenschaftliche Weiterbildung (5)
- Digitalisierung (3)
- Evaluation (3)
- Mathematische Modellierung (3)
- Organisationsentwicklung (3)
- Schulentwicklung (3)
- Simulation (3)
- Zertifikatskurs (3)
Faculty / Organisational entity
- Kaiserslautern - Fachbereich Maschinenbau und Verfahrenstechnik (30)
- Kaiserslautern - Fachbereich Informatik (24)
- Kaiserslautern - Fachbereich Sozialwissenschaften (22)
- Kaiserslautern - Fachbereich Biologie (15)
- Kaiserslautern - Fachbereich Mathematik (15)
- Kaiserslautern - Fachbereich Physik (15)
- Distance and Independent Studies Center (DISC) (14)
- Kaiserslautern - Fachbereich Chemie (12)
- Kaiserslautern - Fachbereich Elektrotechnik und Informationstechnik (10)
- Kaiserslautern - Fachbereich Bauingenieurwesen (8)
Function of two redox sensing kinases from the methanogenic archaeon Methanosarcina acetivorans
(2019)
MsmS is a heme-based redox sensor kinase in Methanosarcina acetivorans consisting of alternating PAS and GAF domains connected to a C-terminal kinase domain. In addition to MsmS, M. acetivorans possesses a second kinase, MA0863 with high sequence similarity. Interestingly, MA0863 possesses an amber codon in its second GAF domain, encoding for the amino acid pyrrolysine. Thus far, no function of this residue has been resolved. In order to examine the heme iron coordination in both proteins, an improved method for the production of heme proteins was established using the Escherichia coli strain Nissle 1917. This method enables the complete reconstitution of a recombinant hemoprotein during protein production, thereby resulting in a native heme coordination. Analysis of the full-length MsmS and MA0863 confirmed a covalently bound heme cofactor, which is connected to one conserved cysteine residue in each protein. In order to identify the coordinating amino acid residues of the heme iron, UV/vis spectra of different variants were measured. These studies revealed His702 in MsmS and the corresponding His666 in MA0863 as the proximal heme ligands. MsmS has previously been described as a heme-based redox sensor. In order to examine whether the same is true for MA0863, redox dependent kinase assays were performed. MA0863 indeed displays redox dependent autophosphorylation activity, which is independent of heme ligands and only observed under oxidizing conditions. Interestingly, autophosphorylation was shown to be independent of the heme cofactor but rather relies on thiol oxidation. Therefore, MA0863 was renamed in RdmS (redox dependent methyltransferase-associated sensor). In order to identify the phosphorylation site of RdmS, thin layer chromatography was performed identifying a tyrosine as the putative phosphorylation site. This observation is in agreement with the lack of a so-called H-box in typical histidine kinases. Due to their genomic localization, MsmS and RdmS were postulated to form two-component systems (TCS) with vicinal encoded regulator proteins MsrG and MsrF. Therefore, protein-protein interaction studies using the bacterial adenylate two hybrid system were performed suggesting an interaction of RdmS and MsmS with the three regulators MsrG/F/C. Due to these multiple interactions these signal transduction pathways should rather be considered multicomponent system instead of two component systems.
Ranking lists are an essential methodology to succinctly summarize outstanding items, computed over database tables or crowdsourced in dedicated websites. In this thesis, we propose the usage of automatically generated, entity-centric rankings to discover insights in data. We present PALEO, a framework for data exploration through reverse engineering top-k database queries, that is, given a database and a sample top-k input list, our approach, aims at determining an SQL query that returns results similar to the provided input when executed over the database. The core problem consist of finding selection predicates that return the given items, determining the correct ranking criteria, and evaluating the most promising candidate queries first. PALEO operates on subset of the base data, uses data samples, histograms, descriptive statistics, and further proposes models that assess the suitability of candidate queries which facilitate limitation of false positives. Furthermore, this thesis presents COMPETE, a novel approach that models and computes dominance over user-provided input entities, given a database of top-k rankings. The resulting entities are found superior or inferior with tunable degree of dominance over the input set---a very intuitive, yet insightful way to explore pros and cons of entities of interest. Several notions of dominance are defined which differ in computational complexity and strictness of the dominance concept---yet, interdependent through containment relations. COMPETE is able to pick the most promising approach to satisfy a user request at minimal runtime latency, using a probabilistic model that is estimating the result sizes. The individual flavors of dominance are cast into a stack of algorithms over inverted indices and auxiliary structures, enabling pruning techniques to avoid significant data access over large datasets of rankings.
Congress Report 2019.1-4
(2019)
Wine and alcoholic fermentations are complex and fascinating ecosystems. Wine aroma is shaped by the wine’s chemical compositions, in which both microbes and grape constituents play crucial roles. Activities of the microbial community impact the sensory properties of the final product, therefore, the characterisation of microbial diversity is essential in understanding and predicting sensory properties of wine. Characterisation has been challenging with traditional approaches, where microbes are isolated and therefore analyzed outside from their natural environment. This causes a bias in the observed microbial composition structure. In addition, true community interactions cannot be studied using isolates. Furthermore, the multiplex ties between wine chemical and sensory compositions remain evasive due to their multivariate and nonlinear nature. Therefore, the sensorial outcome arising from different microbial communities has remained inconclusive.
In this thesis, microbial diversity during Riesling wine fermentations is investigated with the aim to understand the roles of microbial communities during fermentations and their links to sensory properties. With the advancement of high-throughput tools based ‘omic methods, such as next-generation sequencing (NGS) technologies, it is now possible to study microbial communities and their functions without isolation by culturing. This developing field and its potential to wine community is reviewed in Chapter 1. The standardisation of methods remains challenging in the field. DNA extraction is a key step in capturing the microbial diversity in samples for generating NGS data, therefore, DNA extraction methods are evaluated in Chapter 2. In Chapter 3, machine learning is utilized in guiding raw data mining generated by the untargeted GC-MS analysis. This step is crucial in order to take full advantages of the large scope of data generated by ‘omic methods. These lay a solid foundation for Chapters 4 and 5 where microbial community structures and their outputs - chemical and sensory compositions are studied by using approaches and tools based on multiple ‘omics methods.
The results of this thesis show first that by using novel statistical approaches, it is possible to extract meaningful information from heterogeneous biological, chemical and sensorial data. Secondly, results suggest that the variation in wine aroma, might be related
to microbial interactions taking place not only inside a single community, but also the
IV
interactions between communities, such as vineyard and winery communities. Therefore, the true sensory expression of terroir might be masked by the interaction between two microbial communities, although more work is needed to uncover this potential relationship. Such potential interaction mechanisms were uncovered between non- Saccharomyces yeast and bacteria in this work and unexpected novel bacterial growth was observed during alcohol fermentation. This suggests new layers in understanding of wine fermentations. In the future, multi-omic approaches could be applied to identify biological pathways leading to specific wine aroma as well as investigate the effects upon specific winemaking conditions. These results are relevant not just for the wine industry, but also to other industries where complex microbial networks are important. As such, the approaches presented in this thesis might find widely use in the food industry.
Im Gegensatz zum Übertragungsnetz, dessen Struktur hinreichend genau bekannt ist, sind passende Netzmodelle
für Mittelspannungsnetze (MS-Netze) wegen der hohen Anzahlen der MS-Netze und Verteilnetzbetreiber (VNB)
nur schwer abzubilden. Des Weiteren ist eine detaillierte Darstellung realer MS-Netze in wissenschaftlichen Publikationen
aus datenschutzrechtlichen Gründen meist nicht erwünscht. In dieser Arbeit werden MS-Netzmodelle
sowie ihre Entwicklung im Detail erklärt. Damit stehen erstmals für die Öffentlichkeit nachvollziehbare MS-Netzmodelle
für den deutschsprachigen Raum zur Verfügung. Sie können als Benchmark für wissenschaftliche Untersuchungen
sowie zur Methodenentwicklung verwendet werden.
Der vorliegende Band 6 der Schriftenreihe Wasser Infrastruktur Ressourcen ist als Festschrift der Verabschiedung von Prof. Dr.-Ing. Theo G. Schmitt gewidmet. Theo Schmitt wird im April 2019 nach über 26 Jahren als aktiver Professor an der TU Kaiserslautern in den Ruhestand treten. Er trat im Oktober 1992 als Nachfolger von Karlheinz Jacobitz die Leitung des Fachgebietes Siedlungswasserwirtschaft an der damaligen Universität Kaiserslautern - heute TU Kaiserslautern - an.
Theo Schmitts persönliche Schwerpunkte liegen im Bereich der Siedlungsentwässerung, er lässt sich mitnichten darauf reduzieren. Seine Arbeiten sind geprägt durch die Überzeugung, dass siedlungswasserwirtschaftliche Handlungsstrategien und Lösungskonzepte in die Zukunft gerichtet ‚Wandel und Ungewissheit‘ bedenken müssen. Daraus resultiert u. a. seine große Offenheit gegenüber neuen Herausforderungen und interdisziplinärer Vernetzung von Wissen und Sichtweisen. Schon früh hat das Fachgebiet beispielsweise mit der Technomathematik, der Elektrotechnik und der Informatik im Bereich der künstlichen Intelligenz fachübergreifend zusammen gearbeitet. Die Verzahnung von Ingenieur- und Naturwissenschaften hat häufig unmittelbar über seine MitarbeiterInnen am Fachgebiet stattgefunden. Dadurch ist eine große Breite an bearbeiteten Themen entstanden, die weite Bereiche der Siedlungswasserwirtschaft umfassen, von hydraulischen und stofflichen Fragestellungen zu urbanen Regenwasserabflüssen über den Systemwandel in der Abwasserentsorgung bis hin zu innovativen Verfahren der Abwasserreinigung und Kläranlagen als Regelbaustein der Energiewende. Die insgesamt 14 Beiträge dieser Festschrift belegen diese Vielfalt, die sich insbesondere auch durch den Stil der Offenheit und Vielfältigkeit, mit der Theo Schmitt das Fachgebiet geleitet hat, entwickeln konnte.
Drei Generationen von SiedlungswasserwirtschaftlerInnen, angefangen bei Theo Schmitts Doktorvater Prof. Hermann H. Hahn, bis hin zu ehemaligen Doktorkindern und deren MitarbeiterInnen tragen mit ihren persönlichen Themen zur Festschrift bei. Hermann H. Hahn blickt mit dem Abstand des vor Jahren emeritierten Professors kritisch auf die aktuellen Entwicklungen in der siedlungswasserwirtschaftlichen Forschung. Die weiteren Beiträge promovierter Doktorkinder zeigen die enorme thematische Breite aktueller und abgeschlossener Forschungsprojekte und Doktorarbeiten, die Theo Schmitt initiiert und begleitet hat.
Der etwas ungewöhnlich anmutende Titel dieser Festschrift ‚From K-Town to KOSMOS‘ spielt zum einen auf die von ihm entwickelte Software zur Kontinuierlichen Schmutzfrachtmodellierung (KOSMO) an, die mit seinen modelltechnischen Ansätzen (u. a. hydrodynamischer Simulationskern, Schmutzstoffakkumulation- und Abtrag) seiner Zeit und kommerziellen Lösungen weit voraus war und die ihn bis heute zu dem deutschlandweit gefragten und geschätzten Spezialisten und Problemlöser auf diesem Gebiet macht. Zum anderen hebt der Titel darauf ab, dass Theo Schmitts Expertise in der Siedlungswasserwirtschaft von der TU Kaiserslautern aus nach außen wirkt. Seine von ‚K-Town‘ ausgehenden Arbeiten haben wegweisende Fachbeiträge für Deutschland geliefert und insbesondere das nationale Regelwerk weiter entwickelt. Dies sind hohe Verdienste, die die DWA durch die Verleihung der Max-Prüß-Medaille im Oktober 2018 gewürdigt hat. Seine stets auch auf die globalen Problemstellungen gerichtete Sicht, beispielsweise zum Umgang mit den Folgen des Klimawandels, rechtfertigt schließlich die Erweiterung des Wortspiels zu ‚KOSMOS‘.
Im Rahmen der Energiewende werden eine Neustrukturierung des Energiesektors und eine grundlegende Transformation der elektrischen Energieversorgung erforderlich. Die volatile Erzeugung von Strom aus Wind und Sonne erfordert mit stetig steigendem Anteil an der Gesamtenergieproduktion einen immer höheren Bedarf an Flexibilität zur Stabilisierung der Stromnetze. Aus energetischer Sicht zeichnen sich Kläranlagen durch eine Vielfalt an Prozessen aus, bei denen Energie umgewandelt, gespeichert, bezogen und produziert wird.
Die vorliegende Arbeit soll einen Beitrag zu einem besseren Verständnis und vertieften Erkenntnissen an der Schnittstelle zwischen der Abwasser- und der Energiewirtschaft liefern, indem die Vereinbarkeit zwischen den Belangen der Abwasserreinigung und einem flexiblen Anlagenbetrieb sowie die Stromerzeugungs- und Flexibilitätspotenziale kommunaler Kläranlagen in Deutschland umfassend untersucht wurden.
Vor diesem Hintergrund wurden Erkenntnisse gewonnen, die zur Auswahl, Bewertung und möglichst sicheren Implementierung von typischen Aggregaten auf Kläranlagen herangezogen werden können, um durch einen anpassungsfähigen Anlagenbetrieb Flexibilität bereit zu stellen. Die zugrundeliegende Methodik wurde im Wesentlichen am Beispiel der Kläranlage Radevormwald entwickelt. Dabei wurden relevante Kennzahlen erarbeitet, die die klärtechnischen Anforderungen sowohl mit den technisch-physikalischen als auch energiemarktbedingten Anforderungen an die Aggregate in Einklang bringen. Ein wesentlicher Fokus liegt auf den abgeleiteten Restriktionen und Kontrollparametern, um einen sicheren Reinigungsbetrieb zu gewährleisten.
Im Rahmen dieser Forschungsarbeit konnte eine Vielzahl von Erkenntnissen an der Schnittstelle von Energie- und Abwasserwirtschaft gewonnen, bestätigt und zur Ableitung von Anwendungsempfehlungen genutzt werden. Die vorhandene Flexibilität auf Kläranlagen kommt für eine Vielzahl von Verwendungsmöglichkeiten in Betracht. Damit können sie bereits heute und zukünftig verstärkt an Produkten der Energieversorgung und neuen Geschäftsmodellen teilhaben. Die untersuchten Aggregate weisen dabei je nach Verwendungszweck unterschiedliche Eignungen auf und nicht jedes Aggregat ist für jede Nutzungsoption einsetzbar. Die Ergebnisse belegen, dass Kläranlagen mit ihren Leistungsgrößen und verschiebbaren Energiemengen relevante Beiträge zur Energiewende leisten können und zu mehr in der Lage sind als, weitgehend losgelöst vom Energiemarkt und den sich dort abzeichnenden Änderungen, elektrische Energie nur zur eigenen Nutzung zu verwenden.
Large-scale distributed systems consist of a number of components, take a number of parameter values as input, and behave differently based on a number of non-deterministic events. All these features—components, parameter values, and events—interact in complicated ways, and unanticipated interactions may lead to bugs. Empirically, many bugs in these systems are caused by interactions of only a small number of features. In certain cases, it may be possible to test all interactions of \(k\) features for a small constant \(k\) by executing a family of tests that is exponentially or even doubly-exponentially smaller than the family of all tests. Thus, in such cases we can effectively uncover all bugs that require up to \(k\)-wise interactions of features.
In this thesis we study two occurrences of this phenomenon. First, many bugs in distributed systems are caused by network partition faults. In most cases these bugs occur due to two or three key nodes, such as leaders or replicas, not being able to communicate, or because the leading node finds itself in a block of the partition without quorum. Second, bugs may occur due to unexpected schedules (interleavings) of concurrent events—concurrent exchange of messages and concurrent access to shared resources. Again, many bugs depend only on the relative ordering of a small number of events. We call the smallest number of events whose ordering causes a bug the depth of the bug. We show that in both testing scenarios we can effectively uncover bugs involving small number of nodes or bugs of small depth by executing small families of tests.
We phrase both testing scenarios in terms of an abstract framework of tests, testing goals, and goal coverage. Sets of tests that cover all testing goals are called covering families. We give a general construction that shows that whenever a random test covers a fixed goal with sufficiently high probability, a small randomly chosen set of tests is a covering family with high probability. We then introduce concrete coverage notions relating to network partition faults and bugs of small depth. In case of network partition faults, we show that for the introduced coverage notions we can find a lower bound on the probability that a random test covers a given goal. Our general construction then yields a randomized testing procedure that achieves full coverage—and hence, find bugs—quickly.
In case of coverage notions related to bugs of small depth, if the events in the program form a non-trivial partial order, our general construction may give a suboptimal bound. Thus, we study other ways of constructing covering families. We show that if the events in a concurrent program are partially ordered as a tree, we can explicitly construct a covering family of small size: for balanced trees, our construction is polylogarithmic in the number of events. For the case when the partial order of events does not have a "nice" structure, and the events and their relation to previous events are revealed while the program is running, we give an online construction of covering families. Based on the construction, we develop a randomized scheduler called PCTCP that uniformly samples schedules from a covering family and has a rigorous guarantee of finding bugs of small depth. We experiment with an implementation of PCTCP on two real-world distributed systems—Zookeeper and Cassandra—and show that it can effectively find bugs.
Hardware Contention-Aware Real-Time Scheduling on Multi-Core Platforms in Safety-Critical Systems
(2019)
While the computing industry has shifted from single-core to multi-core processors for performance gain, safety-critical systems (SCSs) still require solutions that enable their transition while guaranteeing safety, requiring no source-code modifications and substantially reducing re-development and re-certification costs, especially for legacy applications that are typically substantial. This dissertation considers the problem of worst-case execution time (WCET) analysis under contentions when deadline-constrained tasks in independent partitioned task set execute on a homogeneous multi-core processor with dynamic time-triggered shared memory bandwidth partitioning in SCSs.
Memory bandwidth in multi-core processors is shared across cores and is a significant cause of performance bottleneck and temporal variability of multiple-orders in task’s execution times due to contentions in memory sub-system. Further, the circular dependency is not only between WCET and CPU scheduling of others cores, but also between WCET and memory bandwidth assignments over time to cores. Thus, there is need of solutions that allow tailoring memory bandwidth assignments to workloads over time and computing safe WCET. It is pragmatically infeasible to obtain WCET estimates from static WCET analysis tools for multi-core processors due to the sheer computational complexity involved.
We use synchronized periodic memory servers on all cores that regulate each core’s maximum memory bandwidth based on allocated bandwidth over time. First, we present a workload schedulability test for known even-memory-bandwidth-assignment-to-active-cores over time, where the number of active cores represents the cores with non-zero memory bandwidth assignment. Its computational complexity is similar to merge-sort. Second, we demonstrate using a real avionics certified safety-critical application how our method’s use can preserve an existing application’s single-core CPU schedule under contentions on a multi-core processor. It enables incremental certification using composability and requires no-source code modification.
Next, we provide a general framework to perform WCET analysis under dynamic memory bandwidth partitioning when changes in memory bandwidth to cores assignment are time-triggered and known. It provides a stall maximization algorithm that has a complexity similar to a concave optimization problem and efficiently implements the WCET analysis. Last, we demonstrate dynamic memory assignments and WCET analysis using our method significantly improves schedulability compared to the stateof-the-art using an Integrated Modular Avionics scenario.
Im Rahmen der vorliegenden Dissertation wurde ein Lernzirkel entwickelt, der die Schulfächer Biologie und Erdkunde miteinander verknüpft. Er thematisiert die Angepasstheit von Pflanzen an klimatische Faktoren und stützt sich somit auf die Geobotanik als integrative Wissenschaft. Der Lernzirkel mit seinen 16 Stationen nutzt den außerschulischen Lernort „Botanischer Garten“ und ist in den Gewächshäusern des Fachbereichsgarten der Biologie der Technischen Universität Kaiserslautern verortet. Zielgruppe sind Schülerinnen und Schüler der gymnasialen Oberstufe der Biologie- und Erdkunde-Kurse. Eine Lehrplanpassung in beiden Fächern fundiert den fächerverbindenden Ansatz.
An den handlungsorientierten Stationen werden spezifische Fragestellungen anhand des Originals sowie mittels experimenteller Lernformen unter Anwendung fachwissenschaftlicher Arbeitsweisen in Partnerarbeit gelöst. Dabei erarbeiten sich die Schülerinnen und Schüler die Stationen mittels einer Applikation auf einem Tablet-PC, die Informationen (Text-, Bild- und Videomaterial) bietet, sowie die interaktive Arbeit der Schülerinnen und Schüler an den Stationen sichert und dokumentiert. Neben dieser digitalen Umsetzung sorgen weitere methodische Unterrichtsprinzipien wie Realbezug und Primärerfahrung sowie ein Aufbau der Stationen vom Einfachen zum Komplexen für einen effektiven Wissenstransfer.
Durch die digitale Umsetzung kommt dem Instruktionsdesign und mediendidaktischen Entscheidungen bei der Entwicklung der Web-Applikation zum Lernzirkel entscheidende Bedeutung zu. Nach der Konzeption der Web-App auf Basis lerntheoretischer Grundlagen wurde im Rahmen der Erprobung des Lernzirkels ein schülerorientierter Ansatz zur Optimierung verfolgt. Unterstützt durch Videographie konnte der Lernzirkel weiterentwickelt werden und hat gezeigt, dass die Schülerinnen und Schüler die Inhalte motiviert und zielführend eigenständig erarbeiten.