Formal development and quantitative verification of dependable systems

-

Exploring Customer-Oriented Service Offerings in Public Health: Developing Integrated Health Care Services for Rural Areas

Väestön ikääntyminen pakottaa yhteiskunnan ja julkisen terveydenhuollon muutoksiin. Jotta ikääntyvien ihmisten kotona asuminen voidaan mahdollistaa, palvelujärjestelmän pitää mukautua muuttuvaan tilanteeseen. Tämän diplomityön tarkoituksena on tunnistaa asiakaslähtöisiä lähellä asiakasta tarjottavia palvelukokonaisuuksia. Tutkimuksen teoreettinen viitekehys muodostuu asiakasarvon luomisesta ja palvelutarjoamista. Tarkasteluryhmänä on Etelä-Karjalan alueen 60–90-vuotiaat ja käytetty aineisto on kerätty vastaajilta postitse lähetetyllä kyselyllä. Tutkimus on eksploratiivinen ja tulosten tulkinnassa on hyödynnetty määrällisen tutkimuksen ja verkostoanalyysin menetelmiä. Työn keskeisimmät tulokset ovat tunnistetut asiakassegmentit ja heidän tarpeidensa pohjalta muodostetut palvelupaketit. Tulokset indikoivat asiakkaiden tarpeita ja tuloksia on analysoitu myös tuottajan näkökulmasta. Empiiristen tulosten lisäksi teoriaviitekehystä on kehitetty eteenpäin, jotta palvelukeskeiset teoriat voidaan ymmärtää yritysten näkökulman lisäksi asiakkaan näkökulmasta.

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.

Impact of reliability of supply on long-term development approaches to electricity distribution networks

The Finnish electricity distribution sector, rural areas in particular, is facing major challenges because of the economic regulation, tightening supply security requirements and the ageing network asset. Therefore, the target in the distribution network planning and asset management is to develop and renovate the networks to meet these challenges in compliance with the regulations in an economically feasible way. Concerning supply security, the new Finnish Electricity Market Act limits the maximum duration of electricity supply interruptions to six hours in urban areas and 36 hours in rural areas. This has a significant impact on distribution network planning, especially in rural areas where the distribution networks typically require extensive modifications and renovations to meet the supply security requirements. This doctoral thesis introduces a methodology to analyse electricity distribution system development. The methodology is based on and combines elements of reliability analysis, asset management and economic regulation. The analysis results can be applied, for instance, to evaluate the development of distribution reliability and to consider actions to meet the tightening regulatory requirements. Thus, the methodology produces information for strategic decision-making so that DSOs can respond to challenges arising in the electricity distribution sector. The key contributions of the thesis are a network renovation concept for rural areas, an analysis to assess supply security, and an evaluation of the effects of economic regulation on the strategic network planning. In addition, the thesis demonstrates how the reliability aspect affects the placement of automation devices and how the reserve power can be arranged in a rural area network.

Spontaneous Focusing on Quantitative Relations and the Development of Rational Number Conceptual Knowledge

