Natural and synthetic fibres improving tensile strength and elongation of paper products

The theory part of the Master’s thesis introduces fibres with high tensile strength and elongation used in the production of paper or board. Strong speciality papers are made of bleached softwood long fibre pulp. The aim of the thesis is to find new fibres suitable for paper making to increase either tensile strength, elongation or both properties. The study introduces how fibres bond and what kind of fibres give the strongest bonds into fibre matrix. The fibres that are used the in manufacturing of non-wovens are long and elastic. They are longer than softwood cellulose fibres. The end applications of non-wovens and speciality papers are often the same, for instance, wet napkins or filter media. The study finds out which fibres are used in non-wovens and whether the same fibres could be added to cellulose pulp as armature fibres, what it would require for these fibres to be blended in cellulose, how they would bind with cellulose and whether some binding agents or thermal bonding, such as hot calendaring would be necessary. The following fibres are presented: viscose, polyester, nylon, polyethylene, polypropylene and bicomponent fibres. In the empiric part of the study the most suitable new fibres are selected for making hand sheets in laboratory. Test fibres are blended with long fibre cellulose. The test fibres are viscose (Tencel), polypropylene and polyethylene. Based on the technical values measured in the sheets, the study proposes how to continue trials on paper machine with viscose, polyester, bicomponent and polypropylene fibres.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Partisaanisodasta alueelliseen puolustusjärjestelmään : jugoslavialaisen sotataidollisen ajattelun kehittyminen toisen maailmansodan jälkeen

