Building an Access Network for Triple-Play Services

This final project was made for the Broadband department of TeliaSonera. This project gives an overview on how internet service provider might build an access network so that they can offer triple-play services. It also gives information on what equipment is needed and what is required from the access, aggregation and edge networks. The project starts by describing the triple-play service. Then it moves on to optical fiber cables, the network technology and network architecture. At the end of the project there is an example of the process and construction of the access network. It will give an overview of the total process and problems that a network planner might face during the planning phase of the project. It will give some indication on how one area is built from the start to finish. The conclusion of the project presents some points that must be taken into consideration when building an access network. The building of an access network has to be divided to a time span of eight to ten years, where one year is one phase in the project. One phase is divided into three parts; Selecting the areas and targets, Planning the areas and targets, and Documentation. The example area gives indication on the planning of an area. It is almost impossible to connect all targets at the same time. This means that the service provider has to complete the construction in two or three parts. The area is considered to be complete when more than 80% of the real estates have fiber.

Impact of unsymmetrical loads in distribution networks

Since it is virtually impossible to balance loads in three-phase system, unbalance in a varying degree exists almost in all distribution networks. The aim of the thesis is to analyze the impact of this unbalance subject to different configurations of distribution system and winding connection of the supplying transformer. Also impact of the voltage unbalance on the equipment is investigated. In order to make the investigation more visual, the following calculations have been conducted: - Unsymmetrical load in four-wire star connected network - Unsymmetrical load in four-wire star connected network with broken zero conductor (or three-wire network). - Unsymmetrical load when the supplying transformer is so-called zigzag transformer. PDF created

An analytic approach to distribution logistics strategic management

Logistics management is increasingly being recognised by many companies to be of critical concern. The logistics function includes directly or indirectly many of the new areas for achieving or maintaining competitive advantage that companies have been forced to develop due to increasing competitive pressures. The key to achieving a competitive advantage is to manage the logistics function strategically which involves determining the most cost effective method of providing the necessary customer service levels from the many combinations of operating procedures in the areas of transportation, warehousing, order processing and information systems, production, and inventory management. In this thesis, a comprehensive distribution logistics strategic management process is formed by integrating the periodic strategic planning process with a continuous strategic issues management process. Strategic planning is used for defining the basic objectives for a company and assuring co operation and synergy between the different functions of a company while strategic issues management is used on a continuous basis in order to deal with environmental and internal turbulence. The strategic planning subprocess consists of the following main phases: (1) situational analyses, (2) defining the vision and strategic goals for the logistics function, (3) determining objectives and strategies, (4) drawing up tactical action plans, and (5) evaluating the implementation of the plans and making the needed adjustments. The aim of the strategic issues management subprocess is to continuously scan the environment and the organisation for early identification of the issues having a significant impact on the logistics function using the following steps: (1) the identification of trends, (2) assessing the impact and urgency of the identified trends, (3) assigning priorities to the issues, and (4) planning responses to the, issues. The Analytic Hierarchy Process (AHP) is a systematic procedure for structuring any problem. AHP is based on the following three principles: decomposition, comparative judgements, and synthesis of priorities. AHP starts by decomposing a complex, multicriteria problem into a hierarchy where each level consists of a few manageable elements which are then decomposed into another set of elements. The second step is to use a measurement methodology to establish priorities among the elements within each level of the hierarchy. The third step in using AHP is to synthesise the priorities of the elements to establish the overall priorities for the decision alternatives. In this thesis, decision support systems are developed for different areas of distribution logistics strategic management by applying the Analytic Hierarchy Process. The areas covered are: (1) logistics strategic issues management, (2) planning of logistic structure, (3) warehouse site selection, (4) inventory forecasting, (5) defining logistic action and development plans, (6) choosing a distribution logistics strategy, (7) analysing and selecting transport service providers, (8) defining the logistic vision and strategic goals, (9) benchmarking logistic performance, and (10) logistic service management. The thesis demonstrates the potential of AHP as a systematic and analytic approach to distribution logistics strategic management.

Toimitustäsmällisyyden suunnittelumenetelmä

