Multi-scale systems analysis of plant development : beyond cellular signaling and tissue morphodynamics

Les plantes sont essentielles pour les sociétés humaines. Notre alimentation quotidienne, les matériaux de constructions et les sources énergétiques dérivent de la biomasse végétale. En revanche, la compréhension des multiples aspects développementaux des plantes est encore peu exploitée et représente un sujet de recherche majeur pour la science. L'émergence des technologies à haut débit pour le séquençage de génome à grande échelle ou l'imagerie de haute résolution permet à présent de produire des quantités énormes d'information. L'analyse informatique est une façon d'intégrer ces données et de réduire la complexité apparente vers une échelle d'abstraction appropriée, dont la finalité est de fournir des perspectives de recherches ciblées. Ceci représente la raison première de cette thèse. En d'autres termes, nous appliquons des méthodes descriptives et prédictives combinées à des simulations numériques afin d'apporter des solutions originales à des problèmes relatifs à la morphogénèse à l'échelle de la cellule et de l'organe. Nous nous sommes fixés parmi les objectifs principaux de cette thèse d'élucider de quelle manière l'interaction croisée des phytohormones auxine et brassinosteroïdes (BRs) détermine la croissance de la cellule dans la racine du méristème apical d'Arabidopsis thaliana, l'organisme modèle de référence pour les études moléculaires en plantes. Pour reconstruire le réseau de signalement cellulaire, nous avons extrait de la littérature les informations pertinentes concernant les relations entre les protéines impliquées dans la transduction des signaux hormonaux. Le réseau a ensuite été modélisé en utilisant un formalisme logique et qualitatif pour pallier l'absence de données quantitatives. Tout d'abord, Les résultats ont permis de confirmer que l'auxine et les BRs agissent en synergie pour contrôler la croissance de la cellule, puis, d'expliquer des observations phénotypiques paradoxales et au final, de mettre à jour une interaction clef entre deux protéines dans la maintenance du méristème de la racine. Une étude ultérieure chez la plante modèle Brachypodium dystachion (Brachypo- dium) a révélé l'ajustement du réseau d'interaction croisée entre auxine et éthylène par rapport à Arabidopsis. Chez ce dernier, interférer avec la biosynthèse de l'auxine mène à la formation d'une racine courte. Néanmoins, nous avons isolé chez Brachypodium un mutant hypomorphique dans la biosynthèse de l'auxine qui affiche une racine plus longue. Nous avons alors conduit une analyse morphométrique qui a confirmé que des cellules plus anisotropique (plus fines et longues) sont à l'origine de ce phénotype racinaire. Des analyses plus approfondies ont démontré que la différence phénotypique entre Brachypodium et Arabidopsis s'explique par une inversion de la fonction régulatrice dans la relation entre le réseau de signalisation par l'éthylène et la biosynthèse de l'auxine. L'analyse morphométrique utilisée dans l'étude précédente exploite le pipeline de traitement d'image de notre méthode d'histologie quantitative. Pendant la croissance secondaire, la symétrie bilatérale de l'hypocotyle est remplacée par une symétrie radiale et une organisation concentrique des tissus constitutifs. Ces tissus sont initialement composés d'une douzaine de cellules mais peuvent aisément atteindre des dizaines de milliers dans les derniers stades du développement. Cette échelle dépasse largement le seuil d'investigation par les moyens dits 'traditionnels' comme l'imagerie directe de tissus en profondeur. L'étude de ce système pendant cette phase de développement ne peut se faire qu'en réalisant des coupes fines de l'organe, ce qui empêche une compréhension des phénomènes cellulaires dynamiques sous-jacents. Nous y avons remédié en proposant une stratégie originale nommée, histologie quantitative. De fait, nous avons extrait l'information contenue dans des images de très haute résolution de sections transverses d'hypocotyles en utilisant un pipeline d'analyse et de segmentation d'image à grande échelle. Nous l'avons ensuite combiné avec un algorithme de reconnaissance automatique des cellules. Cet outil nous a permis de réaliser une description quantitative de la progression de la croissance secondaire révélant des schémas développementales non-apparents avec une inspection visuelle classique. La formation de pôle de phloèmes en structure répétée et espacée entre eux d'une longueur constante illustre les bénéfices de notre approche. Par ailleurs, l'exploitation approfondie de ces résultats a montré un changement de croissance anisotropique des cellules du cambium et du phloème qui semble en phase avec l'expansion du xylème. Combinant des outils génétiques et de la modélisation biomécanique, nous avons démontré que seule la croissance plus rapide des tissus internes peut produire une réorientation de l'axe de croissance anisotropique des tissus périphériques. Cette prédiction a été confirmée par le calcul du ratio des taux de croissance du xylème et du phloème au cours de développement secondaire ; des ratios élevés sont effectivement observés et concomitant à l'établissement progressif et tangentiel du cambium. Ces résultats suggèrent un mécanisme d'auto-organisation établi par un gradient de division méristématique qui génèrent une distribution de contraintes mécaniques. Ceci réoriente la croissance anisotropique des tissus périphériques pour supporter la croissance secondaire. - Plants are essential for human society, because our daily food, construction materials and sustainable energy are derived from plant biomass. Yet, despite this importance, the multiple developmental aspects of plants are still poorly understood and represent a major challenge for science. With the emergence of high throughput devices for genome sequencing and high-resolution imaging, data has never been so easy to collect, generating huge amounts of information. Computational analysis is one way to integrate those data and to decrease the apparent complexity towards an appropriate scale of abstraction with the aim to eventually provide new answers and direct further research perspectives. This is the motivation behind this thesis work, i.e. the application of descriptive and predictive analytics combined with computational modeling to answer problems that revolve around morphogenesis at the subcellular and organ scale. One of the goals of this thesis is to elucidate how the auxin-brassinosteroid phytohormone interaction determines the cell growth in the root apical meristem of Arabidopsis thaliana (Arabidopsis), the plant model of reference for molecular studies. The pertinent information about signaling protein relationships was obtained through the literature to reconstruct the entire hormonal crosstalk. Due to a lack of quantitative information, we employed a qualitative modeling formalism. This work permitted to confirm the synergistic effect of the hormonal crosstalk on cell elongation, to explain some of our paradoxical mutant phenotypes and to predict a novel interaction between the BREVIS RADIX (BRX) protein and the transcription factor MONOPTEROS (MP),which turned out to be critical for the maintenance of the root meristem. On the same subcellular scale, another study in the monocot model Brachypodium dystachion (Brachypodium) revealed an alternative wiring of auxin-ethylene crosstalk as compared to Arabidopsis. In the latter, increasing interference with auxin biosynthesis results in progressively shorter roots. By contrast, a hypomorphic Brachypodium mutant isolated in this study in an enzyme of the auxin biosynthesis pathway displayed a dramatically longer seminal root. Our morphometric analysis confirmed that more anisotropic cells (thinner and longer) are principally responsible for the mutant root phenotype. Further characterization pointed towards an inverted regulatory logic in the relation between ethylene signaling and auxin biosynthesis in Brachypodium as compared to Arabidopsis, which explains the phenotypic discrepancy. Finally, the morphometric analysis of hypocotyl secondary growth that we applied in this study was performed with the image-processing pipeline of our quantitative histology method. During its secondary growth, the hypocotyl reorganizes its primary bilateral symmetry to a radial symmetry of highly specialized tissues comprising several thousand cells, starting with a few dozens. However, such a scale only permits observations in thin cross-sections, severely hampering a comprehensive analysis of the morphodynamics involved. Our quantitative histology strategy overcomes this limitation. We acquired hypocotyl cross-sections from tiled high-resolution images and extracted their information content using custom high-throughput image processing and segmentation. Coupled with an automated cell type recognition algorithm, it allows precise quantitative characterization of vascular development and reveals developmental patterns that were not evident from visual inspection, for example the steady interspace distance of the phloem poles. Further analyses indicated a change in growth anisotropy of cambial and phloem cells, which appeared in phase with the expansion of xylem. Combining genetic tools and computational modeling, we showed that the reorientation of growth anisotropy axis of peripheral tissue layers only occurs when the growth rate of central tissue is higher than the peripheral one. This was confirmed by the calculation of the ratio of the growth rate xylem to phloem throughout secondary growth. High ratios are indeed observed and concomitant with the homogenization of cambium anisotropy. These results suggest a self-organization mechanism, promoted by a gradient of division in the cambium that generates a pattern of mechanical constraints. This, in turn, reorients the growth anisotropy of peripheral tissues to sustain the secondary growth.

