Scaling up stepwise feature introduction to construction of large software systems

Developing software is a difficult and error-prone activity. Furthermore, the complexity of modern computer applications is significant. Hence,an organised approach to software construction is crucial. Stepwise Feature Introduction – created by R.-J. Back – is a development paradigm, in which software is constructed by adding functionality in small increments. The resulting code has an organised, layered structure and can be easily reused. Moreover, the interaction with the users of the software and the correctness concerns are essential elements of the development process, contributing to high quality and functionality of the final product. The paradigm of Stepwise Feature Introduction has been successfully applied in an academic environment, to a number of small-scale developments. The thesis examines the paradigm and its suitability to construction of large and complex software systems by focusing on the development of two software systems of significant complexity. Throughout the thesis we propose a number of improvements and modifications that should be applied to the paradigm when developing or reengineering large and complex software systems. The discussion in the thesis covers various aspects of software development that relate to Stepwise Feature Introduction. More specifically, we evaluate the paradigm based on the common practices of object-oriented programming and design and agile development methodologies. We also outline the strategy to testing systems built with the paradigm of Stepwise Feature Introduction.

On Energy Efficient Computing Platforms

In accordance with the Moore's law, the increasing number of on-chip integrated transistors has enabled modern computing platforms with not only higher processing power but also more affordable prices. As a result, these platforms, including portable devices, work stations and data centres, are becoming an inevitable part of the human society. However, with the demand for portability and raising cost of power, energy efficiency has emerged to be a major concern for modern computing platforms. As the complexity of on-chip systems increases, Network-on-Chip (NoC) has been proved as an efficient communication architecture which can further improve system performances and scalability while reducing the design cost. Therefore, in this thesis, we study and propose energy optimization approaches based on NoC architecture, with special focuses on the following aspects. As the architectural trend of future computing platforms, 3D systems have many bene ts including higher integration density, smaller footprint, heterogeneous integration, etc. Moreover, 3D technology can signi cantly improve the network communication and effectively avoid long wirings, and therefore, provide higher system performance and energy efficiency. With the dynamic nature of on-chip communication in large scale NoC based systems, run-time system optimization is of crucial importance in order to achieve higher system reliability and essentially energy efficiency. In this thesis, we propose an agent based system design approach where agents are on-chip components which monitor and control system parameters such as supply voltage, operating frequency, etc. With this approach, we have analysed the implementation alternatives for dynamic voltage and frequency scaling and power gating techniques at different granularity, which reduce both dynamic and leakage energy consumption. Topologies, being one of the key factors for NoCs, are also explored for energy saving purpose. A Honeycomb NoC architecture is proposed in this thesis with turn-model based deadlock-free routing algorithms. Our analysis and simulation based evaluation show that Honeycomb NoCs outperform their Mesh based counterparts in terms of network cost, system performance as well as energy efficiency.

Opportunistisen sopimusrikkomuksen ongelmasta, erityisesti Suomen vahingonkorvaus- ja rikoslainsäädännön näkökulmasta tarkasteltuna. Law and Economics -näkökulma.

