Code Generator for Key Management Protocols - Design and Implementation

Key management has a fundamental role in secure communications. Designing and testing of key management protocols is tricky. These protocols must work flawlessly despite of any abuse. The main objective of this work was to design and implement a tool that helps to specify the protocol and makes it possible to test the protocol while it is still under development. This tool generates compile-ready java code from a key management protocol model. A modelling method for these protocols, which uses Unified Modeling Language (UML) was also developed. The protocol is modelled, exported as an XMI and read by the code generator tool. The code generator generates java code that is immediately executable with a test software after compilation.

The Design and Implementation of Loudspeaker Control Network Protocols

The networking and digitalization of audio equipment has created a need for control protocols. These protocols offer new services to customers and ensure that the equipment operates correctly. The control protocols used in the computer networks are not directly applicable since embedded systems have resource and cost limitations. In this master's thesis the design and implementation of new loudspeaker control network protocols are presented. The protocol stack was required to be reliable, have short response times, configure the network automatically and support the dynamic addition and removal of loudspeakers. The implemented protocol stack was also required to be as efficient and lightweight as possible because the network nodes are fairly simple and lack processing power. The protocol stack was thoroughly tested, validated and verified. The protocols were formally described using LOTOS (Language of Temporal Ordering Specifications) and verified using reachability analysis. A prototype of the loudspeaker network was built and used for testing the operation and the performance of the control protocols. The implemented control protocol stack met the design specifications and proved to be highly reliable and efficient.

Effects of interband and intraband impurity scattering on coherence length in the pnictide superconductors

After discovery of cuprates, a search for new high temperature superconducting families began and it led to the discovery of layered pnictide compounds with critical temperatures limited up to ∼56 K. Pnictides consist elements from Group V of Periodic Table (nitrogen, phosphorus, arsenic, antimony and bismuth). In this work coherence length h in mixed state of pnictide superconductors is calculated numerically. In calculation is taken into account interband and intraband impurity scattering in framework of quasiclassical Eilenberger theory for s± pairing symmetry. Differences between Ginzburg-Landau and Eilenberger theories is shown and the comparison with existing models is done.

Effects of interband and intraband impurity scattering on coherence length in the pnictide superconductors

After discovery of cuprates, a search for new high temperature superconducting families began and it led to the discovery of layered pnictide compounds with critical temperatures limited up to ~56 K. Pnictides consist elements from Group V of Periodic Table (nitrogen, phosphorus, arsenic, antimony and bismuth). In this work coherence length ξh in mixed state of pnictide superconductors is calculated numerically. In calculation is taken into account interband and intraband impurity scattering in framework of quasiclassical Eilenberger theory for s± pairing symmetry. Differences between Ginzburg-Landau and Eilenberger theories is shown and the comparison with existing models is done.

Non-Markovian Dynamics in Continuous Variable Quantum Systems

The present manuscript represents the completion of a research path carried forward during my doctoral studies in the University of Turku. It contains information regarding my scientific contribution to the field of open quantum systems, accomplished in collaboration with other scientists. The main subject investigated in the thesis is the non-Markovian dynamics of open quantum systems with focus on continuous variable quantum channels, e.g. quantum Brownian motion models. Non-Markovianity is here interpreted as a manifestation of the existence of a flow of information exchanged by the system and environment during the dynamical evolution. While in Markovian systems the flow is unidirectional, i.e. from the system to the environment, in non-Markovian systems there are time windows in which the flow is reversed and the quantum state of the system may regain coherence and correlations previously lost. Signatures of a non-Markovian behavior have been studied in connection with the dynamics of quantum correlations like entanglement or quantum discord. Moreover, in the attempt to recognisee non-Markovianity as a resource for quantum technologies, it is proposed, for the first time, to consider its effects in practical quantum key distribution protocols. It has been proven that security of coherent state protocols can be enhanced using non-Markovian properties of the transmission channels. The thesis is divided in two parts: in the first part I introduce the reader to the world of continuous variable open quantum systems and non-Markovian dynamics. The second part instead consists of a collection of five publications inherent to the topic.

Benchmark of routing protocols regarding green considerations

