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.

Analyzing the Background Information of an Activity-Based Costing System

The aim of this thesis was to analyze the background information of an activity-based costing system, which is being used in a domestic forest industry company. The reports produced by the system have not been reliable, and this has caused the utilization of the system to diminish. The study was initiated by examining the theory of activity-based costing. It was also discovered, that the system produces management accounting information and therefore also that theory was introduced briefly. Next the possible sources of errors were examined. The significance of these errors was evaluated and waste handling was chosen as a subject of further study. The problem regarding waste handling was that there is no waste compensation in current model. When paper or board machine produces waste, it can be used as raw material in the process. However, at the moment the product, which is being produced, at the time does not get any compensation. The use of compensation has not been possible due to not knowing the quantity of process waste. As a result of the study a calculatory model, which enables calculating the quantity of process waste based on the data from the mill system, was introduced. This, for one, enables starting to use waste compensation in the future.

Multifrequency VLBI Observations of Selected Active Galactic Nuclei

In this dissertation, active galactic nuclei (AGN) are discussed, as they are seen with the high-resolution radio-astronomical technique called Very Long Baseline Interferometry (VLBI). This observational technique provides very high angular resolution (_ 10−300 = 1 milliarcsecond). VLBI observations, performed at different radio frequencies (multi-frequency VLBI), allow to penetrate deep into the core of an AGN to reveal an otherwise obscured inner part of the jet and the vicinity of the AGN’s central engine. Multi-frequency VLBI data are used to scrutinize the structure and evolution of the jet, as well as the distribution of the polarized emission. These data can help to derive the properties of the plasma and the magnetic field, and to provide constraints to the jet composition and the parameters of emission mechanisms. Also VLBI data can be used for testing the possible physical processes in the jet by comparing observational results with results of numerical simulations. The work presented in this thesis contributes to different aspects of AGN physics studies, as well as to the methodology of VLBI data reduction. In particular, Paper I reports evidence of optical and radio emission of AGN coming from the same region in the inner jet. This result was obtained via simultaneous observations of linear polarization in the optical and in radio using VLBI technique of a sample of AGN. Papers II and III describe, in detail, the jet kinematics of the blazar 0716+714, based on multi-frequency data, and reveal a peculiar kinematic pattern: plasma in the inner jet appears to move substantially faster that that in the large-scale jet. This peculiarity is explained by the jet bending, in Paper III. Also, Paper III presents a test of the new imaging technique for VLBI data, the Generalized Maximum Entropy Method (GMEM), with the observed (not simulated) data and compares its results with the conventional imaging. Papers IV and V report the results of observations of the circularly polarized (CP) emission in AGN at small spatial scales. In particular, Paper IV presents values of the core CP for 41 AGN at 15, 22 and 43 GHz, obtained with the help of the standard Gain transfer (GT) method, which was previously developed by D. Homan and J.Wardle for the calibration of multi-source VLBI observations. This method was developed for long multi-source observations, when many AGN are observed in a single VLBI run. In contrast, in Paper V, an attempt is made to apply the GT method to single-source VLBI observations. In such observations, the object list would include only a few sources: a target source and two or three calibrators, and it lasts much shorter than the multi-source experiment. For the CP calibration of a single-source observation, it is necessary to have a source with zero or known CP as one of the calibrators. If the archival observations included such a source to the list of calibrators, the GT could also be used for the archival data, increasing a list of known AGN with the CP at small spatial scale. Paper V contains also calculation of contributions of different sourced of errors to the uncertainty of the final result, and presents the first results for the blazar 0716+714.

Magnetic properties of multi-walled nanotubes on polysterene substrate

