Sulfuric acid - glucose separation using mixed-recycle steady state recycling chromatography

Batch chromatography is a widely used separation technique in a variety of fields meeting difficult separations. Several technologies for improving the performance of chromatography have been studied, including mixed-recycle steady state recycling (MR-SSR) chromatography. Design of MR-SSR has been commonly limited on 100 % purity constraint cases and empirical work. In this study a predictive design method was used to optimize feed pulse size and design a number of experimental MR-SSR separations for a solution of 20 % sulfuric acid and 100 g/L glucose. The design was under target product fraction purities of 98.7 % for H2SO4 and 95 % for glucose. The experiments indicate a maximum of 59 % increase in sulfuric acid productivity and 82 % increase for glucose when compared to corresponding batch separation. Eluent consumption was lowered by approximately 50 % using recycling chromatography. Within this study the target purities and yields set in design were not completely met, and further optimization of the process is deemed necessary.

"Dov'è la sinistra?" Hemispatial neglect in stroke

As long as the incidence of stroke continues to grow, patients with large right hemisphere lesions suffering from hemispatial neglect will require neuropsychological evaluation and rehabilitation. The inability to process information especially that coming from the left side accompanied by the magnetic orientation to the ipsilesional side represents a real challenge for rehabilitation. This dissertation is concerned with crucial aspects in the clinical neuropsychological practice of hemispatial neglect. In studying the convergence of the visual and behavioural test batteries in the assessment of neglect, nine of the seventeen patients, who completed both the conventional subtests of the Behavioural Inattention Test and the Catherine Bergego Scale assessments, showed a similar severity of neglect and thus good convergence in both tests. However, patients with neglect and hemianopia had poorer scores in the line bisection test and they displayed stronger neglect in behaviour than patients with pure neglect. The second study examined, whether arm activation, modified from the Constraint Induced Movement Therapy, could be applied as neglect rehabilitation alone without any visual training. Twelve acute- or subacute patients were randomized into two rehabilitation groups: arm activation training or traditional voluntary visual scanning training. Neglect was ameliorated significantly or almost significantly in both training groups due to rehabilitation with the effect being maintained for at least six months. In studying the reflections of hemispatial neglect on visual memory, the associations of severity of neglect and visual memory performances were explored. The performances of acute and subacute patients with hemispatial neglect were compared with the performances of matched healthy control subjects. As hypothesized, encoding from the left side and immediate recall of visual material were significantly compromised in patients with neglect. Another mechanism of neglect affecting visual memory processes is observed in delayed visual reproduction. Delayed recall demands that the individual must make a match helped by a cue or it requires a search for relevant material from long-term memory storage. In the case of representational neglect, the search may succeed but the left side of the recollected memory still fails to open. Visual and auditory evoked potentials were measured in 21 patients with hemispatial neglect. Stimuli coming from the left or right were processed differently in both sensory modalities in acute and subacute patients as compared with the chronic patients. The differences equalized during the course of recovery. Recovery from hemispatial neglect was strongly associated with early rehabilitation and with the severity of neglect. Extinction was common in patients with neglect and it did not ameliorate with the recovery of neglect. The presence of pusher symptom hampered amelioration of visual neglect in acute and subacute stroke patients, whereas depression did not have any significant effect in the early phases after the stroke. However, depression had an unfavourable effect on recovery in the chronic phase. In conclusion, the combination of neglect and hemianopia may explain part of the residual behavioural neglect that is no longer evident in visual testing. Further research is needed in order to determine which specific rehabilitation procedures would be most beneficial in patients suffering the combination of neglect and hemianopia. Arm activation should be included in the rehabilitation programs of neglect; this is a useful technique for patients who need bedside treatment in the acute phase. With respect to the deficit in visual memory in association with neglect, the possible mechanisms of lateralized deficit in delayed recall need to be further examined and clarified. Intensive treatment induced recovery in both severe and moderate visual neglect long after the first two to first three months after the stroke.

Generalized Differential Evolution for Global Multi-Objective Optimization with Constraints

