Methods of Design and Testing of Real Time Systems

Teollusuussovelluksissa vaaditaan nykyisin yhä useammin reaaliaikaista tiedon käsittelyä. Luotettavuus on yksi tärkeimmistä reaaliaikaiseen tiedonkäsittelyyn kykenevän järjestelmän ominaisuuksista. Sen saavuttamiseksi on sekä laitteisto, että ohjelmisto testattava. Tämän työn päätavoitteena on laitteiston testaaminen ja laitteiston testattavuus, koska luotettava laitteistoalusta on perusta tulevaisuuden reaaliaikajärjestelmille. Diplomityössä esitetään digitaaliseen signaalinkäsittelyyn soveltuvan prosessorikortin suunnittelu. Prosessorikortti on tarkoitettu sähkökoneiden ennakoivaa kunnonvalvontaa varten. Uusimmat DFT (Desing for Testability) menetelmät esitellään ja niitä sovelletaan prosessorikortin sunnittelussa yhdessä vanhempien menetelmien kanssa. Kokemukset ja huomiot menetelmien soveltuvuudesta raportoidaan työn lopussa. Työn tavoitteena on kehittää osakomponentti web -pohjaiseen valvontajärjestelmään, jota on kehitetty Sähkötekniikan osastolla Lappeenrannan teknillisellä korkeakoululla.

Inclusion and empowerment in public art and urban design

To involve citizens in developing the processes of city making is an objective that occupies part of the agenda of political parties in the context of the necessary renewal in representative democracy. This paper aims to provide some answers to the following questions: Is it possible to overcome the participatory processes based exclusively on the consultation? Is it possible to"train" residents to take an active role in decision-making? How can we manage, proactively, the relationship between public actors, technicians and politicians, in a participatory process? We analyse the process development for creating the Wall of Remembrance in the Barcelona neighbourhood of Baró de Viver, a work of public art, created and produced by its neighbours, in the context of a long participatory process focused on changing the image of the neighbourhood and the improvement of public space. This result and this process have been possible in a given context of cooperation among neighbours, local government and the research team (CR-Polis, Art, City, Society at the University of Barcelona). The development of a creative process of citizen participation between 2004 and 2011 made possible the direct management of decision making by the residents on the field of the design of public space in the neighbourhood. However, the material results of the process does not overshadow the great achievement of the project: the inclusion of a neighbourhood in taking informed decisions because of their empowerment in public space design and management of their remembrances.

Software testing design and implementation in a small software company

Monet ohjelmistoyritykset ovat alkaneet kiinnittää yhä enemmän huomiota ohjelmistotuotteidensa laatuun. Tämä on johtanut siihen, että useimmat niistä ovat valinneet ohjelmistotestauksen välineeksi, jolla tätä laatua voidaan parantaa. Testausta ei pidä rajoittaa ainoastaan ohjelmistotuotteeseen itseensä, vaan sen tulisi kattaa koko ohjelmiston kehitysprosessi. Validaatiotestauksessa keskitytään varmistamaan, että lopputuote täyttää sille asetetut vaatimukset, kun taas verifikaatiotestausta käytetään ennaltaehkäisevänä testauksena, jolla pyritään poistamaan virheitä jo ennenkuin ne pääsevät lähdekoodiin asti. Työ, johon tämä diplomityö perustuu, tehtiin alkukevään ja kesän aikana vuonna 2003 Necsom Oy:n toimeksiannosta. Necsom on pieni suomalainen ohjelmistoyritys, jonka tutkimus- ja kehitysyksikkö toimii Lappeenrannassa.Tässä diplomityössä tutustutaan aluksi ohjelmistotestaukseen sekä eri tapoihin sen organisoimiseksi. Tämän lisäksi annetaan yleisiä ohjeita testisuunnitelmien ja testaustapausten tekoon, joita onnistunut ja tehokas testaus edellyttää. Kun tämä teoria on käyty läpi, esitetään esimerkkinä kuinka sisäinen ohjelmistotestaus toteutettiin Necsomilla. Lopuksi esitetään johtopäätökset, joihin päädyttiin käytännön testausprosessin seuraamisen jälkeen ja annetaan jatkotoimenpide-ehdotuksia.

