Using time and stochastic models for software reliability forecasting and analysis

Tämä työ luo katsauksen ajallisiin ja stokastisiin ohjelmien luotettavuus malleihin sekä tutkii muutamia malleja käytännössä. Työn teoriaosuus sisältää ohjelmien luotettavuuden kuvauksessa ja arvioinnissa käytetyt keskeiset määritelmät ja metriikan sekä varsinaiset mallien kuvaukset. Työssä esitellään kaksi ohjelmien luotettavuusryhmää. Ensimmäinen ryhmä ovat riskiin perustuvat mallit. Toinen ryhmä käsittää virheiden ”kylvöön” ja merkitsevyyteen perustuvat mallit. Työn empiirinen osa sisältää kokeiden kuvaukset ja tulokset. Kokeet suoritettiin käyttämällä kolmea ensimmäiseen ryhmään kuuluvaa mallia: Jelinski-Moranda mallia, ensimmäistä geometrista mallia sekä yksinkertaista eksponenttimallia. Kokeiden tarkoituksena oli tutkia, kuinka syötetyn datan distribuutio vaikuttaa mallien toimivuuteen sekä kuinka herkkiä mallit ovat syötetyn datan määrän muutoksille. Jelinski-Moranda malli osoittautui herkimmäksi distribuutiolle konvergaatio-ongelmien vuoksi, ensimmäinen geometrinen malli herkimmäksi datan määrän muutoksille.

Normaalijakaumaan perustuva mutaatio-operaatio differentiaalievoluutioalgoritmiin

Evoluutioalgoritmit ovat viime vuosina osoittautuneet tehokkaiksi menetelmiksi globaalien optimointitehtävien ratkaisuun. Niiden vahvuutena on etenkin yleiskäyttöisyys ja kyky löytää globaali ratkaisu juuttumatta optimoitavan tavoitefunktion paikallisiin optimikohtiin. Tässä työssä on tavoitteena kehittää uusi, normaalijakaumaan perustuva mutaatio-operaatio differentiaalievoluutioalgoritmiin, joka on eräs uusimmista evoluutiopohjaisista optimointialgoritmeista. Menetelmän oletetaan vähentävän entisestään sekä populaation ennenaikaisen suppenemisen, että algoritmin tilojen juuttumisen riskiä ja se on teoreettisesti osoitettavissa suppenevaksi. Tämä ei päde alkuperäisen differentiaalievoluution tapauksessa, koska on voitu osoittaa, että sen tilanmuutokset voivat pienellä todennäköisyydellä juuttua. Työssä uuden menetelmän toimintaa tarkastellaan kokeellisesti käyttäen testiongelmina monirajoiteongelmia. Rajoitefunktioiden käsittelyyn käytetään Jouni Lampisen kehittämää, Pareto-optimaalisuuden periaatteeseen perustuvaa menetelmää. Samalla saadaan kerättyä lisää kokeellista näyttöä myös tämän menetelmän toiminnasta. Kaikki käytetyt testiongelmat kyettiin ratkaisemaan sekä alkuperäisellä differentiaalievoluutiolla, että uutta mutaatio-operaatiota käyttävällä versiolla. Uusi menetelmä osoittautui kuitenkin luotettavammaksi sellaisissa tapauksissa, joissa alkuperäisellä algoritmilla oli vaikeuksia. Lisäksi useimmat ongelmat kyettiin ratkaisemaan luotettavasti pienemmällä populaation koolla kuin alkuperäistä differentiaalievoluutiota käytettäessä. Uuden menetelmän käyttö myös mahdollistaa paremmin sellaisten kontrolliparametrien käytön, joilla hausta saadaan rotaatioinvariantti. Laskennallisesti uusi menetelmä on hieman alkuperäistä differentiaalievoluutiota raskaampi ja se tarvitsee yhden kontrolliparametrin enemmän. Uusille kontrolliparametreille määritettiin kuitenkin mahdollisimman yleiskäyttöiset arvot, joita käyttämällä on mahdollista ratkaista suuri joukko erilaisia ongelmia.

Targeting Oxidative Stress and Aberrant Critical Period Plasticity in the Developmental Trajectory to Schizophrenia.

