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.

Brightness of multilayer boards

A good appearance of a package enhances the sale of the product. The packing gives information about the content and instructions for the usage. In this master’s thesis, the optical properties of multilayer packaging board is studied. Especially means of increasing brightness of the multilayer board are evaluated. In the literature part, the effect of different factors on optical properties of a multilayer board are evaluated with the help of light scattering and absorption coefficients. The Kubelka-Munk theory can be used also in modelling brightness of the multilayer board. A large variety of different process factors, chemical aids and machine variables affect optical properties of board. In the experimental part, different methods to increase brightness of a 3-layer board were evaluated. It was discovered that brightness variation of broke (30 % share of the center layer pulp) have only minor influence on brightness of the board. The brightness variation must be high, roughly 9 % in order to alter brightness of the board by 1 %. Higher brightness can be achieved by bleaching the pulp, which holds the largest share of the center layer pulp. Here, 2,6 % increase in brightness of the pulp (60 % share of the center layer pulp) increased brightness of the board by 1 %. In a trial run at a board machine, there was no indication of decreased bulk of the board due to extended bleaching of the pulp. With pulp dyeing appearance and optical properties of a multilayer board can be influenced. By using bluish dyes the natural yellowness of pulps can be decreased and impression of whiteness is then increased. Brightness may deteriorate though, because of increasing light absorption of the dyed pulps. When the yellowness comes from the center layer pulp, the dye should be introduced there. Then the brightness decreasing effect of the dye decreases brightness of the board less. It was noticed that it is more important to maintain brightness of the top layer than brightness of the center layer, because the top layer pulp affects on brightness of the board the most. By introducing fillers into the top layer of a multilayer board it is possible to increase brightness of the board. Fillers with the highest light scattering increased the brightness of the board the most. Increasing light scattering increases brightness and also opacity. Higher opacity in the top layer decreases also the darkening effect of the center layer. Calcinated kaolin and PCC was found to increase the light scattering of the top layer the most at the filler comparison. Introducing fillers into the top layer of multilayer board may decrease bulk and modulus of elasticity of the top layer. This could lead to deteriorated bending stiffness.

Building distributed high availability system

Today’s commercial web sites are under heavy user load and they are expected to be operational and available at all times. Distributed system architectures have been developed to provide a scalable and failure tolerant high availability platform for these web based services. The focus on this thesis was to specify and implement resilient and scalable locally distributed high availability system architecture for a web based service. Theory part concentrates on the fundamental characteristics of distributed systems and presents common scalable high availability server architectures that are used in web based services. In the practical part of the thesis the implemented new system architecture is explained. Practical part also includes two different test cases that were done to test the system's performance capacity.

Knapsack sets for cryptography

