High Performance Electrical Drive System for a Biomechanical Test and Rehabilitation Equipment

Suunniteltiin ja rakennettiin suoraa vääntömomenttisäätöä soveltava taajuudenmuuttajakäyttö oikosulkumoottorin ohjaukseen korvaamaan passiivinen jarrukäyttö. Laite on kuntoutuslaite, jolla tehdään lihasvoiman mittauksia ja voimaharjoituksia. Selvitettiin kaupallisten moottoreiden ja taajuudenmuuttajien suoritusominaisuuksia ja tämän perusteella valittiin käyttöön sopivat laitteet. Työssä esitetään kaksi oikosulkumoottorin ohjaustapaa: vektorisäätö ja suora vääntömomenttisäätö. Merkittävin osa tästä työstä käsittelee - tarkan turvallisuussuunnitelman lisäksi - kuntoutuslaitteen prototyypin komponentteja, kokoamista ja suoritustestien tuloksia.

Prototype of a web-based participative decision support platform in natural hazards and risk management

This paper presents the current state and development of a prototype web-GIS (Geographic Information System) decision support platform intended for application in natural hazards and risk management, mainly for floods and landslides. This web platform uses open-source geospatial software and technologies, particularly the Boundless (formerly OpenGeo) framework and its client side software development kit (SDK). The main purpose of the platform is to assist the experts and stakeholders in the decision-making process for evaluation and selection of different risk management strategies through an interactive participation approach, integrating web-GIS interface with decision support tool based on a compromise programming approach. The access rights and functionality of the platform are varied depending on the roles and responsibilities of stakeholders in managing the risk. The application of the prototype platform is demonstrated based on an example case study site: Malborghetto Valbruna municipality of North-Eastern Italy where flash floods and landslides are frequent with major events having occurred in 2003. The preliminary feedback collected from the stakeholders in the region is discussed to understand the perspectives of stakeholders on the proposed prototype platform.

Particle detector link system modifications in RE1/1 sector

The large hadron collider constructed at the European organization for nuclear research, CERN, is the world’s largest single measuring instrument ever built, and also currently the most powerful particle accelerator that exists. The large hadron collider includes six different experiment stations, one of which is called the compact muon solenoid, or the CMS. The main purpose of the CMS is to track and study residue particles from proton-proton collisions. The primary detectors utilized in the CMS are resistive plate chambers (RPCs). To obtain data from these detectors, a link system has been designed. The main idea of the link system is to receive data from the detector front-end electronics in parallel form, and to transmit it onwards in serial form, via an optical fiber. The system is mostly ready and in place. However, a problem has occurred with innermost RPC detectors, located in sector labeled RE1/1; transmission lines for parallel data suffer from signal integrity issues over long distances. As a solution to this, a new version of the link system has been devised, a one that fits in smaller space and can be located within the CMS, closer to the detectors. This RE1/1 link system has been so far completed only partially, with just the mechanical design and casing being done. In this thesis, link system electronics for RE1/1 sector has been designed, by modifying the existing link system concept to better meet the requirements of the RE1/1 sector. In addition to completion of the prototype of the RE1/1 link system electronics, some testing for the system has also been done, to ensure functionality of the design.

Improving Evaluation and Development Capability in Verification and Validation

Validation and verification operations encounter various challenges in product development process. Requirements for increasing the development cycle pace set new requests for component development process. Verification and validation usually represent the largest activities, up to 40 50 % of R&D resources utilized. This research studies validation and verification as part of case company's component development process. The target is to define framework that can be used in improvement of the validation and verification capability evaluation and development in display module development projects. Validation and verification definition and background is studied in this research. Additionally, theories such as project management, system, organisational learning and causality is studied. Framework and key findings of this research are presented. Feedback system according of the framework is defined and implemented to the case company. This research is divided to the theory and empirical parts. Theory part is conducted in literature review. Empirical part is done in case study. Constructive methode and design research methode are used in this research A framework for capability evaluation and development was defined and developed as result of this research. Key findings of this study were that double loop learning approach with validation and verification V+ model enables defining a feedback reporting solution. Additional results, some minor changes in validation and verification process were proposed. There are a few concerns expressed on the results on validity and reliability of this study. The most important one was the selected research method and the selected model itself. The final state can be normative, the researcher may set study results before the actual study and in the initial state, the researcher may describe expectations for the study. Finally reliability of this study, and validity of this work are studied.