Unification of multi-species vertebrate anatomy ontologies for comparative biology in Uberon.

BACKGROUND: Elucidating disease and developmental dysfunction requires understanding variation in phenotype. Single-species model organism anatomy ontologies (ssAOs) have been established to represent this variation. Multi-species anatomy ontologies (msAOs; vertebrate skeletal, vertebrate homologous, teleost, amphibian AOs) have been developed to represent 'natural' phenotypic variation across species. Our aim has been to integrate ssAOs and msAOs for various purposes, including establishing links between phenotypic variation and candidate genes. RESULTS: Previously, msAOs contained a mixture of unique and overlapping content. This hampered integration and coordination due to the need to maintain cross-references or inter-ontology equivalence axioms to the ssAOs, or to perform large-scale obsolescence and modular import. Here we present the unification of anatomy ontologies into Uberon, a single ontology resource that enables interoperability among disparate data and research groups. As a consequence, independent development of TAO, VSAO, AAO, and vHOG has been discontinued. CONCLUSIONS: The newly broadened Uberon ontology is a unified cross-taxon resource for metazoans (animals) that has been substantially expanded to include a broad diversity of vertebrate anatomical structures, permitting reasoning across anatomical variation in extinct and extant taxa. Uberon is a core resource that supports single- and cross-species queries for candidate genes using annotations for phenotypes from the systematics, biodiversity, medical, and model organism communities, while also providing entities for logical definitions in the Cell and Gene Ontologies. THE ONTOLOGY RELEASE FILES ASSOCIATED WITH THE ONTOLOGY MERGE DESCRIBED IN THIS MANUSCRIPT ARE AVAILABLE AT: http://purl.obolibrary.org/obo/uberon/releases/2013-02-21/ CURRENT ONTOLOGY RELEASE FILES ARE AVAILABLE ALWAYS AVAILABLE AT: http://purl.obolibrary.org/obo/uberon/releases/

