Genetic engineering of baker's and wine yeasts using formaldehyde hyperresistance-mediating plasmids

Yeast multi-copy vectors carrying the formaldehyde-resistance marker gene SFA have proved to be a valuable tool for research on industrially used strains of Saccharomyces cerevisiae. The genetics of these strains is often poorly understood, and for various reasons it is not possible to simply subject these strains to protocols of genetic engineering that have been established for laboratory strains of S. cerevisiae. We tested our vectors and protocols using 10 randomly picked baker's and wine yeasts all of which could be transformed by a simple protocol with vectors conferring hyperresistance to formaldehyde. The application of formaldehyde as a selecting agent also offers the advantage of its biodegradation to CO2 during fermentation, i.e., the selecting agent will be consumed and therefore its removal during down-stream processing is not necessary. Thus, this vector provides an expression system which is simple to apply and inexpensive to use

Electron microscopy of glial cells of the central nervous system in the crab Ucides cordatus

Invertebrate glial cells show a variety of morphologies depending on species and location. They have been classified according to relatively general morphological or functional criteria and also to their location. The present study was carried out to characterize the organization of glial cells and their processes in the zona fasciculata and in the protocerebral tract of the crab Ucides cordatus. We performed routine and cytochemical procedures for electron microscopy analysis. Semithin sections were observed at the light microscope. The Thiéry procedure indicated the presence of carbohydrates, particularly glycogen, in tissue and in cells. To better visualize the axonal ensheathment at the ultrastructural level, we employed a method to enhance the unsaturated fatty acids present in membranes. Our results showed that there are at least two types of glial cells in these nervous structures, a light one and a dark one. Most of the dark cell processes have been mentioned in the literature as extracellular matrix, but since they presented an enveloping membrane, glycogen and mitochondria - intact and with different degrees of disruption - they were considered to be glial cells in the present study. We assume that they correspond to the perineurial cells on the basis of their location. The light cells must correspond to the periaxonal cells. Some characteristics of the axons such as their organization, ensheathment and subcellular structures are also described.

Evaluation of Location Intelligence exploitation in capital-intensive business

As technology has developed it has increased the number of data produced and collected from business environment. Over 80% of that data includes some sort of reference to geographical location. Individuals have used that information by utilizing Google Maps or different GPS devices, however such information has remained unexploited in business. This thesis will study the use and utilization of geographically referenced data in capital-intensive business by first providing theoretical insight into how data and data-driven management enables and enhances the business and how especially geographically referenced data adds value to the company and then examining empirical case evidence how geographical information can truly be exploited in capital-intensive business and what are the value adding elements of geographical information to the business. The study contains semi-structured interviews that are used to scan attitudes and beliefs of an organization towards the geographic information and to discover fields of applications for the use of geographic information system within the case company. Additionally geographical data is tested in order to illustrate how the data could be used in practice. Finally the outcome of the thesis provides understanding from which elements the added value of geographical information in business is consisted of and how such data can be utilized in the case company and in capital-intensive business.

Influence of acute renal failure on the mononuclear phagocytic system

Several studies show the ability of macrophages to remove particles injected into the bloodstream. This function seems to be increased in the presence of acute renal failure. The objective of the present study was to assess the phagocytic function of the main organs (spleen, liver and lung) of the mononuclear phagocytic system in renal and postrenal failures. Fifteen rats (250-350 g) were divided into three groups (N = 5): group I - control; group II - ligature of both ureters, and group III - bilateral nephrectomy. On the third postoperative day, all animals received an iv injection of 1 ml/kg 99mTc sulfur colloid. Blood samples were collected for the assessment of plasma urea, creatinine, sodium, and potassium concentrations and arterial gasometry. Samples of liver, spleen, lung and blood clots were obtained and radioactivity was measured. Samples of liver, spleen, lung and kidney were prepared for routine histopathological analysis. Plasma urea, creatinine and potassium concentrations in groups II and III were higher than in group I (P<0.05). Plasma sodium concentrations in groups II and III were lower than in group I (P<0.05). Compensated metabolic acidosis was observed in the presence of postrenal failure. Group II animals showed a lower level of radioactivity in the spleen (0.98) and lung (2.63), and a higher level in the liver (105.51) than control. Group III animals showed a lower level of radioactivity in the spleen (11.94) and a higher level in the liver (61.80), lung (11.30) and blood clot (5.13) than control. In groups II and III liver steatosis and bronchopneumonia were observed. Renal and postrenal failures seem to interfere with blood clearance by the mononuclear phagocytic system.

