Load balancing in P2P smartphone based distributed IoT systems

With the new age of Internet of Things (IoT), object of everyday such as mobile smart devices start to be equipped with cheap sensors and low energy wireless communication capability. Nowadays mobile smart devices (phones, tablets) have become an ubiquitous device with everyone having access to at least one device. There is an opportunity to build innovative applications and services by exploiting these devices’ untapped rechargeable energy, sensing and processing capabilities. In this thesis, we propose, develop, implement and evaluate LoadIoT a peer-to-peer load balancing scheme that can distribute tasks among plethora of mobile smart devices in the IoT world. We develop and demonstrate an android-based proof of concept load-balancing application. We also present a model of the system which is used to validate the efficiency of the load balancing approach under varying application scenarios. Load balancing concepts can be apply to IoT scenario linked to smart devices. It is able to reduce the traffic send to the Cloud and the energy consumption of the devices. The data acquired from the experimental outcomes enable us to determine the feasibility and cost-effectiveness of a load balanced P2P smart phone-based applications.

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 development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

How Lean Six Sigma and Agile principles optimize ITIL-based processes

Imagine the potential implications of an organization whose business and IT processes are well aligned and are capable of reactively and proactively responding to the external and internal changes. The Philips IT Infrastructure and Operations department (I&O) is undergoing a series of transformation activities to help Philips business keeping up with the changes. I&O would serve a critical function in any business sectors; given that the I&O’s strategy switched from “design, build and run” to “specify, acquire and performance manage”, that function is amplified. In 2013, I&O’s biggest transforming programme I&O Futures engaged multiple interdisciplinary departments and programs on decommissioning legacy processes and restructuring new processes with respect to the Information Technology Internet Library (ITIL), helping I&O to achieve a common infrastructure and operating platform (CI&OP). The author joined I&O Futures in the early 2014 and contributed to the CI&OP release 1, during which a designed model Bing Box and its evaluations were conducted through the lens of six sigma’s structured define-measure-analyze-improve-control (DMAIC) improvement approach. This Bing Box model was intended to firstly combine business and IT principles, namely Lean IT, Agile, ITIL best practices, and Aspect-oriented programming (AOP) into a framework. Secondly, the author implemented the modularized optimization cycles according to the defined framework into Philips’ ITIL-based processes and, subsequently, to enhance business process performance as well as to increase efficiency of the optimization cycles. The unique of this thesis is that the Bing Box model not only provided comprehensive optimization approaches and principles for business process performance, but also integrated and standardized optimization modules for the optimization process itself. The research followed a design research guideline that seek to extend the boundaries of human and organizational capabilities by creating new and innovative artifacts. The Chapter 2 firstly reviewed the current research on Lean Six Sigma, Agile, AOP and ITIL, aiming at identifying the broad conceptual bases for this study. In Chapter 3, we included the process of constructing the Bing Box model. The Chapter 4 described the adoption of Bing Box model: two-implementation case validated by stakeholders through observations and interviews. Chapter 5 contained the concluding remarks, the limitation of this research work and the future research areas. Chapter 6 provided the references used in this thesis.

(E)-2-Nonenal determination in brazilian beers using headspace solid-phase microextraction and gas chromatographic coupled mass spectrometry (HS-SPME-GC-MS)

(E)-2-nonenal is considered an important off-flavor of beer, related to the flavor of beer staling. In this study, a new method for determination of (E)-2-nonenal in beer using headspace solid-phase microextraction and gas chromatographic coupled mass spectrometry (HS-SPME-GC-MS) was developed and applied in Brazilian beer samples. The extractions were carried out in CAR-PDMS (carboxen-polydimethylsiloxane) fiber and the best results were found with 15 minutes of equilibrium and 90 minutes of extraction at 50 °C. The method was linear in the range from 0.02 to 4.0 μg.L-1 with correlation coefficient of 0.9994. The limits of detection and quantification were 0.01 and 0.02 μg.L-1, respectively. 96.5% of recovery and 4% precision (RSD) were obtained in the fortification of beer samples with 2.0 μg.L-1 of (E)-2-nonenal. The developed method proved to be simple, efficient and highly sensitive to the determination of this analyte being easily applied in the quality control of the brewery. (E)-2-nonenal was found in all beer samples analyzed with levels between 0.17 and 0.42 μg.L-1.

