On the use of convex underestimators in global optimization

Många kvantitativa problem från vitt skilda områden kan beskrivas som optimeringsproblem. Ett mått på lösningens kvalitet bör optimeras samtidigt som vissa villkor på lösningen uppfylls. Kvalitetsmåttet kallas vanligen objektfunktion och kan beskriva kostnader (exempelvis produktion, logistik), potentialenergi (molekylmodellering, proteinveckning), risk (finans, försäkring) eller något annat relevant mått. I min doktorsavhandling diskuteras speciellt icke-linjär programmering, NLP, i ändliga dimensioner. Problem med enkel struktur, till exempel någon form av konvexitet, kan lösas effektivt. Tyvärr kan inte alla kvantitativa samband modelleras på ett konvext vis. Icke-konvexa problem kan angripas med heuristiska metoder, algoritmer som söker lösningar med hjälp av deterministiska eller stokastiska tumregler. Ibland fungerar det här väl, men heuristikerna kan sällan garantera kvaliteten på lösningen eller ens att en lösning påträffas. För vissa tillämpningar är det här oacceptabelt. Istället kan man tillämpa så kallad global optimering. Genom att successivt dela variabeldomänen i mindre delar och beräkna starkare gränser på det optimala värdet hittas en lösning inom feltoleransen. Den här metoden kallas branch-and-bound, ungefär dela-och-begränsa. För att ge undre gränser (vid minimering) approximeras problemet med enklare problem, till exempel konvexa, som kan lösas effektivt. I avhandlingen studeras tillvägagångssätt för att approximera differentierbara funktioner med konvexa underskattningar, speciellt den så kallade alphaBB-metoden. Denna metod adderar störningar av en viss form och garanterar konvexitet genom att sätta villkor på den perturberade Hessematrisen. Min forskning har lyft fram en naturlig utvidgning av de perturbationer som används i alphaBB. Nya metoder för att bestämma underskattningsparametrar har beskrivits och jämförts. I sammanfattningsdelen diskuteras global optimering ur bredare perspektiv på optimering och beräkningsalgoritmer.

Segmentation of overlapping convex objects

This thesis presents a framework for segmentation of clustered overlapping convex objects. The proposed approach is based on a three-step framework in which the tasks of seed point extraction, contour evidence extraction, and contour estimation are addressed. The state-of-art techniques for each step were studied and evaluated using synthetic and real microscopic image data. According to obtained evaluation results, a method combining the best performers in each step was presented. In the proposed method, Fast Radial Symmetry transform, edge-to-marker association algorithm and ellipse fitting are employed for seed point extraction, contour evidence extraction and contour estimation respectively. Using synthetic and real image data, the proposed method was evaluated and compared with two competing methods and the results showed a promising improvement over the competing methods, with high segmentation and size distribution estimation accuracy.

Numerical and ExperimentalModelling of Gas Flow and Heat Transfer in the Air Gap of An Electric Machine

This work deals with the cooling of high-speed electric machines, such as motors and generators, through an air gap. It consists of numerical and experimental modelling of gas flow and heat transfer in an annular channel. Velocity and temperature profiles are modelled in the air gap of a high-speed testmachine. Local and mean heat transfer coefficients and total friction coefficients are attained for a smooth rotor-stator combination at a large velocity range. The aim is to solve the heat transfer numerically and experimentally. The FINFLO software, developed at Helsinki University of Technology, has been used in the flow solution, and the commercial IGG and Field view programs for the grid generation and post processing. The annular channel is discretized as a sector mesh. Calculation is performed with constant mass flow rate on six rotational speeds. The effect of turbulence is calculated using three turbulence models. The friction coefficient and velocity factor are attained via total friction power. The first part of experimental section consists of finding the proper sensors and calibrating them in a straight pipe. After preliminary tests, a RdF-sensor is glued on the walls of stator and rotor surfaces. Telemetry is needed to be able to measure the heat transfer coefficients at the rotor. The mean heat transfer coefficients are measured in a test machine on four cooling air mass flow rates at a wide Couette Reynolds number range. The calculated values concerning the friction and heat transfer coefficients are compared with measured and semi-empirical data. Heat is transferred from the hotter stator and rotor surfaces to the coolerair flow in the air gap, not from the rotor to the stator via the air gap, althought the stator temperature is lower than the rotor temperature. The calculatedfriction coefficients fits well with the semi-empirical equations and precedingmeasurements. On constant mass flow rate the rotor heat transfer coefficient attains a saturation point at a higher rotational speed, while the heat transfer coefficient of the stator grows uniformly. The magnitudes of the heat transfer coefficients are almost constant with different turbulence models. The calibrationof sensors in a straight pipe is only an advisory step in the selection process. Telemetry is tested in the pipe conditions and compared to the same measurements with a plain sensor. The magnitudes of the measured data and the data from the semi-empirical equation are higher for the heat transfer coefficients than thenumerical data considered on the velocity range. Friction and heat transfer coefficients are presented in a large velocity range in the report. The goals are reached acceptably using numerical and experimental research. The next challenge is to achieve results for grooved stator-rotor combinations. The work contains also results for an air gap with a grooved stator with 36 slots. The velocity field by the numerical method does not match in every respect the estimated flow mode. The absence of secondary Taylor vortices is evident when using time averagednumerical simulation.

