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.

Many valued algebraic structures as measures of comparison

This thesis studies the properties and usability of operators called t-norms, t-conorms, uninorms, as well as many valued implications and equivalences. Into these operators, weights and a generalized mean are embedded for aggregation, and they are used for comparison tasks and for this reason they are referred to as comparison measures. The thesis illustrates how these operators can be weighted with a differential evolution and aggregated with a generalized mean, and the kinds of measures of comparison that can be achieved from this procedure. New operators suitable for comparison measures are suggested. These operators are combination measures based on the use of t-norms and t-conorms, the generalized 3_-uninorm and pseudo equivalence measures based on S-type implications. The empirical part of this thesis demonstrates how these new comparison measures work in the field of classification, for example, in the classification of medical data. The second application area is from the field of sports medicine and it represents an expert system for defining an athlete's aerobic and anaerobic thresholds. The core of this thesis offers definitions for comparison measures and illustrates that there is no actual difference in the results achieved in comparison tasks, by the use of comparison measures based on distance, versus comparison measures based on many valued logical structures. The approach has been highly practical in this thesis and all usage of the measures has been validated mainly by practical testing. In general, many different types of operators suitable for comparison tasks have been presented in fuzzy logic literature and there has been little or no experimental work with these operators.

Feasibility of replacing multiple ADSL connections with Multi-Dwelling Access

This final project was made for the Broadband/Implementation department of TeliaSonera Finland. The question to be examined is if the operator should replace multiple ADSL connections implemented over a leased line with Multi-Dwelling access based on an Ethernet/Optical Fibre access network. The project starts with describing the technology related to these access network solu-tions and presents the technology that is used in TeliaSonera Finland's access network. It continues from the technology to describe the problem with some of the ADSL implemen-tations of TeliaSonera. The problem is the implementations done over a leased line that can cost TeliaSonera over years as much as a possible investment to extend network when there is several lines leased to the same building. The project proposes a Multi-Dwelling access as a solution to this problem and defines the circumstances when to use it. After a satisfactory solution has found the project takes a view how implementation of the solution might alter the network and a new problem is found. When used commonly to replace need of ADSL implementation Multi-Dwelling access would significantly increase optical cable congestion near operators POP. As a final deed this project also proposes a technical change to existing way to implement multi-dwelling access with EPON technology.

Measurement of Bioactivity of Immunomodulatory Treatment of Relapsing Multiple Sclerosis. With Emphasis on MxA Protein

Background Multiple sclerosis (MS) is a demyelinating disease of the central nervous system, which mainly affects young adults. In Finland, approximately 2500 out of 6000 MS patients have relapsing MS and are treated with disease modifying drugs (DMD): interferon- β (INF-β-1a or INF-β-1b) and glatiramer acetate (GA). Depending on the used IFN-β preparation, 2 % to 40 % of patients develop neutralizing antibodies (NAbs), which abolish the biological effects of IFN-β, leading to reduced clinical and MRI detected efficacy. According to the Finnish Current Care Guidelines and European Federation of Neurological Societis (EFNS) guidelines, it is suggested tomeasure the presence of NAbs during the first 24 months of IFN-β therapy. Aims The aim of this thesis was to measure the bioactivity of IFN-β therapy by focusing on the induction of MxA protein (myxovirus resistance protein A) and its correlation to neutralizing antibodies (NAb). A new MxA EIA assay was set up to offer an easier and rapid method for MxA protein detection in clinical practice. In addition, the tolerability and safety of GA were evaluated in patients who haddiscontinued IFN-β therapy due to side effects and lack of efficacy. Results NAbs developed towards the end of 12 months of treatment, and binding antibodies were detectable before or parallel with them. The titer of NAb correlated negatively with the amount of MxA protein and the mean values of preinjection MxA levels never returned to true baseline in NAb negative patients, but tended to drop in the NAb positive group. The test results between MxA EIA and flow cytometric analysis showed significant correlation. GA reduced the relapse rate and was a safe and well-tolerated therapy in IFN-β-intolerant MS patients. Conclusions NAbs inhibit the induction of MxA protein, which can be used as a surrogate marker of the bioactivity of IFN-β therapy. Compared to flow cytometricanalysis and NAb assay, MxA-EIA seemed to be a sensitive and more practical method in clinical use to measure the actual bioactivity of IFN-β treatment, which is of value also from a cost-effective perspective.