The conservative physiology of the immune system

Current immunological opinion disdains the necessity to define global interconnections between lymphocytes and regards natural autoantibodies and autoreactive T cells as intrinsically pathogenic. Immunological theories address the recognition of foreignness by independent clones of lymphocytes, not the relations among lymphocytes or between lymphocytes and the organism. However, although extremely variable in cellular/molecular composition, the immune system preserves as invariant a set of essential relations among its components and constantly enacts contacts with the organism of which it is a component. These invariant relations are reflected, for example, in the life-long stability of profiles of reactivity of immunoglobulins formed by normal organisms (natural antibodies). Oral contacts with dietary proteins and the intestinal microbiota also result in steady states that lack the progressive quality of secondary-type reactivity. Autoreactivity (natural autoantibody and autoreactive T cell formation) is also stable and lacks the progressive quality of clonal expansion. Specific immune responses, currently regarded as the fundament of the operation of the immune system, may actually result from transient interruptions in this stable connectivity among lymphocytes. More permanent deficits in interconnectivity result in oligoclonal expansions of T lymphocytes, as seen in Omenn's syndrome and in the experimental transplantation of a suboptimal diversity of syngeneic T cells to immunodeficient hosts, which also have pathogenic consequences. Contrary to theories that forbid autoreactivity as potentially pathogenic, the physiology of the immune system is conservative and autoreactive. Pathology derives from failures of these conservative mechanisms.

Design, implementation, and evaluation of an online water quality monitoring system in Lake Saimaa, Finland

Environmental threats are growing nowadays, they became global issues. People around the world try to face these issues by two means: solving the current affected environs and preventing non-affected environs. This thesis describes the design, implementation, and evaluation of online water quality monitoring system in Lake Saimaa, Finland. The water quality in Lake Saimaa needs to be monitored in order to provide responsible bodies with valuable information which allows them to act fast in order to prevent any negative impact on the lake's environment. The objectives were to design a suitable system, implement the system in Lake Saimaa, and then to evaluate the applicability and reliability of such systems for this environment. The needs for the system were first isolated, and then the design, needed modifications, and the construction of the system took place. After that was the testing of the system in Lake Saimaa in two locations nearby Mikkeli city. The last step was to evaluate the whole system. The main results were that the application of online water quality monitoring systems in Lake Saimaa can benefit of many advantages such as reducing the required manpower, time and running costs. However, the point of unreliability of the exact measured values of some parameters is still the drawback of such systems which can be developed by using more advanced equipments with more sophisticated features specifically for the purpose of monitoring in the predefined location.

Advanced biofuel production: Engineering metabolic pathways for butanol and propane biosynthesis.

