Protection of publicly distributed software components

The nature of client-server architecture implies that some modules are delivered to customers. These publicly distributed commercial software components are under risk, because users (and simultaneously potential malefactors) have physical access to some components of the distributed system. The problem becomes even worse if interpreted programming languages are used for creation of client side modules. The language Java, which was designed to be compiled into platform independent byte-code is not an exception and runs the additional risk. Along with advantages like verifying the code before execution (to ensure that program does not produce some illegal operations)Java has some disadvantages. On a stage of byte-code a java program still contains comments, line numbers and some other instructions, which can be used for reverse-engineering. This Master's thesis focuses on protection of Java code based client-server applications. I present a mixture of methods to protect software from tortious acts. Then I shall realize all the theoretical assumptions in a practice and examine their efficiency in examples of Java code. One of the criteria's to evaluate the system is that my product is used for specialized area of interactive television.

Soodakattilan vesi-höyryjärjestelmän vuodonvalvonta

Työn tavoitteena oli kehittää Kaukaan sellutehtaalle luotettava vesi-höyrypiirin vuodonvalvontajärjestelmä. Vesi-höyrypiirin vuodonvalvontajärjestelmällä pystytään ehkäisemään soodakattilassa mahdollisen putkivaurion aiheuttama sulavesiräjähdys. Työn teoreettisessa osassa käsitellään soodakattilan turvallisuutta sekätutustutaan kaupallisilla markkinoilla oleviin vuodonvalvontajärjestelmiin. Vuodonvalvontajärjestelmän kehityksessä käytetään hyväksi prosessitietoa noin vuoden ajalta sekä yhden vakavan vesi-höyrypiirin putkirikon aikaisia mittaustietoja.Työssä testataan käytännössä Kaukaan soodakattilaan rakennettu järjestelmä. Työn tuloksena Kaukaan sellutehtaan soodakattilan on rakennettu vuodonvalvontajärjestelmä, joka havaitsee vesi-höyrypiirin putkirikon aiheuttaman vuodon, määrittää sen suuruuden sekä pystyy paikantamaan vuodon sijainnin.

Multisensory context portends object memory.

Multisensory processes facilitate perception of currently-presented stimuli and can likewise enhance later object recognition. Memories for objects originally encountered in a multisensory context can be more robust than those for objects encountered in an exclusively visual or auditory context [1], upturning the assumption that memory performance is best when encoding and recognition contexts remain constant [2]. Here, we used event-related potentials (ERPs) to provide the first evidence for direct links between multisensory brain activity at one point in time and subsequent object discrimination abilities. Across two experiments we found that individuals showing a benefit and those impaired during later object discrimination could be predicted by their brain responses to multisensory stimuli upon their initial encounter. These effects were observed despite the multisensory information being meaningless, task-irrelevant, and presented only once. We provide critical insights into the advantages associated with multisensory interactions; they are not limited to the processing of current stimuli, but likewise encompass the ability to determine the benefit of one's memories for object recognition in later, unisensory contexts.

Laadullinen tutkimus ohjelmistotestauksen tehokkuuteen vaikutavista tekjöistä

