Hyperbolic type metrics and distortion of quasiconformal map pings

This Ph.D. thesis consists of four original papers. The papers cover several topics from geometric function theory, more specifically, hyperbolic type metrics, conformal invariants, and the distortion properties of quasiconformal mappings. The first paper deals mostly with the quasihyperbolic metric. The main result gives the optimal bilipschitz constant with respect to the quasihyperbolic metric for the M¨obius self-mappings of the unit ball. A quasiinvariance property, sharp in a local sense, of the quasihyperbolic metric under quasiconformal mappings is also proved. The second paper studies some distortion estimates for the class of quasiconformal self-mappings fixing the boundary values of the unit ball or convex domains. The distortion is measured by the hyperbolic metric or hyperbolic type metrics. The results provide explicit, asymptotically sharp inequalities when the maximal dilatation of quasiconformal mappings tends to 1. These explicit estimates involve special functions which have a crucial role in this study. In the third paper, we investigate the notion of the quasihyperbolic volume and find the growth estimates for the quasihyperbolic volume of balls in a domain in terms of the radius. It turns out that in the case of domains with Ahlfors regular boundaries, the rate of growth depends not merely on the radius but also on the metric structure of the boundary. The topic of the fourth paper is complete elliptic integrals and inequalities. We derive some functional inequalities and elementary estimates for these special functions. As applications, some functional inequalities and the growth of the exterior modulus of a rectangle are studied.

Finnish cleantech SMEs in China: Challenges and solutions

The rapid economic growth in China has resulted in environmental challenges ranging from air pollution to water-related issues. Thus supporting clean technology, or cleantech, that encompasses industries that focus on alternative energy, pollution and recycling, power supplies and conservation has become one of the focal points in the Chinese economic policy for the next decade. Simultaneously, the Finnish government has initiated programs to support the internationalisation of domestic cleantech companies in an attempt to spiral the industry into one of the pillars of Finnish economic growth. This study concentrates on the conjunction of these two themes and studies the challenges faced by Finnish cleantech SMEs in the Chinese market. Consequently, the study answers the following sub questions: 1. What human and financial resource-based challenges do Finnish cleantech SMEs face in the Chinese market and what are their solutions? 2. What knowledge-based challenges do Finnish cleantech SMEs face in the Chinese market and how can these difficulties be resolved? 3. What network-based challenges do Finnish cleantech SMEs face in the Chinese market, how do they relate to the resource- and knowledge-based challenges, and how can these difficulties be resolved? This qualitative study is conducted by analysing four semi structured interviews collected from four Finnish SMEs that operate in China. The findings of the study indicate that in human resources the most important challenges are related to the hiring and retaining of employees. In contrast to extant academic literature results distinguish salary and social status as the main solutions to this challenge. Regarding financial resources it is discovered that cleantech companies enjoy a benign business environment in China and benefit from the Chinese government’s support for cleantech industry. Challenges related to knowledge resources can be grouped into categories with the most interesting knowledge flows being the stream of local market knowledge into to the foreign parent company and the outward flow of manufacturing and business practice information into the target venture. The challenge related to the first flow is gathering relevant information and the main solutions are clustering at the foreign location and hiring knowledge prior to internationalisation. Regarding the second flow the main challenge is related to intellectual property rights and the most interesting solution is the purposeful transformation of explicit knowledge into tacit knowledge. Finally, it is discovered that networks, called guanxi in China, greatly affect the business processes. Within the guanxi system there is the concept of face which was found to affect employee propensity to stay as well as, as a novel academic result, employees’ knowledge sharing intention.

Species och artikelbruk i finskspråkiga grundskoleelevers inlärarsvenska. En longitudinell undersökning i årskurserna 7–9

