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.

Systemaattisen toimittaja-arviointimenetelmän kehittäminen

Tutkielman aihealueena on tavarantoimittaja-arvioinnin systematisointi, koskien nykyisiä toimittajia. Tutkielma on tehty case-yrityksen toimeksiannosta. Työssä kehitellään arviointimenetelmä toimittaja-arviointiin, joka testataan esimerkin omaisesti case-yrityksen kolmen nykyisen toimittajan osalta. Arviointikriteerit valittiin yrityksessä tehtyjen haastattelujen ja teorian pohjalta. Arvioinnin oletuksena on, että tunnusluvut ovat saatavissa Business Warehouse- järjestelmästä. Arviointikriteerit on tarkoitus pisteyttää myöhemmin, jotta voidaan laskea toimittajan kokonaissuoriutuminen. Toimittajia voidaan tällöin myös vertailla keskenään tuoteryhmien sisällä ja niiden välillä. Tutkielmassa kehitetty menetelmä mahdollistaa systemaattisen toimittaja-arvioinnin käynnistämisen. Case-yrityksen on kuitenkin jatkuvasti paranneltava ja kehitettävä arviointia entisestään. Business Warehouse –järjestelmän toimivuus käytännössä on edellytys arvioinnin aloitukselle. Toimittajien arvioimisen tulokset tulevat näkymään yrityksessä ajan kanssa. Tarkoituksena on kehittää toimittajasuhteita tärkeimpien toimittajien kanssa. Arvioinnin jatkuessa pystytään toimittajien suoriutumista seuraamaan pitkällä tähtäimellä ja muutokset suorituskyvyssä havaitaan nopeasti. Arviointimenetelmän varsinainen käyttöönotto jää case-yrityksen tehtäväksi. Työn kontribuutiona kehitetään case-yrityksen tarpeita vastaava yksilöllinen menetelmä toimittajien systemaattiseen arviointiin.

Anàlisi de l'estat de canvis en el patrimoni net i l'estat de fluxos d'efectiu : interpretació i anàlisi 2007-2011

L’objectiu d’aquest treball ha estat l’anàlisi dels dos nous documents comptables, l’Estat de Canvis en el Patrimoni Net – ECPN – i l’Estat de Fluxos d’Efectiu – EFE‐, introduïts amb la reforma comptable de 2007 [Reial Decret 1514/2007 de 16 de novembre i Reial Decret 1515/2007 per a petites i mitjanes empreses]. Aquest anàlisis s’ha portat a terme amb la finalitat d’analitzar com ha millorat i augmentat la informació per la presa de millors decisions tant per les empreses com per analistes externs. El treball consta de dues parts, la primera part està formada per un anàlisis teòric d’aquests dos documents. La segona part està formada per un anàlisis pràctic de les empreses del sector de Materials Bàsics, Indústria i Construcció de la Borsa de Madrid. D’aquestes empreses s’ha realitzat un anàlisis convencional i l’ anàlisis dels corresponents ECPN i EFE de cadascuna de les empreses, amb l’objectiu de comprovar la millora de la informació.

Centralized Identity Management for Web Applications

Internet-palvelujen määrä kasvaa jatkuvasti. Henkilöllä on yleensä yksi sähköinen identiteetti jokaisessa käyttämässään palvelussa. Autentikointitunnusten turvallinen säilytys käy yhä vaikeammaksi, kun niitä kertyy yhdet jokaisesta uudesta palvelurekisteröitymisestä. Tämä diplomityö tarkastelee ongelmaa ja ratkaisuja sekä palvelulähtöisestä että teknisestä näkökulmasta. Palvelulähtöisen identiteetinhallinnan liiketoimintakonsepti ja toteutustekniikat – kuten single sign-on (SSO) ja Security Assertion Markup Language (SAML) – käydään läpi karkeiden esimerkkien avulla sekä tutustuen Nokia Account -hankkeessa tuotetun ratkaisun konseptiin ja teknisiin yksityiskohtiin. Nokia Account -palvelun ensimmäisen version toteutusta analysoidaan lopuksi identiteetinhallintapalveluiden suunnitteluperiaatteita ja vaatimuksia vasten.

Dokumentinhallinta verkottuneessa teollisuusympäristössä

