Experimental analysis of optimization techniques on the road passenger transportation problem

Analyzing the state of the art in a given field in order to tackle a new problem is always a mandatory task. Literature provides surveys based on summaries of previous studies, which are often based on theoretical descriptions of the methods. An engineer, however, requires some evidence from experimental evaluations in order to make the appropriate decision when selecting a technique for a problem. This is what we have done in this paper: experimentally analyzed a set of representative state-of-the-art techniques in the problem we are dealing with, namely, the road passenger transportation problem. This is an optimization problem in which drivers should be assigned to transport services, fulfilling some constraints and minimizing some function cost. The experimental results have provided us with good knowledge of the properties of several methods, such as modeling expressiveness, anytime behavior, computational time, memory requirements, parameters, and free downloadable tools. Based on our experience, we are able to choose a technique to solve our problem. We hope that this analysis is also helpful for other engineers facing a similar problem

'Situaciones problema' y desarrollo de la competencia motriz en educación física escolar: cuestiones didácticas = Problem situations and developing motor competence in Physical Education at school: didactic questions

From the areas of motor learning and the teaching of Physical Education we promote coherent methodological orientationswith the present curricular guide that are focused in such a way so that the student is able to act independently. In thissense we may consider the problem situations as a good example for methodological proposals. So as to determine its useand adequateness for Physical Education it is conveniente to analyse the characteristics of the motor tasks that areproposed as well as the features of the teaching intervention in such a way as to ease the adquisition and development ofthe motor competence of the students

Retrieval of kinetic rates in reactions with semi batch liquid phase using ill-posed inverse problem theory

A neural network procedure to solve inverse chemical kinetic problems is discussed in this work. Rate constants are calculated from the product concentration of an irreversible consecutive reaction: the hydrogenation of Citral molecule, a process with industrial interest. Simulated and experimental data are considered. Errors in the simulated data, up to 7% in the concentrations, were assumed to investigate the robustness of the inverse procedure. Also, the proposed method is compared with two common methods in nonlinear analysis; the Simplex and Levenberg-Marquardt approaches. In all situations investigated, the neural network approach was numerically stable and robust with respect to deviations in the initial conditions or experimental noises.

Space–Time Block Codes and the Complexity of Sphere Decoding

In wireless communications the transmitted signals may be affected by noise. The receiver must decode the received message, which can be mathematically modelled as a search for the closest lattice point to a given vector. This problem is known to be NP-hard in general, but for communications applications there exist algorithms that, for a certain range of system parameters, offer polynomial expected complexity. The purpose of the thesis is to study the sphere decoding algorithm introduced in the article On Maximum-Likelihood Detection and the Search for the Closest Lattice Point, which was published by M.O. Damen, H. El Gamal and G. Caire in 2003. We concentrate especially on its computational complexity when used in space–time coding. Computer simulations are used to study how different system parameters affect the computational complexity of the algorithm. The aim is to find ways to improve the algorithm from the complexity point of view. The main contribution of the thesis is the construction of two new modifications to the sphere decoding algorithm, which are shown to perform faster than the original algorithm within a range of system parameters.

Methane combustion kinetic rate constants determination: an ill-posed inverse problem analysis

Methane combustion was studied by the Westbrook and Dryer model. This well-established simplified mechanism is very useful in combustion science, for computational effort can be notably reduced. In the inversion procedure to be studied, rate constants are obtained from [CO] concentration data. However, when inherent experimental errors in chemical concentrations are considered, an ill-conditioned inverse problem must be solved for which appropriate mathematical algorithms are needed. A recurrent neural network was chosen due to its numerical stability and robustness. The proposed methodology was compared against Simplex and Levenberg-Marquardt, the most used methods for optimization problems.

A quasi-materialist, quasi-dualist solution to the mind-body problem

If the mental can affect, or be affected by, the physical, then the mental must itself be physical. Otherwise the physical world would not be explanatorily closed. But it is closed. There are reasons to hold that materialism (in both its reductive and non-reductive varieties) is false. So how are we to explain the apparent responsiveness of the physical to the mental and vice versa? The only possible solution seems to be this: physical objects are really projections or isomorphs of objects whose essential properties are mental. (A slightly less accurate way of putting this would be to say: the constitutive - i.e. the non-structural and non-phenomenal - properties of physical objects are mental, i.e. are such as we are used to encountering only in "introspection".) The chair, qua thing that I can know through sense perception, and through hypotheses based strictly thereupon, is a kind of shadow of an object that is exactly like it, except that this other objects essential properties are mental. This line of thought, though radically counterintuitive, explains the apparent responsiveness of the mental to the physical, and vice versa, without being open to any of the criticisms to which materialism, dualistic interaction ism, and epiphenomenalism are open.

