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.

Qualitative Characteristics and Quantitative Measures of Solution's Reliability in Discrete Optimization: Traditional Analytical Approaches, Innovative Computational Methods and Applicability

The purpose of this thesis is twofold. The first and major part is devoted to sensitivity analysis of various discrete optimization problems while the second part addresses methods applied for calculating measures of solution stability and solving multicriteria discrete optimization problems. Despite numerous approaches to stability analysis of discrete optimization problems two major directions can be single out: quantitative and qualitative. Qualitative sensitivity analysis is conducted for multicriteria discrete optimization problems with minisum, minimax and minimin partial criteria. The main results obtained here are necessary and sufficient conditions for different stability types of optimal solutions (or a set of optimal solutions) of the considered problems. Within the framework of quantitative direction various measures of solution stability are investigated. A formula for a quantitative characteristic called stability radius is obtained for the generalized equilibrium situation invariant to changes of game parameters in the case of the H¨older metric. Quality of the problem solution can also be described in terms of robustness analysis. In this work the concepts of accuracy and robustness tolerances are presented for a strategic game with a finite number of players where initial coefficients (costs) of linear payoff functions are subject to perturbations. Investigation of stability radius also aims to devise methods for its calculation. A new metaheuristic approach is derived for calculation of stability radius of an optimal solution to the shortest path problem. The main advantage of the developed method is that it can be potentially applicable for calculating stability radii of NP-hard problems. The last chapter of the thesis focuses on deriving innovative methods based on interactive optimization approach for solving multicriteria combinatorial optimization problems. The key idea of the proposed approach is to utilize a parameterized achievement scalarizing function for solution calculation and to direct interactive procedure by changing weighting coefficients of this function. In order to illustrate the introduced ideas a decision making process is simulated for three objective median location problem. The concepts, models, and ideas collected and analyzed in this thesis create a good and relevant grounds for developing more complicated and integrated models of postoptimal analysis and solving the most computationally challenging problems related to it.

Analysis and validation of space averaged drag model for numerical simulations of gas-solid flows in fluidized beds

This thesis presents an approach for formulating and validating a space averaged drag model for coarse mesh simulations of gas-solid flows in fluidized beds using the two-fluid model. Proper modeling for fluid dynamics is central in understanding any industrial multiphase flow. The gas-solid flows in fluidized beds are heterogeneous and usually simulated with the Eulerian description of phases. Such a description requires the usage of fine meshes and small time steps for the proper prediction of its hydrodynamics. Such constraint on the mesh and time step size results in a large number of control volumes and long computational times which are unaffordable for simulations of large scale fluidized beds. If proper closure models are not included, coarse mesh simulations for fluidized beds do not give reasonable results. The coarse mesh simulation fails to resolve the mesoscale structures and results in uniform solids concentration profiles. For a circulating fluidized bed riser, such predicted profiles result in a higher drag force between the gas and solid phase and also overestimated solids mass flux at the outlet. Thus, there is a need to formulate the closure correlations which can accurately predict the hydrodynamics using coarse meshes. This thesis uses the space averaging modeling approach in the formulation of closure models for coarse mesh simulations of the gas-solid flow in fluidized beds using Geldart group B particles. In the analysis of formulating the closure correlation for space averaged drag model, the main parameters for the modeling were found to be the averaging size, solid volume fraction, and distance from the wall. The closure model for the gas-solid drag force was formulated and validated for coarse mesh simulations of the riser, which showed the verification of this modeling approach. Coarse mesh simulations using the corrected drag model resulted in lowered values of solids mass flux. Such an approach is a promising tool in the formulation of appropriate closure models which can be used in coarse mesh simulations of large scale fluidized beds.

Genetic characterization of Brazilian bovine viral diarrhea virus isolates by partial nucleotide sequencing of the 5'-UTR region

Nineteen isolates of bovine viral diarrhea virus (BVDV) from Brazil were genetically characterized through partial nucleotide sequencing and analysis of the 5'UTR region. The isolates were grouped as BVDV-1 (11/19), BVDV-2 (6/19) or "atypical" pestivirus (2/19). Among the BVDV-1, eight isolates were classified as subgenotype BVDV-1a, whereas most (4 out of 6) BVDV-2 belonged to subgenotype 2b. Two isolates from aborted fetuses were not classified into any genetic group, being considered atypical BVDVs. Genetic diversity among Brazilian BVDV isolates may be responsible for vaccination and diag-nostic failure and therefore may influence the control strategies for BVDV infection in the country.

