Design and Control of Permanent Magnet Synchronous Machine for Hybrid Electric Vehicle

This master’s thesis mainly focuses on the design requirements of an Electric drive for Hybrid car application and its control strategy to achieve a wide speed range. It also emphasises how the control and performance requirements are transformed into its design variables. A parallel hybrid topology is considered where an IC engine and an electric drive share a common crank shaft. A permanent magnet synchronous machine (PMSM) is used as an electric drive machine. Performance requirements are converted into Machine design variables using the vector model of PMSM. Main dimensions of the machine are arrived using analytical approach and Finite Element Analysis (FEA) is used to verify the design and performance. Vector control algorithm was used to control the machine. The control algorithm was tested in a low power PMSM using an embedded controller. A prototype of 10 kW PMSM was built according to the design values. The prototype was tested in the laboratory using a high power converter. Tests were carried out to verify different operating modes. The results were in agreement with the calculations.

Repair of segmental bone defects with fiber-reinforced composite: a study of material development and an animal model on rabbits

The Repair of segmental defects in load-bearing long bones is a challenging task because of the diversity of the load affecting the area; axial, bending, shearing and torsional forces all come together to test the stability/integrity of the bone. The natural biomechanical requirements for bone restorative materials include strength to withstand heavy loads, and adaptivity to conform into a biological environment without disturbing or damaging it. Fiber-reinforced composite (FRC) materials have shown promise, as metals and ceramics have been too rigid, and polymers alone are lacking in strength which is needed for restoration. The versatility of the fiber-reinforced composites also allows tailoring of the composite to meet the multitude of bone properties in the skeleton. The attachment and incorporation of a bone substitute to bone has been advanced by different surface modification methods. Most often this is achieved by the creation of surface texture, which allows bone growth, onto the substitute, creating a mechanical interlocking. Another method is to alter the chemical properties of the surface to create bonding with the bone – for example with a hydroxyapatite (HA) or a bioactive glass (BG) coating. A novel fiber-reinforced composite implant material with a porous surface was developed for bone substitution purposes in load-bearing applications. The material’s biomechanical properties were tailored with unidirectional fiber reinforcement to match the strength of cortical bone. To advance bone growth onto the material, an optimal surface porosity was created by a dissolution process, and an addition of bioactive glass to the material was explored. The effects of dissolution and orientation of the fiber reinforcement were also evaluated for bone-bonding purposes. The Biological response to the implant material was evaluated in a cell culture study to assure the safety of the materials combined. To test the material’s properties in a clinical setting, an animal model was used. A critical-size bone defect in a rabbit’s tibia was used to test the material in a load-bearing application, with short- and long-term follow-up, and a histological evaluation of the incorporation to the host bone. The biomechanical results of the study showed that the material is durable and the tailoring of the properties can be reproduced reliably. The Biological response - ex vivo - to the created surface structure favours the attachment and growth of bone cells, with the additional benefit of bioactive glass appearing on the surface. No toxic reactions to possible agents leaching from the material could be detected in the cell culture study when compared to a nontoxic control material. The mechanical interlocking was enhanced - as expected - with the porosity, whereas the reinforcing fibers protruding from the surface of the implant gave additional strength when tested in a bone-bonding model. Animal experiments verified that the material is capable of withstanding load-bearing conditions in prolonged use without breaking of the material or creating stress shielding effects to the host bone. A Histological examination verified the enhanced incorporation to host bone with an abundance of bone growth onto and over the material. This was achieved with minimal tissue reactions to a foreign body. An FRC implant with surface porosity displays potential in the field of reconstructive surgery, especially regarding large bone defects with high demands on strength and shape retention in load-bearing areas or flat bones such as facial / cranial bones. The benefits of modifying the strength of the material and adjusting the surface properties with fiber reinforcement and bone-bonding additives to meet the requirements of different bone qualities are still to be fully discovered.

Novel Methods for Error Modeling and Parameter Identification of a Redundant Serial-Parallel Hybrid Robot

