Formal modelling for digital media distribution

Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological progress made it possible to create a recording of a phenomenon; first as an analogue recording onto a physical object, and later digitally, as a sequence of bits to be interpreted by a computer. By the end of the 20th century technological advances had made it feasible to distribute media content over a computer network instead of on physical objects, thus enabling the concept of digital media distribution. Many digital media distribution systems already exist, and their continued, and in many cases increasing, usage is an indicator for the high interest in their future enhancements and enriching. By looking at these digital media distribution systems, we have identified three main areas of possible improvement: network structure and coordination, transport of content over the network, and the encoding used for the content. In this thesis, our aim is to show that improvements in performance, efficiency and availability can be done in conjunction with improvements in software quality and reliability through the use of formal methods: mathematical approaches to reasoning about software so that we can prove its correctness, together with the desirable properties. We envision a complete media distribution system based on a distributed architecture, such as peer-to-peer networking, in which different parts of the system have been formally modelled and verified. Starting with the network itself, we show how it can be formally constructed and modularised in the Event-B formalism, such that we can separate the modelling of one node from the modelling of the network itself. We also show how the piece selection algorithm in the BitTorrent peer-to-peer transfer protocol can be adapted for on-demand media streaming, and how this can be modelled in Event-B. Furthermore, we show how modelling one peer in Event-B can give results similar to simulating an entire network of peers. Going further, we introduce a formal specification language for content transfer algorithms, and show that having such a language can make these algorithms easier to understand. We also show how generating Event-B code from this language can result in less complexity compared to creating the models from written specifications. We also consider the decoding part of a media distribution system by showing how video decoding can be done in parallel. This is based on formally defined dependencies between frames and blocks in a video sequence; we have shown that also this step can be performed in a way that is mathematically proven correct. Our modelling and proving in this thesis is, in its majority, tool-based. This provides a demonstration of the advance of formal methods as well as their increased reliability, and thus, advocates for their more wide-spread usage in the future.

Customer Knowledge Transfer in MNCs

The purpose of this Master’s thesis was to study customer knowledge transfer processes in multinational corporations (MNCs). The main objective was to examine how customer knowledge is transferred in MNCs and what kind of factors enhance or inhibit the knowledge transfer process, and to create a framework on the basis of the existing literature and the empirical findings. In this thesis the factors were organized according to whether they are properties of the unit involved in knowledge management, properties of relationships between the units or properties of the knowledge itself. There are various properties that influence knowledge transfer but in this thesis the focus was on examining the relevant findings from the customer knowledge viewpoint. Empirical results show that internal fragmentation in the MNC seems to be inherent in this type of organization, and may cause many problems in customer knowledge transfer and utilization. These knowledge transfer inhibitors rise from the organization’s properties: it’s absorptive capacity, motivation, organizational culture, and the two dimensions of knowledge. However, in spite of the inherent forces causing internal fragmentation and inhibiting knowledge transfer, moderate customer knowledge and expertise codification, cooperative working practices among the experts, and socialization mechanisms posed by the headquarters seem to help maintain customer knowledge transfer, and value creation in the long-term relationship. This value creation can be seen to be based on accessing and integrating a wide variety of knowledge resources in order to create a coherent product and service offering.

Alternative electron transfer routes involved in photoprotection of cyanobacteria