CoDiab-VD: protocol of a prospective population-based cohort study on diabetes care in Switzerland.

BACKGROUND: Diabetes represents an increasing health burden worldwide. In 2010, the Public Health Department of the canton of Vaud (Switzerland) launched a regional diabetes programme entitled "Programme cantonal Diabète" (PcD), with the objectives to both decrease the incidence of diabetes and improve care for patients with diabetes. The cohort entitled CoDiab-VD emerged from that programme. It specifically aimed at following quality of diabetes care over time, at evaluating the coverage of the PcD within this canton and at assessing the impact of the PcD on care of patients with diabetes. METHODS/DESIGN: The cohort CoDiab-VD is a prospective population-based cohort study. Patients with diabetes were recruited in two waves (autumn 2011--summer 2012) through community pharmacies. Eligible participants were non-institutionalised adult patients (≥ 18 years) with diabetes diagnosed for at least one year, residing in the canton of Vaud and coming to a participating pharmacy with a diabetes-related prescription. Women with gestational diabetes, people with obvious cognitive impairment or insufficient command of French were not eligible. Self-reported data collected, included the following primary outcomes: processes-of-care indicators (annual checks) and outcomes of care such as HbA1C, (health-related) quality of life measures (Short Form-12 Health Survey--SF-12, Audit of Diabetes-Dependent Quality of Life 19--ADDQoL) and Patient Assessment of Chronic Illness Care (PACIC). Data on diabetes, health status, healthcare utilisation, health behaviour, self-management activities and support, knowledge of, or participation to, campaigns/activities proposed by the PcD, and socio-demographics were also obtained. For consenting participants, physicians provided few additional pieces of information about processes and laboratory results. Participants will be followed once a year, via a mailed self-report questionnaire. The core of the follow-up questionnaires will be similar to the baseline one, with the addition of thematic modules adapting to the development of the PcD. Physicians will be contacted every 2 years. DISCUSSION: CoDiab-VD will allow obtaining a broad picture of the care of patients with diabetes, as well as their needs regarding their chronic condition. The data will be used to evaluate the PcD and help prioritise targeted actions. TRIAL REGISTRATION: This study is registered with ClinicalTrials.gov, identifier NCT01902043, July 9, 2013.

Control de respiració en temps real per dispositius Android

El projecte està basat en la creació d'una aplicació per dispositius mòbils android i que fent servir l'ús del micròfon capturi el so que genera l'usuari i pugui determinar si s'està respirant i en quin punt de la respiració es troba l'usuari. S'ha dut a terme una filosofia de disseny orientada a l'usuari (DCU) de manera que el primer pas ha sigut realitzar un prototip i un 'sketch'. A continuació, s'han realitzat 10 aplicacions test i en cadascuna d'elles s'ha ampliat la funcionalitat fins a arribar a obtenir una aplicació base que s'aproxima al disseny inicial generat per mitjà del prototip. El més important dels dissenys algorísmics que s'han realitzat per la aplicació es la capacitat de processar el senyal en temps real, ja que fins i tot s'ha pogut aplicar la transformada ràpida de Fourier (FFT) en temps real sense que el rendiment de l'aplicació es veies afectat. Això ha sigut possible gràcies al disseny del processament amb doble buffer i amb un fil d'execució dedicat independent del fil principal d'execució del programa 'UI Thread'

GPS-signal Source Based on Direct Digital Synthesis

This thesis presents the design and implementation of a GPS-signal source suitable for receiver measurements. The developed signal source is based on direct digital synthesis which generates the intermediate frequency. The intermediate frequency is transfered to the final frequency with the aid of an Inphase/Quadrature modulator. The modulating GPS-data was generated with MATLAB. The signal source was duplicated to form a multi channel source. It was shown that, GPS-signals ment for civil navigation are easy to generate in the laboratory. The hardware does not need to be technically advanced if navigation with high level of accuracy is not needed. It was also shown that, the Inphase/Quadrature modulator can function as a single side band upconverter even with a high intermediate frequency. This concept reduces the demands required for output filtering.