Väitöskirjan tavoitteena on ollut rakentaa kokonaiskuva aiheesta Jugoslavialaisen sotataidollisen ajattelun kehittyminen toisen maailmansodan jälkeen. Tutkimuksessa ei ole rajoituttu ainoastaan kuvailemaan sotataidollisen ajattelun kehittyminen, vaan on pyritty selvittämään kehittymiseen vaikuttaneet tekijät ja vastaamaan kysymykseen, miksi näin on tapahtunut? Aiemmat länsimaiset tutkimukset ovat tarkastelleet jugoslavialaista sotataitoa tai maanpuolustusta vain jostain tietystä rajallisesta näkökulmasta, kuten esimerkiksi Jugoslavian kansanarmeijaa, asevoimien vaikutusta maan poliittiseen elämään tai sotilaallista doktriinia koskien. Sotataidon kehittymiseen vaikuttavat tekijät huomioivaa kokonaisesitystä ole tehty. Myös jugoslavialainen sotataidollinen ajattelu on jäänyt pääosin pimentoon. Jugoslavialainen maan sotataitoon kohdistunut tutkimus on ollut laajaa ja monipuolista, mutta sen käytettävyyteen osittain vaikuttaa marxilais-leniniläinen materialistis-dialektinen, historialliseen materialismiin perustuva tutkimusmenetelmä. Väitöskirjan päätutkimusaineiston ovat muodostaneet alkuperäislähteet, ensisijaisesti jugoslavialaiset ohjesäännöt, käsikirjat, oppaat ja oppikirjat. Muu lähteistö on koostunut lähinnä arkistoasiakirjoista ja muusta kirjallisuudesta. Tutkimusmenetelmä on ollut historiatieteellinen käsittäen muun muassa ulkoisen ja sisäisen lähdekritiikin harjoittamisen, tietojen varmistamisen mahdollisimman useasta toisistaan riippumattomasta lähteestä sekä pyrkimyksen rekonstruoida ristiriidaton kokonaiskuva tutkimuskohteesta. Eri lähteistä ja lähderyhmistä saatuja tietoja on vertailtu, analysoitu sekä yhdistetty kriittisesti. Lähteiden käytettävyyden, lähdearvon ja luotettavuuden arviointi ovat olleet merkittävässä roolissa, näistä kaikista tärkeimpänä luotettavuuden arviointi. Sisäisen ja ulkoisen lähdekritiikin keinoin on pyritty luomaan oma ristiriidaton tulkinta kokonaisuudesta, jugoslavialaisen sotataidollisen ajattelun kehittymisestä toisen maailmansodan jälkeen. Tutkimuksessa on pitäydytty niin pitkälle kuin mahdollista jugoslavialaisen sotataidon alkuperäisessä terminologiassa. Jugoslavialaisia termejä ei ole muokattu vastaamaan paremmin esimerkiksi tällä hetkellä länsimaisessa sotataidossa käytettyjä käsitteitä. Väitöskirjan rakenne on temaattinen. Läpi koko tutkittavan ajanjakson jugoslavialaisen sotataidollisen ajattelun kehittymisessä on tunnistettavissa samat määräävät tekijät: historialliset taustatekijät, sotilaallinen uhka, sotilaallinen doktriini, lakiperusteet, kommunistiliiton ohjaus ja asevoimien sekä yhteiskunnan valmiuden kehittyminen. Jugoslaviassa puhuttiin aseelliseen kamppailuun vaikuttavista sodankäynnin faktoreista, joita olivat yhteiskunnalliset tekijät, materiaalis-tekniset tekijät ja sotilaalliset tekijät. Kaikista tärkeimpänä tekijänä pidettiin kuitenkin ihmistä itseään, vaikka ihmisen merkitys välillä tuntuikin hukkuvan ”moraalis-poliittiset tekijät”-sanahirviön alle. Tutkimuskysymyksiin on vastattu sotataitoon vaikuttaneiden edellä mainittujen tekijöiden kautta. Kuhunkin muutostekijään liittyvä kehitys on kuvattu kronologisena esityksenä. Kansan vapautussodassa vuosina 1941–1945 perustettujen partisaaniyksiköiden muodostamisessa sekä niiden toimintamenetelmissä on havaittavissa runsaasti yhtymäkohtia 1700- ja 1800-luvun hajdukkijoukkojen sekä 1800-luvun lopun ja 1900-luvun alun četnikkijoukkojen vastaaviin periaatteisiin. Samankaltaisuuksia ilmenee 1950-luvulta alkaen alueellisen puolustuksen joukkojen ja partisaaniyksiköiden toimintamenetelmien yhteydessä väliaikaisesti menetetyllä alueella toimittaessa. Kansan tukeen, karismaattisiin johtajiin ja yllätyselementtiin perustuva sissitoiminta on perinteistä eteläslaavilaista sotataitoa. Sodanjälkeinen jugoslavialainen sotataito oli jatkumoa eteläslaavien vuosisatoja vanhalle sotataidolliselle perinteelle, vaikka sitä ei julkisesti Jugoslaviassa muutamia poikkeuksia lukuun ottamatta myönnettykään. Jugoslavian sotilaallinen doktriini oli luotu kaikista suunnista kohdistuvia hyökkäyksiä vastaan, mutta sotilaallisen uhkan painotukset vaihtelivat usein, jopa vain muutaman vuoden välein. Tämä ei johtunut päättämättömyydestä eikä pelkästään koetun uhkan suunnan vaihtumisesta. Painottamalla sisäisen ja ulkoisen uhkan jatkuvuutta sekä uhkan suunnan vaihtelua pyrittiin pitämään maanpuolustuspiirit valppaina ja kansalaiset aktiivisina. Tällä tavalla myös perusteltiin maanpuolustuksen korkeita kustannuksia ja ennen kaikkea pyrittiin lisäämään maan sisäistä veljeyttä ja yhtenäisyyttä. On ilmeistä, että sekä lännestä että idästä kohdistui Jugoslavian suuntaan suurta poliittista ja sotilaallista intressiä kylmän sodan vuosina 1945–1990, mutta suoran sotilaallisen uhkan aukoton todistaminen olisi kuitenkin hankalaa. Oleellista onkin jugoslavialaisten oma käsitys maataan vastaan kohdistuneesta sotilaallisesta uhkasta. Sisäisen uhkan vaikutus alkoi kasvaa 1970-luvun alkupuolelta lähtien ja se johti lopulta 1980-luvulla alueellisen puolustuksen joukkojen esikuntien lakkauttamiseen ja taisteluvälineiden hajavarastointijärjestelmän purkamiseen. Yhteiskunnallisista tekijöistä merkittävimpinä sotataitoon ja sotataidolliseen ajatteluun vaikuttaneina osina olivat lait ja Jugoslavian kommunistiliitto. Perustuslakiin ja lakiin kansallisesta puolustuksesta sekä kommunistiliiton päätöslauselmiin sisällytetyt vaatimukset sotataidon kehittymiselle kuitenkin vain toistivat sotilaallisessa doktriinissa määritettyjä suuntaviivoja sekä määräyksiä. Maanpuolustukseen liittyneiden määräysten ja ohjeiden hyväksymiselle laillisen järjestyksen mukaisesti annettiin kuitenkin erittäin suuri arvo. Niiden toimeenpanon leviäminen maanlaajuisesti varmistettiin puolueen päätöksillä velvoittamalla muun muassa kommunistiliiton paikallisorganisaatiot, puoluesolut asevoimien sisällä sekä kaikki liittovaltion hallintotasot tekemään kaikkensa yleisen kansanpuolustuksen ja sitä ilmentävän sotataidon toteutumisen eteen. Materiaalis-teknisen tekijän kokonaisuus sisälsi aseet ja varusteet sekä niihin liittyviä muita seikkoja, kuten yhteiskunnan teollisuuden kehittymisen asteen sekä kyvyn suojautua vihollisen taisteluvälineitä vastaan ja luoda vihollisen aseita vastaan tehokkaampi vasta-ase. Siihen luettiin myös yksilöiden, taktisten ja yhdistettyjen taktisten yksiköiden sekä koko kansan koulutus aseiden ja varusteiden tarkoituksenmukaiseen käyttöön. Vaikka jugoslavialainen aseteollisuus kehittyi tutkimusperiodin aikana voimakkaasti, joutui maa taloudellisten resurssiensa rajallisuuden ja mahdollisen vihollishyökkäyksen ylivoimaisuuden havaittuaan toteamaan, että maanpuolustuksen ongelmia ei voida ratkaista materiaalin ja tekniikan määrällä tai laadulla. Ratkaisun oli löydyttävä sotilaallisista tekijöistä ja varsinkin sotataidosta. Sotilaalliset tekijät ja prosessit olivat jugoslavialaisen sotataidon ja sotataidollisen ajattelun kehittymisen kannalta tärkein muutostekijä. Sotilaallisten tekijöiden ytimen muodosti sotataito, joka Jugoslaviassa koostui teoriasta ja käytännöstä. Tämä jako koski sotataidon kolmea tasoa: strategiaa, operatiikkaa ja taktiikkaa. Sotataitoon kuuluvina osina pidettiin muun muassa taisteluvalmiutta, liikekannallepanovalmiutta, yhteiskunnallis-poliittisten yhteisöjen aseetonta vastarintaa, aseellisen kamppailun operatiivista ja taktista tasoa, materiaalista ja teknistä varustamista, sotatalouden valmistelujen organisointia sekä yhteiskunnallisia palveluja poikkeusoloissa. Osa näistä kuului edellä mainittuihin yhteiskunnallisiin tai materiaalis-teknisiin tekijöihin. Jugoslavialainen sotataito onkin nähtävä matriisinomaisena kokonaisuutena, jossa sotataidon kolmeen toiminnalliseen tasoon, strategiaan, operatiikkaan ja taktiikkaan vaikuttivat historialliset taustatekijät, sotilaallinen uhka, yhteiskunnalliset tekijät ja materiaalis-tekniset tekijät. Jugoslavialaisen sotataidon kokonaisuuteen kuului myös se, että mainitut muutostekijät vaikuttivat vielä toisiinsa. Lopputuloksena näin kokonaisvaltaisesta näkemyksestä sotataitoon ja sotataidolliseen ajatteluun Jugoslavia kykeni luomaan poikkeuksellisen tehokkaana pidetyn puolustusratkaisun, jossa koko yhteiskunnan kaikki resurssit pystyttiin suuntaamaan hyökkäyksen torjumiseen ja maahan tunkeutuneiden pois ajamiseen. Aiempi tutkimus on nähnyt jugoslavialaisen sotataidon kehittymisen keskeisimpänä vaikuttimena ja murroskohtana Varsovan liiton joukkojen toimeenpaneman Tšekkoslovakian miehityksen ja siitä seuranneen koetun uhkan merkittävän voimistumisen. Yleisen kansanpuolustuksen doktriiniin liittyvä taustatutkimus, teorianmuodostus ja doktriinin käyttöönotto tapahtuivat kuitenkin jo 1950-luvulla. Tšekkoslovakian miehitys toimi vain muutoksen toimeenpanoa vauhdittavana tekijänä. Jugoslavialaiset korostivat, että jugoslavialaisessa yhteiskunnassa keskeisessä asemassa ollut yhteisjohtoisuuden periaate ulottui myös maanpuolustukseen ja sotataitoon. Tutkimusaineistoon perehtyminen kuitenkin osoitti, että yleisen kansanpuolustuksen kokonaisuutta kuvaavat oppikirjat, laeissa asetetut määräykset ja Jugoslavian kommunistiliiton julkaisemat vaatimukset eivät olleet jalkautuneet sotataidon teoriaan tai käytäntöön operatiivisella tai taktisella tasolla. Strategisella tasolla yhteisjohtoisuus esiintyi näkyvämmin vain sotilaallisen konseptin ja strategian yhteydessä. Sotilaallisen doktriinin osalta yhteisjohtoisuus ilmeni lähinnä kahdessa asiassa. Alueellisen puolustuksen yksiköiden varustamisvelvoite oli asetettu siviilihallinnon eri tasojen vastuulle. Alueellisen puolustuksen esikunnat ja komentajat olivat vastuussa yleisen kansanpuolustuksen ja yhteiskunnallisen itsesuojelun komiteoille. Siviilihallinnon organisaatioiden kyky varustaa alueellisen puolustuksen yksiköt osoittautui kuitenkin heikoksi. Alueellisen puolustuksen esikunnatkin toimivat upseereiden johtamina sotilaallisina johtoportaina, ja yleisen kansanpuolustuksen ja yhteiskunnallisen itsesuojelun komiteoiden toiminta komentajien ja esikuntien suuntaan rajoittui vain nimelliseen ohjaukseen. Yhteisjohtoisuus osoittautuikin tutkimuksen kuluessa piirteeksi, joka julkisesta retoriikasta huolimatta ei toteutunut jugoslavialaisessa sotataidon praktiikassa. Jugoslavialaisen sotataidollisen ajattelun kehittymisen kaari käynnistyi partisaanisodasta ja päätyi alueelliseen puolustusjärjestelmään. Kansakunta ja sen useat eri kansallisuudet onnistuivat luomaan tieteelliseen ja tutkittuun tietoon perustuvan välineen, sotataidon teorian ja käytännön, joka suojeli maata yli puolen vuosisadan ajan. Yleinen kansanpuolustus sekä jugoslavialainen sotataito ovat toisiensa synonyymejä, seurauksia ja synnyttäjiä. Puolustusratkaisu lähti omista kansallisista lähtökohdista, siihen sulautettiin valikoiden ja jalostettuna hyviksi sekä menestyksekkäiksi koettuja ulkomaisia elementtejä sekä vaikutteita. Sitä perusteltiin monipuolisilla poliittisilla, ideologisilla, teoreettisilla, historiallisilla sekä nykyaikaisilla sotataidollisilla argumenteilla, mutta kaikesta tästä huolimatta sen ydin oli omintakeinen jugoslavialainen sotataidollinen ajattelu.