Physicochemical and sensory changes in aged sugarcane spirit submitted to filtering with activated carbon filter

Sugarcane spirit is a drink considered as a national symbol of Brazil. It is produced by large producers and by about 30 thousand small and medium home-distilling producers dispersed throughout the country. The copper originating from the home-distillers can become a serious problem since at high concentrations in beverages it may cause serious human health problems. Therefore, the objective of this study was to investigate the influence of the activated carbon used in commercial filters on the physicochemical and sensory characteristics of aged sugarcane spirit. Analyses of copper, dry extract, alcoholic degree, higher alcohols, volatile acids, aldehydes, esters, furfural, and methanol were performed. The sensory evaluation was performed by seven selected trained judges, who analyzed the yellow color, woody aroma and flavor, and intensity of alcoholic aroma and flavor of the cane spirit before and after the filtration process. The sensory tests were carried out using a 9 cm non-structured intensity scale. A reduction was observed in all compounds analyzed physicochemically, except for the esters, which increased after filtration. This increase is probably due to the esterification of the alcohols and acids present. According to the sensory results obtained, a reduction was observed in the intensity of the yellow color, aroma, and wood flavor characteristics, the major characteristics of the aging process.

Development and validation of a method for detection and quantification of ochratoxin A in green coffee using liquid chromatography coupled to mass spectrometry

A method using Liquid Chromatography Tanden Mass Spectrometry (LC-MS/MS) with matrix-matched calibration curve was developed and validated for determining ochratoxin A (OTA) in green coffee. Linearity was found between 3.0 and 23.0 ng.g-1. Mean recoveries ranged between 90.45% and 108.81%; the relative standard deviation under repeatability and intermediate precision conditions ranged from 5.39% to 9.94% and from 2.20% to 14.34%, respectively. The limits of detection and quantification were 1.2 ng.g-1 and 3.0 ng.g-¹, respectively. The method developed was suitable and contributed to the field of mycotoxin analysis, and it will be used for future production of the Certified Reference Material (CRM) for OTA in coffee.

Fusion of Data from Quadcopter’s Inertial Measurement Unit Using Complementary Filter

A quadcopter is a helicopter with four rotors, which is mechanically simple device, but requires complex electrical control for each motor. Control system needs accurate information about quadcopter’s attitude in order to achieve stable flight. The goal of this bachelor’s thesis was to research how this information could be obtained. Literature review revealed that most of the quadcopters, whose source-code is available, use a complementary filter or some derivative of it to fuse data from a gyroscope, an accelerometer and often also a magnetometer. These sensors combined are called an Inertial Measurement Unit. This thesis focuses on calculating angles from each sensor’s data and fusing these with a complementary filter. On the basis of literature review and measurements using a quadcopter, the proposed filter provides sufficiently accurate attitude data for flight control system. However, a simple complementary filter has one significant drawback – it works reliably only when the quadcopter is hovering or moving at a constant speed. The reason is that an accelerometer can’t be used to measure angles accurately if linear acceleration is present. This problem can be fixed using some derivative of a complementary filter like an adaptive complementary filter or a Kalman filter, which are not covered in this thesis.

Construction of a supercritical fluid extraction (SFE) equipment: validation using annatto and fennel and extract analysis by thin layer chromatography coupled to image

Abstract The present work describes setting up a laboratory unit for supercritical fluid extraction. In addition to its construction, a survey of cost was done to compare the cost of the homemade unit with that of commercial units. The equipment was validated using an extraction of annatto seeds’ oil, and the extraction and fractionation of fennel oil were used to validate the two separators; for both systems, the solvent was carbon dioxide. The chemical profiles of annatto and fennel extracts were assessed using thin layer chromatography; the images of the chromatographic plates were processed using the free ImageJ software. The cost survey showed that the homemade equipment has a very low cost (~US$ 16,000) compared to commercial equipment. The extraction curves of annatto were similar to those obtained in the literature (yield of 3.8% oil). The separators were validated, producing both a 2.5% fraction of fennel seed extract rich in essential oils and another extract fraction composed mainly of oleoresins. The ImageJ software proved to be a low-cost tool for obtaining an initial evaluation of the chemical profile of the extracts.

A software engineering approach to distributed systems for composite modeling

