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.

Similarity measure based classification

Luokittelujärjestelmää suunniteltaessa tarkoituksena on rakentaa systeemi, joka pystyy ratkaisemaan mahdollisimman tarkasti tutkittavan ongelma-alueen. Hahmontunnistuksessa tunnistusjärjestelmän ydin on luokitin. Luokittelun sovellusaluekenttä on varsin laaja. Luokitinta tarvitaan mm. hahmontunnistusjärjestelmissä, joista kuvankäsittely toimii hyvänä esimerkkinä. Myös lääketieteen parissa tarkkaa luokittelua tarvitaan paljon. Esimerkiksi potilaan oireiden diagnosointiin tarvitaan luokitin, joka pystyy mittaustuloksista päättelemään mahdollisimman tarkasti, onko potilaalla kyseinen oire vai ei. Väitöskirjassa on tehty similaarisuusmittoihin perustuva luokitin ja sen toimintaa on tarkasteltu mm. lääketieteen paristatulevilla data-aineistoilla, joissa luokittelutehtävänä on tunnistaa potilaan oireen laatu. Väitöskirjassa esitetyn luokittimen etuna on sen yksinkertainen rakenne, josta johtuen se on helppo tehdä sekä ymmärtää. Toinen etu on luokittimentarkkuus. Luokitin saadaan luokittelemaan useita eri ongelmia hyvin tarkasti. Tämä on tärkeää varsinkin lääketieteen parissa, missä jo pieni tarkkuuden parannus luokittelutuloksessa on erittäin tärkeää. Väitöskirjassa ontutkittu useita eri mittoja, joilla voidaan mitata samankaltaisuutta. Mitoille löytyy myös useita parametreja, joille voidaan etsiä juuri kyseiseen luokitteluongelmaan sopivat arvot. Tämä parametrien optimointi ongelma-alueeseen sopivaksi voidaan suorittaa mm. evoluutionääri- algoritmeja käyttäen. Kyseisessä työssä tähän on käytetty geneettistä algoritmia ja differentiaali-evoluutioalgoritmia. Luokittimen etuna on sen joustavuus. Ongelma-alueelle on helppo vaihtaa similaarisuusmitta, jos kyseinen mitta ei ole sopiva tutkittavaan ongelma-alueeseen. Myös eri mittojen parametrien optimointi voi parantaa tuloksia huomattavasti. Kun käytetään eri esikäsittelymenetelmiä ennen luokittelua, tuloksia pystytään parantamaan.

Discursus politicus de prudentia 18. Decembris 1641

Aboae 1642, Petrus Wald

Microbial quality of linseed and fibre hemp plants during growing and harvest seasons

Selostus: Pellavan ja kuituhampun mikrobiologinen laatu kasvukauden aikana

Reporting for account and sales management

Tutkimuksen tavoitteena oli kerätä Elcoteq Network Oyj:n myyntihenkilöiden tietotarpeet ja konkretisoida ne raportoinnin kautta. Tutkimus keskittyi asiakasvirran eri vaiheissa tarvittavaan asiakas- ja projektikohtaiseen tietoon. Tarkoituksena oli parantaa raportointia vastaamaan asiakkaan ja sales case:n hallintaa alkaen asiakasvirran uusasiakasvaiheesta ja projektin arvioinnista. Tietotarpeet kerättiin haastattelujen avulla ja osallistumalla aiheeseen liittyviin projekteihin. Haastattelujen ja teorian avulla projektiliiketoiminnan avainpiirteet ja asiakaskannattavuuteen vaikuttavat tekijät kerättiin yhteen ja muutettiin konkretiaksi raportoinnin parannusehdotuksien kautta. Tutkimus osoitti, että myyntihenkilöiden näkökulmasta olisi muodostettava uudet raportit tukemaan asiakkaan ja projektin hallintaa. Ennustettu voidaan verrata toteutuneeseen ja sekä asikkuuden, että sales case:n seuranta paranee uusien raporttien avulla. Budjetit, sekä asiakaskohtaiset tavoitteet voidaan laatia luotettavimmin ja kokonaiskuva asiakkuuden ja projektin kannattavuudesta pystytään näkemään ko. raporteista sekä graafein, että numeerisena tietona.

Baltian maihin ja Puolaan suuntautuvan merirahtiliikenteen tulevaisuusskenaarioita