Tutkimuksen ongelma on toimitusten ajallisen täsmällisyyden heikkeneminen kuljetuspolkujen pidentyessä ja erillisten suoritteitten lukumäärän kasvaessa. Näin usein tapahtuu toiminnan kansainvälistyessä. Tutkimuksen tavoitteena on kehittää menetelmä, jolla toimitusten ajallista täsmällisyyttä voidaan suunnitella ja ohjata sekä sen tavoitteet saavuttaa yllä todetusta kehityksestä huolimatta. Aluksi tutkimuksessa on jäsennetty toimitustäsmällisyyden nivoutumista yritys ja markkinointistrategioiden sekä tavoitteiden kokonaisuuteen. Täsmällisyyden merkitystä on myös tarkasteltu yleisesti yritysten kilpailutekijänä. Seuraavaksi on kehitetty interaktiivinen menetelmä, jonka avulla voidaan suunnitella yksittäisen toimituksen ajallista täsmällisyyttä. Toimituksen suoritteet ja niiden vaihtoehdot on kuvattu kvantifioituna, suunnattuna graafina eli verkkona. Ensin on tarkasteltu tilannetta, jossa suoritteiden kestot ovat vakiot ja sitten suoritteiden keston hajonnan huomioon ottavaa menetelmää, jonka avulla on löydettävissä kustannuksiltaan halvin, riittävän täsmällinen ja luotettava ratkaisu. Menetelmän soveltamista on tarkasteltu yleisesti sekä tulo että lähtölogistiikassa, dynaamisessa toimitussuoritetta koskevassa paatoksen teossa ja erilaisissa erityistapauksissa. Täsmällisyystavoitteitten asettamista ja muuttujia on tarkasteltu yleisesti ja käytännön soveltamisen kannalta. Käytännön soveltamista on kokeiltu valitun kohdeyrityksen esimerkkitilanteessa. Menetelmän toimivuutta on testattu simuloimalla sen ja perinteisesti suunniteltujen tehdastoimitusten sekä paikallisvarastosta tehtävien toimitusten tuloksia ja kustannuksia sekä vertaamalla niitä keskenään. Analyysin lopuksi on tarkasteltu esimerkkitilannetta logistisena kokonaisuutena lisäämällä vertailuun muitten kustannuskomponenttien ja lisäarvon vaikutus. Lopussa on käsitelty menetelmän käytännön soveltuvuusprofiilia ja jatkotutkimusaiheita. Yhteenvetona on todettu kehitetyn menetelmän tekevän täsmällisyyttä korostavan toimitusstrategian luotettavan toteuttamisen mahdolliseksi. Sen on taas todettu voivan olla edullinen vaihtoehto, jos täsmällisyydellä on markkina arvoa ja merkitystä pitkän tähtäimen menestystekijänä.

Planning and ramping up a new SW Testing site

During recent years, mobile phone markets have changed significantly. Asian markets have become vital for the manufacturers with their millions of end users and multiple major mobile network operators. This has resulted in software development as global companies have research and development sites running in multiple locations, including Asia. The reasons behind this are not only in reducing labor costs but also in capitalizing on the local knowledge and knowhow. A ramp-up site has multiple effects in the software development and software release activities. This thesis focuses on representing the importance of software testing as part of software development process and highlighting issues that need to be considered during ramp-up activities. In addition this work tries to emphasize the importance of communication between parties and information gathering prior to setting up the ramp-up site. The output of this thesis was successful software testing site ramp-up within the set time limits. The quality of software testing work was assured and the ramp-up -project requirements were achieved.

Kaupunkialueella toimivan sähkönjakeluverkkoyhtiön siirtohinnoittelun kehittäminen

