Modelling the exothermic heat and the demand of cooling in paper and pulp industry biological wastewater treatment

This master thesis presents a study on the requisite cooling of an activated sludge process in paper and pulp industry. The energy consumption of paper and pulp industry and it’s wastewater treatment plant in particular is relatively high. It is therefore useful to understand the wastewater treatment process of such industries. The activated sludge process is a biological mechanism which degrades carbonaceous compounds that are present in waste. The modified activated sludge model constructed here aims to imitate the bio-kinetics of an activated sludge process. However, due to the complicated non-linear behavior of the biological process, modelling this system is laborious and intriguing. We attempt to find a system solution first using steady-state modelling of Activated Sludge Model number 1 (ASM1), approached by Euler’s method and an ordinary differential equation solver. Furthermore, an enthalpy study of paper and pulp industry’s vital pollutants was carried out and applied to revise the temperature shift over a period of time to formulate the operation of cooling water. This finding will lead to a forecast of the plant process execution in a cost-effective manner and management of effluent efficiency. The final stage of the thesis was achieved by optimizing the steady state of ASM1.

Modelling of calciner in post-combustion carbon capture process

Climate change has given an impetus to research and developed new technologies to reduce significantly carbon dioxide emissions in energy production in the developed countries. The major pollution source, fossil fuels, will be used as an energy source for many decades, which provides the demand for carbon capture and storage technologies. Over recent years many new technologies has been developed and one of the most promising is calcium-looping in post-combustion carbon capture process, which use carbonation-calcination cycle to capture carbon dioxide from the flue gas of a combustion process. First pilot plant for calcium-looping process has been built in Oviedo, Spain. In this study, a three-dimensional model has been created for the calciner, which is one of the two fluidized bed reactors needed for the process. The calciner is a regenerator where the captured carbon dioxide is removed from the calcium material and then collected after the reactor. Thesis concentrates in creating the calciner 3D-model frame with CFB3D-program and testing the model with two different example cases. Used input parameters and calciner geometry are Oviedo pilot plant design parameters. The calculation results give information about the process and show that pilot plant calciner should perform as planned. This Master’s Thesis is done in participation to EU FP7 project CaOling.

Modelling flexible asset management in industrial maintenance companies and networks

The tightening competition and increasing dynamism have created an emerging need for flexible asset management. This means that the changes of market demand should be responded to with adjustments in the amount of assets tied to the balance sheets of companies. On the other hand, industrial maintenance has recently experienced drastic changes, which have led to an increase in the number of maintenance networks (consisting of customer companies that buy maintenance services, as well as various supplier companies) and inter-organizational partnerships. However, the research on maintenance networks has not followed the changes in the industry. Instead, there is a growing need for new ways of collaboration between partnering companies to enhance the competitiveness of the whole maintenance network. In addition, it is more and more common for companies to pursue lean operations in their businesses. This thesis shows how flexible asset management can increase the profitability of maintenance companies and networks under dynamic operating conditions, and how the additional value can then be shared between the network partners. Firstly, I have conducted a systematic literature review to identify what kind of requirements for asset management models are set by the increasing dynamism. Then I have responded to these requirements by constructing an analytical model for flexible asset management, linking asset management to the profitability and financial state of a company. The thesis uses the model to show how flexible asset management can increase profitability in maintenance companies and networks, and how the created value can be shared in the networks to reach a win-win situation. The research indicates that the existing models for asset management are heterogeneous by nature due to the various definitions of ‘asset management’. I conclude that there is a need for practical asset management models which address assets comprehensively with an inter-organizational, strategic view. The comprehensive perspective, taking all kinds of asset types into account, is needed to integrate the research on asset management with the strategic management of companies and networks. I will show that maintenance companies can improve their profitability by increasing the flexibility of their assets. In maintenance networks, reorganizing the ownership of the assets among the different network partners can create additional value. Finally, I will introduce flexible asset management contracts for maintenance networks. These contracts address the value sharing related to reorganizing the ownership of assets according to the principles of win-win situations.