Työssä käsitellään Itämeren rahtiliikennettä ja sen kehitykseen vaikuttavia tekijöitä. Työn ajankohtaisuutta on lisännyt Euroopan unionin laajentuminen toukokuussa 2004, jolloin Viro, Latvia, Liettua ja Puola liittyivät kaikki EU:hun. Työn teoriaosuus painottuu tulevaisuudentutkimukseen ja erityisesti skenaariotutkimukseen. Työssä on esitetty kahdenlaisia skenaarioita. Toisissa käsitellä Suomesta ja Ruotsista Baltian maihin suuntautuvaa rahtiliikennettä. Skenaariot on ulottuvat aina vuoteen 2011 asti. Toiset skenaariot puolestaan käsittelevät Suomen ja Puolan välisen rahtiliikenteen tulevaisuutta. Baltian skenaarioissa korostuu Venäjän suuri rooli. Venäjälle suuntautuva transitoliikenne on kaikille Baltian maille hyvin tärkeää. Sen määrän kehitys kuitenkin riippuu hyvin paljon Venäjän omien satamien sekä Venäjän talouden kehityksestä. Venäjän taloudellinen kehitys säätelee myös hyvin paljon ympäristön kehitystä. Baltian liikenteen kehittymistä säätelee myös vahvasti koko Itä-Euroopan sekä Valko-Venäjän ja Ukrainan liikenteen kehitys. Euroopan unionin jäsenyys tuo omat lisänsä kehityksen suunnille erilaisten tukien ja kehitysprojektien mukana. Puolan skenaarioissa korostuu Puolan maantieteellisen sijainnin merkitys keskellä Eurooppaa. Paineet Saksan ruuhkaongelmien purkamisen ja itäisen Euroopan nopean talouskasvun myötä keskittyvät Puolan liikenteeseen. Puolan maaliikenneinfrastruktuuri vaatii suuria kehitysprojekteja, joita rahoittamaan tarvitaan etenkin Euroopan Unionia. Puolan valtion suuri asukaspotentiaali tekee siitä myös erityisen kiinnostavan sijoituskohteen ulkomaisille investoijille. Myös tämä osaltaan lisää Puolan liikennettä. Sekä Puolassa, että Baltiassa eletään vahvan kasvun aikaa. Tämä tekee molemmista mielenkiintoisen vaihtoehdon liikennöintikohteeksi.

Ohjelmoinnin verkko-opetusalustan analysointi ja kehitys

Tässä työssä lähestyttiin ohjelmoinnin opetukseen tarkoitetun verkko-opetusalustan kehitystä niin opetusopin kuin myös tekniikan näkökulmasta. Mitä oppiminen on, mitä se vaatii, mitä verkko-opetusalustat ovat ja miten Viope Solutions Oy voisi kehittää tuotettaan siten, että se vastaisi entistä paremmin asiakkaiden tarpeisiin? Työn alussa käytiin läpi tärkeimmät opetusteoreettiset käsitteet behaviorismi ja kognitivismi sekä niiden uudet muodot. Tämän jälkeen näitä elementtejä yhdistettiin verkko-oppimisympäristön käsitteeseen, jota edelleen laajennettiin verkkosovelluksen käsitteellä. Asiakastarpeita määritettiin verkko-opetuksen kanssa toimineiden oppilaitosten edustajien kanssa. Työn ohella suoritettiin myös katsaus muutamaan Viope Solutions Oy:n tuotteen kanssa kilpailevaan verkko-opetusalustaan. Työn lopputuloksena aikaiseksi saatiin tuotekehityssuunnitelma, joka pohjautuu tehtyihin tuotekatsauksiin, asiakkaiden tarpeisiin sekä käyttäjäpalautteisiin. Tuotekehityssuunnitelma tiivistyy kappaleessa 7.5 esitettävään tuotekehityskarttaan.

Organisational Buying Decision Process for Biodegradable Implants

Työn tavoitteena oli selvittää organisaation ostopäätösprosessi, kun tuotteina ovat biohajoavat kasvo- ja kallokirurgian implantit. Ensin selvitettiin biohajoavien implanttien markkinapotentiaalia, biohajoavien materiaalien lisäksi implanttien valmistuksessa käytettäviä muita materiaaleja sekä implanteilta vaadittavia ominaisuuksia kirjallisuuden ja internetin sekä asiantuntijahaastatteluiden avulla. Kirjallisuuden avulla selvitettiin myös organisaatioiden ostopäätösprosessien yleisiä piirteitä ja vaiheita. Biohajoavien kasvo- ja kallokirurgian implanttien ostopäätösprosessia tutkittiin kirjallisen kyselytutkimuksen avulla, joka oli suunnattu alan asiantuntijoille Euroopassa, Yhdysvalloissa sekä Kanadassa. Tutkimuksessa selvitettiin mm. tärkeimpiä käytettävien implanttien materiaalivalintaan vaikuttavia kriteereitä, ostopäätösprosessiin osallistuvia organisaation jäseniä, sekä heidän roolejaan päätöksenteossa, implantteja koskevan informaation etsintää sekä ostopäätösprosessin vaiheita. Kirjallisuudesta, internetistä, asiantuntijahaastatteluista ja kyselytutkimuksesta saatu tieto koottiin vuokaaviomalliksi, joka kuvaa kasvo- ja kallokirurgian implanttien ostopäätösprosessia organisaatioissa. Lopuksi esitettiin myös ehdotuksia markkinointisuunnitelmaan sekä jatkotutkimusehdotukset.