Sähkönjakeluverkkoyhtiöllä on sähkön siirtopalveluun alueellinen monopoli. Siirtohinnoittelun reunaehdot tulevat sähkömarkkinalaista ja hintojen kohtuullisuutta valvoo ja sääntelee Energiamarkkinavirasto. Tässä työssä selvitetään Turku Energia Sähköverkot Oy:lle kustannusvastaavat aiheuttamisperiaatteen mukaiset siirtohinnat. Samalla muodostetaan yleis-, yö- ja kausituotteiden perusmaksuihin asiakkaan liittymispisteen pääsulakkeen kokoon perustuva porrastus. Sulakeporrastuksen käyttöönotolla pystytään kehittämään siirtohinnoittelun kustannusvastaavuutta ja noudattamaan aiheuttamisperiaatteen mukaista hinnoittelupolitiikkaa entistä paremmin. Työssä tutkitaan siirtohinnoittelun kehitysnäkymiä myös pidemmällä tähtäimellä. Älykkäiden sähköverkkojen kehittyminen ja erityisesti etäluettavien mittareiden käyttöönotto tulevat luomaan kehitysmahdollisuuksia siirtohinnoitteluun tulevaisuudessa. Laitteista saatavia tarkkoja sähkönkulutus- ja tehotietoja voidaan käyttää kustannusvastaavuuslaskennan taustalla. Jotta verkon käyttö olisi sen mitoitukseen nähden mahdollisimman tehokasta, tulisi kuorman jakautua mahdollisimman tasaisesti ajan suhteen. Verkossa esiintyviä kulutushuippuja pystytään tulevaisuudessa mahdollisesti tasoittamaan esimerkiksi kuorman ohjauksen avulla, jonka tehokeinona voidaan käyttää siirtohinnoittelua. Siirtohinnoilla voidaan mahdollisesti vaikuttaa myös esimerkiksi kulutuksen ja tuotannon ajoittamiseen sekä kannusta asiakkaita loistehon kompensointiin. Siirtotuotteiden täytyy myös kehittyä asiakkaiden tarpeiden kehittymisen rinnalla ja esimerkiksi sähkön laadun tuotteistaminen voi olla eräs keino vastaamaan tiukentuneisiin vaatimuksiin.

The Role of Universities in the Triple Helix model of innovation management within the biotechnology industry, Case example: Turku Science Park Network

Biotechnology has been recognized as the key strategic technology for industrial growth. The industry is heavily dependent on basic research. Finland continues to rank in the top 10 of Europe's most innovative countries in terms of tax-policy, education system, infrastructure and the number of patents issued. Regardless of the excellent statistical results, the output of this innovativeness is below acceptable. Research on the issues hindering the output creation has already been done and the identifiable weaknesses in the Finland's National Innovation system are the non-existent growth of entrepreneurship and the missing internationalization. Finland is proven to have all the enablers of the innovation policy tools, but is lacking the incentives and rewards to push the enablers, such as knowledge and human capital, forward. Science Parks are the biggest operator in research institutes in the Finnish Science and Technology system. They exist with the purpose of speeding up the commercialization process of biotechnology innovations which usually include technological uncertainty, technical inexperience, business inexperience and high technology cost. Innovation management only internally is a rather historic approach, current trend drives towards open innovation model with strong triple helix linkages. The evident problems in the innovation management within the biotechnology industry are examined through a case study approach including analysis of the semi-structured interviews which included biotechnology and business expertise from Turku School of Economics. The results from the interviews supported the theoretical implications as well as conclusions derived from the pilot survey, which focused on the companies inside Turku Science Park network. One major issue that the Finland's National innovation system is struggling with is the fact that it is technology driven, not business pulled. Another problem is the university evaluation scale which focuses more on number of graduates and short-term factors, when it should put more emphasis on the cooperation success in the long-term, such as the triple helix connections with interaction and knowledge distribution. The results of this thesis indicated that there is indeed requirement for some structural changes in the Finland's National innovation system and innovation policy in order to generate successful biotechnology companies and innovation output. There is lack of joint output and scales of success, lack of people with experience, lack of language skills, lack of business knowledge and lack of growth companies.

Determinants of Polylepis (Rosaceae) Forest Distribution and Treeline Formation in the High Andes