Ulkomaalaislupaprosessin läpäisyaikojen hallinta poliisilaitoksella

Tämä diplomityö käsittelee Lappeenrannan teknillisen yliopiston ja Etelä- Karjalan poliisilaitoksen yhteistä kehitysprojektia, jonka tavoitteena oli tuottaa käytäntöön vietävissä oleva kehittämissuunnitelma ulkomaalaislupa-asioiden läpäisyaikojen hallintaan. Kehitysalueita on pyritty löytämään poliisilaitoksen henkilöstön haastatteluilla ja prosessianalyyseilla. Työ sisältää teoriaosion määräaikahallinnasta, yleiskatsauksen ulkomaalaislupa-asioista Suomessa sekä selvityksen ulkomaalaislupa-asioiden tilanteesta Etelä-Karjalan poliisilaitoksella. Työssä muodostettiin kolme kehittämisteemaa: seurannan kehittäminen, prosessien ja työtapojen kehittäminen ja yhteistyön kehittäminen. Tärkein kehittämistoimi oli Excel-pohjaisen seurantajärjestelmän suunnittelu, rakentaminen ja käyttöönottaminen. Seurantajärjestelmää voidaan hyödyntää tehtävien päivittäisessä ohjauksessa, määräaikatavoitteiden toteutumisen seurannassa sekä tilannekuvan ylläpitämisessä. Tavoitetilanteessa seurantajärjestelmän avulla hallitaan tilannetta siten, että hallitsemattomia hakemusruuhkia ei synny. Hankkeesta saatuja kokemuksia tehtäväjonojen hallinnasta ja suorituskyvyn mittaamisesta voidaan ajatella hyödynnettävän myös muissa prosesseissa.

