CISNE-P: a global scheduling oriented to NOW environments

In this work, we present an integral scheduling system for non-dedicated clusters, termed CISNE-P, which ensures the performance required by the local applications, while simultaneously allocating cluster resources to parallel jobs. Our approach solves the problem efficiently by using a social contract technique. This kind of technique is based on reserving computational resources, preserving a predetermined response time to local users. CISNE-P is a middleware which includes both a previously developed space-sharing job scheduler and a dynamic coscheduling system, a time sharing scheduling component. The experimentation performed in a Linux cluster shows that these two scheduler components are complementary and a good coordination improves global performance significantly. We also compare two different CISNE-P implementations: one developed inside the kernel, and the other entirely implemented in the user space.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Points to consider for prioritizing clinical genetic testing services: a European consensus process oriented at accountability for reasonableness.

Given the cost constraints of the European health-care systems, criteria are needed to decide which genetic services to fund from the public budgets, if not all can be covered. To ensure that high-priority services are available equitably within and across the European countries, a shared set of prioritization criteria would be desirable. A decision process following the accountability for reasonableness framework was undertaken, including a multidisciplinary EuroGentest/PPPC-ESHG workshop to develop shared prioritization criteria. Resources are currently too limited to fund all the beneficial genetic testing services available in the next decade. Ethically and economically reflected prioritization criteria are needed. Prioritization should be based on considerations of medical benefit, health need and costs. Medical benefit includes evidence of benefit in terms of clinical benefit, benefit of information for important life decisions, benefit for other people apart from the person tested and the patient-specific likelihood of being affected by the condition tested for. It may be subject to a finite time window. Health need includes the severity of the condition tested for and its progression at the time of testing. Further discussion and better evidence is needed before clearly defined recommendations can be made or a prioritization algorithm proposed. To our knowledge, this is the first time a clinical society has initiated a decision process about health-care prioritization on a European level, following the principles of accountability for reasonableness. We provide points to consider to stimulate this debate across the EU and to serve as a reference for improving patient management.

Sovellus meteorologisen tiedon tuotantojärjestelmän seurantaan

Työssä käsitellään selainkäyttöliittymää käyttävien oliopohjaisten tietokantasovellusten toteuttamista. Erityisesti keskitytään olio- ja relaatiomallien yhteensovittamiseen ja oliopohjaisten selainkäyttöliittymien toteutukseen Java-servlettien ja JSP-sivujen avulla. Myös hajautetut sovellusarkkitehtuurit käydään läpi ja niiden toteuttamista arvioidaan servlet-sovellusten näkökulmasta. Työssä on toteutettu selainkäyttöliittymän avulla hallittava kaksitasoarkkitehtuuria käyttävä oliopohjainen sovellus Ilmatieteen laitoksen tuotantojärjestelmän seurantaan. Sovellus mahdollistaa mm. tuotantoajojen ja laajempien tuotantoketjujen suoritusaikojen tilastollisen seurannan. Työn tuloksena todettiin Java-servlettien ja JSP-sivujen olevan suorituskykyinen ja monipuolinen ratkaisu selainkäyttöliittymien toteuttamiseen. Olio- ja relaatiomallien väliset erot sekä käyttöliittymän eriyttäminen toimintalogiikasta osoittautuivat ongelmakohdiksi.

Joustava hitsausautomaatio piensarjatuotannossa

Kustannuspaineet, tuotteiden laatuvaatimukset ja lisääntyvässä määrin myös ammattitaitoisen työvoiman pula lisäävät robotisoinnin käyttötarvetta hitsauksessa. Tämä työ on tehty edellä mainituista lähtökohdista ja käsittelee robottihitsausjärjestelmän suunnitteluprojektia, joustavaa hitsausautomaatiota ja robotiikan soveltamista. Näkökohtana on Savonia-ammattikorkeakoulun sekä Pohjois-Savon alueen yritysten tutkimus-, kehitys- ja koulutustoiminnan tarpeet. Joustavuus on hitsausjärjestelmän päätavoite, jolla pyritään vastaamaan asiakasohjautuvan yksittäis- ja piensarjatuotannon haasteisiin. Ratkaisua yksittäis- ja piensarjatuotteiden kokonaistaloudelliseen hitsaukseen on haettu hitsausrobotin rinnalle lisätyllä apurobotilla, jonka päätehtävä on kappaleenkäsittely, mutta sitä voidaan käyttää myös mm. robotisoituun leikkauksen ja särmäykseen. Tavallisuudesta poikkeavaa järjestelmäratkaisua on perusteltu sillä, että ohjaus- ja ohjelmointitekniikan sekä kehittyneen anturoinnin myötä on robottien käytettävyys parantunut ja aiempaa haasteellisempien robottijärjestelmien toteuttaminen on tullut näin mahdolliseksi. Lisäksi virtuaalimallinnus, simulointi ja etäohjelmointi ovat työkaluja, joita voidaan käyttää mm. tuotannon laadun ja tehokkuuden parantamiseen. Työssä esitetty robottiaseman suunnittelu alkaa järjestelmän määrittelystä, vaatimuslistan laadinnasta sekä visioinnista ja päättyy kolmen järjestelmävaihtoehdon vertailuun. Esitetyillä järjestelmävaihtoehdoilla on haettu mahdollisuutta yhdistää yleensä erillisinä toteutettuja työvaiheita yhteiseen soluun. Tuotannon joustavuus on ollut tuotantokapasiteettia tärkeämpi laitteistokokoonpanon valintaperuste.

