45 resultados para Logical positivism.
Resumo:
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.
Resumo:
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ä.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
Tämä diplomityö esittää Symbianin käyttöjärjestelmän verkkoarkkitehtuuriin perustuvan paikallisverkkokortin (LAN) käyttöönottoa. Pääajatus oli keskitetty langattoman LAN— kortin (WLAN) ajureiden käyttöönottoon. Jokainen Symbianin käyttöjärjestelmän verkkoarkkitehtuurin komponentti oli huolellisesti tutkittu, painottaen mahdollista langattoman yhteyden uudelleenkäyttöä. Myös olemassaolevan Ethernetkortin ajureiden uudelleenkäyttö oli huolellisesti otettu huomioon. Diplomityöprojektin aikana esimerkki WLAN-kortin ajurin lähdekoodista oli esitetty. Tämä ajuri on kirjoitettu NOKIA DTN-20 WLAN-korttia varten. Havaittiin myös, että suurin osa Symbianin käyttöjärjestelmän verkkoarkkitehtuurista voidaan käyttää myös WLAN-pohjaisessa yhteydessä ilman muutoksia.. Esitetty ajuri käyttää myös tiettyjä olemassaolevan Ethernetkortin ajureita, esim. Logical Device Driver (LDD):tä.
Resumo:
ADSL (Asymmetrical Digital Subsciber Line) on puhelinkaapelia siirtotienä käyttävä nopea Internet-liityntäteknologia, joka on yleistynyt viime vuosina kuluttajamarkkinoilla. Analoginen puhelinverkko on alun perin tarkoitettu puheen siirtoon 0-4kHz:n äänitaajuuskanavalla, mikä aiheuttaa rajoitteita datasiirtoon ylemmillä taajuuksilla. Puhelinverkkojen rakenne vaihtelee alueittain sisältäen erilaisia datasiirtoa häiritseviä tekijöitä. Tämän vuoksi ADSL-päätelaitteilta vaaditaan sopeutumiskykyä vaativiinkin olosuhteisiin. Nykyiset ADSL-standardit eivät vaadi päätelaitteilta riittävää suorituskykyä, jotta luotettava tiedonsiirto onnistuisi myös huonoissa verkko-olosuhteissa. Epäkohdan korjaamiseksi DSL Forum on kehittänyt yhdessä laitevalmistajien, tietoliikenneoperaattoreiden ja komponenttivalmistajien kanssa ADSL-päätelaitteiden yhteensopivuustestaukseen testipaketin nimeltä TR-048. Se on kattava joukko tarkkaan kuvattuja testejä, joissa keskitytään enimmäkseen fyysisen kerroksen testaamiseen. TR-048:aa ei vaadita vielä nykyisissä ADSL-standardeissa, mutta yksityiset laboratoriot ja laitetoimittajat ovat vähitellen ottamassa sitä käyttöön. Tämän työn keskeisenä tavoittena oli tehdä sovellus, jolla automatisoitiin suurin osa TR-048:n sisältämien ADSL-linjan fyysisen kerroksen testeistä. Valmiilla sovelluksella ajetun testikierroksen perusteella arvioitiin sovelluksesta saatua hyötyä ja tuotekehitysvaiheessa olevan Nokia D500 tilaajasolmun suorituskykyä. Työn teoriaosassa esitellään ADSL-teknologiaa ja ADSL-lähetin-vastaanottimen loogista toimintaa.
Resumo:
UMTS is a 3rd generation telecommunication system, which introduces new network architecture. The change in the network architecture introduces new logical network nodes and changes the role of existing nodes in the network. This architecture changes the current vertically specialized network into a horizontally layered structure. In practice, the layering means that different levels in network hierarchy are separated, and they communicate over well-specified interfaces. The Connectivity Layer, at the bottom of the UMTS network architecture, contains Media Gateways (MGW). The GSM radio access network and UMTS access network are connected to the connectivity network via a MGW. External networks, e.g. ISDN networks, are accessed via other MGWs. The user plane is transported across the connectivity network between/via MGWs. ATM network is used as the backbone in Ericsson’s UMTS core network release 2.0. The main goal of this thesis is to study how the MGW is used to bridge ATM and TDM networks. The Circuit Emulation Service (CES) for ATM is studied, as the conversion from TDM to ATM is made according it. The transportation is made using AAL2 and the issues that it has with voice traffic are studied. The implementation and usage of TDM switching service in MGW are described in detail.