Application of fuzzy logic for the evaluation of livestock slaughtering

The fuzzy logic admits infinite intermediate logical values between false and true. With this principle, it developed in this study a system based on fuzzy rules, which indicates the body mass index of ruminant animals in order to obtain the best time to slaughter. The controller developed has as input the variables weight and height, and as output a new body mass index, called Fuzzy Body Mass Index (Fuzzy BMI), which may serve as a detection system at the time of livestock slaughtering, comparing one another by the linguistic variables "Very Low", "Low", "Average ", "High" and "Very High". For demonstrating the use application of this fuzzy system, an analysis was made with 147 Nellore beeves to determine Fuzzy BMI values for each animal and indicate the location of body mass of any herd. The performance validation of the system was based on a statistical analysis using the Pearson correlation coefficient of 0.923, representing a high positive correlation, indicating that the proposed method is appropriate. Thus, this method allows the evaluation of the herd comparing each animal within the group, thus providing a quantitative method of farmer decision. It was concluded that this study established a computational method based on fuzzy logic that mimics part of human reasoning and interprets the body mass index of any bovine species and in any region of the country.

Sumea suositin elokuville

Suositusmenetelmien tarkoituksena on auttaa käyttäjää löytämään häntä kiinnostavia asioita ja välttämään asioita, joista hän ei pitäisi. Suositusmenetelmät antavat suosituk- set yleensä terävinä lukuina. Tässä työssä kehitetään suositusmenetelmä, joka antaa suo- situkset arvosanojen sumeina jäsenyysasteina. Menetelmän antamat suositukset voidaan myös perustella käyttäjälle. Menetelmä kuuluu pääosin yhteisösuodatusmenetelmiin, jois- sa suositukset tehdään käyttäjien antamien arvosanojen perusteella, mutta myös tietoa elokuvien tyylilajeista hyödynnetään suositustarkkuuden parantamiseksi. Sumeiden suo- situsten suositeltavuusjärjestyksen laskemiseen esitetään myös menetelmä. Käyttäjien elokuville antamat arvosanat voidaan käsittää sumeana datana. Käyttäjä voi kuvata arvosanaa esimerkiksi ilmaisulla ”noin 4”. Tästä syystä on loogista esittää suo- situksetkin sumeina lukuina. Tällöin käyttäjälle voidaan antaa tietoa suosituksen tark- kuudesta ja mahdollisista ristiriidoista. Epävarmojen suositusten tapauksessa käyttäjä voi painottaa enemmän muita tietolähteitä. Kokeiden perusteella kehitetty menetelmä antaa joissa tapauksissa selvästi vertailtavia menetelmiä parempia suosituksia, kun taas toisissa tapauksissa suositukset ovat selvästi heikompia.

Eräs näkökulma näkökulmiin

Kirjallisuusarvostelu

Pienen kokoluokan CHP-tuotannon kannattavuus kunnallisen lämpölaitoksen yhteydessä