High elevation treelines are formed under common temperature conditions worldwide, but the functional mechanisms that ultimately constrain tree growth are poorly known. In addition to environmental constraints, the distribution of high elevation forests is largely affected by human influence. Andean Polylepis (Rosaceae) forests are an example of such a case, forests commonly growing in isolated stands disconnected from the lower elevation montane forests. There has been ample discussion as to the role of environmental versus anthropogenic causes of this fragmented distribution of Polylepis forests, but the importance of different factors is still unclear. In this thesis, I studied functional, environmental and anthropogenic aspects determining Polylepis forest distribution. Specifically, I assessed the degree of genetic determinism in the functional traits that enable Polylepis species to grow in cold and dry conditions. I also studied the role of environment and human influence constraining Polylepis forest distribution. I found evidence of genetically determined climatic adaptations in the functional traits of Polylepis. High elevation species had reduced leaf size and increased root tip abundance compared to low elevation species. Thus these traits have potentially played an important role in species evolution and adaptation to high elevation habitats, especially to low temperatures. I also found reduced photosynthesis rate among high elevation tree species compared to low elevation species, supporting carbon source limitation at treelines. At low elevations, Polylepis forest distribution appeared to be largely defined by human influence. This suggests that the absence of Polylepis forests in large areas in the Andes is the result of several environmental and anthropogenic constraints, the role of environment becoming stronger towards high elevations. I also show that Polylepis trees grow at remarkably low air and soil temperatures near treelines, and present new evidence of the role of air temperatures in constraining tree growth at high elevations. I further show that easily measurable indices of accessibility are related to the degree of degradation of Polylepis forest, and can therefore be used in the rapid identification of potentially degraded Polylepis forests. This is of great importance for the conservation and restoration planning of Polylepis forests in the Andes. In a global context, the results of this thesis add to our scientific knowledge concerning high elevation adaptations in trees, and increase our understanding of the factors constraining tree growth and forest distribution at high-­elevation treelines worldwide.

Stiffness based trajectory planning and feedforward based vibration suppression control of parallel robot machines

The dissertation proposes two control strategies, which include the trajectory planning and vibration suppression, for a kinematic redundant serial-parallel robot machine, with the aim of attaining the satisfactory machining performance. For a given prescribed trajectory of the robot's end-effector in the Cartesian space, a set of trajectories in the robot's joint space are generated based on the best stiffness performance of the robot along the prescribed trajectory. To construct the required system-wide analytical stiffness model for the serial-parallel robot machine, a variant of the virtual joint method (VJM) is proposed in the dissertation. The modified method is an evolution of Gosselin's lumped model that can account for the deformations of a flexible link in more directions. The effectiveness of this VJM variant is validated by comparing the computed stiffness results of a flexible link with the those of a matrix structural analysis (MSA) method. The comparison shows that the numerical results from both methods on an individual flexible beam are almost identical, which, in some sense, provides mutual validation. The most prominent advantage of the presented VJM variant compared with the MSA method is that it can be applied in a flexible structure system with complicated kinematics formed in terms of flexible serial links and joints. Moreover, by combining the VJM variant and the virtual work principle, a systemwide analytical stiffness model can be easily obtained for mechanisms with both serial kinematics and parallel kinematics. In the dissertation, a system-wide stiffness model of a kinematic redundant serial-parallel robot machine is constructed based on integration of the VJM variant and the virtual work principle. Numerical results of its stiffness performance are reported. For a kinematic redundant robot, to generate a set of feasible joints' trajectories for a prescribed trajectory of its end-effector, its system-wide stiffness performance is taken as the constraint in the joints trajectory planning in the dissertation. For a prescribed location of the end-effector, the robot permits an infinite number of inverse solutions, which consequently yields infinite kinds of stiffness performance. Therefore, a differential evolution (DE) algorithm in which the positions of redundant joints in the kinematics are taken as input variables was employed to search for the best stiffness performance of the robot. Numerical results of the generated joint trajectories are given for a kinematic redundant serial-parallel robot machine, IWR (Intersector Welding/Cutting Robot), when a particular trajectory of its end-effector has been prescribed. The numerical results show that the joint trajectories generated based on the stiffness optimization are feasible for realization in the control system since they are acceptably smooth. The results imply that the stiffness performance of the robot machine deviates smoothly with respect to the kinematic configuration in the adjacent domain of its best stiffness performance. To suppress the vibration of the robot machine due to varying cutting force during the machining process, this dissertation proposed a feedforward control strategy, which is constructed based on the derived inverse dynamics model of target system. The effectiveness of applying such a feedforward control in the vibration suppression has been validated in a parallel manipulator in the software environment. The experimental study of such a feedforward control has also been included in the dissertation. The difficulties of modelling the actual system due to the unknown components in its dynamics is noticed. As a solution, a back propagation (BP) neural network is proposed for identification of the unknown components of the dynamics model of the target system. To train such a BP neural network, a modified Levenberg-Marquardt algorithm that can utilize an experimental input-output data set of the entire dynamic system is introduced in the dissertation. Validation of the BP neural network and the modified Levenberg- Marquardt algorithm is done, respectively, by a sinusoidal output approximation, a second order system parameters estimation, and a friction model estimation of a parallel manipulator, which represent three different application aspects of this method.