Schizophrenia is a neurodevelopmental disorder reflecting a convergence of genetic risk and early life stress. The slow progression to first psychotic episode represents both a window of vulnerability as well as opportunity for therapeutic intervention. Here, we consider recent neurobiological insight into the cellular and molecular components of developmental critical periods and their vulnerability to redox dysregulation. In particular, the consistent loss of parvalbumin-positive interneuron (PVI) function and their surrounding perineuronal nets (PNNs) as well as myelination in patient brains is consistent with a delayed or extended period of circuit instability. This linkage to critical period triggers (PVI) and brakes (PNN, myelin) implicates mistimed trajectories of brain development in mental illness. Strategically introduced antioxidant treatment or later reinforcement of molecular brakes may then offer a novel prophylactic psychiatry.

Implementing telephony signalling over IP networks using SIGTRAN standards

Diplomityössä tutkitaan yhteiskanavamerkinantoverkon signalointiliikenteen siirtoa IP-pohjaisiin verkkoihin käyttäen IETF:n aliorganisaation, SIGTRAN:in, määrittelemiä standardeja. Tutkimuksen lisäksi työssä suoritetaan myös toteutus, joka mahdollistaa em. verkkojen yhdistymisen. Ensin työssä käsitellään yhteiskanavamerkinantoverkon tulevaisuus ja alan yleiset näkymät, jotka luovat pohjan työn toteutuksen ymmärtämiseen. Toiseksi työssä esitellään toteutuksessa käytetyt teknologiat. Esiteltäviin teknologioihin kuuluvat yhteiskanavamerkinantoverkko, IP-pohjainen verkko, SIGTRAN:in määrittelemät standardit, toteutustyökalut sekä ympäristö, johon toteutus liitetään. Toteutukseen olennaisesti liittyvät asiat ovat painotettuina teknologioiden esittelyssä. Diplomityön loppuosassa kuvataan merkinantoyhdyskäytävän toteutus suunnittelun ja toteutettujen toiminnallisuuksien osalta. Diplomityön tuloksena saatiin uusi testattu merkinantosovellus, joka täyttää yhteiskanavamerkinantoverkolle asetetut vaatimukset. Toteutus toimii osana Intellitel(TM) ONE palvelualustaa. Toteutuksen kehitys tulee jatkumaan.

XML-based content transformation in converged service development

Tele- ja dataviestinnän yhdistyminen digitaaliseen sisältöön luo uusia palveluideoita sekä mobiili- että internetverkkoihin. Nämä palvelut kehitetään usein erikseen, jolloin saman sisällön käyttäminen eri pääsymenetelmin ei ole mahdollista. Sisältömuunnos on mahdollista sisällön ja muotoilun eriyttämisellä, joka puolestaan vaatii informaatioyksiköiden merkkauksen sisältöä kuvaavilla lisätiedoilla. Tässä diplomityössä tutkitaan Extensible Markup Languagen (XML) käyttöä yhdistyneiden palvelujen sisältömuunnoksessa. Nykyisiä ja tulevia palveluita ja verkkoja tarkastellaan sekä sisällön että liiketoiminnan kannalta. Lisäksi esitellään lyhyesti omia ajatuksia ja käsityksiä yhdistyneistä palveluista ja informaation täsmällisyydestä. Työn käytännön osuudessa kuvataan itse suunniteltu palvelualusta sekä esitellään sen avulla rakennettuja sovelluksia

What to compare and how: Comparative transcriptomics for Evo-Devo.