Fossiiliset polttoainevarannot ovat ehtymässä. Nykyisen talouskasvumme perustuessa fossiilisten polttoaineiden kestämättömään käyttöön, on energiantuotantorakenteen muututtava. Euroopan Unioni on asettanut tavoitteet uusiutuvan energian osuuden lisäämiseksi. Näistä syistä johtuen kiinnostus uusiutuvaa energiaa ja hajautettua energiantuotantoa kohtaan on kasvanut viime aikoina. Tämän globaalin ilmiön rinnalla yhteiskuntarakenteen muutos Suomessa on johtanut tilanteeseen, jossa taloudellinen aktiviteetti kasvukeskusten ulkopuolella on hiipumassa. Loogisena ratkaisumallina on syntynyt hankkeita kuten Keski-Karjalan Kehitysyhtiö Oy:n Puhos 2013 - ympäristöalasta uutta liiketoimintaa - hanke. Tämä työ on Puhos 2013 - hankkeeseen tilattu tutkimus, jonka tavoitteena on puuta ja biokaasua polttoaineenaan käyttävän mikroturbiinitekniikkaan pohjautuvan pienen kokoluokan CHP tuotannon kannattavuuden selvittäminen kunnallisen lämpölaitoksen yhteydessä. Tutkimuksessa selvitettiin aluksi pienen kokoluokan CHP tuotannon kannattavuuteen vaikuttavat tekijät, jonka jälkeen opittua tietoa sovellettiin Kiteen Lämmön Arppentien lämpölaitoksen tapaukseen. Kiteen Lämmön taloudellisen kannattavuuden ohella tutkimuksessa huomioitiin uusien liiketoiminta mahdollisuuksien syntyminen alueelle. Käytetyt tutkimusmenetelmät olivat kvalitatiivinen analyysi ja perinteinen investoinnin kannattavuuslaskenta. Tutkimuksen tuloksena muodostettiin strategia, joka maksimoi molemmat edellä mainitut kannattavuuden näkökulmat. Kehitetyn strategian Kiteen Lämmön tulosta maksimoiva osuus muodostuu oman käyttösähkön tuottamisen aloittamisesta Arppentien lämpölaitoksella 30 kWe mikroturbiinilla käyttäen polttoaineena Bio10 Oy:n toimittamaa biokaasua. Uusien liiketoiminta mahdollisuuksien synty alueelle mahdollistetaan puolestaan kehittämällä puun kaasutukseen perustuva modulaarinen CHP laitos yhteistyössä Mekrijärven tutkimusaseman ja suomalaisten laitevalmistajien kanssa.

Trustworthy context dependency in ubiquitous systems

The modern society is getting increasingly dependent on software applications. These run on processors, use memory and account for controlling functionalities that are often taken for granted. Typically, applications adjust the functionality in response to a certain context that is provided or derived from the informal environment with various qualities. To rigorously model the dependence of an application on a context, the details of the context are abstracted and the environment is assumed stable and fixed. However, in a context-aware ubiquitous computing environment populated by autonomous agents, a context and its quality parameters may change at any time. This raises the need to derive the current context and its qualities at runtime. It also implies that a context is never certain and may be subjective, issues captured by the context’s quality parameter of experience-based trustworthiness. Given this, the research question of this thesis is: In what logical topology and by what means may context provided by autonomous agents be derived and formally modelled to serve the context-awareness requirements of an application? This research question also stipulates that the context derivation needs to incorporate the quality of the context. In this thesis, we focus on the quality of context parameter of trustworthiness based on experiences having a level of certainty and referral experiences, thus making trustworthiness reputation based. Hence, in this thesis we seek a basis on which to reason and analyse the inherently inaccurate context derived by autonomous agents populating a ubiquitous computing environment in order to formally model context-awareness. More specifically, the contribution of this thesis is threefold: (i) we propose a logical topology of context derivation and a method of calculating its trustworthiness, (ii) we provide a general model for storing experiences and (iii) we formalise the dependence between the logical topology of context derivation and its experience-based trustworthiness. These contributions enable abstraction of a context and its quality parameters to a Boolean decision at runtime that may be formally reasoned with. We employ the Action Systems framework for modelling this. The thesis is a compendium of the author’s scientific papers, which are republished in Part II. Part I introduces the field of research by providing the mending elements for the thesis to be a coherent introduction for addressing the research question. In Part I we also review a significant body of related literature in order to better illustrate our contributions to the research field.

Public and Private Sector Decision Makers Within the Rail Baltica Growth Corridor