Yrityksen asema Suomen rakennuskonevuokrausmarkkinoilla

Rakennuskoneiden osuus rakentamisen kokonaiskustannuksista on 3 – 6 % rakennushankkeen tyypistä riippuen. Perinteisesti vuokrakoneita valittaessa hinta on ollut suurin valintaan vaikuttava tekijä. Uudenaikaisten rakennuskoneiden tehokkaalla käytöllä ja työnsuunnitelulla voidaan rakentamisen kokonaiskustannuksia alentaa. Tutkimuksen tavoitteena oli tehdä toimiala-analyysi Suomen ja osin ulkomaiden rakennuskonevuokrausmarkkinoista ja saadun tiedon avulla analysoida NCC Finland Oy:n mahdollisuuksia toimialalla. Tutkimuksessa markkinoiden kokoa ja yritysten menestystekijöitä näillä markkinoilla arvioitiin erilaisin menetelmin. NCC:n osalta tehtiin liiketoimintasuunnitelma kalustoliiketoiminnan kehittämiseksi. Keskeisenä tutkimustuloksena oli havainto markkinoiden kasvusta ja kilpailun kansainvälistymisestä. Toimialan menestystekijöiksi nousivat oikea tuotevalikoima, toiminnan sisäinen tehokkuus ja osaava henkilökunta sekä palveluiden oikea hinnoittelu. Toimenpide-ehdotuksena NCC:lle esitetään toimintojen yhdenmukaistamista, tuotevalikoiman uudelleenarviointia ja toimintojen yleistä tehostamista. Jatkotutkimuksen tarvetta on sopivien yhteistyökumppaneiden kartoittamisessa sekä ulkopuolisille markkinoille suuntautuvan toimintamallin rakentamisessa.

Työminäkuva strategiaprosessissa. Case: Teknillinen korkeakoulu - Tietoliikenneohjelmistojen ja multimedian laboratorio

Tutkimuksen tavoitteena on selvittää työminäkuvan ja strategiaprosessin välistä yhteyttä laadullisen tutkimuksen keinoin. Tutkimus on luonteeltaan fenomenografinen eli se keskittyy selvittämään, miten ihmiset kokevat maailman ilmiöineen. Aineiston hankinnassa on hyödynnetty triangulaatiota eli ilmiötä tarkastellaan kolmen aineiston valossa. Aineistoa on kerätty haastatteluin, osallistuvalla havainnoinnilla sekä tutustumalla valmiisiin dokumentteihin, ja analysoitu koodaten ja luokitellen. Koska työntekijän ammatillinen identiteetti vaikuttaa hänen tapaansa ratkaista ongelmia ja tehdä päätöksiä, voidaan tutkimustuloksiin perustuen sanoa, että työminäkuva heijastuu strategiaprosesissa näkyvään ajatteluun ja käyttäytymiseen. Tulokset osoittavat myös, että strateginen työskentely kehittää työminäkuvaa edelleen. Resurssiperusteisen strategianmuodostuksen teoriaa soveltaen voidaan todeta olevan kyse jatkuvasta prosessissa, jossa kehitystä tapahtuu sekä organisaatio- että yksilötasolla

Corporate governance keskustelun vaikutus yritysten hallintoon ja päätöksentekoon - Case Finnvera Oyj, omistajan antamien corporate governance suosistusten toteutuminen

Tutkielman tavoitteena oli antaa yleiskuva corporate governance -aiheen ympärillä käydystä kansallisesta ja kansainvälisestä keskustelusta ja siitä syntyneistä normistoista. Tavoitteena oli myös esimerkkiyrityksen kautta tarkastella suomalaisen keskustelun perusteella syntyneen normiston kolmea suositusta (liittyen hallintoneuvoston, hallituksen ja toimitusjohtajan päätöksenteolliseen asemaan). Mainittujen aihepiirien suosituksia on tutkimuksessa selvitetty laajemmin ja mukaan tarkasteluun on otettu kansallisella tasolla asioihin merkittävästi vaikuttava lainsäädäntö. Tutkimuksen case osuudessa tarkasteltiin valtio-omistajan antamia corporate governance suosituksia ja niiden toteutumista esimerkkiyrityksessä, Finnvera Oyj:ssa. Tutkielman yhteenvetona voidaan todeta, että kansainvälinen keskustelu eroaa aihepiireiltään jonkin verran suomalaisen keskustelun mielenkiinnon kohteista, joskin yhtymäkohtiakin on. Eroavaisuuteen vaikuttaa ainakin historialliset, kulttuurilliset ja institutionaaliset erot eri maiden kesken. Suomessa olemassa oleva yhtiölainsäädäntö on huomattavan kattava ja se osaltaan hoitaa sääntelyä ja siten poistaa tarvetta erillisille suosituksille ja pelisäännöille. Tutkimuksen case-yrityksessä Finnvera Oyj:ssa omistajan antamat toimenpidesuositukset corporate governance kysymysten käsittelystä on hoidettu asianmukaisesti, ja sillä tavoin kuin ne sovellettavuutensa perusteella on ollut tarkoituksenmukaista hoitaa.

