El Marco Común Europeo de Referencia: su utilidad en la planificación y evaluación de un test de comprensión de lectura de ELE

Eurooppalainen viitekehys ja sen hyödyllisyys espanjan luetun ymmärtämisen testin suunnittelussa ja arvioinnissa Tämän pro gradu -tutkielman tavoitteena oli tutkia Eurooppalaista viitekehystä espanjan luetun ymmärtämisen testin suunnittelun ja arvioinnin pohjana. Työn teoriaosa koostuu kahdesta pääaiheesta: Eurooppalaisesta viitekehyksestä ja vieraalla kielellä lukemisesta. Viitekehys on 2000-luvun alussa julkaistu Euroopan neuvoston projekti, jonka tarkoituksena on näyttää suunta modernille kielten opetukselle Euroopassa. Teoksen ehkä kuuluisin osa ovat kielitaitoa mittaavat taitotasot, perinteisen asteikon mukaisesti A1 – C2. Muun muassa juuri taitotasojen avulla eurooppalaista kielten opiskelua ja opetusta on voitu yhtenäistää – esimerkiksi eri maiden oppilaitosten tutkintoja, kielikursseja ja kielitestejä pystytään nykyään vertailemaan helposti. Vieraalla kielellä lukeminen on ollut erittäin suosittu tutkimuksen kohde jo pitkään. Tässä tutkielmassa esitellään muutamia vieraan kielen lukemisen teorioita (kuten skeemateoria), malleja (kuten Rumelhartin malli) ja strategioita (Mendoza Fillolan strategiat). Lisäksi käsitellään vieraalla kielellä lukemisen ongelmia ja sitä, miten vieraalla kielellä lukemista voidaan opettaa. Empiirisessä osassa kuvaillaan tutkimusta, johon osallistui 35 tutkimushenkilöä jotka jaettiin kolmeen vertailuryhmään. Keskeisessä osassa empiiristä osiota on, testitulosten lisäksi, kuvaus Eurooppalaisen viitekehyksen toimivuudesta espanjan luetun ymmärtämisen testin suunnittelussa ja arvioinnissa. Testin tuloksista päätellen ryhmistä selvästi parhaiten suoriutui ryhmä A, joka koostui kielikeskuksen opiskelijoista. Huomattiin myös, että B- ja C-ryhmien sisäisissä kokonaistuloksissa oli enemmän hajontaa kuin A:n tuloksissa. Tutkimuksesta saatujen kokemusten perusteella todettiin, että Eurooppalainen viitekehys sisältää melko hyödyllisiä yleisen tason ohjeita ja muita lähtökohtia tällaisen testin suunnittelua ja arviointia varten. Teosta tulisi kuitenkin kehittää – konkreettiset ja selkeät esimerkit ja ohjeet tekisivät siitä huomattavasti käyttökelpoisemman. Eurooppalainen viitekehys näkyy varmasti yhä enemmän tulevaisuuden kielten oppimisessa ja opetuksessa. Myös meillä Suomessa viitekehystä arvostetaan: lähivuosina muun muassa ylioppilaskokeiden arvosanat saavat rinnalleen viitekehyksessä määritellyt taitotasot.

Cost-benefit analysis of using test automation in the development of embedded software

The goal of this thesis is to make a case study of test automation’s profitability in the development of embedded software in a real industrial setting. The cost-benefit analysis is done by considering the costs and benefits test automation causes to software development, before the software is released to customers. The potential benefits of test automation regarding software quality after customer release were not estimated. Test automation is a significant investment which often requires dedicated resources. When done accordingly, the investment in test automation can produce major cost savings by reducing the need for manual testing effort, especially if the software is developed with an agile development framework. It can reduce the cost of avoidable rework of software development, as test automation enables the detection of construction time defects in the earliest possible moment. Test automation also has many pitfalls such as test maintainability and testability of the software, and if those areas are neglected, the investment in test automation may become worthless or it may even produce negative results. The results of this thesis suggest that test automation is very profitable at the company under study.

Mechanical design and analysis of modular active magnetic bearing test rig