Object-oriented development of client / server application: case study of service control software

Tässä työssä on esitetty sen ohjelmiston kehittämisen prosessi, joka on tarkoitettu annettavien palveluiden valvottavaksi käyttäen prototyyppimallia. Raportti sisältää vaatimusten, kohteisiin suunnatun analyysin ja suunnittelun, realisointiprosessien kuvauksen ja prototyypin testauksen. Ohjelmiston käyttöala – antavien palveluiden valvonta. Vaatimukset sovellukselle analysoitiin ohjelmistomarkkinoiden perusteella sekä ohjelmiston engineeringin periaatteiden mukaisesti. Ohjelmiston prototyyppi on realisoitu käyttäen asiakas-/palvelinhybridimallia sekä ralaatiokantaa. Kehitetty ohjelmisto on tarkoitettu venäläisille tietokonekerhoille, jotka erikoistuvat pelipalvelinten antamiseen.

ROBOTTIHITSAUKSEN KÄYTTÖÖNOTON EDELLYTYKSET ASIAKASOHJAUTUVASSA YKSITTÄIS- JA PIENSARJATUOTANNOSSA

Diplomityö koostuu teoria- ja tutkimusosasta. Teoriaosassa on käsitelty robottihitsaus-järjestelmän hankinnan edellytyksiä asiakasohjautuvan yksittäis- ja piensarjatuotannon lähtökohdista. Tarkastelun osa-alueita ovat asiakasohjautuva tuotanto, robottihitsaus yksittäis- ja piensarjatuotannossa, robottien ohjelmointimenetelmät, robottihitsauksen laatu ja laadunvarmistus, tehokkuus, tuottavuus, kannattavuus, robottihitsattavan tuotteen ja robottihitsausjärjestelmän suunnittelu, robottihitsausaseman turvallisuus sekä robotti-järjestelmän toteutus ja käyttöönotto. Teoriaosa on koottu siten, että sitä voidaan käyttää myös oppimateriaalina. Siinä esitetään myös sovellusesimerkki Imatran ammattikoululla toteutetusta robottihitsausaseman turvallisuusrakenneratkaisusta, jonka on suunnitellut ja toteuttanut diplomityön laatija. Diplomityön tutkimusosassa selvitetään kyselytutkimuksen avulla robottihitsauksen käyt-töönoton edellytyksiä asiakasohjautuvassa yksittäis- ja piensarjatuotannossa eteläkarjalai-sissa konepaja- ja metallialan yrityksissä. Tutkimukseen mukaan valituille 25 yritykselle ja yrityksistä valituille vastuuhenkilöille lähetettiin kirjallinen kyselytutkimus, johon vastaus saatiin 17 yritykseltä. Diplomityön tavoitteena oli selvittää robottihitsauksen käyttöönoton edellytyksiä. Tutkimuksella haettiin tietoja myös muusta yritysten suunnittelemasta hitsaus-tuotannon kehittämisestä kuten mekanisoinnista ja sen nykytilasta sekä muista mahdollisista hitsaukseen liittyvistä hankkeista. Tutkimustulosten perusteella on todettavissa, että Etelä-Karjalassa toimivista asiakas-ohjautuvista yksittäis- ja piensarjatuotantoa harjoittavista konepaja- ja metallialan yri-tyksistä löytyy yrityksiä, jotka ovat kiinnostuneita robottihitsausjärjestelmän hankinnasta, mutta saatujen tulosten perusteella voidaan todeta, että edellytyksiä siihen ei vielä näyttäisi olevan. Syiksi robottihitsausjärjestelmän hankinnan edellytysten puuttumiseen voidaan mainita muun muassa sopimaton tuoterakenne, liian yksilölliset tuotteet ja pienet sarjat, joilla ei ole toistuvuutta. Lisäksi yritykset toimivat pelkästään alihankintayrityksinä eikä niillä ole omaa tuotetta. Robottihitsausjärjestelmän hankinta voisi olla mahdollista niissä yrityksissä, jotka ovat verkottuneet, toimivat vakaavaraisesti ja joiden viennistä osa suuntautuu välillisesti tai välittömästi ulkomaille. Yhteistyöverkkojen voidaan olettaa parantavan robottihitsaus-järjestelmän hankinnan mahdollisuuksia. Tällöin kustannuksia voidaan jakaa usealle eri yritykselle ja siten voidaan tehostaa myös järjestelmän käyttöastetta sekä hankkia uusia asiakkaita. Kaksi yrityksistä on harkinnut joko oman tai leasing-robottihitsausjärjestelmän hankintaa. Ongelmina robottihitsausjärjestelmän yhteishankinnalle pidettiin esim. kenen tiloihin järjestelmä hankitaan, kuka huolehtii kunnossapidosta, miten palkat maksetaan työntekijöille ja miten käytössä oleva työaika jaetaan eri yrityksille. Diplomityön johtopäätökset ja suositukset osassa esitetään muutamia jatkotoimenpide-ehdotuksia siitä, kuinka tiettyjen yritysten osalta voitaisiin robottihitsauksen käyttöönottoa edistää. Tutkimuksen tuloksena saatua tietoa hyödynnetään muun muassa Lappeenrannan teknillisen yliopiston tutkimus- ja koulutushankkeissa sekä toisen asteen kone- ja metallitekniikan koulutuksen suunnittelussa ja toteutuksessa.