Puomiankkurin uudelleensuunnittelu ja valmistus

Tämän diplomityön tavoitteena on ollut suunnitella uusi öljyntorjunnassa käytettävä puomiankkuri. Nykyisin käytössä olevat ankkurit ovat painavia, paljon tilaa vieviä, jäykkiä rakenteeltaan ja hankalia käyttää. Työn tavoitteena on ollut suunnitella rakenne, jossa muotoilun avulla pyritään korvaamaan ankkurin painoa ja saavuttaa hyvä tunkeutuminen eri pohjalaaduissa. Ankkurin suunnitteluun kuuluu merkittävänä osana materiaalinvalintaprosessi, jonka perusteella materiaaliksi valittiin kulutusteräs. Kulutusteräksen korkea lujuus ja hyvä kulumiskestävyys mahdollistavat ohuemman materiaalin käytön rakenteessa, jonka seurauksena rakenteen painoa saatiin vähennettyä merkittävästi. Ankkurin rakenteen suunnittelussa käytettiin hyväksi nykyisiä ankkurin rakenteita, joiden pohjalta hahmoteltiin eri variaatioita ankkureista. Suunnittelutyössä käytettiin hyväksi tyypillisiä ankkurirakenteita hyvien puolien kannalta, joita pyrittiin toteuttamaan uudessa ankkuri- rakenteessa. Ankkurin suunnittelu toteutettiin järjestelmällisen suunnittelun avulla, jossa ensin laadittiin ankkurille vaatimuslista. Tämän jälkeen laadittiin ankkurille toimintorakenne ja jakaminen osatoimintoihin. Ankkurin rakenteista toteutettiin kaksi eri versiota: sisävesillä ja merialueilla käytettävät ankkurit, joille laadittiin mitoitus. Työssä suunnitellun terävän tunkeutumisosan ja optimaalisen tunkeutumiskulman avulla ankkureiden painoa saatiin huomattavasti alhaisemmaksi, jonka seurauksena ankkurille saatiin kevyempi rakenne ja materiaalikustannukset pienenivät merkittävästi. Uusien ankkurien rakenne on pienemmän koon ja painon ansiosta käyttäjäystävällisempi.

Puomiankkurin uudelleensuunnittelu ja valmistus

Tämän diplomityön tavoitteena on ollut suunnitella uusi öljyntorjunnassa käytettävä puomiankkuri. Nykyisin käytössä olevat ankkurit ovat painavia, paljon tilaa vieviä, jäykkiä rakenteeltaan ja hankalia käyttää. Työn tavoitteena on ollut suunnitella rakenne, jossa muotoilun avulla pyritään korvaamaan ankkurin painoa ja saavuttaa hyvä tunkeutuminen eri pohjalaaduissa. Ankkurin suunnitteluun kuuluu merkittävänä osana materiaalinvalintaprosessi, jonka perusteella materiaaliksi valittiin kulutusteräs. Kulutusteräksen korkea lujuus ja hyvä kulumiskestävyys mahdollistavat ohuemman materiaalin käytön rakenteessa, jonka seurauksena rakenteen painoa saatiin vähennettyä merkittävästi. Ankkurin rakenteen suunnittelussa käytettiin hyväksi nykyisiä ankkurin rakenteita, joiden pohjalta hahmoteltiin eri variaatioita ankkureista. Suunnittelutyössä käytettiin hyväksi tyypillisiä ankkurirakenteita hyvien puolien kannalta, joita pyrittiin toteuttamaan uudessa ankkuri- rakenteessa. Ankkurin suunnittelu toteutettiin järjestelmällisen suunnittelun avulla, jossa ensin laadittiin ankkurille vaatimuslista. Tämän jälkeen laadittiin ankkurille toimintorakenne ja jakaminen osatoimintoihin. Ankkurin rakenteista toteutettiin kaksi eri versiota: sisävesillä ja merialueilla käytettävät ankkurit, joille laadittiin mitoitus. Työssä suunnitellun terävän tunkeutumisosan ja optimaalisen tunkeutumiskulman avulla ankkureiden painoa saatiin huomattavasti alhaisemmaksi, jonka seurauksena ankkurille saatiin kevyempi rakenne ja materiaalikustannukset pienenivät merkittävästi. Uusien ankkurien rakenne on pienemmän koon ja painon ansiosta käyttäjäystävällisempi.

Reflexive Space. A Constructionist Model of the Russian Reflexive Marker