Tutkimuksen tavoitteena oli selvittää ohjelmistotestauksen tehokkuuteen vaikuttavia tekijöitä tutkimalla yritysten ohjelmistotestausta, hyviä toimintatapojasekä toiminnan ongelmia. Tutkimalla yritysten ohjelmistotestausta on mahdollista kehittää ohjelmistotestauksen tehokkuutta parantavia toimenpiteitä ja malleja. Tutkimuksen ensimmäisessä vaiheessa oli mukana 26 yritystä, joista valittiin viisi case-yritystä tutkimuksen jatkovaiheisiin. Työn teoriaosuudessa esitetään sekä ohjelmistotestauksen teoria että käytetyn tutkimusmenetelmän teoriaa. Tässä diplomityössä keskitytään valittuihin viiteen case-yritykseen. Näiden viiden yrityksen sekä aiemman vaiheen 26 yrityksen kohdalla tehtiin kvalitatiivinen tutkimus käyttäen grounded-teorian mukaista tutkimusmenetelmää. Tämän kvalitatiivisen eli laadullisen tutkimuksen näkökulmat perustuivat aiempiin teknologiaselvitysvaiheen tuloksiin. Tämän diplomityön näkökulmana oli prosessien kehittäminen. Työn tuloksena löytyi tekijöitä, joilla näyttää olevan vaikutuksia testauksen tehokkuuteen. Tulosten avulla pystytään muodostamaan parannusehdotuksia testauksen tehokkuuden parantamiseksi yhdessä tutkimushankkeen muiden osa-alueiden tulosten kanssa. Testauksen tehokkuuteen vaikuttavatprosessinäkökulmasta mm. aikataulupaineet, lisääntyvä monimutkaisuus sekä ulkoahankittujen ohjelmiston osien testaamisen hankaluus. Ongelmia voidaan ratkaistatestauksen aikaisella mukanaololla projekteissa, ohjelmistotuotannon luonteen huomioimisella testauksessa, testauksen priorisoinnilla sekä ulkoisten komponenttien testattavuuden parantamisella.

Rahoitusalan yrityksen arvonmäärittäminen

Tässä tutkimuksessa tutkittiin rahoitusalan yritysten arvonmäärittämistä. Tutkimuksen päätavoitteena oli perehtyä yrityksen arvonmäärityksen teoriaan ja testata erilaisten arvonmääritysmallien sopivuutta esimerkkiyrityksiin. Tätä kautta pyrittiin selvittämään perinteisten arvonmääritysmallien soveltuvuus rahoitusalan yritysten arvon määrittämiseksi.Tämän lisäksi oltiin kiinnostuneita menetelmien soveltuvuuseroista erityyppisten rahoitusalan yritysten arvonmäärityksessä. Teoriaosuudessa esiteltiin yrityksen arvonmääritysprosessi ja käytiin läpi perinteiset arvonmääritysmallit. Empiriaosuudessa näistä teoreettisista lähtökohdista pyrittiin havainnollistamaan erilaisten esimerkkiyritysten avulla rahoitusalan yritysten arvonmääritysprosessia. Tämän tutkimuksen mukaanperinteiset arvonmääritysmallit tuntuvat sopivan pankkeja ja vakuutusyhtiöitä lukuun ottamatta kohtuullisen hyvin rahoitusalan yritysten arvonmäärittämiseen. Pankkien arvon määrittäminen on erittäin vaikeata johtuen lukuisista niihin kohdistuvista erityissäädöksistä ja raportointimääräyksistä.

Laadullisten tekijöiden vaikutus yrityksen luottoluokitukseen -case Nordea Pankki Suomi Oyj

Tutkielman päätavoitteena oli analysoida, mitkä tekijät vaikuttavat pankin luottoluokituksissa laadullisten tekijöiden arviointiin ja mikävaikutus näillä tekijöillä on luottoluokitukseen. Tutkimuksessa myös arvioitiinlaadullisten tekijöiden vaikutusta pankin pääomavaatimukseen. Tutkimuksessa olimu-kana pankin 408 yritysasiakasta. Tutkimuksessa käytettiin tilastollista tut-kimusmenetelmää. Baselin pankkivalvontakomitean asettamat standardit ja rahoitusalan journaaleissa julkaistut tutkimukset muodostivat tutkimuk-sen teoreettisen viitekehyksen. Tutkimusten pohjalta asetettiin tutkimus-hypoteesit. Tutkimustulokset osoittivat, että laadullisten tekijöiden ja taloudellisten te-kijöiden arvioinnin erotukseen eivät vaikuta merkittävästi yrityksen ikä, ko-ko eikä asiakassuhteen kesto. Myöskään toimialalla ei ollut vaikutusta. Konttoreittain laadullisten tekijöiden arvioinnissa oli eroja. Laadullisia teki-jöitäarvioidaan keskimäärin positiivisemmin kuin taloudellisia tekijöitä mut-ta erotolivat koko otantajoukossa hyvin pieniä. Luottoluokitukset nousevat hieman laadullisten tekijöiden vaikutuksesta, jolloin tällä on pääomavaati-musta laskeva vaikutus. Laadullisten ja taloudellisten tekijöiden arvioinnin eroon voi kuitenkinolla olemassa perustellut syyt. Tutkimustulosten perusteellavoidaan todeta, että laadullisten tekijöiden arviointiin eivät vaikuta yksittäiset yrityskohtaiset tekijät. Luokittelijan sub-jektiivisten tekijöiden lisäksi taustalla saattaa vaikuttaa myös monet muut tekijät, joita ei ole tässä tutkimuksessa tutkittu.

