Nationalekonomi

Samlingen med signum HB VIb finns vid huvudbiblioteket och innehåller litteratur om nationalekonomi till och med år 1999. Bankhistoriker ingår i denna samling. Vid Institutionen för samhällsekonomi och statistik finns dessutom en samling nationalekonomiskt litteratur. Nationalekonomisk litteratur har ingått i bokdonationer såväl från hemlandet som från Sverige. Bland donatorerna kan nämnas Gösta Söderholm, Lars Wasastjerna, J.V.Tallqvist och Tor von Wright. Samlingen har kompletterats med friexemplar som erhållits från 1919. Den nationalekonomiska litteraturen söks i Alma med sökfunktionen Signum och söktermen HB VIb. En del litteratur tryckt före 1980 skall sökas manuellt i huvudbibliotekets systematiska kortkatalog, men retroaktiv inmatning i Alma av litteratur tryckt mellan 1830 och 1979 pågår. Från och med år 2000 ingår den nationalekonomiska litteraturen vid huvudbiblioteket i en numerus currens-samling.

Pedagogik

Samlingen med signum HB IIb finns vid huvudbiblioteket och innehåller litteratur om pedagogik till och med år 1999. Dessutom fanns tidigare en samling pedagogisk litteratur vid Institutionen för pedagogik i Åbo. I samband med att institutionen flyttade till Vasa på 1980-talet överfördes en del av institutionens böcker till Vasa medan pedagogisk litteratur av historiskt intresse överfördes till huvudbibliotekets samling. En del av samlingen består av friexemplar, som erhållits från och med 1919 och därutöver har aktiva inköp kompletterat samlingen. Den pedagogiska litteraturen vid huvudbiblioteket söks i Alma med sökfunktionen Signum och söktermen HB IIb. En del litteratur tryckt före 1980 skall sökas manuellt i huvudbibliotekets systematiska kortkatalog, men retroaktiv inmatning i Alma av litteratur tryckt mellan 1830 och 1979 pågår. Från och med år 2000 ingår pedagogisk litteratur vid huvudbiblioteket i en numerus currens-samling. Pedagogiska publikationer från olika inhemska organisationer sätts dock fortlöpande i en s.k. småtryckssamlingen och har då signum, HB IIb småtr. 2000-04 831

Skönlitteratur – en specialsamling rikssvensk skönlitteratur

Samlingen med signum HB IVb2 finns vid huvudbiblioteket och innehåller rikssvensk skönlitteratur förutom barnlitteratur. Samlingen tillväxer kontinuerligt. Barnlitteraturen ingår Barnbokssamlingen. Grunden för specialsamlingen rikssvensk skönlitteratur lades vid akademins invigning år 1919. Riksföreningen för svenskhetens bevarande i utlandet gjorde ett upprop i hela Sverige att det nygrundade svenskspråkiga universitetet i grannlandet behövde litteratur. Strömmen bokdonationer fortsatte sedan genom åren att komma från Sverige, men betydande bokdonationer kom också från hemlandet. Det kom bokdonationer från enskilda personer, från sterbhus, från institutioner och från föreningar. Bland föreningar i Sverige kan förutom ovannämnda riksförening nämnas Föreningen Svensk-Finlands Vänner i Stockholm, Riksföreningen Sverigekontakt och Föreningen Konung Oscar II:s vandringsbibliotek. Bland stora donationer från institutioner kan nämnas de 400 volymer som Göteborgs stadsbibliotek donerade i mitten av 40-talet och de 800 volymer som Kungliga biblioteket i Stockholm donerade i slutet av 50-talet. Bland donationer från hemlandet kan speciellt nämnas vicehäradshövding Arvid Souranders samling böcker skrivna av Strindberg samt hans samling böcker skrivna av Almqvist. En annan speciellt värdefull specialsamling som biblioteket erhållit består av äldre svensk dramatisk litteratur. Samlingen är kronologiskt ordnad men okatalogiserad. Beståndet finns förprickat i ett exemplar av G.E. Klemmings Sveriges dramatiska litteratur till och med 1875. Med anledning av att Åbo Akademi fyllde 50 år förband sig över femtio rikssvenska förlag i januari 1968 att till biblioteket ställa till förfogande ett exemplar av varje bok som förlagen utgav. Denna s.k. förlagsgåva har med åren minskat i omfång och betydelse, dels har förlagsvärlden ändrats så att flertalet förlag har upphört att existera och dels har bibliotekets resurser blivit bättre och biblioteket kompletterar samlingen genom inköp. Den rikssvenska skönlitteraturen söks i Alma med sökfunktionen Signum och söktermen HB IVb2. En del litteratur tryckt före 1980 skall sökas manuellt i huvudbibliotekets systematiska kortkatalog, men retroaktiv inmatning i Alma av litteratur tryckt mellan 1830 och 1979 pågår.