Revenue Logic inSoftware Business Context

Tutkimuksen tavoitteena oli selvittää ohjelmistotoimialan avaintekijöitä, jotka vaikuttavat yrityksen ansaintalogiikkaan sekä lisätä tietoisuutta ansaintalogiikan muodostumisesta pienissä ja keskisuurissa ohjelmistoyrityksissä. Tutkimuksen teoreettisessa osassa keskityttiin tarkastelemaan ansaintalogiikan, strategian ja liiketoimintamallin käsitteiden suhteita sekä arvioitiin toimialan osatekijöiden, hinnoitteluperiaatteiden ja ansaintamallien vaikutusta ansainnan muodostumiseen ohjelmistotoimialalla. Ohjelmistotuote ja - palveluliiketoimintaa koskien oli merkityksellistä tutkia tuotteistamisasteen ja arvoketjujen vaikutusta ansaintalogiikan muodostumisessa sekä esitellä erilaisia, tyypillisiä ohjelmistotoimialalla käytettäviä hinnoittelumenetelmiä. Työn empiirisessä osassa tarkasteltiin 23 suomalaisen ohjelmistoalan yrityksen ansaintalogiikkaa. Tiedot kerättiin haastatteluin ja analysoitiin laadullisen tutkimuksen keinoin. Tutkimustulokset korostivat ansaintalogiikan 'epämääräisyyttä' terminä mutta osoittivat, että ydinliiketoimintaan keskittyminen, tuote-, palvelu-, tai projektiliiketoiminnan osaaminen, tuotteistusaste ja kanavavalinnat ovat avaintekijöitä ansaintalogiikanmuodostumisessa. Ansaintalogiikan muodostamiseen liittyy paljon yrityksen sisäisiä ja ulkoisia haasteita sekä muutospaineita, eikä ohjelmistotoimialalla ole todennettavissa yhtä yleismaailmallista, menestyksen takaavaa ansaintalogiikkaa.

Polttoaineen reaktiivisuuden määrittäminen kiertoleijupoltossa

Kehitettäessä leijupolttotekniikkaa entistä ympäristöystävällisemmäksi ja tehokkaammaksi tarvitaan lisää tietoa polttoaineen käyttäytymisestä tulipesässä. Polttoaineen palamisprofiili ja reaktiivisuus vaikuttavat oleellisesti esimerkiksi voimalaitoskattilan lämmönsiirtopintojen sijoitteluun ja suunnitteluun sekä ohjausjärjestelmän toteutukseen. Varsinkin monipolttoainekattiloilla ohjausjärjestelmän toimivuus joutuu koetukselle esimerkiksi kuormanmuutostilanteissa ja äkillisissä polttoaineen syöttöhäiriöissä. Tässä työssä on aluksi tutustuttu kiertoleijupolton ilmiöihin ja niiden matemaattiseen mallintamiseen. Lisäksi esitetään katsaus eri prosessiolosuhteiden vaikutuksesta palamiseen kiertoleijuolosuhteissa. Työn tutkimusosassa kehitettiin menetelmä polttoaineen reaktiivisuuden määrittämiseksi kiertoleijupoltossa. Kehitetty menetelmä koostuu koesarjasta ja matemaattisesta simulointimallista. Koetoiminta suoritettiin VTT Energian laboratoriokokoluokan kiertoleijukoelaitteella. Koesarja polttoaineen reaktiivisuuden määrittämiseksi sisältää eri kaasukomponenttien profiilimittauksia ja dynaamisia muutoskokeita. Menetelmän avulla voidaan tutkia eri polttoaineiden reaktiivisuuksia sekä polttoaineen reaktiivisuuden ja tietyn prosessiolosuhteen välistä riippuvuutta. Suorittamalla koeajomatriisin mukaiset kokeet tietyissä prosessiolosuhteissa voidaan polttoaineen reaktiivisuus selvittää koetulosten ja simulointimallin perusteella.

Quality in services marketing in infocom sector in Finland

