Re-usable ASIC integrationverification software architecture

Mikropiirien valmistus- ja suunnittelutekniikoiden kehittyminen mahdollistaa yhä monimutkaisempien mikropiirien valmistamisen. Piirien verifioinnista onkin tullut prosessin aikaa vievin osa,sillä kompleksisuuden kasvaessa kasvaa verifioinnin tarve eksponentiaalisesti. Vaikka erinäisiä strategioita piirien integroinnin verifiointiin on esitetty, mm. verifioinnin jakaminen koko suunnitteluprosessin ajalle, jopa yli puolet koko piirin suunnitteluun ja valmistukseen käytetystä työmäärästä kuluu verifiointiin. Uudelleenkäytettävät komponentit ovat pääosassa piirin suunnittelussa, mutta verifioinnissa uudelleenkäytettävyyttä ei ole otettu kunnolla käyttöön ainakaan verifiointiohjelmistojen osalta. Tämä diplomityö esittelee uudelleenkäytettävän mikropiirien verifiointiohjelmistoarkkitehtuurin, jolla saadaan verifiointitaakkaa vähennettyä poistamalla verifioinnissa käytettävien ohjelmistojen uudelleensuunnittelun ja toteuttamisen tarvetta.

Verkko-oppimateriaalien uudelleenkäytettävyys ja siirrettävyys oppimisalustalta toiselle

Työssä tarkastellaan oppimisalustoilla käytettäviä testikysymyksiä ja oppisisältöjä uudelleen-käytettävyyden ja siirrettävyyden näkökulmasta. Tavoitteena on selvittää, minkälaisia välineitä määrämuotoisten sisältöjen tuottamista varten on olemassa, ja miten niillä luodut materiaalit ovat siirrettävissä työvälineestä toiseen ja oppimisalustoille. Tutkittavana ovat sisällön paketointiin tarkoitetutSCORM- ja IMS Content Packaging -spesifikaatiot sekä kysymysten esittämiseen tarkoitettu IMS Question and Test Interoperability -spesifikaatio. Pääpaino työssäon selvittää, miten oppisisällöt ovat siirrettävissä WebCT- ja Moodle-alustojenvälillä. Tähän liittyen on luotu ohjeistus, miten yksittäiset tiedostot, kysymykset ja Sisältökokonaisuus-työkalulla koostetut sisällöt siirretään WebCT:ltä Moodleen.

Digitaalisten oppimateriaalien tuottaminen ja uudelleenkäytettävyys

Työssä tarkastellaan digitaalisten oppimateriaalien tuottamiseen ja käyttöön liittyviä ongelmia sekä oppimateriaalien digitaalisuuden mukanaan tuomia etuja ja haittoja. Työssä perehdytään digitaalisten oppimateriaalien tuotannon tekniikoihin ja määrittelyihin. Painopisteenä on erityisesti oppisisältöjen metatiedon muodostamiseen tarkoitetut määrittelyt, sekä digitaalisten oppimateriaalien koostamiseen tarkoitettu SCORM-määrittely. Työnpyrkimyksenä on antaa lukijalle laaja kuva siitä, mitkä ovat ne keinot, joiden avulla nykyisillä tekniikoilla voidaan tuottaa uudelleenkäytettävää, laadukasta digitaalista oppimateriaalia.

Distributed ControlArchitecture of Power Electronics Building-Block-Based Frequency Converters

The increasing power demand and emerging applications drive the design of electrical power converters into modularization. Despite the wide use of modularized power stage structures, the control schemes that are used are often traditional, in other words, centralized. The flexibility and re-usability of these controllers are typically poor. With a dedicated distributed control scheme, the flexibility and re-usability of the system parts, building blocks, can be increased. Only a few distributed control schemes have been introduced for this purpose, but their breakthrough has not yet taken place. A demand for the further development offlexible control schemes for building-block-based applications clearly exists. The control topology, communication, synchronization, and functionality allocationaspects of building-block-based converters are studied in this doctoral thesis. A distributed control scheme that can be easily adapted to building-block-based power converter designs is developed. The example applications are a parallel and series connection of building blocks. The building block that is used in the implementations of both the applications is a commercial off-the-shelf two-level three-phase frequency converter with a custom-designed controller card. The major challenge with the parallel connection of power stages is the synchronization of the building blocks. The effect of synchronization accuracy on the system performance is studied. The functionality allocation and control scheme design are challenging in the seriesconnected multilevel converters, mainly because of the large number of modules. Various multilevel modulation schemes are analyzed with respect to the implementation, and this information is used to develop a flexible control scheme for modular multilevel inverters.