The aim of the present set of studies was to explore primary school children’s Spontaneous Focusing On quantitative Relations (SFOR) and its role in the development of rational number conceptual knowledge. The specific goals were to determine if it was possible to identify a spontaneous quantitative focusing tendency that indexes children’s tendency to recognize and utilize quantitative relations in non-explicitly mathematical situations and to determine if this tendency has an impact on the development of rational number conceptual knowledge in late primary school. To this end, we report on six original empirical studies that measure SFOR in children ages five to thirteen years and the development of rational number conceptual knowledge in ten- to thirteen-year-olds. SFOR measures were developed to determine if there are substantial differences in SFOR that are not explained by the ability to use quantitative relations. A measure of children’s conceptual knowledge of the magnitude representations of rational numbers and the density of rational numbers is utilized to capture the process of conceptual change with rational numbers in late primary school students. Finally, SFOR tendency was examined in relation to the development of rational number conceptual knowledge in these students. Study I concerned the first attempts to measure individual differences in children’s spontaneous recognition and use of quantitative relations in 86 Finnish children from the ages of five to seven years. Results revealed that there were substantial inter-individual differences in the spontaneous recognition and use of quantitative relations in these tasks. This was particularly true for the oldest group of participants, who were in grade one (roughly seven years old). However, the study did not control for ability to solve the tasks using quantitative relations, so it was not clear if these differences were due to ability or SFOR. Study II more deeply investigated the nature of the two tasks reported in Study I, through the use of a stimulated-recall procedure examining children’s verbalizations of how they interpreted the tasks. Results reveal that participants were able to verbalize reasoning about their quantitative relational responses, but not their responses based on exact number. Furthermore, participants’ non-mathematical responses revealed a variety of other aspects, beyond quantitative relations and exact number, which participants focused on in completing the tasks. These results suggest that exact number may be more easily perceived than quantitative relations. As well, these tasks were revealed to contain both mathematical and non-mathematical aspects which were interpreted by the participants as relevant. Study III investigated individual differences in SFOR 84 children, ages five to nine, from the US and is the first to report on the connection between SFOR and other mathematical abilities. The cross-sectional data revealed that there were individual differences in SFOR. Importantly, these differences were not entirely explained by the ability to solve the tasks using quantitative relations, suggesting that SFOR is partially independent from the ability to use quantitative relations. In other words, the lack of use of quantitative relations on the SFOR tasks was not solely due to participants being unable to solve the tasks using quantitative relations, but due to a lack of the spontaneous attention to the quantitative relations in the tasks. Furthermore, SFOR tendency was found to be related to arithmetic fluency among these participants. This is the first evidence to suggest that SFOR may be a partially distinct aspect of children’s existing mathematical competences. Study IV presented a follow-up study of the first graders who participated in Studies I and II, examining SFOR tendency as a predictor of their conceptual knowledge of fraction magnitudes in fourth grade. Results revealed that first graders’ SFOR tendency was a unique predictor of fraction conceptual knowledge in fourth grade, even after controlling for general mathematical skills. These results are the first to suggest that SFOR tendency may play a role in the development of rational number conceptual knowledge. Study V presents a longitudinal study of the development of 263 Finnish students’ rational number conceptual knowledge over a one year period. During this time participants completed a measure of conceptual knowledge of the magnitude representations and the density of rational numbers at three time points. First, a Latent Profile Analysis indicated that a four-class model, differentiating between those participants with high magnitude comparison and density knowledge, was the most appropriate. A Latent Transition Analysis reveal that few students display sustained conceptual change with density concepts, though conceptual change with magnitude representations is present in this group. Overall, this study indicated that there were severe deficiencies in conceptual knowledge of rational numbers, especially concepts of density. The longitudinal Study VI presented a synthesis of the previous studies in order to specifically detail the role of SFOR tendency in the development of rational number conceptual knowledge. Thus, the same participants from Study V completed a measure of SFOR, along with the rational number test, including a fourth time point. Results reveal that SFOR tendency was a predictor of rational number conceptual knowledge after two school years, even after taking into consideration prior rational number knowledge (through the use of residualized SFOR scores), arithmetic fluency, and non-verbal intelligence. Furthermore, those participants with higher-than-expected SFOR scores improved significantly more on magnitude representation and density concepts over the four time points. These results indicate that SFOR tendency is a strong predictor of rational number conceptual development in late primary school children. The results of the six studies reveal that within children’s existing mathematical competences there can be identified a spontaneous quantitative focusing tendency named spontaneous focusing on quantitative relations. Furthermore, this tendency is found to play a role in the development of rational number conceptual knowledge in primary school children. Results suggest that conceptual change with the magnitude representations and density of rational numbers is rare among this group of students. However, those children who are more likely to notice and use quantitative relations in situations that are not explicitly mathematical seem to have an advantage in the development of rational number conceptual knowledge. It may be that these students gain quantitative more and qualitatively better self-initiated deliberate practice with quantitative relations in everyday situations due to an increased SFOR tendency. This suggests that it may be important to promote this type of mathematical activity in teaching rational numbers. Furthermore, these results suggest that there may be a series of spontaneous quantitative focusing tendencies that have an impact on mathematical development throughout the learning trajectory.

Service oriented archive based on Fedora Commons

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

Susteinable steelmaking by process integration