Tässä työssä on tutkittu modulaarisen aktiivimagneettilaakeroidun koelaitteen mekaanista suunnittelua ja analysointia. Suurnopeusroottorin suunnittelun teoria on esitelty. Lisäksi monia analyyttisiä mallinnusmenetelmiä mekaanisten kuormitusten mallintamiseksi on esitelty. Koska kyseessä on suurnopeussähkökone, roottoridynamiikka ja sen soveltuvuus suunnittelussa on esitelty. Magneettilaakerien rakenteeseen ja toimintaan on tutustuttu osana tätä työtä. Kirjallisuuskatsaus nykyisistä koelaitteista esimerkiksi komponenttien ominaisuuksien tunnistamiseen ja roottoridynamiikan tutkimuksiin on esitelty. Työn rajauksena on konseptisuunnittelu muunneltavalle magneettilaakeroidulle (AMB) koelaitteelle ja suunnitteluprosessin dokumentointi. Muunneltavuuteen päädyttiin, koska se mahdollistaa erilaisten komponenttiasetteluiden testaamisen erilaisille magneettilaakerikokoonpanoille ja roottoreille. Pääpaino tässä työssä on suurnopeus induktiokoneen roottorin suunnittelussa ja mallintamisessa. Modulaaristen toimilaitteiden kuten magneettilaakerien ja induktiosähkömoottorin rakenne on esitelty ja modulaarisen rakenteen käytettävyyden hyödyistä koelaitekäytössä on dokumentoitu. Analyyttisiä ja elementtimenetelmään perustuvia tutkimusmenetelmiä on käytetty tutkittaessa suunniteltua suurnopeusroottoria. Suunnittelun ja analysoinnin tulokset on esitelty ja verrattu keskenään eri mallinnusmenetelmien välillä. Lisäksi johtopäätökset sähkömagneettisten osien liittämisen monimutkaisuudesta ja vaatimuksista roottoriin ja toimilaitteisiin sekä mekaanisten että sähkömagneettisten ominaisuuksien optimoimiseksi on dokumentoitu.

Early modes of exegesis : ideal figures in Malachi as a test case

