Sähköisen taloushallinnon kehitys ja ilmiön näkyvyys alan ammattilehtikirjoittelussa

Pro gradu –tutkielman ensisijaisena tavoitteena on tutkia sähköisen ta-loushallinnon kehitystä ja miten se on näkynyt alan suomalaisessa ja kansainvälisessä ammattilehtikirjoittelussa vuosina 1997 – 2013. Tarkoi-tuksena on löytää kirjoittelun perusteella sähköisen taloushallinnon kehi-tyksen edistäviä ja hidastavia tekijöitä sekä minkälaisia tulevaisuuden näkymiä artikkelit luovat sähköiselle taloushallinnolle. Lisäksi tavoitteena on löytää yhtäläisyyksiä ja eroja kansallisen ja kansainvälisen kirjoittelun välillä. Tutkielma on laadullinen tutkimus ja tutkimusmenetelminä käytetään si-sällönanalyysia, sisällönerittelyä, teemoittelua ja vertailevaa tutkimusta. Tutkielman empiirinen aineisto koostuu Tilisanomien, Balanssi–lehden ja Accountancy–lehden sähköistä taloushallintoa koskevista artikkeleista aikavälillä 1997 – 2013. Tutkimustulosten perusteella sähköisen taloushallinnon kehityskulku näkyy myös ammattilehtikirjoittelussa. Tietojärjestelmät ja niiden käytön mahdollistava lainsäädäntö ovat sähköisen taloushallinnon perusedelly-tykset. Suurimpia kehityksen edistäjiä ovat julkinen valta, verkkolaskut ja standardointi. Kehityksen hidastajina nähdään yhtenäisten standardien puute ja asenteet. Sähköisen taloushallinnon tulevaisuuden näkymiä ovat standardoidut prosessit ja käsitteet koko taloushallinnon alueella sekä viranomaisraportointi XBRL-kielen avulla. Suurimmat erot kansalli-sessa ja kansainvälisessä kehityksessä on havaittavissa verkkolaskuissa ja XBRL-raportoinnissa. Johtopäätöksenä todetaan että kirjoittelun perusteella voidaan löytää sähköisen taloushallinnon kehitystä hidastavia ja edistäviä tekijöitä ja se luo viitteitä tulevaisuuden kehitykselle. Sähköinen taloushallinto kehittyy kunkin maan valtiovallan tahtotilan ja lainsäädännön mukaan. Jatkotut-kimuskohteena tutkielmaa voisi laajentaa kansainvälisemmäksi ottamalla mukaan tarkasteluun useampia kansainvälisiä lehtiä ja kansainvälistä lainsäädäntöä.

Kunnossapidon tietojärjestelmän määrittäminen ja hankinta prosessiyritykselle

Työn tavoitteena oli tutkia ja määrittää case-yrityksenä olleen prosessiyrityksen kunnossapitojärjestelmän vaatimusten määrittelyyn vaikuttavia tekijöitä sekä määrittää prosessiyrityksen toimintaympäristöön soveltuvan kunnossapitojärjestelmän rakenne. Teoreettisena taustana oli liikeyritysten strategian ja toiminnan suunnittelu kehitettäessä kunnossapidon palveluprosessia. Lisäksi teoriaosuudessa esiteltiin kunnossapidon keskeisimmät teoriat ja niiden soveltaminen kunnossapitotoiminnassa. Työn empiriaosuudessa esiteltiin case-yrityksen kunnossapitojärjestelmäprosessin hankinnan vaiheet, valinta ja kunnossapitojärjestelmän käytettävyyden varmistaminen workshopeissa sekä jatkotutkimusaiheet. Työn avulla case-yrityksenä olleelle prosessiyritykselle saatiin valittua toimiva kunnossapitojärjestelmä. Työtä on mahdollista hyödyntää vastaavissa projekteissa muissa yrityksissä.

Transcriptional and Epigenetic Regulation of Human CD4+ T Helper Lineage Specification