The objective of this thesis work is to develop and study the Differential Evolution Algorithm for multi-objective optimization with constraints. Differential Evolution is an evolutionary algorithm that has gained in popularity because of its simplicity and good observed performance. Multi-objective evolutionary algorithms have become popular since they are able to produce a set of compromise solutions during the search process to approximate the Pareto-optimal front. The starting point for this thesis was an idea how Differential Evolution, with simple changes, could be extended for optimization with multiple constraints and objectives. This approach is implemented, experimentally studied, and further developed in the work. Development and study concentrates on the multi-objective optimization aspect. The main outcomes of the work are versions of a method called Generalized Differential Evolution. The versions aim to improve the performance of the method in multi-objective optimization. A diversity preservation technique that is effective and efficient compared to previous diversity preservation techniques is developed. The thesis also studies the influence of control parameters of Differential Evolution in multi-objective optimization. Proposals for initial control parameter value selection are given. Overall, the work contributes to the diversity preservation of solutions in multi-objective optimization.

Mobiilisovellusten keskitetyt jakelukanavat

Diplomityössä tutkitaan mobiilisovellusten keskitettyjä jakelukanavia. Nämä uudet jakelukanavat ovat mahdollistaneet sovellusten uuden tyylisen ja helpon jakelun. Työssä tutkitaan itsenäisen kehittäjän näkökulmasta sovelluksen kehitystä Android-, iOS- ja Windows Phone -ohjelmistoalustoilla, ja sen julkaisua App Storessa, Google Playssa ja Windows Phone Marketplacella. Tavoitteena on tutkia huomataanko esimerkkisovelluksen kehityksessä ja julkaisussa merkittäviä eroja jakelukanavien välillä. Prosesseissa havaittiin eroja, mutta ei kuitenkaan niin merkittäviä, että jokin jakelukanava voitaisiin nostaa selkeästi toisten edelle helpompana tai rajoitteista vapaampana vaihtoehtona.

Analysis and validation of space averaged drag model for numerical simulations of gas-solid flows in fluidized beds

This thesis presents an approach for formulating and validating a space averaged drag model for coarse mesh simulations of gas-solid flows in fluidized beds using the two-fluid model. Proper modeling for fluid dynamics is central in understanding any industrial multiphase flow. The gas-solid flows in fluidized beds are heterogeneous and usually simulated with the Eulerian description of phases. Such a description requires the usage of fine meshes and small time steps for the proper prediction of its hydrodynamics. Such constraint on the mesh and time step size results in a large number of control volumes and long computational times which are unaffordable for simulations of large scale fluidized beds. If proper closure models are not included, coarse mesh simulations for fluidized beds do not give reasonable results. The coarse mesh simulation fails to resolve the mesoscale structures and results in uniform solids concentration profiles. For a circulating fluidized bed riser, such predicted profiles result in a higher drag force between the gas and solid phase and also overestimated solids mass flux at the outlet. Thus, there is a need to formulate the closure correlations which can accurately predict the hydrodynamics using coarse meshes. This thesis uses the space averaging modeling approach in the formulation of closure models for coarse mesh simulations of the gas-solid flow in fluidized beds using Geldart group B particles. In the analysis of formulating the closure correlation for space averaged drag model, the main parameters for the modeling were found to be the averaging size, solid volume fraction, and distance from the wall. The closure model for the gas-solid drag force was formulated and validated for coarse mesh simulations of the riser, which showed the verification of this modeling approach. Coarse mesh simulations using the corrected drag model resulted in lowered values of solids mass flux. Such an approach is a promising tool in the formulation of appropriate closure models which can be used in coarse mesh simulations of large scale fluidized beds.

Arvoperusteinen hinnoittelu työvälineteollisuudessa - mahdollisuudet ja haasteet