Combined dielectrophoretic and impedance system for on-chip controlled bacteria concentration: Application to Escherichia coli

The present paper reports a bacteria autonomous controlled concentrator prototype with a user-friendly interface for bench-top applications. It is based on a micro-fluidic lab-on-a-chip and its associated custom instrumentation, which consists in a dielectrophoretic actuator, to pre-concentrate the sample, and an impedance analyser, to measure concentrated bacteria levels. The system is composed by a single micro-fluidic chamber with interdigitated electrodes and a instrumentation with custom electronics. The prototype is supported by a real-time platform connected to a remote computer, which automatically controls the system and displays impedance data used to monitor the status of bacteria accumulation on-chip. The system automates the whole concentrating operation. Performance has been studied for controlled volumes of Escherichia coli (E. coli) samples injected into the micro-fluidic chip at constant flow rate of 10 μL/min. A media conductivity correcting protocol has been developed, as the preliminary results showed distortion of the impedance analyser measurement produced by bacterial media conductivity variations through time. With the correcting protocol, the measured impedance values were related to the quantity of bacteria concentrated with a correlation of 0.988 and a coefficient of variation of 3.1%. Feasibility of E. coli on-chip automated concentration, using the miniaturized system, has been demonstrated. Furthermore, the impedance monitoring protocol had been adjusted and optimized, to handle changes in the electrical properties of the bacteria media over time.

A design and a prototype for a mobile information service for tourists

Tourism is one of the biggest industry branches with billions of tourists traveling every year around the world. Therefore, solutions providing tourist information have to be up to date with both changes in the industry and the world’s technological progress. The aim of this thesis is to present a design and a prototype of a tourist mobile service which is individual-oriented, cost-free for the end user, and secure. On the information providers’ side, the solution is implemented as a Webbased database. The end users access the information through a Bluetooth application on their mobile devices. The Bluetooth-based solution allows to avoid any costs for the end users, that is tourists. The study shows that, even with small data transfers, the tourists could save significantly when compared to possible roaming charges for data transfer. Also, the proposed mobile service is not intrusive, as it is provided through an application installed by tourists voluntarily on their mobile devices. Through design and implementation this work shows that it is possible to build a system which can be used to provide information services to tourists through mobile phones. The work achieved a successful ongoing synchronization between the client and the server databases. Implementation and usage were limited to smart phones only, as they provide better technological support for the solution having features like maps, GPS, Wi-Fi, Bluetooth and Databases. Moreover, the design of this system shows how Bluetooth technology can be used effectively as a means of communication while minimizing its shortcomings and risks, such as security, by bypassing Bluetooth server service discovery protocol (SDP) and connecting directly to the device. Apart from showing the design and implementation of the end-user costfree mobile information service, the results of this work also highlight the possible business opportunities to the provider of the service.

Virtuaalimallin hyödyntäminen harvesteripään tuotekehityksessä

Virtuaalimallinnuksella tarkoitetaan koneen simulointia, jossa huomioidaan koneen mekaniikka, toimilaitteet ja ohjausjärjestelmä. Työn tavoitteena oli luoda virtuaalimalli harvesteripäästä. Kyseinen virtuaalimalli sisälsi harvesteripään tärkeimmät mekaaniset osat, pituusmittalaitteen hydrauliikkapiirin ja tämän ohjauksen. Luodussa virtuaalimallissa huomioitiin myös harvesteripään ja puun väliset kontaktit. Lisäksi työssä tutkittiin mahdollista virtuaalimallinnuksen implementoimista osaksi yrityksen tuotekehitysprosessia. Työssä suoritettiin verifiointimittaukset pituusmittalaitteen hydrauliikkapiirille sekä virtuaalimallin hydrauliikkakomponentit parametrisoitiin. Mittauksista saatuja tuloksia verrattiin virtuaalimallista saatuihin tuloksiin. Työssä esitellään myös ehdotus kuinka virtuaalimallinnusta kannattaisi hyödyntää osana yrityksen tuotekehitysprosessia. Virtuaalimallin eri osa-alueilla saavutetut tulokset osoittavat, että virtuaalimallinuksen hyödyntäminen tuotekehitysprosessin aikana mahdollistaa harvesteripään toimintojen tarkastelun ennen prototyypin rakentamista ja testaamista. Lisäksi hydrauliikkapiirin parametrisoimisella pystytään tutkimaan parametrien vaikutusta kokonaisuuteen.