Dokumentinhallintajärjestelmien kehittyessä vuosi vuodelta voi yritykselle tulla aiheelli-seksi vaihtaa jo käytössä oleva dokumentinhallinjärjestelmä uuteen. Tällaisessa tilanteessa katsotaan uuden järjestelmän hyödyn olevan suurempi kuin dokumentinhallinjärjestelmän vaihdosta koituvat kustannukset. Myös yhtiön sisäisen rakenteen tai toimintamallien muu-tos voi aiheellistaa dokumentinhallintajärjestelmän vaihtoon. Suurimpia haasteita dokumentinhallijärjestelmästä toiseen siirtymisessä oli dokumentin mukana tulevien ominaisuuksien (attributes) muuntamisessa uuden dokumentinhallijärjes-telmän mukaisiksi. Ominaisuuksien muuttamisella optimoidaan hyötyä, jota dokumentin-hallintajärjestelmän vaihdosta saadaan. Tämä kuitenkin pidentää dokumentinhallijärjestel-mien siirtoaikaa. Jotta siirtoaikaa voitaisiin lyhentää, oli luotava muunnostaulukoita joiden mukaan teknisten dokumenttien ominaisuuksia muutetaan uuteen muotoon. Näitä muunnostaulukoita tulkit-sevat pääasiassa muunnokseen kehitetyt ohjelmat, mutta vaikeissa tapauksissa muunnok-sen joutuu hoitamaan ihminen. Siirron yhteydessä päätavoitteena on kuitenkin informaati-on säilyminen tai jopa sen kasvattaminen, vaikka se työtä hidastaisikin. Kasvavassa teollisuusyrityksessä teknisten dokumenttien versiointivauhti on kova ja koska dokumentteja versioi yleensä myös jokin ulkopuolinen taho, on dokumenttien liikenne suurta myös yrityksen dokumentinhallintajärjestelmän ulkopuolella. Dokumentit voivat liikkua joko kahden eri verkossa olevan dokumentinjärjestelmän välillä tai dokumenteilla voi olla jokin ulkoinen sijoituspaikka versioinnin aikana. Täten on yrityksen otettava huo-mioon myös dokumentinhallijärjestelmän ulkopuolinen dokumentinhallinta.

On the Analysis and Control of a Linear Synchronous Servomotor with a Flexible Load

Industry's growing need for higher productivity is placing new demands on mechanisms connected with electrical motors, because these can easily lead to vibration problems due to fast dynamics. Furthermore, the nonlinear effects caused by a motor frequently reduce servo stability, which diminishes the controller's ability to predict and maintain speed. Hence, the flexibility of a mechanism and its control has become an important area of research. The basic approach in control system engineering is to assume that the mechanism connected to a motor is rigid, so that vibrations in the tool mechanism, reel, gripper or any apparatus connected to the motor are not taken into account. This might reduce the ability of the machine system to carry out its assignment and shorten the lifetime of the equipment. Nonetheless, it is usually more important to know how the mechanism, or in other words the load on the motor, behaves. A nonlinear load control method for a permanent magnet linear synchronous motor is developed and implemented in the thesis. The purpose of the controller is to track a flexible load to the desired velocity reference as fast as possible and without awkward oscillations. The control method is based on an adaptive backstepping algorithm with its stability ensured by the Lyapunov stability theorem. As a reference controller for the backstepping method, a hybrid neural controller is introduced in which the linear motor itself is controlled by a conventional PI velocity controller and the vibration of the associated flexible mechanism is suppressed from an outer control loop using a compensation signal from a multilayer perceptron network. To avoid the local minimum problem entailed in neural networks, the initial weights are searched for offline by means of a differential evolution algorithm. The states of a mechanical system for controllers are estimated using the Kalman filter. The theoretical results obtained from the control design are validated with the lumped mass model for a mechanism. Generalization of the mechanism allows the methods derived here to be widely implemented in machine automation. The control algorithms are first designed in a specially introduced nonlinear simulation model and then implemented in the physical linear motor using a DSP (Digital Signal Processor) application. The measurements prove that both controllers are capable of suppressing vibration, but that the backstepping method is superior to others due to its accuracy of response and stability properties.

Toiminnan laadun parantaminen organisaation itsearvioinnilla – tutkimus Suomen puolustusvoimien tulosyksiköissä

