A mathematical study of fuzzy logic; an algebraic approach

Fuzzy set theory and Fuzzy logic is studied from a mathematical point of view. The main goal is to investigatecommon mathematical structures in various fuzzy logical inference systems and to establish a general mathematical basis for fuzzy logic when considered as multi-valued logic. The study is composed of six distinct publications. The first paper deals with Mattila'sLPC+Ch Calculus. THis fuzzy inference system is an attempt to introduce linguistic objects to mathematical logic without defining these objects mathematically.LPC+Ch Calculus is analyzed from algebraic point of view and it is demonstratedthat suitable factorization of the set of well formed formulae (in fact, Lindenbaum algebra) leads to a structure called ET-algebra and introduced in the beginning of the paper. On its basis, all the theorems presented by Mattila and many others can be proved in a simple way which is demonstrated in the Lemmas 1 and 2and Propositions 1-3. The conclusion critically discusses some other issues of LPC+Ch Calculus, specially that no formal semantics for it is given.In the second paper the characterization of solvability of the relational equation RoX=T, where R, X, T are fuzzy relations, X the unknown one, and o the minimum-induced composition by Sanchez, is extended to compositions induced by more general products in the general value lattice. Moreover, the procedure also applies to systemsof equations. In the third publication common features in various fuzzy logicalsystems are investigated. It turns out that adjoint couples and residuated lattices are very often present, though not always explicitly expressed. Some minor new results are also proved.The fourth study concerns Novak's paper, in which Novak introduced first-order fuzzy logic and proved, among other things, the semantico-syntactical completeness of this logic. He also demonstrated that the algebra of his logic is a generalized residuated lattice. In proving that the examination of Novak's logic can be reduced to the examination of locally finite MV-algebras.In the fifth paper a multi-valued sentential logic with values of truth in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper developes some ideas of Goguen and generalizes the results of Pavelka on the unit interval. Our proof for the completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if, and only if the algebra of the valuesof truth is a complete MV-algebra. The Compactness Theorem holds in our well-defined fuzzy sentential logic, while the Deduction Theorem and the Finiteness Theorem do not. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning. The last paper is a continuation of the fifth study. The semantics and syntax of fuzzy predicate logic with values of truth in ana injective MV-algerba are introduced, and a list of universally valid sentences is established. The system is proved to be semanticallycomplete. This proof is based on an idea utilizing some elementary properties of injective MV-algebras and MV-homomorphisms, and is purely algebraic.

Mekanismien dynamiikan simuloinnissa sovellettavia numeerisia- ja mallinnusmenetelmiä