Kopulaverbet vara som citatmarkör i svenskt ungdomsspråk

Artikel i konferensvolym 2009.

Federalism, asymmetrisk federalism och territoriell autonomi

Lectio praecursoria för doktorsdisputationen den 30 oktober 2009 vid Åbo Akademi.

Val av species och bestämdhetsform i ett test för finska grundskolelever

Artikel i konferensrapport.

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.

Asymmetriskt påverkat beslutsfattande i IT-projekt

I avhandlingen beskriver Leif Marcusson vad som påverkar beslutsfattare då dessa ska fatta beslut i IT-projekt. Arbetet har mynnat ut i en modell, som beskriver asymmetrisk påverkan på beslutsfattande. Eftersom modellen är både deskriptiv och normativ kan den användas för att beskriva och för att styra beslutsfattande. Ett beslut fattas av en eller flera personer i en viss situation, där det även krävs att det finns ett beslutsunderlag. Beslutet påverkas av en mängd olika faktorer - allt från väder till ekonomi. De olika faktorerna är indelade utifrån om de påverkar beslutsunderlaget, individen eller beslutssituationen. Dessa tre delar innehåller i sig ett antal faktorsgrupper. Den första delen, Underlag, innehåller två faktorsgrupper: den ena beskriver underlagets tydlighet och den andra beskriver effekten och nyttan av det fattade beslutet. Den andra delen, Individ, innehåller fyra faktorsgrupper. Dessa beskriver det som skapat individen, det som påverkar individen, det som påverkar individens framtid och det som påverkar gruppen. Den sista delen, Situation, innehåller två faktorsgrupper, som beskriver det som styr situationen och det som påverkar den. Var och en av dessa faktorsgrupper består av ett antal faktorer, som i sin tur kan delas in i delfaktorer osv. Det finns med andra ord närapå oändligt många faktorer, som kan påverka den som ska fatta ett beslut. Förståelse för och insikt i modellen kan underlätta för beslutsfattare. Modellen är förvisso skapad för IT-projekt, men den går även att använda i andra projekt och i linjeverksamhet.

Introduktionen av kärnkraften i Finland

