Working fluid selection and design of small-scale waste heat recovery systems based on organic Rankine cycles

Demand for the use of energy systems, entailing high efficiency as well as availability to harness renewable energy sources, is a key issue in order to tackling the threat of global warming and saving natural resources. Organic Rankine cycle (ORC) technology has been identified as one of the most promising technologies in recovering low-grade heat sources and in harnessing renewable energy sources that cannot be efficiently utilized by means of more conventional power systems. The ORC is based on the working principle of Rankine process, but an organic working fluid is adopted in the cycle instead of steam. This thesis presents numerical and experimental results of the study on the design of small-scale ORCs. Two main applications were selected for the thesis: waste heat re- covery from small-scale diesel engines concentrating on the utilization of the exhaust gas heat and waste heat recovery in large industrial-scale engine power plants considering the utilization of both the high and low temperature heat sources. The main objective of this work was to identify suitable working fluid candidates and to study the process and turbine design methods that can be applied when power plants based on the use of non-conventional working fluids are considered. The computational work included the use of thermodynamic analysis methods and turbine design methods that were based on the use of highly accurate fluid properties. In addition, the design and loss mechanisms in supersonic ORC turbines were studied by means of computational fluid dynamics. The results indicated that the design of ORC is highly influenced by the selection of the working fluid and cycle operational conditions. The results for the turbine designs in- dicated that the working fluid selection should not be based only on the thermodynamic analysis, but requires also considerations on the turbine design. The turbines tend to be fast rotating, entailing small blade heights at the turbine rotor inlet and highly supersonic flow in the turbine flow passages, especially when power systems with low power outputs are designed. The results indicated that the ORC is a potential solution in utilizing waste heat streams both at high and low temperatures and both in micro and larger scale appli- cations.

Transition : en betydelsefull fas i den långtidssjuka ungas vård

