Solving Challenging Real-World Scheduling Problems

This work contains a series of studies on the optimization of three real-world scheduling problems, school timetabling, sports scheduling and staff scheduling. These challenging problems are solved to customer satisfaction using the proposed PEAST algorithm. The customer satisfaction refers to the fact that implementations of the algorithm are in industry use. The PEAST algorithm is a product of long-term research and development. The first version of it was introduced in 1998. This thesis is a result of a five-year development of the algorithm. One of the most valuable characteristics of the algorithm has proven to be the ability to solve a wide range of scheduling problems. It is likely that it can be tuned to tackle also a range of other combinatorial problems. The algorithm uses features from numerous different metaheuristics which is the main reason for its success. In addition, the implementation of the algorithm is fast enough for real-world use.

The knapsack problem approach in solving partial hedging problems of options

En option är ett finansiellt kontrakt som ger dess innehavare en rättighet (men medför ingen skyldighet) att sälja eller köpa någonting (till exempel en aktie) till eller från säljaren av optionen till ett visst pris vid en bestämd tidpunkt i framtiden. Den som säljer optionen binder sig till att gå med på denna framtida transaktion ifall optionsinnehavaren längre fram bestämmer sig för att inlösa optionen. Säljaren av optionen åtar sig alltså en risk av att den framtida transaktion som optionsinnehavaren kan tvinga honom att göra visar sig vara ofördelaktig för honom. Frågan om hur säljaren kan skydda sig mot denna risk leder till intressanta optimeringsproblem, där målet är att hitta en optimal skyddsstrategi under vissa givna villkor. Sådana optimeringsproblem har studerats mycket inom finansiell matematik. Avhandlingen "The knapsack problem approach in solving partial hedging problems of options" inför en ytterligare synpunkt till denna diskussion: I en relativt enkel (ändlig och komplett) marknadsmodell kan nämligen vissa partiella skyddsproblem beskrivas som så kallade kappsäcksproblem. De sistnämnda är välkända inom en gren av matematik som heter operationsanalys. I avhandlingen visas hur skyddsproblem som tidigare lösts på andra sätt kan alternativt lösas med hjälp av metoder som utvecklats för kappsäcksproblem. Förfarandet tillämpas även på helt nya skyddsproblem i samband med så kallade amerikanska optioner.

Localization of metastasis within the sentinel lymph node biopsies: a predictor of additional axillary spread of breast cancer?

PURPOSE: To explore the relationship between morphological characteristics and histologic localization of metastasis within sentinel lymph nodes (SLN) and axillary spread in women with breast cancer. METHODS: We selected 119 patients with positive SLN submitted to complete axillary lymph node dissection from July 2002 to March 2007. We retrieved the age of patients and the primary tumor size. In the primary tumor, we evaluated histologic and nuclear grade, and peritumoral vascular invasion (PVI). In SLNs we evaluated the size of metastasis, their localization in the lymph node, number of foci, number of involved lymph nodes, and extranodal extension. RESULTS: Fifty-one (42.8%) patients had confirmed additional metastasis in non-sentinel lymph nodes (NLSN). High histologic grade, PVI, intraparenchymatous metastasis, extranodal neoplastic extension and size of metastasis were associated with positive NLSN. SLN metastasis affecting the capsule were associated to low risk incidence of additional metastasis. After multivariate analysis, PVI and metastasis size in the SLN remained as the most important risk factors for additional metastasis. CONCLUSIONS:The risk of additional involvement of NSLN is higher in patients with PVI and it increases progressively according the histologic localization in the lymph node, from capsule, where the afferent lymphatic channel arrives, to the opposite side of capsule promoting the extranodal extension. Size of metastasis greater than 6.0 mm presents higher risk of additional lymph node metastasis.

Localization, Frequency, and Functions of Filled Pauses: Five American Politicians’ Use of er and erm in the Talk Show Larry King Live

