Symfoni III

Mukana myös kaksi keskeneräistä 4-kätistä pianosovitusta I osasta, vanhempi versio II osasta, keskeneräinen versio II osasta sekä II osan orkesteristemmat.

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.

Osaamisen hallinta suurissa muutosprojekteissa

Ydinvoimatoiminta on muuta teollisuustoimintaa huomattavasti säädellympi alue, missä organisaatioiden riittävä osaaminen on ydinturvallisuuden kannalta tärkeää. Tästä syystä osaamisen riittävyyden takaamiseksi panostetaan tinkimättömästi. Etenkin prosessi- ja turvajärjestelmiin tehtävät muutos- modernisointityöt luovat haasteita organisaatioiden nykyosaamiselle, koska muutosten hallinta edellyttää organisaatioilta jatkuvaa oppimista ja osaamisen kehittämistä. Fortum Power & Heat Oy:n omistamalla ydinvoimalaitoksella käynnistettiin vuoden 2005 alussa laaja automaatiouusintaan tähtäävä projekti. Järjestelmien kokonaistoimittajaksi oli valittu ranskalais-saksalainen Areva NP GmbH – Siemens AG – konsortio. Konsortion kokonaistoimitukseen kuuluu automaatiojärjestelmien uusimisen lisäksi myösydinvoimalaitoksen henkilöstön kouluttaminen. Loviisa ydinvoimalaitoksen käyttöluvan haltijana Fortum Power & Heat Oy on kokonaisvastuullinen ydinvoimalaitoksen toiminnasta. Täten myös henkilöstön riittävä osaaminen ja pätevyys ovat Fortumin vastuulla. Toimittajan järjestämien koulutustilaisuuksien avulla hankittu uusi osaaminen on havaittu riittämättömäksi. Tämän on koettu johtuvan osittain teoriaan painottuvasta koulutusmateriaalista ja myös siitä, että käytännön tarjoamiin koulutustilaisuuksiin kuten esimerkiksi osallistuminen suunnittelutyöhön ei ole hakeuduttu. Lisäksi koulutus kaipaa kokonaisuudessaan kehittämistä. Tästä johtuen ydinvoimalaitosten muutostöihin liittyvän henkilöstön osaamisen ja pätevyyden selvittämiseksi käynnistettiin tämä tutkimus. Tutkimuksessa on tunnistettu useita sellaisia kehityskohteita, joita tehostamalla on mahdollista kehittää automaatioylläpitoryhmän osaamista. Lisäksi on esitetty menettelytapoja ja käytäntöjä, joilla ylläpidon koulutusta on mahdollista tehostaa. Tutkimuksen tuotokset toimivat suuntaviivoina organisaation kehittämisen toteutukselle.

Trumpetkonsert

Soitinnus: trumpetti, orkesteri.

Pianokvartett c-moll

Soitinnus: piano, viulu, alttoviulu, sello.

Concerto grosso op. 3:11 d-moll

Soitinnus: viulut (2), sello, jousiorkesteri.

[Symphony of the birds] : [otteita]

Soitinnus: ääninauha.

Qualitative Characteristics and Quantitative Measures of Solution's Reliability in Discrete Optimization: Traditional Analytical Approaches, Innovative Computational Methods and Applicability

The purpose of this thesis is twofold. The first and major part is devoted to sensitivity analysis of various discrete optimization problems while the second part addresses methods applied for calculating measures of solution stability and solving multicriteria discrete optimization problems. Despite numerous approaches to stability analysis of discrete optimization problems two major directions can be single out: quantitative and qualitative. Qualitative sensitivity analysis is conducted for multicriteria discrete optimization problems with minisum, minimax and minimin partial criteria. The main results obtained here are necessary and sufficient conditions for different stability types of optimal solutions (or a set of optimal solutions) of the considered problems. Within the framework of quantitative direction various measures of solution stability are investigated. A formula for a quantitative characteristic called stability radius is obtained for the generalized equilibrium situation invariant to changes of game parameters in the case of the H¨older metric. Quality of the problem solution can also be described in terms of robustness analysis. In this work the concepts of accuracy and robustness tolerances are presented for a strategic game with a finite number of players where initial coefficients (costs) of linear payoff functions are subject to perturbations. Investigation of stability radius also aims to devise methods for its calculation. A new metaheuristic approach is derived for calculation of stability radius of an optimal solution to the shortest path problem. The main advantage of the developed method is that it can be potentially applicable for calculating stability radii of NP-hard problems. The last chapter of the thesis focuses on deriving innovative methods based on interactive optimization approach for solving multicriteria combinatorial optimization problems. The key idea of the proposed approach is to utilize a parameterized achievement scalarizing function for solution calculation and to direct interactive procedure by changing weighting coefficients of this function. In order to illustrate the introduced ideas a decision making process is simulated for three objective median location problem. The concepts, models, and ideas collected and analyzed in this thesis create a good and relevant grounds for developing more complicated and integrated models of postoptimal analysis and solving the most computationally challenging problems related to it.