Koneet voidaan usein jakaa osajärjestelmiin, joita ovat ohjaus- ja säätöjärjestelmät, voimaa tuottavat toimilaitteet ja voiman välittävät mekanismit. Eri osajärjestelmiä on simuloitu tietokoneavusteisesti jo usean vuosikymmenen ajan. Osajärjestelmien yhdistäminen on kuitenkin uudempi ilmiö. Usein esimerkiksi mekanismien mallinnuksessa toimilaitteen tuottama voimaon kuvattu vakiona, tai ajan funktiona muuttuvana voimana. Vastaavasti toimilaitteiden analysoinnissa mekanismin toimilaitteeseen välittämä kuormitus on kuvattu vakiovoimana, tai ajan funktiona työkiertoa kuvaavana kuormituksena. Kun osajärjestelmät on erotettu toisistaan, on niiden välistenvuorovaikutuksien tarkastelu erittäin epätarkkaa. Samoin osajärjestelmän vaikutuksen huomioiminen koko järjestelmän käyttäytymissä on hankalaa. Mekanismien dynamiikan mallinnukseen on kehitetty erityisesti tietokoneille soveltuvia numeerisia mallinnusmenetelmiä. Useimmat menetelmistä perustuvat Lagrangen menetelmään, joka mahdollistaa vapaasti valittaviin koordinaattimuuttujiin perustuvan mallinnuksen. Numeerista ratkaisun mahdollistamiseksi menetelmän avulla muodostettua differentiaali-algebraaliyhtälöryhmää joudutaan muokkaamaan esim. derivoimalla rajoiteyhtälöitä kahteen kertaan. Menetelmän alkuperäisessä numeerisissa ratkaisuissa kaikki mekanismia kuvaavat yleistetyt koordinaatit integroidaan jokaisella aika-askeleella. Tästä perusmenetelmästä johdetuissa menetelmissä riippumattomat yleistetyt koordinaatit joko integroidaan ja riippuvat koordinaatit ratkaistaan rajoiteyhtälöiden perusteella tai yhtälöryhmän kokoa pienennetään esim. käyttämällä nopeus- ja kiihtyvyysanalyyseissä eri kiertymäkoordinaatteja kuin asema-analyysissä. Useimmat integrointimenetelmät on alun perin tarkoitettu differentiaaliyhtälöiden (ODE) ratkaisuunjolloin yhtälöryhmään liitetyt niveliä kuvaavat algebraaliset rajoiteyhtälöt saattavat aiheuttaa ongelmia. Nivelrajoitteiden virheiden korjaus, stabilointi, on erittäin tärkeää mekanismien dynamiikan simuloinnin onnistumisen ja tulosten oikeellisuuden kannalta. Mallinnusmenetelmien johtamisessa käytetyn virtuaalisen työn periaatteen oletuksena nimittäin on, etteivät rajoitevoimat tee työtä, eli rajoitteiden vastaista siirtymää ei tapahdu. Varsinkaan monimutkaisten järjestelmien pidemmissä analyyseissä nivelrajoitteet eivät toteudu tarkasti. Tällöin järjestelmän energiatasapainoei toteudu ja järjestelmään muodostuu virtuaalista energiaa, joka rikkoo virtuaalisen työn periaatetta, Tästä syystä tulokset eivät enää pidäpaikkaansa. Tässä raportissa tarkastellaan erityyppisiä mallinnus- ja ratkaisumenetelmiä, ja vertaillaan niiden toimivuutta yksinkertaisten mekanismien numeerisessa ratkaisussa. Menetelmien toimivuutta tarkastellaan ratkaisun tehokkuuden, nivelrajoitteiden toteutumisen ja energiatasapainon säilymisen kannalta.

Benchmarking project of the Department of Electrical Engineering of Lappeenranta University of Technology

Lappeenrannan teknillisen korkeakoulun sähkötekniikan osasto muutti 1.8.2005 sähkötekniikan tutkinnon kaksiportaiseksi ja vastaamaan näin Bologna-prosessia ja Suomen yliopistolainsäädäntöä. Tutkinnonuudistuksen myötä osasto haluaa varmistaa sähkötekniikan tutkintojen laadun ja vertailtavuuden sekä parantaa opiskelijoidensekä henkilökunnan liikkuvuutta. Tutkintojen laatu ja vertailtavuus osoitetaan sähkötekniikan osaston benchmark-projektilla, jossa kerätään tietoja maisteri- ja tohtorintutkintoa tarjoavista eurooppalaisista yliopistoista. Diplomityö käsittää BM-projektin kolmannen vaiheen suunnittelun ja toteutuksen sisältäen teoriaa benchmark-projekteille tyypillisistä toimintatavoista. Hyväksi havaitut menetelmiä, kuten kyselyt ja matriisit, on tässä työssä otettu soveltuvin osin sähkötekniikan osaston BM-projektin työkaluiksi. Diplomityössä analysoidaan työkalujen avulla BM-kumppaneilta kerättyjä tietoja sekä esitetään ratkaisuja, miten sähkötekniikan osastolla voidaan jatkaa parhaiden toimintatapojen löytämistä.

Market Area Selection of aSawmill Machinery Manufacturer