The Optimisation of the Draft Tube of a Hydro Power Plant at Off-Design Conditions

Several possible methods of increasing the efficiency and power of hydro power plants by improving the flow passages are investigated in this stydy. The theoretical background of diffuser design and its application to the optimisation of hydraulic turbine draft tubes is presented in the first part of this study. Several draft tube modernisation projects that have been carried out recently are discussed. Also, a method of increasing the efficiency of the draft tube by injecting a high velocity jet into the boundary layer is presented. Methods of increasing the head of a hydro power plant by using an ejector or a jet pump are discussed in the second part of this work. The theoretical principles of various ejector and jet pump types are presented and four different methods of calculating them are examined in more detail. A self-made computer code is used to calculate the gain in the head for two example power plants. Suitable ejector installations for the example plants are also discussed. The efficiency of the ejector power was found to be in the range 6 - 15 % for conventional head increasers, and 30 % for the jet pump at its optimum operating point. In practice, it is impossible to install an optimised jet pump with a 30 % efficiency into the draft tube as this would considerabely reduce the efficiency of the draft tube at normal operating conditions. This demonstrates, however, the potential for improvement which lies in conventional head increaser technology. This study is based on previous publications and on published test results. No actual laboratory measurements were made for this study. Certain aspects of modelling the flow in the draft tube using computational fluid dynamics are discussed in the final part of this work. The draft tube inlet velocity field is a vital boundary condition for such a calculation. Several previously measured velocity fields that have successfully been utilised in such flow calculations are presented herein.

High-Speed Solid-Rotor Induction Machine – Electromagnetic Calculation and Design

Within the latest decade high-speed motor technology has been increasingly commonly applied within the range of medium and large power. More particularly, applications like such involved with gas movement and compression seem to be the most important area in which high-speed machines are used. In manufacturing the induction motor rotor core of one single piece of steel it is possible to achieve an extremely rigid rotor construction for the high-speed motor. In a mechanical sense, the solid rotor may be the best possible rotor construction. Unfortunately, the electromagnetic properties of a solid rotor are poorer than the properties of the traditional laminated rotor of an induction motor. This thesis analyses methods for improving the electromagnetic properties of a solid-rotor induction machine. The slip of the solid rotor is reduced notably if the solid rotor is axially slitted. The slitting patterns of the solid rotor are examined. It is shown how the slitting parameters affect the produced torque. Methods for decreasing the harmonic eddy currents on the surface of the rotor are also examined. The motivation for this is to improve the efficiency of the motor to reach the efficiency standard of a laminated rotor induction motor. To carry out these research tasks the finite element analysis is used. An analytical calculation of solid rotors based on the multi-layer transfer-matrix method is developed especially for the calculation of axially slitted solid rotors equipped with wellconducting end rings. The calculation results are verified by using the finite element analysis and laboratory measurements. The prototype motors of 250 – 300 kW and 140 Hz were tested to verify the results. Utilization factor data are given for several other prototypes the largest of which delivers 1000 kW at 12000 min-1.

Análisis de una experiencia de aprendizaje basado en proyectos en la asignatura de Fundamentos de Física = Project based learning: analysis of an experience in Introductory Physics courses

In this work we present and analyze the application of an experience of Project Based Learning (PBL) in the matter of Physics II of the Industrial Design university degree (Girona University) during 2005-2006 courses. This methodology was applied to the Electrostatic and Direct Current subjects. Furthermore, evaluation and self evaluation results were shown and the academic results were compared with results obtained in the same subjects applying conventional teaching methods

Optimizing Mobile Java Location-Based Services in Symbian OS

