Browsing by Title

Tässä tutkielmassa ohjelmiston vaiheittaisella käyttöönotolla tarkoitetaan sitä, että ohjelmiston käyttäjille annetaan vaiheittain pääsy tuotantoon vietyyn ohjelmistoon. Otettaessa ohjelmistoa vaiheittain käyttöön annetaan tuotantoon vietyyn ohjelmistoon aluksi pääsy esimerkiksi vain tietylle osajoukolle ohjelmiston käyttäjistä. Tämän jälkeen kasvatetaan vaiheittain käyttäjien pääsyä ohjelmistoon. Vaiheittainen käyttöönotto päättyy, kun kaikille ohjelmiston käyttäjille on annettu pääsy ohjelmistoon. Tässä tutkielmassa kehitettiin menetelmä web-ohjelmiston uuden version vaiheittaiselle käyttöönotolle ympäristöön, jossa vaatimuksena on palvelun käytön katkottomuus. Tutkielman tutkimuskysymyksenä on, miten web-ohjelmiston vaiheittainen käyttöönotto voidaan toteuttaa käytännössä. Tutkielma toteutettiin ohjelmistopalveluita tarjoavalle kohdeyritykselle, joka toimii yritykseltä-yritykselle-toimialalla. Tutkimusmenetelmänä tutkielmassa käytettiin design science -tutkimusmenetelmää. Tutkielman aikana kehitettiin AphoDeploy-sovellus, jonka avulla vaiheittainen käyttöönotto voitiin automatisoida Kubernetes-klusterissa. Kubernetes-klusteriin asennettiin palveluverkkoratkaisu, jonka tarjoamien välityspalvelinten avulla Kubernetes-klusterissa tehtiin ajonaikaista liikenteenohjausta. AphoDeploy-sovelluksen avulla toteutettiin uuden ohjelmistoversion vaiheittainen käyttöönotto muuttamalla palveluverkkoratkaisun ja Kubernetes-klusterin konfiguraatioita automatisoidusti. Vaiheittaisen käyttöönoton menetelmän toimintaa tutkittiin muun muassa automatisoiduilla testitapauksilla, joiden avulla selvitettiin, toteuttaako menetelmä vaiheittaiselle käyttöönotolle asetetut vaatimukset. Vaatimukset jaoteltiin teknisiin vaatimuksiin, vaiheittaisen käyttöönoton vaatimuksiin ja vaiheittaisen käyttöönoton päättymisen vaatimuksiin. Vaiheittaisen käyttöönoton menetelmän arvioinnin perusteella voitiin todeta, että kahdeksasta vaiheittaiselle käyttöönotolle asetetusta vaatimuksesta seitsemän vaatimusta täyttyi kokonaan ja yksi vaatimus täyttyi osittain. Tutkielmassa löydettiin tapa toteuttaa web-ohjelmiston vaiheittainen käyttöönotto käytännössä AphoDeploy-sovelluksen avulla. Näin ollen tutkielmassa löydettiin vastaus tutkielman tutkimuskysymykseen. Tutkielman aikana kehitetyn menetelmän avulla luotiin lisäksi pohjaa työkaluinfrastruktuurille, joka voisi tulevaisuudessa tukea kohdeyrityksessä esimerkiksi tuotannossa tehtävää kokeilua. Vaiheittaisen käyttöönoton menetelmän arvioinnin perusteella AphoDeploy-sovelluksesta löydettiin tulevaisuutta varten myös mahdollisia jatkokehityskohteita. ACM Computing Classification System (CCS): - Software and its engineering -> Software organization and properties -> Contextual software domains -> Software infrastructure -> Middleware - General and reference -> Cross-computing tools and techniques -> Experimentation