Tämän diplomityön tavoitteena on kartoittaa suomalaisen sahakonevalmistaja Veisto Oy:n kannalta lähitulevaisuuden merkittävimmät markkina-alueet, joiden sahateollisuuteen tehdään lähivuosina eniten korkean teknologian investointeja. Markkina-alueiden valinnassa sovelletaan sekä numeerisiin tilastoihin että asiantuntijahaastatteluihin pohjautuvia ranking-menetelmiä. Työn ensimmäinen osa käsittelee kansainvälisten teollisten markkinoiden ominaispiirteitä ja niiden analysointia. Pääpaino on kuitenkin screening-menetelmillä, markkina-alueiden vertailumenetelmilläja päätöksenteon työkaluilla. Työn toisessa osassa keskitytään markkina-alueiden screeningiin, analysointiin ja maiden eri ominaisuuksien vertailuun. Päätöksentekomatriiseja hyödyntäen valitaan Veisto Oy:lle kolme tällä hetkellä houkuttelevinta markkina-aluetta, joita ovat Venäjä, USA:n kaakkoisosan Southern Yellow Pine -alue sekä Etelä-Amerikan suurimmat sahaajamaat (Brasilia, Argentiina ja Chile) yhtenä alueena. Valituilla alueilla on Veiston kannalta omat haasteensa: USA:ssa vahvat kotimaiset kilpailijat ja uusien referenssien saaminen, Venäjällä investointien epävarmuus ja markkina-alueen laajuuden tuoma monimuotoisuus sekä Etelä-Amerikassa vahvat ruotsalaiset kilpailijat sekä etenkin Brasilian osalta tuntuvat suojatullit.

Validation Studies of Thermal-hydraulic Code for Safety Analysis of Nuclear Power Plants

This thesis gives an overview of the validation process for thermal hydraulic system codes and it presents in more detail the assessment and validation of the French code CATHARE for VVER calculations. Three assessment cases are presented: loop seal clearing, core reflooding and flow in a horizontal steam generator. The experience gained during these assessment and validation calculations has been used to analyze the behavior of the horizontal steam generator and the natural circulation in the geometry of the Loviisa nuclear power plant. The cases presented are not exhaustive, but they give a good overview of the work performed by the personnel of Lappeenranta University of Technology (LUT). Large part of the work has been performed in co-operation with the CATHARE-team in Grenoble, France. The design of a Russian type pressurized water reactor, VVER, differs from that of a Western-type PWR. Most of thermal-hydraulic system codes are validated only for the Western-type PWRs. Thus, the codes should be assessed and validated also for VVER design in order to establish any weaknesses in the models. This information is needed before codes can be used for the safety analysis. Theresults of the assessment and validation calculations presented here show that the CATHARE code can be used also for the thermal-hydraulic safety studies for VVER type plants. However, some areas have been indicated which need to be reassessed after further experimental data become available. These areas are mostly connected to the horizontal stem generators, like condensation and phase separation in primary side tubes. The work presented in this thesis covers a large numberof the phenomena included in the CSNI code validation matrices for small and intermediate leaks and for transients. Also some of the phenomena included in the matrix for large break LOCAs are covered. The matrices for code validation for VVER applications should be used when future experimental programs are planned for code validation.

Design and implementation of FPGA-based LQ control of active magnetic bearings

The need for high performance, high precision, and energy saving in rotating machinery demands an alternative solution to traditional bearings. Because of the contactless operation principle, the rotating machines employing active magnetic bearings (AMBs) provide many advantages over the traditional ones. The advantages such as contamination-free operation, low maintenance costs, high rotational speeds, low parasitic losses, programmable stiffness and damping, and vibration insulation come at expense of high cost, and complex technical solution. All these properties make the use of AMBs appropriate primarily for specific and highly demanding applications. High performance and high precision control requires model-based control methods and accurate models of the flexible rotor. In turn, complex models lead to high-order controllers and feature considerable computational burden. Fortunately, in the last few years the advancements in signal processing devices provide new perspective on the real-time control of AMBs. The design and the real-time digital implementation of the high-order LQ controllers, which focus on fast execution times, are the subjects of this work. In particular, the control design and implementation in the field programmable gate array (FPGA) circuits are investigated. The optimal design is guided by the physical constraints of the system for selecting the optimal weighting matrices. The plant model is complemented by augmenting appropriate disturbance models. The compensation of the force-field nonlinearities is proposed for decreasing the uncertainty of the actuator. A disturbance-observer-based unbalance compensation for canceling the magnetic force vibrations or vibrations in the measured positions is presented. The theoretical studies are verified by the practical experiments utilizing a custom-built laboratory test rig. The test rig uses a prototyping control platform developed in the scope of this work. To sum up, the work makes a step in the direction of an embedded single-chip FPGA-based controller of AMBs.

Chromatographic analysis of lignans supplemented in foods