Jätehuoltosuunnitelma Pohjois-Karjalan keskussairaalan laajennus K:ssa

Tämän työn tarkoituksena oli suunnitella toimiva jätehuoltoPohjois-Karjalan keskussairaalan alueelle vuosina 2007-2008 rakennettavaan laajennus K:hon. Tavoitteena oli löytää kustannustehokas ja hyvin vanhan rakennuskannan logistiikan kanssa yhteen toimiva jätehuollon vaihtoehto. Suunnittelua ohjasivat lakien, asetusten ja muiden määräyksien ohella laajennuksen pitkälle edennyt suunnitteluvaihe ja vanhan rakennuskannan jätehuollon toimintatavat. Jätehuolto on yksi merkittävä osa sairaalan perustehtävää palvelevista tukitoiminnoista. Jätehuoltojärjestelmä on sairaanhoitotyötä palveleva, jos järjestelyt ovat loogisia, toimivia ja logistiset yhteydet ovat mahdollisimman lyhyitä. Nykyinen ihmistyövoiman käyttöön perustuva jätehuollon prosessi on esitetty varsin tarkasti, sillä laajennuksen jätehuoltosuunnitelman on käytännön syistä pohjauduttava nykyiseen toimintatapaan. Työssä esitetään uusia jätehuollon vaihtoehtoja kustannusarvioineen, mutta ehdotukset jäävät lähinnä visiotasolle laajennuksen pitkälle ehtineen suunnitteluvaiheen vuoksi. Konkreettiset vaihtoehdot koskevat jätejakeiden keräystä ja niiden kuljetuksia. Keskus sairaalan jätehuollon tehostaminen vaatii kokonaisvaltaisen jätehuoltosuunnitelman laatimista koko sairaalan alueelle. Sen myötä on mahdollista lisätä kustannustehokkuutta ottamalla käyttöön teknisiä ratkaisuja. Jätehuoltosuunnitelma laajennukseen on työssä tehty, mutta työn suurimmaksi saavutukseksi jää kuitenkin esitys myöhempien hakkeiden jätehuollon suunnittelun aikaistamisesta jo hankesuunnitteluvaiheeseen.

