RFID-teknologia ja kulunvalvontajärjestelmät

RFID on radioaaltoja hyväksikäyttävä langaton kommunikointitekniikka, jota käytetään tunnistamaan tunnisteella merkittyjä esineitä tai ihmisiä yksilöinä. RFID on jo pitkään ollut tunnettu tekniikka, mutta vasta viime vuosikymmeninä sitä on alettu hyödyntämään kaupallisesti eri sovellusaloilla. Kandidaatintyön tarkoituksena on tehdä yleiskatsaus RFID:n historiaan, järjestelmien osiin ja niiden toimintaan sekä kartoittaa RFID-markkinoiden nykytilaa ja lähitulevaisuutta sekä globaalilta kannalta että Suomessa. Lopuksi työssä tarkastellaan RFID-perusteisten kulunvalvontajärjestelmien perusominaisuuksia ja niiden toimintaa.

Palkitseminen asiantuntijaorganisaatiossa

Palkitseminen on yksi keskeisimmistä työorganisaatioon liittyvistä välineistä, jonka avulla on mahdollista vaikuttaa työntekijän sitoutumiseen organisaatiossa. Tässä tutkimuksessa tarkasteltiin asiantuntijaorganisaation käyttämiä aineellisia ja aineettomia palkitsemistapoja sekä niiden toimivuutta ja vaikutusta henkilöstön sitoutumiseen. Tutkimus toteutettiin tapaustutkimuksena. Tutkimuksen kohdeorganisaatioksi valittiin yhdyskuntasuunnittelualan organisaatio. Tutkimusaineisto kerättiin tutkimuskohteesta teemahaastattelujen avulla joulukuussa 2010. Tutkimukseen valittiin viisi potentiaalisista yrityksen tulevaa avainhenkilöä. Tutkimuksen tarkastelunäkökulma oli työntekijäläh-töinen. Tutkimuksessa ei käsitelty johdon palkitsemista eikä palkitsemisen kustannuksia. Tutkimus vahvisti, että kohdeorganisaatiossa käytetään laajasti erilaisia aineellisia ja aineettomia palkitsemistapoja. Palkitseminen toimi kohdeorganisaatiossa kohtuullisesti. Sitoutumisen kanalta keskeisimmät tekijät olivat työntekijän osaamisen tasoa vastaava palkka, työilmapiiri ja haasteelliset työtehtävät. Tutkimus osoitti, että aineettomat palkitsemistavat ovat sitoutumisen näkökulmasta merkityksellisempiä kuin aineelliset palkitsemistavat.

A Model-Based Development and Verification Framework for Distributed System-on-Chip Architecture

The capabilities and thus, design complexity of VLSI-based embedded systems have increased tremendously in recent years, riding the wave of Moore’s law. The time-to-market requirements are also shrinking, imposing challenges to the designers, which in turn, seek to adopt new design methods to increase their productivity. As an answer to these new pressures, modern day systems have moved towards on-chip multiprocessing technologies. New architectures have emerged in on-chip multiprocessing in order to utilize the tremendous advances of fabrication technology. Platform-based design is a possible solution in addressing these challenges. The principle behind the approach is to separate the functionality of an application from the organization and communication architecture of hardware platform at several levels of abstraction. The existing design methodologies pertaining to platform-based design approach don’t provide full automation at every level of the design processes, and sometimes, the co-design of platform-based systems lead to sub-optimal systems. In addition, the design productivity gap in multiprocessor systems remain a key challenge due to existing design methodologies. This thesis addresses the aforementioned challenges and discusses the creation of a development framework for a platform-based system design, in the context of the SegBus platform - a distributed communication architecture. This research aims to provide automated procedures for platform design and application mapping. Structural verification support is also featured thus ensuring correct-by-design platforms. The solution is based on a model-based process. Both the platform and the application are modeled using the Unified Modeling Language. This thesis develops a Domain Specific Language to support platform modeling based on a corresponding UML profile. Object Constraint Language constraints are used to support structurally correct platform construction. An emulator is thus introduced to allow as much as possible accurate performance estimation of the solution, at high abstraction levels. VHDL code is automatically generated, in the form of “snippets” to be employed in the arbiter modules of the platform, as required by the application. The resulting framework is applied in building an actual design solution for an MP3 stereo audio decoder application.