Finlands industri har av tradition varit starkt energikrävande. Träförädlingsindustrin, som fick sin egentliga start i medlet på 1800-talet, använde stora mängder energi liksom metallförädlingsföretagen i ett senare skede. Krigstiden med sin energiransonering visade handgripligen för allmänheten liksom för specialisterna att en tillräcklig tillgång till energi är ett livsvillkor för vår industri och därmed för vårt land. Efterkrigstiden kännetecknades av en allt snabbare utbyggnad av den på vatten- och ångkraft baserade elkraftskapaciteten, en utbyggnad som den inhemska verkstadsindustrin i stor utsträckning deltog i. Men redan på 1950-talet var vattenkraften till stor del utbyggd, varför den privata såväl som den statliga sektorns intresse allt mera inriktade sig på den speciellt i USA favoriserade atomenergin. Efter fördjupade studier i kärnfysik och kärnteknik vid the International School of Nuclear Science and Engineering i USA deltog författaren av dessa rader intensivt (först som Ahlströmanställd och senare som VD för Finnatom) i den utvecklingsverksamhet inom det kärntekniska området som inte bara elproducenterna utan även verkstadsindustrin i vårt land genomförde. Det var därför naturligt för mig att som objekt för min doktorsavhandling välja introduktionen av kärnkraften i Finland med speciell fokus på den inhemska verkstadsindustrins roll. Jag ställde följande forskningsfrågor: a. När och hur skedde introduktionen av kärnkraften i Finland? b. Vilka var orsakerna till och resultatet av denna introduktion? c. Vilken var den inhemska verkstadsindustrins roll? Ett grundligt studium av litteraturen inklusive mötesprotokoll och tidningsreferat samt personligen genomförda intervjuer med ett trettiotal av de verkliga aktörerna i den långa och komplicerade introduktionsprocessen ledde till en teori, vars riktighet jag anser mig ha kunnat bevisa. Den inhemska verkstadsindustrins roll var synnerligen central. Dess representanter lyckades, bl.a. refererande till erfarenheterna från utbyggnaden av vatten- och ångkraften liksom till byggandet av den underkritiska milan YXP samt forskningsreaktorn TRIGA, övertyga beslutsfattarna om att den besatt nödig kompetens för att kompensera den kompetensbrist som kunde iakttas inom vissa områden hos den sovjetiska kärnkraftverksleverantören. De inhemska leveranserna påverkade även driftsresultatet, speciellt i fallet Lovisa, i positiv riktning. Introduktionsprocessen, som omfattade tiden från slutet av 1950-talet till början på 1980-talet, beskrevs, noterande bl.a. J. W. Creswells anvisningar, i detalj i avhandlingen. Introduktionen fick som resultat konkurrenskraftig elkraft, impuls till start av nya företag, exempelvis Nokia Elektronik, liksom en klar höjning av den tekniska nivån hos vår industri, inkluderande kärnteknisk tillverkning i stor skala. Katastrofen i Tjernobyl i slutet av april 1986 innebar emellertid att utvecklingen tog en paus på ett par decennier. Erfarenheterna från introduktionsfasen kan förhoppningsvis utnyttjas till fullo nu, när utbyggnaden av kärnkraften återupptagits i vårt land.

Crystallization characteristics of bioactive glasses

Bioactive glasses are excellent candidates for implant materials, because they can form a chemical bond to bone or guide bone growth, depending on the glass composition. Some compositions have even shown soft tissue attachment and antimicrobial effects. So far, most clinical applications are based on monoliths, plates and particulates of different grain sizes. There is a growing interest in special products such as porous implants sintered from microspheres and fibers drawn from preforms or glass melts. The viscosity range at which these are formed coincides with the crystallization temperature range for most bioactive glasses, thus complicating the manufacturing process. In this work, the crystallization tendency and its kinetics for a series of glasses with their compositions within the range of bioactivity were investigated. The factors affecting crystallization and how it is related to composition were studied by means of thermal analysis and hot stage microscopy. The crystal compositions formed during isothermal and non-isothermal heat treatments were analyzed with SEM-EDXA and X-ray diffraction analysis. The temperatures at which sintering and fiber drawing can take place without interfering with crystallization were determined and glass compositions which are suitable for these purposes were established. The bioactivity of glass fibers and partly crystallized glass plates was studied by soaking them in simulated body fluid (SBF). The thickness of silica, calcium and phosphate rich reaction layers on the glass surface after soaking was used as an indication of the bioactivity. The results indicated that the crystallization tendencies of the experimental glasses are strongly dependent on composition. The main factor affecting the crystallization was found to be the alkali oxide content: the higher the alkali oxide content the lower the crystallization temperature. The primary crystalline phase formed at low temperatures in these glasses was sodium calcium silicate. The crystals were found to form through internal nucleation, leading to bulk crystallization. These glasses had high bioactivity in vitro. Even when partially crystalline, they formed typical reaction layers, indicating bioactivity. In fact, sodium calcium silicate crystals were shown to transform in vitro into hydroxyapatite during soaking. However, crystallization should be avoided because it was shown to retard dissolution, bioactivity reactions and complicate fiber drawing process. Glass compositions having low alkali oxide content showed formation of wollastonite crystals on the surface, at about 300°C above the glass transition temperature. The wide range between glass transition and crystallization allowed viscous flow sintering of these compositions. These glasses also withstood the thermal treatments required for fiber drawing processing. Precipitation of calcium and phosphate on fibers of these glasses in SBF suggested that they were osteoconductive. Glasses showing bioactivity crystallize easily, making their hot working challenging. Undesired crystallization can be avoided by choosing suitable compositions and heat treatment parameters, allowing desired product forms to be attained. Small changes in the oxide composition of the glass can have large effects and therefore a thorough understanding of glass crystallization behavior is a necessity for a successful outcome, when designing and manufacturing implants containing bioactive glasses.