Kustannustehokkuuteen tähtäävä alihankinnan kehittäminen

Työn tavoitteena oli kehittää metalliteollisuusyrityksen tarpeisiin menetelmä jolla alihankintaa kehitetään kustannustehokkuustavoitteita vastaavaksi. Selkeillä ja avoimilla toimintaperiaatteilla pyritään luomaan edellytykset alihankintaverkoston yritysten kehitykselle ja tehokkaalle osto- ja tuotantopäätöstoiminnalle. Tarve kehittää konepajayrityksen alihankintana teetettävää osavalmistusta on syntynyt kasvu- ja tulostavoitteista. Työn toimeksiantaja, metsäteollisuuden koneenrakennuksen lopputuotevalmistaja, pyrkii selkeyttämään sisäistä tuotantoaan ja nostamaan kapasiteettiaan valmiiden tuotteiden osalta. Näihin tavoitteisiin olennaisena osana kuuluu ydinosaamiseen keskittyminen ja alihankinnan suhteellinen lisääminen. Näin ollen alihankintaprosesseja on kehitettävä toimiviksi ja tehokkaiksi. Työssä on laadittu yrityksen tarpeisiin soveltuva toimintamalli, tavoiteasetannan mukaiseen alihankinnan kehittämiseen. Alihankinnan keskittäminen tuoteryhmittäin on pitkällä aikavälillä molempia osapuolia hyödyttävä valinta. Mallin toimenpiteiden avulla alihankinnan keskittämisellä saavutetaan etuja kustannustehokkuudessa, joustavuudessa sekä alihankintakentän selkeytymisessä.

Tapahtumankäsittely hajautetussa ympäristössä

Tapahtumankäsittelyä pidetään yleisesti eräänä luotettavan tietojenkäsittelyn perusvaatimuksena. Tapahtumalla tarkoitetaan operaatiosarjaa, jonka suoritusta voidaan pitää yhtenä loogisena toimenpiteenä. Tapahtumien suoritukselle on asetettu neljä perussääntöä, joista käytetään lyhennettä ACID. Hajautetuissa järjestelmissä tapahtumankäsittelyn tarve kasvaa entisestään, sillä toimenpiteiden onnistumista ei voida varmistaa pelkästään paikallisten menetelmien avulla. Hajautettua tapahtumankäsittelyä on yritetty standardoida useaan otteeseen, muttayrityksistä huolimatta siitä ei ole olemassa yleisesti hyväksyttyjä ja avoimia standardeja. Lähimpänä tällaisen standardin asemaa on todennäköisesti X/Open DTP-standardiperhe ja varsinkin siihen kuuluva XA-standardi. Tässä työssä on lisäksi tutkittu, kuinka Intellitel ONE-järjestelmän valmistajariippumatonta tietokanta-arkkitehtuuria tulisi kehittää, kun tavoitteena on mahdollistaa sen avulla suoritettavien tapahtumankäsittelyä vaativien sovellusten käyttäminen.

Johdon laskentajärjestelmän suunnittelu ja toimintoperusteisen laskennan käyttöönotto tietojärjestelmähankkeen yhteydessä