Activated T helper (Th) cells have ability to differentiate into functionally distinct Th1, Th2 and Th17 subsets through a series of overlapping networks that include signaling and transcriptional control and the epigenetic mechanisms to direct immune responses. However, inappropriate execution in the differentiation process and abnormal function of these Th cells can lead to the development of several immune mediated diseases. Therefore, the thesis aimed at identifying genes and gene regulatory mechanisms responsible for Th17 differentiation and to study epigenetic changes associated with early stage of Th1/Th2 cell differentiation. Genome wide transcriptional profiling during early stages of human Th17 cell differentiation demonstrated differential regulation of several novel and currently known genes associated with Th17 differentiation. Selected candidate genes were further validated at protein level and their specificity for Th17 as compared to other T helper subsets was analyzed. Moreover, combination of RNA interference-mediated downregulation of gene expression, genome-wide transcriptome profiling and chromatin immunoprecipitation followed by massive parallel sequencing (ChIP-seq), combined with computational data integration lead to the identification of direct and indirect target genes of STAT3, which is a pivotal upstream transcription factor for Th17 cell polarization. Results indicated that STAT3 directly regulates the expression of several genes that are known to play a role in activation, differentiation, proliferation, and survival of Th17 cells. These results provide a basis for constructing a network regulating gene expression during early human Th17 differentiation. Th1 and Th2 lineage specific enhancers were identified from genome-wide maps of histone modifications generated from the cells differentiating towards Th1 and Th2 lineages at 72h. Further analysis of lineage-specific enhancers revealed known and novel transcription factors that potentially control lineage-specific gene expression. Finally, we found an overlap of a subset of enhancers with SNPs associated with autoimmune diseases through GWASs suggesting a potential role for enhancer elements in the disease development. In conclusion, the results obtained have extended our knowledge of Th differentiation and provided new mechanistic insights into dysregulation of Th cell differentiation in human immune mediated diseases.

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.

Lujien painelaiteterästen hitsaus

Työn tavoitteena oli tutkia lujan nuorrutetun painelaiteteräksen P500QL2 hitsattavuutta ja koehitsausten avulla löytää optimaaliset hitsausparametrit ja lämmöntuonti teräksen hitsaukseen. Työn tavoitteena oli myös selvittää ja käsitellä kaikkien painelaiteterässtandardissa esitettyjen lujien painelaiteterästen hitsauksessa huomioon otettavia asioita. Työn teoriaosuudessa käsitellään lujien painelaiteterästen hitsauksessa huomioitavia erityispiirteitä, kuten lämmöntuontia, jäähtymisaikaa, esilämmitystä sekä hitsausaineiden valintaa. Lisäksi teoriaosuudessa käsitellään painelaitteiden valmistusta, painelaiteterässtandardiin kuuluvia lujia painelaiteteräksiä sekä keinoja lujien terästen hitsattavuuden arviointiin. Työn kokeellisessa osassa tutkittiin aineenvahvuudeltaan 50 mm paksun P500QL2-teräksen päittäisliitoksen mekaanisia ominaisuuksia eri lämmöntuonneilla hitsattuna. Kokeellisessa osassa tutkittiin myös myöstön poisjättämisen vaikutuksia liitoksen mekaanisiin ominaisuuksiin. Mekaanisia ominaisuuksia tutkittiin toteuttamalla koekappaleiden aineenkoetus menetelmäkoestandardin vaatimuksia soveltaen. Tutkimuksessa käytettyjä testausmenetelmiä olivat silmämääräinen tarkastus, magneettijauhetarkastus, ultraäänitarkastus, mikro- ja makrorakennetarkastelu, kovuuskokeet, vetokokeeet ja iskukokeet. Testauksessa saatujen tulosten avulla lujan painelaiteteräksen P500QL2 hitsaukseen laadittiin alustava hitsausohje. Hitsausliitosten testauksessa saatujen tulosten perusteella havaittiin hitsien lujuuden ja kovuuden laskevan lämmöntuonnin kasvaessa. Hitsausliitosten iskusitkeysominaisuudet olivat erinomaiset vielä suurellakin lämmöntuonnilla, mutta liitosten murtovenymäarvot laskivat lämmöntuonnin kasvaessa. Myöstön havaittiin parantavan hitsin mekaanisia ominaisuuksia huomattavasti. Tutkimuksen tulosten perusteella painelaiteteräs P500QL2 on hitsattavissa suurella lämmöntuonnilla ja suurella tuottavuudella liitoksen täyttäessä painelaitevalmistuksen edellyttämät vaatimukset.

