901 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
Risk maps summarizing landscape suitability of novel areas for invading species can be valuable tools for preventing species' invasions or controlling their spread, but methods employed for development of such maps remain variable and unstandardized. We discuss several considerations in development of such models, including types of distributional information that should be used, the nature of explanatory variables that should be incorporated, and caveats regarding model testing and evaluation. We highlight that, in the case of invasive species, such distributional predictions should aim to derive the best hypothesis of the potential distribution of the species by using (1) all distributional information available, including information from both the native range and other invaded regions; (2) predictors linked as directly as is feasible to the physiological requirements of the species; and (3) modelling procedures that carefully avoid overfitting to the training data. Finally, model testing and evaluation should focus on well-predicted presences, and less on efficient prediction of absences; a k-fold regional cross-validation test is discussed.
Resumo:
The size-advantage model (SAM) explains the temporal variation of energetic investment on reproductive structures (i.e. male and female gametes and reproductive organs) in long-lived hermaphroditic plants and animals. It proposes that an increase in the resources available to an organism induces a higher relative investment on the most energetically costly sexual structures. In plants, pollination interactions are known to play an important role in the evolution of floral features. Because the SAM directly concerns flower characters, pollinators are expected to have a strong influence on the application of the model. This hypothesis, however, has never been tested. Here, we investigate whether the identity and diversity of pollinators can be used as a proxy to predict the application of the SAM in exclusive zoophilous plants. We present a new approach to unravel the dynamics of the model and test it on several widespread Arum (Araceae) species. By identifying the species composition, abundance and spatial variation of arthropods trapped in inflorescences, we show that some species (i.e. A. cylindraceum and A. italicum) display a generalist reproductive strategy, relying on the exploitation of a low number of dipterans, in contrast to the pattern seen in the specialist A. maculatum (pollinated specifically by two fly species only). Based on the model presented here, the application of the SAM is predicted for the first two and not expected in the latter species, those predictions being further confirmed by allometric measures. We here demonstrate that while an increase in the female zone occurs in larger inflorescences of generalist species, this does not happen in species demonstrating specific pollinators. This is the first time that this theory is both proposed and empirically tested in zoophilous plants. Its overall biological importance is discussed through its application in other non-Arum systems.
Resumo:
Decisions taken in modern organizations are often multi-dimensional, involving multiple decision makers and several criteria measured on different scales. Multiple Criteria Decision Making (MCDM) methods are designed to analyze and to give recommendations in this kind of situations. Among the numerous MCDM methods, two large families of methods are the multi-attribute utility theory based methods and the outranking methods. Traditionally both method families require exact values for technical parameters and criteria measurements, as well as for preferences expressed as weights. Often it is hard, if not impossible, to obtain exact values. Stochastic Multicriteria Acceptability Analysis (SMAA) is a family of methods designed to help in this type of situations where exact values are not available. Different variants of SMAA allow handling all types of MCDM problems. They support defining the model through uncertain, imprecise, or completely missing values. The methods are based on simulation that is applied to obtain descriptive indices characterizing the problem. In this thesis we present new advances in the SMAA methodology. We present and analyze algorithms for the SMAA-2 method and its extension to handle ordinal preferences. We then present an application of SMAA-2 to an area where MCDM models have not been applied before: planning elevator groups for high-rise buildings. Following this, we introduce two new methods to the family: SMAA-TRI that extends ELECTRE TRI for sorting problems with uncertain parameter values, and SMAA-III that extends ELECTRE III in a similar way. An efficient software implementing these two methods has been developed in conjunction with this work, and is briefly presented in this thesis. The thesis is closed with a comprehensive survey of SMAA methodology including a definition of a unified framework.
Resumo:
Ohjelmistoprojektit pohjautuvat nykyään useasti osittain itsenäisesti suunniteltujen ja; toteutettujen ohjelmakomponenttien yhdistelemiseen. Tällä keinolla voidaan vähentää kehitystyön; viemää aikaa ja kustannuksia, jotta saadaan tuotettua kilpailukykyisempiä ohjelmistoja.; Tässädokumentissa käsitellään komponenttipohjaisen ohjelmistotuotannon näkökulmia ja; Microsoft .NET Framework ympäristöä, joka on kehitysympäristö komponenttipohjaisille; ohjelmistoille. Lisäksi esitellään tapauskohtainen ohjelmistoprojekti extranet-verkon; toteutukseen.
Resumo:
Työssä tutkitaan eri mekanismeja rajojen ylittävään innovaatioiden edistämiseen pienten ja keskisuurten yritysten näkökulmasta. Case ympäristönä on Kaakkois-Suomen ja Luoteis-Venäjän alueeli Pietarin Corridor. Tavoitteena on löytää tarkemmat määritykset ja rajauksetnäille mekanismeille. Teoriassa muodostettiin viitekehys rajojen ylittävälle innovaatioiden edistämismallille. Mallin pohjalta toteutettiinhaastattelututkimus, joka suoritettiin case-ympäristössä. Haastattelujoukko koostui yritysten edustajista, tutkimus-henkilöstöstä sekä julkisista toimijoista. Innovaatiojärjestelmä oli avoin uusille toimintamenetelmille.Menetelmien toteuttamistapa kuitenkin jakoi mielipiteitä. Toimijoiden välille tarvitaan parempaa yhteistyötä ja tämän kautta selkeämpää kommunikointia yritysten suuntaan. Innovaatioiden edistämiseen ehdotetaan Innovation Relay Centre tyyppisen toiminnan laajentamista Corridorin alueelle sekä sen käyttämän teknologioiden välittämismallin sekä kansainvälisen verkoston hyödyntämistä. Edistämisen tukena tulisi käyttää innovaatiotietokanta-työkalua.
Resumo:
Tämän diplomityön päämääränäoli laatia suunnitelma voimalaitoksen toimittamiseksi EPCM-toimitustavalla. Työn keskeisiksi tavoitteiksi asetettiin EPCM-toimitustapaan perustuvan toimitustapakonseptin muodostaminen, toimituksiin liittyvien terminologian selkeyttäminen ja harmonisointi sekä voimalaitoksen suhteellisen kustannusrakenteen laatiminen. Työssä tutkittiin voimalaitostoimituksissa tavanomaisesti käytettyjä sopimustyyppejä, kiinteähintaista sopimusta ja kustannusvoittolisäsopimusta sekä harvinaisemmin käytettyjä kattohinta- ja tavoitekustannussopimusta. Vallitsevat toimitustavat, EPC- ja EPCM-toimitustavat sekä monitoimittajatapa, esiteltiin ja niiden vahvuudet sekä heikkoudet selvitettiin. Projektin ominaisuuksilla, markkinoilla ja tilaajan kyvyllä, asiantuntemuksella sekä resursseilla todettiin olevan vaikutusta toimitustavan valintaan. Lisäksi tehtiin katsaus voimalaitostoimitusten kehitystrendeihin ja projektin riskienhallintaan. Voimalaitoksen laitosjärjestelmäjako kehitettiin ja sitä soveltamalla määritettiin voimalaitoksen suhteellinen kustannusrakenne. Kattilaitoksen osuus voimalaitoksen rakentamiskustannuksista todettiin merkittävimmäksi. Laitosjärjestelmien laitekustannusten havaittiin olevan korkeimmat. EPCM-toimitustapamalli kehitettiin teoriaosan pohjalta ja sen rakenne, organisaatio, sopimustyypit ja -suhteetsekä toimituksen riskien jako kuvattiin. Voimalaitoksen rakentamiskustannuksia vertailtiin eri toimitustavoilla ja EPCM-toimitustapamalli todettiin EPC-toimitustapaa edullisemmaksi.
Resumo:
Quality management has become a strategic issue for organisations and is very valuable to produce quality software. However, quality management systems (QMS) are not easy to implement and maintain. The authors' experience shows the benefits of developing a QMS by first formalising it using semantic web ontologies and then putting them into practice through a semantic wiki. The QMS ontology that has been developed captures the core concepts of a traditional QMS and combines them with concepts coming from the MPIu'a development process model, which is geared towards obtaining usable and accessible software products. Then, the ontology semantics is directly put into play by a semantics-aware tool, the Semantic MediaWiki. The developed QMS tool is being used for 2 years by the GRIHO research group, where it has manages almost 50 software development projects taking into account the quality management issues. It has also been externally audited by a quality certification organisation. Its users are very satisfied with their daily work with the tool, which manages all the documents created during project development and also allows them to collaborate, thanks to the wiki features.
Resumo:
Awareness is required for supporting all forms of cooperation. In Computer Supported Collaborative Learning (CSCL), awareness can be used for enhancing collaborative opportunities across physical distances and in computer-mediated environments. Shared Knowledge Awareness (SKA) intends to increase the perception about the shared knowledge, students have in a collaborative learning scenario and also concerns the understanding that this group has about it. However, it is very difficult to produce accurate awareness indicators based on informal message exchange among the participants. Therefore, we propose a semantic system for cooperation that makes use of formal methods for knowledge representation based on semantic web technologies. From these semantics-enhanced repository and messages, it could be easier to compute more accurate awareness.
Resumo:
Las metáforas son un instrumento pedagógico y terapéutico para facilitar la comunicación y comprensión de temas relacionados con la salud-enfermedad. Objetivo: Presentar las metáforas que el equipo de “Aula de Salut” ha elaborado en base a la experiencia en formación de grado, posgrado y profesionales, intervención y asesoramiento en Educación para la Salud (EpS), con el fin de reflexionar y enseñar los modelos de intervención en EpS. Método: Se ha seguido la metodología de la investigación-acción de Mac Kernan. Resultados: Se han caracterizado cuatro tipologías distintas de profesionales de la salud en función de su modelo de intervención (botijo, maceta, látigo y matrona) con sus respectivas metáforas. A través de dichas metáforas se provoca la implicación, tanto del alumno como del profesional, permitiéndoles observar y analizar sus modelos de intervención para ayudarles a comprenderlos y mejorarlos. Conclusiones: Ha resultado ser una herramienta muy útil porque abre una vía de investigación en el campo de la EpS tanto en la práctica asistencial como en la formación de los profesionales de la salud. También constituye un elemento clave de comunicación al convertirse en un modo de transmitir el mensaje de forma más efectiva y, finalmente, se alzan como una herramienta de pensamiento al transformarse en un medio para ayudar a entender nuevas ideas, conceptos y métodos.
Resumo:
Työn tavoitteena oli selvittää niitä keinoja, joiden avulla Raute Woodin nykyistä tuotehallintaa pystytään kehittämään. Aluksi kartoitettiin tuotehallinnan kannalta olennaisia työkaluja. Korkean teknologian tuotteet asettavat tuotehallinnalle olennaisesti kovemmat vaatimukset, sillä tuotteen hallinta ei rajoitu pelkästään mekaanisen mallin hallintaan. Jotta tuotteita jatkossa pystyttäisiin hallitsemaan täydellisinä kokonaisuuksina tarvitaan toimintamalli, jonka pohjalta tuotteeseen liittyvät tiedot saadaan hallittua yhtenäisesti.Kehittämistoimenpiteiden lähtökohdaksi kuvattiin tuotehallinnan ja tilaus-toimitusprosessin nykytilanne. Nykytilanteesta etsittiin ne tekijät, jotka vaikuttavat kaikkein suurimmassa määrin havaittuihin tuotehallinnan ongelmiin. Havaittujen ongelmien ja valittujen ratkaisumetodien pohjalta alettiin suunnitella keinoja tuotehallinnan kehittämiseksi. Lopputuloksena esitetään ratkaisuehdotus tuotehallinnan tulevaisuuden hallintamalliksi. Ratkaisuehdotuksessa esitetään teorian pohjalta johdetut mallit tuotteiden kokonaisvaltaiseen hallintaan sekä kuvataan tilaus-toimitusprosessi tuotteen näkökulmasta. Ehdotuksessa kuvataan myös uusi tuotetunnistejärjestelmä, jonka pohjalta tuotteet voidaan jatkossa yksilöidä yksiselitteisesti. Tuotetunnistejärjestelmä tukee työssä kehitettyä uutta modulaarista tuoterakennemallia. Lisäksi esitellään tuotemalliajattelun soveltumista mahdolliseen uuteen tuotehallintaratkaisuun ja sen tuomia uusia mahdollisuuksia toiminnan kehittämiseen.
Resumo:
Työn tavoitteena on parantaa SAP R/3-järjestelmän käytettävyyttä muutoksenhallintaprosessia mallintamalla. Työn alussa selkeytetään järjestelmän käytön nykytilaa yrityksessä sekä käyttäjien vaatimia parannuskohteita. Työn teoriaosassa käsitellään asiakasnäkökulmasta prosessien kehittämisen sekä niiden mallintamisen teoriaa. Teoriaosassa haetaan vastauksia järjestelmiin liittyviin kysymyksiin: - Kuinka selkeytetään käyttöönottoa sekä hyödynnetään toiminnan prosessilähtöistä kehittämistä? - Kuinka asiakastarpeita kartoittamalla huomioidaan käyttäjien tulevat taipeet? - Miten prosessimallintaminen lisää käyttäjien luottamusta ja yrityksen kilpailukykyä? Soveltavassa osassa tutkitaan vika- ja pienkehityspyyntöjen hallintaa ARIS-mallinnuksen avulla. Toimintoketjun avulla luodaan M-real-konsemissa käyttäjien ja palveluntarjoajan yhteinen toimintamalli. Prosessin omistajuus, käyttäjien liittymäpinta sekä toiminnan organisointi huomioidaan kaikkien osapuolten kesken
Resumo:
This paper presents a theoretical model to analyze the privacy issues around location based mobile business models. We report the results of an exploratory field experiment in Switzerland that assessed the factors driving user payoff in mobile business. We found that (1) the personal data disclosed has a negative effect on user payoff; (2) the amount of personalization available has a direct and positive effect, as well as a moderating effect on user payoff; (3) the amount of control over user's personal data has a direct and positive effect, as well as a moderating effect on user payoff. The results suggest that privacy protection could be the main value proposition in the B2C mobile market. From our theoretical model we derive a set of guidelines to design a privacy-friendly business model pattern for third-party services. We discuss four examples to show the mobile platform can play a key role in the implementation of these new business models.
Resumo:
Tulevaisuudessa siirrettävät laitteet, kuten matkapuhelimet ja kämmenmikrot, pystyvät muodostamaan verkkoyhteyden käyttäen erilaisia yhteysmenetelmiä eri tilanteissa. Yhteysmenetelmillä on toisistaan poikkeavat viestintäominaisuudet mm. latenssin, kaistanleveyden, virhemäärän yms. suhteen. Langattomille yhteysmenetelmille on myös ominaista tietoliikenneyhteyden ominaisuuksien voimakas muuttuminen ympäristön suhteen. Parhaan suorituskyvyn ja käytettävyyden saavuttamiseksi, on siirrettävän laitteen pystyttävä mukautumaan käytettyyn viestintämenetelmään ja viestintäympäristössä tapahtuviin muutoksiin. Olennainen osa tietoliikenteessä ovat protokollapinot, jotka mahdollistavat tietoliikenneyhteyden järjestelmien välillä tarjoten verkkopalveluita päätelaitteen käyttäjäsovelluksille. Jotta protokollapinot pystyisivät mukautumaan tietyn viestintäympäristön ominaisuuksiin, on protokollapinon käyttäytymistä pystyttävä muuttamaan ajonaikaisesti. Perinteisesti protokollapinot ovat kuitenkin rakennettu muuttumattomiksi niin, että mukautuminen tässä laajuudessa on erittäin vaikeaa toteuttaa, ellei jopa mahdotonta. Tämä diplomityö käsittelee mukautuvien protokollapinojen rakentamista käyttäen komponenttipohjaista ohjelmistokehystä joka mahdollistaa protokollapinojen ajonaikaisen muuttamisen. Toteuttamalla esimerkkijärjestelmän, ja mittaamalla sen suorituskykyä vaihtelevassa tietoliikenneympäristössä, osoitamme, että mukautuvat protokollapinot ovat mahdollisia rakentaa ja ne tarjoavat merkittäviä etuja erityisesti tulevaisuuden siirrettävissä laitteissa.
Resumo:
Työn tavoitteena oli rakentaa sahan kustannuksille laskentamalli, jolla kustannukset voidaan kohdistaa markkinasegmenteille. Työssä käytettiin toimintolaskentaa, joka kohdistaa kustannuksia tarkemmin, kuin perinteiset kustannuslaskentamenetelmät. Toimintolaskenta on kaksivaiheinen menetelmä, jossa ensin resurssit kohdistetaan käytön mukaan toiminnoille ja näiltä edelleen laskentakohteille toimintojen kulutuksen mukaan. Suuri osa mallin rakentamisajasta kului toimintojen määrittelyyn, analysointiin, tiedonhakuun ja laskentainformaation keräämiseen. Rakennettua kustannustenjakomallia voidaan käyttää apuna esim. segmentti-, asete- tai tuotekohtaista kannattavuutta laskettaessa. Kustannustenjakomalli kohdistaa sahan kustannukset kolmelle eri kustannusobjektille. Nämä objektit ovat tuote, segmentti ja tehdas. Tehdastason kustannukset kohdistetaan ainoastaan tuotteiden tehdashintojen määrittämisessä. Nämä kustannukset eivät vaikuta mitenkään tuotteen tai markkinasegmentin kannattavuuteen. Laskentamallin rakenne riippuu mallin käyttötarkoituksesta. Kustannustenjakomallia kokeiltiin kolmelle erilaiselle sahaukselle. Mallissa tarkasteltiin normaalikokoisen tukin, Japanin sahatavaran (lyhyt tukki) ja pienen tukin sahauksia sekä näiden aiheuttamia kustannuksia. Toimintolaskenta soveltuu hyvin sahan kustannusten kohdistamiseen. Koska sahan tuotanto on prosessimaista, niin toimintoja on vähän. Vaikka segmenttitason palvelutoimintojen osuus kustannuksista onkin pieni, niin toimintolaskenta toimii usein todellisena silmien avaajana, kun toimintoja ja niiden kustannuksia analysoidaan.
Resumo:
Työn tarkoituksena oli selvittää kaupallisen dynamiikan simulointiohjelmiston (Adams) soveltuvuus siltanosturin mallintamiseen. Työn kohteena oli kaksipalkkinen siltanosturi, joka sijaitsi KCI:n tiloissa Hyvinkäällä. Nosturin jänneväli oli noin 19.5 metriä ja nostokyky 16 tonnia. Mallintamisessa keskityttiin nosturin dynamiikkaan sekä ohjausvoimiin nosturin kantopyörissä. Simulointitulokset verifioitiin mittauksin. Koska mallista haluttiin mahdollisimman yksinkertainen, mallinnettiin ainoastaan pääkannattajat ja köydet joustavina. Muut osat mallinnettiin jäykkinä. Yksinkertaisuuteen pyrittiin sen vuoksi, että mallia oli tarkoitus käyttää perustana komponenttikirjaston luomiseksi myöhempää käyttöä varten. Tuloksista todettiin mallin soveltuvan hyvin nosturin dynamiikan mallintamiseen. Mallista saatavat tulokset vastasivat hyvin mitattuja liikkeitä. Ohjausvoimia ei kuitenkaan saatu verifioitua. Käytetty mittausmenetelmä osoittautui sopimattomaksi.