Tutkimus on tehty keskisuomalaiselle pk-yritykselle vuosien 2003-2005 aikana. Tutkimusjaksolla kohdeyrityksessä on toteutettu lukuisia mittavia muutoksia ja merkittävä investointiohjelma. Tutkimuksen kannalta oleellisin muutos on ollut yrityksen tietojärjestelmien kokonaisvaltainen uudistaminen. Vanha tuotannonohjausjärjestelmä on korvattu uudella toiminnanohjausjärjestelmällä ja myös taloudenohjausjärjestelmät on uudistettu. Tutkimuksen tavoitteena on ollut laatia kokonaisvaltainen suunnitelma johdon laskentajärjestelmien kehittämiseksi ja selvittää erityisesti toimintolaskentajärjestelmän sekä suorituskyvyn mittaus- ja analysointijärjestelmän implementoinnin edellytyksiä tutkimuksen kohdeyrityksessä ja laatia konkreettinen esitys järjestelmien rakentamiseksi. Johdon laskentajärjestelmän kokonaissuunnitelmassa tarkoituksena on laatia laskentajärjestelmän loogisten elementtien kuvauksen lisäksi esitys tarvittavista sovelluksista sekä tutkia sovellusten välisiä fyysisiä rajapintoja ja suunnitella järjestelmäintegraatio siten, että johdon laskentajärjestelmän koko naissuunnitelma on mahdollista taloudellisesti toteuttaa. Tutkimuksen tavoitteena on lisäksi ollut selvittääyrityksen toimintojen kustannukset ja tuoteryhmien kannattavuudet sekä rakentaasuorituskyvyn mittaus- ja analysointijärjestelmä SAKE prosessi-malliinperustuen. Lisäksi tutkimuksen puitteissa on rakennettu erilaisia liiketoimintaa tukevia raportteja erilaisilla kehitysvälineillä. Tutkimukselle asetetut sisällölliset tavoitteet saavutettiin pääpiirteissään. Jatkuvatoimisten ja integroitujen toimintolaskentajärjestelmän sekä suorituskyvyn mittaus- ja analysointijärjestelmän rakentaminen osoittautui tutkimuksen aikana haastavaksi, joskaan ei mahdottomaksi tehtäväksi. Järjestelmien rakennustyö jatkuu tutkimuksessa esitettyihin ajatuksiin perustuen yhteistyössä ohjelmistotoimittajan kanssa edelleen ja järjestelmät valmistunevat vuosien 2005-2006 aikana.

Verification of a dynamic laboratory scale former

Laboratoriomittakaavainen formeri on välttämätön, jotta paperinvalmistusprosessin jäljitteleminen olisi mahdollista. Vaikka erilaisia formereita löytyykin paperiteollisuudesta, tilaa on kuitenkin laboratoriomittakaavaiselle paperinvalmistusmenetelmälle, joka sijoittuisipilottikoneen ja perinteisen laboratorioarkkimuotin välille. Formeri, jolla saadaan aikaiseksi oikean paperinvalmistuksen kaltaiset olosuhteet ja ilmiöt on kehitetty, ja sen toiminta on testattu Nalcon Papermaking Centreof Excellence:ssä Espoossa. Formeri on yhdistetty Nalcon lähestymisjärjetelmäsimulaattoriin ja simulaattorilla aikaansaadut hydro-kemialliset ilmiöt voidaan testata nyt myös arkeista. Laitteessa on perälaatikko ja viiraosa. Perälaatikosta massa virtaa viiralle, joka liikkuu eteenpäin hihnakuljettimen hihnojen päällä. Suihku-viira -suhdetta voidaan muuttaa joko muuttamalla virtausnopeutta tai viiran nopeutta tai säätämällä perälaatikon huuliaukkoa. Formerintoiminnan testaus osoitti, että se toimii teknisesti hyvin ja tulokset ovat toistettavia ja loogisia. Arkeissa kuidut ovat orientoituneet, formaatio ja vetolujuussuhde KS/PS riippuvat voimakkaasti suihku-viira -suhteesta, kuten oikeillakinpaperikoneilla.