Usability and Security in Medication Administration Applications

The traditional process of filling the medicine trays and dispensing the medicines to the patients in the hospitals is manually done by reading the printed paper medicine chart. This process can be very strenuous and error-prone, given the number of sub-tasks involved in the entire workflow and the dynamic nature of the work environment. Therefore, efforts are being made to digitalise the medication dispensation process by introducing a mobile application called Smart Dosing application. The introduction of the Smart Dosing application into hospital workflow raises security concerns and calls for security requirement analysis. This thesis is written as a part of the smart medication management project at Embedded Systems Laboratory, A° bo Akademi University. The project aims at digitising the medicine dispensation process by integrating information from various health systems, and making them available through the Smart Dosing application. This application is intended to be used on a tablet computer which will be incorporated on the medicine tray. The smart medication management system include the medicine tray, the tablet device, and the medicine cups with the cup holders. Introducing the Smart Dosing application should not interfere with the existing process carried out by the nurses, and it should result in minimum modifications to the tray design and the workflow. The re-designing of the tray would include integrating the device running the application into the tray in a manner that the users find it convenient and make less errors while using it. The main objective of this thesis is to enhance the security of the hospital medicine dispensation process by ensuring the security of the Smart Dosing application at various levels. The methods used for writing this thesis was to analyse how the tray design, and the application user interface design can help prevent errors and what secure technology choices have to be made before starting the development of the next prototype of the Smart Dosing application. The thesis first understands the context of the use of the application, the end-users and their needs, and the errors made in everyday medication dispensation workflow by continuous discussions with the nursing researchers. The thesis then gains insight to the vulnerabilities, threats and risks of using mobile application in hospital medication dispensation process. The resulting list of security requirements was made by analysing the previously built prototype of the Smart Dosing application, continuous interactive discussions with the nursing researchers, and an exhaustive stateof- the-art study on security risks of using mobile applications in hospital context. The thesis also uses Octave Allegro method to make the readers understand the likelihood and impact of threats, and what steps should be taken to prevent or fix them. The security requirements obtained, as a result, are a starting point for the developers of the next iteration of the prototype for the Smart Dosing application.

Usability and Security in Medication. Administration Applications

The traditional process of filling the medicine trays and dispensing the medicines to the patients in the hospitals is manually done by reading the printed paper medicinechart. This process can be very strenuous and error-prone, given the number of sub-tasksinvolved in the entire workflow and the dynamic nature of the work environment.Therefore, efforts are being made to digitalise the medication dispensation process byintroducing a mobile application called Smart Dosing application. The introduction ofthe Smart Dosing application into hospital workflow raises security concerns and callsfor security requirement analysis. This thesis is written as a part of the smart medication management project at EmbeddedSystems Laboratory, A˚bo Akademi University. The project aims at digitising the medicine dispensation process by integrating information from various health systems, and making them available through the Smart Dosing application. This application is intended to be used on a tablet computer which will be incorporated on the medicine tray. The smart medication management system include the medicine tray, the tablet device, and the medicine cups with the cup holders. Introducing the Smart Dosing application should not interfere with the existing process carried out by the nurses, and it should result in minimum modifications to the tray design and the workflow. The re-designing of the tray would include integrating the device running the application into the tray in a manner that the users find it convenient and make less errors while using it. The main objective of this thesis is to enhance the security of the hospital medicine dispensation process by ensuring the security of the Smart Dosing application at various levels. The methods used for writing this thesis was to analyse how the tray design, and the application user interface design can help prevent errors and what secure technology choices have to be made before starting the development of the next prototype of the Smart Dosing application. The thesis first understands the context of the use of the application, the end-users and their needs, and the errors made in everyday medication dispensation workflow by continuous discussions with the nursing researchers. The thesis then gains insight to the vulnerabilities, threats and risks of using mobile application in hospital medication dispensation process. The resulting list of security requirements was made by analysing the previously built prototype of the Smart Dosing application, continuous interactive discussions with the nursing researchers, and an exhaustive state-of-the-art study on security risks of using mobile applications in hospital context. The thesis also uses Octave Allegro method to make the readers understand the likelihood and impact of threats, and what steps should be taken to prevent or fix them. The security requirements obtained, as a result, are a starting point for the developers of the next iteration of the prototype for the Smart Dosing application.

