Toward including the effect of manufacturing processes in the pre-estimated losses of the switched reluctance motor

The estimation of losses plays a key role in the process of building any electrical machine. How to estimate those losses while designing any machine; by obtaining the characteristic of the electrical steel from the catalogue and calculate the losses. However, this way is inaccurate since the electrical steel performs several manufacturing processes during the process of building any machine, which affects directly the magnetic property of the electrical steel and accordingly the characteristic of the electrical steel will be affected. That means the B–H curve of the steel that was obtained from the catalogue will be changed. Moreover, during loading and rotating the machine, some important changes occur to the B–H characteristic of the electrical steel such as the stress on the laminated iron. Accordingly, the pre-estimated losses are completely far from the actual losses because they were estimated based on the data of the electrical steel obtained from the catalogue. So in order to estimate the losses precisely significant factors of the manufacturing processes must be included. The paper introduces the systematic estimation of the losses including the effect of one of the manufacturing factors. Similarly, any other manufacturing factor can be included in the pre-designed losses estimations.

Modification of commercial poly-lactide for extrusion coated food packaging applications

Poly-L-lactide (PLLA) is a widely used sustainable and biodegradable alternative to replace synthetic non-degradable plastic materials in the packaging industry. Conversely, its processing properties are not always optimal, e.g. insufficient melt strength at higher temperatures (necessary in extrusion coating processes). This thesis reports on research to improve properties of commercial PLLA grade (3051D from NatureWorks), to satisfy and extend end-use applications, such as food packaging by blending with modified PLLA. Adjustment of the processability by chain branching of commercial poly-L-lactide initiated by peroxide was evaluated. Several well-defined branched structures with four arms (sPLLA) were synthesized using pentaerythritol as a tetra-functional initiator. Finally, several block copolymers consisting of polyethylene glycol and PLLA (i.e. PEGLA) were produced to obtain a well extruded material with improved heat sealing properties. Reactive extrusion of poly-L-lactide was carried out in the presence of 0.1, 0.3 and 0.5 wt% of various peroxides [tert-butyl-peroxybenzoate (TBPB), 2,5-dimethyl-2,5-(tert-butylperoxy)-hexane (Lupersol 101; LOL1) and benzoyl peroxide (BPO)] at 190C. The peroxide-treated PLLAs showed increased complex viscosity and storage modulus at lower frequencies, indicating the formation of branched/cross linked architectures. The material property changes were dependent on the peroxide, and the used peroxide concentration. Gel fraction analysis showed that the peroxides, afforded different gel contents, and especially 0.5 wt% peroxide, produced both an extremely high molar mass, and a cross linked structure, not perhaps well suited for e.g. further use in a blending step. The thermal behavior was somewhat unexpected as the materials prepared with 0.5 wt% peroxide showed the highest ability for crystallization and cold crystallization, despite substantial cross linking. The peroxide-modified PLLA, i.e. PLLA melt extruded with 0.3 wt% of TBPB and LOL1 and 0.5 wt% BPO was added to linear PLLA in ratios of 5, 15 and 30 wt%. All blends showed increased zero shear viscosity, elastic nature (storage modulus) and shear sensitivity. All blends remained amorphous, though the ability of annealing was improved slightly. Extrusion coating on paperboard was conducted with PLLA, and peroxide-modified PLLA blends (90:10). All blends were processable, but only PLLA with 0.3 wt% of LOL1 afforded a smooth high quality surface with improved line speed. Adhesion levels between fiber and plastic, as well as heat seal performance were marginally reduced compared with pure 3051D. The water vapor transmission measurements (WVTR) of the blends containing LOL1 showed acceptable levels, only slightly lower than for comparable PLLA 3051D. A series of four-arm star-shaped poly-L-lactide (sPLLA) with different branch length was synthesized by ring opening polymerization (ROP) of L-lactide using pentaerythritol as initiator and stannous octoate as catalyst. The star-shaped polymers were further blended with its linear resin and studied for their melt flow and thermal properties. Blends containing 30 wt% of sPLLA with low molecular weight (30 wt%; Mwtotal: 2500 g mol-1 and 15000 g mol-1) showed lower zero shear viscosity and significantly increased shear thinning, while at the same time slightly increased crystallization of the blend. However, the amount of crystallization increased significantly with the higher molecular weight sPLLA, therefore the star-shaped structure may play a role as nucleating agent. PLLA-polyethylene glycol–PLLA triblock copolymers (PEGLA) with different PLLA block length were synthesized and their applicability as blends with linear PLLA (3051D NatureWorks) was investigated with the intention of improving heat-seal and adhesion properties of extrusion-coated paperboard. PLLA-PEG-PLLA was obtained by ring opening polymerization (ROP) of L-lactide using PEG (molecular weight 6000 g mol-1) as an initiator, and stannous octoate as catalyst. The structures of the PEGLAs were characterized by proton nuclear magnetic resonance spectroscopy (1H-NMR). The melt flow and thermal properties of all PEGLAs and their blends were evaluated using dynamic rheology, and differential scanning calorimeter (DSC). All blends containing 30 wt% of PEGLAs showed slightly higher zero shear viscosity, higher shear thinning and increased melt elasticity (based on tan delta). Nevertheless, no significant changes in thermal properties were distinguished. High molecular weight PEGLAs were used in extrusion coating line with 3051D without problems.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Computational models for and from biology : simple gene assembly and reaction systems