Laajoilla kyselylomaketutkimuksilla on tutkittu organisaation itsearvioinnin käyttöönoton motiiveja, käyttöä ja käytön hyötyjä 1990-luvulla ja 2000-luvun alussa. Organisaation itsearviointia on myös tutkittu laatupalkintomallien soveltamisen yhteydessä. Kolmas tutkimussuuntaus, johon myös tämä tutkimus sisältyy, on organisaation itsearvioinnin tutkiminen erilaisissa asiayhteyksissä. Tämän tutkimuksen tarkoituksena on lisätä tietoa ja ymmärrystä organisaation itsearvioinnista ja sen vaikuttavuudesta tutkimalla, miten organisaatiota itsearvioidaan maavoimien valmiusyhtymissä ja Maasotakoulussa. Näissä neljässä paikallistutkimuksessa käytin tutkimusotteena tapaustutkimuksen mukaista tutkimusstrategiaa. Aiempien tutkimuksien tulosten perusteella tärkein yhdistävä tekijä toiminnan parantamisessa on pyrkimys kokonaisvaltaisuuteen toiminnan laadun parantamisessa ja erinomaisuuden tavoittelussa. Osin kokonaisvaltaisuuteen sisältyviä ja sitä tukevia tekijöitä ovat jatkuvan parantamisen periaatteen käyttäminen ja oppivan organisaation edellyttämien toimintaedellytyksien luominen ja niiden huomioon ottaminen toiminnassa. Edelleen yhteisenä tekijänä ovat johdon sitoutumisen ja osallistumisen vaikutukset työntekijöiden osallistumiseen ja sitoutumiseen. Teorian perusteella olen arvioinut muodostuvan kolme organisaation itsearvioinnin strategisen tason johtamiskäytäntöä, jotka ovat ”Laatupalkinnon hakeminen”, ”Toiminnan ja tulosten arviointi” sekä ”Toiminnan kypsyyden arviointi”. Tutkimuksen tulosten perusteella organisaation itsearvioinnin vaikuttavuuden merkityskokonaisuus on selitettävissä viiden teeman avulla. Koko tutkimusaineiston yhdistäväksi vaikuttavuuden teemaksi, josta myös organisaation itsearvioinnin vaiheistus saa tukea, muodostuu teema ”organisaation itsearviointi ja tulosjohtaminen”. Tämän teeman perusteella organisaation itsearvioinnin vaikuttavuus perustuu itsearvioinnin käyttämiseen sekä tulosyksikön sisäisenä että johdon strategisen tason itsearviointina osana tulosjohtamista. Samoin teema ”ollaanko samaa perhettä” löytyy jokaisesta tutkimuskohteena olleesta tulosyksiköstä. Teeman perusteella vaikuttavuus perustuu siihen, että organisaation itsearvioinnin tilaisuus koetaan sosiaalisena tapahtumana ja organisaation itsearviointi vahvistaa työntekijöiden osallistumista ja sitoutumista toiminnan laadun parantamiseen. Vaikuttavuuden teemoissa ”poistetaan kivi kengästä, ja hiertäminen loppuu siihen”, ”strateginen valinta” ja ”henkilöstön työhyvinvoinnin edistäminen” organisaation itsearvioinnin vaikuttavuus on tulosyksikkökohtainen. Organisaation itsearvioinnista haetaan vaikuttavuutta organisaation itsearvioinnista saatavien tulosten nopealla toimeenpanolla. Vaikuttavuuteen pyritään systemaattisella eri organisaation tasoilla tehtävillä toiminnan kuvauksilla, mihin liittyy laatupalkinnon hakeminen. Vaikuttavuuteen voidaan myös päästä työpistelähtöisesti henkilöstön johtamisen ja hallinnon kautta. Vaiheistettua organisaation itsearviointia voidaan käyttää osana tulosjohtamista. Muita keskeisiä tutkimustuloksia ovat organisaation itsearvioinnin välittömät ja välilliset vaikutukset. Tutkimuksen tulosten perusteella teen suositukset organisaation itsearvioinnin johtamiskäytännöistä ja organisaation itsearvioinnin vaiheistuksesta osana tulosyksikön tulosjohtamista. Kolmas suositus käsittää organisaation itsearvioinnin käytön palautejärjestelmänä.

Vähittäiskaupan tavarantoimittaja-arviointi -tapaustutkimus