The basic goal of this study is to extend old and propose new ways to generate knapsack sets suitable for use in public key cryptography. The knapsack problem and its cryptographic use are reviewed in the introductory chapter. Terminology is based on common cryptographic vocabulary. For example, solving the knapsack problem (which is here a subset sum problem) is termed decipherment. Chapter 1 also reviews the most famous knapsack cryptosystem, the Merkle Hellman system. It is based on a superincreasing knapsack and uses modular multiplication as a trapdoor transformation. The insecurity caused by these two properties exemplifies the two general categories of attacks against knapsack systems. These categories provide the motivation for Chapters 2 and 4. Chapter 2 discusses the density of a knapsack and the dangers of having a low density. Chapter 3 interrupts for a while the more abstract treatment by showing examples of small injective knapsacks and extrapolating conjectures on some characteristics of knapsacks of larger size, especially their density and number. The most common trapdoor technique, modular multiplication, is likely to cause insecurity, but as argued in Chapter 4, it is difficult to find any other simple trapdoor techniques. This discussion also provides a basis for the introduction of various categories of non injectivity in Chapter 5. Besides general ideas of non injectivity of knapsack systems, Chapter 5 introduces and evaluates several ways to construct such systems, most notably the "exceptional blocks" in superincreasing knapsacks and the usage of "too small" a modulus in the modular multiplication as a trapdoor technique. The author believes that non injectivity is the most promising direction for development of knapsack cryptosystema. Chapter 6 modifies two well known knapsack schemes, the Merkle Hellman multiplicative trapdoor knapsack and the Graham Shamir knapsack. The main interest is in aspects other than non injectivity, although that is also exploited. In the end of the chapter, constructions proposed by Desmedt et. al. are presented to serve as a comparison for the developments of the subsequent three chapters. Chapter 7 provides a general framework for the iterative construction of injective knapsacks from smaller knapsacks, together with a simple example, the "three elements" system. In Chapters 8 and 9 the general framework is put into practice in two different ways. Modularly injective small knapsacks are used in Chapter 9 to construct a large knapsack, which is called the congruential knapsack. The addends of a subset sum can be found by decrementing the sum iteratively by using each of the small knapsacks and their moduli in turn. The construction is also generalized to the non injective case, which can lead to especially good results in the density, without complicating the deciphering process too much. Chapter 9 presents three related ways to realize the general framework of Chapter 7. The main idea is to join iteratively small knapsacks, each element of which would satisfy the superincreasing condition. As a whole, none of these systems need become superincreasing, though the development of density is not better than that. The new knapsack systems are injective but they can be deciphered with the same searching method as the non injective knapsacks with the "exceptional blocks" in Chapter 5. The final Chapter 10 first reviews the Chor Rivest knapsack system, which has withstood all cryptanalytic attacks. A couple of modifications to the use of this system are presented in order to further increase the security or make the construction easier. The latter goal is attempted by reducing the size of the Chor Rivest knapsack embedded in the modified system. '

On the Application of Beam on Elastic Foundation Theory to the Analysis of Stiffened Plate Strips

The main objective of this thesis is to show that plate strips subjected to transverse line loads can be analysed by using the beam on elastic foundation (BEF) approach. It is shown that the elastic behaviour of both the centre line section of a semi infinite plate supported along two edges, and the free edge of a cantilever plate strip can be accurately predicted by calculations based on the two parameter BEF theory. The transverse bending stiffness of the plate strip forms the foundation. The foundation modulus is shown, mathematically and physically, to be the zero order term of the fourth order differential equation governing the behaviour of BEF, whereas the torsion rigidity of the plate acts like pre tension in the second order term. Direct equivalence is obtained for harmonic line loading by comparing the differential equations of Levy's method (a simply supported plate) with the BEF method. By equating the second and zero order terms of the semi infinite BEF model for each harmonic component, two parameters are obtained for a simply supported plate of width B: the characteristic length, 1/ λ, and the normalized sum, n, being the effect of axial loading and stiffening resulting from the torsion stiffness, nlin. This procedure gives the following result for the first mode when a uniaxial stress field was assumed (ν = 0): 1/λ = √2B/π and nlin = 1. For constant line loading, which is the superimposition of harmonic components, slightly differing foundation parameters are obtained when the maximum deflection and bending moment values of the theoretical plate, with v = 0, and BEF analysis solutions are equated: 1 /λ= 1.47B/π and nlin. = 0.59 for a simply supported plate; and 1/λ = 0.99B/π and nlin = 0.25 for a fixed plate. The BEF parameters of the plate strip with a free edge are determined based solely on finite element analysis (FEA) results: 1/λ = 1.29B/π and nlin. = 0.65, where B is the double width of the cantilever plate strip. The stress biaxial, v > 0, is shown not to affect the values of the BEF parameters significantly the result of the geometric nonlinearity caused by in plane, axial and biaxial loading is studied theoretically by comparing the differential equations of Levy's method with the BEF approach. The BEF model is generalised to take into account the elastic rotation stiffness of the longitudinal edges. Finally, formulae are presented that take into account the effect of Poisson's ratio, and geometric non linearity, on bending behaviour resulting from axial and transverse inplane loading. It is also shown that the BEF parameters of the semi infinite model are valid for linear elastic analysis of a plate strip of finite length. The BEF model was verified by applying it to the analysis of bending stresses caused by misalignments in a laboratory test panel. In summary, it can be concluded that the advantages of the BEF theory are that it is a simple tool, and that it is accurate enough for specific stress analysis of semi infinite and finite plate bending problems.