Improving alumni administration by self-built information system : building IMMIT connected' to enhance alumni connection

Alumni are considered as precious resource of the institutions, thus improving alumni adminis-tration is critical. In information era, alumni administration is assisted by widespread information technology, such as social network sites. This paper aims to discover if a self-built information sys-tem would enhance alumni connection in the IMMIT context, and what kind of attributes would be helpful applying to the special context. The current online alumni services at other universities and at the IMMIT host university are analyzed, and then social media is introduced. After illustrating the social capital existing in IM-MIT, the type of the self-built information system is suggested, following an interpretation of the prototype. Two research models are utilized in this article: TAM and intentional social action model. The second model is adjusted with proposed parameters. Afterwards, a survey and an interview protocol are designed under the guidance of the models. The results are analyzed in several groups, and the proposed parameters are tested. A conclusion is drawn to indicate how to improve alumni‟s intention to use and how to achieve a better-accepted design.

Secure Bluetooth Audio Transmission System

The growing spread of small but powerful mobile devices (such as PDAs, mobile phone, Internet Tablet, etc.) opens up new scenarios in which users can interact with such devices in many environments in order to access the information at different locations. In this thesis, a ubiquitous computing based system called Secure Bluetooth Audio Transmission System is introduced. This system is situated in a large public place (like airport, festival venues, etc.), where voice messages are conveyed from the system to users' Bluetooth headsets in order to inform users the latest flight schedule and other public information. The reliability of the message is secured by adopting an authorization strategy and ECDSA. In order to assess and evaluate the risks and potential weaknesses of the system, an easy-to-use prototype implementation was written and tested. Other possible uses and further research were also considered.

Formal development and quantitative verification of dependable systems

-

LVDC power distribution system: computational modelling

In the doctoral dissertation, low-voltage direct current (LVDC) distribution system stability, supply security and power quality are evaluated by computational modelling and measurements on an LVDC research platform. Computational models for the LVDC network analysis are developed. Time-domain simulation models are implemented in the time-domain simulation environment PSCAD/EMTDC. The PSCAD/EMTDC models of the LVDC network are applied to the transient behaviour and power quality studies. The LVDC network power loss model is developed in a MATLAB environment and is capable of fast estimation of the network and component power losses. The model integrates analytical equations that describe the power loss mechanism of the network components with power flow calculations. For an LVDC network research platform, a monitoring and control software solution is developed. The solution is used to deliver measurement data for verification of the developed models and analysis of the modelling results. In the work, the power loss mechanism of the LVDC network components and its main dependencies are described. Energy loss distribution of the LVDC network components is presented. Power quality measurements and current spectra are provided and harmonic pollution on the DC network is analysed. The transient behaviour of the network is verified through time-domain simulations. DC capacitor guidelines for an LVDC power distribution network are introduced. The power loss analysis results show that one of the main optimisation targets for an LVDC power distribution network should be reduction of the no-load losses and efficiency improvement of converters at partial loads. Low-frequency spectra of the network voltages and currents are shown, and harmonic propagation is analysed. Power quality in the LVDC network point of common coupling (PCC) is discussed. Power quality standard requirements are shown to be met by the LVDC network. The network behaviour during transients is analysed by time-domain simulations. The network is shown to be transient stable during large-scale disturbances. Measurement results on the LVDC research platform proving this are presented in the work.

Electroretinography in dogs using a fiber electrode prototype