This thesis evaluates methods for obtaining high performance in applications running on the mobile Java platform. Based on the evaluated methods, an optimization was done to a Java extension API running on top the Symbian operating system. The API provides location-based services for mobile Java applications. As a part of this thesis, the JNI implementation in Symbian OS was also benchmarked. A benchmarking tool was implemented in the analysis phase in order to implement extensive performance test set. Based on the benchmark results, it was noted that the landmarks implementation of the API was performing very slowly with large amounts of data. The existing implementation proved to be very inconvenient for optimization because the early implementers did not take performance and design issues into consideration. A completely new architecture was implemented for the API in order to provide scalable landmark initialization and data extraction by using lazy initialization methods. Additionally, runtime memory consumption was also an important part of the optimization. The improvement proved to be very efficient based on the measurements after the optimization. Most of the common API use cases performed extremely well compared to the old implementation. Performance optimization is an important quality attribute of any piece of software especially in embedded mobile devices. Typically, projects get into trouble with performance because there are no clear performance targets and knowledge how to achieve them. Well-known guidelines and performance models help to achieve good overall performance in Java applications and programming interfaces.

An analysis of protocols and publications suggested that most discontinuations of clinical trials were not based on preplanned interim analyses or stopping rules.

OBJECTIVES: To investigate the frequency of interim analyses, stopping rules, and data safety and monitoring boards (DSMBs) in protocols of randomized controlled trials (RCTs); to examine these features across different reasons for trial discontinuation; and to identify discrepancies in reporting between protocols and publications. STUDY DESIGN AND SETTING: We used data from a cohort of RCT protocols approved between 2000 and 2003 by six research ethics committees in Switzerland, Germany, and Canada. RESULTS: Of 894 RCT protocols, 289 prespecified interim analyses (32.3%), 153 stopping rules (17.1%), and 257 DSMBs (28.7%). Overall, 249 of 894 RCTs (27.9%) were prematurely discontinued; mostly due to reasons such as poor recruitment, administrative reasons, or unexpected harm. Forty-six of 249 RCTs (18.4%) were discontinued due to early benefit or futility; of those, 37 (80.4%) were stopped outside a formal interim analysis or stopping rule. Of 515 published RCTs, there were discrepancies between protocols and publications for interim analyses (21.1%), stopping rules (14.4%), and DSMBs (19.6%). CONCLUSION: Two-thirds of RCT protocols did not consider interim analyses, stopping rules, or DSMBs. Most RCTs discontinued for early benefit or futility were stopped without a prespecified mechanism. When assessing trial manuscripts, journals should require access to the protocol.

L'utilisation des anticoagulants oraux directs chez les patients âgés : les limites de la médecine fondée sur les preuves [The use of the new direct oral anticoagulants among older subjects: The limits of the evidence-based medicine?].

The growing use of direct oral anticoagulants, in particular among older subjects, raises questions about the limits of the evidence-based medicine. The phase III studies that have validated the efficacy and the safety profile of these molecules (dabigatran, rivaroxaban, apixaban, edoxaban) in their both indications, the venous thromboembolic disease and the non-valvular atrial fibrillation raise concerns in four major fields: the financial support of pharmaceutical companies, the links of interest for many authors with the industry, the study design (exclusively non-inferiority studies), and the poor representativeness of the older subjects included. All these points are discussed, using data of sub-groups studies, post-marketing studies and recent meta-analysis. The lack of data for the very old subjects, with frailty or comorbidities, remains the main concern from these phase III studies.

Classification models for neurocognitive impairment in HIV infection based on demographic and clinical variables