The Effects of Some Furnish and Paper Structure Related Factors on Wet Web Tensile and Relaxation Characteristics

The objective of this thesis was to identify the effects of different factors on the tension and tension relaxation of wet paper web after high-speed straining. The study was motivated by the plausible connection between wet web mechanical properties and wet web runnability on paper machines shown by previous studies. The mechanical properties of wet paper were examined using a fast tensile test rig with a strain rate of 1000%/s. Most of the tests were carried out with laboratory handsheets, but samples from a pilot paper machine were also used. The tension relaxation of paper was evaluated as the tension remaining after 0.475 s of relaxation (residual tension). The tensile and relaxation properties of wet webs were found to be strongly dependent on the quality and amount of fines. With low fines content, the tensile strength and residual tension of wet paper was mainly determined by the mechanical interactions between fibres at their contact points. As the fines strengthen the mechanical interaction in the network, the fibre properties also become important. Fibre deformations caused by the mechanical treatment of pulp were shown to reduce the mechanical properties of both dry and wet paper. However, the effect was significantly higher for wet paper. An increase of filler content from 10% to 25% greatly reduced the tensile strength of dry paper, but did not significantly impair wet web tensile strength or residual tension. Increased filler content in wet web was shown to increase the dryness of the wet web after the press section, which partly compensates for the reduction of fibrous material in the web. It is also presumable that fillers increase entanglement friction between fibres, which is beneficial for wet web strength. Different contaminants present in white water during sheet formation resulted in lowered surface tension and increased dryness after wet pressing. The addition of different contaminants reduced the tensile strength of the dry paper. The reduction of dry paper tensile strength could not be explained by the reduced surface tension, but rather on the tendency of different contaminants to interfere with the inter-fibre bonding. Additionally, wet web strength was not affected by the changes in the surface tension of white water or possible changes in the hydrophilicity of fibres caused by the addition of different contaminants. The spraying of different polymers on wet paper before wet pressing had a significant effect on both dry and wet web tensile strength, whereas wet web elastic modulus and residual tension were basically not affected. We suggest that the increase of dry and wet paper strength could be affected by the molecular level interactions between these chemicals and fibres. The most significant increases in dry and wet paper strength were achieved with a dual application of anionic and cationic polymers. Furthermore, selectively adding papermaking chemicals to different fibre fractions (as opposed to adding chemicals to the whole pulp) improved the wet web mechanical properties and the drainage of the pulp suspension.

Rigid Rod Polymer Fillers in Acrylic Denture and Dental Adhesive Resin Systems