Greenhouse gases emitted from energy production and transportation are dramatically changing the climate of Planet Earth. As a consequence, global warming is affecting the living conditions of numerous plant and animal species, including ours. Thus the development of sustainable and renewable liquid fuels is an essential global challenge in order to combat the climate change. In the past decades many technologies have been developed as alternatives to currently used petroleum fuels, such as bioethanol and biodiesel. However, even with gradually increasing production, the market penetration of these first generation biofuels is still relatively small compared to fossil fuels. Researchers have long ago realized that there is a need for advanced biofuels with improved physical and chemical properties compared to bioethanol and with biomass raw materials not competing with food production. Several target molecules have been identified as potential fuel candidates, such as alkanes, fatty acids, long carbon‐chain alcohols and isoprenoids. The current study focuses on the biosynthesis of butanol and propane as possible biofuels. The scope of this research was to investigate novel heterologous metabolic pathways and to identify bottlenecks for alcohol and alkane generation using Escherichia coli as a model host microorganism. The first theme of the work studied the pathways generating butyraldehyde, the common denominator for butanol and propane biosynthesis. Two ways of generating butyraldehyde were described, one via the bacterial fatty acid elongation machinery and the other via partial overexpression of the acetone‐butanol‐ethanol fermentation pathway found in Clostridium acetobutylicum. The second theme of the experimental work studied the reduction of butyraldehyde to butanol catalysed by various bacterial aldehyde‐reductase enzymes, whereas the final part of the work investigated the in vivo kinetics of the cyanobacterial aldehyde deformylating oxygenase (ADO) for the generation of hydrocarbons. The results showed that the novel butanol pathway, based on fatty acid biosynthesis consisting of an acyl‐ACP thioesterase and a carboxylic acid reductase, is tolerant to oxygen, thus being an efficient alternative to the previous Clostridial pathways. It was also shown that butanol can be produced from acetyl‐CoA using acetoacetyl CoA synthase (NphT7) or acetyl‐CoA acetyltransferase (AtoB) enzymes. The study also demonstrated, for the first time, that bacterial biosynthesis of propane is possible. The efficiency of the system is clearly limited by the poor kinetic properties of the ADO enzyme, and for proper function in vivo, the catalytic machinery requires a coupled electron relay system.

User Experience of Geocaching and Its Application to Tourism and Education

Advances in technology have provided new ways of using entertainment and game technology to foster human interaction. Games and playing with games have always been an important part of people’s everyday lives. Traditionally, human-computer interaction (HCI) research was seen as a psychological cognitive science focused on human factors, with engineering sciences as the computer science part of it. Although cognitive science has made significant progress over the past decade, the influence of people’s emotions on design networks is increasingly important, especially when the primary goal is to challenge and entertain users (Norman 2002). Game developers have explored the key issues in game design and identified that the driving force in the success of games is user experience. User-centered design integrates knowledge of users’ activity practices, needs, and preferences into the design process. Geocaching is a location-based treasure hunt game created by a community of players. Players use GPS (Global Position System) technology to find “treasures” and create their own geocaches; the game can be developed when the players invent caches and used more imagination to creations the caches. This doctoral dissertation explores user experience of geocaching and its applications in tourism and education. Globally, based on the Geocaching.com webpage, geocaching has been played about 180 countries and there are more than 10 million registered geocachers worldwide (Geocaching.com, 25.11.2014). This dissertation develops and presents an interaction model called the GameFlow Experience model that can be used to support the design of treasure hunt applications in tourism and education contexts. The GameFlow Model presents and clarifies various experiences; it provides such experiences in a real-life context, offers desirable design targets to be utilized in service design, and offers a perspective to consider when evaluating the success of adventure game concepts. User-centered game designs have adapted to human factor research in mainstream computing science. For many years, the user-centered design approach has been the most important research field in software development. Research has been focusing on user-centered design in software development such as office programs, but the same ideas and theories that will reflect the needs of a user-centered research are now also being applied to game design (Charles et al. 2005.) For several years, we have seen a growing interest in user experience design. Digital games are experience providers, and game developers need tools to better understand the user experience related to products and services they have created. This thesis aims to present what the user experience is in geocaching and treasure hunt games and how it can be used to develop new concepts for the treasure hunt. Engineers, designers, and researchers should have a clear understanding of what user experience is, what its parts are, and most importantly, how we can influence user satisfaction. In addition, we need to understand how users interact with electronic products and people, and how different elements synergize their experiences. This doctoral dissertation represents pioneering work on the user experience of geocaching and treasure hunt games in the context of tourism and education. The research also provides a model for game developers who are planning treasure hunt concepts.