Tutkielman tavoitteena oli selvittää, mikä on palvelun laadun taso infocom sektorilla Suomessa, ja miten sitä voidaan parantaa. Teoriaosassa tavoitteeseen pyrittiin muodostamalla teoriakirjallisuuteen, tieteellisiin julkaisuihin sekä aikaisempaan aihealuetta sivuavaan tutkimukseen perustuva viitekehysmalli. Empiirisessä osassa tavoitetta lähestyttiin tutkimalla infocom sektorin kunkin toimialueen (telekommunikaatio, informaatio teknologia ja sisältötuotanto) palvelujen laatua case-kuvausten muodossa. Tutkielman empiirinen osuus toteutettiin kvalitatiivisena multiple case -tutkimuksena teemahaastattelu-menetelmää soveltaen. Case-analyysi suorittiin käyttäen ns. explanation- building -menetelmää. Teoreettiset ja empiiriset tutkimustulokset yhdistettiin erityisiksi infocom sektorille soveltuviksi toimenpidesuosituksiksi. Tutkielman empiirinen osuus antoi tukea teoreettisen osuuden pohjalta kehitetylle viitekehykselle. Tutkimuksen tavoitteena oli case-analyysi- menetelmän mukaisesti luoda perusta syvemmälle aihepiiriä käsittelevälle jatkotutkimukselle ja luoda kuva infocom sektorin tämän hetkisestä laadullisesta tilasta. Yhteenvetona voidaan sanoa, että laatu palvelujen markkinoinnissa infocom sektorilla on suhteellisen heikkoa, vaikka tutkimusaineiston mukaan laatu arvostetaan hyvin korkealle. Yritysten tämänhetkiset panostukset laatuun liittyvät lähinnä liiketoiminnan tukifunktioihin ja prosessien ohjausmenetelmiä koskeviin järjestelmiin. Tutkimuksen pohjalta tehtävät varsinaiset toimenpidesuositukset liittyvät laadun sisäistämiseen jo strategiaa luotaessa, asiakaslähtöisyyteen, laatujohtamiseen, laatukoulutukseen ja kokonaisvaltaisen laatukulttuurin luomiseen organisaatioissa. Turbulentissa, nopeasti kansainvälistyvässä ja erittäin voimakkaasti kilpaillussa liiketoimintaympäristössä nämä ovat elintärkeitä menestymisen kriteerejä.

Ecological and Epidemiological Analyses of Multiple Sclerosis Relapse Rate

The underlying cause of many human autoimmune diseases is unknown, but several environmental factors are implicated in triggering the self-destructive immune reactions. Multiple Sclerosis (MS) is a chronic autoimmune disease of the central nervous system, potentially leading to persistent neurological deterioration. The cause of MS is not known, and apart from immunomodulatory treatments there is no cure. In the early phase of the disease, relapsing-remitting MS (RR-MS) is characterized by unpredictable exacerbations of the neurological symptoms called relapses, which can occur at different intervals ranging from 4 weeks to several years. Microbial infections are known to be able to trigger MS relapses, and the patients are instructed to avoid all factors that might increase the risk of infections and to properly use antibiotics as well as to take care of dental hygiene. Among those environmental factors which are known to increase susceptibility to infections, high ambient air inhalable particulate matter levels affect all people within a geographical region. During the period of interest in this thesis, the occurrence of MS relapses could be effectively reduced by injections of interferon, which has immunomodulatory and antiviral properties. In this thesis, ecological and epidemiological analyses were used to study the possible connection between MS relapse occurrence, population level viral infections and air quality factors, as well as the effects of interferon medication. Hospital archive data were collected retrospectively from 1986-2001, a period in time ranging from when interferon medication first became available until just before other disease-modifying MS therapies arrived on the market. The grouped data were studied with logistic regression and intervention analysis, and individual patient data with survival analysis. Interferons proved to be effective in the treatment of MS in this observational study, as the amount of MS exacerbations was lower during interferon use as compared to the time before interferon treatment. A statistically significant temporal relationship between MS relapses and inhalable particular matter (PM₁₀) concentrations was found in this study, which implies that MS patients are affected by the exposure to PM₁₀. Interferon probably protected against the effect of PM₁₀, because a significant increase in the risk of exacerbations was only observed in MS patients without interferon medication following environmental exposure to population level specific viral infections and PM₁₀. Apart from being antiviral, interferon could thus also attenuate the enhancement of immune reactions caused by ambient air PM₁₀. The retrospective approach utilizing carefully constructed hospital records proved to be an economical and reliable source of MS disease information for statistical analyses.