Organisaatio tarvitsee työkaluja toimittajien suorituskyvyn mittaukseen ja kehittämiseen. Ilman systemaattista mittaamista ja arviointia ostajat eivät tiedä kuinka hyvin toimittajat suoriutuvat velvoitteistaan. Tutkielman tavoit-teena oli analysoida vähittäiskaupan tavarantoimittajien arviointiprosessia keskittyen päivittäistavarakaupan toimialaan ja tavarantoimittajiin sekä luoda toimittajien arviointiin pilottiraportti. Tutkielma on tehty päivittäistavarakaupan kohdeyrityksen toimeksiannosta. Tutkielman teoreettinen aineisto pohjautuu aikaisempaan kirjallisuuteen ja tutkimukseen. Tutkielman empiiriseen osaan aineistoa kerättiin kohdeyrityksen henkilöstön haastatteluilla sekä osallistuvan havainnoinnin avulla. Lisäksi tutkija perehtyi kohdeyrityksessä käytössä olevaan tietovarastointi-sovellukseen. Kirjallisen aineiston avulla rakennettu tutkimuksen teoreettinen osa perustuu aikaisempaan tutkimukseen. Empiirinen osa muodostuu neljästä teemahaastattelusta, jotka suoritettiin kohdeyrityksessä. Haastattelujen tarkoituksena oli rakentaa tutkijalle kuva kohdeyrityksen tavarantoimittaja-arvioinnin nykytilasta. Tutkielmassa havainnollistettiin yksinkertainen raportointimalli yhden tavararyhmän arviointiin ja arviointitiedon analysointiin. Raportointimallilla havainnollistetaan tavarantoimittaja-arviointidatan käyttöä toimittaja-arvioinnissa. Jatkossa on olennaista keskittyä systemaattisen raportoinnin edelleen kehittämiseen ja arviointitiedon hyväksikäyttöön neuvotteluissa toimittajan kanssa. Lisäksi toimittajien luokittelu tavararyhmien sisällä on tärkeää jotta arvioinnissa voidaan keskittyä kaikista tärkeimpiin toimittajiin.

Addenda a la biografia i l'obra del pintor Joan Arnau Moret (1603-1693)

The present article treats of the painter Joan Arnau Moret, catalan painter of the 17th century. Aspects treat each other as the order of the great picture preserved in the cathedral of Barcelona with the iconography The de live ry o f the ke ys of the city of Barcelona to the Immaculate, the biographical news it extracted of the process of canonization of santa Maria of Cervelló or the professional relation that Joan Arnau joined with the prince Joan Josep d’Àustria newly finished the Segadors war (The Reapers’ War). Of them the study also announces a work – the Saint Cathe rine o f Ale xandria of the chapel of Saint Catherine of the cathedral of Girona – proposes to attribute four paintings more – the paintings of the altarpiece of The Saints fo ur Martyrs of the cathedral of Girona – and thinks about the controversial paintings of the altarpiece of the Castle of Vilassar and of the monastery of Sant Joan of the Abadesses. Finally, by means of the stylistic reading of the new works, which the author considers of the best of his catalogue, one tries to demonstrate that thesources of your figurative culture and stylistic are in the painting of Madrid of the first decades of the 17th century

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.

Performance Management of a Next Generation Network

Today's communication networks consist of numerous interdependent network components. To manage these networks and to ensure their reliable and efficient operation to meet the increasing customer usability demands, extensive network management tools are required from the service provider. The goal of this study was to adapt the Next Generation Network (NGN) providing VoIP services within a performance oriented network management system. This study focuses only on NGN network and the project was implemented as an assignment of the Network Operations Center of Elisa Corporation. The theoretical part of this study introduces the network environment of the Elisa NGN platform: its components and used signalling protocols as well as other exploitable communication protocols. In addition, the Simple Network Management Protocol (SNMP) is closely examined since it is commonly used as the basis of IP (Internet Protocol) network management. Also some primary applications enabled by the NGN technology are introduced. The empirical part of this study contains a short overview of the implemented network performance management system and its properties. The most crucial monitored MIB modules, SNMP parameters and implemented performance measurements are described. The trap topology and the role of the traps for management of the NGN platform are considered and finally, the conclusion based on the several disquisitions is made supported with suggestions for future improvements.

Learning journalistic opinion genres using CLIL methodology