Simulation model of wind turbine gearbox and lubrication system

As increasing efficiency of a wind turbine gearbox, more power can be transferred from rotor blades to generator and less power is used to cause wear and heating in the gearbox. By using a simulation model, behavior of the gearbox can be studied before creating expensive prototypes. The objective of the thesis is to model a wind turbine gearbox and its lubrication system to study power losses and heat transfer inside the gearbox and to study the simulation methods of the used software. Software used to create the simulation model is Siemens LMS Imagine.Lab AMESim, which can be used to create one-dimensional mechatronic system simulation models from different fields of engineering. When combining components from different libraries it is possible to create a simulation model, which includes mechanical, thermal and hydraulic models of the gearbox. Results for mechanical, thermal, and hydraulic simulations are presented in the thesis. Due to the large scale of the wind turbine gearbox and the amount of power transmitted, power loss calculations from AMESim software are inaccurate and power losses are modelled as constant efficiency for each gear mesh. Starting values for simulation in thermal and hydraulic simulations were chosen from test measurements and from empirical study as compact and complex design of gearbox prevents accurate test measurements. In further studies to increase the accuracy of the simulation model, components used for power loss calculations needs to be modified and values for unknown variables are needed to be solved through accurate test measurements.

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.

Energy Management System for LVDC Island Networks

Recent developments in power electronics technology have made it possible to develop competitive and reliable low-voltage DC (LVDC) distribution networks. Further, islanded microgrids—isolated small-scale localized distribution networks— have been proposed to reliably supply power using distributed generations. However, islanded operations face many issues such as power quality, voltage regulation, network stability, and protection. In this thesis, an energy management system (EMS) that ensures efficient energy and power balancing and voltage regulation has been proposed for an LVDC island network utilizing solar panels for electricity production and lead-acid batteries for energy storage. The EMS uses the master/slave method with robust communication infrastructure to control the production, storage, and loads. The logical basis for the EMS operations has been established by proposing functionalities of the network components as well as by defining appropriate operation modes that encompass all situations. During loss-of-powersupply periods, load prioritizations and disconnections are employed to maintain the power supply to at least some loads. The proposed EMS ensures optimal energy balance in the network. A sizing method based on discrete-event simulations has also been proposed to obtain reliable capacities of the photovoltaic array and battery. In addition, an algorithm to determine the number of hours of electric power supply that can be guaranteed to the customers at any given location has been developed. The successful performances of all the proposed algorithms have been demonstrated by simulations.

A software engineering approach to distributed systems for composite modeling

The goal of this thesis is to define and validate a software engineering approach for the development of a distributed system for the modeling of composite materials, based on the analysis of various existing software development methods. We reviewed the main features of: (1) software engineering methodologies; (2) distributed system characteristics and their effect on software development; (3) composite materials modeling activities and the requirements for the software development. Using the design science as a research methodology, the distributed system for creating models of composite materials is created and evaluated. Empirical experiments which we conducted showed good convergence of modeled and real processes. During the study, we paid attention to the matter of complexity and importance of distributed system and a deep understanding of modern software engineering methods and tools.

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.

A reaction engineering approach to homogeneously catalyzed glycerol hydrochlorination