Objective: We used demographic and clinical data to design practical classification models for prediction of neurocognitive impairment (NCI) in people with HIV infection. Methods: The study population comprised 331 HIV-infected patients with available demographic, clinical, and neurocognitive data collected using a comprehensive battery of neuropsychological tests. Classification and regression trees (CART) were developed to btain detailed and reliable models to predict NCI. Following a practical clinical approach, NCI was considered the main variable for study outcomes, and analyses were performed separately in treatment-naïve and treatment-experienced patients. Results: The study sample comprised 52 treatment-naïve and 279 experienced patients. In the first group, the variables identified as better predictors of NCI were CD4 cell count and age (correct classification [CC]: 79.6%, 3 final nodes). In treatment-experienced patients, the variables most closely related to NCI were years of education, nadir CD4 cell count, central nervous system penetration-effectiveness score, age, employment status, and confounding comorbidities (CC: 82.1%, 7 final nodes). In patients with an undetectable viral load and no comorbidities, we obtained a fairly accurate model in which the main variables were nadir CD4 cell count, current CD4 cell count, time on current treatment, and past highest viral load (CC: 88%, 6 final nodes). Conclusion: Practical classification models to predict NCI in HIV infection can be obtained using demographic and clinical variables. An approach based on CART analyses may facilitate screening for HIV-associated neurocognitive disorders and complement clinical information about risk and protective factors for NCI in HIV-infected patients.

Internet-Based Brief Intervention to Prevent Unhealthy Alcohol Use among Young Men: A Randomized Controlled Trial.

INTRODUCTION: Alcohol use is one of the leading modifiable morbidity and mortality risk factors among young adults. STUDY DESIGN: 2 parallel-group randomized controlled trial with follow-up at 1 and 6 months. SETTING/PARTICIPANTS: Internet based study in a general population sample of young men with low-risk drinking, recruited between June 2012 and February 2013. INTERVENTION: Internet-based brief alcohol primary prevention intervention (IBI). The IBI aims at preventing an increase in alcohol use: it consists of normative feedback, feedback on consequences, calorific value alcohol, computed blood alcohol concentration, indication that the reported alcohol use is associated with no or limited risks for health. INTERVENTION group participants received the IBI. Control group (CG) participants completed only an assessment. MAIN OUTCOME MEASURES: Alcohol use (number of drinks per week), binge drinking prevalence. Analyses were conducted in 2014-2015. RESULTS: Of 4365 men invited to participate, 1633 did so; 896 reported low-risk drinking and were randomized (IBI: n = 451; CG: n = 445). At baseline, 1 and 6 months, the mean (SD) number of drinks/week was 2.4(2.2), 2.3(2.6), 2.5(3.0) for IBI, and 2.4(2.3), 2.8(3.7), 2.7(3.9) for CG. Binge drinking, absent at baseline, was reported by 14.4% (IBI) and 19.0% (CG) at 1 month and by 13.3% (IBI) and 13.0% (CG) at 6 months. At 1 month, beneficial intervention effects were observed on the number of drinks/week (p = 0.05). No significant differences were observed at 6 months. CONCLUSION: We found protective short term effects of a primary prevention IBI. TRIAL REGISTRATION: Controlled-Trials.com ISRCTN55991918.

The role of advanced nursing in lung cancer: A framework based development.

PURPOSE: Advanced Practice Lung Cancer Nurses (APLCN) are well-established in several countries but their role has yet to be established in Switzerland. Developing an innovative nursing role requires a structured approach to guide successful implementation and to meet the overarching goal of improved nursing sensitive patient outcomes. The "Participatory, Evidence-based, Patient-focused process, for guiding the development, implementation, and evaluation of advanced practice nursing" (PEPPA framework) is one approach that was developed in the context of the Canadian health system. The purpose of this article is to describe the development of an APLCN model at a Swiss Academic Medical Center as part of a specialized Thoracic Cancer Center and to evaluate the applicability of PEPPA framework in this process. METHOD: In order to develop and implement the APLCN role, we applied the first seven phases of the PEPPA framework. RESULTS: This article spreads the applicability of the PEPPA framework for an APLCN development. This framework allowed us to i) identify key components of an APLCN model responsive to lung cancer patients' health needs, ii) identify role facilitators and barriers, iii) implement the APLCN role and iv) design a feasibility study of this new role. CONCLUSIONS: The PEPPA framework provides a structured process for implementing novel Advanced Practice Nursing roles in a local context, particularly where such roles are in their infancy. Two key points in the process include assessing patients' health needs and involving key stakeholders.