Antikens judiska bibeltolkare hade ett annorlunda sätt att läsa Bibeln än den som moderna läsare är vana vid. Dessa tidiga exegeter tänkte att texten som nu finns i den hebreiska Bibeln, de kristnas Gamla Testamente, är helig ordagrant i den form som den fanns i under deras tid, att den inte innehåller några fel, och att Gud har en övergripande plan gällande helheten, så att man vid behov kan förklara ett Bibelställe med hjälp av ett annat. Dessa antaganden reflekteras i det sätt på vilket antikens exegeter läste och tolkade sin Bibel. Det här ser man då man läser deras texter, från 400-talet före vår tideräknings början till de första århundradena enligt vår tideräkning. Ett verktyg som antikens skrifttolkare ofta använde var den så kallade gezera shava -metoden, där de jämförde identiska ord och fraser i Bibeln för att skänka belysning åt oklara textställen. Hebreiskan, särskilt den ovokaliserade konsonanttexten, innehåller många homonyma ord, alltså ord som ser likadana ut men har olika betydelser. De tidiga exegeterna utnyttjade ofta de möjligheter till alternativa tolkningar som uppstår ur denna tvetydighet. Ibland kunde de dock tvärtom också dra paralleller ur kontextuella likheter, alltid efter behov. I denna avhandling står dessa tidiga anonyma bibeltolkare och deras tolkningar i fokus. Malakis bok, som härstammar från ca år 475 f.v.t., kan ses som ett viktigt tidigt exempel på denna tendens till nytolkning av traditioner. Boken själv har dock också blivit föremål till nytolkningar, redan i de tilläggsverser som finns i dess slut, men särskilt i senare judisk litteratur och i Nya Testamentet. I avhandlingen granskas de fem bibliska gestalter som nämns i Malaki: Jakob, Esau, Levi, Mose och Elia. Hur används de i boken och hur har senare traditioner som anknyter till dem influerats av Malaki? ------------------------------------------------ Antiikin juutalaiset raamatunselittäjät lukivat Raamattua eri tavoin kuin moderni lukija. Heidän näkemyksensä mukaan se teksti, joka nykyään löytyy heprealaisesta Raamatusta eli kristittyjen Vanhasta testamentista, oli pyhä juuri sellaisessa muodossa, jossa se oli heille välittynyt. Se oli virheetön, ja Jumalalla oli siitä kokonaisnäkemys, joka voisi selvitä myös tulkitsijalle, kun tämä vain tutkisi tekstiä riittävän tarkkaan. Nämä perusoletukset näkyvät tavassa, jolla antiikin eksegeetit lukivat ja tulkitsivat Raamattuaan. Se voidaan huomata heidän jälkeensä jättämistään teksteistä, alkaen noin 400-luvulta ennen ajanlaskumme alkua ja jatkuen ajanlaskumme ensimmäisiin vuosisatoihin. Antiikin raamatunselittäjät käyttivät yleisesti muun muassa metodia, joka rabbiinisessa kirjallisuudessa tunnetaan nimellä gezera shava. Raamatussa kahdessa tai useammassa kohtaa esiintyviä samoja sanoja ja ilmauksia verrattiin tällöin toisiinsa ja pyrittiin siten saamaan valaistusta epäselvinä pidettyihin tekstinkohtiin. Heprealle, etenkin sen vokalisoimattomassa muodossa, on tyypillistä homonyymisyys. Samannäköiset sanat voivat eri yhteyksissä tarkoittaa eri asioita. Varhaiset eksegeetit päätyivät usein tästä ilmiöstä nouseviin, keskenään vaihtoehtoisiin tulkintoihin. Toisaalta he saattoivat myös tarvittaessa selittää tekstinkohtaa toisella tekstinkohdalla ainoastaan näiden sisällöllisenkin yhtäläisyyden perusteella. Tässä väitöstutkimuksessa tarkastellaan näitä varhaisia, meille nimettömiksi jääneitä raamatunselittäjiä ja heidän tulkintojaan käyttämällä tutkimuksen lähtökohtana Malakian kirjaa. Malakiaa, joka on peräisin noin vuodelta 475 ennen ajanlaskumme alkua, voidaan pitää yhtenä tärkeimmistä ja varhaisimmista teksteistä, joissa traditioita yhdistellään ja kerrotaan uudelleen edellä mainittuihin perusajatuksiin nojaten ja niihin pohjautuvia menetelmiä käyttäen. Toisaalta Malakian kirjaa on myös tulkittu samojen periaatteiden mukaisesti jo sen myöhemmältä ajalta peräisin olevissa loppujakeissa, ja sittemmin muussa varhaisessa juutalaisessa kirjallisuudessa sekä Uudessa testamentissa. Väitöstutkimuksessa tarkastellaan erityisesti niitä viittä henkilöä, jotka mainitaan Malakian kirjassa: Jaakobia, Esauta, Leeviä, Moosesta ja Eliaa. Kirjoittaja tutkii, miten heidän hahmojaan on käytetty Malakian kirjassa, millaisiin heitä koskeviin traditioihin tämä käyttötapa perustuu, ja missä määrin Malakian kirjan vaikutus on havaittavissa myöhemmässä näihin henkilöihin liitetyssä perinteessä.

Potential and Challenges of Analog Reconfigurable Computation in Modern and Future CMOS