Security of web communication is crucial. When accessing an online bank, for example, one of the key issues is that the user can be assured they are communicating with the bank as they intended to. This assurance is achieved with the public key infrastructure for the Web, Web PKI. Its purpose is to manage digital certificates on the Web. Certificates are used to prove one’s identity with the help of public-key cryptography. Certificate authorities and software vendors that operate certificate root stores have key roles in the Web PKI. The first issue certificates and the latter choose which CAs are trusted. The Web PKI has multiple challenges and it is a highly researched topic. Numerous countermeasures and enhancements to the Web PKI have been developed over the years. This thesis investigates challenges in the Web PKI and proposed countermeasures, some of which are based on blockchain technology. Of the non-blockchain-based solutions, we introduce Certificate Transparency, CAA and DANE. Of the blockchain-based solutions, CertLedger, IKP and a solution for decentralising ACME protocol are described. We find that the challenges are mainly related to certificate authorities, revocation and root stores. From the numerous solutions, Certificate Transparency and CAA are utilised in the Web PKI. Shortening the validity period of certificates can resolve some of the challenges. Blockchain-based solutions are numerous but none has yet seen wide deployment.

With increasing amounts of software services provided to users and the more demanding requirements needed from them, monitoring of services is becoming increasingly important. Web service monitoring is the process of confirming system functionality by studying its various attributes, such as availability, reliability, and performance. Monitoring the services helps the software developers, maintainers and owners as they allow for increased reliability, robustness and possibly performance analysis. This thesis focuses on web service monitoring and the tools that it is done with. Specific goals are to learn about the different categories that monitoring services can take and to showcase a custom web service monitoring tool and its further development. The subject is important to the case company LogiNets, which has specific monitoring requirements that need to be fulfilled. These goals were achieved by researching literature on different types of monitoring tools for a literature review and then doing a case study of monitoring tool development. The case study was done about adding a new functionality to LogiNets’s indoor web service monitoring tool called Agent. The literature review was successful in identifying different categories of monitoring tools both by their location relative to the monitored service as well as by the quality of service requirements they fulfill. The review did not, however, discover significant research about existing commercial monitoring tools, and thus provided little help in the case study. The case study was more successful, with the new functionality added and similar extensions planned for the future.

Ketterässä ohjelmistokehityksessä laadunhallinnan perustana ovat laadukkaat ohjelmistokehityskäytännöt sekä automaattinen testaus. Automaattinen testaus on ennen kaikkea kohdistunut yksikkötestaukseen, jolla pyritään varmistamaan ohjelmiston sisäistä laatua. Toiminnallinen testaus ja hyväksymistestaus ovat myös automatisoitavissa, mutta niiden automatisointia ovat hidastaneet kustannukset sekä testien vaatima ylläpito. Toiminnallisen testauksen automatisointiin on kehitetty työkaluja sekä menetelmiä, joiden avulla voidaan kustannustehokkaasti toteuttaa automatisoituja toiminnallisia testitapauksia. Jatkuva integraatio on yleensä automaattisen yksikkötestauksen pohjana ketterässä kehityksessä ja osana jatkuvaa integraatiota on myös mahdollista automatisoida toiminnallinen testaus. Automaattisen toiminnallisen testauksen kustannuksiin voidaan vaikuttaa valituilla testauskehyksillä, testitapausten suunnittelulla sekä toteuttamalla testitapauksia hyväksi todettujen käytäntöjen mukaan. Toiminnallinen testaus perustuu toiminnallisiin vaatimuksiin, joten käyttötapaukset ja käyttäjätarinat ketterässä kehityksessä sekä niiden hyväksymiskriteerit auttavat testitapausten suunnittelussa ja toteutuksessa. Testitapaukset ovat helposti toteutettavissa nauhoita-ja-toista -menetelmällä ja refaktoroimalla testitapauksista selkeämpiä. Esimerkiksi sivuobjekti -suunnittelumallin mukaisilla testitapauksilla voidaan pienentää testauksen ylläpidon kustannuksia. Testauskehyksiä on tarjolla automaattisen testauksen eri menetelmiin, jolloin automaattinen toiminnallinen onnistuu myös erilaisissa kehitysympäristöissä. ACM Computing Classification System (CCS): Software and its engineering → Software verification; Agile software development; Software testing and debugging; Documentation;