To obtain the desirable accuracy of a robot, there are two techniques available. The first option would be to make the robot match the nominal mathematic model. In other words, the manufacturing and assembling tolerances of every part would be extremely tight so that all of the various parameters would match the “design” or “nominal” values as closely as possible. This method can satisfy most of the accuracy requirements， but the cost would increase dramatically as the accuracy requirement increases. Alternatively, a more cost-effective solution is to build a manipulator with relaxed manufacturing and assembling tolerances. By modifying the mathematical model in the controller, the actual errors of the robot can be compensated. This is the essence of robot calibration. Simply put, robot calibration is the process of defining an appropriate error model and then identifying the various parameter errors that make the error model match the robot as closely as possible. This work focuses on kinematic calibration of a 10 degree-of-freedom (DOF) redundant serial-parallel hybrid robot. The robot consists of a 4-DOF serial mechanism and a 6-DOF hexapod parallel manipulator. The redundant 4-DOF serial structure is used to enlarge workspace and the 6-DOF hexapod manipulator is used to provide high load capabilities and stiffness for the whole structure. The main objective of the study is to develop a suitable calibration method to improve the accuracy of the redundant serial-parallel hybrid robot. To this end, a Denavit–Hartenberg (DH) hybrid error model and a Product-of-Exponential (POE) error model are developed for error modeling of the proposed robot. Furthermore, two kinds of global optimization methods, i.e. the differential-evolution (DE) algorithm and the Markov Chain Monte Carlo (MCMC) algorithm, are employed to identify the parameter errors of the derived error model. A measurement method based on a 3-2-1 wire-based pose estimation system is proposed and implemented in a Solidworks environment to simulate the real experimental validations. Numerical simulations and Solidworks prototype-model validations are carried out on the hybrid robot to verify the effectiveness, accuracy and robustness of the calibration algorithms.

Structural and operational optimisation : applications in energy systems

In this work mathematical programming models for structural and operational optimisation of energy systems are developed and applied to a selection of energy technology problems. The studied cases are taken from industrial processes and from large regional energy distribution systems. The models are based on Mixed Integer Linear Programming (MILP), Mixed Integer Non-Linear Programming (MINLP) and on a hybrid approach of a combination of Non-Linear Programming (NLP) and Genetic Algorithms (GA). The optimisation of the structure and operation of energy systems in urban regions is treated in the work. Firstly, distributed energy systems (DES) with different energy conversion units and annual variations of consumer heating and electricity demands are considered. Secondly, district cooling systems (DCS) with cooling demands for a large number of consumers are studied, with respect to a long term planning perspective regarding to given predictions of the consumer cooling demand development in a region. The work comprises also the development of applications for heat recovery systems (HRS), where paper machine dryer section HRS is taken as an illustrative example. The heat sources in these systems are moist air streams. Models are developed for different types of equipment price functions. The approach is based on partitioning of the overall temperature range of the system into a number of temperature intervals in order to take into account the strong nonlinearities due to condensation in the heat recovery exchangers. The influence of parameter variations on the solutions of heat recovery systems is analysed firstly by varying cost factors and secondly by varying process parameters. Point-optimal solutions by a fixed parameter approach are compared to robust solutions with given parameter variation ranges. In the work enhanced utilisation of excess heat in heat recovery systems with impingement drying, electricity generation with low grade excess heat and the use of absorption heat transformers to elevate a stream temperature above the excess heat temperature are also studied.

Laser-TIG hybrid welding process

Joining processes and techniques need to meet the trend of new applications and the development of new materials. The application in connection with thick and thin plates in industrial fields is wide and the joining technology is in very urgent need. The laser-TIG hybrid welding technology can play the respective advantages of both of them. One major advantage of the hybrid laser-TIG welding technology is its efficient use of laser energy. Additionally, it can develop into a high and new advanced welding technology and become a hot spot in both the application and research area. This thesis investigated laser –TIG hybrid welding with the aim of enlightening the reader on its advantages, disadvantages and future areas of improvement. The main objective is to investigate laser-TIG hybrid on the welding of various metals (steels, magnesium, aluminium etc.). In addition, it elaborates on various possible combinations on hybrid laser-TIG welding technology and their benefits. The possibility of using laser-TIG hybrid in welding of thick materials was investigated. The method applied in carrying out this research is by using literature review. The results showed that hybrid laser-TIG is applicable to almost all weldable metals. Also it proves to be effective in welding refractive metals. The possibility of welding with or without filler materials is of economic advantage especially in welding of materials with no filler material. Thick plate’s hybrid laser-TIG welding is showing great prospects although it normally finds its used in welding thin materials in the range of 0.4 to 0.8 mm. The findings show that laser-TIG hybrid welding can be a versatile welding process and therefore will be increasingly used industrially due to its numerous advantages and the development of new TIG arc that enhances its capabilities.