The re-introduction of oral entrance examinations at a translation studies department

Abstract

Mobile terminal adaptation in portal for better usability

Elektroniset finanssipalvelut, erityisesti Internetin kautta käytettynä, on kasvava alue. Elektronisten finanssipalveluiden tarjoajan tulee pystyä tarjoamaan laaja käytettävyys kaikkien kanavien kautta. Laajan käytettävyyden avulla asiakas voi valita haluamansa kanavan haluamanaan aikana. Palveluntarjoajalla tulee olla joustava arkkitehtuuri pystyäkseen tukemaan asiakkaiden muuttuvia vaatimuksia. Joustavalla arkkitehtuurilla päätelaitteeseen mukautuminen on mahdollista ja näin palveluntarjoaja pystyy tarjoamaan tuen monille eri päätelaitteille ja teknologioille helposti ja nopeasti. Diplomityö keskittyy tutkimaan mahdollisuutta monen kanavan tukeen ja päätelaitteeseen mukautumista Nordean tulevassa finanssiportaaliratkaisussa. Tämä pitäisi olla mahdollista uuden arkkitehtuurin kanssa, jonka TietoEnator on toteuttanut yhteistyössä Nordean kanssa. Sivujen rakenteen uudelleenjärjestelyillä saatiin hyviä tuloksia. Nykyisestä arkkitehtuurissa löydettiin myös puutteita ja jäljelle jäi avoimia kysymyksiä, jotka kirjattiin ylös. On selvästi nähtävissä, että tehokas päätelaitteeseen mukautuminen ja tuki monelle kanavalle tuo hyötyjä sekä pankille että asiakkaalle.

Biocide analysis, usability and stability

Biosidien toimittajat tavallisesti suorittavat biosidien annostelumäärien hallinnan paperi- ja kartonkiteollisuudessa. Useimmiten annostelun hallinta määritetään epäsuorilla menetelmillä, kuten esimerkiksi määrittämällä bakteerien kasvua. Biosidien tehoaineiden todellista konsentraatiota tai määrää prosessivesissä tai lopputuotteessa ei tavallisesti mitata. Diplomityössä kehitettiin kolmelle paperiteollisuudessa yleisesti käytetyllä biosidin tehoaineelle analyyttiset menetelmät. Menetelmät kehitettiin glutaraldehydille, 2,2-dibromi-3-nitriilipropionamidi:lle (DBNPA) ja 5-kloori-2-metyyli-4-isotiatsoliini-3-oni:lle (CMI). Kehitettyjä menetelmiä käytettiin tehoaineiden stabiilisuuden seuraamiseen vesiliuoksessa eri pH:ssa ja lämpötilassa. Lisäksi kartonkinäytteistä tehtiin uuttokokeita ja yritettiin kehittää uuttomenetelmät, joilla pystyttäisiin määrittämään biosidien tehoaineiden jäännöspitoisuuksia lopputuotteesta. Glutaraldehydille ja CMI:lle onnistuttiin kehittämään uuttomenetelmät, joilla pystyttiin määrittämään kartongista tutkittujen tehoaineiden jäännöspitoisuudet. Saadut tulokset vaikuttavat realistisilta. Glutaraldehydille ja DBNPA:lle tehtiin stabiilisuuskokeita ja tulokset ovat samankaltaisia mitä muut tutkijat ovat saaneet.

Re-examination of Customer Satisfaction Measurement Results