Polymeric materials have been used in dental applications for decades. Adhesion of polymeric materials to each other and to the tooth substrate is essential to their successful use. The aim of this series of studies was two-folded. First, to improve adhesion of poly(paraphenylene) based rigid rod polymer (RRP) to other dental polymers, and secondly, to evaluate the usability of a new dentin primer system based on RRP fillers. Poly(paraphenylene) based RRP would be a tempting material for dental applications because of its good mechanical properties. To be used in dental applications, reliable adhesion between RRP and other dental polymers is required. In this series of studies, the adhesion of RRP to denture base polymer and the mechanical properties of RRP-denture base polymer-material combination were evaluated. Also adhesion of BisGMA-TEGDMA-resin to RRP was determined. Different surface treatments were tested to improve the adhesion of BisGMA-TEGDMA-resin to RRP. Results were based on three-point bending testing, Vickers surface hardness test and scanning electron microscope analysis (SEM), which showed that no reliable adhesion between RRP and denture base polymer was formed. Addition of RRP filler to denture base polymer increased surface hardness and flexural modulus but flexural strength decreased. Results from the shear bond strength test and SEM revealed that adhesion between resin and RRP was possible to improve by surface treatment with dichloromethane (DCM) based primer and a new kind of adhesive surface can be designed. The current dentin bonding agents have good immediate bond strength, but in long term the bond strength may decrease due to the detrimental effect of water and perhaps by matrix metalloproteinases. This leads to problems in longevity of restorations. Current bonding agents use organic monomers. In this series of studies, RRP filled dentin primer was tested in order to decrease the water sorption of the monomer system of the primers. The properties of new dentin primer system were evaluated in vitro by comparing it to commercial etch and rinse adhesive system. The results from the contact angle measurements and SEM showed that experimental primer with RRP reinforcement provided similar resin infiltration to dentin collagen and formed the resin-dentin interface as the control primer. Microtensile bond strength test and SEM revealed that in short term water storing, RRP increased bond strength and primer with BMEP-monomer (bis[2-(methacryloyloxy)-ethyl]phosphate) and high solvent concentration provided comparable bonding properties to the commercial control primers. In long term water storing, the high solvent-monomer concentration of the experimental primers decreased bond strength. However, in low solvent-monomer concentration groups, the long-term water storing did not decrease the bond strength despite the existence of hydrophilic monomers which were used in the system. These studies demonstrated that new dentin primer system reached the mechanical properties of current traditional etch and rinse adhesive system in short time water storing. Improved properties can be achieved by further modifications of the monomer system. Studies of the adhesion of RRP to other polymers suggest that adhesion between RRP and other dental polymers is possible to obtain by certain surface treatments.

Analysis and Control of Excitation, Field Weakening and Stability in Direct Torque Controlled Electrically Excited Synchronous Motor Drives

Direct torque control (DTC) is a new control method for rotating field electrical machines. DTC controls directly the motor stator flux linkage with the stator voltage, and no stator current controllers are used. With the DTC method very good torque dynamics can be achieved. Until now, DTC has been applied to asynchronous motor drives. The purpose of this work is to analyse the applicability of DTC to electrically excited synchronous motor drives. Compared with asynchronous motor drives, electrically excited synchronous motor drives require an additional control for the rotor field current. The field current control is called excitation control in this study. The dependence of the static and dynamic performance of DTC synchronous motor drives on the excitation control has been analysed and a straightforward excitation control method has been developed and tested. In the field weakening range the stator flux linkage modulus must be reduced in order to keep the electro motive force of the synchronous motor smaller than the stator voltage and in order to maintain a sufficient voltage reserve. The dynamic performance of the DTC synchronous motor drive depends on the stator flux linkage modulus. Another important factor for the dynamic performance in the field weakening range is the excitation control. The field weakening analysis considers both dependencies. A modified excitation control method, which maximises the dynamic performance in the field weakening range, has been developed. In synchronous motor drives the load angle must be kept in a stabile working area in order to avoid loss of synchronism. The traditional vector control methods allow to adjust the load angle of the synchronous motor directly by the stator current control. In the DTC synchronous motor drive the load angle is not a directly controllable variable, but it is formed freely according to the motor’s electromagnetic state and load. The load angle can be limited indirectly by limiting the torque reference. This method is however parameter sensitive and requires a safety margin between the theoretical torque maximum and the actual torque limit. The DTC modulation principle allows however a direct load angle adjustment without any current control. In this work a direct load angle control method has been developed. The method keeps the drive stabile and allows the maximal utilisation of the drive without a safety margin in the torque limitation.

Dynamical and structural properties of dendrimer macromolecules

This work is devoted to the study of the dynamical and structural properties of dendrimers. Different approaches were used: analytical theory, computer simulation results and experimental NMR studies. The theory of the relaxation spectrum of dendrimer macromolecules was developed. Relaxation processes which are manifest in the local orientational mobility of dendrimer macromolecules were established and studied in detail. Theoretical results and conclusions were used for experimental studies of carbosilane dendimers.