Denna doktorsavhandling utreder hur finska grundskolelever använder de svenska substantivens bestämdhetsformer och artiklar och hur deras kunskaper utvecklas under årskurserna 7-9. Species och artikelbruk är problematiska för alla andraspråksinlärare i svenska, men de är synnerligen svåra för inlärare vars förstaspråk saknar morfologisk species. Det svenska systemet avviker också kraftigt från det motsvarande systemet i engelskan, varför tidigare kunskaper i engelska inte är till någon stor hjälp i inlärningen, låt vara att bestämdheten som begrepp redan är bekant för inläraren. Den teoretiska referensramen bygger på både grammatiska beskrivningar av den svenska grammatiken och på teorierna om grammatikinlärningen i andraspråk. Bland de sistnämnda är teorierna om tvärspråkligt inflytande, explicit respektive implicit inlärning samt helsekvensinlärning (på engelska formulaic language) av relevans. Undersökningsmaterialet består av korta texter samt inspelat muntligt material som med jämna mellanrum insamlats av finskspråkiga grundskolelever (n=67) som läser B-svenska. Undersökningen är i första hand kvantitativ, om än inmatningen av nominalfraserna i materialet samt deras formella och semantiska aspekter i analysprogrammet Microsoft Access också innebar en omfattande kvalitativ analys. Undersökningen bygger på performansanalysen och analysen av obligatoriska kontexter och beräkningen av frekvenser och korrekthetsprocent för de olika nominalfrastyperna. Informanterna använder komplext språk redan i årskurs 7. Korrekthetsprocenten stiger under undersökningstiden i de flesta frastyperna, men skillnaderna är sällan statistiskt signifikanta. Den normativa analysen visar också, att formfelen är i både det skriftliga och det muntliga materialet signifikant vanligare än speciesfelen. Det är med andra ord lättare för informanterna att välja rätt species än att bilda en korrekt nominalfras. I tidigare undersökningar i Sverige har likadana resultat nåtts. De mest centrala frastyperna i undersökningen bildar i båda typerna av materialet en inlärningsgång som upprepas i alla årskurser och kan förklaras med komplexitetsskillnaderna mellan de olika frastyperna. Informanterna behärskar bäst de frastyper, som varken innehåller artiklar eller ändelser. Näst bäst behärskar de substantivets bestämda form singularis och svagast obestämd form singularis, vars artikel är en klassisk svårighetskälla för finska svenskinlärare. Analysen av informanternas läromedel visar dock att den typiska undervisningsordningen i läromedlen inte motsvarar inlärningsgången som upptäckts i denna undersökning.

Toimitusketjun diagnostiikkatyökalu

Tässä työssä luodaan diagnostiikkatyökalu toimitusketjun nykytilan määritystä varten. Sen tavoitteena on muodostaa tieteellisen kirjallisuuden pohjalta selkeästi esitettävissä oleva prosessimuotoinen työkalu, jota voidaan käyttää mahdollisimman monessa erilaisessa toimitusketjussa. Lisäksi sen tulee olla sopiva yrityksen ulkopuolisen toimijan, esimerkiksi konsultin, käytettäväksi. Työssä käydään ensin läpi toimitusketjun diagnosoinnin ja sen suorituskyvyn mittauksen teoriaa. Sen jälkeen muodostetaan näiden avulla tavoitteita vastaava nelivaiheinen työkalu, joka ulottuu aina projektin suunnittelusta mittaukseen, kehitystoimenpiteiden tunnistamiseen ja niiden esittämiseen yrityksen johdolle.

Geometric nonlinear dynamic analysis of plates and shells using eight-node hexahedral finite elements with reduced integration

This work presents a geometric nonlinear dynamic analysis of plates and shells using eight-node hexahedral isoparametric elements. The main features of the present formulation are: (a) the element matrices are obtained using reduced integrations with hourglass control; (b) an explicit Taylor-Galerkin scheme is used to carry out the dynamic analysis, solving the corresponding equations of motion in terms of velocity components; (c) the Truesdell stress rate tensor is used; (d) the vector processor facilities existing in modern supercomputers were used. The results obtained are comparable with previous solutions in terms of accuracy and computational performance.

A new approach to evaluate imperfection sensitivity in asymmetric bifurcation buckling analysis

A direct procedure for the evaluation of imperfection sensitivity in bifurcation problems is presented. The problems arise in the context of the general theory of elastic stability for discrete structural systems, in which the energy criterion of stability of structures and the total potential energy formulation are employed. In cases of bifurcation buckling the sensitivity of the critical load with respect to an imperfection parameter e is singular at the state given by epsilon =0, so that, a regular perturbation expansion of the solution is not possible. In this work we describe a direct procedure to obtain the relations between the critical loads, the generalized coordinates at the critical state, the eigenvector, and the amplitude of the imperfection, using singular perturbation analysis. The expansions are assumed in terms of arbitrary powers of the imperfection parameter, so that both exponents and coefficients of the expansion are unknown. The solution of the series exponents is obtained by searching the least degenerate solution. The formulation is here applied to asymmetric bifurcations, for which explicit expressions of the coefficients are obtained. The use of the method is illustrated by a simple example, which allows consideration of the main features of the formulation.

Solution of aerospace problems using structured and unstructured strategies