Fytoestrogeenit ovat kasvimateriaalista peräisin olevia yhdisteitä, joilla on ihmisen estrogeeni-hormonin kaltaista aktiivisuutta. Fytoestrogeenit voidaan jakaa kolmeen pääryhmään, joista yksi merkittävä ryhmä on lignaanit. Lignaaneilla on todettu olevan antioxidatiivisia, antiviraalisia ja antibakteriaalisia ominaisuuksia. Niillä on todettu olevan myös positiivisia vaikutuksia hormoniperäisten syöpien ehkäisyssä. Näiden ominaisuuksien vuoksi lignaaneja pyritään hyödyntämään esimerkiksi aktiivisina ainesosina funktionaalisissa elintarvikkeissa. Tässä työssä tutkittiin lignaanin, hydroksimatairesinolin (HMRlignanTM) kemiallisia ominaisuuksia ja soveltuvuutta eri ruoka-aineisiin. Työn tarkoituksena oli selvittää ruoka-aineisiin lisätyn hydroksimatairesinolin kemiallista pysyvyyttä erilaisissa säilytys- ja prosessointioloissa sekä tutkia lignaanin liukoisuutta erilaisiin liuottimiin. Hydroksimatairesinolin analysoimiseksi ruoka-aineista käytettiin korkean erotuskyvyn omaavaa nestekromatografista menetelmää. Menetelmä validoitiin ennen varsinaista analysointia ICH-ohjeiston mukaisesti. Validoinnissa tutkittiin kromatografiamenetelmän spesifisyys, lineaarisuus, tarkkuus, oikeellisuus sekä detektointi- ja määritysrajat tutkittavalle lignaanille. Käytetty menetelmä soveltui hyvin lignaanin analysoimiseen ruoka-aineista. Hydroksimatairesinolin vesiliukoisuuden todettiin olevan noin 1 mg/ml. Tutkimukset osoittivat hydroksimatairesinolin olevan stabiili alle 50ºC:en lämpötiloissa. Korkeammissa lämpötiloissa hydroksimatairesinoli oli stabiili jauhemuodossa lisättynä.

Spectral Analysis of Buffers in Communication Systems

Muokatun matriisi-geometrian tekniikan kehitys yleimmäksi jonoksi on esitelty tässä työssä. Jonotus systeemi koostuu useista jonoista joilla on rajatut kapasiteetit. Tässä työssä on myös tutkittu PH-tyypin jakautumista kun ne jaetaan. Rakenne joka vastaa lopullista Markovin ketjua jossa on itsenäisiä matriiseja joilla on QBD rakenne. Myös eräitä rajallisia olotiloja on käsitelty tässä työssä. Sen esitteleminen matriisi-geometrisessä muodossa, muokkaamalla matriisi-geometristä ratkaisua on tämän opinnäytetyön tulos.

Time-Varying Benefits of International Diversification for Finnish Investor: Country-Specific Strategy Concentrating on Emerging Markets

The main objective of this study is to investigate whether the Finnish investors’ country-specific strategy concentrating on emerging markets provides diversification benefits. We also analyze whether the benefits of international diversification has been diminished after periods of high volatility caused by different market crisis. The objective is investigated with three methods: Correlation coefficients, rolling correlations added with OLS trend-lines and Box’s M statistic. All the empirical tests are analyzed and calculated with logarithmic returns of weekly time series data from Friday closing values between January 1995 and December 2007. The number of weekly observations is 678. The data type is total return indices of different countries. Data is collected from DataStream and provided by Datastream Financial. Countries investigated are Finland, Argentina, Brazil, Chile, China, India, Mexico, Poland, Russia, South Africa, South Korea, Thailand and Turkey. The current data is quoted both in U.S. Dollars and local currencies. The empirical results of this thesis show that the correlation coefficients are time-varying across Finland and 12 emerging market countries. Although the correlations have risen from 1995 to 2007, there can be found sub-periods where the correlation has declined from earlier period. The results also indicate that a Finnish investor constructing a portfolio of emerging market countries cannot rely on the correlation coefficients estimated from historical data because of the instability of correlation matrices.

EDTA- and DTPA-functionalized silica gel and chitosan adsorbents for the removal of heavy metals from aqueous solutions