The Weddell Sea on the Antarctic coast is one of the most important areas of deep-water formation in the oceans. The processes that result in deep-water formation depend on the sea area's oceanic transport mechanisms and on the climatological conditions. The primary purpose of this master’s thesis is to calculate the prevailing current conditions and to estimate changes in the water-mass properties in the Weddell Sea. This was performed by using hydrographic data collected during the SWEDARP 88/89 expedition. The first part of the thesis includes a literature study on the oceanographic conditions in the Weddell Sea. The study describes the conditions that regulate the Weddell Sea's circulation field and characteristic oceanographic processes. Transport calculations were performed by applying geostrophic methodology to data from the station network in the southwestern Weddell Sea. First, the baroclinic flow field was determined with the assumption that the cyclonic circulation of the Weddell Sea flows in a clockwise direction through each transect of the gyre. The barotropic component of the current field was then calculated using an inverse method which balances the transports through the measurement transects by meeting given criteria. These were that the transport of salt and mass is equal through each measurement transect. The total volume transport in the Weddell gyre was calculated to be about 19 Sverdrup (1 Sv = 10^6 m^3/s), which is about 60% of the transport estimated in the literature. The formation of Weddell Sea Bottom Water (WSBW) was estimated to 1.4 Sv. The primary result of the study was the amount of heat released from the water column to the atmosphere within the measurement area. The heat loss was calculated to 12 TW (terawatt). The unique SWEDARP 88/89 stations measured in the Filchner depression on the continental shelf would deserve further analysis and would enrich the studies of the global deep-water circulation.

The field of superhydrophobicity i.e. extreme water-repellency is a fast growing one ever since artificial ways of manufacturing such surfaces have been developed. Superhydrophobic surfaces have several potential applications including surfaces that are self-cleaning, corrosion and stain resistant, anti-fogging and anti-fouling. For the use of superhydrophobic surfaces in applications there is a need for a precise characterization of their wetting properties. However, conventional methods for characterization have several drawbacks when applied to superhydrophobic surfaces. This has resulted in a need to develop new method for characterizing wetting properties of superhydrophobic surfaces. This thesis presents one auspicious method for wetting characterization of ultra water-repellent surfaces along with the theory the method is based on. In the method a magnetic water droplet is forced to oscillate on the superhydrophobic surface. The friction affecting droplet during oscillations is proportional to the wetting degree of surface. Furthermore, using a moving droplet allows the investigation of dynamic wetting properties of superhydrophobic surfaces.

Kymmenottelu on yleisurheilulaji, joka koostu kymmenestä yksilölajista, jotka suoritetaan sa-massa järjestyksessä kahden vuorokauden aikana. Kymmenen lajin tulokset pisteytetään viralli-sen pistetaulukon mukaan ja lopputulos on näiden lajien yhteenlaskettu pistemäärä. Tutkielman tavoitteena on tutkia, mikä tekee huippuluokan kymmenottelijaa. Lisäksi tarkastellaan miten henkilökohtaiset kehityskäyrät vertautuvat lajeittain. Aineistona käytetään vuonna 1970-2019 yli 8 500 pisteen kymmenottelijoiden kaudenparhai-den ottelusarjassa tehtyjen tuloksien tietoja. Ottelijaprofiilin muutoksia tutkitaan neljässä tasos-sa. Erikseen tarkastellaan ottelijan henkilökohtainen kehitys lajeittain ja näiden mahdollisia ero-ja. Teoriaosassa käsitellään Lairdin ja Waren lineaarinen sekamalli (LME malli) sekä siihen liittyvä rajoitettu suuremman uskottavuuden menetelmää (REML). Tutkielman tuloksien valossa vaikuttaa siltä, että kymmenottelussa pikajuoksulajit ovat tär-keimmässä roolissa. Varsinkin lähtökohtaisesti heikoille 400 metrin juoksijoille kehitys on suu-ri. Kymmenottelijan profiilissa on havaittavissa, että tietyt lähtökohtaisesti heikot lajit pysyvät suhteellisen heikkona verrattuna muihin.