Products developed at industries, institutes and research centers are expected to have high level of quality and performance, having a minimum waste, which require efficient and robust tools to numerically simulate stringent project conditions with great reliability. In this context, Computational Fluid Dynamics (CFD) plays an important role and the present work shows two numerical algorithms that are used in the CFD community to solve the Euler and Navier-Stokes equations applied to typical aerospace and aeronautical problems. Particularly, unstructured discretization of the spatial domain has gained special attention by the international community due to its ease in discretizing complex spatial domains. This work has the main objective of illustrating some advantages and disadvantages of numerical algorithms using structured and unstructured spatial discretization of the flow governing equations. Numerical methods include a finite volume formulation and the Euler and Navier-Stokes equations are applied to solve a transonic nozzle problem, a low supersonic airfoil problem and a hypersonic inlet problem. In a structured context, these problems are solved using MacCormack’s implicit algorithm with Steger and Warming’s flux vector splitting technique, while, in an unstructured context, Jameson and Mavriplis’ explicit algorithm is used. Convergence acceleration is obtained using a spatially variable time stepping procedure.

Kuka luottaa ja mihin strategisessa kumppanuudessa? Case pankki ja kiinteistönvälitys

Tässä tutkielmassa tarkastellaan luottamuksen roolia kahden yrityksen välisessä yhteistyössä sekä sitä miten luottamus yhteistyössä rakentuu. Tavoitteena on selvittää mihin luottamus yhteistyössä kohdistuu ja mikä on henkilöityvän ja ei-henkilöityvän luottamuksen rooli. Tutkimuksen käytännöllinen tavoite on löytää keinoja, joilla yritysten johto voisi edesauttaa luottamuksen rakentumista. Lisäksi tarkastellaan sitä näyttääkö luottamuksella olevan vaikutusta yhteistyön toimivuuteen ja tuloksellisuuteen. Tämä laadullisen tutkimuksen teoreettinen osuus toteutettiin kirjallisuus-katsauksena. Empiirinen aineisto koostui haastatteluista, jotka toteutettiin molemmissa kohdeyrityksissä ja analysoitiin. Tutkimuksen tuloksena voidaan todeta, että luottamus on toimivan ja tu-loksellisen yhteistyön perusedellytys. Luottamus ilmenee sekä henkilöiden välisenä luottamuksena että ei-henkilöityvänä luottamuksena, jolloin se kohdistuu yritykseen, jonka kanssa yhteistyötä tehdään. Luottamus kohdistuu sekä toisen osapuolen kyvykkyyteen että hyväntahtoisuuteen. Tulosten perusteella ei pysty sanomaan onko henkilöityvällä luottamuksella tai ei-henkilöityvällä luottamuksella suurempi vaikutus yhteistyön toimivuuteen ja tuloksellisuuteen. Henkilöityvä luottamus ja ei-henkilöityvä luottamus eivät kuitenkaan kompensoi toisiaan. Tulosten perusteella näyttää siltä, että yhteistyö on tuloksellisinta kun osapuolet luottavat paitsi henkilöihin, joiden kanssa he yhteistyötä tekevät, myös kumppaniyrityksen brändiin, strategiaan sekä kaupalliseen kilpailukykyyn. Luottamusta rakentaa haastateltujen mukaan henkilösuhteiden lisäksi avoin ja selkeä tiedottaminen, ammattitaito, vuorovaikutus ja säännöllinen yhteydenpito, hyvät kokemukset ja saatu palaute, positiivinen asenne ja sitoutuminen, ongelmanratkaisukyky ja lupausten pitäminen. Yritysten johto voi rakentaa luottamusta mahdollistamalla ja vahvistamalla edellä mainittuja tekijöitä ja prosesseja.

The revival of international solidarity : the Internationale Arbeiterhilfe, Willi Münzenberg and the Comintern in Weimar Germany, 1921-1933