The requirements of a feasible plastic packaging material for cultured dairy products

The objective of this Master´s Thesis was to conduct a wide scale preliminary survey regarding the package requirements of a cultured dairy package, and to compare the currently used material polystyrene to other suitable packaging materials. Polystyrene has a long history of use in dairy cups, but in recent years its price has increased significantly compared to other common packaging materials. The overall environmental effects of a package and a package material are today a part of designing a sustainable product life cycle. In addition, in certain contexts there has been discussion of the risks posed by styrene polymer for the environment and for humans. These risks are also discussed in this thesis. Polystyrene (PS) is still the most widely used material in dairy cups. In recent years, polypropylene (PP) cups have appeared in increasing numbers on market shelves. This study focuses on the differences of the suitable polymers and examines the suitability of alternative “suitable” polymers with regards to dairy packaging. Aside from focusing on the cup manufacturer, this thesis also examines its subject matter from the viewpoint of the dairy customer, as well as observing the concrete implications of material changes in the overall value chain. It was known in advance that material permeability would be one of the determining factors and that gas transmission testing would be a significant part of the thesis. Mechanical tests were the second part of the testing process, providing information regarding package strength and protectiveness during the package’s life cycle. Production efficiency, along with uninterrupted stable production, was another important factor that was taken into consideration. These two issues are sometimes neglected in similar contexts due to their self-evident nature. In addition, materials used in production may have a surprising significance to the production and efficiency. Consistent high quality is also partly based on material selection. All of the aforementioned factors have been documented and the results have been analyzed by the development team at Coveris Rigid Finland. Coveris is now calculating the total finance effects and capacities should the material changes be implemented in practice. There are many factors in favor of switching to polypropylene at the moment. The overall production costs, as well as the environmental effects of resin production are the primary influences for said switch from the converters’ perspective.

The requirements and needs of global data usage in product lifecycle management

This study was done for ABB Ltd. Motors and Generators business unit in Helsinki. In this study, global data movement in large businesses is examined from a product data management (PDM) and enterprise resource planning (ERP) point-of-view. The purpose of this study was to understand and map out how a large global business handles its data in a multiple site structure and how it can be applied in practice. This was done by doing an empirical interview study on five different global businesses with design locations in multiple countries. Their master data management (MDM) solutions were inspected and analyzed to understand which solution would best benefit a large global architecture with many design locations. One working solution is a transactional hub which negates the effects of multisite transfers and reduces lead times. Also, the requirements and limitations of the current MDM architecture were analyzed and possible reform ideas given.  

Prosessiautomaatio pinnankorkeusmittauksen koelaitteistoissa

Pinnankorkeuden tunteminen kiehutusvesireaktorin painesäiliössä on erittäin tärkeää sen turvallisuusvaikutusten takia. Pinnankorkeutta mitataan vesipatsaiden korkeutta havaitsevien paine-eromittausten avulla. Säteilyturvakeskuksen YVL-ohjeiden mukaan turvallisuuteen vaikuttavien mittausten täytyy noudattaa moninkertaistus- ja erilaisuusperiaatteita. Yleensä erilaisuusperiaatetta on toteutettu käyttämällä erityyppisiä paine-eromittareita, mutta erilaisella fysikaalisella toimintaperiaatteella oleva mittaus olisi parempi ja toteuttaisi paremmin erilaisuusperiaatetta. Uimurikytkin olisi tällainen fysikaalisesti eri periaatteeseen perustuva pinnankorkeuden mittauslaite. Ydinvoimalaan tarkoitettu teknologia tulee kelpoistaa riippumattoman tahon toimesta ennen käyttöönottoa. Kelpoistamiskokeita varten Lappeenrannan teknillisen yliopiston Ydinturvallisuuden tutkimusyksikköön rakennettiin vuosina 2011–2013 kaksi koelaitteistoa. Näillä koelaitteistoilla tutkittiin uimurikytkimien toimintaa ja ominaisuuksia erilaisissa kiehutusvesireaktorin käyttötilanteissa. Koelaitteistot tarvitsivat toimiakseen automaatiojärjestelmät, jotka suunniteltiin pääosin noudattamalla suunnittelun elinkaarimallia sekä automaatiosuunnittelun sisältökokonaisuuksia. Automaatiojärjestelmien suunnittelu aloitettiin määrittelemällä koejärjestelyjen asettamat vaatimukset, jonka jälkeen tehtiin teknologiavalinnat. Seuraavaksi suunniteltiin automaatiojärjestelmien logiikkaohjelmistot, joiden kuvaukseen tämä työ pääasiassa keskittyy. Logiikkaohjelmistot toteutettiin graafisella National Instruments LabView -ohjelmointikielellä. Logiikkaohjelmistojen tuli hoitaa tiedonkeruuta, käyttöautomaatiota, turvallisuustehtäviä sekä kokeisiin liittyviä erikoistehtäviä. Ohjelmistot saatiin esikokeiden aikana toimimaan halutusti, ja varsinaiset kokeet voitiin suorittaa ilman merkittäviä ongelmia.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Protein turnover, amino acid requirements and recommendations for athletes and active populations