Asiakastyytyväisyys on läheisesti yhteydessä yrityksen taloudelliseen menestykseen ja yrityksen yleisen laadun määrittämiseen. Asiakastyytyväisyyden mittaamista vaaditaan tällä hetkellä myös ISO 9001 laatujärjestelmästandardissa. Tämän vuoksi tarve tutkia ja mitata asiakastyytyväisyyttä on kasvanut yritysten ja yhteisöjen joukossa. Kokonaisvaltainen asiakastyytyväisyyden tutkiminen sisältää sekä asiakastyytyväisyyden mittaamista ja järjestelmällistä asiakaspalautteen tutkimista ja analysointia. Asiakastyytyväisyysmittaamisessa käytetään menettelytapoja ja tekniikoita, jotka ovat yleisesti käytössä markkinointitutkimuksessa. Menetelmiä on kuitenkin mukautettava, jotta ne sopivat asiakastyytyväisyyden mittaamiseksi. Asiakastyytyväisyysmittaustulosten perusanalyysit ovat helppo toteuttaa mutta tulokset voidaan helposti tulkita väärin ilman syvällisempiä tilastomatemaattisia analyysejä. Asiakastyytyväisyyden mittaaminen on helppo toteuttaa mutta tutkimussuunnitelma ja tulostenkeräysmenetelmä pitää suunnitella huolellisesti, jotta mittaustulosten luotettavuus ja validiteetti voidaan taata. Jotta asiakastyytyväisyyden tutkimisesta saataisiin maksimaalinen hyöty, pitäisi tutkimuksen myös tarkastella kuinka asiakastyytyväisyys, yrityksen sisäinen ja ulkoinen laatu sekä asiakaslojaalisuus ovat yhteydessä toisiinsa.

Minimization of the experimental workload for the prediction of pollutants propagation in rivers. Mathematical modelling and knowledge re-use

The present thesis in focused on the minimization of experimental efforts for the prediction of pollutant propagation in rivers by mathematical modelling and knowledge re-use. Mathematical modelling is based on the well known advection-dispersion equation, while the knowledge re-use approach employs the methods of case based reasoning, graphical analysis and text mining. The thesis contribution to the pollutant transport research field consists of: (1) analytical and numerical models for pollutant transport prediction; (2) two novel techniques which enable the use of variable parameters along rivers in analytical models; (3) models for the estimation of pollutant transport characteristic parameters (velocity, dispersion coefficient and nutrient transformation rates) as functions of water flow, channel characteristics and/or seasonality; (4) the graphical analysis method to be used for the identification of pollution sources along rivers; (5) a case based reasoning tool for the identification of crucial information related to the pollutant transport modelling; (6) and the application of a software tool for the reuse of information during pollutants transport modelling research. These support tools are applicable in the water quality research field and in practice as well, as they can be involved in multiple activities. The models are capable of predicting pollutant propagation along rivers in case of both ordinary pollution and accidents. They can also be applied for other similar rivers in modelling of pollutant transport in rivers with low availability of experimental data concerning concentration. This is because models for parameter estimation developed in the present thesis enable the calculation of transport characteristic parameters as functions of river hydraulic parameters and/or seasonality. The similarity between rivers is assessed using case based reasoning tools, and additional necessary information can be identified by using the software for the information reuse. Such systems represent support for users and open up possibilities for new modelling methods, monitoring facilities and for better river water quality management tools. They are useful also for the estimation of environmental impact of possible technological changes and can be applied in the pre-design stage or/and in the practical use of processes as well.

Factors affecting the usability of aspen (Populus tremula) wood dried at different temperature levels

In this dissertation the main aim was to study the usability of aspen wood in the mechanical wood processes, especially the factors that affect the usability of aspen wood, which is dried at different temperature levels. The problematic of varying temperatures from level to another seem to have significant effects on distortions. According to the studies conducted, many practical solutions for drying of aspen timber can be made. European aspen sawn timber should be dried in relatively narrow widths, short lengths, edged and sawn pith free. The results achieved give an interesting view for the distortions of aspen wood between HT drying and heat treatment. The most significant result is that cupping seems to decrease when increasing temperature level from HT drying to heat treatment phase. The difference is significant. Other very obvious result is that bow and crook are increasing between these two temperature levels, bow significantly. Also the modelling gives a good background for this result since cupping is reduced by higher temperatures. It can also be assumed that these distortions can be affected for example by sorting out the timber used to different moisture levels before drying. This could be a very simple solution for practical purposes. From practical point of view, it was also noted during the drying tests performed that the discoloration seem to be no problem for aspen boards dried in temperatures under 150 °C. Altogether, this dissertation covers many interesting points of view of factors affecting distortions of wood in different temperature stages. Aspen as species in use of mechanical wood industries seems to be a species suitable for component production. According to the results, the best yield from aspen timber can be achieved in industry that can utilize relatively short components of sawn wood. Results achieved give a significant indication about the factors affecting distortions of wood at different temperature stages of drying, especially considering European aspen.