Tutkimuksessa selvitetään miten työvälineiden valmistajat käyttävät arvo-perusteista hinnoittelua teknologiaosaamisen palvelutuotteissa ja mikä vaikuttaa siihen, että sitä käytetään tai ei käytetä. Kirjallisuuskatsauksessa perehdytään markkinoinnin ja laskentatoimen kirjallisuuteen palveluliiketoiminnan, asiakasarvon ja arvoperusteisen hinnoittelun osalta. Palveluliiketoimintaa avataan nimenomaan teollisuuden palveluliiketoiminnan näkökulmasta. Asiakasarvoa puolestaan käsitellään näkökulmina missä asiakasarvo muodostuu ja ketkä sitä luovat. Arvoperusteista hinnoittelua tarkastellaan lähtökohtana sen erityispiirteet asiakkaan ja myynnin suhteen sekä esitetään arvoperusteisen hinnoittelumallin käytön esteitä ja hyötyjä. Empiirisessä osiossa tutkitaan miten Työvälineiden valmistajien toimiala-ryhmän jäsenet käyttävät omissa palvelutuotteissaan arvoperusteista hin-noittelua. Aineisto kerättiin web-kyselyn avulla. Tutkimuksessa nousi esiin, että kyseistä hinnoittelumallia on alettu käyttää joissakin palveluissa. Koetut hyödyt ja esteet osoittautuvat olevan paljolti samat kuin aikaisemmassa tutkimuskirjallisuudessa on havaittu. Suurimpina hyötyinä nähtiin pysyvämmät asiakassuhteet, suurempi voittomarginaali ja positiivinen pakko perehtyä asiakkaan ansaintalogiikkaan. Suurimpina esteinä koettiin palvelusta syntyvän arvon määrittämisen vaikeus ja sen viestiminen asiakkaalle sekä asiakkaan haluttomuus sitoutua pitkiin sopimuksiin.

FE-analyysin soveltaminen S960 QC teräksisen I-profiilin äärikestävyyden määrittämisessä

Tässä työssä tutkittiin FE-analyysin soveltamista S960 QC teräksisen I-profiilin kestävyyden määrittämisessä. Työn tavoitteena oli tarkastella nykyisten suunnitteluohjeiden soveltuvuutta ultralujille teräksille ja koota ohjemateriaali I-profiilin optimoimisesta sekä FE-analyysin hyö-dyntämisestä I-profiilin staattisen ja dynaamisen kestävyyden määrittämisessä. I-profiili mitoitettiin ja optimoitiin Eurokoodi 3:ssa esitettyjen PL3 mukaisten mitoitusohjeiden avulla. Rakenteelle suoritettiin Eurokoodi 3:n ja IIW:n mukaiset lommahdus-, kiepahdus- ja vä-symiskestävyystarkastelut. Väsymistarkastelussa sovellettiin nimellisen jännityksen, rakenteelli-sen jännityksen ja tehollisen lovijännityksen menetelmiä sekä murtumismekaniikkaa. Rakenteel-lisen jännityksen menetelmässä sovellettiin lisäksi lineaarista ja parabolista pintaa pitkin ekstra-polointia, paksuuden yli linearisointia sekä Dong:in menetelmää. Lommahdus-, kiepahdus- ja väsymistarkasteluissa hyödynnettiin analyyttistä laskentaa, FE-analyysiä sekä Frank2d sovellusta. Tarkastelujen perusteella voidaan todeta, että analyyttisillä menetelmillä saadaan numeerisia me-netelmiä varmemmalla puolella olevia tuloksia. Lommahdustarkastelussa ero tulosten välillä on suurimmillaan 8 % ja kiepahdustarkastelussa suurimmillaan 20 % mutta väsymistarkastelussa saadut tulokset eroavat keskenään huomattavasti. Väsymistarkastelussa tehollisen lovijännityksen menetelmällä sekä rakenteellisen jännityksen menetelmän Dong:in menetelmällä saadaan huo-mattavasti muita menetelmiä pidempiä kestoikiä, kun taas yksinkertaisemmilla menetelmillä saa-dut kestoiät ovat lyhyempiä. Rakenteen kestävyyden määrittäminen analyyttisillä menetelmillä on melko helppoa, mutta tu-lokset ovat monesti liian konservatiivisia. FE-analyysillä saadaan puolestaan hyvin tarkkoja tu-loksia mallin ollessa yksityiskohtainen. Mallintaminen on kuitenkin aikaa ja resursseja vievää ja vaatii käyttökokemusta. FE-analyysin mahdolliset hyödyt on aina arvioitava tapauskohtaisesti tarkasteltavan geometrian, kuormitusten ja reunaehtojen perusteella.

Spatial multicriteria decision analysis for the siting of on-shore wind power in Kemiönsaari