This study examines the structure of the Russian Reflexive Marker ( ся/-сь) and offers a usage-based model building on Construction Grammar and a probabilistic view of linguistic structure. Traditionally, reflexive verbs are accounted for relative to non-reflexive verbs. These accounts assume that linguistic structures emerge as pairs. Furthermore, these accounts assume directionality where the semantics and structure of a reflexive verb can be derived from the non-reflexive verb. However, this directionality does not necessarily hold diachronically. Additionally, the semantics and the patterns associated with a particular reflexive verb are not always shared with the non-reflexive verb. Thus, a model is proposed that can accommodate the traditional pairs as well as for the possible deviations without postulating different systems. A random sample of 2000 instances marked with the Reflexive Marker was extracted from the Russian National Corpus and the sample used in this study contains 819 unique reflexive verbs. This study moves away from the traditional pair account and introduces the concept of Neighbor Verb. A neighbor verb exists for a reflexive verb if they share the same phonological form excluding the Reflexive Marker. It is claimed here that the Reflexive Marker constitutes a system in Russian and the relation between the reflexive and neighbor verbs constitutes a cross-paradigmatic relation. Furthermore, the relation between the reflexive and the neighbor verb is argued to be of symbolic connectivity rather than directionality. Effectively, the relation holding between particular instantiations can vary. The theoretical basis of the present study builds on this assumption. Several new variables are examined in order to systematically model variability of this symbolic connectivity, specifically the degree and strength of connectivity between items. In usage-based models, the lexicon does not constitute an unstructured list of items. Instead, items are assumed to be interconnected in a network. This interconnectedness is defined as Neighborhood in this study. Additionally, each verb carves its own niche within the Neighborhood and this interconnectedness is modeled through rhyme verbs constituting the degree of connectivity of a particular verb in the lexicon. The second component of the degree of connectivity concerns the status of a particular verb relative to its rhyme verbs. The connectivity within the neighborhood of a particular verb varies and this variability is quantified by using the Levenshtein distance. The second property of the lexical network is the strength of connectivity between items. Frequency of use has been one of the primary variables in functional linguistics used to probe this. In addition, a new variable called Constructional Entropy is introduced in this study building on information theory. It is a quantification of the amount of information carried by a particular reflexive verb in one or more argument constructions. The results of the lexical connectivity indicate that the reflexive verbs have statistically greater neighborhood distances than the neighbor verbs. This distributional property can be used to motivate the traditional observation that the reflexive verbs tend to have idiosyncratic properties. A set of argument constructions, generalizations over usage patterns, are proposed for the reflexive verbs in this study. In addition to the variables associated with the lexical connectivity, a number of variables proposed in the literature are explored and used as predictors in the model. The second part of this study introduces the use of a machine learning algorithm called Random Forests. The performance of the model indicates that it is capable, up to a degree, of disambiguating the proposed argument construction types of the Russian Reflexive Marker. Additionally, a global ranking of the predictors used in the model is offered. Finally, most construction grammars assume that argument construction form a network structure. A new method is proposed that establishes generalization over the argument constructions referred to as Linking Construction. In sum, this study explores the structural properties of the Russian Reflexive Marker and a new model is set forth that can accommodate both the traditional pairs and potential deviations from it in a principled manner.

Parasites of the freshwater fish trade in Brazil: science metric study

This paper presents a science metric study of parasites of fish farming in Brazil, including a significant review of the literature. The methodology used was based on researching articles in three different databases, carried out ​on May 2012: ISI (Institute for Scientific Information), SciELO (Scientific Electronic Library Online), and Google Academic. The number of articles on fish parasites is mounting (currently over 110), having much increased since 1995. However, the quantity is still low compared with the amount of papers on parasites of fish from natural environments. In Brazil, the farmed fish that have been studied the most are pacu, tilapia and tambaqui. Monogeneans represent the most prevalent group, followed by protozoa and crustaceans. The regions most researched were the southeast and south, making up 84% of the total literature. The main issue addressed in articles was pathology, followed by treatment and record. In conclusion, the treatment of parasitic diseases of farmed fish in Brazil is still incipient, highlighting the importance and usefulness of management practices to prevent the occurrence of health problems.

Plan B from Outer Space - InsomniaGame-pelin suunnittelu ja toteutus 2010–2011