Nanotubes are one of the most perspective materials in modern nanotechologies. It makes present investigation very actual. In this work magnetic properties of multi-walled nanotubes on polystyrene substrate are investigated by using quantum magnetometer SQUID. Main purpose was to obtain magnetic field and temperature dependences of magnetization and to compare them to existing theoretical models of magnetism in carbon-bases structures. During data analysis a mathematical algorithm for obtained data filtration was developed because measurement with quantum magnetometer assume big missives of number data, which contain accidental errors. Nature of errors is drift of SQUID signal, errors of different parts of measurement station. Nanotube samples on polystyrene substrate were studied with help of atomic force microscope. On the surface traces of nanotube were found contours, which were oriented in horizontal plane. This feature was caused by rolling method for samples. Detailed comparison of obtained dependences with information of other researches on this topic allows to obtain some conclusions about nature of magnetism in the samples. It emphasizes importance and actuality of this scientific work.

Web-palvelutekniikka teollisuuden tietojärjestelmäintegraation kehitysvälineenä

Tänä päivänä tiedon nopea saatavuus ja hyvä hallittavuus ovat liiketoiminnan avainasioita. Tämän takia nykyisiä tietojärjestelmiä pyritään integroimaan. Integraatio asettaa monenlaisia vaatimuksia, jolloin sopivan integraatiomenetelmän ja -teknologian valitsemiseen pitää paneutua huolella. Integraatiototeutuksessa tulisi pyrkiä ns. löyhään sidokseen, jonka avulla voidaan saavuttaa aika-, paikka- ja alustariippumattomuus. Tällöin integraation eri osapuolien väliset oletukset saadaan karsittua minimiin, jonka myötä integraation hallittavuus ja vikasietoisuus paranee. Tässä diplomityössä keskitytään tutkimaan nykyisin teollisuuden käytössä olevien integraatiomenetelmien ja -teknologioiden ominaisuuksia, etuja ja haittoja. Lisäksi työssä tutustutaan Web-palvelutekniikkaan ja toteutetaan asynkroninen tiedonkopiointisovellus ko. teknologian avulla. Web-palvelutekniikka on vielä kehittyvä palvelukeskeinen teknologia, jolla pyritään voittamaan monet aiempia teknologioita vaivanneet ongelmat. Yhtenä teknologian päätavoitteista on luoda löyhä sidos integroitavien osapuolien välille ja mahdollistaa toiminta heterogeenisessa ympäristössä. Teknologiaa vaivaa kuitenkin vielä standardien puute esimerkiksi tietoturva-asioissa sekä päällekkäisten standardien kehitys eri valmistajien toimesta. Jotta teknologia voi yleistyä, on nämä ongelmat pystyttävä ratkaisemaan.

Rakennusprojektin laadunvarmistuksen automatisointi mobiiliteknologialla

Rakennusprojekteissa yksi haastava osa-alue on laadunvarmistus: Suomen elementtitehtailla se tapahtuu tällä hetkellä käsityöllä, eikä automaatiota käytetä. Lappeenrannan teknillisen yliopiston Mobilding-hankkeessa rakennuselementteihin upotetaan radiotunnisteita, joiden avulla elementit voidaan tunnistaa langattomasti ja yksilöllisesti, sekä yhdistää tietojärjestelmän tietoon. Käyttäen hyväksi kykyä tunnistaa elementit sähköisesti, tässä diplomityössä keskitytään ratkaisemaan laadunvarmistuksen haastetta automatisoimalla prosessia. Työssä kartoitetaan laadunvarmistuksen nykytila rakennusteollisuudessa ja sen pohjalta suunnitellaan ja tuotetaan laadunvarmistusjärjestelmä. Toteutettava järjestelmä kykenee havainnoimaan poikkeuksia reaktiona käyttäjien syötteeseen ja valvomaan projektin aikataulutusta käyttäen hyväksi elementtien tilatietoja. Havaituista poikkeuksista tiedotetaan automaattisesti. Järjestelmään toteutetaan rajapinta Web Service-teknologioilla, jolloin sitä voidaan käyttää matkapuhelimella. Työn tuloksena saatavaa järjestelmää testataan pilottihankkeissa ja siitä saadaan pohja laadunvarmistuksen jatkokehitykselle.