Numbers and Languages

The thesis presents results obtained during the authors PhD-studies. First systems of language equations of a simple form consisting of just two equations are proved to be computationally universal. These are systems over unary alphabet, that are seen as systems of equations over natural numbers. The systems contain only an equation X+A=B and an equation X+X+C=X+X+D, where A, B, C and D are eventually periodic constants. It is proved that for every recursive set S there exists natural numbers p and d, and eventually periodic sets A, B, C and D such that a number n is in S if and only if np+d is in the unique solution of the abovementioned system of two equations, so all recursive sets can be represented in an encoded form. It is also proved that all recursive sets cannot be represented as they are, so the encoding is really needed. Furthermore, it is proved that the family of languages generated by Boolean grammars is closed under injective gsm-mappings and inverse gsm-mappings. The arguments apply also for the families of unambiguous Boolean languages, conjunctive languages and unambiguous languages. Finally, characterizations for morphisims preserving subfamilies of context-free languages are presented. It is shown that the families of deterministic and LL context-free languages are closed under codes if and only if they are of bounded deciphering delay. These families are also closed under non-codes, if they map every letter into a submonoid generated by a single word. The family of unambiguous context-free languages is closed under all codes and under the same non-codes as the families of deterministic and LL context-free languages.

Biomolecular screening for inhibitors of butyrylcholinesterase : identification and characterization using in vitro and in silico tools

Drug discovery is a continuous process where researchers are constantly trying to find new and better drugs for the treatment of various conditions. Alzheimer’s disease, a neurodegenerative disease mostly affecting the elderly, has a complex etiology with several possible drug targets. Some of these targets have been known for years while other new targets and theories have emerged more recently. Cholinesterase inhibitors are the major class of drugs currently used for the symptomatic treatment of Alzheimer’s disease. In the Alzheimer’s disease brain there is a deficit of acetylcholine and an impairment in signal transmission. Acetylcholinesterase has therefore been the main target as this is the main enzyme hydrolysing acetylcholine and ending neurotransmission. It is believed that by inhibiting acetylcholinesterase the cholinergic signalling can be enhanced and the cognitive symptoms that arise in Alzheimer’s disease can be improved. Butyrylcholinesterase, the second enzyme of the cholinesterase family, has more recently attracted interest among researchers. Its function is still not fully known, but it is believed to play a role in several diseases, one of them being Alzheimer’s disease. In this contribution the aim has primarily been to identify butyrylcholinesterase inhibitors to be used as drug molecules or molecular probes in the future. Both synthetic and natural compounds in diverse and targeted screening libraries have been used for this purpose. The active compounds have been further characterized regarding their potencies, cytotoxicity, and furthermore, in two of the publications, the inhibitors ability to also inhibit Aβ aggregation in an attempt to discover bifunctional compounds. Further, in silico methods were used to evaluate the binding position of the active compounds with the enzyme targets. Mostly to differentiate between the selectivity towards acetylcholinesterase and butyrylcholinesterase, but also to assess the structural features required for enzyme inhibition. We also evaluated the compounds, active and non-active, in chemical space using the web-based tool ChemGPS-NP to try and determine the relevant chemical space occupied by cholinesterase inhibitors. In this study, we have succeeded in finding potent butyrylcholinesterase inhibitors with a diverse set of structures, nine chemical classes in total. In addition, some of the compounds are bifunctional as they also inhibit Aβ aggregation. The data gathered from all publications regarding the chemical space occupied by butyrylcholinesterase inhibitors we believe will give an insight into the chemically active space occupied by this type of inhibitors and will hopefully facilitate future screening and result in an even deeper knowledge of butyrylcholinesterase inhibitors.

GIS assessing traditional and modern agricultural land use/land cover change. A case study 1959-2005: Rekijoki, Somero, SW-Finland