In this work, the feasibility of the floating-gate technology in analog computing platforms in a scaled down general-purpose CMOS technology is considered. When the technology is scaled down the performance of analog circuits tends to get worse because the process parameters are optimized for digital transistors and the scaling involves the reduction of supply voltages. Generally, the challenge in analog circuit design is that all salient design metrics such as power, area, bandwidth and accuracy are interrelated. Furthermore, poor flexibility, i.e. lack of reconfigurability, the reuse of IP etc., can be considered the most severe weakness of analog hardware. On this account, digital calibration schemes are often required for improved performance or yield enhancement, whereas high flexibility/reconfigurability can not be easily achieved. Here, it is discussed whether it is possible to work around these obstacles by using floating-gate transistors (FGTs), and analyze problems associated with the practical implementation. FGT technology is attractive because it is electrically programmable and also features a charge-based built-in non-volatile memory. Apart from being ideal for canceling the circuit non-idealities due to process variations, the FGTs can also be used as computational or adaptive elements in analog circuits. The nominal gate oxide thickness in the deep sub-micron (DSM) processes is too thin to support robust charge retention and consequently the FGT becomes leaky. In principle, non-leaky FGTs can be implemented in a scaled down process without any special masks by using “double”-oxide transistors intended for providing devices that operate with higher supply voltages than general purpose devices. However, in practice the technology scaling poses several challenges which are addressed in this thesis. To provide a sufficiently wide-ranging survey, six prototype chips with varying complexity were implemented in four different DSM process nodes and investigated from this perspective. The focus is on non-leaky FGTs, but the presented autozeroing floating-gate amplifier (AFGA) demonstrates that leaky FGTs may also find a use. The simplest test structures contain only a few transistors, whereas the most complex experimental chip is an implementation of a spiking neural network (SNN) which comprises thousands of active and passive devices. More precisely, it is a fully connected (256 FGT synapses) two-layer spiking neural network (SNN), where the adaptive properties of FGT are taken advantage of. A compact realization of Spike Timing Dependent Plasticity (STDP) within the SNN is one of the key contributions of this thesis. Finally, the considerations in this thesis extend beyond CMOS to emerging nanodevices. To this end, one promising emerging nanoscale circuit element - memristor - is reviewed and its applicability for analog processing is considered. Furthermore, it is discussed how the FGT technology can be used to prototype computation paradigms compatible with these emerging two-terminal nanoscale devices in a mature and widely available CMOS technology.

Analysing the power consumption behaviour of Ethernet switch using Design of Experiment

At present, one of the main concerns of green network is to minimize the power consumption of network infrastructure. Surveys show that, the highest amount of power is consumed by the network devices during its runtime. However to control this power consumption it is important to know which factors has highest impact on this matter. This paper is focused on the measurement and modeling the power consumption of an Ethernet switch during its runtime considering various types of input parameters with all possible combinations. For the experiment, three input parameters are chosen. They are bandwidth, link load and number of connections. The output to be measured is the power consumption of the Ethernet switch. Due to the uncertain power consuming pattern of the Ethernet switch a fully-comprehensive experimental evaluation would require an unfeasible and cumbersome experimental phase. Because of that, design of experiment (DoE) method has been applied to obtain adequate information on the effects of each input parameters on the power consumption. The whole work consists of three parts. In the first part a test bed is planned with input parameters and the power consumption of the switch is measured. The second part is about generating a mathematical model with the help of design of experiment tools. This model can be used for measuring precise power consumption in different scenario and also pinpoint the parameters with higher influence in power consumption. And in the last part, the mathematical model is evaluated by comparing with the experimental values.

The role of auditors in the Finnish limited liability companies as to solvency test in the context of asset distribution