Taloushallinnon laskentajärjestelmien tuottaman tiedon kehitystarpeet, case: ammattikorkeakoulun maksullinen palvelutoiminta

Tutkimuksessa haetaan vastausta kysymykseen: millaista tietoa ammattikorkeakoulun taloushallinnon laskentajärjestelmistä pitäisi saada, jotta se vastaisi tiedon tarvitsijoiden tarpeisiin, sekä ammattikorkeakoulun sisällä että organisaation sidosryhmiin nähden, mahdollisimman tarkoituksenmukaisesti ja tehokkaasti? Tavoitteina on selvittää taloushallinnon laskentajärjestelmien kehitystarpeet maksullisen palvelutoiminnan osalta ja vertailla kolmen eri ammattikorkeakoulun välillä taloushallinnon laskentajärjestelmistä saatavaa tietoa tuoden esille parhaat käytännöt ja tiedon-tuottamistavat. Tutkimus on rajattu koskemaan maksullista palvelutoimintaa ja tutkittavaa ilmiötä käsitellään ammattikorkeakoulun sisällä. Näkökulmina ovat johtajan ja päätöksentekijän, kehittäjän ja taloushallinto-osaston näkökulmat. Tutkimus on teemahaastatteluin toteutettava kvalita-tiivinen case-tutkimus, jonka lopputulemana syntyy 'Taloushallinnon raportoinnin johdonmukainen ja aktiivinen kehittäminen' -toimintamalli. Tutkimuksen teoria perustuu pääosin laskentatoimesta (strateginen, johdon ja rahoituksen laskentatoimi sekä laskentatoimi yrityksen informaatiojärjestelmänä), taloushallinnosta (mm.talousjohtaminen, taloushallinnon muuttuva rooli) sekä benchmarkingista kirjoitetulle kirjallisuudelle. Näistä muodostuu tutkimuksen teoreettinen viitekehys jaedelleen teemahaastattelu-lomake, joka toimii empiirisen osion tiedon hankinnan pohjana.

Ficcionalisme i competències ètiques

El ficcionalisme, si més no en la seva versió més pràctica i aplicada, centrada en la literatura, és una eina àmpliament acreditada per la tradició filosòfica; i, possiblement, acreditada també per tots aquells lectors novel·lístics o espectadors teatrals que, a banda del goig estètic o la diversió que n"obtenen, han trobat en la literatura una oportunitat d"interpel·lació antropològica i moral. Es tracta, simplement, d"aprofitar didàcticament aquesta potencialitat que revela el ficcionalisme i d"estimular les dinàmiques intel·lectuals que l"experiència de la literatura suscita. La literatura és un lloc privilegiat de creació (artística i filosòfica) per presentar els fets humans i tots els seus aspectes morals. I, per descomptat, si ho singularitzem a la proposta de l"article, docents i alumnes hi poden acudir per descobrir materials literaris en què hi apareguin les competències ètiques que es consideri oportú de treballar preferentment a cada facultat.

Ficcionalisme i competències ètiques

El ficcionalisme, si més no en la seva versió més pràctica i aplicada, centrada en la literatura, és una eina àmpliament acreditada per la tradició filosòfica; i, possiblement, acreditada també per tots aquells lectors novel·lístics o espectadors teatrals que, a banda del goig estètic o la diversió que n"obtenen, han trobat en la literatura una oportunitat d"interpel·lació antropològica i moral. Es tracta, simplement, d"aprofitar didàcticament aquesta potencialitat que revela el ficcionalisme i d"estimular les dinàmiques intel·lectuals que l"experiència de la literatura suscita. La literatura és un lloc privilegiat de creació (artística i filosòfica) per presentar els fets humans i tots els seus aspectes morals. I, per descomptat, si ho singularitzem a la proposta de l"article, docents i alumnes hi poden acudir per descobrir materials literaris en què hi apareguin les competències ètiques que es consideri oportú de treballar preferentment a cada facultat.

