Object-oriented Programming Applied to the Development of Structural Analysis and Optimization Software

This paper presents the development of a two-dimensional interactive software environment for structural analysis and optimization based on object-oriented programming using the C++ language. The main feature of the software is the effective integration of several computational tools into graphical user interfaces implemented in the Windows-98 and Windows-NT operating systems. The interfaces simplify data specification in the simulation and optimization of two-dimensional linear elastic problems. NURBS have been used in the software modules to represent geometric and graphical data. Extensions to the analysis of three-dimensional problems have been implemented and are also discussed in this paper.

A Design Methodology for the Compensation of Positioning Deviation in Gantry Manipulators

This work presents recent results concerning a design methodology used to estimate the positioning deviation for a gantry (Cartesian) manipulator, related mainly to structural elastic deformation of components during operational conditions. The case-study manipulator is classified as gantry type and its basic dimensions are 1,53m x 0,97m x 1,38m. The dimensions used for the calculation of effective workspace due to end-effector path displacement are: 1m x 0,5m x 0,5m. The manipulator is composed by four basic modules defined as module X, module Y, module Z and terminal arm, where is connected the end-effector. Each module controlled axis performs a linear-parabolic positioning movement. The planning path algorithm has the maximum velocity and the total distance as input parameters for a given task. The acceleration and deceleration times are the same. Denavit-Hartemberg parameterization method is used in the manipulator kinematics model. The gantry manipulator can be modeled as four rigid bodies with three degrees-of-freedom in translational movements, connected as an open kinematics chain. Dynamic analysis were performed considering inertial parameters specification such as component mass, inertia and center of gravity position of each module. These parameters are essential for a correct manipulator dynamic modelling, due to multiple possibilities of motion and manipulation of objects with different masses. The dynamic analysis consists of a mathematical modelling of the static and dynamic interactions among the modules. The computation of the structural deformations uses the finite element method (FEM).

Design and implementation of a peer-to-peer client for device management

The aim of this master’s thesis was to specify a system requiring minimal configuration and providing maximal connectivity in the vein of Skype but for device management purposes. As peer-to-peer applications are pervasive and especially as Skype is known to provide this functionality, the research was focused on these technologies. The resulting specification was a hybrid of a tiered hierarchical network structure and a Kademlia based DHT. A prototype was produced as a proof-of-concept for the hierarchical topology, demonstrating that the specification was feasible.

Puristussylinterien valmistuksen kehittäminen

Tässä diplomityössä kehitettiin yksitoimisten puristussylinterien valmistusta Rautessa. Sylinterien valmistuksessa haastavin vaihe on sylinteriputken ja pohjan välinen hitsaus. Hitsauksen avuksi suunniteltiin sylinterin sisäpuolinen juuritukilaite. Hitsauskokeita suoritettiin hitsin pohjan jauhekaarihitsaukselle ja MAG-hitsaukselle. Juuritukilaitteen toimivuutta testattiin koehitsauksilla. Puristussylinterien materiaali on S355J2-terästä, jonka ainevahvuus on 20 – 60 mm. Paksujen rakenneterästen hitsauksessa täytyy ottaa huomioon hitsausliitoksen mekaanisten ominaisuuksien muuttuminen sekä eri halkeamien synty. Hitsauksen laatuun ja laadunhallintaan voidaan vaikuttaa monien eri tekijöiden avulla. Hitsausohjeen avulla, ja muut laatutekijät huomioiden, voidaan hitseille asetetut laatukriteerit täyttää. Juurituen käyttö nopeuttaa puristussylinterien hitsausta vähintään 50 %. Jauhekaarihitsaus kuparista juuritukea vasten synnyttää vaikeasti poistettavan kuonan juuren puolelle. Perinteinen MAG-hitsaus kuparista juuritukea vasten sisältää liian monta muuttujaa, mikä tekee siitä epäluotettavan pohjapalon hitsaukseen. Työssä suunnitellun juuritukilaitteen käyttö tuotannossa vaatii lisää hitsauskokeita.

