Value engineering of InnoTrackTM

Middle section module of InnoTrackTM moving walk was re-engineered according to value analysis process. Self-supporting steel structure for moving walk was created as a result of this process. Designed structure was verified and validated by prototype tests and finite element method calculations. Self-supporting steel structure replaces the original design of middle section module in InnoTrackTM. Designed structure provides higher satisfaction to customers’ needs and at the same time, it uses less resources. The redesigned middle section module provides higher value to the customer.

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

Microencapsulation and tissue engineering as an alternative treatment of diabetes

In the 70's, pancreatic islet transplantation arose as an attractive alternative to restore normoglycemia; however, the scarcity of donors and difficulties with allotransplants, even under immunosuppressive treatment, greatly hampered the use of this alternative. Several materials and devices have been developed to circumvent the problem of islet rejection by the recipient, but, so far, none has proved to be totally effective. A major barrier to transpose is the highly organized islet architecture and its physical and chemical setting in the pancreatic parenchyma. In order to tackle this problem, we assembled a multidisciplinary team that has been working towards setting up the Human Pancreatic Islets Unit at the Chemistry Institute of the University of São Paulo, to collect and process pancreas from human donors, upon consent, in order to produce purified, viable and functional islets to be used in transplants. Collaboration with the private enterprise has allowed access to the latest developed biomaterials for islet encapsulation and immunoisolation. Reasoning that the natural islet microenvironment should be mimicked for optimum viability and function, we set out to isolate extracellular matrix components from human pancreas, not only for analytical purposes, but also to be used as supplementary components of encapsulating materials. A protocol was designed to routinely culture different pancreatic tissues (islets, parenchyma and ducts) in the presence of several pancreatic extracellular matrix components and peptide growth factors to enrich the beta cell population in vitro before transplantation into patients. In addition to representing a therapeutic promise, this initiative is an example of productive partnership between the medical and scientific sectors of the university and private enterprises.

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.

A SOA-based Framework for Multi-Devices and Multi-Platform User Interfaces

This thesis reports investigations on applying the Service Oriented Architecture (SOA) approach in the engineering of multi-platform and multi-devices user interfaces. This study has three goals: (1) analyze the present frameworks for developing multi-platform and multi-devices applications, (2) extend the principles of SOA for implementing a multi-platform and multi-devices architectural framework (SOA-MDUI), (3) applying and validating the proposed framework in the context of a specific application. One of the problems addressed in this ongoing research is the large amount of combinations for possible implementations of applications on different types of devices. Usually it is necessary to take into account the operating system (OS), user interface (UI) including the appearance, programming language (PL) and architectural style (AS). Our proposed approach extended the principles of SOA using patterns-oriented design and model-driven engineering approaches. Synthesizing the present work done in these domains, this research built and tested an engineering framework linking Model-driven Architecture (MDA) and SOA approaches to developing of UI. This study advances general understanding of engineering, deploying and managing multi-platform and multi-devices user interfaces as a service.

Enhancing business-to-business relationship through value co-creation in traditional business sector: A case of building services engineering

This study discusses the significance of having service as a business logic, and more specifically, how value co-creation can be seen as an enhancing phenomenon to business-to-business relationships in traditional business sector. The purpose of this study is to investigate how value cocreation can enhance a business-to-business relationship in the heating, ventilation and airconditioning (HVAC) industry of building services engineering, through three sub-objectives: to identify what is value in the industry, how value is co-created in the industry, and what is value in a business-to-business relationship in the industry. The theoretical part this study consists of academic knowledge and literature related to the concepts of value, value co-creation and business-to-business relationships. In order to research value co-creation and business-to-business relationships in HVAC industry of building services engineering both, metaphorical and conceptual thinking of service dominant (S-D) logic and more managerial approach of service logic (SL), contributed to the theoretical part of the study. The empirical research conducted for this study is based on seven semi-structured interviews, which constituted the holistic, qualitative single case study method chosen for the research. The data was collected in September 2014 from CEOs, managers and owners representing six building services engineering firms. The interviews were analysed with the help of transcriptions, role-ordered matrices and thematic networks. The findings of this study indicate that value in HVAC industry consists of client expertise and supplier expertise. The result of applying client expertise and supplier expertise to the business-to- business relationship is characterized as value-in-reputation, when continuity, interaction, learning and rapport of the business relationship are ensured. As a result, value co-creation in the industry consists of mutual and separate elements, which the client and the supplier apply in the process, in addition to proactive interaction. The findings of this study, together with the final framework, enhance the understanding of the connection existing between value co-creation and business-to-business relationship. The findings suggest that value in the HVAC industry is characterized by both value-in-use and value-inreputation. Value-in-reputation enhances the formation of value-in-use, and consequently, value cocreation enhances the business-to-business relationship. This study thus contributes to the existing knowledge on the concepts of value and value co-creation in business-to-business relationships.

Poly(3-hydroxybutyrate-co-3-hydroxyhexanoate)-based scaffolds for tissue engineering

Development and selection of an ideal scaffold is of importance for tissue engineering. Poly(3-hydroxybutyrate-co-3-hydroxyhexanoate) (PHBHHx) is a biocompatible bioresorbable copolymer that belongs to the polyhydroxyalkanoate family. Because of its good biocompatibility, PHBHHx has been widely used as a cell scaffold for tissue engineering. This review focuses on the utilization of PHBHHx-based scaffolds in tissue engineering. Advances in the preparation, modification, and application of PHBHHx scaffolds are discussed.

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.

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.

Development of Project Logistics in Engineering, Procurement and Construction Projects

The aim of this Master’s Thesis is to develop project logistics functions in large scale en-gineering, procurement and construction projects. The background of the research topic is compounded from two separate subjects; OPAL Program and case study of an actual EPC project. The purpose is to examine Project Logistics process in accordance with OPAL Program as well as logistics process in focus EPC project. Both entities are researched by using the case study research methodology. Logistics process of the focus EPC project is described as well as presented and in addi-tion, logistics related findings and observations are introduced. Significant findings and observations are found from logistics costs as well as shipment volume estimations in the early phase of the focus ECP project. A notable finding is also that because goods were transported as readily assembled as possible it caused expensive oversized cargo deliveries. From findings and observation of the focus EPC project it can be derived that logistics has to be involved in the early sales phase in order to receive more accurate logistics cost esti-mations for project deliveries. It is also noticed that in order to obtain savings in logistics costs, oversized deliveries must be avoided.