Tämä pro gradu -tutkielma käsittelee opportunistisen sopimusrikkomuksen ongelmaa erityisesti Suomen vahingonkorvaus- ja rikoslainsäädännön näkökulmasta tarkasteltuna. Tutkielman lähestymistapa on oikeustaloustieteellinen (engl. Law and Economics). Opportunistisella sopimusrikkomuksella tarkoitetaan toimintaa, jossa sopimusosapuoli rikkoo sopimuksen tarkoituksellisesti, pyrkimyksenään tällä toiminnalla saavuttaa enemmän hyötyä kuin sopimuksessa pysymällä. Opportunistinen sopimusrikkomus on mahdollista toteuttaa tilanteessa, jossa sopimusasetelma itsessään antaa mahdollisuuden enemmän hyödyn saavuttamiseen rikkomus toteuttamalla kuin sopimus asianmukaisesti täyttämällä. Suomalaisessa vahingonkorvausjärjestelmässä sovelletaan sopimusrikkomusten osalla positiivisen sopimusedun mukaista vahingonkorvausta, joka hyvittää rikotulle osapuolelle sopimussuhteeseen ryhtymisestä syntyneet kustannukset sekä sopimusrikkomuksen johdosta saamatta jääneen tuoton. Positiivisen sopimusedun soveltaminen ei kuitenkaan ole opportunistisen sopimusrikkomuksen ehkäisemiseksi riittävää, sillä opportunistisesti toimiva sopimusosapuoli voi jäädä rikkomuksensa johdosta voitolle vielä sen jälkeenkin, kun kärsineelle osapuolelle on jo positiivista sopimusetua noudattaen korvattu sopimussuhteessa syntyneet kustannukset sekä rikkomuksen johdosta saamatta jäänyt tuotto. Keskeinen ongelma koskien opportunististen sopimusrikkomustilanteiden syntyä onkin juuri vallitsevan sääntelyn liiallinen keskittyminen rikotun osapuolen kärsimän vahingon kompensoimiseen, ei rikkomustilanteiden synnyn ennaltaehkäisemiseen. Suomen vahingonkorvausjärjestelmää tulisi kehittää suuntaan, jossa järjestelmä paremmin ennaltaehkäisisi opportunististen sopimusrikkomustilanteiden syntyä. Common law -oikeusjärjestelmässä käytössä olevan disgorgement principle -suuntaisen ajattelun, jossa korvauksen perustana toimisi rikkomuksella saatu hyöty kärsityn vahingon sijaan, omaksuminen olisi yksi mahdollinen kehityskulku. Olennaista olisi kuitenkin se, että järjestelmää kehitettäisiin suuntaan, jossa rikkomus ei enää voisi tulla rikkojalle kannattavaksi. Opportunistisen toiminnan kannustimet tulisi lainsäädäntöä tarkistamalla poistaa. Tällä olisi sekä sopimusinstituutiota turvaavaa että vaihdantaa edistävää vaikutusta.

Coping with international atrocities through criminal law : a study into the typical features of international criminality and the reflection of these traits in international criminal law

-

A law of the wall formulation for recirculating flows

This work presents a new law of the wall formulation for recirculating turbulent flows. An alternative expression for the internal length which can be applied in the separated region is also presented. The formulation is implemented in a numerical code which solves the k-epsilon model through a finite volume method. The theoretical results are compared with the experimental data of Vogel and Eaton (J. of Heat Transfer, Transactions of ASME, vol.107, pp. 922-929, 1985). The paper shows that the present formulation furnishes better results than the standard k-epsilon formulation.

Rocket tracking and decoupling eigenstructure control law

A control law was designed for a satellite launcher ( rocket ) vehicle using eigenstructure assignment in order that the vehicle tracks a reference attitude and also to decouple the yaw response from roll and pitch manoeuvres and to decouple the pitch response from roll and yaw manoeuvres. The design was based on a complete linear coupled model obtained from the complete vehicle non linear model by linearization at each trajectory point. After all, the design was assessed with the vehicle time varying non-linear model showing a good performance and robustness. The used design method is explained and a case study for the Brazilian satellite launcher ( VLS Rocket ) is reported.

Microcracks and Vortices in Superconducting Thin Films