The Sottunga-Jurmo shear zone : structure and deformation history of a crustal-scale ductile shear zone in SW Finland

The aim of this study is to gain a better understanding of the structure and the deformation history of a NW-SE trending regional, crustal-scale shear structure in the Åland archipelago, SW Finland, called the Sottunga-Jurmo shear zone (SJSZ). Approaches involving e.g. structural geology, geochronology, geochemistry and metamorphic petrology were utilised in order to reconstruct the overall deformation history of the study area. The study therefore describes several features of the shear zone including structures, kinematics and lithologies within the study area, the ages of the different deformation phases (ductile to brittle) within the shear zone, as well as some geothermobarometric results. The results indicate that the SJSZ outlines a major crustal discontinuity between the extensively migmatized rocks NE of the shear zone and the unmigmatised, amphibolite facies rocks SW of the zone. The main SJSZ shows overall dextral lateral kinematics with a SW-side up vertical component and deformation partitioning into pure shear and simple shear dominated deformation styles that was intensified toward later stages of the deformation history. The deformation partitioning resulted in complex folding and refolding against the SW margin of the SJSZ, including conical and sheath folds, and in a formation of several minor strike-slip shear zones both parallel and conjugate to the main SJSZ in order to accommodate the regional transpressive stresses. Different deformation phases within the study area were dated by SIMS (zircon U-Pb), ID-TIMS (titanite U-Pb) and 40Ar/39Ar (pseudotachylyte wholerock) methods. The first deformation phase within the ca. 1.88 Ga rocks of the study area is dated at ca. 1.85 Ga, and the shear zone was reactivated twice within the ductile regime (at ca. 1.83 Ga and 1.79 Ga), during which the strain was successively increasingly partitioned into the main SJSZ and the minor shear zones. The age determinations suggest that the orogenic processes within the study area did not occur in a temporal continuum; instead, the metamorphic zircon rims and titanites show distinct, 10-20 Ma long breaks in deformation between phases of active deformation. The results of this study further imply slow cooling of the rocks through 600-700ºC so that at 1.79 Ga, 2 the temperature was still at least 600ºC. The highest recorded metamorphic pressures are 6.4-7.1 kbar. At the late stages or soon after the last ductile phase (ca. 1.79 Ga), relatively high-T mylonites and ultramylonites were formed, witnessing extreme deformation partitioning and high strain rates. After the rocks reached lower amphibolite facies to amphibolite-greenschist facies transitional conditions (ca. 500-550ºC), they cooled rapidly, probably due to crustal uplift and exhumation. The shear zone was reactivated at least once within the semi-brittle to brittle regime between ca. 1.79 Ga and 1.58 Ga, as evidenced by cataclasites and pseudotachylytes. In summary, the results of this study suggest that the Sottunga-Jurmo shear zone (and the South Finland shear zone) defines a major crustal discontinuity, and played a central role in accommodating the regional stresses during and after the Svecofennian orogeny.