Tablet-käyttöliittymäsovellus sähköisen asioinnin palvelulle

Tässä diplomityössä oli tavoitteena tutkia käytettävyyttä ja käyttöliittymiä tablet-laitteiden näkökulmasta. Työssä tutkittiin sitä, mikä tekee hyvän tablet-käyttöliittymän ja mitä asioita sen suunnittelussa tulisi huomioida. Lisäksi tehtävänä oli selvittää, miten työn toimeksian-tajan käytössä olevat tekniikat soveltuvat käytettäviksi tablet-laitteiden kanssa. Työn poh-jalta havaittiin, että tablet-käyttöliittymien suunnittelussa tulisi noudattaa vakiintuneita käyttöliittymäsuunnittelun periaatteita, joista tärkeimmät ovat yksinkertaisuus, yhtenäisyys, virheiden ehkäisy ja käyttäjätuki. Hyvän käytettävyyden takaamiseksi suunnittelussa tulisi kuitenkin huomioida tablet-laitteiden erikoispiirteet ja rajoitukset. Tutkimustyön lisäksi diplomityössä toteutettiin yksinkertainen tablet-laitteille suunniteltu käyttöliittymä Vaadin TouchKit -käyttöliittymäkehystä käyttäen.

Vahdon keskustan sähkönjakeluverkon saneeraussuunnitelma

Vuoden 2013 sähkömarkkinalain uudistuksen myötä verkonhaltijoiden tulee varautua suurhäiriötilanteisiin aiempaa tehokkaammin. Lain toimitusvarmuusvaatimusten täyttäminen vaatii sähköverkkoyhtiöiltä entistä suurempia investointimääriä nopeassa aikataulussa. Caruna Oy investoi vuosittain noin 100 miljoonaa euroa säävarman verkon kehittämiseen ja rakentamiseen. Eltel Networks Oy toimii Carunan pääurakoitsijana useissa saneerausprojekteissa muun muassa Satakunnan ja Lounais-Suomen alueilla. Diplomityö tehtiin Eltel Networks Oy:lle ja tavoitteena oli laatia saneeraussuunnitelma Carunan Vahdon keskustan sähkönjakeluverkkoon sekä kehittää Eltelin suunnitteluprosessia Vahdon case-projektin avulla. Nykyverkon ongelmakohdiksi osoittautuivat käyttöikänsä päähän tulleet tai lähivuosina tulevat verkkokomponentit, verkon alhainen nykykäyttöarvo sekä korkeat keskeytyskustannukset. Suunnitellun verkon nykykäyttöarvo yli kaksinkertaistui nykyverkon arvosta, verkon keski-ikä pieneni seitsemällä vuodella ja keskeytyskustannukset pienenivät yli puolella. Case-projektin aikana suunnitteluprosessissa ilmeni useita kehityskohteita. Esimerkiksi kartta-aineistoja ja ilmakuvia kannattaisi hyödyntää monipuolisemmin suunnittelussa ja ohjemuutosten täytäntöönpanoajankohta tulisi määrittää ohjeen tärkeyden mukaan. Vierekkäisille suunnitteluprojekteille kannattaa hakea jatkossa esimerkiksi yhteiset ELY- ja AVI-luvat erillisten lupahakemusten sijaan, koska se vähentää suunnittelijoiden työmäärää ja nopeuttaa hakuprosessia. Suunnittelijoiden yhteistyötä kannattaa laajentaa niin lupahakemusten, sopimusten laadinnan kuin koko prosessin kattavaksi, koska yhteistyö vähentää virheiden määrää ja nopeuttaa suunnitteluprosessia. Yhteistyöllä suunnittelu voidaan toteuttaa nopeammin laadusta tinkimättä.

Julkisten kansallisten palveluhankintojen tarjouspyyntöjen laatimisen ongelmakohdat