Environmental issues, including global warming, have been serious challenges realized worldwide, and they have become particularly important for the iron and steel manufacturers during the last decades. Many sites has been shut down in developed countries due to environmental regulation and pollution prevention while a large number of production plants have been established in developing countries which has changed the economy of this business. Sustainable development is a concept, which today affects economic growth, environmental protection, and social progress in setting up the basis for future ecosystem. A sustainable headway may attempt to preserve natural resources, recycle and reuse materials, prevent pollution, enhance yield and increase profitability. To achieve these objectives numerous alternatives should be examined in the sustainable process design. Conventional engineering work cannot address all of these substitutes effectively and efficiently to find an optimal route of processing. A systematic framework is needed as a tool to guide designers to make decisions based on overall concepts of the system, identifying the key bottlenecks and opportunities, which lead to an optimal design and operation of the systems. Since the 1980s, researchers have made big efforts to develop tools for what today is referred to as Process Integration. Advanced mathematics has been used in simulation models to evaluate various available alternatives considering physical, economic and environmental constraints. Improvements on feed material and operation, competitive energy market, environmental restrictions and the role of Nordic steelworks as energy supplier (electricity and district heat) make a great motivation behind integration among industries toward more sustainable operation, which could increase the overall energy efficiency and decrease environmental impacts. In this study, through different steps a model is developed for primary steelmaking, with the Finnish steel sector as a reference, to evaluate future operation concepts of a steelmaking site regarding sustainability. The research started by potential study on increasing energy efficiency and carbon dioxide reduction due to integration of steelworks with chemical plants for possible utilization of available off-gases in the system as chemical products. These off-gases from blast furnace, basic oxygen furnace and coke oven furnace are mainly contained of carbon monoxide, carbon dioxide, hydrogen, nitrogen and partially methane (in coke oven gas) and have proportionally low heating value but are currently used as fuel within these industries. Nonlinear optimization technique is used to assess integration with methanol plant under novel blast furnace technologies and (partially) substitution of coal with other reducing agents and fuels such as heavy oil, natural gas and biomass in the system. Technical aspect of integration and its effect on blast furnace operation regardless of capital expenditure of new operational units are studied to evaluate feasibility of the idea behind the research. Later on the concept of polygeneration system added and a superstructure generated with alternative routes for off-gases pretreatment and further utilization on a polygeneration system producing electricity, district heat and methanol. (Vacuum) pressure swing adsorption, membrane technology and chemical absorption for gas separation; partial oxidation, carbon dioxide and steam methane reforming for methane gasification; gas and liquid phase methanol synthesis are the main alternative process units considered in the superstructure. Due to high degree of integration in process synthesis, and optimization techniques, equation oriented modeling is chosen as an alternative and effective strategy to previous sequential modelling for process analysis to investigate suggested superstructure. A mixed integer nonlinear programming is developed to study behavior of the integrated system under different economic and environmental scenarios. Net present value and specific carbon dioxide emission is taken to compare economic and environmental aspects of integrated system respectively for different fuel systems, alternative blast furnace reductants, implementation of new blast furnace technologies, and carbon dioxide emission penalties. Sensitivity analysis, carbon distribution and the effect of external seasonal energy demand is investigated with different optimization techniques. This tool can provide useful information concerning techno-environmental and economic aspects for decision-making and estimate optimal operational condition of current and future primary steelmaking under alternative scenarios. The results of the work have demonstrated that it is possible in the future to develop steelmaking towards more sustainable operation.

Green aspects study in game development

Context: Game development has become increasingly important in the software industry, but this importance has not affected the way software engineering approaches and methodologies manage the differences they have with game development. Similarly, software engineering does not fully support sustainability practices, causing this element to often not be considered or even known as a requirement for a development lifecycle. Goal: The aim of this thesis is to study the mode in which games are developed, and the involved sustainable aspects and the relevant concerns regarding the migration processes. Method: A quantitative study was conducted, gathering 33 answers of game professionals from four continents, from administrative (25%) and technical oriented positions (75%). Results: Three trends were observed: 1) Agile process models are used, 2) major concerns for mobile development and digital marketing, 3) minor concerns for eco-impact elements and certain development phases such as testing and crunch time development. Conclusion: Traditional Software engineering would require a major change on its processes and models to fit with modern agile development, game development approaches and sustainable requirements.

Expression of dorsal-ventral genes during early development of Rhynchosciara americana embryos