Tämän pro gradu– tutkielman tavoitteena oli testata täytettyjen taukojen (er ja erm) esiintymistiheyttä, sijaintia kieliopillisessa rakenteessa sekä funktioita Kjellmerin (2003) korpus-tutkimuksessa. Materiaalina käytin viiden yhdysvaltalaisen poliitikon puhetta keskusteluohjelmasta Larry King Live. Tutkimuksessani sovelsin Kjellmerin tutkimusmenetelmiä, joita muokkasin huomattavasti suppeampaan materiaaliini sopiviksi. Lähestymistapani oli täten induktiivinen toisin kuin testatussa tutkimuksessa. Materiaalini oli tarkoituksellisesti rajattu, sillä halusin selvittää, kuvaavatko Kjellmerin laajaan materiaaliin perustuvat tutkimustulokset myös täytettyjen taukojen käyttöä suppeammassa materiaalissa. Materiaalini (kokonaisuudessaan 101 minuuttia) transkriboin ortografisesti. Analyysissäni arvioin täytettyjen taukojen esiintymistiheyden puhujakohtaisesti ja koko ryhmälle suhteuttamalla täytettyjen taukojen lukumäärän kokonaissanamäärään. Tämän jälkeen tein perinteisen kielioppianalyysin rakenteista, joita edeltää tai joissa esiintyy täytetty tauko, ja täytettyjen taukojen sijainnin perusteella luokittelin ne sana-, lauseke-, ja lausetasolle. Lopuksi analysoin täytettyjen taukojen käyttöä soveltaen Kjellmerin ehdottamia funktioita (hesitaatio, vuorottelujäsennyksen merkitseminen, huomion herättäminen ja kontaktin luominen, korostus ja korjaus) ja niiden piirteitä omaan materiaaliini. Tutkimukseni perusteella täytetyt tauot esiintyvät tutkitun viiden poliitikon puheessa suhteellisen usein. Puhujakohtaiset eroavaisuudet olivat kuitenkin huomattavat. Kieliopillisen luokitteluni mukaan sana-, lauseke- ja lausetasot eivät täysin kuvaa täytettyjen taukojen sijoittumista, sillä täytetyt tauot edelsivät mm. määre-lauseita, jotka eivät vastaa lausetasoa englannin kielessä. Materiaalini funktioanalyysi osoitti, että täytetyt tauot yleensä vastaavat yhtä tai useampaa Kjellmerin ehdottamaa funktioita. Lisäksi tutkimukseni mukaan täytetyillä tauoilla on ainakin yksi rakenteellinen funktio. Analyysini perusteella Kjellmerin tutkimustulokset ovat siis pääosin sovellettavissa suppeampaan materiaaliin. Puutteiksi hänen tutkimuksessaan osoittautuivat funktioanalyysille tärkeän kontekstuaalisen informaation puute sekä keskittyminen täytettyihin taukoihin, jotka esiintyvät vain tietyissä kielioppirakenteissa. Yleisesti voin tutkimukseni pohjalta todeta, että täytetyt tauot ovat vielä vajaasti tunnettuja ja että kieliopillisen sijoituksen ja funktioiden lisätutkimus on tarpeellista.

Pain symptoms and sleep problems among school-aged children. Long-term prevalence changes, and pain symptoms as predictors of later mental health

Children’s pain symptoms and sleep problems are among the most common health complaints. They distract children from activities, decrease the quality of life, contribute to a significant economic burden, and have shown continuity into adulthood. The main aims of this thesis were to investigate long-term changes in the prevalence of pain symptoms and sleep problems among Finnish school-aged children, and the later mental health of those who in childhood experience pain. Prevalence, co-occurrence, and associated psychosocial factors of pain symptoms and sleep problems were also assessed. In study I, prevalence changes in eight-year-old children’s pain symptoms and sleep problems were investigated in three cross-sectional population-based samples (years 1989: n=1038, 1999: n=1035, and 2005: n=1030). In study II, cross-sectional associations between pain symptoms, sleep problems, and psychosocial factors were assessed among 13-18-year-old adolescents (n=2476). In studies III and IV, associations between pain symptoms at age eight (n=6017), and register-based data on antidepressant use and severe suicidality by age 24, were examined in a nationwide birth cohort. Pain symptoms and sleep problems were common and often co-occurred. A considerable number of children’s pain symptoms remained unrecognized by the parents. The prevalence of pain symptoms, sleep problems, and multiple concurrent symptoms approximately doubled from 1989 to 2005. Psychiatric difficulties or demographic factors did not explain the increase. Psychosocial factors that were associated with pain, sleep problems, and a higher number of symptoms, were female sex, psychological difficulties, emotional symptoms, smoking, victimization, and feeling not cared about by teachers. In longitudinal analyses, the child’s own report of headache, and to a smaller degree the parental report of the child’s abdominal pain predicted later antidepressant use. Parental report of the child’s abdominal pain predicted severe suicidality among males. If one of the symptoms is present, health care professionals should inquire about other symptoms as well. Questions should be directed to the children, not only to their parents. Inquiring about psychiatric difficulties, substance use, victimization, and relations with teachers should be included as a part of the assessment. Further studies are needed to clarify the reasons that underlie the increased prevalence rates, and the factors that may increase or decrease the risk for later mental health problems among pain-suffering children.

Two-dimensional atom localization and Raman cooling of tripod-type atoms

Both atom localization and Raman cooling, considered in the thesis, reflect recent progress in the area of all-optical methods. We focus on twodimensional (2D) case, using a four-level tripod-type atomic scheme for atom localization within the optical half-wavelength as well as for efficient subrecoil Raman cooling. In the first part, we discuss the principles of 1D atom localization, accompanying by an example of the measurement of a spontaneously-emitted photon. Modifying this example, one archives sub-wavelength localization of a three-level -type atom, measuring the population in its upper state. We go further and obtain 2D sub-wavelength localization for a four-level tripod-type atom. The upper-state population is classified according to the spatial distribution, which in turn forms such structures as spikes, craters and waves. The second part of the thesis is devoted to Raman cooling. The cooling process is controlled by a sequence of velocity-selective transfers from one to another ground state. So far, 1D deep subrecoil cooling has been carried out with the sequence of square or Blackman pulses, applied to -type atoms. In turn, we discuss the transfer of atoms by stimulated Raman adiabatic passage (STIRAP), which provides robustness against the pulse duration if the cooling time is not in any critical role. A tripod-type atomic scheme is used for the purpose of 2D Raman cooling, allowing one to increase the efficiency and simplify the realization of the cooling.