Transport volumes have increased and will continue to increase in European Union. Even though the growth has not been equal between different transport modes. Most of the growth has been faced on road transport. European Union aims to balance the unbalanced market shares between the modes by gaining and supporting the competitiveness of railway and waterway transport. In EU railway transportation is seen as solution to increase safety in traffic and decrease the environmental impacts of transportation. The aim of this research is to figure out how it is possible to decrease the environmental impacts by the technology already in use. Main focus of this research is in intermodality and combining the road and railway transportation. This study aims also to figure out demands and expectations towards new Rail Baltica railway route connecting Tallinn and Berlin. The research is conducted by performing a literature review about decreasing environmental impacts and combining road and rail transport. Another viewpoint is taken from the possible effects of tourism to the passenger transport on rails. Knowledge gained by literature review is deepened by additional internet questionnaire study and expert interview study. In decreasing the environmental impacts of transportation electric trains are definitely the best option providing that the electricity is generated from renewable or carbon dioxide free sources. Decrease of environmental impacts has been reached also with acceptance of larger road transport vehicles. According to interviewed passenger transport experts, the whole route from Tallinn to Berlin may not be convenient to be used in passenger transport, just because the route is too long.. In EU freight is transported mainly with semi-trailer combinations, and that is why it could be logical if huckepack trains would be used on Rail Baltica. Huckepack train allows semi-trailers to be transported on rails with time efficient loading-unloading process. Overall, Rail Baltica project is experienced as a future-oriented one and new railway alignment is seen as great alternative option for transport modes using fossil fuels.

Capital Structure and Firm Growth: R&D Intensive Companies