Finland’s rural landscape has gone through remarkable changes from the 1950’s, due to agricultural developments. Changed farming practices have influenced especially traditional landscape management, and modifications in the arable land structure and grasslands transitions are notable. The review of the previous studies reveal the importance of the rural landscape composition and structure to species and landscape diversity, whereas including the relevance in presence of the open ditches, size of the field and meadow patches, topology of the natural and agricultural landscape. This land-change study includes applying remote sensed data from two time series and empirical geospatial analysis in Geographic Information Systems (GIS). The aims of this retrospective research is to detect agricultural landscape use and land cover change (LULCC) dynamics and discuss the consequences of agricultural intensification to landscape structure covering from the aspects of landscape ecology. Measurements of LULC are derived directly from pre-processed aerial images by a variety of analytical procedures, including statistical methods and image interpretation. The methodological challenges are confronted in the process of landscape classification and combining change detection approaches with landscape indices. Particular importance is paid on detecting agricultural landscape features at a small scale, demanding comprehensive understanding of such agroecosystems. Topological properties of the classified arable land and valley are determined in order to provide insight and emphasize the aspect the field edges in the agricultural landscape as important habitat. Change detection dynamics are presented with change matrix and additional calculations of gain, loss, swap, net change, change rate and tendencies are made. Transition’s possibility is computed following Markov’s probability model and presented with matrix, as well. Thesis’s spatial aspect is revealed with illustrative maps providing knowledge of location of the classified landscape categories and location of the dynamics of the changes occurred. It was assured that in Rekijoki valley’s landscape, remarkable changes in landscape has occurred. Landscape diversity has been strongly influenced by modern agricultural landscape change, as NP of open ditches has decreased and the MPS of the arable plot has decreased. Overall change in the diversity of the landscape is determined with the decrease of SHDI. Valley landscape considered as traditional land use area has experienced major transitional changes, as meadows class has lost almost one third of the area due to afforestation. Also, remarkable transitions have occurred from forest to meadow and arable land to built area. Boundaries measurement between modern and traditional landscape has indicated noticeable proportional increase in arable land-forest edge type and decrease in arable land-meadow edge type. Probability calculations predict higher future changes for traditional landscape, but also for arable land turning into built area.

Computational models for and from biology : simple gene assembly and reaction systems

The advancement of science and technology makes it clear that no single perspective is any longer sufficient to describe the true nature of any phenomenon. That is why the interdisciplinary research is gaining more attention overtime. An excellent example of this type of research is natural computing which stands on the borderline between biology and computer science. The contribution of research done in natural computing is twofold: on one hand, it sheds light into how nature works and how it processes information and, on the other hand, it provides some guidelines on how to design bio-inspired technologies. The first direction in this thesis focuses on a nature-inspired process called gene assembly in ciliates. The second one studies reaction systems, as a modeling framework with its rationale built upon the biochemical interactions happening within a cell. The process of gene assembly in ciliates has attracted a lot of attention as a research topic in the past 15 years. Two main modelling frameworks have been initially proposed in the end of 1990s to capture ciliates’ gene assembly process, namely the intermolecular model and the intramolecular model. They were followed by other model proposals such as templatebased assembly and DNA rearrangement pathways recombination models. In this thesis we are interested in a variation of the intramolecular model called simple gene assembly model, which focuses on the simplest possible folds in the assembly process. We propose a new framework called directed overlap-inclusion (DOI) graphs to overcome the limitations that previously introduced models faced in capturing all the combinatorial details of the simple gene assembly process. We investigate a number of combinatorial properties of these graphs, including a necessary property in terms of forbidden induced subgraphs. We also introduce DOI graph-based rewriting rules that capture all the operations of the simple gene assembly model and prove that they are equivalent to the string-based formalization of the model. Reaction systems (RS) is another nature-inspired modeling framework that is studied in this thesis. Reaction systems’ rationale is based upon two main regulation mechanisms, facilitation and inhibition, which control the interactions between biochemical reactions. Reaction systems is a complementary modeling framework to traditional quantitative frameworks, focusing on explicit cause-effect relationships between reactions. The explicit formulation of facilitation and inhibition mechanisms behind reactions, as well as the focus on interactions between reactions (rather than dynamics of concentrations) makes their applicability potentially wide and useful beyond biological case studies. In this thesis, we construct a reaction system model corresponding to the heat shock response mechanism based on a novel concept of dominance graph that captures the competition on resources in the ODE model. We also introduce for RS various concepts inspired by biology, e.g., mass conservation, steady state, periodicity, etc., to do model checking of the reaction systems based models. We prove that the complexity of the decision problems related to these properties varies from P to NP- and coNP-complete to PSPACE-complete. We further focus on the mass conservation relation in an RS and introduce the conservation dependency graph to capture the relation between the species and also propose an algorithm to list the conserved sets of a given reaction system.