A Farewell to Flat Biology. Three-dimensional Cell Culture Models in Cancer Drug Target Identification and Validation

Cells of epithelial origin, e.g. from breast and prostate cancers, effectively differentiate into complex multicellular structures when cultured in three-dimensions (3D) instead of conventional two-dimensional (2D) adherent surfaces. The spectrum of different organotypic morphologies is highly dependent on the culture environment that can be either non-adherent or scaffold-based. When embedded in physiological extracellular matrices (ECMs), such as laminin-rich basement membrane extracts, normal epithelial cells differentiate into acinar spheroids reminiscent of glandular ductal structures. Transformed cancer cells, in contrast, typically fail to undergo acinar morphogenic patterns, forming poorly differentiated or invasive multicellular structures. The 3D cancer spheroids are widely accepted to better recapitulate various tumorigenic processes and drug responses. So far, however, 3D models have been employed predominantly in the Academia, whereas the pharmaceutical industry has yet to adopt a more widely and routine use. This is mainly due to poor characterisation of cell models, lack of standardised workflows and high throughput cell culture platforms, and the availability of proper readout and quantification tools. In this thesis, a complete workflow has been established entailing well-characterised 3D cell culture models for prostate cancer, a standardised 3D cell culture routine based on high-throughput-ready platform, automated image acquisition with concomitant morphometric image analysis, and data visualisation, in order to enable large-scale high-content screens. Our integrated suite of software and statistical analysis tools were optimised and validated using a comprehensive panel of prostate cancer cell lines and 3D models. The tools quantify multiple key cancer-relevant morphological features, ranging from cancer cell invasion through multicellular differentiation to growth, and detect dynamic changes both in morphology and function, such as cell death and apoptosis, in response to experimental perturbations including RNA interference and small molecule inhibitors. Our panel of cell lines included many non-transformed and most currently available classic prostate cancer cell lines, which were characterised for their morphogenetic properties in 3D laminin-rich ECM. The phenotypes and gene expression profiles were evaluated concerning their relevance for pre-clinical drug discovery, disease modelling and basic research. In addition, a spontaneous model for invasive transformation was discovered, displaying a highdegree of epithelial plasticity. This plasticity is mediated by an abundant bioactive serum lipid, lysophosphatidic acid (LPA), and its receptor LPAR1. The invasive transformation was caused by abrupt cytoskeletal rearrangement through impaired G protein alpha 12/13 and RhoA/ROCK, and mediated by upregulated adenylyl cyclase/cyclic AMP (cAMP)/protein kinase A, and Rac/ PAK pathways. The spontaneous invasion model tangibly exemplifies the biological relevance of organotypic cell culture models. Overall, this thesis work underlines the power of novel morphometric screening tools in drug discovery.

A bridge between engineering and language learning : automation and German in an online course

Artikkeli luettavissa osassa: Part 2. - ISBN 9789522163172(PDF). - Liitteenä työpaperi

Finna - Opening Access to Cultural Heritage and Scientific Information

Aki Lassilan esitys Europeana työpajassa 20.11.2012 Helsingissä.

E-thesis repository – processes and data

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

An Open Source, DDI-based Curation System for Social Science Data

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Invenio customization for CERN Document Server

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Using ArchivesSpace to Support Research Data Curation

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Integrating Student Learning into the Repository Ecosystem

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Evolver: The Evolution of The Extended EPrints Ecosystem

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014