Wind power is a low-carbon energy production form that reduces the dependence of society on fossil fuels. Finland has adopted wind energy production into its climate change mitigation policy, and that has lead to changes in legislation, guidelines, regional wind power areas allocation and establishing a feed-in tariff. Wind power production has indeed boosted in Finland after two decades of relatively slow growth, for instance from 2010 to 2011 wind energy production increased with 64 %, but there is still a long way to the national goal of 6 TWh by 2020. This thesis introduces a GIS-based decision-support methodology for the preliminary identification of suitable areas for wind energy production including estimation of their level of risk. The goal of this study was to define the least risky places for wind energy development within Kemiönsaari municipality in Southwest Finland. Spatial multicriteria decision analysis (SMCDA) has been used for searching suitable wind power areas along with many other location-allocation problems. SMCDA scrutinizes complex ill-structured decision problems in GIS environment using constraints and evaluation criteria, which are aggregated using weighted linear combination (WLC). Weights for the evaluation criteria were acquired using analytic hierarchy process (AHP) with nine expert interviews. Subsequently, feasible alternatives were ranked in order to provide a recommendation and finally, a sensitivity analysis was conducted for the determination of recommendation robustness. The first study aim was to scrutinize the suitability and necessity of existing data for this SMCDA study. Most of the available data sets were of sufficient resolution and quality. Input data necessity was evaluated qualitatively for each data set based on e.g. constraint coverage and attribute weights. Attribute quality was estimated mainly qualitatively by attribute comprehensiveness, operationality, measurability, completeness, decomposability, minimality and redundancy. The most significant quality issue was redundancy as interdependencies are not tolerated by WLC and AHP does not include measures to detect them. The third aim was to define the least risky areas for wind power development within the study area. The two highest ranking areas were Nordanå-Lövböle and Påvalsby followed by Helgeboda, Degerdal, Pungböle, Björkboda, and Östanå-Labböle. The fourth aim was to assess the recommendation reliability, and the top-ranking two areas proved robust whereas the other ones were more sensitive.

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.

Kysyntä-toimitusketjun synkronointi epävarman kysynnän ja tarjonnan toimintaympäristössä