The goal of this thesis is to define and validate a software engineering approach for the development of a distributed system for the modeling of composite materials, based on the analysis of various existing software development methods. We reviewed the main features of: (1) software engineering methodologies; (2) distributed system characteristics and their effect on software development; (3) composite materials modeling activities and the requirements for the software development. Using the design science as a research methodology, the distributed system for creating models of composite materials is created and evaluated. Empirical experiments which we conducted showed good convergence of modeled and real processes. During the study, we paid attention to the matter of complexity and importance of distributed system and a deep understanding of modern software engineering methods and tools.

Situational awareness for critical infrastructure protection

Postgraduate seminar series with a title Situational Awareness for Critical Infrastructure Protection held at the Department of Military Technology of the National Defence University in 2015. This book is a collection of some of talks that were presented in the seminar. The papers address designing inter-organizational situation awareness system, principles of designing for situation awareness, situation awareness in distributed teams, vulnerability analysis in a critical system context, tactical Command, Control, Communications, Computers, & Intelligence (C4I) systems, and improving situational awareness in the circle of trust. This set of papers tries to give some insight to current issues of the situation awareness for critical infrastructure protection. The seminar has always made a publication of the papers but this has been an internal publication of the Finnish Defence Forces and has not hindered publication of the papers in international conferences. Publication of these papers in peer reviewed conferences has indeed been always the goal of the seminar, since it teaches writing conference level papers. We still hope that an internal publication in the department series is useful to the Finnish Defence Forces by offering an easy access to these papers.

Distributed energy resources in an electricity retailer’s short-term profit optimization

Liberalization of electricity markets has resulted in a competed Nordic electricity market, in which electricity retailers play a key role as electricity suppliers, market intermediaries, and service providers. Although these roles may remain unchanged in the near future, the retailers’ operation may change fundamentally as a result of the emerging smart grid environment. Especially the increasing amount of distributed energy resources (DER), and improving opportunities for their control, are reshaping the operating environment of the retailers. This requires that the retailers’ operation models are developed to match the operating environment, in which the active use of DER plays a major role. Electricity retailers have a clientele, and they operate actively in the electricity markets, which makes them a natural market party to offer new services for end-users aiming at an efficient and market-based use of DER. From the retailer’s point of view, the active use of DER can provide means to adapt the operation to meet the challenges posed by the smart grid environment, and to pursue the ultimate objective of the retailer, which is to maximize the profit of operation. This doctoral dissertation introduces a methodology for the comprehensive use of DER in an electricity retailer’s short-term profit optimization that covers operation in a variety of marketplaces including day-ahead, intra-day, and reserve markets. The analysis results provide data of the key profit-making opportunities and the risks associated with different types of DER use. Therefore, the methodology may serve as an efficient tool for an experienced operator in the planning of the optimal market-based DER use. The key contributions of this doctoral dissertation lie in the analysis and development of the model that allows the retailer to benefit from profit-making opportunities brought by the use of DER in different marketplaces, but also to manage the major risks involved in the active use of DER. In addition, the dissertation introduces an analysis of the economic potential of DER control actions in different marketplaces including the day-ahead Elspot market, balancing power market, and the hourly market of Frequency Containment Reserve for Disturbances (FCR-D).

Characterization of the filter media used in the dual media filter

The removal of organics from copper electrolyte solutions after solvent extraction by dual media filtration is one of the most efficient ways to ensure the clean electrolyte flow into the electrowinning. The clean electrolyte will ensure the good quality cathode plate production. Dual media filtration uses two layers of filter media for filtration as anthracite and garnet respectively. The anthracite layer will help the coalescing of the entrained organic droplets which will then float to the top of the filter, and back to the solvent extraction process. The garnet layer will catch any solids left in the electrolyte traveling through the filter media. This thesis will concentrate on characterization of five different anthracites in order to find some differences using specific surface area analysis, particle size analysis, and morphology analysis. These results are compared to the pressure loss values obtained from lab column tests and bed expansion behavior. The goal of the thesis was to find out if there were any differences in the anthracite which would make the one perform better than the other. There were no big differences found on any aspect of the particle characterization, but some found differences should be further studied in order to confirm the meaning of the porosity, surface area, intensity mean and intensity SD (Standard Deviation) on anthracites and their use in dual media filtration. The thesis work analyzed anthracite samples the way that is not found on any public literature sources, and further studies on the issue would bring more knowledge to the electrolyte process.