The purpose of this study is to examine and explain firm`s growth impact on capital structure decision-making in research and development intensive companies. Many studies claim that R&D has a pivotal impact on capital structure decisions, but corporate finance theories have often failed to explain these observed patterns. As sales growth is an important concept and objective for R&D firms, it is logical to assume that it plays a vital role in capital structure decisions. This study applies nomothetic research approach. The theoretical part employs a formal conceptual analysis in order to develop the propositions that are tested with empirical data. The empirical part consists of the analysis of three companies; the data is obtained from the annual reports over the period 2003 – 2008. The companies operate in IT- or ICT-industry and are publicly listed. The method for analyzing the case data is based on the financial indicators, which are obtained from the financials of the case companies. These economic indicators describe the capital structure and the financial decision-making of the firms. The method relates to the quantitative studies. Yet, this study extends the analysis beyond the indicators. Specifically, this study addresses the question of what is behind the economic indicators, therefore combining aspects of quantitative and qualitative analysis. The firms examined in this study seem to prefer internal finance during growth. However, external finance seems to be a catalyst for sales growth. Firms strongly prefer equity financing. In growth, the use of equity per capital either increases or stays in a constant level. Over the period 2003 – 2008, the firms were often associated to equity related transactions and short-term debt. Short-term debt was used as a substitute of long-term debt and equity. The case firms also adjusted their capital structure – these adjustments were carried out with short-term debt or equity. The case data also provides implications for the growth signal theory that was developed in this study. Based on the econometric indicators, arguments can be made that equity investors are `attracted` to growing R&D firms. This is because growth helps investors perceive the true type of firm. The findings of this study are best explained by the trade-off theory and the pecking order theory. These corporate finance theories are considered as mainstream. Little support can be found to the implications of the signaling theory and market timing theory.

Consistency of UML based designs using ontology reasoners

Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, as well as implementing these designs using a programming language into a working system. As a consequence, the development of high quality software is a core problem in software engineering. This thesis focuses on the validation of software designs. The issue of the analysis of designs is of great importance, since errors originating from designs may appear in the final system. It is considered economical to rectify the problems as early in the software development process as possible. Practitioners often create and visualize designs using modeling languages, one of the more popular being the Uni ed Modeling Language (UML). The analysis of the designs can be done manually, but in case of large systems, the need of mechanisms that automatically analyze these designs arises. In this thesis, we propose an automatic approach to analyze UML based designs using logic reasoners. This approach firstly proposes the translations of the UML based designs into a language understandable by reasoners in the form of logic facts, and secondly shows how to use the logic reasoners to infer the logical consequences of these logic facts. We have implemented the proposed translations in the form of a tool that can be used with any standard compliant UML modeling tool. Moreover, we authenticate the proposed approach by automatically validating hundreds of UML based designs that consist of thousands of model elements available in an online model repository. The proposed approach is limited in scope, but is fully automatic and does not require any expertise of logic languages from the user. We exemplify the proposed approach with two applications, which include the validation of domain specific languages and the validation of web service interfaces.

Höyryjärjestelmän pelisimulaattorikonsepti

Tässä diplomityössä on suunniteltu konsepti myöhemmin toteutettavaa pelisimulaat-toria varten. Pelisimulaattorista tulee osa öljynjalostamon tuotanto-operaattoreiden höyryjärjestelmän koulutusmoduulia. Työssä höyryjärjestelmän simulaattoriin on laadittu selkeä malli ja rakenne, joka arvioi käyttäjän suoritusta sekä antaa palautteen suorituksen onnistumisesta. Höyryjärjestelmän toiminnan ymmärtäminen on tärkeää, sillä sen avulla höyryntuotantoa voidaan optimoida. Kirjallisuusosassa on käsitelty koulutussimulaattoreita sekä niiden käyttökohteita. Lisäksi on esitetty höyryntuottajat sekä höyrynkuluttajat, jotka huomioitiin pelisimu-laattorikonseptissa. Jokaiselle yksikköprosessille on laadittu toimintakuvaus ja ope-rointiohjeet, joiden perusteella pelaaja saa käsityksen simulaattorin toimintaperiaat-teesta. Soveltavassa osassa on käsitelty kaikkien konseptissa mallinnettujen laitteiden aine- ja energiataseet sekä muut laskennassa tarvittavat teknilliset korrelaatiot. Soveltavas-sa osassa esitettiin myös pelisimulaattorin arviointiperusteet, arviointiin tarvittavien kustannusten korrelaatiot, häiriötilanne sekä esimerkkisimulointi ja suoritusesimerkki häiriön korjaamiseksi. Pelisuorituksen arvioinnin suunnitteluun kiinnitettiin huomiota, jolloin pelisimulaat-tori vastaa mahdollisimman hyvin todellista prosessia sekä säilyttää motivaation si-mulaattoriharjoitteluun.

Att tala om det osägbara : Nicolaus Cusanus cirkulära filosofi i verket De coniecturis med särskild hänsyn till Nelson Pikes tankar om unio mystica

In my dissertation called Speaking of the unsayable: The circular philosophy of Nicholas of Cusa in his work De coniecturis, I presuppose an internal (conceptual) relation between the personal experience of God of Nicholas of Cusa (1401-64) in 1438 and, on the other hand, his philosophy. I hence try to describe the precise character of this relation. Referring to the Norwegian scholars Egil Wyller and Viggo Rossvær, I assume that there is a circularity in Cusanus’ philosophy which appears as self-references (= a sentence refers to itself: A is explained by B and B is explained by A). Wyller finds three phases in the thought of Cusanus (1. De docta ignorantia I-III, 2. De coniecturis I-II, 3. all subsequent works). Rossvær finds it impossible to presuppose certain phases, as the philosophy of Cusanus continuously proceeds and remains open to new ideas. As Cusanus however treats his experience of God far more consciously in his second work De coniecturis than in De docta ignorantia, I find it possible to distinguish between the earlier Cusanus (De docta ignorantia including his earlier works) and the later Cusanus (De coniecturis, about 1444, as well as the following works). Cusanus creates a philosophy of language in outline expressed in De coniecturis, in which he presents two concepts of necessity, i.e. absolute necessity and logical, or reasonable, necessity. These are interrelated in the sense that the mind, or the self, logically affirms the absolute, or unsayable, necessity, which shows itself in the mind and which the mind affirms conjecturally. The endeavour conceptually to understand absolute necessity implies intuitive (or intellectual) contemplation, or vision (investigatio symbolica), in which the four mental unities (the absolute, the intellectual, the rational and the sensuous) work together according to the rules described in De coniecturis. In De coniecturis Cusanus obviously turns from a negative concept of the unsayable to a paradigmatic, which implies that he looks for principles of speaking of the unsayable and presents the idea of a divine language (divinaliter). However, he leaves this idea behind after De coniecturis, although he continues to create new concepts of the unsayable and incomprehensible. The intellectual language of absolute seeing is expressed in the subjunctive, i.e. conditionally. In order to describe the unsayable, Cusanus uses tautologies, the primary one of which is a concept of God, i.e. non aliud est non aliud quam non aliud (the non-other is non-other than the nonother). Wyller considers this the crucial point of the philosophy of Cusanus (De non aliud), described by the latter as the definition of definitions, i.e. the absolute definition. However, this definition is empty regarding its content. It demonstrates that God surpasses the coincidence of opposites (coincidentia oppositorum) and that he is “superunsayable” (superineffabilis), i.e. he is beyond what can be conceived or said. Nothing hence prevents us from speaking of him, provided that he is described as unsayable (= the paradigmatic concept of the unsayable). Here the mode of seeing is decisive. Cusanus in this context (and especially in his later literary production) uses modalities which concern possibility and necessity. His aim is to conduct any willing reader ahead on the way of life (philosophia mentalis). In De coniecturis II he describes the notion of human self-consciousness as the basis of spiritual mutuality in accordance with the humanistic tradition of his time. I mainly oppose the negatively determined concept of Christian mysticism presented by the German philosopher Kurt Flasch and prefer the presentation of Burkhard Mojsisch of the translogical and conjectural use of language in De coniecturis. In particular, I take account of the Scandinavian research, basically that of Johannes Sløk, Birgit H. Helander, Egil Wyller and Viggo Rossvær, who all consider the personal experience of God described by Cusanus a tacit precondition of his philosophy.

Diagnosing dementia and normal aging: clinical relevance of brain ratios and cognitive performance in a Brazilian sample

The main objective of the present study was to evaluate the diagnostic value (clinical application) of brain measures and cognitive function. Alzheimer and multiinfarct patients (N = 30) and normal subjects over the age of 50 (N = 40) were submitted to a medical, neurological and cognitive investigation. The cognitive tests applied were Mini-Mental, word span, digit span, logical memory, spatial recognition span, Boston naming test, praxis, and calculation tests. The brain ratios calculated were the ventricle-brain, bifrontal, bicaudate, third ventricle, and suprasellar cistern measures. These data were obtained from a brain computer tomography scan, and the cutoff values from receiver operating characteristic curves. We analyzed the diagnostic parameters provided by these ratios and compared them to those obtained by cognitive evaluation. The sensitivity and specificity of cognitive tests were higher than brain measures, although dementia patients presented higher ratios, showing poorer cognitive performances than normal individuals. Normal controls over the age of 70 presented higher measures than younger groups, but similar cognitive performance. We found diffuse losses of tissue from the central nervous system related to distribution of cerebrospinal fluid in dementia patients. The likelihood of case identification by functional impairment was higher than when changes of the structure of the central nervous system were used. Cognitive evaluation still seems to be the best method to screen individuals from the community, especially for developing countries, where the cost of brain imaging precludes its use for screening and initial assessment of dementia.

The brain decade in debate: IV. Chronobiology

The present article is the adapted version of an electronic symposium organized by the Brazilian Society of Neuroscience and Behavior (SBNeC) which took place on June 14, 2000. The text is divided into three sections: I. The main issues, II. Chronodrugs, and III. Methods. The first section is dedicated to the perspectives of chronobiology for the next decade, with opinions about the trends of future research being emitted and discussed. The second section deals mostly with drugs acting or potentially acting on the organism's timing systems. In the third section there are considerations about relevant methodological issues concerning data analysis.

Possible etiologies for tropical spastic paraparesis and human T lymphotropic virus I-associated myelopathy

The epidemiology of tropical spastic paraparesis/human T lymphotropic virus I (HTLV-I)-associated myelopathy (TSP/HAM) is frequently inconsistent and suggests environmental factors in the etiology of these syndromes. The neuropathology corresponds to a toxometabolic or autoimmune process and possibly not to a viral disease. Some logical hypotheses about the etiology and physiopathology of TSP and HAM are proposed. Glutamate-mediated excitotoxicity, central distal axonopathies, cassava, lathyrism and cycad toxicity may explain most cases of TSP. The damage caused to astrocytes and to the blood-brain barrier by HTLV-I plus xenobiotics may explain most cases of HAM. Analysis of the HTLV-I/xenobiotic ratio clarifies most of the paradoxical epidemiology of TSP and HAM. Modern neurotoxicology, neuroimmunology and molecular biology may explain the neuropathology of TSP and HAM. It is quite possible that there are other xenobiotics implicated in the etiology of some TSP/HAMs. The prevention of these syndromes appears to be possible today.

Accuracy improvement of a demand forecasting model

This research concerns different statistical methods that assist to increase the demand forecasting accuracy of company X’s forecasting model. Current forecasting process was analyzed in details. As a result, graphical scheme of logical algorithm was developed. Based on the analysis of the algorithm and forecasting errors, all the potential directions for model future improvements in context of its accuracy were gathered into the complete list. Three improvement directions were chosen for further practical research, on their basis, three test models were created and verified. Novelty of this work lies in the methodological approach of the original analysis of the model, which identified its critical points, as well as the uniqueness of the developed test models. Results of the study formed the basis of the grant of the Government of St. Petersburg.

Talo, kartano, puutarha. Kauppahuoneen omistaja Marie Hackman ja hänen kulutusvalintansa varhaismodernissa Viipurissa

Tutkimuksessa keskitytään tutkimaan kuluttamista elämäntavan ja identiteetin muovaajana yhden yksilön elämän kautta. Kuluttamista tutkitaan statuskuluttamisen (conspicious consumption), tilallisuuden ja sukupuolihistorian käsitteistöä hyväksi käyttäen. Tutkimuksen lähteinä on käytetty liikekirjeitä ja tilikirjoja, yksityistä kirjeenvaihtoa, päiväkirjoja ja sanomalehtiä sekä aikalaismuistelmia. Naista lähdemateriaaleista on koottu sekä tilastollista aineistoa että kvalitatiivista, lähilukuun ja mikrohistorialliseen tutkimusotteeseen nojautuvaa tutkimusta. Tutkimus alkaa vuodesta 1799 ja päättyy 1830-luvulle, jolloin seuraava sukupolvi otti vastuun liiketoimista ja lähdeaineistossa tapahtui muutoksia kuluttamisen kirjaamisen suhteen. Tutkimuksen keskeiset käsitteet ovat statuskuluttaminen ja identiteetti. Näitä käsitteitä lähestytään Thorstein Veblenin, Norbert Eliaksen ja Pierre Bourdieun tutkimuksia apuna käyttäen. Tutkimus käsittelee erottautumisen ja jäljittelyn tematiikkaa merkittävimpänä kuluttamisen motivaattoreina. Lisaksi tutkimus nostaa esille hyvän maun ja muodinmukaisuuden kulutusvalintojen taustalla. Statuskuluttaminen kytkeytyy sosiaaliseen kanssakäymiseen. Kuluttamisen kohteet ovat esineitä ja asioita, joita pidetään esillä seurapiireissä. Kuluttaminen tapahtuu seuraelämän ehdoilla, sen mukavoittamiseksi, aseman osoittamiseksi seurapiireissä tai sosiaalisen paineen vuoksi. Tutkimus osoittaa kotitalouden merkityksen kuluttamisen paikkana ja kohteena. Tutkimus myös osoittaa naisten toimintakentän olleen kytköksissä kotitalouden asemaan yhteisössään sekä osoittaa, että sukupuolta pitää tarkastella suhteessa yksilön sosiaaliseen asemaan. Tutkimus osoittaa, että Marie Hackmanin kuluttaminen muuttui ikääntymisen myötä. Aseman osoittaminen oli merkittävämpää nuorena ja aseman ollessa vielä vakiintumattomampi.