Suomen osakeyhtiölain mukaan varoja ei saa jakaa, jos jaosta päätettäessä tiedetään tai pitäisi tietää yhtiön olevan maksukyvytön tai jaon aiheuttavan maksukyvyttömyyden. Ongelmallista on, että maksukykyä ei ole selvästi määritelty laissa tai hallituksen esityksessä. Tilintarkastuslain mukaan tilintarkastajan on siten huomautettava, jos maksukykytestiä on rikottu, mutta tilintarkastaja joutuu yleensä määrittelemään tällaiset huomauttamista vaativat tilanteet itse. Maksukykytestistä on kirjoitettu suomalaisessa yhtiöoikeuden ja laskentatoimen kirjallisuudessa melko kattavasti. Kuitenkin tilintarkastajaa koskeva näkökulma on saanut osakseen suhteellisen vähän huomiota. Tästä näkökulmasta on kirjoitettu vain joitakin korkeakoulujen tutkielmia sekä lyhyehköjä ammatillisia seminaariesityksiä. Tämän tutkielman tavoitteena on ollut koota laaja yleiskuva siitä, miten tilintarkastajat itse kokevat asemansa ja tehtävänsä yllä kuvatuissa tilanteessa. Tutkielmassa on käyty läpi aikaisempaa yhtiöoikeuden ja laskentatoimen kirjallisuudessa ja seminaariesityksissä esitettyä aineistoa. Lisäksi tutkielmaa varten tehtiin suomalaisille tilintarkastajille kohdennettu Internet-pohjainen kysely. Tutkielma selkeyttää kuvaa siitä, miten tilintarkastajat toimivat yllä kuvatussa tilanteessa ja miten he ovat sopeuttaneet toimiaan yhteiskunnan institutionaalisen asetelman muututtua. Kirjallisuuden pohjalta tapahtuva teoreettinen analyysi on yhdistetty kyselyyn siitä, miten tilintarkastajat käytännössä toimivat. Tutkimuksen perustana olevaa tietoa on analysoitu pääosin kyselytutkimuksen menetelmin, mutta myös tilastollisen tutkimuksen menetelmiä on käytetty. Tutkielman tuloksena tutkielmassa selvitetään tilintarkastajan tehtäviä maksukykytestin yhteydessä. Tuloksena voidaan myös todeta, että tilintarkastaja ei suorita varojenjaossa tarvittavan maksukyvyn arvioinnin kannalta keskeisiä tarkastustoimenpiteitä ainoastaan tilikauden päättymisen jälkeen. Päinvastoin, tällaisia tarkastustoimenpiteitä suoritetaan enemmän tai vähemmän koko tilintarkastuksen aikana. Lisäksi vaikuttaisi siltä, että tilintarkastajan oma suhtautuminen maksukykytestiin on ainakin jossain määrin merkityksellinen sen kannalta, kuinka paljon tarkastustoimenpiteitä tehdään ja kuinka paljon maksukyvystä ja siihen liittyvistä puutteista raportoidaan yhtiön johdolle.

Suorituskyvyn mittaus ja controller toimintojen kehittäminen Venäjällä toimivassa yhteisyrityksessä

Tässä työssä tutkittiin kahden suomalaisen yrityksen omistamaa yhteisyritystä Venäjällä. Tavoitteena oli kehittää tasapainotettu mittaristo suorituskyvyn mittaukseen johtamisen tueksi. Lisäksi oli tarve parantaa materiaalinhallintaa kehittämällä controllerin työtä helpottava työkalu, sekä kehittää materiaalinhallinnan prosessia läpinäkyvämmäksi ja suoraviivaisemmaksi. Työ koostuu teoreettisesta ja empiirisestä osuudesta. Teoria koostuu raportoinnista, suorituskyvyn mittauksesta ja materiaalinhallinnan seurannasta. Työssä käytettiin laadullisia menetelmiä ja tutkimustyypiksi valikoitui toimintatutkimus. Teoreettinen aineisto on peräisin julkaisuista ja alan kirjallisuudesta. Empiirinen aineisto kerättiin pääosin haastatteluista, benchmarkkauksesta ja dokumenteista. Työn tuloksena saavutettiin päätavoite, eli kehitettiin Excel – pohjaiset työkalut suorituskyvyn mittaukseen ja materiaalinhallinnan seurantaan. Lisäksi kehitettiin kirjallinen ohjeistus näiden työkalujen käyttöön ja materiaalinhallintaprosessien suoraviivaistamiseksi. Diplomityö helpottaa yrityksen johtamista ja kontrollointia sekä sisäisesti että ulkoisesti omistajanäkökulmasta katsottuna. Venäjällä toimivan ulkomaalaisomisteisen yrityksen seuranta on haastavaa, jossa prosessien toimivuus ja läpinäkyvyys ovat olennaisessa roolissa.

Simulation and material calibration of ultra high strength steel (UHSS) S960 welded joint under static tensile test utilizing finite element method (FEM)