Viime vuosien aikana palveluhankintojen suhteellinen osuus kaikista toteutetuista julkisista hankinnoista on kasvanut Suomessa huomattavasti. Samalla markkinaoikeudessa on käsitelty vuosittain suuri määrä erilaisiin julkisiin hankinta-asioihin liittyviä valituksia. Merkittävä valitusten määrä on seurausta siitä, että julkisissa hankintaprosesseissa tehdään paljon virheitä. Tarjouspyynnön laatiminen on tärkeä hankintaprosessin vaihe, johon hankintayksiköissä tulisi kalliit markkinaoikeuskäsittelyt välttääkseen riittävästi panostaa. Tämän tutkielman tavoitteena oli selvittää, mitkä asiat palveluhankintojen tarjouspyyntöjen laatimisessa tuottavat hankintayksiköille ongelmia. Lisäksi tarkoituksena oli pohtia sekä itse palvelun hankkijaan että julkisten hankintojen lainsäädäntöön liittyviä tekijöitä, joista ongelmat palveluhankintojen tarjouspyyntöjen laatimisessa mahdollisesti johtuvat. Tutkimuksessa tutkimuskohteena olivat 24 markkinaoikeuden vuosina 2012–2014 antamaa hankinta-asioiden ratkaisua, ja tutkimus toteutettiin kvalitatiivisena tutkimuksena tutkimusaineistoa kategorisoimalla ja yhdenmukaistamalla. Tutkielmassa havaittiin, että merkittävin kompastuskivi kansallisten palveluhankintojen tarjouspyyntöjen laatimisessa on tarjouksen vertailuperusteiden asettaminen. Erityisesti laadun vertailuperusteiden tulkinnanvarainen ja epäselvä esittäminen oli yleistä, ja lisäksi merkittävä määrä virheitä tehtiin sekoittamalla tarjoajan soveltuvuusvaatimukset vertailuperusteisiin. Joitakin virheitä tehtiin myös vertailuperusteiden tärkeysjärjestyksen ja suhteellisen painotuksen asettamisessa sekä hankinnan kohteen määrittelyssä. Tutkimustulosten perusteella pääteltiin, että kansallisten palveluhankintojen tarjouspyyntöjen laatimisen ongelmissa on suurimmassa osin kyse hankintayksikön vähäisistä resursseista ja siten heikosta hankintojen suunnittelusta sekä hankintayksiköiden ammattitaidon ja kokemuksen puutteista. Lisäksi joitakin esiintyneitä virheitä voidaan ainakin jossain määrin perustella hankintalainsäädännön monimutkaisuudella ja tulkinnanvaraisuudella.

Tietokoneavusteisten tilintarkastuksen tukijärjestelmien käyttö tilintarkastuksen riskienhallinnassa

Suuryritysten skandaalit ovat herättäneet huolenaiheita organisaatioiden tilintarkas-tuksen hallintajärjestelmistä. Tietokonepohjainen tilintarkastuksen tukijärjestelmä voi auttaa tilintarkastajaa suorittamaan valvontaa ja varmistuskokeita, tilinpäätöstietojen analysointia ja tarkistusta sekä jatkuvaa seurantaa ja tilintarkastusta. Tilintarkastuk-sen hallintaohjelmiston avulla voidaan tehostaa työnkulkua ja vähentää virheiden riskiä. Tämän tutkielman tavoitteena on tutkia sähköisen tukijärjestelmän käyttöä tilintarkastusprosessissa sekä tilintarkastukseen liittyvien riskien hallinnassa. Tavoit-teena on saada selville, miten sähköistä tukijärjestelmää käytetään hyväksi tilintar-kastusriskien hallitsemisessa osana tilintarkastusprosessia. Tutkimus on toteutettu laadullisena tutkimuksena. Tutkimuksen empiirinen aineisto koostuu neljästä teemahaastattelusta. Kaikki haastateltavat ovat samasta tilintar-kastusyhteisöstä. Teemahaastattelun aiheet on koottu aikaisemmissa tutkimuksissa esiinnousseista teemoista. Tutkielman empiiristen tutkimustulosten mukaan sähköiset järjestelmät ovat vaikut-taneet merkittävästi tilintarkastajan työhön. Järjestelmätarkastuksen avulla saadaan tarkastettua tehokkaasti suuria aineistomääriä, ja näin koko tarkastus nopeutuu. Laatuvaatimukset ovat kuitenkin kiristyneet, mikä osaltaan syö tehokkuutta. Järjes-telmätarkastajilla on käytössään monenlaisia sähköisiä tilintarkastuksen järjestel-miä, joilla voidaan hakea ja analysoida dataa asiakkaan järjestelmästä. Tämän jäl-keen tarkastajilla on mahdollisuus käydä läpi analysoitua dataa erilaisten raporttien muodossa. Järjestelmätarkastajien toimesta voidaan käydä läpi asiakkaan koko populaatio. Tämä osaltaan auttaa tilintarkastuksen riskienhallinnassa.