Hezbollah and Taliban - hybrid adversaries in contemporary conflicts? : views on an adversary from the United States Armed Forces perspective

The experiences of the United States Armed Forces of the wars in Iraq and Afghanistan and Israel Defense Forces in the Second Lebanon War resulted a new term to surface called “hybrid warfare”. It was to describe the complexity of today’s battlefield. The term “hy-brid warfare” was never officially defined nor is it today. The updated version of the US ARMY Field Manual 3-0: Operations (Change 1) from February 22, 2011, introduced and defined “hybrid threat” and thus opened the discussion for hybrid adversary. In this thesis a model is introduced according to which any organization, group or an ad-versary can be examined and evaluated to see whether it qualifies as a hybrid adversary. It is demonstrated by the example of Hezbollah, which is recognized as the best example of an organization utilizing “hybrid warfare” and subsequently categorizing as a hybrid adver-sary. The model will be tested with Afghan Taliban to see whether both the model works and Taliban qualifies as a hybrid adversary or not. According to the model used in this thesis, it is concluded that Taliban does not meet the standards of a hybrid adversary, but with acquisition of standoff weapons it would quickly qualify as one. The model proved to work, and it could be used as a tool by intelligence of-ficers for estimating the threat levels of any group or identifying those groups that are al-ready or are about to develop into a hybrid adversary.

Development of porous glass-fiber reinforced composite for bone implants. Evaluation of antimicrobial effect and implant fixation

Cranial bone reconstructions are necessary for correcting large skull bone defects due to trauma, tumors, infections and craniotomies. Traditional synthetic implant materials include solid or mesh titanium, various plastics and ceramics. Recently, biostable glass-fiber reinforced composites (FRC), which are based on bifunctional methacrylate resin, were introduced as novel implant solution. FRCs were originally developed and clinically used in dental applications. As a result of further in vitro and in vivo testing, these composites were also approved for clinical use in cranial surgery. To date, reconstructions of large bone defects were performed in 35 patients. This thesis is dedicated to the development of a novel FRC-based implant for cranial reconstructions. The proposed multi-component implant consists of three main parts: (i) porous FRC structure; (ii) bioactive glass granules embedded between FRC layers and (iii) a silver-polysaccharide nanocomposite coating. The porosity of the FRC structure should allow bone ingrowth. Bioactive glass as an osteopromotive material is expected to stimulate the formation of new bone. The polysaccharide coating is expected to prevent bacterial colonization of the implant. The FRC implants developed in this study are based on the porous network of randomly-oriented E-glass fibers bound together by non-resorbable photopolymerizable methacrylate resin. These structures had a total porosity of 10–70 volume %, of which > 70% were open pores. The pore sizes > 100 μm were in the biologically-relevant range (50-400 μm), which is essential for vascularization and bone ingrowth. Bone ingrowth into these structures was simulated by imbedding of porous FRC specimens in gypsum. Results of push-out tests indicated the increase in the shear strength and fracture toughness of the interface with the increase in the total porosity of FRC specimens. The osteopromotive effect of bioactive glass is based on its dissolution in the physiological environment. Here, calcium and phosphate ions, released from the glass, precipitated on the glass surface and its proximity (the FRC) and formed bone-like apatite. The biomineralization of the FRC structure, due to the bioactive glass reactions, was studied in Simulated Body Fluid (SBF) in static and dynamic conditions. An antimicrobial, non-cytotoxic polysaccharide coating, containing silver nanoparticles, was obtained through strong electrostatic interactions with the surface of FRC. In in vitro conditions the lactose-modified chitosan (chitlac) coating showed no signs of degradation within seven days of exposure to lysozyme or one day to hydrogen peroxide (H2O2). The antimicrobial efficacy of the coating was tested against Staphylococcus aureus and Pseudomonas aeruginosa. The contact-active coating had an excellent short time antimicrobial effect. The coating neither affected the initial adhesion of microorganisms to the implant surface nor the biofilm formation after 24 h and 72 h of incubation. Silver ions released to the aqueous environment led to a reduction of bacterial growth in the culture medium.