Tietohallinnon haasteet kasvavassa ja kehittyvässä toimintaympäristössä – Toimintatutkimus suomalaisen PK-yrityksen kasvusta globaaliksi toimijaksi

Tutkimuksen tavoitteena on kuvata suomalaisen PK-yrityksen kasvamista globaa- liksi toimijaksi. Tapahtunut kasvu on tarkoittanut case-yrityksen kohdalla liike- vaihdon ja henkilöstömäärän kasvun lisäksi myös toimipaikkojen määrän kasvua ja organisaatiorakenteen monimutkaistumista. Näiden muutosten perusteella ja ta- pahtuneiden muutoskohtien avulla on löydettävissä yrityksen toimintaa kuvaavia vaiheita, joita ovat alkuvaihe, kasvuvaihe ja kypsä vaihe. Näiden vaiheiden jälkeen tulee vielä neljäs vaihe, eli uusiutumisvaihe tai laskeva vaihe. Tämän neljännen vaiheen suunta riippuu yrityksen kyvystä uusiutua ja kehittyä vastaamaan uusiin tuleviin haasteisiin joita aikaisempaa globaalimpi toiminta tuo tullessaan. Tapahtuneilla muutoksilla on ollut myös vaikutusta tietohallintoon. Tämä tieto- hallinnossa tapahtunut muutos onkin tämän tutkimuksen ydin, eli mitä haasteita ja vaatimuksia Trafotekin tietohallinto on kohdannut toiminnan eri vaiheissa, ja onko tietohallinto pystynyt omalta osaltaan vastaamaan näihin vaatimuksiin. Toiminnan alkuvaiheessa tietotekniikalla ei ollut suurtakaan strategista ja liike- toimintaa tukevaa roolia, ja tietohallinto pystyikin vastaamaan liiketoiminnan vaa- timuksiin. Tässä vaiheessa Trafotekissa ei ollut erillistä tietohallintoa, vaan tieto- tekniset työt hoidettiin muiden työtehtävien ohessa. Tietotekniset tehtävät olivat lähinnä tukitoimintoihin liittyviä tehtäviä. Kasvuvaiheessa tietotekniikan merkitys kasvoi, ja Trafotekiin tuli tarvetta luoda erillinen tietotekninen työtehtävä. Tässä toiminnan vaiheessa kyvykkyydet ja kypsyys eivät kuitenkaan kehittyneet halu- tulla tavalla, sillä kaikki käytössä oleva resursointi käytettiin edelleen päivittäisiin tukitoimintoihin, kehittämisen sijaan. Sama kehittymättömyys vaivasi toiminnan kypsässä vaiheessa. Tässä vaiheessa toki alettiin jo ymmärtää, että tietohallinnolla on strateginen rooli, joka tukee liiketoimintaa sen tavoitteiden saavuttamisessa. Tehty tutkimus tukee näkemystä siitä, että myös tietohallinnon kehittäminen on kokonaisvaltaista kehittämistä, jossa pitää huomioida toimintaa tukevia kyvyk- kyyksiä kaikissa toiminnan vaiheissa. Yrityksen kasvaessa myös tietohallinnon tu- lee kasvaa ja kehittyä. Osa tämän tutkimuksen tapahtumista oli tapahtunut ennen tämän tutkimustyön varsinaista aloittamista, eli ne kuvataan ja selitetään jälkijättöisesti. Kyseessä on toimintatutkimus, joka ajoittuu vuosiin 1996–2014. Avainsanat: globalisaatio, kansainvälinen kasvu, tietohallinto, tietohallinnon joh- taminen ja kehitys, kasvu-, kehitys- ja kypsyysmalli

Koska internet. Finiittiverbittömän koska X konstruktion syntaksi ja variaatio