Kassanhallintakäytännöt Suomen kunnissa

Kassanhallintakirjallisuus on pitkälti normatiivista tai yksittäisiä kohteita ja niiden kassanhallinnanosa-alueita tarkastelevaa case-tutkimusta. Sen sijaan kassanhallintaa laajalla tutkimuskohdejoukolla strategia- ja järjestelmävalintojen näkökulmasta tarkastelevia tutkimuksia on tehty vain vähän. Tämä suomalaista kuntakenttää tarkastelevaeksploratiivinen tutkimus antaa kuvan rakenne-, strategia- ja järjestelmävalinnoista, joita kunnat ovat painottaneet kassanhallinnassaan vuosina 2000 - 2002. Tutkimuksen metodologisena viitekehyksenä käytetty kontingenssilähestymistapaan pohjautuva konfiguratiivinen systeemimalli mahdollisti suuren tutkimuskohdejoukonstrategia- ja järjestelmäkäytäntöjen erojen kvantitatiivisen analysoinnin. Ryhmittelyanalyysin avulla tutkimusdatasta muodostui neljä strategia- ja järjestelmäpainotuksiltaan toisistaan eroavaa kuntaryhmää, ja tutkimustulokset osoittivat kuntien kassanhallintakäytäntöjen olevan hyvin samankaltaisia yksityissektorin vastaaviin käytäntöihin verrattuna; myös julkissektorin kassanhallinnassa painotetaan kustannustehokkuutta. Kustannustehokkuusstrategian rinnalla vastaajakunnat painottivat sijoitus-, lainanhoito- ja riskienhallintastrategioita sekä em. strategioiden toteuttamista tukevia rakenne- ja järjestelmävalintoja. Myös pienempienkuntien havaittiin tukeutuneen samoihin strategia- ja järjestelmäpainotuksiin kuin isommat kunnat, vaikka esim. järjestelmien käytännön tietohallintaratkaisuissa saattaa esiintyä kuntakoosta johtuvia eroja. Lisäksi joustavuusstrategian painoarvo osana kuntien kassanhallintastrategioita oli suuri. Tämä on johdonmukaista, sillä kassapositioiden ennakoimattomat muutokset edellyttävät nopeaa päätöksentekoa. Kustannustehokkuusajattelulla, kassanhoitokokonaisuuden ymmärtämisellä ja uusien kassanhoitotekniikoiden sekä rahoitusinstrumenttien selektiivisellä käytöllä on mahdollista vaikuttaa kuntien rahoituksenhoidon nettokustannuksiin.

Dynamic Model of a Small Once-Through Boiler