Formal modelling for digital media distribution

Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological progress made it possible to create a recording of a phenomenon; first as an analogue recording onto a physical object, and later digitally, as a sequence of bits to be interpreted by a computer. By the end of the 20th century technological advances had made it feasible to distribute media content over a computer network instead of on physical objects, thus enabling the concept of digital media distribution. Many digital media distribution systems already exist, and their continued, and in many cases increasing, usage is an indicator for the high interest in their future enhancements and enriching. By looking at these digital media distribution systems, we have identified three main areas of possible improvement: network structure and coordination, transport of content over the network, and the encoding used for the content. In this thesis, our aim is to show that improvements in performance, efficiency and availability can be done in conjunction with improvements in software quality and reliability through the use of formal methods: mathematical approaches to reasoning about software so that we can prove its correctness, together with the desirable properties. We envision a complete media distribution system based on a distributed architecture, such as peer-to-peer networking, in which different parts of the system have been formally modelled and verified. Starting with the network itself, we show how it can be formally constructed and modularised in the Event-B formalism, such that we can separate the modelling of one node from the modelling of the network itself. We also show how the piece selection algorithm in the BitTorrent peer-to-peer transfer protocol can be adapted for on-demand media streaming, and how this can be modelled in Event-B. Furthermore, we show how modelling one peer in Event-B can give results similar to simulating an entire network of peers. Going further, we introduce a formal specification language for content transfer algorithms, and show that having such a language can make these algorithms easier to understand. We also show how generating Event-B code from this language can result in less complexity compared to creating the models from written specifications. We also consider the decoding part of a media distribution system by showing how video decoding can be done in parallel. This is based on formally defined dependencies between frames and blocks in a video sequence; we have shown that also this step can be performed in a way that is mathematically proven correct. Our modelling and proving in this thesis is, in its majority, tool-based. This provides a demonstration of the advance of formal methods as well as their increased reliability, and thus, advocates for their more wide-spread usage in the future.

Modelling of changes in electricity end-use and their impacts on electricity distribution

The electricity distribution sector will face significant changes in the future. Increasing reliability demands will call for major network investments. At the same time, electricity end-use is undergoing profound changes. The changes include future energy technologies and other advances in the field. New technologies such as microgeneration and electric vehicles will have different kinds of impacts on electricity distribution network loads. In addition, smart metering provides more accurate electricity consumption data and opportunities to develop sophisticated load modelling and forecasting approaches. Thus, there are both demands and opportunities to develop a new type of long-term forecasting methodology for electricity distribution. The work concentrates on the technical and economic perspectives of electricity distribution. The doctoral dissertation proposes a methodology to forecast electricity consumption in the distribution networks. The forecasting process consists of a spatial analysis, clustering, end-use modelling, scenarios and simulation methods, and the load forecasts are based on the application of automatic meter reading (AMR) data. The developed long-term forecasting process produces power-based load forecasts. By applying these results, it is possible to forecast the impacts of changes on electrical energy in the network, and further, on the distribution system operator’s revenue. These results are applicable to distribution network and business planning. This doctoral dissertation includes a case study, which tests the forecasting process in practice. For the case study, the most prominent future energy technologies are chosen, and their impacts on the electrical energy and power on the network are analysed. The most relevant topics related to changes in the operating environment, namely energy efficiency, microgeneration, electric vehicles, energy storages and demand response, are discussed in more detail. The study shows that changes in electricity end-use may have radical impacts both on electrical energy and power in the distribution networks and on the distribution revenue. These changes will probably pose challenges for distribution system operators. The study suggests solutions for the distribution system operators on how they can prepare for the changing conditions. It is concluded that a new type of load forecasting methodology is needed, because the previous methods are no longer able to produce adequate forecasts.

Modelling non-industrial private forest landowners' strategic decision making by using logistic regression and neural networks: case of predicting the choice of forest taxation basis

Summary

Modelling growth and nitrogen balance of barley under ambient and future conditions

Selostus: Ohran kasvun ja typpidynamiikan mallintaminen nykyisissä ja tulevaisuuden olosuhteissa