In Mobile Ad-hoc Networks (MANET) the participating nodes have several roles such as sender, receiver and router. Hence there is a lot of energy consumed by the nodes for the normal working of the network since each node has many different roles. Also in MANET the nodes keep moving constantly and this in turn consumes a lot of energy. Since battery capacity of these nodes is limited it fails to fulfil the high demand of energy. The scarcity of energy makes the energy conservation in mobile ad-hoc networks an important concern. There is several research carried out on the energy consumption of mobile ad-hoc networks these days. Some of this research suggests sleep mode, transmission power control, load balancing etc. In this thesis, we are comparing various proposed energy efficient models for some of the ad-hoc protocols. We compare different energy efficient models for Optimised Linked State Algorithm (OLSR) and Ad-hoc On Demand Distance Vector (AODV). The routing protocols are compared for different parameters such as average remaining energy, number of nodes alive, payload data received and performance with different mobility speed. The simulation results helps in benchmarking the various energy efficient routing models for OLSR and AODV protocols. The benchmarking of the routing protocols can be based on many factors but this thesis concentrates on benchmarking the MANET routing protocols mainly based on the energy efficiency and increased network lifetime.

Vascular Healing after Coronary Stenting Evaluated by Optical Coherence Tomography

Optical coherence tomography (OCT) is a novel intracoronary imaging application for the assessment of native lesions and coronary stents. The purpose of this thesis was to evaluate the safety and feasibility of frequency-domain OCT (FD-OCT) based on experiences of the Satakunta Central Hospital (I). Early vascular healing was evaluated after implantation of endothelial progenitor cell capturing (II) and bio-active titanium-nitride-oxide coated stents (III) in two studies, each with 20 patients. Vascular healing was also compared after implantation of bio-active and everolimus-eluting stents on 28 patients after 9-month follow-up (IV). Long-term vascular healing of bio-active and paclitaxel-eluting stents was assessed in the last study with 18 patients (V). The results indicate that FD-OCT is safe and feasible (I). Both bio-active and endothelial progenitor cell capturing stents showed near-complete endothelialisation after one-month follow-up, which is desirable when prolonged dual anti-platelet therapy needs to be avoided after stenting (II and III). Endothelialisation of bio-active stents showed a predictable pattern at mid-term and long-term follow up (IV and V). Endothelialisation of everolimus-eluting stents was not complete at 9 months follow-up, which may suggest that interruption of dual antiplatelet therapy at this time point may not be safe (IV). Finally, delayed vascular healing may be present in patients treated with paclitaxel-eluting stents as long as 4 years from implantation, which reinforces the previously raised concerns on the long-term safety of this device (V).

Optimization of immunofluorescence protocols for detection of biomarkers in colorectal and breast cancer tissues

Cancer remains an undetermined question for modern medicine. Every year millions of people ranging from children to adult die since the modern treatment is unable to meet the challenge. Research must continue in the area of new biomarkers for tumors. Molecular biology has evolved during last years; however, this knowledge has not been applied into the medicine. Biological findings should be used to improve diagnostics and treatment modalities. In this thesis, human formalin-fixed paraffin embedded colorectal and breast cancer samples were used to optimize the double immunofluorescence staining protocol. Also, immunohistochemistry was performed in order to visualize expression patterns of each biomarker. Concerning double immunofluorescence, feasibility of primary antibodies raised in different and same host species was also tested. Finally, established methods for simultaneous multicolor immunofluorescence imaging of formalin-fixed paraffin embedded specimens were applied for the detection of pairs of potential biomarkers of colorectal cancer (EGFR, pmTOR, pAKT, Vimentin, Cytokeratin Pan, Ezrin, E-cadherin) and breast cancer (Securin, PTTG1IP, Cleaved caspase 3, ki67).

Marvel Cinematic Universe in translation: a study of intertextual coherence and inter-filmic discourse

The primary objective of the present thesis was to determine the extent of intertextual coherence and inter-filmic discourse retained in the Finnish DVD subtitles of the first twelve feature films set in the Marvel Cinematic Universe and ten episodes of the first season of Agents of S.H.I.E.L.D., a transmedia extension of the MCU. The cinematic world of Marvel was chosen as research data in this study for the inherence, abundance, and conspicuousness of its intertextuality. Two categories through which to retain intertextual coherence in translation were set as the premise of the study: 1) the consistent application of the same form of MCU-related proper names in translation and 2) the retention of MCU-related allusions in translation when the retention of the allusion is a strategic choice. The data was collected and analyzed primarily in this juxtaposition. The examination of the gathered data and the set research questions necessitated the division of audiovisual allusions into three categories: verbal visual allusions, secondary spoken allusions, and primary spoken allusions, the last of which was further divided into ambiguous and unambiguous types. Because of their qualitative inadequacies, unambiguous primary spoken allusions were not eligible as data in the present study. 33.3 percent of the proper names qualified as data were translated consistently in each installment they were referenced. In terms of allusions, 76.2 percent of the qualified source-text instances were retained in translation. The results indicate that intertextual elements are more easily identified and retained within the context of one narrative than when this requires the observation of multiple connected narratives as one interwoven universe.