We compared two electroretinography (ERG) electrodes in dogs using ERG standards of the International Society for Clinical Electrophysiology of Vision (ISCEV). Ten healthy Yorkshire terrier dogs (mean age, 2.80 ± 1.42 years; 6 females) weighing 5.20 ± 1.56 kg were evaluated using an ERG system for veterinary use. Dark- and light-adapted ERG responses were recorded using an ERG-Jet electrode and a fiber electrode prototype. The examinations were performed during 2 visits, 3 weeks apart. Both electrodes (ERG-Jet or fiber prototype) were used on each animal and the first eye to be recorded (OD × OS) was selected randomly. Three weeks later the examination was repeated on the same animal switching the type of electrode to be used that day and the first eye to be examined. The magnitude and waveform quality obtained with the two electrode types were similar for all ERG responses. ERG amplitudes and implicit times obtained from dogs using the fiber electrode prototype were comparable to those obtained with the ERG-Jet electrode for rod, maximal rod-cone summed, cone, and 30-Hz flicker responses. The fiber electrode prototype is a low-cost device, available as an alternative instrument for clinical veterinary ERG recording for retinal function assessment.

Sensor communication in Smart cities and regions: An efficient IoT-based remote health monitoring system

Recent advances in Information and Communication Technology (ICT), especially those related to the Internet of Things (IoT), are facilitating smart regions. Among many services that a smart region can offer, remote health monitoring is a typical application of IoT paradigm. It offers the ability to continuously monitor and collect health-related data from a person, and transmit the data to a remote entity (for example, a healthcare service provider) for further processing and knowledge extraction. An IoT-based remote health monitoring system can be beneficial in rural areas belonging to the smart region where people have limited access to regular healthcare services. The same system can be beneficial in urban areas where hospitals can be overcrowded and where it may take substantial time to avail healthcare. However, this system may generate a large amount of data. In order to realize an efficient IoT-based remote health monitoring system, it is imperative to study the network communication needs of such a system; in particular the bandwidth requirements and the volume of generated data. The thesis studies a commercial product for remote health monitoring in Skellefteå, Sweden. Based on the results obtained via the commercial product, the thesis identified the key network-related requirements of a typical remote health monitoring system in terms of real-time event update, bandwidth requirements and data generation. Furthermore, the thesis has proposed an architecture called IReHMo - an IoT-based remote health monitoring architecture. This architecture allows users to incorporate several types of IoT devices to extend the sensing capabilities of the system. Using IReHMo, several IoT communication protocols such as HTTP, MQTT and CoAP has been evaluated and compared against each other. Results showed that CoAP is the most efficient protocol to transmit small size healthcare data to the remote servers. The combination of IReHMo and CoAP significantly reduced the required bandwidth as well as the volume of generated data (up to 56 percent) compared to the commercial product. Finally, the thesis conducted a scalability analysis, to determine the feasibility of deploying the combination of IReHMo and CoAP in large numbers in regions in north Sweden.

Experimentation on Wind Powered Hydraulic Heating System

It is common knowledge of the world’s dependency on fossil fuel for energy, its unsustainability on the long run and the changing trend towards renewable energy as an alternative energy source. This aims to cut down greenhouse gas emission and its impact on the rate of ecological and climatic change. Quite remarkably, wind energy has been one of many focus areas of renewable energy sources and has attracted lots of investment and technological advancement. The objective of this research is to explore wind energy and its application in household heating. This research aims at applying experimental approach in real time to study and verify a virtually simulated wind powered hydraulic house heating system. The hardware components comprise of an integrated hydraulic pump, flow control valve, hydraulic fluid and other hydraulic components. The system design and control applies hardware in-the-loop (HIL) simulation setup. Output signal from the semi-empirical turbine modelling controls the integrated motor to generate flow. Throttling the volume flow creates pressure drop across the valve and subsequently thermal power in the system to be outputted using a heat exchanger. Maximum thermal power is achieved by regulating valve orifice to achieve optimum system parameter. Savonius rotor is preferred for its low inertia, high starting torque and ease of design and maintenance characteristics, but lags in power efficiency. A prototype turbine design is used; with power output in range of practical Savonius turbine. The physical mechanism of the prototype turbine’s augmentation design is not known and will not be a focus in this study.

A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.