InsomniaGame oli Turun yliopiston digitaalisen kulttuurin oppiaineen ja Insomnia verkkopeliyhdistyksen yhteistyössä vuosina 2010 ja 2011 toteuttama pelikonseptikokeilu. InsomniaGame oli osa laajempaa ”CoEx: Yhteisöllistä tekemistä tukevat tilat kokemusten jakamisessa” kaksivuotista (1.10.2009–31.12.2011) hanketta, jonka toteuttivat yhteistyössä Turun yliopiston Porin yksikkö, Tampereen teknillisen yliopiston Porin yksikkö ja Tampereen yliopisto. Hankkeen tavoitteena oli toteuttaa sosiaalista mediaa, yhteisöllisyyttä ja lisättyä todellisuutta hyödyntäviä virtuaalisia ja julkisia tiloja, joissa käyttäjät voivat jakaa kokemuksia. Tutkimus on luonteeltaan soveltava pro gradu -tutkielma, joka sisältää kaksi vuotta kestäneen ja kaksi pelisovellusta sisältävän työosuuden. InsomniaGame koostui erilaisista pelaajien suorittamista tehtävistä, pelialustasta sekä taustatarinasta. Päätutkimuskysymykset ovat: Mitkä tekijät vaikuttivat pelisuunnitteluprosessiin ja miten? Työ esittelee InsomniaGame-pelin kehityksen. Erityistarkastelussa ovat suunnitteluprosessin ja pelin sisällölliset muutokset sekä niihin vaikuttaneet tekijät. Pelin kehitys perustui pääasiassa erilaisiin dokumentteihin, joita käytettiin suunnittelun apuvälineenä sekä viestinnässä projektin eri toimijoiden kesken. Tutkimus pyrkii syntyneiden dokumenttien sekä pelisuunnittelijoiden muistin perusteella rekonstruoimaan InsomniaGame-pelisovelluksen kehityskaaren. InsomniaGamen kehityksessä oli monia tekijöitä, jotka muuttuivat sen kehityskaaren aikana. Itse pelin sisältö, kuten myös suunnittelutapa, muuttuivat kahden vuoden aikana huomattavasti. Pelillä oli myös monia erityispiirteitä, jotka tekevät sen kehityksestä ainutlaatuisen, sillä esimerkiksi pelin testaaminen yhtenä kokonaisuutena oli mahdotonta. Lisäksi peli oli tutkimus- ja yhteistyöprojekti, jossa oli mukana monia eri toimijoita ja erityisesti tutkimuksessa korostuu yhteistyökumppani Insomnia verkkopeliyhdistyksen osallisuus. InsomniaGamen kummankaan vuoden toteutus ei sujunut odotetulla tavalla, mikä osaltaan vaikutti etenkin jälkimmäisen vuoden pelin suunnitteluun. Varsinainen suunnittelutyö kuitenkin eteni ensimmäisenä vuonna käytetyn mallin mukaisesti, mutta kuitenkin niin että alkuperäiset oletukset pelisuunnittelusta ja lopputuloksesta muuttuivat. Tämän vuoksi peliprojektia voi paikoitellen luonnehtia jopa kaoottiseksi, ja erityisesti toteutusvaiheessa jouduttiin luomaan nopealla aikataululla uusia toimintamalleja. Työ toimii mallina tuleville peliprojekteille, mutta erityisen tärkeää olisi luoda yhtenäinen kehitysalusta vastaavanlaisia projekteja varten.

Partial budget analysis of prepartum antimicrobial therapy and Escherichia coli J5 vaccination of dairy heifers and their effect on milk production and milk quality parameters

Abstract: This study aimed to determine whether prepartum antimicrobial and/or Escherichia coli J5 vaccination in dairy heifers influence the milk production, milk quality, and estimate their economic benefit. Thus, 33 dairy heifers were enrolled in four groups using a split-splot design. Groups were: (G1) prepartum antimicrobial infusion and vaccination with an E. coli J5 bacterin, (G2) prepartum antimicrobial infusion, (G3) vaccination with an E. coli J5 bacterin, and (G4) control heifers. Composite milk samples for somatic cell count, total bacteria count and milk composition were collected 15 days after calving and every 15 days until the end of the experiment. Bacteriological analysis was carried out at the end of study. The milk production and the incidence of clinical cases of mastitis, as well as the costs associated with them were recorded. The results demonstrate a reduction on clinical mastitis rates by preventive strategies, which implicated in lower volume of discarded milk (0.99, 1.01, 1.04 and 3.98% for G1, G2, G3 and G4, respectively) and higher economic benefit. Thus, in well-managed dairy herds the prevention of heifer mastitis by vaccination or antimicrobial therapy can reduce the amount of antimicrobials needed to treat clinical mastitis cases and the days of discarded milk.

A temperature predicting model for manufacturing processes requiring coiling