The advancement of science and technology makes it clear that no single perspective is any longer sufficient to describe the true nature of any phenomenon. That is why the interdisciplinary research is gaining more attention overtime. An excellent example of this type of research is natural computing which stands on the borderline between biology and computer science. The contribution of research done in natural computing is twofold: on one hand, it sheds light into how nature works and how it processes information and, on the other hand, it provides some guidelines on how to design bio-inspired technologies. The first direction in this thesis focuses on a nature-inspired process called gene assembly in ciliates. The second one studies reaction systems, as a modeling framework with its rationale built upon the biochemical interactions happening within a cell. The process of gene assembly in ciliates has attracted a lot of attention as a research topic in the past 15 years. Two main modelling frameworks have been initially proposed in the end of 1990s to capture ciliates’ gene assembly process, namely the intermolecular model and the intramolecular model. They were followed by other model proposals such as templatebased assembly and DNA rearrangement pathways recombination models. In this thesis we are interested in a variation of the intramolecular model called simple gene assembly model, which focuses on the simplest possible folds in the assembly process. We propose a new framework called directed overlap-inclusion (DOI) graphs to overcome the limitations that previously introduced models faced in capturing all the combinatorial details of the simple gene assembly process. We investigate a number of combinatorial properties of these graphs, including a necessary property in terms of forbidden induced subgraphs. We also introduce DOI graph-based rewriting rules that capture all the operations of the simple gene assembly model and prove that they are equivalent to the string-based formalization of the model. Reaction systems (RS) is another nature-inspired modeling framework that is studied in this thesis. Reaction systems’ rationale is based upon two main regulation mechanisms, facilitation and inhibition, which control the interactions between biochemical reactions. Reaction systems is a complementary modeling framework to traditional quantitative frameworks, focusing on explicit cause-effect relationships between reactions. The explicit formulation of facilitation and inhibition mechanisms behind reactions, as well as the focus on interactions between reactions (rather than dynamics of concentrations) makes their applicability potentially wide and useful beyond biological case studies. In this thesis, we construct a reaction system model corresponding to the heat shock response mechanism based on a novel concept of dominance graph that captures the competition on resources in the ODE model. We also introduce for RS various concepts inspired by biology, e.g., mass conservation, steady state, periodicity, etc., to do model checking of the reaction systems based models. We prove that the complexity of the decision problems related to these properties varies from P to NP- and coNP-complete to PSPACE-complete. We further focus on the mass conservation relation in an RS and introduce the conservation dependency graph to capture the relation between the species and also propose an algorithm to list the conserved sets of a given reaction system.

Review of investment strategy, portfolio management, and scorecard based portfolio selection tool for direct property investments in Finland

The lack of research of private real estate is a well-known problem. Earlier studies have mostly concentrated on the USA or the UK. Therefore, this master thesis offers more information about the performance and risk associated with private real estate investments in Nordic countries, but especially in Finland. The structure of this master thesis is divided into two independent sections based on the research questions. In first section, database analysis is performed to assess risk-return ratio of direct real estate investment for Nordic countries. Risk-return ratios are also assessed for different property sectors and economic regions. Finally, review of diversification strategies based on property sectors and economic regions is performed. However, standard deviation itself is not usually sufficient method to evaluate riskiness of private real estate. There is demand for more explicit assessment of property risk. One solution is property risk scoring. In second section risk scorecard based tool is built to make different real estate comparable in terms of risk. In order to do this, nine real estate professionals were interviewed to enhance the structure of theory-based risk scorecard and to assess weights for different risk factors.

Nanoclustering augmentation : a novel mechanism of Ras activation in cancer