Laajeneva ohjelmointiesimerkkikokoelma Ohjelmoinnin perusteet -kurssille

Lappeenrannan teknillisen yliopiston Ohjelmoinnin perusteet -kurssin osallistujilla on ollut vaikeuksia aloittelevan ohjelmoijan kannalta laajojen ohjelmien tuottamisessa ja tällaisten ohjelmien jäsentelemisessä aliohjelmiksi. Kurssin harjoitustyö on kuitenkin vaatinut tällaisen laajan ja jäsennellyn ohjelman tuottamista ja osallistujien ongelmat edellä mainittujen asioiden suhteen ovat ilmenneet palautetuista harjoitustöistä. Tässä työssä pyritään tuottamaan ratkaisu edellä kuvattuun ongelmaan konstruktiivisen tutkimuksen keinoin. Työssä tuotettava konstruktio on ohjelmointiesimerkkikokoelma ja sen avulla kurssin osallistujille voidaan esitellä kuinka laajoja ohjelmia voidaan tuottaa vaiheittain ja kuinka tällaisia ohjelmia voidaan jäsennellä aliohjelmiksi.

Mitigating uncertainty in logistics outsourcing with ERP systems

Outsourcing is a common strategy for companies looking for cost savings and improvements in performance. This has been especially prevalent in logistics, where warehousing and transporting are typical targets for outsourcing. However, while the benefits from logistics outsourcing are clear on paper, there are several cases companies fail to reach these benefits. The most commonly cited reasons for this are poor information flow between the company and the third party logistics partner, and a lack of integration between the two partners. Uncertainty stems from lack of information, and it can cripple the whole outsourcing operation. This is where enterprise resource planning (ERP) systems step in, as they can have a significant role in improving the flow of information, and integration, which consequently mitigates uncertainty. The purpose of the study is to examine if ERP systems have an effect on a company's decision to outsource logistics operations. Along the rapid advancements in technology during the past decades, ERP systems have also evolved. Therefore, empirical research on the subject needs constant revision as it can quickly become outdated due to ERP systems having more advanced capabilities every year. The research was conducted using a qualitative single-case study of a Finnish manufacturing firm that had outsourced warehousing and transportation operations in the Swedish market. The empirical data was gathered with use of semi-structured interviews with three employees from the case company that were closely related to the outsourcing operation. The theoretical framework that was used to analyze the empirical data was based on Transaction Cost Economics theory. The results of the study were align with the theoretical framework, in that the ERP system of the case company was seen as an enabler for their logistics outsourcing operation. However, the full theoretical benefits from ERP systems concerning extended enterprise functionality and flexibility were not attained due to the case company having an older version of their ERP system. This emphasizes the importance of having up-to-date technology if you want to overcome the shortcomings of ERP systems in outsourcing situations.

Design and implementation of a production synchronization extension for Microsoft Dynamics AX

In a just-in-time, assemble-to-order production environments the scheduling of material requirements and production tasks - even though difficult - is of paramount importance. Different enterprise resource planning solutions with master scheduling functionality have been created to ease this problem and work as expected unless there is a problem in the material flow. This case-based candidate’s thesis introduces a tool for Microsoft Dynamics AX multisite environment, that can be used by site managers and production coordinators to get an overview of the current open sales order base and prioritize production in the event of material shortouts to avoid part-deliveries.

Kartongin käyristymiseen vaikuttavat tekijät ja niiden hallinta valmistusprosessissa