Kysynnän ja tarjonnan epävarmuudet ovat nykyisin arkipäivää useilla toimialoilla. Elämme epävarmuuden suhteen ennen näkemättömiä aikoja, minkä on arvioitu jatkuvan myös tulevaisuudessa. Yritysten tilauskannat ovat lyhyitä, ja tilaukset viivästyvät tai peruuntuvat kokonaan. Toisaalta tarjonnan epävarmuudet aiheuttavat asiakasyrityksille haasteita esimerkiksi toimitusmyöhästymisten muodossa. Tuotannon ollessa hajaantunut verkostoihin yksittäisten yritysten toiminta ja päätökset vaikuttavat toisten verkostoyritysten toimintaan. Tämän takia epävarmuuden aiheuttamista muutoksista ja poikkeamista tulisi tiedottaa kumppaniyrityksiä, jotta kaikki pysyisivät samalla kellotaajuudella. Operatiivisen ja taktisen tiedon jakaminen on nykyisissä toimitusketjuissa jo arkipäivää, mutta yritysten välisistä rajapinnoista löytyy edelleen kehitettävää. Riittävästä ei kiinnitetä huomiota vastaanottajan kykyyn ja tapaan hyödyntää informaatiota – varsinkaan muutostilanteissa. Ajan/nopeuden ollessa yhä tärkeämpi kilpailutekijä informaation ajoituksella on kriittinen merkitys kysyntä-toimitusketjujen kokonaissuorituskykyyn. Toisin sanoen, millä ajanhetkellä tietoa tulisi jakaa, jotta kumppani pystyisi hyödyntämään saamaansa tietoa mahdollisimman hyvin. Kysyntä-toimitusketjun synkronoinnilla tarkoitetaan tässä väitöstutkimuksessa nimenomaan aikatekijään keskittymistä yritysten välisessä päätöksenteossa ja informaation jakamisessa toimitusketjun kokonaissuorituskyvyn parantamiseksi. Tutkimus kytkeytyy toimitusketjukoordinoinnin tieteelliseen keskusteluun. Koordinointiteorian keskeinen osa ovat riippuvuussuhteet, joita johdetaan koordinointimekanismien avulla. Kysyntätoimitusketjun synkronointia on mallinnettu aikaisemmin VOP-OPP-mallin (Value Offering Point – Order Penetration Point) ja sen johdannaisten avulla. Näissä malleissa asiakasyrityksen kysyntäketju ja toimittajayrityksen toimitusketju ovat keskinäisessä riippuvuussuhteessa, jota johdetaan päätöksenteon synkronoinnin ja informaation jakamisen koordinointimekanismeilla. VOP-OPP-malli johdannaisineen eivät kuitenkaan huomioi epävarman toimintaympäristön vaikutuksia synkronointiin. Näissä malleissa informaation ainoana laatudimensiona tarkasteltava aikatekijä on liian kapea-alainen näkökulma synkronointiin epävarmassa ympäristössä. Lisäksi nämä mallit keskittyvät vain yksisuuntaiseen, kysyntälähtöiseen, synkronointiin jättäen huomioimatta tarjontalähtöisen synkronoinnin. Aikatekijä- ja kokonaissuorituskykypainotustensa takia VOP-OPP-malli tarjosi kuitenkin hyvän lähtöfilosofian uusien synkronointimallien kehittämiseen. Väitöstutkimus toteutettiin hypoteettis-deduktiivisena tapaustutkimuksena, jossa ensin luotiin kirjallisuuden perusteella uudet teoreettiset synkronointimalliehdotukset. Tämän jälkeen ehdotusten toimivuutta arvioitiin käytännön kysyntä-toimitusketjuissa. Tutkimuksen uutuusarvo liittyy kysyntä-toimitusketjun synkronoinnin keskeisten piirteiden systeemiseen mallintamiseen epävarmassa toimintaympäristössä. Kontribuutiona esitetään kysyntä-toimitusketjun synkronoinnin moniulotteinen kokonaismalli, joka sisältää koordinointimekanismeina päätöksenteon synkronoinnin, informaation läpinäkyvyyden sekä asiakas- ja toimittajapään joustot. Tiedon vaihtoa mallissa tarkastellaan kaksisuuntaisesti – kysyntä- ja tarjontalähtöisesti. Informaation laatudimensioina mallissa ovat informaation ajoitus, luotettavuus ja tarkkuus. Kokonaismalli sisältää kolme alimallia: Demand Visibility Point – Demand Penetration Point (DVP-DPP) on kysyntälähtöisen synkronoinnin malli, Supply Visibility Point – Supply Information Penetration Point (SVP-SIPP) on tarjontalähtöisen synkronoinnin malli ja Integroitu DVP-DPP - SVP-SIPP-malli kytkee edellä mainitut mallit toisiinsa. Näissä alimalleissa informaation eri luokkia ovat tilausta edeltävä, tilaukseen liittyvä, tilauksen jälkeinen ja sovitun toimitusajankohdan jälkeinen kysyntä- ja tarjontatieto. Käytännön hyödyntämisen näkökulmasta mallit toimivat ns. mentaalitason koordinointimekanismeina, joiden tarkoitus on herättää toimitusketjukumppanit tavoittelemaan kokonaissuorituskyvyn parantamista oman edun tavoittelemisen sijasta. Tutkimuksen päärajoitteena on sen keskittyminen ainoastaan kahdenvälisiin yhteistyösuhteisiin, mikä tarjoaa nykyisessä verkostoituneessa toimintaympäristössä varsin kapean kuvan käytännön synkronointihaasteisiin.

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.

Flexible multibody dynamics and intelligent control of a hydraulically driven hybrid redundant robot machine