Computing the persistent homology of range images with alpha shapes

Laser scanning is becoming an increasingly popular method for measuring 3D objects in industrial design. Laser scanners produce a cloud of 3D points. For CAD software to be able to use such data, however, this point cloud needs to be turned into a vector format. A popular way to do this is to triangulate the assumed surface of the point cloud using alpha shapes. Alpha shapes start from the convex hull of the point cloud and gradually refine it towards the true surface of the object. Often it is nontrivial to decide when to stop this refinement. One criterion for this is to do so when the homology of the object stops changing. This is known as the persistent homology of the object. The goal of this thesis is to develop a way to compute the homology of a given point cloud when processed with alpha shapes, and to infer from it when the persistent homology has been achieved. Practically, the computation of such a characteristic of the target might be applied to power line tower span analysis.

Occlusal and dentofacial characteristics of the deciduous dentition and treatment effects of the eruption guidance appliance in the early mixed dentition

The aim of this investigation was to analyze the dental occlusion in the deciduous dentition, and the effects of orthodontic treatment carried out in the early mixed dentition with the eruption guidance appliance. The deciduous occlusion and craniofacial morphology of 486 children (244 girls and 242 boys) were investigated at the onset of the mixed dentition period (mean age 5.1 years, range 4.0-7.8 years). Treatment in the treatment group and follow-up in the control group were started when the first deciduous incisor was exfoliated (T1) and ended when all permanent incisors and first molars were fully erupted (T2). The mean age of the children was 5.1 years (SD 0.5) at T1 and 8.4 years (SD 0.5) at T2. Treatment was carried out with the eruption guidance appliance. Occlusal changes that took place in 167 children were compared with those of 104 untreated control children. Pre- and post-treatment cephalometric radiographs were taken, and the craniofacial morphology of 115 consecutively treated children was compared with that of 104 control children. The prevalence of malocclusion in the deciduous dentition was 68% or 93% depending on how the cut-off value between the acceptable and non-acceptable occlusal characteristic was defined. The early dentofacial features of children with distal occlusion, large overjet and deepbite differed from those with normal occlusion. However, the skeletal pattern of these three malocclusions showed considerable similarity each being characterized by a retrusive mandible, small maxillo-mandibular difference, convex profile, retrusive lower incisors, and large interincisal angle. In the treatment group, overjet and overbite decreased significantly from T1 to T2. Following treatment, a tooth-to-tooth contact was found in 99% of the treated children but only in 24% of the controls. A Class I molar relationship was observed in 90% of the children in the treatment group, and in 48% in the control group. Good alignment of the incisors was observed in 98% of the treated children, whereas upper crowding was found in 32% and lower crowding in 47% of the controls. A significant difference between the groups was found in the mandibular length, midfacial length and maxillo-mandibular differential. The occlusal correction, brought about by the eruption guidance appliance, was achieved mainly through changes in the dentoalveolar region of the mandible. In addition, the appliance seemed to enhance the growth of the mandible. Treatment in the early mixed dentition using the eruption guidance appliance is an effective method to normalize occlusion and reduce further need of orthodontic treatment. Only few spontaneous corrective changes can be expected without active intervention.

Tietohallinnon portfolion hallinta ammattikorkeakoulussa