The establishment of dorsal-ventral polarity in Drosophila is a complex process which involves the action of maternal and zygotically expressed genes. Interspecific differences in the expression pattern of some of these genes have been described in other species. Here we present the expression of dorsal-ventral genes during early embryogenesis in the lower dipteran Rhynchosciara americana. The expression of four genes, the ventralizing genes snail (sna) and twist (twi) and the dorsalizing genes decapentaplegic (dpp) and zerknüllt (zen), was investigated by whole-mount in situ hybridization. Sense and antisense mRNA were transcribed in vitro using UTP-digoxigenin and hybridized at 55°C with dechorionated fixed embryos. Staining was obtained with anti-digoxigenin alkaline phosphatase-conjugated antibody revealed with NBT-BCIP solution. The results showed that, in general, the spatial-temporal expression of R. americana dorsal-ventral genes is similar to that observed in Drosophila, where twi and sna are restricted to the ventral region, while dpp and zen are expressed in the dorsal side. The differences encountered were subtle and probably represent a particular aspect of dorsal-ventral axis determination in R. americana. In this lower dipteran sna is expressed slightly later than twi and dpp expression is expanded over the lateral ectoderm during cellular blastoderm stage. These data suggest that the establishment of dorsal-ventral polarity in R. americana embryos follows a program similar to that observed in Drosophila melanogaster.

Development and evaluation of iron-rich meatloaves containing pork liver for schoolchildren

AbstractIron deficiency is a highly prevalent nutritional problem worldwide and it impacts on the cognitive development of children. Therefore, the aim of this research was to develop meatloaf with high iron content by using in their formulations pork liver. Meatloaves were prepared with additions of 9.98% and 13.31% (formulations A and B) of pork liver in order to meet 15% and 20% of the daily requirement of iron (10 mg/day) for children. Samples were evaluated regarding their physicochemical, microbiological and sensory characteristics. The results were subjected to Analysis of Variance (ANOVA) followed by Tukey test. Results of physicochemical analyses showed an increase in protein and mineral contents and a decrease in fat content. The iron and zinc contents were respectively 100.0% and 70.83% (formulation A) and 152.73% and 97.92% (formulation B) higher than that of the standard formulation. Regarding fat content, the reduction of 31.5% in formulation B makes it a light product. As for the microbiological aspect, all meatloaves were adequate for consumption. Regarding sensory analysis, all the attributes considered were not statistically different, but for purchase intention test formulation B was better accepted. Therefore, formulations A and B are good sources of iron and zinc.

Knowledge governance, innovation and development

This paper aims to be a very preliminary effort to contribute to a better understanding of the interaction among innovation, competition and intellectual property policies from an evolutionary-developmental perspective. As such, it seeks to build a more coherent framework within which the discussions of both institution building and policy design for development can proceed. In order to accomplish that, the paper introduces the concept of "Knowledge Governance" as an alternative analytical and policy-oriented approach, and suggests that from a public policy/public interest perspective, and within an evolutionary framework, it is a better way to address the problems concerning the production, appropriability and diffusion of knowledge. In doing so, it also intends contribute to broaden the ongoing discussions on the "New Developmentalism".

Applying software performance engineering methods to development of IT device management systems

Ohjelmiston suorituskyky on kokonaisvaltainen asia, johon kaikki ohjelmiston elinkaaren vaiheet vaikuttavat. Suorituskykyongelmat johtavat usein projektien viivästymisiin, kustannusten ylittymisiin sekä joissain tapauksissa projektin täydelliseen epäonnistumiseen. Software performance engineering (SPE) on ohjelmistolähtöinen lähestysmistapa, joka tarjoaa tekniikoita suorituskykyisen ohjelmiston kehittämiseen. Tämä diplomityö tutkii näitä tekniikoita ja valitsee niiden joukosta ne, jotka soveltuvat suorituskykyongelmien ratkaisemiseen kahden IT-laitehallintatuotteen kehityksessä. Työn lopputuloksena on päivitetty versio nykyisestä tuotekehitysprosessista, mikä huomioi sovellusten suorituskykyyn liittyvät haasteet tuotteiden elinkaaren eri vaiheissa.

How CSR and stakeholder engagement encourage the development of Industrial symbiosis from the management viewpoint?

The thesis aims to understand how CSR and stakeholder engagement can contribute to the development of industrial symbiosis. Theory suggests that corporate social responsibility and stakeholder engagement theories have many similar aspects that correlate with the development of industrial symbiosis. This study is qualitative and empirical suggestions are derived from integrative analysis of literature, secondary data and case study analysis. The empirical findings from the interviews support the framework that is created from the findings of the literature review. The results discovered throughout the thesis research suggest that CSR functions as a theoretical background for industrial symbiosis and stakeholder engagement helps develop more thorough understandings of it from the management viewpoint. Empirical findings and literature review also suggest that in the developing of industrial symbiosis the key aspect are the social characteristics such as a robust management structure, trust between partners and long-term commitment to the common goals that support the development of these symbioses. Also, communication and transparency supports the development of industrial symbiosis. For managerial contribution, this thesis presents organizational practices that can help managers to understand how they can engage in effective engagement with stakeholders in the development of industrial symbiosis.