På flykt i eget land : internflyktingar i Sverige under stora nordiska kriget

År 1721 stod bondhustrun Lisbeta Mickelsdotter från Pyhäjoki framför prästen i Piteå socken och redogjorde för sina upplevelser under det hemska året 1714 då ryssarna inföll i Österbotten och alla som bara kunde begav sig på flykt. Lisbeta är bara en av de tiotusentals flyktingar som under det stora nordiska kriget 1700–1721 flydde från såväl Östersjöprovinserna men framför allt från Finland till tryggheten i Sverige. I avhandlingen skildras vilka som flydde, varifrån och vart. Man kan tala om en elitens flykt där ämbetsmän och präster sökte sig västerut enligt de direktiv som Karl XII gett om att civilbefolkningen skulle söka sig bakom den egna armén. Det förekom också en bondeflykt från framför allt Österbotten och Åland. Det här var områden som p.g.a. strategiska skäl förhärjades av ryssarna. För många fanns det inget annat alternativ än att fly, antingen ut i de djupa skogarna eller västerut till Sverige. En delorsak till flykten var den order som Karl XII gett. Ryssarna föregicks av ett rykte som hade sin bakgrund i den propaganda som de svenska myndigheterna i decennier hade bedrivit. Ryssarna sågs som en grym fiende. När ämbetsverk och magistrat började packa ihop sina arkiv för en överflyttning till Sverige skedde det i smyg för att inte förorsaka oro bland den övriga befolkningen. Paniken låg hela tiden på lur och det faktum att myndigheterna gav sig av ledde till, att när ryssarna verkligen plötsligt dök upp i socknen var det många som valde att hals över huvud ge sig iväg. För att hjälpa flyktingarna ekonomiskt samlades det till förmån för flyktingarna kollekt över hela det svenska väldet. I Stockholm tillsatte myndigheterna en flyktingkommission som fick till uppgift att bland flyktingarna fördela de medel som hade samlats in. Huvudprincipen var att ju mer man hade förlorat desto större understöd skulle man få. Det var viktigt att ståndssamhället bevarades. Utanför de grupper som skulle hjälpas lämnades bl.a. köpmän och hantverkare som förväntades kunna fortsätta sin verksamhet i Sverige, gamla och orkeslösa som skulle beredas rum på fattighus samt unga och friska som skulle försörja sig genom arbete. Eftersom det var svårt att finna en försörjning och då många tvingades livnära sig genom att tigga tvingades flyktingkommissionen också ge en slant till personer som enligt kommissionens instruktion skulle lämnas utan hjälp. Det är ändå tveksamt om de små summor det stora flertalet fick egentligen hade någon betydelse för dem. Man kan konstatera att många hade det oerhört svårt under sin tid i Sverige. För mitt arbete har det viktigaste källmaterialet varit de förteckningar som flyktingkommissionen gjorde över vem som fått understöd och hur mycket som utbetalades. Av de här uppgifterna har jag byggt upp en databas med över 13 000 identifierade flyktingar. Jag har utgående från bl.a. uppgiften om identifierade individer kunnat fastställa att antalet finska flyktingar uppgick till åtminstone 30 000 personer, vilket motsvarade närmare en tiondedel av befolkningen i Finland. Efter fredsslutet 1721 återvände de flesta hem. I Österbotten möttes då en del av en överraskning då de fann att någon främmande person hade övertagit deras hemman. Det förekom under slutet av 1710-talet en inflyttning från de österbottniska finskspråkiga inlandssocknarna till de svenskspråkiga kustsocknarna. Det är ändå uppenbart att de finskspråkiga snart assimilerade sig och helt uppgick i den svenskspråkiga majoriteten.