In this study, a model for the unsteady dynamic behaviour of a once-through counter flow boiler that uses an organic working fluid is presented. The boiler is a compact waste-heat boiler without a furnace and it has a preheater, a vaporiser and a superheater. The relative lengths of the boiler parts vary with the operating conditions since they are all parts of a single tube. The present research is a part of a study on the unsteady dynamics of an organic Rankine cycle power plant and it will be a part of a dynamic process model. The boiler model is presented using a selected example case that uses toluene as the process fluid and flue gas from natural gas combustion as the heat source. The dynamic behaviour of the boiler means transition from the steady initial state towards another steady state that corresponds to the changed process conditions. The solution method chosen was to find such a pressure of the process fluid that the mass of the process fluid in the boiler equals the mass calculated using the mass flows into and out of the boiler during a time step, using the finite difference method. A special method of fast calculation of the thermal properties has been used, because most of the calculation time is spent in calculating the fluid properties. The boiler was divided into elements. The values of the thermodynamic properties and mass flows were calculated in the nodes that connect the elements. Dynamic behaviour was limited to the process fluid and tube wall, and the heat source was regarded as to be steady. The elements that connect the preheater to thevaporiser and the vaporiser to the superheater were treated in a special way that takes into account a flexible change from one part to the other. The model consists of the calculation of the steady state initial distribution of the variables in the nodes, and the calculation of these nodal values in a dynamic state. The initial state of the boiler was received from a steady process model that isnot a part of the boiler model. The known boundary values that may vary during the dynamic calculation were the inlet temperature and mass flow rates of both the heat source and the process fluid. A brief examination of the oscillation around a steady state, the so-called Ledinegg instability, was done. This examination showed that the pressure drop in the boiler is a third degree polynomial of the mass flow rate, and the stability criterion is a second degree polynomial of the enthalpy change in the preheater. The numerical examination showed that oscillations did not exist in the example case. The dynamic boiler model was analysed for linear and step changes of the entering fluid temperatures and flow rates.The problem for verifying the correctness of the achieved results was that there was no possibility o compare them with measurements. This is why the only way was to determine whether the obtained results were intuitively reasonable and the results changed logically when the boundary conditions were changed. The numerical stability was checked in a test run in which there was no change in input values. The differences compared with the initial values were so small that the effects of numerical oscillations were negligible. The heat source side tests showed that the model gives results that are logical in the directions of the changes, and the order of magnitude of the timescale of changes is also as expected. The results of the tests on the process fluid side showed that the model gives reasonable results both on the temperature changes that cause small alterations in the process state and on mass flow rate changes causing very great alterations. The test runs showed that the dynamic model has no problems in calculating cases in which temperature of the entering heat source suddenly goes below that of the tube wall or the process fluid.

Omistajuus asiakasomisteisissa osuuskunnissa

Asiakasomisteiset osuuskunnat ovat menestyneet Suomessa erittäin hyvin. Niiden ymmärtäminen yritysmuotona on kuitenkin toistaiseksi perustunut lähinnä muilla kuin liiketaloustieteen oppialoilla tehdyille tutkimuksille. Johtaminen ja organisaatiot -oppialalla asiakasomisteista osuustoimintaa on tutkittu erittäin vähän. Tämä väitöskirja pyrkii vastaamaan osuustoiminnan liiketaloustieteellisen tutkimuksen kehittämisen haasteeseen keskittymällä omistajuuteen, yritystoiminnan erityispiirteiden ytimeen. Tutkimus osallistuu osuustoiminnallisesta omistajuudesta Suomessa käytävään akateemiseen keskusteluun esittelemällä viitekehyksen asiakasomisteisen osuuskunnan omistajuuden tulkitsemiseen. Tutkimuksessa pyritään ymmärtämään asiakasomistajuuden ulottuvuuksia, kuten ne rakentuvat osuustoiminnan asiantuntijoiden puheenvuoroissa. Asiakasomistajuutta ei siis analysoida "rivijäsenten" näkökulmasta, vaan tulkinta rajoittuu OP-ryhmän osuuspankkien ja S-ryhmän osuuskauppojen johtajien ja hallintohenkilöiden sekä tutkijoidentutkimusaineistossa esittämiin selontekoihin. Aineisto koostuu kaikkiaan kolmestakymmenestäviidestä haastattelusta sekä dokumenttiaineistosta. Tulkittavia tekstejä lähestytään siten, että niiden ajatellaan ylläpitävän ja aktiivisesti rakentavan asiakasomisteisten osuuskuntien omistajuutta. Väitöskirjassa rakentuva asiakasomistajuuden malli pitää sisällään sekä taloudellisrationaalisen että psykologisen omistajuuden niin yksittäisen asiakasomistajan kuin jäsenyhteisön näkökulmasta. Työn teoreettisena kontribuutiona on erityisesti asiakasomisteisen osuuskunnan omistajuuden psykologisen ulottuvuuden määrittely sekä sen liittäminen yhteisötasolla paikallisuuteen ja alueellisuuteen. Edellä mainittujen omistajuuden ulottuvuuksien ollessa kiinteästi sidoksissa asiakasomisteisten osuuskuntien rakenteeseen ja toimintatapaan, ne tarjoavat kehityspohjan kyseisten yritysten johtamista ja omistajaohjausta käsitteleville teorioille.

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.