Adsorbents functionalized with chelating agents are effective in removal of heavy metals from aqueous solutions. Important properties of such adsorbents are high binding affinity as well as regenerability. In this study, aminopolycarboxylic acid, EDTA and DTPA, were immobilized on the surface of silica gel, chitosan, and their hybrid materials to achieve chelating adsorbents for heavy metals such as Co(II), Ni(II), Cd(II), and Pb(II). New knowledge about the adsorption properties of EDTA- and DTPA-functionalizedadsorbents was obtained. Experimental work showed the effectiveness, regenerability, and stability of the studied adsorbents. Both advantages and disadvantages of the adsorbents were evaluated. For example, the EDTA-functionalized chitosan-silica hybrid materials combined the benefits of the silica gel and chitosan while at the same time diminishing their observed drawbacks. Modeling of adsorption kinetics and isotherms is an important step in design process. Therefore, several kinetic and isotherm models were introduced and applied in this work. Important aspects such as effect of error function, data range, initial guess values, and linearization were discussed and investigated. The selection of the most suitable model was conducted by comparing the experimental and simulated data as well as evaluating the correspondence between the theory behind the model and properties of the adsorbent. In addition, modeling of two-component data was conducted using various extended isotherms. Modeling results for both one- and twocomponent systems supported each other. Finally, application testing of EDTA- and DTPA-functionalized adsorbents was conducted. The most important result was the applicability of DTPA-functionalized silica gel and chitosan in the capturing of Co(II) from its aqueous EDTA-chelate. Moreover, these adsorbents were efficient in various solution matrices. In addition, separation of Ni(II) from Co(II) and Ni(II) and Pb(II) from Co(II) and Cd(II) was observed in two- and multimetal systems. Lastly, prior to their analysis, EDTA- and DTPA-functionalized silica gels were successfully used to preconcentrate metal ions from both pure and salty waters

Lipase and omega-transaminase catalysis in preparation of alcohol and amine enantiomers

Enantiopure intermediates are of high value in drug synthesis. Biocatalysis alone or combined with chemical synthesis provides powerful tools to access enantiopure compounds. In biocatalysis, chemo-, regio- and enantioselectivity of enzymes are combined with their inherent environmentally benign nature. Enzymes can be applied in versatile chemical reactions with non-natural substrates under synthesis conditions. Immobilization of an enzyme is a crucial part of an efficient biocatalytic synthesis method. Successful immobilization enhances the catalytic performance of an enzyme and enables its reuse in successive reactions. This thesis demonstrates the feasibility of biocatalysis in the preparation of enantiopure secondary alcohols and primary amines. Viability and synthetic usability of the studied biocatalytic methods have been addressed throughout this thesis. Candida antarctica lipase B (CAL-B) catalyzed enantioselective O-acylation of racemic secondary alcohols was successfully incorporated with in situ racemization in the dynamic kinetic resolution, affording the (R)-esters in high yields and enantiopurities. Side reactions causing decrease in yield and enantiopurity were suppressed. CAL-B was also utilized in the solvent-free kinetic resolution of racemic primary amines. This method produced the enantiomers as (R)-amides and (S)-amines under ambient conditions. An in-house sol-gel entrapment increased the reusability of CAL-B. Arthrobacter sp. omega-transaminase was entrapped in sol-gel matrices to obtain a reusable catalyst for the preparation enantiopure primary amines in an aqueous medium. The obtained heterogeneous omega-transaminase catalyst enabled the enantiomeric enrichment of the racemic amines to their (S)-enantiomers. The synthetic usability of the sol-gel catalyst was demonstrated in five successive preparative kinetic resolutions.

Stability of Natural Colorants of Plant Origin