In the industry categorization, construction industry is one of the largest sources of waste and greenhouse gas emissions. Construction industry, with norms, practices, business models, and legislation connected to it, is built on linear foundations. In a linear economy, energy and material flows are based on value addition and a take-make-use-dispose logic. The circular economy is pursued as a replacement to the linear economic model and is based on the idea of value preservation. Among several other sustainability-driven concepts, the use of the concept of circular economy is growing in local, national and international level environmental governance. This thesis is located in the complex and ambiguous conceptual framework of circular economy as a sustainability transformation in municipal politics. The subjects under observation are four Finnish cities: Helsinki, Joensuu, Turku, and Vantaa. I aim to gain an understanding of why circular economy policy implementation in the construction and demolition of buildings seems inadequate in comparison to the municipalities’ circular economy and sustainability ambitions and whether it really is so. The current city strategies, the policy documents with the most significant guiding impact to circular construction, and interviews with experts from the municipalities and construction sector are analyzed with thematic analysis. This thesis is a part of a six-year transdisciplinary research project, DeCarbon-Home, which studies and co-develops solutions to the just sustainability transitions of living and construction. The results of this thesis show that the understanding and awareness of the concept of circular economy and ambitions attached to it vary significantly not only between cities but also within. The cities are in different phases of circular economy transition, and the results demonstrate various pathways of policy implementation. Some shared challenges that are so far hindering the cities from implementing circularity in construction have to do with the lock-in with the current linear system, division of ownership and responsibility, communication, timing, and paradigm shift.

The thesis consists of presenting and analysing the original proof for the Embedding Theorem that Hassler Whitney gave in his 1936 article Differentiable Manifolds. The embedding theorem states that given an m-dimensional Cr-differentiable (r ≥ 1) manifold M, it is possible to embed it in Euclidean space Rn, if n ≥ 2m + 1. Embedding is defined as a mapping f : M → Rn which is Cr-smooth, bijective immersion that is homeomorphism to its image f[M]. Whitney’s proof rests on few important novel concepts and a series of lemmas in relation to them. These concepts include the concept of the k-extent of a set, a sort of a k-dimensional measure in an n-dimensional space; the concept of Cr-function g : M → N approximating (f, M, r, η), where f is a Cr-function f : M → N, η an error function; and the concept of (f, r, η)-properties defined for such g. Outstanding lemmas of general nature are Lemma 7: If f : M → N is a Cr-map and A ⊂ M is of finite (zero) k-extent, then f[A] is of finite (zero) k-extent. Lemma 8: For open sets R and R′ of Rm and Rh, if {Tα} is a h-parameter family of C1-maps of R ⊂ Rm into Rn, and A ⊂ R and B ⊂ Rn closed subsets, such that A is of finite k-extent and B of zero (h − k)-extent, then for some α ∈ R′, Tα[A] does not intersect B. Lemma 9: If f : M → N is a Cr-map, η positive continuous function in M, Ω1, Ω2, . . . are (f, r, η)- properties, then there is a Cr-map F : M → N which approximates (f, M, r, η) and has properties Ω1, Ω2, . . . . Lemmas 11 and 12 then show that bijectivity and immersion property are the logical sum of countable number of (f, r, η)-properties. These facts are used in finding an embedding F : M → Rn by perturbing a given smooth function f : M → Rn. Detailed treatment of all proofs is provided. Adjustments to the proofs are made where deemed necessary; auxiliary assumptions are made where they seem to be required. Clarifications and proofs are given to facts noted but not proven in the article