Resources and capabilities approach to online strategy – Multiple-case study of Finnish magazines' online services

Most Finnish periodical magazines have a website, often an online service. The objective of this thesis is to understand the magazines’ resources and capabilities and match them with online strategies’ goals and objectives. The thesis’ theoretical part focuses on explaining and classifying resources, capabilities, goals and objectives, and applying everything into Finnish magazine publishing context. In the empirical part, there is a comparative case study of four magazines. The findings indicate that with cooperating, advertising and community hosting capabilities magazines may utilize their human, brand, content and customer base resources. The resources can be further addressed to reach profitability, customer-centricity and brand congruency goals.

Lärande som text : en dramapedagogiskt förankrad läsning av det kroppsliga, rumsliga och retoriska i kunskapsbildande processer

My presupposition, that learning at some level deals with life praxis, is expressed in four metaphors: space, time, fable and figure. Relations between learning,knowledge building and meaning making are linked to the concept of personal knowledge. I present a two part study of learning as text in a drama pedagogical rooted reading where learning is framed as the ongoing event, and knowledge, as the product of previous processes, is framed as culturally formed utterances. A frame analysis model is constructed as a topological guide for relations between the two concepts learning and knowledge. It visualises an aesthetic understanding, rooted in drama pedagogical comprehension. Insight and perception are linked in an inner relationship that is neither external nor identical. This understanding expresses the movement "in between" connecting asymmetrical and nonlinear features of human endeavour and societal issues. The performability of bodily and oral participation in the learning event in a socio-cultural setting is analysed as a dialogised text. In an ethnographical case study I have gathered material with an interest for the particular. The empirical material is based on three problem based learning situations in a Polytechnic setting. The act of transformation in the polyphony of the event is considered as a turning point in the narrative employment. Negotiation and figuration in the situation form patterns of the space for improvisation (flow) and tensions at the boundaries (thresholds) which imply the logical structure of transformation. Learning as a dialogised text of "yes" and "no", of structure and play for the improvised, interrelate in that movement. It is related to both the syntagmic and the paradigmatic forms of thinking. In the philosophical study, forms of understanding are linked to the logical structure of transformation as a cultural issue. The classical rhetorical concepts of Logos, Pathos, Ethos and Mythos are connected to the multidimensional rationality of the human being. In the Aristotelian form of knowledge, phronesis,a logic structure of inquiry is recognised. The shifting of perspectives between approaches, the construction of knowledge as context and the human project of meaning making as a subtext, illuminates multiple layers of the learning text. In an argumentation that post-modern apprehension of knowledge, emphasising contextual and situational values, has an empowering impact on learning, I find pedagogical benefits. The dialogical perspective has opened lenses that manage to hold in aesthetic doubling the individual action of inquiry and the stage with its cultural tools in a three dimensional reading.

Contextualizing entrepreneurial intentions : a multiple case study on entrepreneurial cognition and perception

Avhandlingen behandlar entreprenöriella intentioner och individens uppfattningar om entreprenörskap. Om vi vill främja entreprenörskap så räcker det inte att vi förstår vilken nytta samhället kan ha av entreprenörer (arbetsplatser, mera skatteinkomster osv.). Vi måste förstå varför entreprenörskap är intressant och attraktiv ur individens synvinkel. Just den frågan har varit central inom kognitiv entreprenörskapsforskning de senaste 10 åren har vår förståelse för entreprenörer ökat betydligt tack vare den forskningen. Problemet med existerande forskning är att uppfattad genomförbarhet och uppfattad attraktivitet, dvs. de attityder som sägs leda till entreprenöriella intentioner, beskriver enbart vilken attityd individen generellt har till entreprenörskap. Enligt tidigare forskningsresultat så är det skillnad på generella attityder till en handling och attityder till att genomföra just den handlingen. Vill vi veta om individen kan tänka sig starta och driva ett företag så måste vi alltså studera individens attityd till att utföra just den specifika handlingen. Enligt avhandlingens forskningsresultat så kan vi lära oss mera om attityder till entreprenörskap genom att studera också motivation och mål. På så sätt kan vi förstå varför en del väljer att bli entreprenörer medan andra väljer att låta bli, även om de utåt sett har samma möjligheter att bli entreprenörer.