In recent years, there have been studies that show a correlation between the hyperactivity of children and use of artificial food additives, including colorants. This has, in part, led to preference of natural products over products with artificial additives. Consumers have also become more aware of health issues. Natural food colorants have many bioactive functions, mainly vitamin A activity of carotenoids and antioxidativity, and therefore they could be more easily accepted by the consumers. However, natural colorant compounds are usually unstable, which restricts their usage. Microencapsulation could be one way to enhance the stability of natural colorant compounds and thus enable better usage for them as food colorants. Microencapsulation is a term used for processes in which the active material is totally enveloped in a coating or capsule, and thus it is separated and protected from the surrounding environment. In addition to protection by the capsule, microencapsulation can also be used to modify solubility and other properties of the encapsulated material, for example, to incorporate fat-soluble compounds into aqueous matrices. The aim of this thesis work was to study the stability of two natural pigments, lutein (carotenoid) and betanin (betalain), and to determine possible ways to enhance their stability with different microencapsulation techniques. Another aim was the extraction of pigments without the use of organic solvents and the development of previously used extraction methods. Stability of pigments in microencapsulated pigment preparations and model foods containing these were studied by measuring the pigment content after storage in different conditions. Preliminary studies on the bioavailability of microencapsulated pigments and sensory evaluation for consumer acceptance of model foods containing microencapsulated pigments were also carried out. Enzyme-assisted oil extraction was used to extract lutein from marigold (Tagetes erecta) flower without organic solvents, and the yield was comparable to solvent extraction of lutein from the same flowers. The effects of temperature, extraction time, and beet:water ratio on extraction efficiency of betanin from red beet (Beta vulgaris) were studied and the optimal conditions for maximum yield and maximum betanin concentration were determined. In both cases, extraction at 40 °C was better than extraction at 80 °C and the extraction for five minutes was as efficient as 15 or 30 minutes. For maximum betanin yield, the beet:water ratio of 1:2 was better, with possibly repeated extraction, but for maximum betanin concentration, a ratio of 1:1 was better. Lutein was incorporated into oil-in-water (o/w) emulsions with a polar oil fraction from oat (Avena sativa) as an emulsifier and mixtures of guar gum and xanthan gum or locust bean gum and xanthan gum as stabilizers to retard creaming. The stability of lutein in these emulsions was quite good, with 77 to 91 percent of lutein being left after storage in the dark at 20 to 22°C for 10 weeks whereas in spray dried emulsions the retention of lutein was 67 to 75 percent. The retention of lutein in oil was also good at 85 percent. Betanin was incorporated into the inner w1 water phase of a water1-in-oil-inwater2 (w1/o/w2) double emulsion with primary w1/o emulsion droplet size of 0.34 μm and secondary w1/o/w2 emulsion droplet size of 5.5 μm and encapsulation efficiency of betanin of 89 percent. In vitro intestinal lipid digestion was performed on the double emulsion, and during the first two hours, coalescence of the inner water phase droplets was observed, and the sizes of the double emulsion droplets increased quickly because of aggregation. This period also corresponded to gradual release of betanin, with a final release of 35 percent. The double emulsion structure was retained throughout the three-hour experiment. Betanin was also spray dried and incorporated into model juices with different pH and dry matter content. Model juices were stored in the dark at -20, 4, 20–24 or 60 °C (accelerated test) for several months. Betanin degraded quite rapidly in all of the samples and higher temperature and a lower pH accelerated degradation. Stability of betanin was much better in the spray dried powder, with practically no degradation during six months of storage in the dark at 20 to 24 °C and good stability also for six months in the dark at 60 °C with 60 percent retention. Consumer acceptance of model juices colored with spray dried betanin was compared with similar model juices colored with anthocyanins or beet extract. Consumers preferred beet extract and anthocyanin colored model juices over juices colored with spray dried betanin. However, spray dried betanin did not impart any off-odors or off-flavors into the model juices contrary to the beet extract. In conclusion, this thesis describes novel solvent-free extraction and encapsulation processes for lutein and betanin from plant sources. Lutein showed good stability in oil and in o/w emulsions, but slightly inferior in spray dried emulsions. In vitro intestinal lipid digestion showed a good stability of w1/o/w2 double emulsion and quite high retention of betanin during digestion. Consumer acceptance of model juices colored with spray dried betanin was not as good as model juices colored with anthocyanins, but addition of betanin to real berry juice could produce better results with mixture of added betanin and natural berry anthocyanins could produce a more acceptable color. Overall, further studies are needed to obtain natural colorants with good stability for the use in food products.

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.

Phylogenetic Analysis of Avidins and Expression of Novel Avidins from Lactrodectus hesperus and Hoeflea phototrophica