Työssä selvitettiin uuden kostutuslaitteen toimivuutta kartongin käyristymisen hallinnassa. Työn tavoitteena oli löytää kostutuslaitteelle energiatehokas ja käyttäjäystävällinen ajotapa. Lisäksi pyrittiin etsimään tärkeimmät kartongin käyristymiseen vaikuttavat prosessimuuttujat ja selvittämään voidaanko niitä hyödyntää käyryyden hallinnassa. Työssä tutkittiin myös kostutuslaitteen käytön vaikutuksia kartongin muihin tärkeisiin ominaisuuksiin, jotta saataisiin selville miten uusi tuote eroaisi referenssituotteesta. Kirjallisuusosassa selvitetään, mitkä tekijät vaikuttavat kartongin käyristymiseen ja miten käyristymistä pystytään hallitsemaan. Kirjallisuusosassa käsitellään myös, miten kartongin käyristymiseen tarvittavat epäsymmetriset mittamuutokset kartongin rakenteessa syntyvät lähtien kosteuden vaikutuksista aina yksittäisten kuitujen tasolta koko kartongin rakenteeseen asti. Kokeellisessa osassa selvitetään Inkeroisten Kartonkitehtaan kartonkikoneella ajettujen koeajojen avulla toimivaa ajotapaa kostutuslaitteelle ja eri prosessimuuttujien vaikutusta käyristymiseen. Koeajoissa tutkittiin epäsymmetrisen kostutuksen, kuivatuksen, sitoutuneisuuden, sekä kuituorientaation vaikutuksia kartongin käyristymiseen. Koeajojen perusteella merkittävimmiksi tekijöiksi kartongin käyristymiseen osoittautuivat epäsymmetrinen kostutus sekä kuivatus. Muiden tekijöiden vaikutus kartongin käyristymiseen jäi vähäiseksi tai liian epäselväksi, jotta olisi voitu osoittaa, että muutos kartongin käyryydessä johtuisi nimenomaan kyseisen tekijän muutoksesta. Verrattaessa uutta tuotetta referenssituotteeseen kartongin pinta- tai lujuusominaisuuksissa ei havaittu tapahtuvan merkittävää muutosta, kun selkäkerroksen pintaliimaus korvattiin sumukostutuksella.

Characterization of Leaf-Type Ferredoxin-NADP+ Oxidoreductase (FNR) Isoforms in Arabidopsis thaliana

Life on earth is based on sunlight, which is captured in chemical form by photosynthetic reactions. In the chloroplasts of plants, light reactions of photosynthesis take place at thylakoid membranes, whereas carbon assimilation reactions occur in the soluble stroma. The products of linear electron transfer (LET), highly-energetic ATP molecules, and reducing power in the form of NADPH molecules, are further used in the fixation of inorganic CO2 molecules into organic sugars. Ferredoxin-NADP+ oxidoreductase (FNR) catalyzes the last of the light reactions by transferring electrons from ferredoxin (FD) to NADP+. In addition to LET, FNR has been suggested to play a role in cyclic electron transfer (CET), which produces ATP without the accumulation of reducing equivalents. CET is proposed to occur via two putative routes, the PGR5- route and the NDH-route. In this thesis, the leaf-type FNR (LFNR) isoforms LFNR1 and LFNR2 of a model organism, Arabidopsis thaliana, were characterized. The physiological roles of LFNRs were investigated using single and double mutant plants. The viability of the single mutants indicates functionality of both isoforms, with neither appearing to play a specific role in CET. The more severe phenotype of low-temperature adapted fnr2 plants compared to both wild-type (WT) and fnr1 plants suggests a specific role for LFNR2 under unfavorable growth conditions. The more severe phenotype of the fnr1 x fnr2 (F1 generation) plants compared to single mutants reflects down-regulated photosynthetic capacity, whereas slightly higher excitation pressure indicates mild over-excitation of electron transfer chain (ETC). However, induction of CET and various photoprotective mechanisms enable adaptation of fnr1 x fnr2 plants to scarcity of LFNR. The fnr1 fnr2 plants (F2 generation), without detectable levels of LFNR, were viable only under heterotrophic conditions. Moreover, drought stress induced acceleration of the rate of P700 + re-reduction in darkness was accompanied by a concomitant up-regulation of the PGR5-route specific components, PGR5 and PGRL1, demonstrating the induction of CET via the PGR5-route. The up-regulation of relative transcriptional expression of the FD1 gene indicates that the FD1 isoform may have a specific function in CET, while no such role could be defined for either of the LFNR isoforms. Both the membrane-bound and soluble LFNR1 and LFNR2 each appear as two distinct spots after 2D-PAGE with different isoelectric points (pIs), indicating the existence of post-translational modifications (PTMs) which do not determine the membrane attachment of LFNR. The possibility of phosphorylation and glycosylation PTMs were excluded, but all four LFNR forms were shown to contain acetylated lysine residues as well as alternative N-termini. N-terminal acetylation was shown to shift the pI of both LFNRs to be more acidic. In addition, all four LFNR forms were demonstrated to interact both with FD1 and FD2 in vitro

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Energiatehokkuuden huomioiminen julkisissa rakennushankkeissa