In this work, superconducting YBa₂ Cu₃O_6+x (YBCO) thin films have been studied with the experimental focus on the anisotropy of BaZrO₃ (BZO) doped YBCOthin films and the theoretical focus on modelling flux pinning by numerically solving Ginzburg- Landau equations. Also, the structural properties of undoped YBCO thin films grown on NdGaO₃ (NGO) and MgO substrates were investigated. The thin film samples were made by pulsed laser ablation on single crystal substrates. The structural properties of the thin films were characterized by X-ray diffraction and atomic force microscope measurements. The superconducting properties were investigated with a magnetometer and also with transport measurements in pulsed magnetic field up to 30 T. Flux pinning was modelled by restricting the value of the order parameter inside the columnar pinning sites and then solving the Ginzburg-Landau equations numerically with the restrictions in place. The computations were done with a parallel code on a supercomputer. The YBCO thin films were seen to develop microcracks when grown on NGO or MgO substrates. The microcrack formation was connected to the structure of the YBCO thin films in both cases. Additionally, the microcracks can be avoided by careful optimization of the deposition parameters and the film thickness. The BZO doping of the YBCO thin films was seen to decrease the effective electron mass anisotropy, which was seen by fitting the Blatter scaling to the angle dependence of the upper critical field. The Ginzburg-Landau simulations were able to reproduce the measured magnetic field dependence of the critical current density for BZO doped and undoped YBCO. The simulations showed that in addition to the large density also the large size of the BZO nanorods is a key factor behind the change in the power law behaviour between BZO doped and undoped YBCO. Additionally, the Ginzburg-Landau equations were solved for type I thin films where giant vortices were seen to appear depending on the film thickness. The simulations predicted that singly quantized vortices are stable in type I films up to quite large thicknesses and that the size of the vortices increases with decreasing film thickness, in a way that is similar to the behaviour of the interaction length of Pearl vortices.

The European Union and Assembling Biofuel Development – topological investigations concerning the associations between law, policy and space

Biofuels for transport are a renewable source of energy that were once heralded as a solution to multiple problems associated with poor urban air quality, the overproduction of agricultural commodities, the energy security of the European Union (EU) and climate change. It was only after the Union had implemented an incentivizing framework of legal and political instruments for the production, trade and consumption of biofuels that the problems of weakening food security, environmental degradation and increasing greenhouse gases through land-use changes began to unfold. In other words, the difference between political aims for why biofuels are promoted and their consequences has grown – which is also recognized by the EU policy-makers. Therefore, the global networks of producing, trading and consuming biofuels may face a complete restructure if the European Commission accomplishes its pursuit to sideline crop-based biofuels after 2020. My aim with this dissertation is not only to trace the manifold evolutions of the instruments used by the Union to govern biofuels but also to reveal how this evolution has influenced the dynamics of biofuel development. Therefore, I study the ways the EU’s legal and political instruments of steering biofuels are coconstitutive with the globalized spaces of biofuel development. My analytical strategy can be outlined through three concepts. I use the term ‘assemblage’ to approach the operations of the loose entity of actors and non-human elements that are the constituents of multi-scalar and -sectorial biofuel development. ‘Topology’ refers to the spatiality of this European biofuel assemblage and its parts whose evolving relations are treated as the active constituents of space, instead of simply being located in space. I apply the concept of ‘nomosphere’ to characterize the framework of policies, laws and other instruments that the EU applies and construes while attempting to govern biofuels. Even though both the materials and methods vary in the independent articles, these three concepts characterize my analytical strategy that allows me to study law, policy and space associated with each other. The results of my examinations underscore the importance of the instruments of governance of the EU constituting and stabilizing the spaces of producing and, on the other hand, how topological ruptures in biofuel development have enforced the need to reform policies. This analysis maps the vast scope of actors that are influenced by the mechanism of EU biofuel governance and, what is more, shows how they are actively engaging in the Union’s institutional policy formulation. By examining the consequences of fast biofuel development that are spatially dislocated from the established spaces of producing, trading and consuming biofuels such as indirect land use changes, I unfold the processes not tackled by the instruments of the EU. Indeed, it is these spatially dislocated processes that have pushed the Commission construing a new type of governing biofuels: transferring the instruments of climate change mitigation to land-use policies. Although efficient in mitigating these dislocated consequences, these instruments have also created peculiar ontological scaffolding for governing biofuels. According to this mode of governance, the spatiality of biofuel development appears to be already determined and the agency that could dampen the negative consequences originating from land-use practices is treated as irrelevant.

