984 resultados para lambda calculus types, mathematical logic


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Résumé Introduction et but: Les accidents vasculaires cérébraux (AVC) ischémiques thalamiques sont traditionnellement classés en quatre territoires : antérieur (polaire ou tubérothalamique), paramédian (ou thalamo-perforant), inférolatéral (ou thalamo-genouillé) et postérieur. Le but de cette thèse est de déterminer, à l'aide des techniques d'imagerie actuelles, si cette classification est appropriée ou si il existe d'autres territoires à la jonction entre les précédents territoires. Méthode: Nous avons étudié les 3712 patients hospitalisés pour un premier AVC dans le service de neurologie du CHUV à Lausanne et inclus dans le « Lausanne Stroke Registry » entre 1990 et 2002. Parmi les 71 patients avec un infarctus thalamique confirmé par IRM, nous avons sélectionné tous les patients présentant un AVC hors des quatre territoires classiques en étudiant leur tableau clinique, étiologique et radiologique. Résultats: 21 patients (30% des patients avec AVC thalamiques) avaient un AVC hors des quatre territoires classiques, permettant de délimiter trois nouveaux territoires. 1) territoire anteromédian (9 patients (13%)), atteignant la partie postérieure du territoire antérieur et la partie antérieure du territoire paramédian, avec en premier lieu des troubles cognitifs (principalement troubles dysexecutifs, amnésie antérograde ainsi qu'une aphasie dans les lésions gauches). L'étiologie principale était cardio-embolique. 2) territoire central (4 patients (6%)), atteignant la partie centrale du thalamus provoquant différents signes neurologiques et neuropsychologiques, reflétant l'atteinte de différentes structures. La cause la plus fréquente était microangiopathique. 3) territoire posterolateral (8 patients (8%)), atteignant la partie postérieure du territoire inférolatéral et la partie antérieure du territoire postérieur provoquant en premier lieu une hémihypesthesie mais aussi une hémiataxie ainsi que des troubles dysexécutifs et une aphasie dans les lésions gauches. Les étiologies les plus fréquentes étaient artério-artérielle et microangiopathique. Conclusions: Nous décrivons trois nouvelles variantes topographiques d'AVC thalamiques avec des tableaux cliniques et étiologiques distincts. Nous postulons que ces variantes sont le résultat de variations de la vascularisation thalamique ou reflètent une atteinte ischémique jonctionnelle. Abstract Background and Purpose -Thalamic infarcts have traditionally been classified into 4 territories: anterior, paramedian, inferolateral, and posterior. The purpose of this study was to review this classical versus variant distribution in patients with thalamic stroke. Methods - We reviewed all patients with a first clinical stroke included in the Lausanne Stroke Registry between 1990 and 2002. Among 71 patients with an acute stroke isolated to the thalamus confirmed by MRI, we selected all patients with lesions outside the classical territories and studied their clinical, etiological, and radiological features. Results - A total of 21 patients (30% of all thalamic stroke patients) showed infarction outside the classical territories, allowing us to delineate 3 variant distributions: (1) Anteromedian territory (9 patients [13%]) involving anterior and paramedian territories, with predominantly cognitive impairment, including executive dysfunction, anterograde amnesia, and aphasia in left-sided or bilateral lesions. The most frequent stroke mechanism was cardiac embolism. (2) Central territory (4 patients [6%]), with lesions on the central part of the thalamus, resulting in a variety of neurological and neuropsychological signs, reflecting the involvement of several adjacent structures. Microangiopathy was the most frequent etiology. (3) Posterolateral territory (8 patients [11%]), involving inferolateral and posterior territories, with hemihypesthesia as the most frequent manifestation, followed by hemiataxia, executive dysfunction, and aphasia in left-sided lesions. Artery-to-artery embolism and microangiopathy were the main stroke mechanisms. Conclusions - We describe 3 variant topographic patterns of thalamic infarction with distinct manifestations and etiologies. We postulate that these infarcts are the result of a variation in thalamic arterial supply or reflect borderzone ischemia.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present a two-level model of concurrent communicating systems (CCS) to serve as a basis formachine consciousness. A language implementing threads within logic programming is ¯rstintroduced. This high-level framework allows for the de¯nition of abstract processes that can beexecuted on a virtual machine. We then look for a possible grounding of these processes into thebrain. Towards this end, we map abstract de¯nitions (including logical expressions representingcompiled knowledge) into a variant of the pi-calculus. We illustrate this approach through aseries of examples extending from a purely reactive behavior to patterns of consciousness.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background: Nanoparticle (NPs) functionalization has been shown to affect their cellular toxicity. To study this, differently functionalized silver (Ag) and gold (Au) NPs were synthesised, characterised and tested using lung epithelial cell systems. Mehtods: Monodispersed Ag and Au NPs with a size range of 7 to 10 nm were coated with either sodium citrate or chitosan resulting in surface charges from ¿50 mV to +70 mV. NP-induced cytotoxicity and oxidative stress were determined using A549 cells, BEAS-2B cells and primary lung epithelial cells (NHBE cells). TEER measurements and immunofluorescence staining of tight junctions were performed to test the growth characteristics of the cells. Cytotoxicity was measured by means of the CellTiter-Blue ® and the lactate dehydrogenase assay and cellular and cell-free reactive oxygen species (ROS) production was measured using the DCFH-DA assay. Results: Different growth characteristics were shown in the three cell types used. A549 cells grew into a confluent mono-layer, BEAS-2B cells grew into a multilayer and NHBE cells did not form a confluent layer. A549 cells were least susceptible towards NPs, irrespective of the NP functionalization. Cytotoxicity in BEAS-2B cells increased when exposed to high positive charged (+65-75 mV) Au NPs. The greatest cytotoxicity was observed in NHBE cells, where both Ag and Au NPs with a charge above +40 mV induced cytotoxicity. ROS production was most prominent in A549 cells where Au NPs (+65-75 mV) induced the highest amount of ROS. In addition, cell-free ROS measurements showed a significant increase in ROS production with an increase in chitosan coating. Conclusions: Chitosan functionalization of NPs, with resultant high surface charges plays an important role in NP-toxicity. Au NPs, which have been shown to be inert and often non-cytotoxic, can become toxic upon coating with certain charged molecules. Notably, these effects are dependent on the core material of the particle, the cell type used for testing and the growth characteristics of these cell culture model systems.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Voltage fluctuations caused by parasitic impedances in the power supply rails of modern ICs are a major concern in nowadays ICs. The voltage fluctuations are spread out to the diverse nodes of the internal sections causing two effects: a degradation of performances mainly impacting gate delays anda noisy contamination of the quiescent levels of the logic that drives the node. Both effects are presented together, in thispaper, showing than both are a cause of errors in modern and future digital circuits. The paper groups both error mechanismsand shows how the global error rate is related with the voltage deviation and the period of the clock of the digital system.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Many engineering problems that can be formulatedas constrained optimization problems result in solutionsgiven by a waterfilling structure; the classical example is thecapacity-achieving solution for a frequency-selective channel.For simple waterfilling solutions with a single waterlevel and asingle constraint (typically, a power constraint), some algorithmshave been proposed in the literature to compute the solutionsnumerically. However, some other optimization problems result insignificantly more complicated waterfilling solutions that includemultiple waterlevels and multiple constraints. For such cases, itmay still be possible to obtain practical algorithms to evaluate thesolutions numerically but only after a painstaking inspection ofthe specific waterfilling structure. In addition, a unified view ofthe different types of waterfilling solutions and the correspondingpractical algorithms is missing.The purpose of this paper is twofold. On the one hand, itoverviews the waterfilling results existing in the literature from aunified viewpoint. On the other hand, it bridges the gap betweena wide family of waterfilling solutions and their efficient implementationin practice; to be more precise, it provides a practicalalgorithm to evaluate numerically a general waterfilling solution,which includes the currently existing waterfilling solutions andothers that may possibly appear in future problems.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The research of condition monitoring of electric motors has been wide for several decades. The research and development at universities and in industry has provided means for the predictive condition monitoring. Many different devices and systems are developed and are widely used in industry, transportation and in civil engineering. In addition, many methods are developed and reported in scientific arenas in order to improve existing methods for the automatic analysis of faults. The methods, however, are not widely used as a part of condition monitoring systems. The main reasons are, firstly, that many methods are presented in scientific papers but their performance in different conditions is not evaluated, secondly, the methods include parameters that are so case specific that the implementation of a systemusing such methods would be far from straightforward. In this thesis, some of these methods are evaluated theoretically and tested with simulations and with a drive in a laboratory. A new automatic analysis method for the bearing fault detection is introduced. In the first part of this work the generation of the bearing fault originating signal is explained and its influence into the stator current is concerned with qualitative and quantitative estimation. The verification of the feasibility of the stator current measurement as a bearing fault indicatoris experimentally tested with the running 15 kW induction motor. The second part of this work concentrates on the bearing fault analysis using the vibration measurement signal. The performance of the micromachined silicon accelerometer chip in conjunction with the envelope spectrum analysis of the cyclic bearing faultis experimentally tested. Furthermore, different methods for the creation of feature extractors for the bearing fault classification are researched and an automatic fault classifier using multivariate statistical discrimination and fuzzy logic is introduced. It is often important that the on-line condition monitoring system is integrated with the industrial communications infrastructure. Two types of a sensor solutions are tested in the thesis: the first one is a sensor withcalculation capacity for example for the production of the envelope spectra; the other one can collect the measurement data in memory and another device can read the data via field bus. The data communications requirements highly depend onthe type of the sensor solution selected. If the data is already analysed in the sensor the data communications are needed only for the results but in the other case, all measurement data need to be transferred. The complexity of the classification method can be great if the data is analysed at the management level computer, but if the analysis is made in sensor itself, the analyses must be simple due to the restricted calculation and memory capacity.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Kontekstitietoisuuden katsotaan voivan parantaa sovellusten ja palvelujen käytettävyyttä matkapuhelimissa. Kontekstitietoisuuden tekniikoita voidaan käyttää myös peleissä, joko siksi, että ne mahdollistavat uudenlaisia pelejä, tai siksi, että peleillä voidaan havainnollistaa ja testata eri tekniikoiden toimintaa. Diplomityössä esitellään prototyyppi monen pelaajan kontekstitietoisesta mobiilipelistä, jossa pelivälineinä käytetään kamerapuhelimella luettavia tavallisia viivakoodeja. Viivakoodit on yhdistetty palvelimella sijaitsevan pelimaailman kohteisiin, joiden omistuksesta pelaajat kilpailevat. Peliä on tarkoitus arvioida myöhemmin pelattavuuden ja idean kiinnostavuuden kannalta. Prototyypin toinen tehtävä on havainnollistaa Multi-User Publishing Environment (MUPE) -sovellusalustan tukea kontekstitietoisuudelle. Työ kuvaa pelin suunnittelun, toteutuksen ja arvioinnin alkaen varhaisimmista ideoista ja päättyen osittaiseen prototyyppiin. Prototyypissä on toteutettu osa pelilogiikasta ja käyttöliittymästä, mutta sitä ei ole integroitu kontekstitietoa kerääviin sensoreihin. Pelin suunnittelussa käytettiin apuna heuristista arviointia ja kahta fokusryhmähaastattelua.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Teollisuuden tuotannon eri prosessien optimointi on hyvin ajankohtainen aihe. Monet ohjausjärjestelmät ovat ajalta, jolloin tietokoneiden laskentateho oli hyvin vaatimaton nykyisiin verrattuna. Työssä esitetään tuotantoprosessi, joka sisältää teräksen leikkaussuunnitelman muodostamisongelman. Valuprosessi on yksi teräksen valmistuksen välivaiheita. Siinä sopivaan laatuun saatettu sula teräs valetaan linjastoon, jossa se jähmettyy ja leikataan aihioiksi. Myöhemmissä vaiheissa teräsaihioista muokataan pienempiä kokonaisuuksia, tehtaan lopputuotteita. Jatkuvavaletut aihiot voidaan leikata tilauskannasta riippuen monella eri tavalla. Tätä varten tarvitaan leikkaussuunnitelma, jonka muodostamiseksi on ratkaistava sekalukuoptimointiongelma. Sekalukuoptimointiongelmat ovat optimoinnin haastavin muoto. Niitä on tutkittu yksinkertaisempiin optimointiongelmiin nähden vähän. Nykyisten tietokoneiden laskentateho on kuitenkin mahdollistanut raskaampien ja monimutkaisempien optimointialgoritmien käytön ja kehittämisen. Työssä on käytetty ja esitetty eräs stokastisen optimoinnin menetelmä, differentiaalievoluutioalgoritmi. Tässä työssä esitetään teräksen leikkausoptimointialgoritmi. Kehitetty optimointimenetelmä toimii dynaamisesti tehdasympäristössä käyttäjien määrittelemien parametrien mukaisesti. Työ on osa Syncron Tech Oy:n Ovako Bar Oy Ab:lle toimittamaa ohjausjärjestelmää.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tutkielman tavoitteena on tunnistaa Kaakkois-Suomen alueella olevat ohjelmistoyritysten tyypilliset yritysryhmät ja kuvata niiden toimintaa. Tunnistamalla alueen ohjelmistoyrityksille ominaiset piirteet työ antaa myös pohjaa tulevien kehityskohteiden löytämisessä ja kehitystoimenpiteiden kohdistamisessa useisiin samantyyppisiin yrityksiin. Työn taustaksi esitellään ohjelmistoalaa ja ohjelmistoliiketoiminnan malleja, joiden pohjalta muodostetaan viitekehys alueen ohjelmistoyritysten empiiriseen tarkasteluun. Empiriaosuudessa tarkastellaan työn teoreettisessa osiossa esitettyjen liiketoimintamallien toteutumista Kaakkois-Suomessa ja ryhmitellään alueen ohjelmistoyritykset erottelevimpien tekijöiden avulla. Tutkimus on luonteeltaan kvantitatiivinen kokonaistutkimus Kaakkois-Suomen ohjelmistoyrityksistä, ja tutkimusotteeltaan deskriptiivinen eli kuvaileva. Tutkimusaineisto perustui tutkimusryhmän suorittamaan strukturoituun haastatteluun, jossa haastateltiin kaikkiaan 58 ohjelmistoyrityksen vastuuhenkilöitä. Tutkimustulosten perusteella alueelta pystyttiin tunnistamaan neljä toimintatavoiltaan erilaista ohjelmistoliiketoiminnan perustyyppiä: asiakaslähtöiset toimijat (26 toimipaikkaa), räätälöijät (14 toimipaikkaa), integroijat (10 toimipaikkaa) ja tuotteistajat (8 toimipaikkaa). Tulokset osoittavat, että perinteisten ohjelmistoalan liiketoimintamallien kuvaukset ja niistä tehtävät yleistykset antavat hyvän lähtökohdan ohjelmistoyritysten tarkasteluun. Kuitenkin perinteisten ohjelmistoalan liiketoimintamallien antama näkökulma on liian rajoittunut,jos halutaan tarkastella syvällisemmin ohjelmistoyritysten liiketoimintalogiikkaa.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