The production of biodiesel through transesterification has created a surplus of glycerol on the international market. In few years, glycerol has become an inexpensive and abundant raw material, subject to numerous plausible valorisation strategies. Glycerol hydrochlorination stands out as an economically attractive alternative to the production of biobased epichlorohydrin, an important raw material for the manufacturing of epoxy resins and plasticizers. Glycerol hydrochlorination using gaseous hydrogen chloride (HCl) was studied from a reaction engineering viewpoint. Firstly, a more general and rigorous kinetic model was derived based on a consistent reaction mechanism proposed in the literature. The model was validated with experimental data reported in the literature as well as with new data of our own. Semi-batch experiments were conducted in which the influence of the stirring speed, HCl partial pressure, catalyst concentration and temperature were thoroughly analysed and discussed. Acetic acid was used as a homogeneous catalyst for the experiments. For the first time, it was demonstrated that the liquid-phase volume undergoes a significant increase due to the accumulation of HCl in the liquid phase. Novel and relevant features concerning hydrochlorination kinetics, HCl solubility and mass transfer were investigated. An extended reaction mechanism was proposed and a new kinetic model was derived. The model was tested with the experimental data by means of regression analysis, in which kinetic and mass transfer parameters were successfully estimated. A dimensionless number, called Catalyst Modulus, was proposed as a tool for corroborating the kinetic model. Reactive flash distillation experiments were conducted to check the commonly accepted hypothesis that removal of water should enhance the glycerol hydrochlorination kinetics. The performance of the reactive flash distillation experiments were compared to the semi-batch data previously obtained. An unforeseen effect was observed once the water was let to be stripped out from the liquid phase, exposing a strong correlation between the HCl liquid uptake and the presence of water in the system. Water has revealed to play an important role also in the HCl dissociation: as water was removed, the dissociation of HCl was diminished, which had a retarding effect on the reaction kinetics. In order to obtain a further insight on the influence of water on the hydrochlorination reaction, extra semi-batch experiments were conducted in which initial amounts of water and the desired product were added. This study revealed the possibility to use the desired product as an ideal “solvent” for the glycerol hydrochlorination process. A co-current bubble column was used to investigate the glycerol hydrochlorination process under continuous operation. The influence of liquid flow rate, gas flow rate, temperature and catalyst concentration on the glycerol conversion and product distribution was studied. The fluid dynamics of the system showed a remarkable behaviour, which was carefully investigated and described. Highspeed camera images and residence time distribution experiments were conducted to collect relevant information about the flow conditions inside the tube. A model based on the axial dispersion concept was proposed and confronted with the experimental data. The kinetic and solubility parameters estimated from the semi-batch experiments were successfully used in the description of mass transfer and fluid dynamics of the bubble column reactor. In light of the results brought by the present work, the glycerol hydrochlorination reaction mechanism has been finally clarified. It has been demonstrated that the reactive distillation technology may cause drawbacks to the glycerol hydrochlorination reaction rate under certain conditions. Furthermore, continuous reactor technology showed a high selectivity towards monochlorohydrins, whilst semibatch technology was demonstrated to be more efficient towards the production of dichlorohydrins. Based on the novel and revealing discoveries brought by the present work, many insightful suggestions are made towards the improvement of the production of αγ-dichlorohydrin on an industrial scale.

Design, development and assessment of the Java Intelligent Tutoring System

The "Java Intelligent Tutoring System" (JITS) research project focused on designing, constructing, and determining the effectiveness of an Intelligent Tutoring System for beginner Java programming students at the postsecondary level. The participants in this research were students in the School of Applied Computing and Engineering Sciences at Sheridan College. This research involved consistently gathering input from students and instructors using JITS as it developed. The cyclic process involving designing, developing, testing, and refinement was used for the construction of JITS to ensure that it adequately meets the needs of students and instructors. The second objective in this dissertation determined the effectiveness of learning within this environment. The main findings indicate that JITS is a richly interactive ITS that engages students on Java programming problems. JITS is equipped with a sophisticated personalized feedback mechanism that models and supports each student in his/her learning style. The assessment component involved 2 main quantitative experiments to determine the effectiveness of JITS in terms of student performance. In both experiments it was determined that a statistically significant difference was achieved between the control group and the experimental group (i.e., JITS group). The main effect for Test (i.e., pre- and postiest), F( l , 35) == 119.43,p < .001, was qualified by a Test by Group interaction, F( l , 35) == 4.98,p < .05, and a Test by Time interaction, F( l , 35) == 43.82, p < .001. Similar findings were found for the second experiment; Test by Group interaction revealed F( 1 , 92) == 5.36, p < .025. In both experiments the JITS groups outperformed the corresponding control groups at posttest.