In oxygenic photosynthesis, the highly oxidizing reactions of water splitting produce reactive oxygen species (ROS) and other radicals that could damage the photosynthetic apparatus and affect cell viability. Under particular environmental conditions, more electrons are produced in water oxidation than can be harmlessly used by photochemical processes for the reduction of metabolic electron sinks. In these circumstances, the excess of electrons can be delivered, for instance, to O2, resulting in the production of ROS. To prevent detrimental reactions, a diversified assortment of photoprotection mechanisms has evolved in oxygenic photosynthetic organisms. In this thesis, I focus on the role of alternative electron transfer routes in photoprotection of the cyanobacterium Synechocystis sp. PCC 6803. Firstly, I discovered a novel subunit of the NDH-1 complex, NdhS, which is necessary for cyclic electron transfer around Photosystem I, and provides tolerance to high light intensities. Cyclic electron transfer is important in modulating the ATP/NADPH ratio under stressful environmental conditions. The NdhS subunit is conserved in many oxygenic phototrophs, such as cyanobacteria and higher plants. NdhS has been shown to link linear electron transfer to cyclic electron transfer by forming a bridge for electrons accumulating in the Ferredoxin pool to reach the NDH-1 complexes. Secondly, I thoroughly investigated the role of the entire flv4-2 operon in the photoprotection of Photosystem II under air level CO2 conditions and varying light intensities. The operon encodes three proteins: two flavodiiron proteins Flv2 and Flv4 and a small Sll0218 protein. Flv2 and Flv4 are involved in a novel electron transport pathway diverting electrons from the QB pocket of Photosystem II to electron acceptors, which still remain unknown. In my work, it is shown that the flv4-2 operon-encoded proteins safeguard Photosystem II activity by sequestering electrons and maintaining the oxidized state of the PQ pool. Further, Flv2/Flv4 was shown to boost Photosystem II activity by accelerating forward electron flow, triggered by an increased redox potential of QB. The Sll0218 protein was shown to be differentially regulated as compared to Flv2 and Flv4. Sll0218 appeared to be essential for Photosystem II accumulation and was assigned a stabilizing role for Photosystem II assembly/repair. It was also shown to be responsible for optimized light-harvesting. Thus, Sll0218 and Flv2/Flv4 cooperate to protect and enhance Photosystem II activity. Sll0218 ensures an increased number of active Photosystem II centers that efficiently capture light energy from antennae, whilst the Flv2/Flv4 heterodimer provides a higher electron sink availability, in turn, promoting a safer and enhanced activity of Photosystem II. This intertwined function was shown to result in lowered singlet oxygen production. The flv4-2 operon-encoded photoprotective mechanism disperses excess excitation pressure in a complimentary manner with the Orange Carotenoid Protein-mediated non-photochemical quenching. Bioinformatics analyses provided evidence for the loss of the flv4-2 operon in the genomes of cyanobacteria that have developed a stress inducible D1 form. However, the occurrence of various mechanisms, which dissipate excitation pressure at the acceptor side of Photosystem II was revealed in evolutionarily distant clades of organisms, i.e. cyanobacteria, algae and plants.

Heat-transfer improvements in an axial-flux permanent-magnet synchronous machine

Axial-flux machines tend to have cooling difficulties since it is difficult to arrange continuous heat path between the stator stack and the frame. One important reason for this is that no shrink fitting of the stator is possible in an axial-flux machine. Using of liquid-cooled end shields does not alone solve this issue. Cooling of the rotor and the end windings may also be difficult at least in case of two-stator-single-rotor construction where air circulation in the rotor and in the end-winding areas may be difficult to arrange. If the rotor has significant losses air circulation via the rotor and behind the stator yokes should be arranged which, again, weakens the stator cooling. In this paper we study a novel way of using copper bars as extra heat transfer paths between the stator teeth and liquid cooling pools in the end shields. After this the end windings still suffer of low thermal conductivity and means for improving this by high-heat-conductance material was also studied. The design principle of each cooling system is presented in details. Thermal models based on Computational Fluid Dynamics (CFD) are used to analyse the temperature distribution in the machine. Measurement results are provided from different versions of the machine. The results show that significant improvements in the cooling can be gained by these steps.

Lean management implementation in Horizontal Technology Transfer projects

The importance of Technology Transfer activities of companies is underpinned by the changes in technological and economic environments. However, there is still a significant gap in defining possible ways for Technology Transfer projects effectiveness improvement. The Master’s Thesis overviews common problems faced by the companies in implementation of Technology Transfer projects and examines Lean management principles as possible way to improve its effectiveness. Based on the analysis of the relevant scientific literature and results of the survey, conducted among the firms of different types, the approach to Technology Transfer projects implementation with the use of Lean management principles is proposed. The approach serves to solve some of the important problems faced by the managers of Technology Transfer projects. It is envisaged that this approach can help to increase overall Technology Transfer projects’ effectiveness.

Power and Performance Management Strategies on NoC-Based Multicore Platforms, Using DVFS, Adaptive Algorithm and Task Parallelism