Tutkielmassani käsittelen finiittiverbittömän koska X konstruktion variaatiota ja variaation hyväksyttävyyttä. Konstruktiokieliopin näkemysten mukaisesti käsittelen rakennetta itsenäisenä kielen yksikkönä ja tutkin sen rajoja ja suhdetta muihin konstruktioihin. Perustan päätelmäni kahteen toisiaan tukevaan aineistoon: verkosta kerättyyn 400 virkkeen tekstikorpusaineistoon ja kyselytestiaineistoon. Konstruktion prototyyppi on nominatiivimuotoinen lyhyt koska NP, jonka paikka on virkkeen lopussa. Konstruktio on kuitenkin produktiivinen, ja siinä esiintyy paljon variaatiota. Koska-rakenteet muodostavat jatkumon, jonka toisessa päässä ovat prototyyppiset koska NP:t ja toisessa päässä yleiskieliset koska-sivulauseet. Näiden väliin jäävät epäprototyyppiset koska X konstruktiot ja koska X fragmentit. Koska X fragmentit ovat finiittiverbittömiä lausemaisia konstruktioita, joiden verbittömyys on kontekstissaan tunnusmerkitöntä. Kielenkäyttäjät pitävät hyväksyttävimpinä kiteytyneitä konstrukteja. Mitä tutumpi koska X konstruktio on, sitä hyväksyttävämmäksi sen toteumat arvioidaan. Suurin ero on prototyyppisissä koska NP konstrukteissa, joita koska X konstruktiota käyttävät pitävät erittäin luontevina mutta muut kielenkäyttäjät epäkieliopillisina. Koska X konstruktio sopii kielenkäyttäjien mielestä epämuodolliseen tyyliin ja leikillisiin asiayhteyksiin. Konstruktiossa ei ole kyse ellipsistä tai lyhentämisestä, vaan sillä on oma tehtävänsä kielessä. Koska X kantaa omaa merkitystä, joka ei ole välitettävissä muilla rakenteilla. Se ilmaisee ironiaa, jonka ymmärtäminen perustuu kirjoittajan ja vastaanottajan yhteiseen tietoon. Koska X voi myös toimia referoinnin keinona, joka osoittaa väheksyvää suhtautumista referoidun ryhmän tai henkilön perusteluihin.

Synthesis and characterization of nanoperforated metal oxide thin films

For advanced devices in the application fields of data storage, solar cell and biosensing, one of the major challenges to achieve high efficiency is the fabrication of nanopatterned metal oxide surfaces. Such surfaces often require both precise structure at the nanometer scale and controllable patterned structure at the macro scale. Nowadays, the dominating candidates to fabricate nanopatterned surfaces are the lithographic technique and block-copolymer masks, most of which are unfortunately costly and inefficient. An alternative bottom-up approach, which involves organic/inorganic self-assembly and dip-coating deposition, has been studied intensively in recent years and has proven to be an effective technique for the fabrication of nanoperforated metal oxide thin films. The overall objective of this work was to optimize the synthesis conditions of nanoperforated TiO2 (NP-TiO2) thin films, especially to be compatible with mixed metal oxide systems. Another goal was to develop fabrication and processing of NP-TiO2 thin films towards largescale production and seek new applications for solar cells and biosensing. Besides the traditional dip-coating and drop-casting methods, inkjet printing was used to prepare thin films of metal oxides, with the advantage of depositing the ink onto target areas, further enabling cost-effective fabrication of micro-patterned nanoperforated metal oxide thin films. The films were characterized by water contact angle determination, Atomic Force Microscopy, Scanning Electron Microscopy, X-ray Photoelectron Spectroscopy and Grazing Incidence XRay Diffraction. In this study, well-ordered zinc titanate nanoperforated thin films with different Zn/Ti ratios were produced successfully with zinc precursor content up to 50 mol%, and the dominating phase was Zn2Ti3O8. NP-TiO2 structures were also obtained by a cost-efficient means, namely inkjet printing, at both ambient temperature and 60 °C. To further explore new biosensing applications of nanoperforated oxide thin films, inkjet printing was used for the fabrication of both continuous and patterned polymeric films onto NP-TiO2 and perfluorinated phosphate functionalized NP-TiO2 substrates, respectively. The NP-TiO2 films can be also functionalized with a fluoroalkylsilane, resulting in hydrophobic surfaces on both titania and silica. The surface energy contrast in the nanoperforations can be tuned by irradiating the films with UV light, which provides ideal model systems for wettability studies.