Skeletal muscle is the major deposit of protein molecules. As for any cell or tissue, total muscle protein reflects a dynamic turnover between net protein synthesis and degradation. Noninvasive and invasive techniques have been applied to determine amino acid catabolism and muscle protein building at rest, during exercise and during the recovery period after a single experiment or training sessions. Stable isotopic tracers (13C-lysine, 15N-glycine, ²H5-phenylalanine) and arteriovenous differences have been used in studies of skeletal muscle and collagen tissues under resting and exercise conditions. There are different fractional synthesis rates in skeletal muscle and tendon tissues, but there is no major difference between collagen and myofibrillar protein synthesis. Strenuous exercise provokes increased proteolysis and decreased protein synthesis, the opposite occurring during the recovery period. Individuals who exercise respond differently when resistance and endurance types of contractions are compared. Endurance exercise induces a greater oxidative capacity (enzymes) compared to resistance exercise, which induces fiber hypertrophy (myofibrils). Nitrogen balance (difference between protein intake and protein degradation) for athletes is usually balanced when the intake of protein reaches 1.2 g·kg-1·day-1 compared to 0.8 g·kg-1·day-1 in resting individuals. Muscular activities promote a cascade of signals leading to the stimulation of eukaryotic initiation of myofibrillar protein synthesis. As suggested in several publications, a bolus of 15-20 g protein (from skimmed milk or whey proteins) and carbohydrate (± 30 g maltodextrine) drinks is needed immediately after stopping exercise to stimulate muscle protein and tendon collagen turnover within 1 h.

Lappeenrannan ulkovalaistusverkon verkkotietojärjestelmän modernisointi

Sähköisen verkon täsmällinen tunteminen on edellytys verkon tehokkaalle suunnittelulle ja käytölle. Lappeenrannassa ulkovalaistusverkon dokumentointi oli lähtökohtaisestei hyvin hajanaista. Tämän tutkimuksen tärkein anti oli tarjota Lappeenrannan kaupungille dokumentointiratkaisu, jolla ulkovalaistusverkon dokumentaatio ja topologia saatetaan moderniin sähköiseen muotoon. Tutkimus jakaantui neljään eri pääkohtaan: Lappeenrannan ulkovalaistusverkon tutkimustyöhön, verkkotietojärjestelmien tutkimustyöhön, dokumentointiprosessin määrittelyyn ja verkkotietojärjestelmien ylläpitoprosessin määrittelyyn. Näissä on käytetty merkittävissä määrin asiantuntijoiden lausuntoja, erityisesti ulkovalaistusverkon rakenteesta ja eri verkkotietojärjestelmien ominaisuuksista sekä käytöstä. Näihin perustuen on muodostettu kuva uuden verkkotietojärjestelmän vaatimuksista ja dokumentoinnin lähtötasosta, joiden avulla on määritelty itse dokumentointiprosessi, sen potentiaaliset ongelmat ja arvioitu työmäärää. Ylläpitoprosessien määrittelyssä on käytetty lähtökohtana Lappeenrannan Energiaverkot Oy:n nykyisiä ylläpitoprosesseja ja -menetelmiä. Tutkimuksen tuloksena syntyi määrittelyt kolmelle eri verkkotietojärjestelmälle, joilla ongelma saadaan ratkaistua. Näistä kaksi täytti vaatimukset täysin: Trimble NIS ja Keypron KeyLight.