Siirtohinnoittelun kehittäminen etäluettavilta mittareilta saatavan datan avulla sähkönjakeluyhtiö Mäntsälän Sähkö Oy:lle

Sähkönsiirtomaksuilla katetaan luonnollisena alueellisena monopolina toimivan paikallisen sähkönjakeluyhtiön toiminta. Koska sähköverkkoyhtiöt toimivat monopoliasemassa, niiden toimintaa valvoo Energiavirasto. Energiavirasto valvoo pääasiassa verkkoyhtiöiden liikevaihtoa ja toiminnan tehokkuutta. Verkkoyhtiöiden toimintaa säätää Suomessa sähkömarkkinalaki. Verkkoyhtiöiden kustannusrakenne on hyvin sidottu verkoston kustannuksiin. Koska sähköverkoston kustannukset ovat pitkän käyttöiän ja suurien alkuinvestointien vuoksi vuosittain kiinteät ja merkittävän suuret, olisi verkkoyhtiön kannalta tärkeää, että vuosittaiset tulot eivät suuresti vaihtelisi. Nykyisellä hinnoittelumallilla kuitenkin verkkoyhtiöiden tulot jäävät hyvin riippuvaisiksi talven kylmyydestä. Nykyisin Suomessa yleisesti käytettävässä siirtohinnoittelun hinnoittelumallissa ei huomioida myöskään sitä, että verkkoyhtiön kustannukset ovat enemmän riippuvaisia verkossa siirretyistä tehoista kuin energioista. Siirtohinnoittelun kannalta on tapahtunut ja on tapahtumassa merkittäviä muutoksia. Etäluettavien sähkönkulutusmittarien käyttöönoton myötä asiakkaiden kulutuksesta saadaan huomattavasti entistä enemmän tietoa, mikä auttaa kustannusvastaavien hintojen määrittämisessä. Samaan aikaan asiakkaiden sähkön käyttö voi muuttua huomattavasti varsinkin sähköautojen ja lämpöpumppujen yleistymisen myötä. Tämän työn tarkoituksena on luoda Mäntsälän Sähkö Oy:lle sähkönsiirtohinnoittelun kustannuksia vastaavien hintojen määrittämiseksi laskentasovellus sekä selvittää tulevaisuuden siirtohinnoittelun toteuttamismahdollisuuksia. Lyhyen aikavälin suunnittelussa keskitytään kustannusvastaavien hintojen määrittämiseen keskihintaperiaatteen avulla ja pidemmän aikavälin suunnittelussa asiakkaiden huipputehoihin perustuvan hinnoittelun toteuttamisen vaikutuksiin sekä verkkoyhtiön että asiakkaan näkökulmasta.

Apply of energy storages in electricity distribution networks and reserve capacity applications

The Thesis is dedicated to development of an operative tool to support decision making of battery energy storages implementation in distribution networks. The basics of various battery technologies, their perspectives and challenges are represented in the Thesis. Mathematical equations that describe economic effect from battery energy storage installation are offered. The main factors that influence profitability of battery settings have been explored and mathematically defined. Mathematical model and principal trends of battery storage profitability under an impact of the major factors are determined. The meaning of annual net value was introduced to show the difference between savings and required costs. The model gives a clear vision for dependencies between annual net value and main factors. Proposals for optimal network and battery characteristics are suggested.