The collective dimension of freedom of religion or belief in international law : the application of findings to the case of Turkey

Pertinent domestic and international developments involving issues related to tensions affecting religious or belief communities have been increasingly occupying the international law agenda. Those who generate and, thus, shape international law jurisprudence are in the process of seeking some of the answers to these questions. Thus the need for reconceptualization of the right to freedom of religion or belief continues as demands to the right to freedom of religion or belief challenge the boundaries of religious freedom in national and international law. This thesis aims to contribute to the process of “re-conceptualization” by exploring the notion of the collective dimension of freedom of religion or belief with a view to advance the protection of the right to freedom of religion or belief. The case of Turkey provides a useful test case where both the domestic legislation can be assessed against international standards, while at the same time lessons can be drawn for the improvement of the standard of international review of the protection of the collective dimension of freedom of religion or belief. The right to freedom of religion or belief, as enshrined in international human rights documents, is unique in its formulation in that it provides protection for the enjoyment of the rights “in community with others”.1 It cannot be realized in isolation; it crosses categories of human rights with aspects that are individual, aspects that can be effectively realized only in an organized community of individuals and aspects that belong to the field of economic, social and cultural rights such as those related to religious or moral education. This study centers on two primary questions; first, what is the scope and nature of protection afforded to the collective dimension of freedom of religion or belief in international law, and, secondly, how does the protection of the collective dimension of freedom of religion or belief in Turkey compare and contrast to international standards? Section I explores and examines the notion of the collective dimension of freedom of religion or belief, and the scope of its protection in international law with particular reference to the right to acquire legal personality and autonomy religious/belief communities. In Section II, the case study on Turkey constitutes the applied part of the thesis; here, the protection of the collective dimension is assessed with a view to evaluate the compliance of Turkish legislation and practice with international norms as well as seeking to identify how the standard of international review of the collective dimension of freedom of religion or belief can be improved.

The house that the Court built. The retained powers case law of the European Court of Justice and the constitutional structure of the Union

Euroopan unionin perustamissopimusten katsotaan muodostavan EU:n valtiosäännön, jonka rajat ovat kuitenkin perustamissopimusten määräysten väljän muotoilun sekä Euroopan unionin tuomioistuimen tulkintakäytännön valossa epätarkat. Etenkin kysymys unionin ja sen jäsenvaltioiden välisestä toimivallanjaosta on EU-oikeudellisen tutkimuksen klassikoita. Tarkastelen pro gradu -tutkielmassani unionin valtiosääntörakennetta ja unionioikeuden kokonaisvaikutusta jäsenvaltioiden toimivaltojen käyttöön erityisesti EU-tuomioistuimen ratkaisukäytännössään kehittämän niin kutsutun retained powers -doktriinin valossa. Kyseisen opin mukaan EU-oikeus asettaa vaatimuksia jäsenvaltioiden toimivaltojen käytölle myös niillä aloilla, joilla sääntelytoimivalta on jäänyt jäsenvaltioille eikä sitä ole jaettu unionin kanssa. Aiheen teoreettisen tarkastelun pohjalta analysoin Euroopaun unionin tuomioistuimen ratkaisukäytäntöä erityisesti yhtä säilytetyn toimivallan alaa, koulutusta, koskevissa tapauksissa pyrkien havaitsemaan typologioita tuomioistuimen ratkaisutoiminnassa. Tutkimus noudattaa EU-valtiosääntöoikeuden metodologiaa. Keskeisenä lähdemateriaalina on siten käytetty unionituomioistuimen ratkaisukäytäntöä, joka heijastaa perustamissopimuksia tarkemmin unionin valtiosääntörakennetta. Oikeuskäytännön analyysi ja tulkinta on suoritettu peilaten sitä vasten unionin kehitystä markkinaorientoituneesta organisaatiosta yleismaailmalliseksi poliittiseksi unioniksi. Tutkielmani loppupäätelmä on, että jäsenvaltiot ovat tietyissä rajoissa hyväksyneet unionituomioistuimen kehittämän doktriinin, ja unionituomioistuin on siten saanut aikaan tosiasiallisen muutoksen EU:n valtiosääntörakenteessa. Retained powers -doktriini on omiaan syventämään eurooppalaista integraatiota ja nostaa kysymyksiä toimivallanjaon merkityksestä unionioikeudessa, perustamissopimusten kyvystä heijastaa unionin valtiosääntörakennetta sekä unionituomioistuimen toiminnan poliittisesta luonteesta.