Avidins (Avds) are homotetrameric or homodimeric glycoproteins with typically less than 130 amino acid residues per monomer. They form a highly stable, non-covalent complex with biotin (vitamin H) with Kd = 10-15 M (for chicken Avd). The best-studied Avds are the chicken Avd from Gallus gallus and streptavidin from Streptomyces avidinii, although other Avd studies have also included Avds from various origins, e.g., from frogs, fishes, mushrooms and from many different bacteria. Several engineered Avds have been reported as well, e.g., dual-chain Avds (dcAvds) and single-chain Avds (scAvds), circular permutants with up to four simultaneously modifiable ligand-binding sites. These engineered Avds along with the many native Avds have potential to be used in various nanobiotechnological applications. In this study, we made a structure-based alignment representing all currently available sequences of Avds and studied the evolutionary relationship of Avds using phylogenetic analysis. First, we created an initial multiple sequence alignment of Avds using 42 closely related sequences, guided by the known Avd crystal structures. Next, we searched for non-redundant Avd sequences from various online databases, including National Centre for Biotechnology Information and the Universal Protein Resource; the identified sequences were added to the initial alignment to expand it to a final alignment of 242 Avd sequences. The MEGA software package was used to create distance matrices and a phylogenetic tree. Bootstrap reproducibility of the tree was poor at multiple nodes and may reflect on several possible issues with the data: the sequence length compared is relatively short and, whereas some positions are highly conserved and functional, others can vary without impinging on the structure or the function, so there are few informative sites; it may be that periods of rapid duplication have led to paralogs and that the differences among them are within the error limit of the data; and there may be other yet unknown reasons. Principle component analysis applied to alternative distance data did segregate the major groups, and success is likely due to the multivariate consideration of all the information. Furthermore, based on our extensive alignment and phylogenetic analysis, we expressed two novel Avds, lacavidin from Lactrodectus Hesperus, a western black widow spider, and hoefavidin from Hoeflea phototrophica, an aerobic marine bacterium, the ultimate aim being to determine their X-ray structures. These Avds were selected because of their unique sequences: lacavidin has an N-terminal Avd-like domain but a long C-terminal overhang, whereas hoefavidin was thought to be a dimeric Avd. Both these Avds could be used as novel scaffolds in biotechnological applications.

Real-time simulation of multibody systems with applications for working mobile vehicles

This dissertation describes an approach for developing a real-time simulation for working mobile vehicles based on multibody modeling. The use of multibody modeling allows comprehensive description of the constrained motion of the mechanical systems involved and permits real-time solving of the equations of motion. By carefully selecting the multibody formulation method to be used, it is possible to increase the accuracy of the multibody model while at the same time solving equations of motion in real-time. In this study, a multibody procedure based on semi-recursive and augmented Lagrangian methods for real-time dynamic simulation application is studied in detail. In the semirecursive approach, a velocity transformation matrix is introduced to describe the dependent coordinates into relative (joint) coordinates, which reduces the size of the generalized coordinates. The augmented Lagrangian method is based on usage of global coordinates and, in that method, constraints are accounted using an iterative process. A multibody system can be modelled as either rigid or flexible bodies. When using flexible bodies, the system can be described using a floating frame of reference formulation. In this method, the deformation mode needed can be obtained from the finite element model. As the finite element model typically involves large number of degrees of freedom, reduced number of deformation modes can be obtained by employing model order reduction method such as Guyan reduction, Craig-Bampton method and Krylov subspace as shown in this study The constrained motion of the working mobile vehicles is actuated by the force from the hydraulic actuator. In this study, the hydraulic system is modeled using lumped fluid theory, in which the hydraulic circuit is divided into volumes. In this approach, the pressure wave propagation in the hoses and pipes is neglected. The contact modeling is divided into two stages: contact detection and contact response. Contact detection determines when and where the contact occurs, and contact response provides the force acting at the collision point. The friction between tire and ground is modelled using the LuGre friction model, which describes the frictional force between two surfaces. Typically, the equations of motion are solved in the full matrices format, where the sparsity of the matrices is not considered. Increasing the number of bodies and constraint equations leads to the system matrices becoming large and sparse in structure. To increase the computational efficiency, a technique for solution of sparse matrices is proposed in this dissertation and its implementation demonstrated. To assess the computing efficiency, augmented Lagrangian and semi-recursive methods are implemented employing a sparse matrix technique. From the numerical example, the results show that the proposed approach is applicable and produced appropriate results within the real-time period.