The assembly and maintenance of the International Thermonuclear Experimental Reactor (ITER) vacuum vessel (VV) is highly challenging since the tasks performed by the robot involve welding, material handling, and machine cutting from inside the VV. The VV is made of stainless steel, which has poor machinability and tends to work harden very rapidly, and all the machining operations need to be carried out from inside of the ITER VV. A general industrial robot cannot be used due to its poor stiffness in the heavy duty machining process, and this will cause many problems, such as poor surface quality, tool damage, low accuracy. Therefore, one of the most suitable options should be a light weight mobile robot which is able to move around inside of the VV and perform different machining tasks by replacing different cutting tools. Reducing the mass of the robot manipulators offers many advantages: reduced material costs, reduced power consumption, the possibility of using smaller actuators, and a higher payload-to-robot weight ratio. Offsetting these advantages, the lighter weight robot is more flexible, which makes it more difficult to control. To achieve good machining surface quality, the tracking of the end effector must be accurate, and an accurate model for a more flexible robot must be constructed. This thesis studies the dynamics and control of a 10 degree-of-freedom (DOF) redundant hybrid robot (4-DOF serial mechanism and 6-DOF 6-UPS hexapod parallel mechanisms) hydraulically driven with flexible rods under the influence of machining forces. Firstly, the flexibility of the bodies is described using the floating frame of reference method (FFRF). A finite element model (FEM) provided the Craig-Bampton (CB) modes needed for the FFRF. A dynamic model of the system of six closed loop mechanisms was assembled using the constrained Lagrange equations and the Lagrange multiplier method. Subsequently, the reaction forces between the parallel and serial parts were used to study the dynamics of the serial robot. A PID control based on position predictions was implemented independently to control the hydraulic cylinders of the robot. Secondly, in machining, to achieve greater end effector trajectory tracking accuracy for surface quality, a robust control of the actuators for the flexible link has to be deduced. This thesis investigates the intelligent control of a hydraulically driven parallel robot part based on the dynamic model and two schemes of intelligent control for a hydraulically driven parallel mechanism based on the dynamic model: (1) a fuzzy-PID self-tuning controller composed of the conventional PID control and with fuzzy logic, and (2) adaptive neuro-fuzzy inference system-PID (ANFIS-PID) self-tuning of the gains of the PID controller, which are implemented independently to control each hydraulic cylinder of the parallel mechanism based on rod length predictions. The serial component of the hybrid robot can be analyzed using the equilibrium of reaction forces at the universal joint connections of the hexa-element. To achieve precise positional control of the end effector for maximum precision machining, the hydraulic cylinder should be controlled to hold the hexa-element. Thirdly, a finite element approach of multibody systems using the Special Euclidean group SE(3) framework is presented for a parallel mechanism with flexible piston rods under the influence of machining forces. The flexibility of the bodies is described using the nonlinear interpolation method with an exponential map. The equations of motion take the form of a differential algebraic equation on a Lie group, which is solved using a Lie group time integration scheme. The method relies on the local description of motions, so that it provides a singularity-free formulation, and no parameterization of the nodal variables needs to be introduced. The flexible slider constraint is formulated using a Lie group and used for modeling a flexible rod sliding inside a cylinder. The dynamic model of the system of six closed loop mechanisms was assembled using Hamilton’s principle and the Lagrange multiplier method. A linearized hydraulic control system based on rod length predictions was implemented independently to control the hydraulic cylinders. Consequently, the results of the simulations demonstrating the behavior of the robot machine are presented for each case study. In conclusion, this thesis studies the dynamic analysis of a special hybrid (serialparallel) robot for the above-mentioned special task involving the ITER and investigates different control algorithms that can significantly improve machining performance. These analyses and results provide valuable insight into the design and control of the parallel robot with flexible rods.

Stiffness based trajectory planning and feedforward based vibration suppression control of parallel robot machines