Quasiconformal mappings and inequalities involving special functions

This PhD thesis in Mathematics belongs to the field of Geometric Function Theory. The thesis consists of four original papers. The topic studied deals with quasiconformal mappings and their distortion theory in Euclidean n-dimensional spaces. This theory has its roots in the pioneering papers of F. W. Gehring and J. Väisälä published in the early 1960’s and it has been studied by many mathematicians thereafter. In the first paper we refine the known bounds for the so-called Mori constant and also estimate the distortion in the hyperbolic metric. The second paper deals with radial functions which are simple examples of quasiconformal mappings. These radial functions lead us to the study of the so-called p-angular distance which has been studied recently e.g. by L. Maligranda and S. Dragomir. In the third paper we study a class of functions of a real variable studied by P. Lindqvist in an influential paper. This leads one to study parametrized analogues of classical trigonometric and hyperbolic functions which for the parameter value p = 2 coincide with the classical functions. Gaussian hypergeometric functions have an important role in the study of these special functions. Several new inequalities and identities involving p-analogues of these functions are also given. In the fourth paper we study the generalized complete elliptic integrals, modular functions and some related functions. We find the upper and lower bounds of these functions, and those bounds are given in a simple form. This theory has a long history which goes back two centuries and includes names such as A. M. Legendre, C. Jacobi, C. F. Gauss. Modular functions also occur in the study of quasiconformal mappings. Conformal invariants, such as the modulus of a curve family, are often applied in quasiconformal mapping theory. The invariants can be sometimes expressed in terms of special conformal mappings. This fact explains why special functions often occur in this theory.

Hyperbolic type metrics and distortion of quasiconformal map pings

This Ph.D. thesis consists of four original papers. The papers cover several topics from geometric function theory, more specifically, hyperbolic type metrics, conformal invariants, and the distortion properties of quasiconformal mappings. The first paper deals mostly with the quasihyperbolic metric. The main result gives the optimal bilipschitz constant with respect to the quasihyperbolic metric for the M¨obius self-mappings of the unit ball. A quasiinvariance property, sharp in a local sense, of the quasihyperbolic metric under quasiconformal mappings is also proved. The second paper studies some distortion estimates for the class of quasiconformal self-mappings fixing the boundary values of the unit ball or convex domains. The distortion is measured by the hyperbolic metric or hyperbolic type metrics. The results provide explicit, asymptotically sharp inequalities when the maximal dilatation of quasiconformal mappings tends to 1. These explicit estimates involve special functions which have a crucial role in this study. In the third paper, we investigate the notion of the quasihyperbolic volume and find the growth estimates for the quasihyperbolic volume of balls in a domain in terms of the radius. It turns out that in the case of domains with Ahlfors regular boundaries, the rate of growth depends not merely on the radius but also on the metric structure of the boundary. The topic of the fourth paper is complete elliptic integrals and inequalities. We derive some functional inequalities and elementary estimates for these special functions. As applications, some functional inequalities and the growth of the exterior modulus of a rectangle are studied.

Unidirectional fiber-reinforced composite as an oral implant abutment material: Experimental studies of E-glass fiber/BisGMA-TEGDMA polymer in vitro