Composite artistry in the Book of Numbers : a study in biblical narrative conventions

The present thesis discusses the coherence or lack of coherence in the book of Numbers, with special regard to its narrative features. The fragmented nature of Numbers is a well-known problem in research on the book, affecting how we approach and interpret it, but to date there has not been any thorough investigation of the narrative features of the work and how they might contribute to the coherence or the lack of coherence in the book. The discussion is pursued in light of narrative theory, and especially in connection to three parameters that are typically understood to be invoked in the interpretation of narratives: 1) a narrative paradigm, or ‘story,’ meaning events related to each other temporally, causally, and thematically, in a plot with a beginning, middle, and end; 2) discourse, being the expression plane of a narrative, or the devices that an author has at hand in constructing a narrative; 3) the situation or languagegame of the narrative, prototypical examples being factual reports, which seeks to depict a state of affairs, and storytelling narratives, driven by a demand for tellability. In view of these parameters the present thesis argues that it is reasonable to form four groups to describe the narrative material of Numbers: genuine narratives (e.g. Num 12), independent narrative sequences (e.g. Num 5:1-4), instrumental scenes and situations (e.g. Num 27:1-5), and narrative fragments (e.g. Num 18:1). These groups are mixed throughout with non-narrative materials. Seen together, however, the narrative features of these groups can be understood to create an attenuated narrative sequence from beginning to end in Numbers, where one thing happens after another. This sequence, termed the ‘larger story’ of Numbers, concerns the wandering of Israel from Sinai to Moab. Furthermore, the larger story has a fragmented plot. The end-point is fixed on the promised land, Israel prepares for the wandering towards it (Num 1-10), rebels against wandering and the promise and is sent back into the wilderness (Num 13-14), returns again after forty years (Num 21ff.), and prepares for conquering the land (Num 22-36). Finally, themes of the promised land, generational succession, and obedience-disobedience, operate in this larger story. Purity is also a significant theme in the book, albeit not connected to plot in the larger story. All in all, sequence, plot, and theme in the larger story of Numbers can be understood to bring some coherence to the book. However, neither aspect entirely subsumes the whole book, and the four groups of narrative materials can also be understood to underscore the incoherence of the work in differentiating its variegated narrative contents. Numbers should therefore be described as an anthology of different materials that are loosely connected through its narrative features in the larger story, with the aim of informing Israelite identity by depicting a certain period in the early history of the people.

Unidirectional fiber-reinforced composite as an oral implant abutment material: Experimental studies of E-glass fiber/BisGMA-TEGDMA polymer in vitro