A model for predicting temperature evolution for automatic controling systems in manufacturing processes requiring the coiling of bars in the transfer table is presented. Although the method is of a general nature, the presentation in this work refers to the manufacturing of steel plates in hot rolling mills. The predicting strategy is based on a mathematical model of the evolution of temperature in a coiling and uncoiling bar and is presented in the form of a parabolic partial differential equation for a shape changing domain. The mathematical model is solved numerically by a space discretization via geometrically adaptive finite elements which accomodate the change in shape of the domain, using a computationally novel treatment of the resulting thermal contact problem due to coiling. Time is discretized according to a Crank-Nicolson scheme. Since the actual physical process takes less time than the time required by the process controlling computer to solve the full mathematical model, a special predictive device was developed, in the form of a set of least squares polynomials, based on the off-line numerical solution of the mathematical model.

Lagrangian multipliers for coast-arcs of optimum space trajectories

Some properties of generalized canonical systems - special dynamical systems described by a Hamiltonian function linear in the adjoint variables - are applied in determining the solution of the two-dimensional coast-arc problem in an inverse-square gravity field. A complete closed-form solution for Lagrangian multipliers - adjoint variables - is obtained by means of such properties for elliptic, circular, parabolic and hyperbolic motions. Classic orbital elements are taken as constants of integration of this solution in the case of elliptic, parabolic and hyperbolic motions. For circular motion, a set of nonsingular orbital elements is introduced as constants of integration in order to eliminate the singularity of the solution.

Numerical and experimental investigation of thermal louvers for space applications

Thermal louvers, using movable or rotating shutters over a radiating surface, have gained a wide acceptance as highly efficient devices for controlling the temperature of a spacecraft. This paper presents a detailed analysis of the performance of a rectangular thermal louver with movable blades. The radiative capacity of the louver, determined by its effective emittance, is calculated for different values of the blades opening angle. Experimental results obtained with a prototype of a spacecraft thermal louver show good agreement with the theoretical values.

Covalidation of Integral Transforms and Method of Lines in Nonlinear Convection-Diffusion with Mathematica

The Mathematica system (version 4.0) is employed in the solution of nonlinear difusion and convection-difusion problems, formulated as transient one-dimensional partial diferential equations with potential dependent equation coefficients. The Generalized Integral Transform Technique (GITT) is first implemented for the hybrid numerical-analytical solution of such classes of problems, through the symbolic integral transformation and elimination of the space variable, followed by the utilization of the built-in Mathematica function NDSolve for handling the resulting transformed ODE system. This approach ofers an error-controlled final numerical solution, through the simultaneous control of local errors in this reliable ODE's solver and of the proposed eigenfunction expansion truncation order. For covalidation purposes, the same built-in function NDSolve is employed in the direct solution of these partial diferential equations, as made possible by the algorithms implemented in Mathematica (versions 3.0 and up), based on application of the method of lines. Various numerical experiments are performed and relative merits of each approach are critically pointed out.

Design Space Exploration for MPSoC Architectures

Multiprocessor system-on-chip (MPSoC) designs utilize the available technology and communication architectures to meet the requirements of the upcoming applications. In MPSoC, the communication platform is both the key enabler, as well as the key differentiator for realizing efficient MPSoCs. It provides product differentiation to meet a diverse, multi-dimensional set of design constraints, including performance, power, energy, reconfigurability, scalability, cost, reliability and time-to-market. The communication resources of a single interconnection platform cannot be fully utilized by all kind of applications, such as the availability of higher communication bandwidth for computation but not data intensive applications is often unfeasible in the practical implementation. This thesis aims to perform the architecture-level design space exploration towards efficient and scalable resource utilization for MPSoC communication architecture. In order to meet the performance requirements within the design constraints, careful selection of MPSoC communication platform, resource aware partitioning and mapping of the application play important role. To enhance the utilization of communication resources, variety of techniques such as resource sharing, multicast to avoid re-transmission of identical data, and adaptive routing can be used. For implementation, these techniques should be customized according to the platform architecture. To address the resource utilization of MPSoC communication platforms, variety of architectures with different design parameters and performance levels, namely Segmented bus (SegBus), Network-on-Chip (NoC) and Three-Dimensional NoC (3D-NoC), are selected. Average packet latency and power consumption are the evaluation parameters for the proposed techniques. In conventional computing architectures, fault on a component makes the connected fault-free components inoperative. Resource sharing approach can utilize the fault-free components to retain the system performance by reducing the impact of faults. Design space exploration also guides to narrow down the selection of MPSoC architecture, which can meet the performance requirements with design constraints.