Evolutionary developmental biology has grown historically from the capacity to relate patterns of evolution in anatomy to patterns of evolution of expression of specific genes, whether between very distantly related species, or very closely related species or populations. Scaling up such studies by taking advantage of modern transcriptomics brings promising improvements, allowing us to estimate the overall impact and molecular mechanisms of convergence, constraint or innovation in anatomy and development. But it also presents major challenges, including the computational definitions of anatomical homology and of organ function, the criteria for the comparison of developmental stages, the annotation of transcriptomics data to proper anatomical and developmental terms, and the statistical methods to compare transcriptomic data between species to highlight significant conservation or changes. In this article, we review these challenges, and the ongoing efforts to address them, which are emerging from bioinformatics work on ontologies, evolutionary statistics, and data curation, with a focus on their implementation in the context of the development of our database Bgee (http://bgee.org). J. Exp. Zool. (Mol. Dev. Evol.) 324B: 372-382, 2015. © 2015 Wiley Periodicals, Inc.

Business potential evaluation of wireless local area networks: Teleoperator’s view

The objective of the thesis was to evaluate business potential of wireless local area networks (WLAN, Wireless LAN). At first, the scope of business potential evaluation of technology was introduced. Next, a general framework of business potential evaluation of technology based on literature was presented. In addition, convergence of cellular networks and data networks was studied in order to get an insight of current situation of mobile telecommunications industry. Finally, wireless local area networks business potential was evaluated. A wireless local area network is a data communication system, which combines data connectivity with mobility and is implemented in unlicensed frequency bands, allowing new business opportunities to emerge. The main markets of WLAN are corporate networks, public area networks and access networks. At the moment the penetration of WLAN terminals is low which derives to low demand of wireless LAN services. In addition, unlicensed spectrum forces the teleoperators to set the service price relatively low. The business potential is in integrating wireless LANs to cellular networks and in offering value added services to end users. The future of wireless LAN is to be complementary network to cellular networks. In this vision cellular networks provide voice and low data services and broadband wireless networks enable multimedia services.

Thomas-Fermi theory for atomic nuclei revisited

The recently developed semiclassical variational Wigner-Kirkwood (VWK) approach is applied to finite nuclei using external potentials and self-consistent mean fields derived from Skyrme inter-actions and from relativistic mean field theory. VWK consist s of the Thomas-Fermi part plus a pure, perturbative h 2 correction. In external potentials, VWK passes through the average of the quantal values of the accumulated level density and total en energy as a function of the Fermi energy. However, there is a problem of overbinding when the energy per particle is displayed as a function of the particle number. The situation is analyzed comparing spherical and deformed harmonic oscillator potentials. In the self-consistent case, we show for Skyrme forces that VWK binding energies are very close to those obtained from extended Thomas-Fermi functionals of h 4 order, pointing to the rapid convergence of the VWK theory. This satisfying result, however, does not cure the overbinding problem, i.e., the semiclassical energies show more binding than they should. This feature is more pronounced in the case of Skyrme forces than with the relativistic mean field approach. However, even in the latter case the shell correction energy for e.g.208 Pb turns out to be only ∼ −6 MeV what is about a factor two or three off the generally accepted value. As an adhoc remedy, increasing the kinetic energy by 2.5%, leads to shell correction energies well acceptable throughout the periodic table. The general importance of the present studies for other finite Fermi systems, self-bound or in external potentials, is pointed out.

ISDN-käyttäjäosaprotokollan suunnittelu, toteutus ja testaus.

Diplomityössä suunnitellaan, toteutetaan ja testataan ISUP-protokolla. ISUP kytketään osaksi Intellitel Communications Oy:n toteuttamaan Intellitel(TM) -tuotetta, joka tarjoaa kehitysympäristön kahdennetuille palveluille niin tele- kuin dataverkkoihin. Työssä sidotaan ISUP-protokollan kehitystyö osaksi markkinoilla vallitsevaa verkkojen konvergoitumiskehitystä, ja tässä valossa esitellään nykyisiä ja mahdollisia tulevia sovelluskohteita toteutetulle ISUP-protokollalle. ISUP:n testaukseen käytetyt moduuli-, standardinmukaisuus- ja verkkoonvientitestausmenetelmät esitellään soveltuvin osin työn testausosiossa. Työn tuloksena on standardin mukaan suunniteltu, toteutettu ja testattu protokolla, joka tarjoaa rajapinnan puheluidenohjauslogiikalle.

Virtauslaskentaa ja energia-analyysiä hyödyntävä huoneilman lämpöolosuhteiden simulointimalli

Huonetilojen lämpöolosuhteiden hallinta on tärkeä osa talotekniikan suunnittelua. Tavallisesti huonetilan lämpöolosuhteita mallinnetaan menetelmillä, joissa lämpödynamiikkaa lasketaan huoneilmassa yhdessä laskentapisteessä ja rakenteissa seinäkohtaisesti. Tarkastelun kohteena on yleensä vain huoneilman lämpötila. Tämän diplomityön tavoitteena oli kehittää huoneilman lämpöolosuhteiden simulointimalli, jossa rakenteiden lämpödynamiikka lasketaan epästationaarisesti energia-analyysilaskennalla ja huoneilman virtauskenttä mallinnetaan valittuna ajanhetkenä stationaarisesti virtauslaskennalla. Tällöin virtauskentälle saadaan jakaumat suunnittelun kannalta olennaisista suureista, joita tyypillisesti ovat esimerkiksi ilman lämpötila ja nopeus. Simulointimallin laskentatuloksia verrattiin testihuonetiloissa tehtyihin mittauksiin. Tulokset osoittautuivat riittävän tarkoiksi talotekniikan suunnitteluun. Mallilla simuloitiin kaksi huonetilaa, joissa tarvittiin tavallista tarkempaa mallinnusta. Vertailulaskelmia tehtiin eri turbulenssimalleilla, diskretointitarkkuuksilla ja hilatiheyksillä. Simulointitulosten havainnollistamiseksi suunniteltiin asiakastuloste, jossa on esitetty suunnittelun kannalta olennaiset asiat. Simulointimallilla saatiin lisätietoa varsinkin lämpötilakerrostumista, joita tyypillisesti on arvioitu kokemukseen perustuen. Simulointimallin kehityksen taustana käsiteltiin rakennusten sisäilmastoa, lämpöolosuhteita ja laskentamenetelmiä sekä mallinnukseen soveltuvia kaupallisia ohjelmia. Simulointimallilla saadaan entistä tarkempaa ja yksityiskohtaisempaa tietoa lämpöolosuhteiden hallinnan suunnitteluun. Mallin käytön ongelmia ovat vielä virtauslaskennan suuri laskenta-aika, turbulenssin mallinnus, tuloilmalaitteiden reunaehtojen tarkka määritys ja laskennan konvergointi. Kehitetty simulointimalli tarjoaa hyvän perustan virtauslaskenta- ja energia-analyysiohjelmien kehittämiseksi ja yhdistämiseksi käyttäjäystävälliseksi talotekniikan suunnittelutyökaluksi.

Annonaceae substitution rates: a codon model perspective

The Annonaceae includes cultivated species of economic interest and represents an important source of information for better understanding the evolution of tropical rainforests. In phylogenetic analyses of DNA sequence data that are used to address evolutionary questions, it is imperative to use appropriate statistical models. Annonaceae are cases in point: Two sister clades, the subfamilies Annonoideae and Malmeoideae, contain the majority of Annonaceae species diversity. The Annonoideae generally show a greater degree of sequence divergence compared to the Malmeoideae, resulting in stark differences in branch lengths in phylogenetic trees. Uncertainty in how to interpret and analyse these differences has led to inconsistent results when estimating the ages of clades in Annonaceae using molecular dating techniques. We ask whether these differences may be attributed to inappropriate modelling assumptions in the phylogenetic analyses. Specifically, we test for (clade-specific) differences in rates of non-synonymous and synonymous substitutions. A high ratio of nonsynonymous to synonymous substitutions may lead to similarity of DNA sequences due to convergence instead of common ancestry, and as a result confound phylogenetic analyses. We use a dataset of three chloroplast genes (rbcL, matK, ndhF) for 129 species representative of the family. We find that differences in branch lengths between major clades are not attributable to different rates of non-synonymous and synonymous substitutions. The differences in evolutionary rate between the major clades of Annonaceae pose a challenge for current molecular dating techniques that should be seen as a warning for the interpretation of such results in other organisms.

Modernisierung der kantonalen Verwaltungen 1990-2008 : Wandel von Administrativstrukturen und Einführung von Verwaltungsreformen = Modernisation des administrations cantonales 1990-2008 : transformations structurelles et gouvernance administrative

De nombreuses études ont été consacrées en Suisse à la promotion de la nouvelle gestion publique (NGP) au niveau des cantons, puis à son évaluation. Or, les chercheurs se sont peu intéressés jusqu'ici aux effets de son introduction sur les structures administratives et les effectifs de la fonction publique. Ils n'ont pas non plus expliqué suffisamment les facteurs ayant favorisé ou freiné la modernisation de l'Etat au-delà de la NGP. Les réformes de l'Etat menées au sein des administrations cantonales dans le cadre de la revitalisation du fédéralisme ont des causes multiples. Cette étude exploratoire tente de décrire les transformations au niveau des structures et de l'organisation de l'Etat depuis le début des années 1990 en analysant le niveau et l'impact des principes NGP ou d'autres facteurs ayant pu jouer un rôle dans la modernisation des administrations: force des partis, degré de professionnalisation des législatifs, taille de la population et des administrations, RPT et revitalisation de la collaboration intercantonale. Il ressort de l'étude qu'un groupe de cantons essentiellement alémaniques, plutôt de taille moyenne à grande (AG, BE, LU, SO, TG, VS, ZH) ont réussi à davantage réformer les administrations selon les principes de la NGP alors que d'autres ont choisi des voies différentes ou médianes (tels que BS, GE, JU, SG, TI, VD). Ces réformes se sont traduites pratiquement partout par un resserrement des structures décisionnelles (modèle ministériel 5/7), par une variation du nombre de services (hausse dans une première phase puis réduction) mais aussi du personnel (plutôt hausse à l'exception de BS et ZH) allant dans le sens d'une convergence des modèles institutionnels déterminée autant par des facteurs externes qu'internes aux cantons. Notre étude montre que la professionnalisation des parlements, davantage développée dans les cantons où le système représentatif est étendu (cantons latins, Bâle-Ville), retarde ou empêche l'essor des principes NGP alors que les cantons alémaniques à démocratie directe plus prononcée favorisent l'autonomisation des processus de réformes administratives avec une capacité de blocage moins grande des parlements.