Fiber-reinforced composites (FRCs) are a new group of non-metallic biomaterials showing a growing popularity in many dental and medical applications. As an oral implant material, FRC is biocompatible in bone tissue environment. Soft tissue integration to FRC polymer material is unclear. This series of in vitro studies aimed at evaluating unidirectional E-glass FRC polymer in terms of mechanical, chemical, and biological properties in an attempt to develop a new non-metallic oral implant abutment alternative. Two different types of substrates were investigated: (a) Plain polymer (BisGMA 50%–TEGDMA 50%) and (b) Unidirectional FRC. The mechanical behavior of high fiber-density FRCs was assessed using a three-point bending test. Surface characterization was performed using scanning electron and spinning disk confocal microscopes. The surface wettability/energy was determined using sessile drop method. The blood response, including blood-clotting ability and platelet morphology was evaluated. Human gingival fibroblast cell responses - adhesion kinetics, adhesion strength, and proliferation activity - were studied in cell culture environment using routine test conditions. A novel tissue culture method was developed and used to evaluate porcine gingival tissue graft attachment and growth on the experimental composite implants. The analysis of the mechanical properties showed that there is a direct proportionality in the relationship between E-glass fiber volume fraction and toughness, modulus of elasticity, and load bearing capacity; however, flexural strength did not show significant improvement when high fiber-density FRC is used. FRCs showed moderate hydrophilic properties owing to the presence of exposed glass fibers on the polymer surface. Blood-clotting time was shorter on FRC substrates than on plain polymer. The FRC substrates also showed higher platelet activation state than plain polymer substrates. Fibroblast cell adhesion strength and proliferation rate were highly pronounced on FRCs. A tissue culture study revealed that gingival epithelium and connective tissue established an immediate close contact with both plain polymer and FRC implants. However, FRC seemed to guide epithelial migration outwards from the tissue/implant interface. Due to the anisotropic and hydrophilic nature of FRC, it can be concluded that this material enhances biological events related with soft tissue integration on oral implant surface.

Use of fiber-reinforced composite framework and thermochromic pigment in maxillofacial prostheses

The purpose of this investigation was to evaluate the possibility to enhance certain qualities of facial prostheses. Polymethyl methacrylate is still being used as base mate¬rial or clip carrier material, but it is hard and heavy, and debonding of the silicone from the acrylic base material is a frequent problem. This thesis aims to evaluate the use of fiber-reinforced composite (FRC) as framework material for maxillofacial silicone prostheses. FRC has been used as reinforcement in removable and fixed partial dentures since the 1990s. This material is lightweight and can be fabricated to compress the margins of the prosthesis slightly, to keep it tightly against the skin during jaw movements and facial expressions. Additionally, the use of a thermochromic pigment, colorless in room temperature and red in a cold environment, was studied in order to evaluate the possibility of using this color changing pigment in facial prostheses to mimic the color change of facial skin in cold weather. The tensile bond strength between pre-impregnated, unidirectional FRC and maxillofacial silicone elastomer was studied. Three different bonding agents or primers were compared. Bond strength was improved by one of the primers and by roughening the surface. The effect of a skin compressing glass fiber-reinforced composite framework on facial skin blood flow was studied by using a face mask, constructed with a compression pad corresponding to the outer margin of a glass fiber-reinforced framework beam of a facial prosthesis. The skin blood flow of ten healthy volunteers, aged 23-25 years, was measured during touch, light, and moderate compression of the skin, by using laser Doppler imaging technique. None of the compressions showed any marked effects on local skin blood flow. There were no significant differences between blood flow during compression and at baseline. Maxillofacial silicone elastomer was colored intrinsically with conventional color pigments: a control group containing only conventional pigments was compared to two test groups with 0.2 wt% and 0.6 wt% thermochromic pigment added. The color of the material was measured with a spectrophotometer in room temperature and after storage in a freezer. The color stability of the maxillofacial silicone elastomer colored with thermo¬chromic pigment was evaluated by artificial aging. The color dif¬ference of the L* (lightness) and a* values (redness), comparing color after the samples were stored at room temperature and in a freezer (-19°C), was statistically significant for both 0.2 wt% and 0.6 wt% thermo¬chromic pigment groups. The differences in the b* values (yellowness) were statistically significant for the 0.6 wt% group. Exposure to ultraviolet (UV) radiation led to visually noticeable and statistically signifi¬cant color changes (ΔE) in all color values in both test groups. The specimens containing thermochromic pigment were very sensitive to UV radiation. In conclusion, a framework of fiber-reinforced composite can successfully be bonded to maxillofacial silicone elastomer, and a framework beam, compressing the facial skin, did not remarkably alter the skin blood flow on healthy, young adults. The thermochromic pigment showed color change in maxillofacial silicone elastomer. However, artificial aging showed that it was too sensitive to UV radiation to be used, as such, in maxillofacial prostheses.

Optimization of parameters for fiber laser-MAG hybrid welding in shipbuilding applications