What's the difference under the gown? : new professors' development as university teachers

This study explores how new university teachers develop a teaching identity. Despite the significance ofteaching, which usually comprises 40% of a Canadian academic's workload, few new professors have any formal preparation for that aspect of their role. Discipline-specific education for postsecondary professors is a well-defined path; graduates applying for faculty positions will have the terminal degree to attest to their knowledge and skill conducting research in the discipline. While teaching is usually given the same workload balance as research, it is not clear how professors create themselves as teaching professionals. Drawing on Kelly's (1955) personal construct theory and Kegan's (1982, 1994) model ofdevelopmental constructivism through differentiation and integration, this study used a phenomenographic framework~(Marton, 1986, 1994; Trigwell & Prosser, 1996) to investigate the question of how new faculty members construe their identity as university teachers. Further, my own role development as researcher was used as an additional lens through which to view the study results. The study focused particularly on the challenges and supports to teaching role development and outlines recommendations the participants made for supporting other newcomers. In addition, the variations and similarities in the results suggest a developmental model to conceptions ofteaching roles, one in which teaching, research, and service roles are viewed as more integrated over time. Developing a teacher identity was seen as a progression on a hierarchical model similar to Maslow's (1968) hierarchy of needs.

Strategies for economic development in the Commonwealth Caribbean: a comparative study of the foreign economic policy strategies adopted by the Manley government in Jamaica and the Williams government in Trinidad and Tobago

This thesis compares the foreign economic poUcy dimension of the development strategies adopted by the governments of two Commonwealth caribbean countries: The Hardey government In Jamaica, and the· Williams government in Trlnidad and T ooago, The foreign economic policIes adopted by these governments appeared, on the surface~ to be markedly dissimilar. The Jamakan strategv on the one hand, emphasised self-reliance and national autonomy; and featured the espousal of radical oonaHgnment together with attempts to re-deftne the terms of the Islands externaa economIc relaUoos. The Trinidadian strategy 00 the other hand, featured Uberal externaUy-oriented growth poUctes, and close relatjoos with Western governments and financial institutions. Th1s study attempts to identify the explanatory factors that account for the apparent dlssimUarUy 1n the foreign economic policies of these two govemnents. The study is based on a comparison of how the structural bases of an underdeveloped ecooomYg and the foreign penetration and vulnerabUUy to external pressures asSOCiated wUh dependence, shape and influence foreign economic poUcy strategy. The framework views fore1gn ecooom1c strategy as an adaptive response on the part of the decision makers of a state to the coostralnts and opportunities provided by a particular situation. The · situat i 00' in this case being the events, conditions, structures and processes, associated wUh dependente and underdevelopment. The results indicate that the similarities and dissimHarities in the foreign economic policies of the governments of Jamaica and Trinidad were a reflecUon of the simHarities and dissimilarities in their respective situations. The conclusion derived suggests that If the foreign pol1cy field as an arena of choice, Is indeed one of opportunities and constraints for each and every state, then poHcy makers of smaU, weak, hlghW penetrated and vulnerable states enter thlS arena with constraints outweighing opportunities. This places effective limits 00 their decisional latitude and the range of policy options avaUable. Policy makers thus have to decide critical issues with few estabUshed precedents, in the face of domestic social and political cleavages, as wen as serious foreign pressures. This is a reflection not only of the trappings of dependence, but also of the Umned capabilities arising from the sman size of the state, and the Impact of the resource-gap In an underdeveloped economy. The Trinidadian strategy 1s UlustraUve of a development strategy made viable through a combination of a fortuitous circumstance, a confluence of the interests of influential groups» and accurate perception on the part of poUcy makers. These factors enabled policy makers to minimise some of the constraints of dependence. The faUure of Manlets strategy on the other hand, 15 iHustraUve of the problems involved tn the adoption of poUcles that work against the interest of internal and external political and economic forces. It is also tUustraUve of the consequences of the faUure 00 the part of policy makers to clarify goals, and to reconcile the values of rapid economic growth with increased self-reliance and national autonomy. These values tend to be mutuany Incompatible given the existing patterns of relations in the jnternational economy.