This work presents synopsis of efficient strategies used in power managements for achieving the most economical power and energy consumption in multicore systems, FPGA and NoC Platforms. In this work, a practical approach was taken, in an effort to validate the significance of the proposed Adaptive Power Management Algorithm (APMA), proposed for system developed, for this thesis project. This system comprise arithmetic and logic unit, up and down counters, adder, state machine and multiplexer. The essence of carrying this project firstly, is to develop a system that will be used for this power management project. Secondly, to perform area and power synopsis of the system on these various scalable technology platforms, UMC 90nm nanotechnology 1.2v, UMC 90nm nanotechnology 1.32v and UMC 0.18 μmNanotechnology 1.80v, in order to examine the difference in area and power consumption of the system on the platforms. Thirdly, to explore various strategies that can be used to reducing system’s power consumption and to propose an adaptive power management algorithm that can be used to reduce the power consumption of the system. The strategies introduced in this work comprise Dynamic Voltage Frequency Scaling (DVFS) and task parallelism. After the system development, it was run on FPGA board, basically NoC Platforms and on these various technology platforms UMC 90nm nanotechnology1.2v, UMC 90nm nanotechnology 1.32v and UMC180 nm nanotechnology 1.80v, the system synthesis was successfully accomplished, the simulated result analysis shows that the system meets all functional requirements, the power consumption and the area utilization were recorded and analyzed in chapter 7 of this work. This work extensively reviewed various strategies for managing power consumption which were quantitative research works by many researchers and companies, it's a mixture of study analysis and experimented lab works, it condensed and presents the whole basic concepts of power management strategy from quality technical papers.

Moving lipids : ceramides, glycosphingolipids and the glycolipid transfer protein

Lipid movement in cells occurs by a variety of methods. Lipids diffuse freely along the lateral plane of a membrane and can translocate between the lipid leaflets, either spontaneously or with the help of enzymes. Lipid translocation between the different cellular compartments predominantly takes place through vesicular transport. Specialized lipid transport proteins (LTPs) have also emerged as important players in lipid movement, as well as other cellular processes. In this thesis we have studied the glycolipid transport protein (GLTP), a protein that transports glycosphingolipids (GSLs). While the in vitro properties of GLTP have been well characterized, its cell biological role remains elusive. By altering GSL and GLTP levels in cells, we have extracted clues towards the protein's function. Based on the results presented in this thesis and in previous works, we hypothesize that GLTP is involved in the GSL homeostasis in cells. GLTP most likely functions as a transporter or sensor of newly synthesized glucosylceramide (GlcCer), at or near the site of GlcCer synthesis. GLTP also seems to be involved in the synthesis of globotriacylceramide, perhaps in a manner that is similar to that of the fourphosphate adaptor protein 2, another GlcCer-transporting LTP. Additionally, we have developed and studied a novel method of introducing ceramides to cells, using a solvent-free approach. Ceramides are important lipids that are implicated in several cellular functions. Their role as proapoptotic molecules is particularly evident. Ceramides form stable bilayer structures when complexed with cholesterol phosphocholine (CholPC), a large-headgroup sterol. By adding ceramide/CholPC complexes to the growth medium, various chain length ceramides were successfully delivered to cells in culture. The uptake rate was dependent on the chain length of the ceramide, where shorter lipids were internalized more quickly. The rate of uptake also determined how the cells metabolised the ceramides. Faster uptake favored conversion of ceramide to GlcCer, whereas slower delivery resulted mainly in breakdown of the lipid.

Mass transfer and reaction kinetics in single droplet systems

As reactive extraction grown more and more popular in a variety of technological applications, optimizing its performance becomes more and more important. The process of complex formation is affected by a great number of both physical and chemical properties of all the components involved, and sometimes their interference with one another makes improving the effectiveness of such processes very difficult. In this Master’s Theses, the processes of complex formation between the aqueous phase - represented by copper sulfate water solution, and organic phase – represented by Acorga M5640 solvent extractor, were studied in order to establish the effect these components have on reactive extraction performance and to determine which step is bottlenecking the process the most.

Comparing ESL electronic and face-to-face pre-writing conferences and first drafts : discourse, participation, and idea transfer /

This study was a comparative investigation of face-toface (i.e., proximate) and computer-mediated written (i.e., graphic) pre-writing conferences. The participants in this study were advanced English as a second language students. The 2 types of conferences were compared in terms of textual features, participation, and the . degree to which they were on topic. Moreover, drafts written after the 2 types of conferences were compared in terms of textual features, and the degree to which they were related to the conferences. Students produced an equivalent amount of discourse in an equivalent amount of time in the 2 types of conferences. The discourse in graphic conferences displayed greater lexical range, and some evidence suggests that it was less on-topic. Both these results likely occurred because the graphic conferences contained more discourse demonstrating interactive competence. Participation in graphic conferences was found to be as balanced or more balanced among students, and among students and the group leader combined. Overall, the drafts produced after the 2 types of conferences were of equivalent length and topical range, but some evidence suggests that drafts written after proximate conferences were more related to the conferences.