Is All Fair in Law and War? The Ambiguous Principle of Proportionality of Collateral Damage and the CIA Drone Attacks in Pakistan

Tutkielma käsittelee Yhdysvaltain CIAn miehittämättömiä lennokki-iskuja Pakistanissa kansainvälisen humanitaarisen oikeuden suhteellisuusperiaatteen näkökulmasta. Suhteellisuusperiaatteen mukaan aseellisista iskuista saatavan sotilaallisen hyödyn tulee olla suhteellinen verrattuna siviileille aiheutuvaan haittaan. CIAn iskuja Pakistanissa on kritisoitu, että ne eivät täytä suhteellisuusperiaatteen asettamia vaatimuksia. Tutkielmassa perehdytään ensinnäkin selvittämään ne velvollisuudet, jotka suhteellisuusperiaate asettaa hyökkääjille. Sen jälkeen CIAn lennokki-iskuja tutkitaan näiden velvollisuuksien valossa. Tutkielmassa pyritään selvittämään antaako suhteellisuusperiaatteen luomat oikeudelliset velvollisuudet riittävää suojaa Pakistanin siviileille lennokki-iskujen tuhoja vastaan. Lisäksi pyritään selvittämään, onko lennokki-iskuissa viitteitä suhteellisuusperiaatteen vastaisista iskuista. Tutkimusmenetelmänä käytetään positivistista lainopin metodia, jonka avulla selvitetään voimassa olevaa kansainvälisen humanitaarisen tapaoikeuden suhteellisuusperiaatteen sisältöä. Oikeudellisina lähteinä käytetään pääasiassa humanitaarista tapaoikeutta, mutta tulkinnallisena apuna myös kansainvälisiä sopimuksia sekä oikeuden päätöksiä. Lisäksi oikeudellinen kirjallisuus on tutkimuksessa tärkeässä asemassa. Tutkimuksessa päädytään siihen, että suhteellisuusperiaatteen asettamat velvollisuudet hyökkääjälle ovat niin epämääräiset, että ne eivät anna riittävää suojaa siviileille. Ensinnäkin hyökkääjä voi määrittää sotilaallisen hyödyn omien päämääriensä mukaisesti suhteellisuusanalyysissä. Lisäksi kynnys sille, mikä katsotaan suhteellisuusperiaatteen vastaisuudeksi on hyvin epämääräinen ja korkea. Tämän vuoksi varotoimenpiteet iskujen suunnittelussa ovat hyvin tärkeässä asemassa myös suhteellisuusanalyysissä. Kuitenkin jos hyökkääjä edes jossain määrin osoittaa, että on tehnyt iskut hyvässä uskossa niiden laillisuudesta, iskujen katsotaan yleensä olevan suhteellisuusperiaatteen mukaisia. CIAn lennokki-iskuissa Pakistanissa on viitteitä suhteellisuusperiaatteen vastaisuudesta erityisesti ”tunnusmerkki-iskujen” osalta. ”Tunnusmerkki-iskut” johtavat yleensä vain vähäiseen sotilaalliseen hyötyyn aiheuttaen silti siviiliuhreja. Lisäksi erityisesti tunnusmerkki-iskuissa edellytetään korkeampaa tarkkuutta varotoimenpiteissä. Kuitenkin useat siviiliuhrit voivat merkitä sitä, että näitä varotoimenpiteitä ei ole noudatettu iskuissa.