The Arctic region becoming very active area of the industrial developments since it may contain approximately 15-25% of the hydrocarbon and other valuable natural resources which are in great demand nowadays. Harsh operation conditions make the Arctic region difficult to access due to low temperatures which can drop below -50 °C in winter and various additional loads. As a result, newer and modified metallic materials are implemented which can cause certain problems in welding them properly. Steel is still the most widely used material in the Arctic regions due to high mechanical properties, cheapness and manufacturability. Moreover, with recent steel manufacturing development it is possible to make up to 1100 MPa yield strength microalloyed high strength steel which can be operated at temperatures -60 °C possessing reasonable weldability, ductility and suitable impact toughness which is the most crucial property for the Arctic usability. For many years, the arc welding was the most dominant joining method of the metallic materials. Recently, other joining methods are successfully implemented into welding manufacturing due to growing industrial demands and one of them is the laser-arc hybrid welding. The laser-arc hybrid welding successfully combines the advantages and eliminates the disadvantages of the both joining methods therefore produce less distortions, reduce the need of edge preparation, generates narrower heat-affected zone, and increase welding speed or productivity significantly. Moreover, due to easy implementation of the filler wire, accordingly the mechanical properties of the joints can be manipulated in order to produce suitable quality. Moreover, with laser-arc hybrid welding it is possible to achieve matching weld metal compared to the base material even with the low alloying welding wires without excessive softening of the HAZ in the high strength steels. As a result, the laser-arc welding methods can be the most desired and dominating welding technology nowadays, and which is already operating in automotive and shipbuilding industries with a great success. However, in the future it can be extended to offshore, pipe-laying, and heavy equipment industries for arctic environment. CO2 and Nd:YAG laser sources in combination with gas metal arc source have been used widely in the past two decades. Recently, the fiber laser sources offered high power outputs with excellent beam quality, very high electrical efficiency, low maintenance expenses, and higher mobility due to fiber optics. As a result, fiber laser-arc hybrid process offers even more extended advantages and applications. However, the information about fiber or disk laser-arc hybrid welding is very limited. The objectives of the Master’s thesis are concentrated on the study of fiber laser-MAG hybrid welding parameters in order to understand resulting mechanical properties and quality of the welds. In this work only ferrous materials are reviewed. The qualitative methodological approach has been used to achieve the objectives. This study demonstrates that laser-arc hybrid welding is suitable for welding of many types, thicknesses and strength of steels with acceptable mechanical properties along very high productivity. New developments of the fiber laser-arc hybrid process offers extended capabilities over CO2 laser combined with the arc. This work can be used as guideline in hybrid welding technology with comprehensive study the effect of welding parameter on joint quality.

Victims’ status at international and hybrid criminal courts : victims’ status as witnesses, victim participants/civil parties and reparations claimants