Våld i parrelationer : en begreppslig undersökning av ett moraliskt och samhälleligt problem

Mäns våld mot kvinnor i parrelationer är ett förekommande problem i det finländska samhället. Som en moralisk fråga råder det ingen tvekan om att våld i parrelationer är orätt. Den moraliska diskussionen kan ändå inte stanna där. När våldsproblematiken studeras närmare träder flera aspekter av moralfilosofiskt intresse fram. Detta är dock sammanlänkat med hela avhandlingens utgångspunkt: att moralfrågor i första hand är frågor i första person. Det handlar om hur var och en av oss som de personer vi är förhåller oss till andra människor i olika situationer. Det handlar om hur varje enskild person berörs av, möter eller står tyst inför t.ex. en problematik som våld i parrelationer. Genom den här utgångspunkten problematiserar avhandlingen en vanlig syn på etik och moral som en uppsättning yttre regler eller som något vi helt objektivt kan resonera kring utan att själva egentligen beröras och bli indragna i det vi diskuterar, eller utan hänsyn till dem som faktiskt berörs. Tyngdpunkten i avhandlingen läggs på en moralisk begreppslig undersökning kring ett antal begrepp som stiger fram som relevanta i mötet med våld i parrelationer. De för avhandlingen centrala begreppen är offentligt-privat, rättvisa, rättigheter, makt, skam, skuld, förlåtelse, omsorg, tillit och ansvar. I avhandlingen har jag beskrivit, kritiskt analyserat samt fördjupat en förståelse av dessa begrepp och uttryck som både rör ett individ- och ett samhällsplan. Hur dessa begrepp och uttryck används och fungerar i olika sammanhang uttrycker moraliska förhållningssätt gentemot våld, offer och förövare. I avhandlingen synliggörs detta och en konkret förankring sker med hjälp av följande material: finländskt lagstiftningsmaterial (förarbeten till lagar som berör våld i parrelationer under perioden 1991-2006) och berättelser av kvinnor som upplevt våld. Den begreppsliga analysen, där bl.a. olika feministiska teoretiker används, visar att språket inte är neutralt. Språket kan vara färgat av flera självklara förutsättningar och distanserande begrepp kan användas på ett sådant sätt att det moraliskt mest centrala och brännande döljs.

Rädsla inför förlossningen - ett uppenbart kliniskt problem? : konstruktionen av förlossningsrädsla som medicinsk kategori

Kvinnors känsla av oro och rädsla inför förlossningen har under de senaste årtiondena intresserat forskare inom en medicinsk kontext, framför allt i Sverige och Finland. Den obstetriska och psykologiska forskningen har strävat efter att definiera, finna metoder för att mäta samt klassificera dessa känslor. Begreppet förlossningsrädsla används i dag ofta såväl inom den medicinska diskursen som bland allmänheten som ett samlande begrepp för att beskriva föderskors rädsla både inför, under och efter förlossningen. Trots detta finns det ändå ingen allmänt vedertagen definition av eller enhetliga kriterier för vad som skall inkluderas i begreppet. Förlossningsrädsla har konstruerats och etablerats som ett till synes objektivt medicinskt definierat fenomen och vården av förlossningsrädsla har institutionaliserats inom specialsjukvården. Däremot har de praktiker och institutioner som bidragit till att skapa förlossningsrädsla som ett vetenskapligt faktum, en svart låda, blivit osynliga. I "Rädsla inför förlossningen – ett uppenbart kliniskt problem? Konstruktionen av förlossningsrädsla som en medicinsk kategori" granskas uppkomsten, etableringen och institutionaliseringen av förlossningsrädsla som en medicinsk kategori inom vetenskaplig forskningslitteratur i Sverige och Finland. I fokus för analysen står processer av kunskapsproduktion genom vilka förlossningsrädsla formuleras som en specifik medicinsk kategori. Förlossningsrädsla som begrepp och kategori kan beskrivas som ett gränsöverskridande objekt som ständigt reproduceras och konsolideras genom den pågående forskningen.

Henkilökohtainen on poliittista. Neuvottelu politiikan sukupuolittuneesta työnjaosta Annan julkaisemissa poliitikkojen henkilökuvissa vuosina 1975–2005