Proteins of the Ras family are central regulators of crucial cellular processes, such as proliferation, differentiation and apoptosis. Their importance is emphasized in cancer, in which the isoforms H-ras, N-ras and K-ras are misregulated by mutations in approximately 20 – 30 % of cases. Thus, they represent major cancer oncogenes and one of the most important targets for cancer drug development. Ras proteins are small GTPases, which cycle between the GTP-bound active and GDP-bound inactive state. Despite the tremendous research conducted in the last three decades, many fundamental properties of Ras proteins remain poorly understood. For instance, although new concepts have recently emerged, the understanding of Ras behavior in its native environment, the membrane, is still largely missing. On the membrane Ras organizes into nanoscale clusters, also called nanoclusters. They differ between isoforms, but also between activation states of Ras. It is considered that nanoclusters represent the basic Ras signaling units. Recently, it was demonstrated that on the membrane Ras adopts distinct conformations, the so-called orientations, which are dependent on the Ras activations state. The membrane-orientation of H-ras is stabilized by the helix α4 and the C-terminal hypervariable region (hvr). The novel switch III region was proposed to be involved in mediating the change between different H-ras orientations. When the regions involved in this mechanism are mutated, H-ras activity is changed by an unknown mechanism. This thesis has explained the connection between the change of Ras orientation on the membrane and Ras activity. We demonstrated that H-ras orientation mutants exhibit altered diffusion properties on the membrane, which reflect the changes in their nanoclustering. The altered nanoclustering consequently rules the activity of the mutants. Moreover, we demonstrated that specific cancer-related mutations, affecting the switch III region of different Ras isoforms, exhibit increased nanoclustering, which consequently leads to stronger Ras signaling and tumorigenicity. Thus, we have discovered nanoclustering increase as a novel mechanism of Ras activity modulation in cancer. The molecular architecture of complexes formed on the membrane upon Ras activation is another poorly understood property of Ras. The following work has provided novel details on the regulation of Ras nanoclustering by a known H-ras-GTP nanoclustering stabilizer galectin-1 (Gal-1). Our study demonstrated that Gal-1 is not able to bind Ras directly, as it was previously proposed. Instead, its effect on H-ras-GTP nanoclustering is indirect, through binding of the effector proteins. Collectively, our findings represent valuable novel insights in the behavior of Ras, which will help the future research to eventually develop new strategies to successfully target Ras in cancer.

Datenherrschaft – an Ethically Justified Solution to the Problem of Ownership of Patient Information

Patient information systems are crucial components for the modern healthcare and medicine. It is obvious that without them the healthcare cannot function properly – one can try to imagine how brain surgery could be done without using information systems to gather and show information needed for an operation. Thus, it can be stated that digital information is irremovable part of modern healthcare. However, the legal ownership of patient information lacks a coherent and justified basis. The whole issue itself is actually bypassed by controlling pa- tient information with different laws and regulations how patient information can be used and by whom. Nonetheless, the issue itself – who owns the patient in- formation – is commonly missed or bypassed. This dissertation show the problems if the legislation of patient information ownership is not clear. Without clear legislation, the outcome can be unexpected like it seems to be in Finland, Sweden and United Kingdom: the lack of clear regulation has come up with unwanted consequences because of problematic Eu- ropean Union database directive implementation in those countries. The legal ownership is actually granted to the creators of databases which contains the pa- tient information, and this is not a desirable situation. In healthcare and medicine, we are dealing with issues such as life, health and information which are very sensitive and in many cases very personal. Thus, this dissertation leans on four philosophical theories form Locke, Kant, Heidegger and Rawls to have an ethically justified basis for regulating the patient infor- mation in a proper way. Because of the problems of property and ownership in the context of information, a new concept is needed and presented to replace the concept of owning, that concept being Datenherrschaft (eng. mastery over in- formation). Datenherrschaft seems to be suitable for regulating patient infor- mation because its core is the protection of one’s right over information and this aligns with the work of the philosophers whose theories are used in the work. The philosophical argumentation of this study shows that Datenherrschaft granted to the patients is ethically acceptable. It supports the view that patient should be controlling the patient information about themselves unless there are such specific circumstance that justifies the authorities to use patient information to protect other people’s basic rights. Thus, if the patients would be legally grant- ed Datenherrschaft over patient information we would endorse patients as indi- viduals who have their own and personal experience of their own life and have a strong stance against any unjustified paternalism in healthcare. Keywords: patient information, ownership, Datenherrschaft, ethics, Locke, Kant, Heidegger, Rawls

Personal branding on social media - The characteristics of strong personal brands in Finland

The purpose of the study is to define the characteristics of strong personal brands on social media in Finland. Personal branding as a phenomenon is no longer limited to celebrities and political leaders. The digital revolution and the change in online behavior have created the need for a deeper investigation of the characteristics of strong personal brands on social media. The work of different academics on personal branding are examined to gain a comprehensive understanding on this research topic that has gone through a revolution during the last decade. Early impression management theory is refined to include elements from more modern literature related to personal branding, brand identity management and social media to create a theoretical framework that simplifies the process of personal brand building on social media. The framework consisting of three phases clarifies the process of modern personal branding. The results of the study are presented in line with three research themes derived from the theoretical framework: the background of the brand, the brand identity management and the social media behavior and activities. Mixed methods are used in the research as means to broaden perception on the subject. The quantitative part of the study defines general characteristics concerning the most follower personal brands in Finland in three social media channels – Facebook, Instagram and Twitter. The other part of the research was conducted by single case study including two Finnish personal brands cases to provide a deeper understanding of personal branding practices of strong social media personal brands. The results of the study show that the most used social media channels differ in terms of the personal brand characteristics and personal branding activities. Due to the characteristics of the channels also the post activities of the personal brands differ quite significantly. It can be also inferred that there is a difference between brands with an existing offline awareness and the brands with no awareness before joining the social media. In order to reduce the gap between the ideal brand image and the current image, the brand should have a clear vision as well as a good understanding of the target group and the value it creates for its target audience. The brand identity needs to be managed by communicating with the target audience authentically in the right channels, with relevant content. The dedication, the target group’s behavior and the ability to create valuable and relevant content determines the right tactics for social media personal branding.