Hanke tähtää Lappeenrannan julkisen rakennuskannan energiatehokkuuden ja kokonaistaloudellisuuden parantamiseen. Energiatehokkuutta ja kokonaistaloudellisuutta kunnallisessa rakentamisessa kannustavat mm. kansainvälisten ja kansallisten sopimusten energiansäästötavoitteet, sekä kuntien tiukka budjettitilanne. Hankkeen yhteydessä on laadittu arviointikriteeristö rakennusinvestoinneista vastaavien viranomaisten käyttöön, mikä helpottaa tunnistamaan energiatehokkaita, kokonaistaloudellisia sekä laadukasta sisäilmastoa tukevia rakennusinvestointien toteutuskäytäntöjä. Kriteeristö on suunniteltu erityisesti kasvatus- ja opetustarkoituksiin suunnattuja rakennuksia varten. Jotta kokonaistaloudellisuustavoitteet täyttyisivät, työssä käytettiin hyväksi elinkaariajattelutapaa. Kriteerit laadittiin rakennuksen kolmelle tavoitteiden toteutumisen kannalta merkittävälle elinkaaren vaiheelle, eli suunnittelu-, toteutus- ja käyttövaiheelle. Kriteeristö on laadittu kirjallisuuden ja ammattilaisten haastattelujen tarjoaman tiedon pohjalta. Laadittua kriteeristöä koekäytettiin Myllymäen päiväkoti -hankkeen yhteydessä, jotta voitaisiin tunnistaa kriteeristön kehitystarpeita. Koekäytön yhteydessä toteutettiin myös mielipidekysely, jonka avulla kerättiin kriteeristön kehitysehdotuksia rakennushankkeen eri osapuolilta. Koekäytön tarjoaman tiedon nojalla kriteeristöä jatkokehitettiin vastaamaan paremmin käytännön tarpeita. Koekäyttö kohdistui kohteen suunnitteluvaiheeseen. Hankkeessa saavutettiin asetetut tavoitteet. Voidaan kuitenkin todeta, että kriteeristön jatkokehittämistä on syytä jatkaa. Koekäytön ulottaminen toteutus ja käyttövaiheeseen on tärkeää. Kriteeristön käsittelyalueen laajentamiselle korjausrakentamiseen sekä alueellisen tarkastelutavan käyttöönotolle olisi myös tarvetta.

Interoperability specifications and an automatic validation tool as a key factor for the support of a repository ecosystem

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Building Successful, Open Repository Software Ecosystems: Technology and Community

Panel at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Getting Started with Islandora

Workshop at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Advanced Islandora Workshop

Workshop at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Islandora Sync: Enabling Administrators and Developers

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014