Tutkimuksen tarkoituksena on tietohallinnon projektiportfolion hallinnan kehittäminen Metropolia ammattikorkeakoulussa. Portfolion hallinta kattaa projektiesitysten luomisen, projektien ja projektiesitysten arvioinnin ja priorisoinnin sekä projektien käynnistämisen. Painopisteenä arvioinnin ja priorisoinnin lisäksi on portfolion tarkastelu yhtenä kokonaisuutena. Tutkimus toteutettiin konstruktiivisena tutkimuksena, yhteistyössä Metropolia ammattikorkeakoulun kanssa. Tutkimusmenetelminä käytettiin kirjallisuuskatsausta, strukturoituahaastattelua ja kyselylomaketta. Kirjallisuuskatsaus kohdennettiin portfolion hallinnan prosessiin, siinä käytettäviin menetelmiin sekä projektien arviointikriteereihin. Metropoliassa tehtyjen haastattelujen ja kirjallisten kyselyjen avulla selvitettiin portfolion hallinnan nykytilannetta ja kehittämiskohteita. Haastattelemalla kahta julkishallinnon organisaatiota kartoitettiin portfolion hallinnan parhaita käytäntöjä. Tutkimuksen tuloksena on Metropolian tietohallinnon portfolion hallintaprosessi sekä sitä tukevat menetelmät ja projektien arviointikriteerit. Näiden avulla portfolio voidaan priorisoida yhtenäisesti ja systemaattisesti, huomioiden portfolion hallinnan tärkeimmät näkökulmat. Tutkimuksen tulokset ovat hyödynnettävissä Metropolian muissa yksiköissä tai vastaavanlaisissa organisaatioissa

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.

Analysis of corporate social responsibility (CSR) performance and financial performance of selected mining companies

The global concern about sustainability has been growing and the mining industry is questioned about its environmental and social performance. Corporate social responsibility (CSR) is an important issue for the extractive industries. The main objective of this study was to investigate the relationship between CSR performance and financial performance of selected mining companies. The study was conducted by identifying and comparing a selection of available CSR performance indicators with financial performance indicators. Based on the result of the study, the relationship between CSR performance and financial performance is unclear for the selected group of companies. The result is mixed and no industry specific realistic way to measure CSR performance uniformly is available. The result as a whole is contradictory and varies at company level as well as based on the selected indicators. The result of this study confirms that the relationship between CSR performance and financial performance is complicated and difficult to determine. As an outcome, evaluation of benefits of CSR in the mining sector could better be analyzed based on different attributes.

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.

Extreme Observables and Optimal Measurements in Quantum Theory

Optimization of quantum measurement processes has a pivotal role in carrying out better, more accurate or less disrupting, measurements and experiments on a quantum system. Especially, convex optimization, i.e., identifying the extreme points of the convex sets and subsets of quantum measuring devices plays an important part in quantum optimization since the typical figures of merit for measuring processes are affine functionals. In this thesis, we discuss results determining the extreme quantum devices and their relevance, e.g., in quantum-compatibility-related questions. Especially, we see that a compatible device pair where one device is extreme can be joined into a single apparatus essentially in a unique way. Moreover, we show that the question whether a pair of quantum observables can be measured jointly can often be formulated in a weaker form when some of the observables involved are extreme. Another major line of research treated in this thesis deals with convex analysis of special restricted quantum device sets, covariance structures or, in particular, generalized imprimitivity systems. Some results on the structure ofcovariant observables and instruments are listed as well as results identifying the extreme points of covariance structures in quantum theory. As a special case study, not published anywhere before, we study the structure of Euclidean-covariant localization observables for spin-0-particles. We also discuss the general form of Weyl-covariant phase-space instruments. Finally, certain optimality measures originating from convex geometry are introduced for quantum devices, namely, boundariness measuring how ‘close’ to the algebraic boundary of the device set a quantum apparatus is and the robustness of incompatibility quantifying the level of incompatibility for a quantum device pair by measuring the highest amount of noise the pair tolerates without becoming compatible. Boundariness is further associated to minimum-error discrimination of quantum devices, and robustness of incompatibility is shown to behave monotonically under certain compatibility-non-decreasing operations. Moreover, the value of robustness of incompatibility is given for a few special device pairs.