Suomen väliyhteisölainsäädäntö ja sen asettamat vaa-timukset suomalaisille yrityksille: ulkomaiset väliyh-teisöt osana kansainvälisen konsernin verosuunnittelua

Tämän tutkielman tavoitteena on esitellä Suomen väliyhteisölainsäädäntö sekä tutkia, miten kansainväliset konsernit ja niihin kuuluvat suomalaiset yhteisöt voivat hyödyntää ulkomaisia väliyhteisöjä toimintansa verosuunnittelussa. Väliyhteisöjen käytön mahdollisuuksia pohditaan ottaen huomioon väliyhteisölain sille asettamat reunaehdot. Tutkielmassa käytetään sekä oikeusdogmaattista että analyyttista tutkimusotetta. Suomen väliyhteisölainsäädäntö jättää kansainvälisesti toimiville yrityksille muu-tamia mahdollisuuksia hyödyntää alhaisen verotuksen maahan perustettuja väliyhteisöjä. Huomioon on kuitenkin otettava väliyhteisölain ohella monia muitakin tekijöitä, kuten konserniyhtiöiden asuinvaltioiden sisäinen lainsäädäntö, verosopimusverkosto sekä EU:n välitöntä verotusta koskevat direktiivit. Yleissääntönä voidaankin sanoa, että väliyhteisöjärjestelyn kautta mahdollisesti saavutettavia etuja on aina arvioitava tapauskohtaisesti.

Organisaatiokulttuurin muutoksista viestiminen 1970- luvulta nykypäivään. Case UPM- Kymmene Oyj/ Kaukas

Tässä tutkielmassa on tarkasteltu organisaatiokulttuurin muuttumista ja siitä viestimistä case- yrityksessä. Tutkielman tavoitteena on ollut hahmottaa kuva yrityksen virallisesta tavasta viestiä muutoksista henkilöstölle ja ulkopuolisille intresseille. Tutkimusmenetelmänä on käytetty henkilöstölehtien sisältöanalyysia. Henkilöstölehtiä on tarkasteltu vuosilta 1974- 98 Organisaatiokulttuurin muuttuminen on monivaiheinen ja alati jatkuva prosessi. Jokainen organisaatiokulttuuri muuttaa muotoaan tarkoituksellisesti tai ilman, toiset nopeammin, toiset hitaammin. Yritysten tavoitteena muutoksissa on luoda ja ylläpitää vahvaa organisaatiokulttuuria, jonka voimin yritys selviää paremmin suuristakin muutoksista. Organisaatiokulttuuri on jatkuvasti muuttuva ja muutettava kokonaisuus, joka vaikuttaa kaikkeen organisaatiossa ja jota muovaavat niin yrityksen sisäiset kuin ulkoisetkin asiat. Johdon velvollisuutena on välittää informaatiota muutoksista henkilöstölle ja muille sidosryhmille oikeaan aikaan ja oikealla tavalla.

Leipomoalan opiskelijoiden työpaikan valintaan vaikuttavat tekijät

Tutkielman tarkoituksena oli selvittää leipomoalan opiskelijoiden mielestä tärkeimmät työpaikan valintaan vaikuttavat tekijät. Tavoitteena oli myös selvittää, ovatko työpaikan valintatekijät sellaisia, joihin työnantaja voi vaikuttaa. Tutkimusmenetelmä oli kvantitatiivinen. Tutkimus suoritettiin Koulutuskeskus Salpauksessa Lahden ravitsemis- ja matkailualan leipurilinjalla. Kysely tehtiin kaikkien kolmen vuosikurssin oppilaille. Tutkimuksesta saadut tulokset noudattelivat aikaisempia tutkimustuloksia. Yllättävää oli, että hyvä ilmapiiri ja työtehtävien vaihtelevuus nousi palkkauksen rinnalle huomattavan tärkeiksi työpaikan valintatekijöiksi. Mielenkiintoista oli myös havaita, että työnantajan tuntemista etukäteen joko sukulaisten tai tuttavien työnantajana ei nähty merkittäväksi tekijäksi. Työnantajan kannalta tutkimustulokset olivat hyvät, sillä monet tärkeät työpaikan valintatekijät olivat sellaisia, joihin työnantaja itse voi vaikuttaa.