Wireless Applications Evaluation and Development Process: Case -Paper Industry Logistics

Sähköisen liiketoiminnan ja mobiliteetin konvergenssi yhdessä teknologisen innovaation kiihtyvän vauhdin kanssa ovat saaneet aikaan kiinnostusta langattomia liiketoimintaratkaisuja kohtaan. Tämän diplomityön tavoitteena oli tutkia sähköisen liiketoiminnan langattomien sovellusten arviointi- ja kehitysprosessia. Työ keskittyy tarkastelemaan paperiteollisuuden toimitusketjun langatonta seurantaa. Tutkimuksessa esitetään langattoman sähköisen liiketoiminnan määritelmä, kuvaillaan langattomuuden eri sovellusalueita ja sovellusten arviointi- ja kehitysprosessin strategisia sekä teknologisia ulottuvuuksia. Työ luo viitekehyksen, jonka avulla tarkastella langattomien teknologioiden merkitystä logistiikassa. Tutkimuksen merkittävin tulos on prosessimalli sovellusten arvioimiseksi ja kehittämiseksi. Mallilla kehitetty langaton sovellus osoittautui tarkastelussa hyödylliseksi toimitusketjun hallinnassa.

Integración de redacciones en los medios locales y comarcales catalanes

Se ofrecen los resultados obtenidos del análisis de la organización de las redacciones de los medios de proximidad catalanes en el marco de la convergencia periodística. Los datos se han obtenido a partir de una encuesta distribuida entre los 123 medios que forman parte de la Associació Catalana de la Premsa Comarcal (ACPC), con un índice de respuesta del 45%, y de 19 entrevistas en profundidad mantenidas con periodistas y directivos de 8 grupos de comunicación. Las empresas fueron seleccionadas según criterios de distribución geográfica, diversidad mediática, periodicidad y tirada.Se observa cómo la convergencia periodística no supone necesariamente la integración de redacciones, aunque habitualmente sí que se desarrolla alguna forma de producción integrada. Las fórmulas desarrolladas son diversas, con distintos niveles de integración.

Transmedia Storytelling: Implicit Consumers, Narrative Worlds, and Branding in Contemporary Media Production

Many concepts have been developed to describe the convergence of media, languages, and formats in contemporary media systems. This article is a theoretical reflection on “transmedia storytelling” from a perspective that integrates semiotics and narratology in the context of media studies. After dealing with the conceptual chaos around transmedia storytelling, the article analyzes how these new multimodal narrative structures create different implicit consumers and construct a narrative world. The analysis includes a description of the multimedia textual structure created around the Fox television series 24. Finally, the article analyzes transmedia storytelling from the perspective of a semiotics of branding.