PURPOSE: To localize collagen types I, III, and IV, laminin and fibronectin in the anterior human lens capsule. MATERIAL AND METHODS: Twenty-one anterior capsules were sampled by capsulorhexis during extracapsular cataract extraction (mean age 71.5). All capsules were labelled by an immunostaining specific for each antibodies. Immunostaining of four capsules was revealed with immunoperoxydase and seventeen using indirect immunofluorescence. RESULTS: Labelling of collagen types I and III was observed throughout the entire thickness of the capsule for each technique, the strongest labelling was found in the base of the epithelial cells with immunofluorescence. Collagen type IV was observed at the base of the epithelial cells whichever technique was used. Laminin could be detected in the inner layer of the capsule, using immunoperoxydase or immunofluorescence. No specific labelling was found for fibronectin using the two techniques. CONCLUSIONS: Different kinds of collagens have been found in capsules, more particularly the type III. The latter does not appear on other ocular basement membrane. Because of this uneven distribution in the capsule's thickness, each collagen might have a specific function.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Resume : Mieux comprendre les stromatolithes et les tapis microbiens est un sujet important en biogéosciences puisque cela aide à l'étude des premières formes de vie sur Terre, a mieux cerner l'écologie des communautés microbiennes et la contribution des microorganismes a la biominéralisation, et même à poser certains fondements dans les recherches en exobiologie. D'autre part, la modélisation est un outil puissant utilisé dans les sciences naturelles pour appréhender différents phénomènes de façon théorique. Les modèles sont généralement construits sur un système d'équations différentielles et les résultats sont obtenus en résolvant ce système. Les logiciels disponibles pour implémenter les modèles incluent les logiciels mathématiques et les logiciels généraux de simulation. L'objectif principal de cette thèse est de développer des modèles et des logiciels pour aider a comprendre, via la simulation, le fonctionnement des stromatolithes et des tapis microbiens. Ces logiciels ont été développés en C++ en ne partant d'aucun pré-requis de façon a privilégier performance et flexibilité maximales. Cette démarche permet de construire des modèles bien plus spécifiques et plus appropriés aux phénomènes a modéliser. Premièrement, nous avons étudié la croissance et la morphologie des stromatolithes. Nous avons construit un modèle tridimensionnel fondé sur l'agrégation par diffusion limitée. Le modèle a été implémenté en deux applications C++: un moteur de simulation capable d'exécuter un batch de simulations et de produire des fichiers de résultats, et un outil de visualisation qui permet d'analyser les résultats en trois dimensions. Après avoir vérifié que ce modèle peut en effet reproduire la croissance et la morphologie de plusieurs types de stromatolithes, nous avons introduit un processus de sédimentation comme facteur externe. Ceci nous a mené a des résultats intéressants, et permis de soutenir l'hypothèse que la morphologie des stromatolithes pourrait être le résultat de facteurs externes autant que de facteurs internes. Ceci est important car la classification des stromatolithes est généralement fondée sur leur morphologie, imposant que la forme d'un stromatolithe est dépendante de facteurs internes uniquement (c'est-à-dire les tapis microbiens). Les résultats avancés dans ce mémoire contredisent donc ces assertions communément admises. Ensuite, nous avons décidé de mener des recherches plus en profondeur sur les aspects fonctionnels des tapis microbiens. Nous avons construit un modèle bidimensionnel de réaction-diffusion fondé sur la simulation discrète. Ce modèle a été implémenté dans une application C++ qui permet de paramétrer et exécuter des simulations. Nous avons ensuite pu comparer les résultats de simulation avec des données du monde réel et vérifier que le modèle peut en effet imiter le comportement de certains tapis microbiens. Ainsi, nous avons pu émettre et vérifier des hypothèses sur le fonctionnement de certains tapis microbiens pour nous aider à mieux en comprendre certains aspects, comme la dynamique des éléments, en particulier le soufre et l'oxygène. En conclusion, ce travail a abouti à l'écriture de logiciels dédiés à la simulation de tapis microbiens d'un point de vue tant morphologique que fonctionnel, suivant deux approches différentes, l'une holistique, l'autre plus analytique. Ces logiciels sont gratuits et diffusés sous licence GPL (General Public License). Abstract : Better understanding of stromatolites and microbial mats is an important topic in biogeosciences as it helps studying the early forms of life on Earth, provides clues re- garding the ecology of microbial ecosystems and their contribution to biomineralization, and gives basis to a new science, exobiology. On the other hand, modelling is a powerful tool used in natural sciences for the theoretical approach of various phenomena. Models are usually built on a system of differential equations and results are obtained by solving that system. Available software to implement models includes mathematical solvers and general simulation software. The main objective of this thesis is to develop models and software able to help to understand the functioning of stromatolites and microbial mats. Software was developed in C++ from scratch for maximum performance and flexibility. This allows to build models much more specific to a phenomenon rather than general software. First, we studied stromatolite growth and morphology. We built a three-dimensional model based on diffusion-limited aggregation. The model was implemented in two C++ applications: a simulator engine, which can run a batch of simulations and produce result files, and a Visualization tool, which allows results to be analysed in three dimensions. After verifying that our model can indeed reproduce the growth and morphology of several types of stromatolites, we introduced a sedimentation process as an external factor. This lead to interesting results, and allowed to emit the hypothesis that stromatolite morphology may be the result of external factors as much as internal factors. This is important as stromatolite classification is usually based on their morphology, imposing that a stromatolite shape is dependant on internal factors only (i.e. the microbial mat). This statement is contradicted by our findings, Second, we decided to investigate deeper the functioning of microbial mats, We built a two-dimensional reaction-diffusion model based on discrete simulation, The model was implemented in a C++ application that allows setting and running simulations. We could then compare simulation results with real world data and verify that our model can indeed mimic the behaviour of some microbial mats. Thus, we have proposed and verified hypotheses regarding microbial mats functioning in order to help to better understand them, e.g. the cycle of some elements such as oxygen or sulfur. ln conclusion, this PhD provides a simulation software, dealing with two different approaches. This software is free and available under a GPL licence.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents a research concerning the conversion of non-accessible web pages containing mathematical formulae into accessible versions through an OCR (Optical Character Recognition) tool. The objective of this research is twofold. First, to establish criteria for evaluating the potential accessibility of mathematical web sites, i.e. the feasibility of converting non-accessible (non-MathML) math sites into accessible ones (Math-ML). Second, to propose a data model and a mechanism to publish evaluation results, making them available to the educational community who may use them as a quality measurement for selecting learning material.Results show that the conversion using OCR tools is not viable for math web pages mainly due to two reasons: many of these pages are designed to be interactive, making difficult, if not almost impossible, a correct conversion; formula (either images or text) have been written without taking into account standards of math writing, as a consequence OCR tools do not properly recognize math symbols and expressions. In spite of these results, we think the proposed methodology to create and publish evaluation reports may be rather useful in other accessibility assessment scenarios.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tämä diplomityö käsittelee paperikoneiden kulutusosapalvelua tarjoavan yrityksen hinnoittelumallin kehittämistä haastavassa toimintaympäristössä, jossa kilpailu on kiristynyt ja asiakkaat ovat muuttuneet entistä hintatietoisemmiksi. Työn tavoitteena on kehittää kulutusosapalvelulle hinnoittelumalli ja pohtia ¤/tuotettu paperitonni (¤/tonni)-hinnoittelun soveltuvuutta paperikoneiden kulutusosapalvelua toimittaville yrityksille. ¤/tonni-hinnoittelussalähtökohta on asiakkaalle tuotettu hyöty; kuinka paljon paperia kulutusosilla pystytään tuottamaan. ¤/tonni-hinnoittelua tarkastellaan tarkemmin esimerkkiasiakkaiden avulla, joiden tehtailla toimintatavat kulutusosapalveluun liittyen vaihtelevat. Tavoitteena on selvittää kulutusosapalvelun ¤/tonni-kustannukset eri toimintatavoissa kulutusosapalveluita tarjoavan yrityksen sekä asiakkaan näkökulmasta. Työssä selvitetään kuinka eri toimintatapojen ja asiakkaiden kannattavuus vaihtelee kulutusosapalveluita tarjoavan yrityksen kannalta, jamikä toimintamalli on edullisin asiakkaan kannalta. Kehitettävän hinnoittelumallin avulla analysoidaan, kuinka paljon hyötyä kulutusosapalveluita tarjoava yritys tarjoaa asiakkailleen palveluillaan. Kulutusosapalvelu jaetaan kolmeen selvitettävään kustannuskomponenttiin; kulutusosa-, logistiikka- ja laadun puutekustannuksiin. Työn teoreettinen osa koostuu kirjallisuustutkimuksesta liittyen hinnoitteluun, hinnoittelumalleihin ja hinnoittelusopimuksiin. Työnempiirinen osa perustuu haastatteluihin ja sisäisten tietojärjestelmien tietoihin. Kirjallisuustutkimuksen, haastattelujen ja kohdeyrityksen sisäisen materiaalin avulla mallinnetaan loogismatemaattisesti taulukkolaskentasovellus, ¤/tonni-hinnoittelumalli. Työn keskeiset tulokset liittyvät siihen, mitä asioita tulee huomioida ¤/tonni-hinnoittelusopimusta asiakkaan kanssa tehtäessä, miten ¤/tonni-kustannukset vaihtelevat eri toimintavoissa ja kuinka hinnoittelumallin kehittämistä kannattaa edelleen jatkaa.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Työn tavoitteena on laatia käsikirjamainen läpileikkaus levylämmönsiirtimen rakenteesta ja käytöstä lämpöpumppulaitteistoissa. Kylmäprosessin tarkastelun lisäksi on eri lähteistä haettu yhtälöitä lämmönsiirron ja painehäviönlaskentaan. Lähdeaineistona on käytetty lämmönsiirron oppikirjoja, joiden lisäksi on käyty läpi suuri joukko tieteellisen tutkimuksen julkaisemia tutkimusraportteja levylämmönsiirtimen mitoituksesta erilaisissa käyttökohteissa. Oppikirjoissa ei ole esitetty varsinaisesti levylämmönsiirtimen laskentamenetelmiä, vaan niissä esitetään lämmönsiirron perusyhtälöt. Varsinainen lämmönsiirtolevyprofiilin laskentaan perustuva lähdeaineisto on löytynyt lämmönsiirtoon erikoistuneista julkaisuista. Lämmönsiirto tapahtuu aina kuumemmasta kylmempään tilaan. Lämmönsiirto eri virtausaineiden välillä toteutetaan lämmönsiirtimien avulla. Lämmönsiirrintyyppejä on olemassa lukuisia, joista yksi yleisesti käytetty tyyppi on levylämmönsiirrin. Tässä konstruktiossa on mahdutettu paljon lämmönsiirtopintaa ulkomitoiltaan pieneen tilaan. Tämä siirrintyyppi on eduksi silloin, kun virtaavat aineet ovat puhtaita ja niillä ei ole likaavaa vaikutusta lämmönsiirtopinnoille. Lämpöpumpulla tarkoitetaan laitetta, jolla voidaan käyttää hyödyksi lämmönlähteen matalaa lämpötilatasoa nostamalla lämpötilatasoa kompressorin puristustyön avulla korkeampaan lämpötilatasoon. Lämpöpumppulaitteiston toiminta perustuu kylmäprosessin toimintaan. Kylmäprosessin läpikäynti auttaa lukijaa hahmottamaan, millainen prosessi on kysymyksessä ja mitä komponentteja liittyy kylmäprosessiin. Tässä diplomityössä esitetyt yhtälöt antavat suuntaa, millä tavalla levylämmönsiirtimien ominaisuuksia voidaan laskea ja mitkä tekijät vaikuttavat siirtimien mitoittamiseen. Tarkemmat vaihdinkohtaiset laskentakorrelaatiot muotoutuvat vasta sitten, kun valmis tuote on testattu laboratorio-olosuhteissa ja siitä on saatu lämpötila-, virtaus- ja painesuhteet selville. Tämän jälkeen voidaan mittaustuloksiin perustuen rakentaa matemaattinen malli, jolla laskennallisesti määritelläänvaihtimien ominaisuudet. Lisäksi on esitetty yleisiä tapoja, joilla voidaan määritellä lämmönsiirtimien lämpöpintoja.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tutkimuksen tavoitteena oli selvittää ohjelmistotoimialan avaintekijöitä, jotka vaikuttavat yrityksen ansaintalogiikkaan sekä lisätä tietoisuutta ansaintalogiikan muodostumisesta pienissä ja keskisuurissa ohjelmistoyrityksissä. Tutkimuksen teoreettisessa osassa keskityttiin tarkastelemaan ansaintalogiikan, strategian ja liiketoimintamallin käsitteiden suhteita sekä arvioitiin toimialan osatekijöiden, hinnoitteluperiaatteiden ja ansaintamallien vaikutusta ansainnan muodostumiseen ohjelmistotoimialalla. Ohjelmistotuote ja - palveluliiketoimintaa koskien oli merkityksellistä tutkia tuotteistamisasteen ja arvoketjujen vaikutusta ansaintalogiikan muodostumisessa sekä esitellä erilaisia, tyypillisiä ohjelmistotoimialalla käytettäviä hinnoittelumenetelmiä. Työn empiirisessä osassa tarkasteltiin 23 suomalaisen ohjelmistoalan yrityksen ansaintalogiikkaa. Tiedot kerättiin haastatteluin ja analysoitiin laadullisen tutkimuksen keinoin. Tutkimustulokset korostivat ansaintalogiikan 'epämääräisyyttä' terminä mutta osoittivat, että ydinliiketoimintaan keskittyminen, tuote-, palvelu-, tai projektiliiketoiminnan osaaminen, tuotteistusaste ja kanavavalinnat ovat avaintekijöitä ansaintalogiikanmuodostumisessa. Ansaintalogiikan muodostamiseen liittyy paljon yrityksen sisäisiä ja ulkoisia haasteita sekä muutospaineita, eikä ohjelmistotoimialalla ole todennettavissa yhtä yleismaailmallista, menestyksen takaavaa ansaintalogiikkaa.