The aim of this work was to calibrate the material properties including strength and strain values for different material zones of ultra-high strength steel (UHSS) welded joints under monotonic static loading. The UHSS is heat sensitive and softens by heat due to welding, the affected zone is heat affected zone (HAZ). In this regard, cylindrical specimens were cut out from welded joints of Strenx® 960 MC and Strenx® Tube 960 MH, were examined by tensile test. The hardness values of specimens’ cross section were measured. Using correlations between hardness and strength, initial material properties were obtained. The same size specimen with different zones of material same as real specimen were created and defined in finite element method (FEM) software with commercial brand Abaqus 6.14-1. The loading and boundary conditions were defined considering tensile test values. Using initial material properties made of hardness-strength correlations (true stress-strain values) as Abaqus main input, FEM is utilized to simulate the tensile test process. By comparing FEM Abaqus results with measured results of tensile test, initial material properties will be revised and reused as software input to be fully calibrated in such a way that FEM results and tensile test results deviate minimum. Two type of different S960 were used including 960 MC plates, and structural hollow section 960 MH X-joint. The joint is welded by BöhlerTM X96 filler material. In welded joints, typically the following zones appear: Weld (WEL), Heat affected zone (HAZ) coarse grained (HCG) and fine grained (HFG), annealed zone, and base material (BaM). Results showed that: The HAZ zone is softened due to heat input while welding. For all the specimens, the softened zone’s strength is decreased and makes it a weakest zone where fracture happens while loading. Stress concentration of a notched specimen can represent the properties of notched zone. The load-displacement diagram from FEM modeling matches with the experiments by the calibrated material properties by compromising two correlations of hardness and strength.

Blue and Uv-Emitting Upconversion Nanoparticles: Synthesis and (Bio) Analytical Applications.

Rare-earth based upconverting nanoparticles (UCNPs) have attracted much attention due to their unique luminescent properties. The ability to convert multiple photons of lower energy to ones with higher energy through an upconversion (UC) process offers a wide range of applications for UCNPs. The emission intensities and wavelengths of UCNPs are important performance characteristics, which determine the appropriate applications. However, insufficient intensities still limit the use of UCNPs; especially the efficient emission of blue and ultraviolet (UV) light via upconversion remains challenging, as these events require three or more near-infrared (NIR) photons. The aim of the study was to enhance the blue and UV upconversion emission intensities of Tm3+ doped NaYF4 nanoparticles and to demonstrate their utility in in vitro diagnostics. As the distance between the sensitizer and the activator significantly affect the energy transfer efficiency, different strategies were explored to change the local symmetry around the doped lanthanides. One important strategy is the intentional co-doping of active (participate in energy transfer) or passive (do not participate in energy transfer) impurities into the host matrix. The roles of doped passive impurities (K+ and Sc3+) in enhancing the blue and UV upconversions, as well as in influencing the intense UV upconversion emission through excess sensitization (active impurity) were studied. Additionally, the effects of both active and passive impurity doping on the morphological and optical performance of UCNPs were investigated. The applicability of UV emitting UCNPs as an internal light source for glucose sensing in a dry chemistry test strip was demonstrated. The measurements were in agreement with the traditional method based on reflectance measurements using an external UV light source. The use of UCNPs in the glucose test strip offers an alternative detection method with advantages such as control signals for minimizing errors and high penetration of the NIR excitation through the blood sample, which gives more freedom for designing the optical setup. In bioimaging, the excitation of the UCNPs in the transparent IR region of the tissue permits measurements, which are free of background fluorescence and have a high signal-to-background ratio. In addition, the narrow emission bandwidth of the UCNPs enables multiplexed detections. An array-in-well immunoassay was developed using two different UC emission colours. The differentiation between different viral infections and the classification of antibody responses were achieved based on both the position and colour of the signal. The study demonstrates the potential of spectral and spatial multiplexing in the imaging based array-in-well assays.

Automated UI testing. WBCT, a computer-automated user test environment tool.

Today, the user experience and usability in software application are becoming a major design issue due to the adaptation of many processes using new technologies. Therefore, the study of the user experience and usability might be included in every software development project and, thus, they should be tested to get traceable results. As a result of different testing methods to evaluate the concepts, a non-expert on the topic might have doubts on which option he/she should opt for and how to interpret the outcomes of the process. This work aims to create a process to ease the whole testing methodology based on the process created by Seffah et al. and a supporting software tool to follow the procedure of these testing methods for the user experience and usability.