Fiber-reinforced composites (FRCs) are a new group of non-metallic biomaterials showing a growing popularity in many dental and medical applications. As an oral implant material, FRC is biocompatible in bone tissue environment. Soft tissue integration to FRC polymer material is unclear. This series of in vitro studies aimed at evaluating unidirectional E-glass FRC polymer in terms of mechanical, chemical, and biological properties in an attempt to develop a new non-metallic oral implant abutment alternative. Two different types of substrates were investigated: (a) Plain polymer (BisGMA 50%–TEGDMA 50%) and (b) Unidirectional FRC. The mechanical behavior of high fiber-density FRCs was assessed using a three-point bending test. Surface characterization was performed using scanning electron and spinning disk confocal microscopes. The surface wettability/energy was determined using sessile drop method. The blood response, including blood-clotting ability and platelet morphology was evaluated. Human gingival fibroblast cell responses - adhesion kinetics, adhesion strength, and proliferation activity - were studied in cell culture environment using routine test conditions. A novel tissue culture method was developed and used to evaluate porcine gingival tissue graft attachment and growth on the experimental composite implants. The analysis of the mechanical properties showed that there is a direct proportionality in the relationship between E-glass fiber volume fraction and toughness, modulus of elasticity, and load bearing capacity; however, flexural strength did not show significant improvement when high fiber-density FRC is used. FRCs showed moderate hydrophilic properties owing to the presence of exposed glass fibers on the polymer surface. Blood-clotting time was shorter on FRC substrates than on plain polymer. The FRC substrates also showed higher platelet activation state than plain polymer substrates. Fibroblast cell adhesion strength and proliferation rate were highly pronounced on FRCs. A tissue culture study revealed that gingival epithelium and connective tissue established an immediate close contact with both plain polymer and FRC implants. However, FRC seemed to guide epithelial migration outwards from the tissue/implant interface. Due to the anisotropic and hydrophilic nature of FRC, it can be concluded that this material enhances biological events related with soft tissue integration on oral implant surface.

Itse tehty moderni. Gramofoni, polkupyörä ja valokuvaus suomalaisten elämässä 1880-luvulta 1940-luvulle

Tässä tutkimuksessa tarkastellaan aineellista modernia ja materiaalisen kulttuurin muutosta Suomessa 1880-luvulta 1940-luvulle tutkimalla sitä, miten kolme kansainvälistä teknologiaa, gramofoni, polkupyörä ja valokuvaus, otettiin Suomessa käyttöön ja millaisia paikallisia ilmiöitä niiden ympärille kehittyi. Tutkimus koostuu johdanto- ja yhteenveto-osan lisäksi kuudesta artikkelista, joissa käsitellään seuraavia alateemoja: itse tehtyjä polkupyöriä, käyntikorttikuvien käyttöä maalaiskodeissa, maaseudun pyöräilyä ja sen muistelemista, vuoden 1929 gramofonikuumetta, valokuvausta teknisenä harrastuksena sekä maalaisia gramofonin käytön tapoja. Tutkimuksen lähteinä on käytetty laajoja muistitietoaineistoja, sanoma- ja aikakauslehtiaineistoja, arkistoaineistoja, aikalaiskirjallisuutta ja museoesineitä. Lähteistä on etsitty mikrohistoriallista lukutapaa noudattaen johtolankoja gramofoniin, polkupyörään ja valokuvaukseen liittyneihin käytäntöihin. Esitän, että muistitietolähteet, muiden lähteiden kanssa ristiinluettuina, antavat hyvän mahdollisuuden sellaisten arjen käytäntöjen tarkasteluun, joiden tutkiminen muiden lähteiden perusteella olisi vaikeaa tai mahdotonta. Tutkimuksessa käytetyistä teoreettisista kehyksistä niin teknologian sosiaalinen rakentuminen, arjen historia, materiaaliseen kulttuuriin liittyvä teoriapohja, kulutuskulttuurin tutkimus kuin käytäntöteoriatkin kannustavat tarkastelemaan sitä, miten käyttäjien toiminta muokkaa ja määrittää teknologiaa. Näiden teoriasuuntausten pohjalta olen tätä tutkimusta varten kehittänyt itse tehdyn modernin ja kansankeksinnön käsitteet, jotka tarkentavat katseen ajallisesti ja paikallisesti tyypillisiin teknologian muokkauksen ja määrittelyn tapoihin sekä paikalliseen teknologiseen kekseliäisyyteen. Itse tehdyn modernin käsite auttaa hahmottamaan materiaalisia muutoksia ja pysyvyyksiä ajanjaksolla 1800-luvun lopulta toiseen maailmansotaan. Suomalaiset muovasivat omanlaisensa modernin, jossa uutuudet ja muutokset sulautuivat osaksi sitkeinä jatkuvia ja hitaasti muuttuvia maalaisyhteiskunnan toimintatapoja ja muokkasivat niitä vähitellen. Itse tehty moderni sekoitti omavaraisuutta ja kulutuskulttuuria, käsillä tekemiseen perustuvaa taitavuutta ja kursseilla sekä koulutuksessa saavutettua teknistä tietoa, paikallisia aineksia ja kansainvälisiä vaikutteita. Puhumalla kansanomaisista keksinnöistä olen halunnut korostaa tällaisten yhdistelmien mahdollisuutta ruohonjuuritasolla ja massatuotettujen laitteiden sovittamista osaksi pitkälti itse tehtyä ja omavaraista esinemaailmaa.