Tutkimusprojektinhallinnan tarkastelu ja valo-ohjauskonsolin määrittely

Teekkareiden musiikkikerho halusi päivittää valo-ohjauskalustoaan sekä selvittää, olisiko järkevää tehdä ohjauksessa käytettävä konsoli itse. Tässä työssä käsitellään valo-ohjauskonsolin suunnitteluprojektin projektinhallintaa suunnittelun, määrittelyn, tavoitteiden ja työryhmän toiminnan osalta. Työssä tehdään myös valo-ohjauskonsolille suuntaa-antava määrittely, joka tarkoituksena on ottaa huomioon tärkeimpiä sähkölaitteen suunnittelussa huomioon otettavia kriteereitä. Työssä selvitetään, mikä on toimiva työmalli pienelle tutkimusprojektille ja kannattaako pienen organisaation valmistaa valo-ohjauskonsoli itse.

Performance Determinants of Renewable Energy Companies

The purpose of this thesis is to identify the Performance Determinants (PD) of Renewable Energy (RE) companies. It analyzes the background of the RE industry while reflecting simultaneous developments in the fossil based industries. I divided the determinants into two groups: market level and firm level and established hypotheses based on the existing literature. Data from public companies was gathered to construct a Panel Data structure. This is then tested by using a Linear Regression with Fixed Effects model. The model specification was efficient at reflecting the analyzed phenomena. My results showed that both market level and firm level determinants are significant in the RE Industry but the firm level determinants had higher explanatory power (R2). The determinants' relationships were found to follow those from the manufacturing industry more than the utilities' industry. Out of the market level determinants Consumer Price Index (CPI), Interest Rates and Oil prices were significant. Out of the firm level determinants Debt to Assets, Net Investments, Cash flows from operations, Sales and Earnings Before Interests and Taxes (EBIT) were significant. I concluded that this information is valuable for key industry players as they can achieve their objectives faster by elaborating better strategies using these results.

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ä.

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.

Distributed Repositories of Medieval Calendars and Crowd-Sourcing of Transcription

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

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.

Visual maps in the adult primate cerebral cortex: some implications for brain development and evolution

In this paper, the topology of cortical visuotopic maps in adult primates is reviewed, with emphasis on recent studies. The observed visuotopic organisation can be summarised with reference to two basic rules. First, adjacent radial columns in the cortex represent partially overlapping regions of the visual field, irrespective of whether these columns are part of the same or different cortical areas. This primary rule is seldom, if ever, violated. Second, adjacent regions of the visual field tend to be represented in adjacent radial columns of a same area. This rule is not as rigid as the first, as many cortical areas form discontinuous, second-order representations of the visual field. A developmental model based on these physiological observations, and on comparative studies of cortical organisation, is then proposed, in order to explain how a combination of molecular specification steps and activity-driven processes can generate the variety of visuotopic organisations observed in adult cortex.

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.

ICT - Tietojärjestelmäympäristön siirto

Tämän tutkimuksen tarkoituksena on selvittää tietojärjestelmäympäristön siirtoprojektin toteutukseen liittyviä ongelmia ja etsiä niihin ratkaisuja. Tutkimuksen lopputuloksen perusteella on tarkoitus tehdä ehdotus tietojärjestelmäympäristön siirtoprojektin mahdollisesta prosessikuvauksesta. Kunnollisen prosessikuvauksen avulla tietojärjestelmäympäristön siirtoprojektin toteutus helpottuu huomattavasti, koska on olemassa selkeät ohjeet siitä, mitä kaikkea on otettava huomioon siirtoa suunniteltaessa ja toteutettaessa. Asiakkaan vaatimukset ovat oleelliset tässä työssä, joten tässä työssä prosessikuvaus suunnitellaan eri osapuolten näkökulmasta, joita tässä työssä ovat sekä Hallinnon tietotekniikkakeskus (Haltik) että sen asiakkaat.