The Faculty of Business and Communication recently started an internationalization process that, in two year’s time, will allow all undergraduate students (studying Journalism, Audiovisual Communication, Advertising and Public Relations, Business and Marketing) to take 25% of their subjects in English using CLIL methodology. Currently, Journalism is the degree course with the greatest percentage of CLIL subjects, for example Current Affairs Workshop, a subject dedicated to analyzing current news using opinion genres. Moreover, because of the lack of other subjects offered in English, ERASMUS students have to take some journalism subjects in order to complete their international passport, and one of the classes they choose is the Current Affairs Workshop. The aim of this paper is to explore how CLIL methodology can be useful for learning journalistic opinion genres (chat-shows, discussions and debates) in a subject where Catalan Communication students –with different levels of English- share their knowledge with European students of other social disciplines. Students work in multidisciplinary groups in which they develop real radio and TV programs, adopting all the roles (moderator, technician, producer and participants), analyzing daily newspapers and other sources to create content, based on current affairs. This paper is based on the participant observation of the lecturers of the subject, who have designed different activities related to journalistic genres, where students can develop their skills according to the role they play in every assignment. Examples of successful lessons will be given, in addition to the results of the course: both positive and negative. Although the objective of the course is to examine professional routines related to opinion genres, and students are not directly graded on their level of English, the Catalan students come to appreciate how they finally overcome their fear of working in a foreign language. This is a basic result of their experience.

Los beneficios de la Terapia con animales y naturaleza sobre las personas con diversidad funcional

El objetivo del proceso de investigación de mi Trabajo de Fin de Grado recae en los beneficios que tienen la naturaleza y los animales sobre las personas con diversidad funcional y más precisamente sobre las personas con trastorno mental. Lo que me motivó en esta investigación fue en primer lugar mi pasión por estos ámbitos y en segundo lugar porque conocía la existencia de dos proyectos magníficos. Uno en el Zoo de Barcelona (Proyecto de voluntariado de personas con Trastorno Mental grave con el Zoo de Barcelona) y otro en la protectora de perros y gatos (CCAAS : Centro Comarcal de Atención a animales de compañía). Para eso me he sumergido en estos proyectos para poder comprender el impacto que tenía la naturaleza y los animales sobre los usuarios. Han participado directamente cinco usuarios. He usado varias metodologías como la observación, el diario de campo, la fotografía y la entrevista semi-estructurada. Los resultados extraídos de la investigación muestran como existen beneficios y tienen un impacto positivo hacia las dimensiones bio-psico-social de las personas con trastorno mental. Las limitaciones del proyecto dependen de la voluntad de participación de cada usuario y a la naturaleza del estudio.

Traducció del testament de Charles Robert Darwin

L’objectiu principal d’aquest treball és assumir el que podria ser un encàrrec real d’un text jurídic. Així que, en aquest treball es tradueix un testament. Els testaments són documents a través dels quals una persona disposa els seus béns per tal que després de la seva mort una altra se’n faci càrrec. El testament escollit ha estat el de Charles Robert Darwin, que va morir el 19 d’abril de 1882 a Down, en el comptat de Kent, Anglaterra, on hi visqué 40 anys, des del 1842 fins la seva mort. Aquest testament té unes particularitats concretes, ja que fa uns 190 anys que es va firmar. El dret successori anglès, regit per la Llei de successions de protecció de la família i tuïció de 1975 és molt diferent del dret successori català. Així doncs, coneixerem les diferències entre el dret successori català i l’anglès. També, veurem tots passos que han estat necessaris per portar a terme aquest treball.

Understanding oceanic migrations with intrinsic biogeochemical markers

Migratory marine vertebrates move annually across remote oceanic water masses crossing international borders. Many anthropogenic threats such as overfishing, bycatch, pollution or global warming put millions of marine migrants at risk especially during their long-distance movements. Therefore, precise knowledge about these migratory movements to understand where and when these animals are more exposed to human impacts is vital for addressing marine conservation issues. Because electronic tracking devices suffer from several constraints, mainly logistical and financial, there is emerging interest in finding appropriate intrinsic markers, such as the chemical composition of inert tissues, to study long-distance migrations and identify wintering sites. Here, using tracked pelagic seabirds and some of their own feathers which were known to be grown at different places and times within the annual cycle, we proved the value of biogeochemical analyses of inert tissue as tracers of marine movements and habitat use. Analyses of feathers grown in summer showed that both stable isotope signatures and element concentrations can signal the origin of breeding birds feeding in distinct water masses. However, only stable isotopes signalled water masses used during winter because elements mainly accumulated during the long breeding period are incorporated into feathers grown in both summer and winter. Our findings shed new light on the simple and effective assignment of marine organisms to distinct oceanic areas, providing new opportunities to study unknown migration patterns of secretive species, including in relation to human-induced mortality on specific populations in the marine environment.