Comparing simulation methods for modelling the errors of stand inventory data

Abstract

Empirical errors of small area estimates from the multisource National Forest Inventory in Eastern Finland

Abstract

Oops! Another medication error : a literature review of contributing factors and methods to prevent medication errors

The purpose of this bachelor's thesis was to chart scientific research articles to present contributing factors to medication errors done by nurses in a hospital setting, and introduce methods to prevent medication errors. Additionally, international and Finnish research was combined and findings were reflected in relation to the Finnish health care system. Literature review was conducted out of 23 scientific articles. Data was searched systematically from CINAHL, MEDIC and MEDLINE databases, and also manually. Literature was analysed and the findings combined using inductive content analysis. Findings revealed that both organisational and individual factors contributed to medication errors. High workload, communication breakdowns, unsuitable working environment, distractions and interruptions, and similar medication products were identified as organisational factors. Individual factors included nurses' inability to follow protocol, inadequate knowledge of medications and personal qualities of the nurse. Developing and improving the physical environment, error reporting, and medication management protocols were emphasised as methods to prevent medication errors. Investing to the staff's competence and well-being was also identified as a prevention method. The number of Finnish articles was small, and therefore the applicability of the findings to Finland is difficult to assess. However, the findings seem to fit to the Finnish health care system relatively well. Further research is needed to identify those factors that contribute to medication errors in Finland. This is a necessity for the development of methods to prevent medication errors that fit in to the Finnish health care system.

Origins of production errors and significance of employee empowerment in reducing production error amount in sheet metal fabricating industry

The market place of the twenty-first century will demand that manufacturing assumes a crucial role in a new competitive field. Two potential resources in the area of manufacturing are advanced manufacturing technology (AMT) and empowered employees. Surveys in Finland have shown the need to invest in the new AMT in the Finnish sheet metal industry in the 1990's. In this run the focus has been on hard technology and less attention is paid to the utilization of human resources. In manymanufacturing companies an appreciable portion of the profit within reach is wasted due to poor quality of planning and workmanship. The production flow production error distribution of the sheet metal part based constructions is inspectedin this thesis. The objective of the thesis is to analyze the origins of production errors in the production flow of sheet metal based constructions. Also the employee empowerment is investigated in theory and the meaning of the employee empowerment in reducing the overall production error amount is discussed in this thesis. This study is most relevant to the sheet metal part fabricating industrywhich produces sheet metal part based constructions for electronics and telecommunication industry. This study concentrates on the manufacturing function of a company and is based on a field study carried out in five Finnish case factories. In each studied case factory the most delicate work phases for production errors were detected. It can be assumed that most of the production errors are caused in manually operated work phases and in mass production work phases. However, no common theme in collected production error data for production error distribution in the production flow can be found. Most important finding was still that most of the production errors in each case factory studied belong to the 'human activity based errors-category'. This result indicates that most of the problemsin the production flow are related to employees or work organization. Development activities must therefore be focused to the development of employee skills orto the development of work organization. Employee empowerment gives the right tools and methods to achieve this.