Henkilökohtainen on poliittista Tutkimuksessa tarkastellaan tiedotusvälineissä käytyä neuvottelua miesten ja naisten mahdollisuuksista osallistua politiikkaan sekä siinä ilmenevää suomalaisen poliittisen julkisuuden muutosta. Tutkimuksen materiaalin muodostavat Anna-lehdessä vuosina 1975–2005 julkaistut 339 poliitikkojen henkilökuvaa, joita eritellään laadullisen tekstianalyysin keinoin. Politiikan sukupuolittunut työnjako Poliitikkojen henkilökuvat ovat Anna-lehdessä olleet henkilöhaastatteluja tai poliitikon haastatteluita yhdessä puolisonsa tai perheensä kanssa. Tutkittuna ajanjaksona Annassa on julkaistu selvästi enemmän naispoliitikkojen kuin miespoliitikkojen henkilökuvia. Poliitikkojen haastatteluissa neuvottellaan siitä, keillä on oikeus toimia politiikassa ja millaista politiikkaa miehet ja naiset voivat tehdä. Vaikka Annassa ilmestyneissä poliitikkojen henkilökuvissa on eri aikoina vastattu näihin kysymyksiin erilaisin tavoin, sukupuolittunut jako miesten yhteiskunnalliseen ja naisten yksityiseen tilaan säilyy teksteissä läpi koko tarkastellun 30 vuoden ajanjakson. Sukupuolittunut jako yhteiskunnalliseen ja yksityiseen ilmenee henkilökuvissa siten, että miehet esitetään toimimassa politiikassa vaivattomasti ja luonnollisesti, mutta naisten kuvataan ponnistelevan sen eteen, että he kykenisivät osallistumaan politiikkaan. Naispoliitikkojen henkilökuvissa toistuva kysymys on, millä edellytyksin tai millaisin rajoituksin naiset ovat voineet toimia politiikassa. Miehet edustavat poliitikon normia ja naiset poikkeusta normista. Poliitikkojen parisuhde- ja perhehaastatteluissa puolestaan käsitellään kysymystä sukupuolten välisestä työnjaosta perheessä. Kirjoituksissa toistuvat kysymykset siitä, millainen tulisi olla poliitikon ja hänen puolisonsa välinen työnjako, tulisiko miespoliitikon vaimon osallistua pyyteettömästi puolison uran tukemiseen tai millä tavoin naispoliitikon puolison tulisi suhtautua vaimonsa aikaa vievään poliittiseen uraan. Naispoliitikkojen haasteita Annan julkaisemat naispoliitikkojen henkilökuvat osoittavat sekä naisten poliittiseen osallistumiseen liittyviä ongelmia että joukon erilaisia ratkaisuja niihin. Naisten ruumiillisuus on näistä haasteista keskeisin. 1970-luvun Annassa ilmestyneissä naispoliitikkojen haastatteluissa käsiteltiin toistuvasti sitä, millä tavoin politiikassa työskentelevät naiset pukeutuvat, syövät ja lepäävät. 1980-luvulla Anna pyrki tekemään naisruumiista voimavaran osoittamalla, että naisten ”luonteva” taipumus hoivaamiseen teki heistä erityisen sopivia politiikan ”pehmeiden” asioiden puolestapuhujina, kuten rauhantyön ja sosiaalisektorin asioiden hoitajina. 1980-luvun lopussa ja 1990-luvun alussa julkaistuissa teksteissä luotiin naisten poliittista yhteisöllisyyttä korostamalla heidän kokemaansa ruumiillisuuteen perustuvaa sortoa, esimerkiksi ulkonäköön liittyviä epäasiallisia huomautuksia. 2000-luvulla naispoliitikkojen henkilökuvissa vakuutettiin, että naisen ikääntyminen ei heikennä hänen kykyään tehdä politiikkaa. Samana aikakautena julkaistuissa nuorehkojen naispoliitikkojen henkilökuvissa ruumiillisuuteen otettiin toinen näkökulma. Niissä naisruumiin väitetty sopimattomuus poliittiseen työhön ratkaistiin korostamalla, että haastatellut naiset kontrolloivat ruumistaan täydellisesti. Toinen naispoliitikkojen poliittista osallistumista uhkaavana tai häiritsevänä esitetty seikka Annassa on ollut yksityiselämä. Lehden mukaan kodin, puolison ja lasten yhdistäminen menestyksekkääseen poliittiseen uraan on ollut erityisen vaikeaa. 1980-luvun loppuun saakka henkilökuviin rakennettiin asetelma, jossa naispoliitikkojen tuli valita työn tai perheen välillä. Vuosituhannen taitteessa Anna otti yksityiselämän ja julkisen elämän väliseen ristiriitaan uuden näkökulman: lehti alkoi esittää, että lapset ovat naispoliitikkojen työelämän voimavara. Kirjoitusten mukaan tehokkaat nuoret naispoliitikot kykenivät halutessaan olemaan sekä ”pullantuoksuisia” äitejä että menestyviä poliitikkoja. Samalla kirjoitukset kuitenkin epäsuorasti osoittivat, ettei yksityisen ja julkisen elämän ristiriita kadonnut naispoliitikkojen kuvauksista: se vain muutti muotoaan ja sai uuden ratkaisun. Miespoliitikkojen luontevana esitetty asiantuntemus Annassa julkaistut miespoliitikkojen haastattelut ovat läpi tutkitun ajanjakson uusintaneet mielikuvaa yhteiskunnallisesta tilasta miehille luontaisesti sopivana ympäristönä. Niissä puhutaan politiikasta ikään kuin se olisi ainoastaan miesten hallitsema elämänpiiri. Poliitikka näyttäytyy miesten välisen kamppailun ja veljeyden kenttänä. Henkilökuvissa miespoliitikot pyrkivät kukistamaan vastustajansa, mutta samalla menestys miesten maailmassa edellyttää muiden miesten hyväksyntää. Henkilökuvissa rakennetaan vahvasti käsitystä miespoliitikoista yhteiskunnallisina asiantuntijoina. Kirjoituksissa heille annetaan tilaa ja mahdollisuuden käsitellä ajankohtaisia poliittisia ongelmia, kuten esimerkiksi terveydenhuollon tilaa tai yleissivistyksen tasoa Suomessa. Ero Annan julkaisemiin naispoliitikkojen haastatteluihin on selvä. Niiden joukossa vuosina 1975–2005 ei ole sellaisia kirjoituksia, joissa naispoliitikolla olisi itsestäänselvästi asiantuntemusta tai arvovaltaa käsitellä koko kansakuntaa askarruttavia yhteiskunnallisia kysymyksiä. Henkilökohtainen on poliittista Annan julkaisemat poliittikkojen henkilökuvat osoittavat, millä tavoin henkilökohtaisiksi mielletyt asiat ovat muuttuneet poliittisiksi. Kärjistäen voi sanoa, että 1970-luvun puolivälissä Suomessa oli vallalla mielikuva, jossa vastakkain asettuivat miesten politiikka ja naisten yksityiselämä. Kolmessakymmenessä vuodessa tilanne on muuttunut. 1980-luvun alussa Anna argumentoi, että naisten kokemus arkielämästä ja lasten kasvattamisesta antoi heille sellaista asiantuntemusta, jota tulisi hyödyntää myös politiikassa. Annan mukaan miesten hallitseva asema politiikassa oli johtanut tilanteeseen, jossa huomattava osa kansasta ei saanut ääntään politiikassa kuuluviin. 2000-luvulle tultaessa on mahdollista nähdä, että politiikkaan on muodostunut naisille sopivana nähty toiminnan sektori, johon kuuluvat esimerkiksi sosiaali- ja terveydenhuolto, opetus-, ympäristö- ja kulttuuripolitiikka sekä kansainvälinen kehitysyhteistyö. Verrattuna 1970-luvun puolivälin tilanteeseen naiset osallistuvat luontevasti huomattavaan osaan suomalaista politiikkaa. Sukupuolittunut yhteiskunnallinen jakolinja ei kulje enää politiikan ja yksityiselämän välillä, vaan politiikan sisällä. Samalla käsitys politiikasta on muuttunut. Hyvinvointivaltion ja valtion sosiaalisektoriin liittyvien vastuiden laajentuminen on johtanut tilanteeseen, jossa naisille sopiviksi miellettyjen poliittisten osaamisalueiden määrä on kasvanut. On myös puhuttu politiikan intimisaatiosta, jolla tarkoitetaan, että valtioiden poliittisen toiminnan piiri on tullut yhä lähemmäs ihmisten henkilökohtaista elämää. Naisten aikaisempaa laajempi poliittinen osallistuminen ei olisi ollut mahdollista ilman keskustelua aiheista, jotka koetaan hyvin henkilökohtaisiksi: ruumiin ja politiikan suhteesta, yksityiselämän ja julkisen elämän suhteesta tai arkielämän kokemusten suhteesta poliittiseen osallistumiseen. Näin henkilökohtainen ja poliittinen ovat olleet jatkuvassa vuorovaikutuksessa keskenään. Annan henkilökuvat kertovat muutoksesta, jossa yksityiselämän tapahtumat ovat tulleet kiinteäksi osaksi politiikan julkisuutta. Yksityiselämän julkisuus on ollut poliitikoille sekä mahdollisuus että haaste. Yhtäältä yksityiselämän julkisuus on tarjonnut miespoliitikoille oivallisen keinon tuoda esille henkilökohtaisensa elämänsä myönteisiä puolia, esimerkiksi omistautumista perheelle. Naispoliitikoille yksityiselämän tuleminen julkiseksi on tarjonnut keinon haastaa ja kyseenalaistaa niitä arvoja, joiden mukaan nainen ei voi onnistuneesti yhdistää menestystä työ- ja perhe-elämässä. Samalla poliittisen julkisuuden muutos on merkinnyt sitä, että yksityiselämästä on tullut poliitikoille myös rasite. Julkisuudessa ei tehdä selkeää rajaa yksityisen ja julkisen elämän välillä, vaan henkilökohtaisen elämän valinnoista ja tapahtumista on tullut erottamaton osa poliitikkojen julkisuuskuvaa. Annan julkaisemien poliitikkojen henkilökuvien analyysi osoittaa, että poliitikot symboloivat yhteiskunnallisia arvoja ja asenteita. Poliitikot eivät ole vain ihmisiä ansioineen ja puutteineen, vaan heidän saamansa julkisuuden kautta keskustellaan suuremmista yhteiskunnallisista kysymyksistä, kuten naisten oikeudesta osallistua politiikkaa tai sukupuolten välisestä työnjaosta yhteiskunnassa. Annassa ilmestyneet poliitikkojen henkilökuvat ovat olleet osa prosessia, jossa suomalainen sukupuolittunut työnjako on neuvoteltu merkittävältä osaltaan uuteen muotoon. Naiset ovat saaneet vastuulleen olennaisen osan suomalaista politiikkaa samalla kun politiikan sisältö on myös muuttunut. Julkisuudessa näkyvien poliitikkojen henkilökohtaisen elämän valinnat asettuvat kontekstiinsa osana neuvotteluprosessia, jossa mietitään ja kyseenlaistetaan yhteiskunnallisia arvoja ja asenteita. Tässäkin mielessä henkilökohtaisesta on tullut poliittista.