The aim of the study is to write the first comprehensive history of the Internationale Arbeiterhilfe (International Workers’ Relief) and its message of international solidarity during the Weimar Republic, 1921–1933. The Arbeiterhilfe was the Communist International’s (Comintern) primary international solidarity organisation of the time. The work is identified as a contribution to the transnational history of the interwar period as its main focus is not on governmental politics or intra-state relations, but is focused on the transnational world of an international organisation. The history of the Arbeiterhilfe provides the main springboard from which to write a contextually-based analysis of international solidarity during the Weimar Republic. The study highlights for the first time the importance of the German communist Willi Münzenberg (1889–1940), as the leader of the Arbeiterhilfe, in the history of international solidarity. The main question of this study is how an explicit use of language coupled with the visualisation and practices of solidarity were created through the Arbeiterhilfe. How was solidarity actually envisaged, organised and brought to life by the Arbeiterhilfe in Weimar Germany? How did its expressions of solidarity change over time? Throughout the thesis, the changing and complex character of solidarity is analysed. How was the Arbeiterhilfe’s message of solidarity created and changed in relation to the Comintern and the Soviet Union’s policies? How did the Arbeiterhilfe create a new culture of international solidarity thought film, cinema, illustrated newspapers and the organising of mass spectacles of international solidarity? The Arbeiterhilfe had its international headquarters in Berlin which functioned as the base, one could argue, for some of the inter-war period’s most spectacular solidarity campaigns. The Arbeiterhilfe constitutes a significant case study of an early international organisation as it was one of the first international organisations for global (albeit not universal) international solidarity which had unparalleled prospects to develop new transnational identifications and social ties. It could consequently be suggested that the Arbeiterhilfe in several ways could be perceived as a predecessor to several post-1945 transnational solidarity organisations and International Non-Governmental Organisations (INGOs).

Porin Kuudennen osan tarinoista rakennettu kulttuuriperintö

Tutkimus käsittelee viranomaisten ja asukkaiden välistä vuorovaikutusta kaavaprosessin aikana. Tutkimusalueena on valtakunnallisesti merkittäväksi kulttuuriympäristöksi luokiteltu Porin Kuudes osa, joka on yksi laajimmista yhtenäisenä säilyneistä 1800-luvun lopun puukaupunkialueista Suomessa. Hermeneuttis-fenomenologista otetta soveltava tutkimus perustuu muistitietoaineistoon, joka avaa näkökulman paikallisen kulttuuriperinnön syntymiseen, periytymiseen ja muutokseen. Kuudennen osan vuonna 2012 voimaan tulleessa asemakaavamuutoksessa suojeltiin 405 rakennusta. Sekä viranomaiset että asukkaat haluavat säilyttää arvokkaan ympäristön jälkipolville. Asukkaiden ja viranomaisten lähtökohdat arvottamiselle ovat kuitenkin erilaiset. Asiantuntijoiden näkemys kulttuuriympäristön arvoista perustuu eksplisiittiseen viralliseen tietoon, joka heijastaa positivistista käsitystä maailmasta mitattavista objekteista koostuvana kokonaisuutena. Asukkaiden arvostus asuinaluetta ja sen rakennuksia kohtaan puolestaan nousee sukupolvelta toiselle siirretyn aineettoman perinnön yhteisöllisestä merkityksestä. Heidän kokemuksensa kiteytyy kodin ja kotiseudun käsitteissä ja se tuodaan esiin rakennuksiin liittyvissä tarinoissa. Tulkinta on virallista tietoa haastavaa ja täydentävää. Kestäviä suojelupäätöksiä voidaan tehdä vain viranomaisten ja asukkaiden väliseen tasa-arvoiseen vuoropuheluun perustuen. Tutkimus nostaa asukkaiden kokemuksellisen, paikkaan sitoutuneen hiljaisen tiedon virallisen tiedon rinnalle, kulttuurisesti kestävän maankäytön suunnittelun perustaksi. Koska ihminen toimii sellaisten asioiden puolesta, jotka hän kokee arvokkaaksi, asukaslähtöinen rakennussuojelu on lähtökohtaisesti yhteisön omakseen kokeman aineettoman kulttuuriperinnön suojelua.

Scheduling dynamic dataflow graphs with model checking

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.

Mountain biodiversity in Brazil

The high species richness and diversity found in tropical montane habitats are often related to: 1) an effect of climatic and geological history on biotic evolution; 2) the various environmental impacts on species adaptation mechanisms; and 3) the continuous dispersal of fauna and flora in time. However, little is known about how these factors shaped species richness in Brazilian mountains. Official documents on biodiversity in Brazil make no explicit reference to mountains, even though there is a mountain work programme of the Convention on Biological Diversity, which Brazil is a signatory of. This paper discusses the importance of mountain ecosystems in Brazil to show the urgent need to include mountain biodiversity in the national agenda of biodiversity research and conservation.

Magna Germnia

Julkaisussa: Cosmographia : Claudii Ptolomei viri Alexandrini cosmographie octavus et ultimus liber explicit

Arabia Felix, Carmania

Julkaisussa: Cosmographia : Claudii Ptolomei viri Alexandrini cosmographie octavus et ultimus liber explicit

Libia interior, Etiopia sub Egipto

Julkaisussa: Cosmographia : Claudii Ptolomei viri Alexandrini cosmographie octavus et ultimus liber explicit