Effect of ultrastructural features on mechanical properties of softwood fiber

The main objective of this study was to develop mathematical model capable to describe the effect of ultrastructural features on the longitudinal modulus of elasticity of softwood fiber. Another objective was to identify, based on ultrastructural features, a potential explanatory factor for the mechanical difference between Norway spruce and Scots pine fibers and to demonstrate its influence utilizing developed modelling tools. According to the literature, the main difference between the pine and spruce fibers is the pit structure, which is clearly different in these fibers. The spruce fiber contains a lot of tiny pits, whereas the pits of the pine fiber are larger and the total number of them is smaller. The effect of the pits on the longitudinal modulus of elasticity of fiber is studied with both the analytical and the numerical model. The results show that, although the spruce fiber seems to contain clearly more pits, larger pits appearing in the pine fiber turn out to have a stronger influence on the longitudinal modulus of elasticity of the fiber. The effect of local variation of microfibril angle which occurs near the pits seems to be minor. Moreover, the results suggest that spruce fibers may have higher ultimate strength due to the more uniform straining behavior.

Kylmälaitekoneikon runkorakenteen kehittäminen

Kylmälaitekoneikot ovat kylmäkomponentteja sisältäviä rakenteita, joiden avulla toteutetaan suurten tilojen, kuten elintarvikemyymälöiden sisäilman jäähdytys. Lisäksi koneikkojen avulla jäähdytetään matalampiin lämpötiloihin pienempiä kylmähuoneita. Osa koneikoista ottaa talteen kylmäprosessissa syntyvän lämmön, jota hyödynnetään tilojen lämmityksessä. Tämän diplomityön tavoitteena oli suunnitella ja mitoittaa kahdeksalle eri kylmälaitekoneikolle entistä kustannustehokkaammat runkorakenteet, jotka ovat niin kestäviä, että koneikkoja on mahdollista pinota tilan säästämiseksi kolme päällekkäin. Lisäksi runkorakenteilta vaadittiin helppoa kuljetettavuutta, hyviä kiinnitysominaisuuksia ja korroosionkestävyyttä. Aluksi työssä selvitettiin runkorakenteisiin kohdistuvat vaatimukset, jonka jälkeen materiaalin valinta tehtiin materiaaliin kohdistuvien vaatimusten perusteella. Rakenteiden palkit mitoitettiin tarvittavan taivutusvastuksen ja kiepahduksen mukaan. Pilarit puolestaan mitoitettiin nurjahduksen ja kaksiaksiaalisen taivutustilan perusteella. Tämän jälkeen mitoitettiin eri sauvojen väliset hitsi- ja ruuviliitokset siten, että rakenne hajoaa ylikuormitustilanteessa mahdollisimman turvallisesti. Työssä tehdyt laskelmat varmennettiin elementtimenetelmän avulla ja lopullisille rakenteille tehtiin elementtimenetelmällä vielä ominaistaajuusanalyysejä. Lopuksi työssä suunniteltiin runkorakenteille sopiva korroosionsuojaus.