Bestraffning av internationella brott vid internationella och hybrida straffrättsliga domstolar har traditionellt och huvudsakligen grundat sig på principen om retributiv (vedergällande) rättvisa och ackusatorisk process snarare än återuppbyggande rättvisa och en inkvisitorisk modell. Därav har brottsoffrens ställning vid dessa straffrättsliga domstolar begränsat sig till den som innehas av vittnen vid Tribunalen som behandlar brott som begåtts i det forna Jugoslavien (ICTY), Internationella krigsförbrytartribunalen för Rwanda (ICTR) och Specialdomstolen för Sierra Leone (SCSL). Internationella brottmålsdomstolen (ICC), å sin sida, har medfört en viktig förändring gällande brottsoffrens ställning i internationella straffrättsliga fora, vilket innebär att de från att ha betraktats endast i egenskap av vittnen nu även har en rätt att delta och lämna sina synpunkter (i egenskap av brottsofferdeltagare) samt kräva gottgörelse. Denna trend har fortsatt inom området för internationell straffrätt, vilket manifesterats vid hybridtribunaler som tillsatts efter ICC såsom Kambodjadomstolen (ECCC) vid vilken brottsoffer kan agera civilrättsliga parter och Specialdomstolen för Libanon (STL) där brottsoffer kan inneha en deltagande roll. Den föreliggande studien behandlar två huvudsakliga frågeställningar, av vilka den första lyder: Vilken ställning tillskrivs brottsoffren vid internationella domstolar och hybridtribunaler? I detta hänseende argumenterar författaren, sammanfattningsvis, för att brottsoffrens ställning vid internationella straffrättsliga domstolar och hybridtribunaler huvudsakligen tar sig uttryck på tre sätt, d.v.s. som brottsoffer i egenskap av vittnen, som brottsoffer i egenskap av deltagande brottsoffer/civilrättsliga parter samt som brottsoffer som kräver gottgörelse. Den andra frågeställningen för denna studie lyder: På vilket sätt fungerar brottsoffrens ställning som vittnen, brottsofferdeltagande/civilrättsliga parter och gottgörelsekrävande vid internationella och hybrida straffrättsliga domstolar? -------------------------------------------------------------------------------------------------------------------------------------------------- Kansainvälisten rikosten rankaiseminen kansainvälisissä rikostuomioistuimissa ja hybridituomioistuimissa on perinteisesti enimmäkseen perustunut retributiivisen oikeuden ja akkusatorisen menetelmän soveltamiseen pikemmin kuin restoratiivisen oikeuden ja inkvisitorisen menetelmän soveltamiseen. Niinpä uhrien asema kansainvälisissä rikostuomioistuimissa ja hybridituomioistuimissa on rajoittunut todistajan asemaan entisen Jugoslavian kansainvälisessä sotarikostuomioistuimessa (ICTY), Ruandan kansainvälisessä sotarikostuomioistuimessa (ICTR) ja Sierra Leonen erikoistuomioistuimessa (SCSL). Kansainvälisen rikostuomioistuimen (ICC) perustaminen on kuitenkin merkinnyt tärkeää muutosta uhrien asemaan kansainvälisen rikosoikeuden alalla siten, että kun uhrit aiemmin nähtiin vain todistajina, heillä on nyt myös mahdollisuus tuoda esiin omat näkökantansa (osallistumisoikeus) ja vaatia hyvitystä. Tämä suuntaus on jatkunut kansainvälisen rikosoikeuden alalla ICC:n jälkeen perustetuissa hybridituomioistuimissa, kuten Kambodzhan erityistuomioistuimessa (ECCC), missä uhrit voivat olla asianosaisen asemassa, sekä Libanonin erityistuomioistuimessa (STL), missä uhrit voivat osallistua prosessiin. Tämä tutkimus käsittelee kahta keskeistä kysymystä. Ensinnäkin: Mikä on rikoksen uhrien asema kansainvälisissä rikostuomioistuimissa ja hybridituomioistuimissa? Tutkimuksessa päädytään mm. siihen, että uhrien asema kansainvälisissä rikostuomioistuimissa ja hybridituomioistuimissa voi koostua pääosin kolmesta ulottuvuudesta eli uhrit todistajina, uhrit prosessiin osallistujina/asianosaisina ja uhrit hyvityksen hakijoina. Tutkimuksen toinen keskeinen kysymys on: Miten uhrien asema todistajina, prosessiin osallistujina/ asianosaisina ja hyvityksen hakijoina toimii kansainvälisissä rikostuomioistuimissa ja hybridituomioistuimissa?

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.

Portfolio Selection via Composite Measure Analysis: Evidence from the U.S. Stock Market

The aim of this research is to examine the pricing anomalies existing in the U.S. market during 1986 to 2011. The sample of stocks is divided into decile portfolios based on seven individual valuation ratios (E/P, B/P, S/P, EBIT/EV, EVITDA/EV, D/P, and CE/P) and price momentum to investigate the efficiency of individual valuation ratio and their combinations as portfolio formation criteria. This is the first time in financial literature when CE/P is employed as a constituent of composite value measure. The combinations are based on median scaled composite value measures and TOPSIS method. During the sample period value portfolios significantly outperform both the market portfolio and comparable glamour portfolios. The results show the highest return for the value portfolio that was based on the combination of S/P & CE/P ratios. The outcome of this research will increase the understanding on the suitability of different methodologies for portfolio selection. It will help managers to take advantage of the results of different methodologies in order to gain returns above the market.