[Suite for String Orchestra]

Soitinnus: jousiorkesteri.

Active teaching-learning methodologies: medical students' views of problem-based learning

The prevailing undergraduate medical training process still favors disconnection and professional distancing from social needs. The Brazilian Ministries of Education and Health, through the National Curriculum Guidelines, the Incentives Program for Changes in the Medical Curriculum (PROMED), and the National Program for Reorientation of Professional Training in Health (PRO-SAÚDE), promoted the stimulus for an effective connection between medical institutions and the Unified National Health System (SUS). In accordance to the new paradigm for medical training, the Centro Universitário Serra dos Órgãos (UNIFESO) established a teaching plan in 2005 using active methodologies, specifically problem-based learning (PBL). Research was conducted through semi-structured interviews with third-year undergraduate students at the UNIFESO Medical School. The results were categorized as proposed by Bardin's thematic analysis, with the purpose of verifying the students' impressions of the new curriculum. Active methodologies proved to be well-accepted by students, who defined them as exciting and inclusive of theory and practice in medical education.

Jämställdhet som politiskt problem i Finland och Frankrike

Kirjallisuusarvostelu

General terms and rigidity: another solution to the trivialization problem

In this paper I am concerned with the problem of applying the notion of rigidity to general terms. In Naming and Necessity, Kripke has clearly suggested that we should include some general terms among the rigid ones, namely, those common nouns semantically correlated with natural substances, species and phenomena, in general, natural kinds -'water', 'tiger', 'heat'- and some adjectives -'red', 'hot', 'loud'. However, the notion of rigidity has been defined for singular terms; after all, the notion that Kripke has provided us with is the notion of a rigid designator. But general terms do not designate single individuals: rather, they apply to many of them. In sum, the original concept of rigidity cannot be straightforwardly applied to general terms: it has to be somehow redefined in order to make it cover them. As is known, two main positions have been put forward to accomplish that task: the identity of designation conception, according to which a rigid general term is one that designates the same property or kind in all possible worlds, and the essentialist conception, which conceives of a rigid general term as an essentialist one, namely, a term that expresses an essential property of an object. My purpose in the present paper is to defend a particular version of the identity of designation conception: on the proposed approach, a rigid general term will be one that expresses the same property in all possible worlds and names the property it expresses. In my opinion, the position can be established on the basis of an inference to the best explanation of our intuitive interpretation and evaluation, relative to counterfactual circumstances, of statements containing different kinds of general terms, which is strictly analogous to our intuitive interpretation and evaluation, relative to such circumstances, of statements containing different kinds of singular ones. I will argue that it is possible to offer a new solution to the trivialization problem that is thought to threaten all versions of the identity of designation conception of rigidity. Finally, I will also sketch a solution to the so-called 'over-generalization and under-generalization problems', both closely related to the above-mentioned one.