The role of auditory cortices in the retrieval of single-trial auditory-visual object memories.

Single-trial encounters with multisensory stimuli affect both memory performance and early-latency brain responses to visual stimuli. Whether and how auditory cortices support memory processes based on single-trial multisensory learning is unknown and may differ qualitatively and quantitatively from comparable processes within visual cortices due to purported differences in memory capacities across the senses. We recorded event-related potentials (ERPs) as healthy adults (n = 18) performed a continuous recognition task in the auditory modality, discriminating initial (new) from repeated (old) sounds of environmental objects. Initial presentations were either unisensory or multisensory; the latter entailed synchronous presentation of a semantically congruent or a meaningless image. Repeated presentations were exclusively auditory, thus differing only according to the context in which the sound was initially encountered. Discrimination abilities (indexed by d') were increased for repeated sounds that were initially encountered with a semantically congruent image versus sounds initially encountered with either a meaningless or no image. Analyses of ERPs within an electrical neuroimaging framework revealed that early stages of auditory processing of repeated sounds were affected by prior single-trial multisensory contexts. These effects followed from significantly reduced activity within a distributed network, including the right superior temporal cortex, suggesting an inverse relationship between brain activity and behavioural outcome on this task. The present findings demonstrate how auditory cortices contribute to long-term effects of multisensory experiences on auditory object discrimination. We propose a new framework for the efficacy of multisensory processes to impact both current multisensory stimulus processing and unisensory discrimination abilities later in time.

Julkisen osakeyhtiön omien osakkeiden hankinta ja niiden kirjanpidollinen käsittely. Case HEXTech - Indeksin yhtiöt

Tavoitteena on selvittää ja kuvata lainsäädännön kehitys julkisen osakeyhtiön omien osakkeiden hankinnassa ja esittämisessä tilinpäätöksessä sekä miten teoriaa sovelletaan käytännössä julkisiin osakeyhtiöihin. Lähestymistapa on teoriasidonnainen, säädöstaustaan perustuva ja analyysin perustana ovat dokumentoidut säädökset. Tutkimusmenetelmä on deskriptiivinen tapaustutkimus, jonka analyysi rajoittuu vuoteen 2005. Tutkimustyön sisältö koostuu julkisesti noteerattujen osakeyhtiöiden omien osakkeiden hankkimisesta ja esittämisestä tilinpäätöksessä koskevista EuroopanUnionin direktiivien sisällön käsittelystä, niiden vaikutuksesta osakeyhtiö-, kirjanpito- ja arvopaperimarkkinalakiin sekä HEXTech - Indeksin yhtiöiden käytäntöön. Tätä käytäntöä selvitetään ja kuvataan tutkimusosuudessa. Tutkimustuloksena voidaan todeta, että lait on harmonisoitu Euroopan Yhteisöjen direktiivejä vastaavaksi. HEXTech - Indeksin yhtiöt ovat noudattaneet kirjanpito-, osakeyhtiö- ja arvopaperimarkkinalain ohjeita ja määräyksiä käytännöissään. Yhtiökokoukselta on saatu valtuutuksia hankkia omia osakkeita.Kymmenestä yhtiöstä seitsemän oli saanut valtuutuksen ja vain neljä toteutti käytännössä saamansa valtuutuksen. Kaksi yhtiötä mitätöi, yksi kannusti avainhenkilöitään hankkimillaan omilla osakkeilla ja yksi toteutti takaisinostotarjouksella omien osakkeiden hankinnan.

Toimintolaskennan hyväksikäyttö talouspalvelukeskuksen kustannusten kohdentamisessa

Tässä tutkimuksessa tutkittiin kustannuslaskennan,erityisesti toimintolaskennan hyväksikäyttöä talouspalvelukeskuksen kustannusten jakamisessa asiakasyhtiöille. Tavoitteena oli saada aikaan mahdollisimman selkeä, mutta kuitenkin riittävän yksinkertainen järjestelmä, jolla talouspalvelukeskuksen kustannukset kohdistetaan asiakkaille. Toinen päätavoite oli selvittää, soveltuuko toimintolaskenta talouspalvelukeskuksen tai palveluyrityksen kustannuslaskenta järjestelmäksi. Teoriaosassa on useita eri teoreettisia lähtökohtia kustannusten jakamiseen. Teoriaa on perinteisestä kustannuslaskennasta, toimintolaskennasta, laatukustannuslaskennasta ja siirtohinnoittelusta. Pääpaino on toimintolaskennassa, erityisesti toimintolaskennan hyväksikäytöstä palveluyrityksissä. Empiriaosuudessa näistä teoreettisista raameista rakennetaan malli, jolla kohdeyrityksen, Finnair Financial Services yksikön kustannukset jaetaan konsernin yhtiöille, talouspalvelukeskuksen asiakkaille. Syntynyt malli on pääpiirteissään perinteistä kustannuslaskentaa, lisäyslaskentaa Vaikka toimintolaskenta teoreettisesti soveltuu yhtä hyvin niin palvelu kuin valmistusyrityksiinkin, se ei sovellu pienille yksiköille. Tämän tutkimuksen tuloksena voidaan todeta, että toimintolaskentajärjestelmä on liian raskas talouspalvelukeskuksille ja tilitoimistotyyppisille yksiköille ja yrityksille, mutta muuten soveltuu hyvin suurten yleiskustannusten jakamiseen. Kohdeyksikössä on noin 50 työtekijää ja toimintolaskennan rakentaminen tähän yksikköön ei ole taloudellisesti järkevää. Toimintolaskennan soveltuvuudesta tai soveltumattomuudesta palveluyrityksiin ei voi tämän tutkimuksen perusteella ottaa kantaa.

Yrityksen ohjausta ja päätöksentekoa tukeva raportointi, case: Gasum Paikallisjakelu Oy

Tutkielmassa on tavoitteena selvittää raportoinnin tarjoamiamandollisuuksia yrityksen ohjauksen, ja johdon päätöksenteon helpottamiseksi. Teoriaosuudessa käydään läpi tiedon tarpeen määrittelyä erityisesti yritysjohdon näkökulmasta. Millaista tietoa yrityksen toiminnasta pitäisi tietojärjestelmiin kerätä, jotta sillä olisi todellista merkitystä. Toisinaan tietoa tarvitaan myösyrityksen ulkopuolella tapahtuvista asioista, ja myös tällaisen tiedon käsittelyn pitäisi olla mandollista yrityksen tietojärjestelmissä. Tämä luonnollisesti asettaa melkoisia vaatimuksia tietojärjestelmille. Niihin liittyen on jonkin verran esitelty teknisiin asioihin liittyviä tekijöitä. Tekniikkaa kuitenkin on olemassa hyvinkin monipuolisen tiedon käsittelyä varten. Hankalampaa on määrittää, se millä tiedolla on oikeasti merkitystä. Suuren tietomäärän tiivistämiseen ja Asentamiseen on niin ikään olemassa keinoja, joita esitellään yleisellä tasolla, keskittymättä mihinkään yksittäiseen malliin. Ajatuksena on lähinnä ollut se, että jokaisen yrityksen kannattaa miettiä omista lähtökohdistaanitselleen sopivin tapa. Kaikille ei välttämättä sovi sama kaavamainen malli, jatoisaalta erilaisten mittarimallien keskinäiset erotkin ovat hyvin pieniä. Periaatteessa kaikissa malleissa pyritään lähtökohtaisesti siihen, että yrityksestä saadaan mandollisimman kokonaisvaltainen kuva. Yrityksen toiminnan kannalta päätetään ne tekijät, jotka eniten vaikuttavat sen menestykseen jatkossa, ja tältä pohjalta myös löytyvät tärkeimmät seurattavat asiat. Lopuksi on lyhyesti kuvattu case-yrityksen toimintaa ja sen käyttämiä tieto-järjestelmiä.Tutkielmassa on myös analysoitu, mitä kaikkea tietoa yrityksen toiminnasta tarvittaisiin, ja mistä olemassa olevasta järjestelmästä se on mandollista saada. Mikäli tietoa ei löytynyt järjestelmistä, on kerrottu, miten asia on hoidettu raportoinnin kannalta, ja miten raportointi kokonaisuudessaan yritykselle rakennettiin tutkielman kuluessa.

Yrityksen arvoa lisäävä tuotekehitys Case Ovako Imatra

Tutkimuksen tavoitteena oli tapaustutkimuksen avulla analysoida case yrityksen tuotekehitystoiminnan menestyksen kulmakivet ja edellytykset yrityksen arvon lisäämiseksi. Case osa toteutettiin kolmen toisiaan tukevan aineiston avulla. Tiedonkeruumenetelminä olivat haastattelu, kyselytutkimussekä yrityksessä toteutettujen projektien analysointi. Tutkielman teoriaosan ensimmäisessä vaiheessa analysoitiin tuotekehityksen avaintekijöitä. Käsittelyn lähtökohtana toimi kolme tuotekehityksen perustekijää: tuotestrategia, kehitysprosessi ja saatavilla olevat resurssit. Teoriaosuudessa analysoitiin myös tuotekehitystoiminnan menestyksen mittaamista. Kolmas osa kirjallisuusosuudessa on tuotekehitykseen olennaisesti kuuluva riskien tunnistaminen ja hallinta. Tutkielman empiirisessä osiossa nostettiin esiin kohdeyrityksen tuotekehitystoiminnan tärkeimmät tekijät. Tulokseksi saatiin, että asiakasyhteistyö, tuotteen laadun varmistava projektin toteutus sekä resurssien määrä määrittävät pitkälti tuotekehitystoiminnan tason yrityksessä. Näiden tekijöiden onnistuneella yhteensovittamisella yritys pystyy säilyttämään kilpailuasemansa. Pitkän aikavälin arvoa lisäävä tuotekehitystoiminta edellyttää edellä olleiden tekijöiden ohella myös panostusta innovatiivisuuteen, riskinhallintanäkökulman huomioimiseen projektien valinnassa sekä tuotetun arvon mittaamiseen. Kilpailuedun saavuttaminen uusilla innovatiivisilla tuotteilla, joustavuuden lisääminen projekteihin sekä oppiminen toteutetuista hankkeista ovat avaintekijöitä tulevaisuuden menestykselle

A game theoretical approach to the algebraic counterpart of the Wagner hierarchy

La hiérarchie de Wagner constitue à ce jour la plus fine classification des langages ω-réguliers. Par ailleurs, l'approche algébrique de la théorie de langages formels montre que ces ensembles ω-réguliers correspondent précisément aux langages reconnaissables par des ω-semigroupes finis pointés. Ce travail s'inscrit dans ce contexte en fournissant une description complète de la contrepartie algébrique de la hiérarchie de Wagner, et ce par le biais de la théorie descriptive des jeux de Wadge. Plus précisément, nous montrons d'abord que le degré de Wagner d'un langage ω-régulier est effectivement un invariant syntaxique. Nous définissons ensuite une relation de réduction entre ω-semigroupes pointés par le biais d'un jeu infini de type Wadge. La collection de ces structures algébriques ordonnée par cette relation apparaît alors comme étant isomorphe à la hiérarchie de Wagner, soit un quasi bon ordre décidable de largeur 2 et de hauteur ω. Nous exposons par la suite une procédure de décidabilité de cette hiérarchie algébrique : on décrit une représentation graphique des ω-semigroupes finis pointés, puis un algorithme sur ces structures graphiques qui calcule le degré de Wagner de n'importe quel élément. Ainsi le degré de Wagner de tout langage ω-régulier peut être calculé de manière effective directement sur son image syntaxique. Nous montrons ensuite comment construire directement et inductivement une structure de n''importe quel degré. Nous terminons par une description détaillée des invariants algébriques qui caractérisent tous les degrés de cette hiérarchie. Abstract The Wagner hierarchy is known so far to be the most refined topological classification of ω-rational languages. Also, the algebraic study of formal languages shows that these ω-rational sets correspond precisely to the languages recognizable by finite pointed ω-semigroups. Within this framework, we provide a construction of the algebraic counterpart of the Wagner hierarchy. We adopt a hierarchical game approach, by translating the Wadge theory from the ω-rational language to the ω-semigroup context. More precisely, we first show that the Wagner degree is indeed a syntactic invariant. We then define a reduction relation on finite pointed ω-semigroups by means of a Wadge-like infinite two-player game. The collection of these algebraic structures ordered by this reduction is then proven to be isomorphic to the Wagner hierarchy, namely a well-founded and decidable partial ordering of width 2 and height $\omega^\omega$. We also describe a decidability procedure of this hierarchy: we introduce a graph representation of finite pointed ω-semigroups allowing to compute their precise Wagner degrees. The Wagner degree of every ω-rational language can therefore be computed directly on its syntactic image. We then show how to build a finite pointed ω-semigroup of any given Wagner degree. We finally describe the algebraic invariants characterizing every Wagner degree of this hierarchy.

Theoretical Analysis and Simulations of Vertically Vibrated Granular Materials

The dynamical properties ofshaken granular materials are important in many industrial applications where the shaking is used to mix, segregate and transport them. In this work asystematic, large scale simulation study has been performed to investigate the rheology of dense granular media, in the presence of gas, in a three dimensional vertical cylinder filled with glass balls. The base wall of the cylinder is subjected to sinusoidal oscillation in the vertical direction. The viscoelastic behavior of glass balls during a collision, have been studied experimentally using a modified Newton's Cradle device. By analyzing the results of the measurements, using numerical model based on finite element method, the viscous damping coefficient was determinedfor the glass balls. To obtain detailed information about the interparticle interactions in a shaker, a simplified model for collision between particles of a granular material was proposed. In order to simulate the flow of surrounding gas, a formulation of the equations for fluid flow in a porous medium including particle forces was proposed. These equations are solved with Large Eddy Simulation (LES) technique using a subgrid-model originally proposed for compressible turbulent flows. For a pentagonal prism-shaped container under vertical vibrations, the results show that oscillon type structures were formed. Oscillons are highly localized particle-like excitations of the granular layer. This self-sustaining state was named by analogy with its closest large-scale analogy, the soliton, which was first documented by J.S. Russell in 1834. The results which has been reportedbyBordbar and Zamankhan(2005b)also show that slightly revised fluctuation-dissipation theorem might apply to shaken sand, which appears to be asystem far from equilibrium and could exhibit strong spatial and temporal variations in quantities such as density and local particle velocity. In this light, hydrodynamic type continuum equations were presented for describing the deformation and flow of dense gas-particle mixtures. The constitutive equation used for the stress tensor provides an effective viscosity with a liquid-like character at low shear rates and a gaseous-like behavior at high shear rates. The numerical solutions were obtained for the aforementioned hydrodynamic equations for predicting the flow dynamics ofdense mixture of gas and particles in vertical cylindrical containers. For a heptagonal prism shaped container under vertical vibrations, the model results were found to predict bubbling behavior analogous to those observed experimentally. This bubbling behavior may be explained by the unusual gas pressure distribution found in the bed. In addition, oscillon type structures were found to be formed using a vertically vibrated, pentagonal prism shaped container in agreement with computer simulation results. These observations suggest that the pressure distribution plays a key rolein deformation and flow of dense mixtures of gas and particles under vertical vibrations. The present models provide greater insight toward the explanation of poorly understood hydrodynamic phenomena in the field of granular flows and dense gas-particle mixtures. The models can be generalized to investigate the granular material-container wall interactions which would be an issue of high interests in the industrial applications. By following this approach ideal processing conditions and powder transport can be created in industrial systems.