The dissertation proposes two control strategies, which include the trajectory planning and vibration suppression, for a kinematic redundant serial-parallel robot machine, with the aim of attaining the satisfactory machining performance. For a given prescribed trajectory of the robot's end-effector in the Cartesian space, a set of trajectories in the robot's joint space are generated based on the best stiffness performance of the robot along the prescribed trajectory. To construct the required system-wide analytical stiffness model for the serial-parallel robot machine, a variant of the virtual joint method (VJM) is proposed in the dissertation. The modified method is an evolution of Gosselin's lumped model that can account for the deformations of a flexible link in more directions. The effectiveness of this VJM variant is validated by comparing the computed stiffness results of a flexible link with the those of a matrix structural analysis (MSA) method. The comparison shows that the numerical results from both methods on an individual flexible beam are almost identical, which, in some sense, provides mutual validation. The most prominent advantage of the presented VJM variant compared with the MSA method is that it can be applied in a flexible structure system with complicated kinematics formed in terms of flexible serial links and joints. Moreover, by combining the VJM variant and the virtual work principle, a systemwide analytical stiffness model can be easily obtained for mechanisms with both serial kinematics and parallel kinematics. In the dissertation, a system-wide stiffness model of a kinematic redundant serial-parallel robot machine is constructed based on integration of the VJM variant and the virtual work principle. Numerical results of its stiffness performance are reported. For a kinematic redundant robot, to generate a set of feasible joints' trajectories for a prescribed trajectory of its end-effector, its system-wide stiffness performance is taken as the constraint in the joints trajectory planning in the dissertation. For a prescribed location of the end-effector, the robot permits an infinite number of inverse solutions, which consequently yields infinite kinds of stiffness performance. Therefore, a differential evolution (DE) algorithm in which the positions of redundant joints in the kinematics are taken as input variables was employed to search for the best stiffness performance of the robot. Numerical results of the generated joint trajectories are given for a kinematic redundant serial-parallel robot machine, IWR (Intersector Welding/Cutting Robot), when a particular trajectory of its end-effector has been prescribed. The numerical results show that the joint trajectories generated based on the stiffness optimization are feasible for realization in the control system since they are acceptably smooth. The results imply that the stiffness performance of the robot machine deviates smoothly with respect to the kinematic configuration in the adjacent domain of its best stiffness performance. To suppress the vibration of the robot machine due to varying cutting force during the machining process, this dissertation proposed a feedforward control strategy, which is constructed based on the derived inverse dynamics model of target system. The effectiveness of applying such a feedforward control in the vibration suppression has been validated in a parallel manipulator in the software environment. The experimental study of such a feedforward control has also been included in the dissertation. The difficulties of modelling the actual system due to the unknown components in its dynamics is noticed. As a solution, a back propagation (BP) neural network is proposed for identification of the unknown components of the dynamics model of the target system. To train such a BP neural network, a modified Levenberg-Marquardt algorithm that can utilize an experimental input-output data set of the entire dynamic system is introduced in the dissertation. Validation of the BP neural network and the modified Levenberg- Marquardt algorithm is done, respectively, by a sinusoidal output approximation, a second order system parameters estimation, and a friction model estimation of a parallel manipulator, which represent three different application aspects of this method.

Review of water electrolysis technologies and design of renewable hydrogen production systems

An electric system based on renewable energy faces challenges concerning the storage and utilization of energy due to the intermittent and seasonal nature of renewable energy sources. Wind and solar photovoltaic power productions are variable and difficult to predict, and thus electricity storage will be needed in the case of basic power production. Hydrogen’s energetic potential lies in its ability and versatility to store chemical energy, to serve as an energy carrier and as feedstock for various industries. Hydrogen is also used e.g. in the production of biofuels. The amount of energy produced during hydrogen combustion is higher than any other fuel’s on a mass basis with a higher-heating-value of 39.4 kWh/kg. However, even though hydrogen is the most abundant element in the universe, on Earth most hydrogen exists in molecular forms such as water. Therefore, hydrogen must be produced and there are various methods to do so. Today, the majority hydrogen comes from fossil fuels, mainly from steam methane reforming, and only about 4 % of global hydrogen comes from water electrolysis. Combination of electrolytic production of hydrogen from water and supply of renewable energy is attracting more interest due to the sustainability and the increased flexibility of the resulting energy system. The preferred option for intermittent hydrogen storage is pressurization in tanks since at ambient conditions the volumetric energy density of hydrogen is low, and pressurized tanks are efficient and affordable when the cycling rate is high. Pressurized hydrogen enables energy storage in larger capacities compared to battery technologies and additionally the energy can be stored for longer periods of time, on a time scale of months. In this thesis, the thermodynamics and electrochemistry associated with water electrolysis are described. The main water electrolysis technologies are presented with state-of-the-art specifications. Finally, a Power-to-Hydrogen infrastructure design for Lappeenranta University of Technology is presented. Laboratory setup for water electrolysis is specified and factors affecting its commissioning in Finland are presented.