The role of network competence and international business competence in multinational corporations: Subsidiary perspective

On-going process of globalization makes companies all over the world to go beyond the national markets and internationalize. Organizational form of multinational corporation (MNC) has capabilities for establishing the affiliate companies in several countries. Thus, the relocation of resources occurs and particularly, the cross-border transfer of knowledge which possesses the competitive advantage. However, differences in countries` business environments and cultures may constrain this capability. The research aim of this thesis is to investigate the role of subsidiary’s network competence (ability to build and manage the relationships with other local business units) and international business competence in relation to the benefits that MNC receives from a subsidiary. Additionally, subsidiary’s business adaptation, partnerships and knowledge transfer mechanism with parent company and external partners are investigated. This research, conducted in the Finnish-Russian context, consists of theoretical and empirical parts. The qualitative approach in the form of multiple case studies is employed. The empirical data incorporated primary and secondary data in the form of interviews collected in 2013 and 2015 years. Interviews were collected from four Finnish case companies in Saint-Petersburg and Kaluga region and five Russian partner companies. Results are drawn from two cases from Saint-Petersburg. The abductive research approach for the results analysis is adopted. The results indicate that both competencies lead to the subsidiary’s local embeddedness in the form of mutual business activities with local business partners and product adaptation for the local market needs. In addition to the monetary benefits in form of payments or turnover share, local embeddedness brings the knowledge of the local environment which is utilized by an MNC in the long-term planning. Another found tacit benefit is the access to the national market. This is strategically useful benefit not only for parent MNC but also for the subsidiary’s partners, i.e. international suppliers.

The influence of high cable penetration in distribution networks on earth fault currents and the operation of relay protection.

Recent Storms in Nordic countries were a reason of long power outages in huge territories. After these disasters distribution networks' operators faced with a problem how to provide adequate quality of supply in such situation. The decision of utilization cable lines rather than overhead lines were made, which brings new features to distribution networks. The main idea of this work is a complex analysis of medium voltage distribution networks with long cable lines. High value of cable’s specific capacitance and length of lines determine such problems as: high values of earth fault currents, excessive amount of reactive power flow from distribution to transmission network, possibility of a high voltage level at the receiving end of cable feeders. However the core tasks was to estimate functional ability of the earth fault protection and the possibility to utilize simplified formulas for operating setting calculations in this network. In order to provide justify solution or evaluation of mentioned above problems corresponding calculations were made and in order to analyze behavior of relay protection principles PSCAD model of the examined network have been created. Evaluation of the voltage rise in the end of a cable line have educed absence of a dangerous increase in a voltage level, while excessive value of reactive power can be a reason of final penalty according to the Finish regulations. It was proved and calculated that for this networks compensation of earth fault currents should be implemented. In PSCAD models of the electrical grid with isolated neutral, central compensation and hybrid compensation were created. For the network with hybrid compensation methodology which allows to select number and rated power of distributed arc suppression coils have been offered. Based on the obtained results from experiments it was determined that in order to guarantee selective and reliable operation of the relay protection should be utilized hybrid compensation with connection of high-ohmic resistor. Directional and admittance based relay protection were tested under these conditions and advantageous of the novel protection were revealed. However, for electrical grids with extensive cabling necessity of a complex approach to the relay protection were explained and illustrated. Thus, in order to organize reliable earth fault protection is recommended to utilize both intermittent and conventional relay protection with operational settings calculated by the use of simplified formulas.

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.

Electrical Safety of Island Operated Low Voltage DC Network

Today, renewable energy technologies and modern power electronics have made it feasible to implement low voltage direct current (LVDC) microgrids (MGs) ca-pable to island operation. Such LVDC networks are particularly useful in remote areas. However, there are still pending issues in island operated LVDC MGs like electrical safety and controlled operation, which should be addressed before wide-scale implementation. This thesis is focused on the overall protection of an island operated LVDC network concept, including protection against electrical shocks, mains equipment protection and protection of photovoltaic (PV) power sources and battery energy storage systems (BESSs). The topic is approached through ex-amination of the safety hazards and the appropriate methods to protect against them, comprising considerations for earthing system selection and realisation of the protection system.