Multidata inverse problems and Bayesian solution methods in astronomy

Statistical analyses of measurements that can be described by statistical models are of essence in astronomy and in scientific inquiry in general. The sensitivity of such analyses, modelling approaches, and the consequent predictions, is sometimes highly dependent on the exact techniques applied, and improvements therein can result in significantly better understanding of the observed system of interest. Particularly, optimising the sensitivity of statistical techniques in detecting the faint signatures of low-mass planets orbiting the nearby stars is, together with improvements in instrumentation, essential in estimating the properties of the population of such planets, and in the race to detect Earth-analogs, i.e. planets that could support liquid water and, perhaps, life on their surfaces. We review the developments in Bayesian statistical techniques applicable to detections planets orbiting nearby stars and astronomical data analysis problems in general. We also discuss these techniques and demonstrate their usefulness by using various examples and detailed descriptions of the respective mathematics involved. We demonstrate the practical aspects of Bayesian statistical techniques by describing several algorithms and numerical techniques, as well as theoretical constructions, in the estimation of model parameters and in hypothesis testing. We also apply these algorithms to Doppler measurements of nearby stars to show how they can be used in practice to obtain as much information from the noisy data as possible. Bayesian statistical techniques are powerful tools in analysing and interpreting noisy data and should be preferred in practice whenever computational limitations are not too restrictive.

Be-Fe coupled method for the analysis of 3D elastodynamic problems in the time domain

By coupling the Boundary Element Method (BEM) and the Finite Element Method (FEM) an algorithm that combines the advantages of both numerical processes is developed. The main aim of the work concerns the time domain analysis of general three-dimensional wave propagation problems in elastic media. In addition, mathematical and numerical aspects of the related BE-, FE- and BE/FE-formulations are discussed. The coupling algorithm allows investigations of elastodynamic problems with a BE- and a FE-subdomain. In order to observe the performance of the coupling algorithm two problems are solved and their results compared to other numerical solutions.

An alternative finite element formulation for determination of streamlines in two-dimensional problems

It is well known that the numerical solutions of incompressible viscous flows are of great importance in Fluid Dynamics. The graphics output capabilities of their computational codes have revolutionized the communication of ideas to the non-specialist public. In general those codes include, in their hydrodynamic features, the visualization of flow streamlines - essentially a form of contour plot showing the line patterns of the flow - and the magnitudes and orientations of their velocity vectors. However, the standard finite element formulation to compute streamlines suffers from the disadvantage of requiring the determination of boundary integrals, leading to cumbersome implementations at the construction of the finite element code. In this article, we introduce an efficient way - via an alternative variational formulation - to determine the streamlines for fluid flows, which does not need the computation of contour integrals. In order to illustrate the good performance of the alternative formulation proposed, we capture the streamlines of three viscous models: Stokes, Navier-Stokes and Viscoelastic flows.

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.

Heat Source Estimation with the Conjugate Gradient Method in Inverse Linear Diffusive Problems

In this work, we present the solution of a class of linear inverse heat conduction problems for the estimation of unknown heat source terms, with no prior information of the functional forms of timewise and spatial dependence of the source strength, using the conjugate gradient method with an adjoint problem. After describing the mathematical formulation of a general direct problem and the procedure for the solution of the inverse problem, we show applications to three transient heat transfer problems: a one-dimensional cylindrical problem; a two-dimensional cylindrical problem; and a one-dimensional problem with two plates.

Simulation of Steady-State Nonlinear Heat Transfer Problems Through the Minimization of Quadratic Functionals

In this work it is presented a systematic procedure for constructing the solution of a large class of nonlinear conduction heat transfer problems through the minimization of quadratic functionals like the ones usually employed for linear descriptions. The proposed procedure gives rise to an efficient and easy way for carrying out numerical simulations of nonlinear heat transfer problems by means of finite elements. To illustrate the procedure a particular problem is simulated by means of a finite element approximation.

Indoor Localization Solutions for a Marine Industry Augmented Reality Tool

In this report are described means for indoor localization in special, challenging circum-stances in marine industry. The work has been carried out in MARIN project, where a tool based on mobile augmented reality technologies for marine industry is developed. The tool can be used for various inspection and documentation tasks and it is aimed for improving the efficiency in design and construction work by offering the possibility to visualize the newest 3D-CAD model in real environment. Indoor localization is needed to support the system in initialization of the accurate camera pose calculation and auto-matically finding the right location in the 3D-CAD model. The suitability of each indoor localization method to the specific environment and circumstances is evaluated.