Finnisch-ugrisches Substrat in der Toponymie des Russischen Nordens : eine neue Einstellung zum alten Problem

Kirjallisuusarvostelu

Kahden merkkijonon pisimmän yhteisen alijonon ongelma ja sen ratkaiseminen

Tämä tutkielma kuuluu merkkijonoalgoritmiikan piiriin. Merkkijono S on merkkijonojen X[1..m] ja Y[1..n] yhteinen alijono, mikäli se voidaan muodostaa poistamalla X:stä 0..m ja Y:stä 0..n kappaletta merkkejä mielivaltaisista paikoista. Jos yksikään X:n ja Y:n yhteinen alijono ei ole S:ää pidempi, sanotaan, että S on X:n ja Y:n pisin yhteinen alijono (lyh. PYA). Tässä työssä keskitytään kahden merkkijonon PYAn ratkaisemiseen, mutta ongelma on yleistettävissä myös useammalle jonolle. PYA-ongelmalle on sovelluskohteita – paitsi tietojenkäsittelytieteen niin myös bioinformatiikan osa-alueilla. Tunnetuimpia niistä ovat tekstin ja kuvien tiivistäminen, tiedostojen versionhallinta, hahmontunnistus sekä DNA- ja proteiiniketjujen rakennetta vertaileva tutkimus. Ongelman ratkaisemisen tekee hankalaksi ratkaisualgoritmien riippuvuus syötejonojen useista eri parametreista. Näitä ovat syötejonojen pituuden lisäksi mm. syöttöaakkoston koko, syötteiden merkkijakauma, PYAn suhteellinen osuus lyhyemmän syötejonon pituudesta ja täsmäävien merkkiparien lukumäärä. Täten on vaikeaa kehittää algoritmia, joka toimisi tehokkaasti kaikille ongelman esiintymille. Tutkielman on määrä toimia yhtäältä käsikirjana, jossa esitellään ongelman peruskäsitteiden kuvauksen jälkeen jo aikaisemmin kehitettyjä tarkkoja PYAalgoritmeja. Niiden tarkastelu on ryhmitelty algoritmin toimintamallin mukaan joko rivi, korkeuskäyrä tai diagonaali kerrallaan sekä monisuuntaisesti prosessoiviin. Tarkkojen menetelmien lisäksi esitellään PYAn pituuden ylä- tai alarajan laskevia heuristisia menetelmiä, joiden laskemia tuloksia voidaan hyödyntää joko sellaisinaan tai ohjaamaan tarkan algoritmin suoritusta. Tämä osuus perustuu tutkimusryhmämme julkaisemiin artikkeleihin. Niissä käsitellään ensimmäistä kertaa heuristiikoilla tehostettuja tarkkoja menetelmiä. Toisaalta työ sisältää laajahkon empiirisen tutkimusosuuden, jonka tavoitteena on ollut tehostaa olemassa olevien tarkkojen algoritmien ajoaikaa ja muistinkäyttöä. Kyseiseen tavoitteeseen on pyritty ohjelmointiteknisesti esittelemällä algoritmien toimintamallia hyvin tukevia tietorakenteita ja rajoittamalla algoritmien suorittamaa tuloksetonta laskentaa parantamalla niiden kykyä havainnoida suorituksen aikana saavutettuja välituloksia ja hyödyntää niitä. Tutkielman johtopäätöksinä voidaan yleisesti todeta tarkkojen PYA-algoritmien heuristisen esiprosessoinnin lähes systemaattisesti pienentävän niiden suoritusaikaa ja erityisesti muistintarvetta. Lisäksi algoritmin käyttämällä tietorakenteella on ratkaiseva vaikutus laskennan tehokkuuteen: mitä paikallisempia haku- ja päivitysoperaatiot ovat, sitä tehokkaampaa algoritmin suorittama laskenta on.