The aim of this caring science thesis is to deepen the understanding for the long-term ill adolescents care. In particular it aims to reach a better understanding of transition in health care, with a focus on how young people perceive health care. The goal is to build a model, a consistent theoretical framework that makes it possible to listen to the adolescent´s own voice, providing a better understanding of what good care consists in from their point of view. This Master's thesis consists of a literature overview on the concept of transition and a themed interview with young patients regarding transition of health care. The overall issue is 1. What is good care during the transition according to the adolescents themselves? 2. How does transition affect the young people's health and lives? The theoretical perspective of this thesis lies in the caring science tradition that has been developed at the Åbo Akademi University department of caring science with the caritative nursing theory as a basis. The epistemological and ontological assumptions are based on the caritative nursing theory, which in itself is ethical. Understanding of the concept of transition is based on A. Meleis transitions theory. The methodological approach is hermeneutical. The theme interview has been analyzed by using S. Kvales method. The material consists of a thematic interview with 10 long-term ill adolescents, about their views of the care received. This thesis research even in how NOBABs standards appears in the litterature as well as how they are implemented from the point of view of young people. The findings of this thesis shows that good care for the adolescent is a true presence with the young and an understanding of the direction in which the young move toward during the transition of care. Good care for an adolescent consists in being recognized as a person who is seen, known, appreciated and understood. Good care for the young involves recognizing her strength and joy of life including the contrast she experiences between health and suffering. To recognize their personal strength and courage supports the adolescents during the process of transitions of care Good care for the young involves responsibility for the individual person and humility in approaching her, giving attention to her view of life and aspirations. Openness and humility in the approach lays the foundation for a trusting relation during the transition of care. A unified theoretical framework is needed to promote the long-term ill adolescents care during transition of care. When the young and her individual needs is the centerpiece of healthcare creates this the basis for empowering care that supports the young in her quest for health. This master thesis adds a given model to the long-term ill adolescents` healthcare.

DNA-lipid systems: A physical chemistry study

It is well known that the interaction of polyelectrolytes with oppositely charged surfactants leads to an associative phase separation; however, the phase behavior of DNA and oppositely charged surfactants is more strongly associative than observed in other systems. A precipitate is formed with very low amounts of surfactant and DNA. DNA compaction is a general phenomenon in the presence of multivalent ions and positively charged surfaces; because of the high charge density there are strong attractive ion correlation effects. Techniques like phase diagram determinations, fluorescence microscopy, and ellipsometry were used to study these systems. The interaction between DNA and catanionic mixtures (i.e., mixtures of cationic and anionic surfactants) was also investigated. We observed that DNA compacts and adsorbs onto the surface of positively charged vesicles, and that the addition of an anionic surfactant can release DNA back into solution from a compact globular complex between DNA and the cationic surfactant. Finally, DNA interactions with polycations, chitosans with different chain lengths, were studied by fluorescence microscopy, in vivo transfection assays and cryogenic transmission electron microscopy. The general conclusion is that a chitosan effective in promoting compaction is also efficient in transfection.

Food system transition towards sustainability: Inside thoughts of pioneers

The objective of this Master’s Thesis is to find individuals’ inducements that assist innovation adoption in the framework of sustainable food system. The purpose of the thesis is to examine the reasons why individuals adopt sustainable approaches, and furthermore, to see by what means the transition to the more sustainable food system could be accelerated. The study’s focal point is on the micro level, even if the wider purpose is to accelerate the holistic change of food system in the near future. The study consists of a literature review and a qualitative research, which is actualized with semi-structured interviews. The results indicate that individuals adopt innovations based on their strong intrinsic motivation. The main inducements were environment-related and health-related aspects, and individual’s deep connection to the countryside. The effect of social circle and doing good actions with the consuming behavior were also highlighted. Strongest barriers to innovation adoption seem to be price sensitivity, lack of easiness, and lack of interest in food. The findings indicate also that the most significant means that could ease the individuals’ decision to adopt an innovation are health-related aspects, educating and learning, environmental aspects, and decreasing the prices. Although the theoretical part of the study highlights the effect of positive reinforcement, the empirical part neglects it.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Dental fear in adolescents' transition to early adulthood

The aims of the study were to assess the validity of a clinical dental fear question (Short Dental Fear Question, SDFQ) and an instrument measuring interaction between adolescents and dental staff (Patient Dental Staff Interaction Questionnaire, PDSIQ). Also, adolescents’ subjective perception of interaction with dental staff, the association with adolescents’ dental fear and sense of coherence as well as a multi-professional small-group intervention model for decreasing high dental fear were assessed. The study sample comprised Finnish adolescents in transition to early adulthood, aged 18–26 years (n = 777, n = 773, n = 5), except for a sample of 15-year-old adolescents (n = 27). Dental fear, sense of coherence (SOC) and the adolescents’ perceived interaction with dental staff were assessed with questionnaires. The principles of fear treatment such as gradual exposure, relaxation, encouragement and cornerstones of the reteaming method based on a solution-focused framework to maintain motivation and peer support were used to decrease fear in the intervention study. The SDFQ was found to be a valid dental fear instrument and the PDSIQ a valid interaction instrument with five factors of interaction retrieved: ‘kind atmosphere and mutual communication’, ‘roughness’, ‘insecurity’, ‘trust and safety’, and ‘shame and guilt’. Highly fearful young adults more often perceived their interaction with dental staff as negative, more often felt insecure and had a weaker sense of coherence compared to their peers with no to moderate dental fear. The results of the intervention study showed that young adults’ high dental fear decreased and their commitment to dental treatment increased. The SDFQ is clinically feasible and informative instrument in measuring dental fear. Knowledge of the level of fear enables dental staff to better consider an adolescent’s fear. Dental staff should be aware that a supportive interaction style, creating trust and safety, is especially beneficial for highly dentally fearful young adults. A weak SOC may affect young adults’ high dental fear in that they would not have enough tools to manage their fear. A multi-professional small therapeutic group seems to increase fearful young adults’ resources for confronting dental treatment.

Agent-based management systems for many-core platforms : rigorous design and efficient implementation

Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems requires a high level of performance from the underlying platform. The main approach to incrementing performance has been the increase of operating frequency of a chip. However, this has led to the problem of power dissipation, which has shifted the focus of research to parallel and distributed computing. Parallel many-core platforms can provide the required level of computational power along with low power consumption. On the one hand, this enables parallel execution of highly intensive applications. With their computational power, these platforms are likely to be used in various application domains: from home use electronics (e.g., video processing) to complex critical control systems. On the other hand, the utilization of the resources has to be efficient in terms of performance and power consumption. However, the high level of on-chip integration results in the increase of the probability of various faults and creation of hotspots leading to thermal problems. Additionally, radiation, which is frequent in space but becomes an issue also at the ground level, can cause transient faults. This can eventually induce a faulty execution of applications. Therefore, it is crucial to develop methods that enable efficient as well as resilient execution of applications. The main objective of the thesis is to propose an approach to design agentbased systems for many-core platforms in a rigorous manner. When designing such a system, we explore and integrate various dynamic reconfiguration mechanisms into agents functionality. The use of these mechanisms enhances resilience of the underlying platform whilst maintaining performance at an acceptable level. The design of the system proceeds according to a formal refinement approach which allows us to ensure correct behaviour of the system with respect to postulated properties. To enable analysis of the proposed system in terms of area overhead as well as performance, we explore an approach, where the developed rigorous models are transformed into a high-level implementation language. Specifically, we investigate methods for deriving fault-free implementations from these models into, e.g., a hardware description language, namely VHDL.

Sosioteknisen kuilun kaventaminen toiminnanohjausjärjestelmän ja käyttäjien välillä

Pro Gradu- tutkimuksen keskeisin tavoite on ollut selvittää, kuinka sosioteknistä kuilua kohdeyrityksen toiminnanohjausjärjestelmän ja käyttäjien välillä voitaisiin pienentää. Teo-reettisena viitekehyksenä on käytetty sosioteknistä systeemiteoriaa sekä teorioita liittyen tietoteknisen järjestelmän hyväksyntään. Toiminnanohjausjärjestelmät ovat tunnetusti välttämätön osa nykypäivää lähes kaikille yrityksille. Niiden käyttöönoton onnistumista ja käytön tehokkuutta voidaan parantaa huomioimalla sekä sosiaalinen että tekninen systeemi organisaatiossa. Sosiotekninen kuilu rakentuu kahden välttämättömän ja toisistaan riippuvaisen systeemin välille: sekä sosiaalinen systeemi eli henkilöstö ja heidän työtapansa että tekninen systeemi eli tekno-logia ja tieto on huomioitava ja aidosti sosioteknisessä muutoksessa molempia systeeme-jä muokattava. Organisaatio voi parantaa omilla toimillaan käyttäjien asennetta ja haluk-kuutta ja siten kaventaa kuilua sosiaalisen systeemin puolelta. Lisäksi teknistä systeemiä tulisi muokata paremmin vastaamaan käyttäjien toiveita, jotta kuilu kapenisi myös tekni-sen systeemin suunnasta. Tutkimus toteutettiin laadullisena ja aineistonkeräystapana käytettiin puolistrukturoituja haastatteluja kohdeyrityksessä.

Mechanisms of RON-mediated epithelial-mesenchymal transition in MDCK cells through the MAPK pathway

The epithelial-mesenchymal transition (EMT) is involved in neoplastic metastasis, and the RON protein may be involved. In the present study, we determined the role and the mechanisms of action of RON in EMT in Madin-Darby canine kidney (MDCK) cells by Western blot and cell migration analysis. Activation of RON by macrophage stimulating protein (MSP) results in cell migration and initiates changes in the morphology of RON-cDNA-transfected MDCK cells. The absence of E-cadherin, the presence of vimentin and an increase in Snail were observed in RE7 cells, which were derived from MDCK cells transfected with wt-RON, compared with MDCK cells. Stimulation of RE7 cells with MSP resulted in increased migration (about 69% of the wounded areas were covered) as well as increased activation of extracellular signal-regulated kinase 1/2 (Erk1/2) and glycogen synthase kinase-3β (GSK-3β; the percent of the activation ratio was 143.6/599.8% and 512.4%, respectively), which could be inhibited with an individual chemical inhibitor PD98059 (50 μM) specific to MAPK/ERK kinase (the percent inhibition was 98.9 and 81.2%, respectively). Thus, the results indicated that RON protein could mediate EMT in MDCK cells via the Erk1/2 pathway. Furthermore, GSK-3β regulates the function of Snail in controlling EMT by this pathway.

What ethologically based models have taught us about the neural systems underlying fear and anxiety

Classical Pavlovian fear conditioning to painful stimuli has provided the generally accepted view of a core system centered in the central amygdala to organize fear responses. Ethologically based models using other sources of threat likely to be expected in a natural environment, such as predators or aggressive dominant conspecifics, have challenged this concept of a unitary core circuit for fear processing. We discuss here what the ethologically based models have told us about the neural systems organizing fear responses. We explored the concept that parallel paths process different classes of threats, and that these different paths influence distinct regions in the periaqueductal gray - a critical element for the organization of all kinds of fear responses. Despite this parallel processing of different kinds of threats, we have discussed an interesting emerging view that common cortical-hippocampal-amygdalar paths seem to be engaged in fear conditioning to painful stimuli, to predators and, perhaps, to aggressive dominant conspecifics as well. Overall, the aim of this review is to bring into focus a more global and comprehensive view of the systems organizing fear responses.

Benefits of gas driven ground source heat pump systems

This thesis studies energy efficiencies and technical properties of gas driven ground source heat pumps and pump systems. The research focuses on two technologies: gas engine driven compressor heat pump and thermally driven gas absorption heat pump. System consist of a gas driven compressor or absorption ground source heat pump and a gas condensing boiler, which covers peak load. The reference system is a standard electrically powered compressor heat pump with electric heating elements for peak load. The systems are compared through primary energy ratios. Coefficient of performances of different heat pump technologies are also compared. At heat pump level, gas driven heat pumps are having lower coefficient of performances as compared with corresponding electric driven heat pump. However, gas heat pumps are competitive when primary energy ratios, where electricity production losses are counted in, are compared. Technically, gas heat pumps can potentially achieve a slightly higher temperatures with greater total energy efficiency as compared to the electric driven heat pump. The primary energy ratios of gas heat pump systems in relation to EHP-system improves when the share of peak load increases. Electric heat pump system's overall energy efficiency is heavily dependent on the electricity production efficiency. Economy as well as CO2-emissions were not examined in this thesis, which however, would be good topics for further study.

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.

Flow in porous media of oil-water systems

Fluid flow behaviour in porous media is a conundrum. Therefore, this research is focused on filtration-volumetric characterisation of fractured-carbonate sediments, coupled with their proper simulation. For this reason, at laboratory rock properties such as pore volume, permeability and porosity are measured, later phase permeabilities and oil recovery in function of flow rate are assessed. Furthermore, the rheological properties of three oils are measured and analysed. Finally based on rock and fluid properties, a model using COMSOL Multiphysics is built in order to compare the experimental and simulated results. The rock analyses show linear relation between flow rate and differential pressure, from which phase permeabilities and pressure gradient are determined, eventually the oil recovery under low and high flow rate is established. In addition, the oils reveal thixotropic properties as well as non-Newtonian behaviour described by Bingham model, consequently Carreau viscosity model for the used oil is given. Given these points, the model for oil and water is built in COMSOL Multiphysics, whereupon successfully the reciprocity between experimental and simulated results is analysed and compared. Finally, a two-phase displacement model is elaborated.

Finnish perceptions on management accounting systems: towards an upgraded sophistication model

This study is based on a large survey study of over 1500 Finnish companies’ usage, needs and implementation difficulties of management accounting systems. The study uses quantitative, qualitative and mixed methods to answer the research questions. The empirical data used in the study was gathered through structured interviews with randomly selected companies of varying sizes and industries. The study answers the three research questions by analyzing the characteristics and behaviors of companies working in Finland. The study found five distinctive groups of companies according to the characteristics of their cost information and management accounting system use. The study also showed that the state of cost information and management accounting systems depends on the industry and size of the companies. It was found that over 50% of the companies either did not know how their systems could be updated or saw systems as inadequate. The qualitative side also highlighted the needs for tailored and integrated management accounting systems for creating more value to the managers of companies. The major inhibitors of new system implementation were the lack of both monetary and human resources. Through the use of mixed methods and design science a new and improved sophistication model is created based on previous research results combined with the information gathered from previous literature. The sophistication model shows the different stages of management accounting systems in use and what companies can achieve with the implementation and upgrading of their systems.

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.