General terms and rigidity: another solution to the trivialization problem

In this paper I am concerned with the problem of applying the notion of rigidity to general terms. In Naming and Necessity, Kripke has clearly suggested that we should include some general terms among the rigid ones, namely, those common nouns semantically correlated with natural substances, species and phenomena, in general, natural kinds -'water', 'tiger', 'heat'- and some adjectives -'red', 'hot', 'loud'. However, the notion of rigidity has been defined for singular terms; after all, the notion that Kripke has provided us with is the notion of a rigid designator. But general terms do not designate single individuals: rather, they apply to many of them. In sum, the original concept of rigidity cannot be straightforwardly applied to general terms: it has to be somehow redefined in order to make it cover them. As is known, two main positions have been put forward to accomplish that task: the identity of designation conception, according to which a rigid general term is one that designates the same property or kind in all possible worlds, and the essentialist conception, which conceives of a rigid general term as an essentialist one, namely, a term that expresses an essential property of an object. My purpose in the present paper is to defend a particular version of the identity of designation conception: on the proposed approach, a rigid general term will be one that expresses the same property in all possible worlds and names the property it expresses. In my opinion, the position can be established on the basis of an inference to the best explanation of our intuitive interpretation and evaluation, relative to counterfactual circumstances, of statements containing different kinds of general terms, which is strictly analogous to our intuitive interpretation and evaluation, relative to such circumstances, of statements containing different kinds of singular ones. I will argue that it is possible to offer a new solution to the trivialization problem that is thought to threaten all versions of the identity of designation conception of rigidity. Finally, I will also sketch a solution to the so-called 'over-generalization and under-generalization problems', both closely related to the above-mentioned one.

Loviisan ydinvoimalaitoksen todennäköisyyspohjaisen riskianalyysin tason 2 epävarmuustarkastelut

Diplomityössä tarkastellaan Loviisan ydinvoimalaitoksen todennäköisyyspohjaisen riskianalyysin tason 2 epävarmuuksia. Tason 2 riskitutkimuksissa tutkitaan ydinvoimalaitosonnettomuuksia, joiden seurauksena osa reaktorin radioaktiivisista aineista vapautuu ympäristöön. Näiden tutkimuksien päätulos on suuren päästön vuotuinen taajuus ja se on pääosin todelliseen laitoshistoriaan perustuva tilastollinen odotusarvo. Tämän odotusarvon uskottavuutta voidaan parantaa huomioimalla merkittävimmät laskentaan liittyvät epävarmuudet. Epävarmuuksia laskentaan aiheutuu muiden muassa vakavan reaktorionnettomuuden ilmiöistä, turvallisuusjärjestelmien laitteista, inhimillisistä toiminnoista sekä luotettavuusmallin määrittelemättömistä osista. Diplomityössä kuvataan, kuinka epävarmuustarkastelut integroidaan osaksi Loviisan ydinvoimalaitoksen todennäköisyyspohjaisia riskianalyysejä. Tämä toteutetaan diplomityössä kehitetyillä apuohjelmilla PRALA:lla ja PRATU:lla, joiden avulla voidaan lisätä laitoshistorian perusteella muodostetut epävarmuusparametrit osaksi riskianalyysien luotettavuusdataa. Lisäksi diplomityössä on laskettu laskentaesimerkkinä Loviisan ydinvoimalaitoksen suuren päästön vuotuisen taajuuden vaihtelua kuvaava luottamusväli. Tämä laskentaesimerkki pohjautuu pääosin konservatiivisiin epävarmuusarvioihin, ei todellisiin tilastollisiin epävarmuuksiin. Laskentaesimerkin tulosten perusteella Loviisan suuren päästön taajuudella on laaja vaihteluväli; virhekertoimeksi saatiin 8,4 nykyisillä epävarmuusparametreilla. Suuren päästön taajuuden luottamusväliä voidaan kuitenkin tulevaisuudessa supistaa, kun hyödynnetään todelliseen laitoshistoriaan perustuvia epävarmuusparametreja.

Luistonestojärjestelmän ja elektronisen tasauspyörästön suunnittelu ja implementointi hybridityökoneympäristöön

Ympäristörasituksen vähentäminen, tiukkenevat päästörajat ja ehtyvät öljyvarat ovat ajaneet kulkuvälineteollisuuden hakemaan uusia vaihtoehtoja ajoneuvojen energiatehokkuuden kehittämiseksi. Hybriditeknologia tarjoaa ratkaisuja kustannustehokkuuden ja ympäristöystävällisyyden parantamiseksi. Hybriditeknologian yleistyessä myös työkoneympäristössä saadaan paitsi kehitettyä energiatehokkaampia ja pienemmillä käyttökustannuksilla olevia työkoneita, niin myös tuotua siviiliajoneuvoista tuttuja turvallisuusominaisuuksia työkoneympäristöön. Perinteisten diesel-moottorien korvaaminen nopeavasteisilla ja tarkasti säädettävillä sähkömoottoreilla tarjoaa mahdollisuuksia toteuttaa tarkempia ja monipuolisempia säätöjärjestelmiä kuin perinteisessä ympäristössä. Tässä diplomityössä suunnitellaan luistonestojärjestelmä ja elektroninen tasauspyörästö hybridityökoneympäristöön. Järjestelmä voi käyttökohteesta riippuen pienentää huomattavasti käyttökustannuksia ja mahdollistaa uusien sovellusten tuomista markkinoille, kuten esimerkiksi kääntymisen avustaminen differentiaalisella ohjauksella.

A quantitative view on fuzzy numbers

Since its introduction, fuzzy set theory has become a useful tool in the mathematical modelling of problems in Operations Research and many other fields. The number of applications is growing continuously. In this thesis we investigate a special type of fuzzy set, namely fuzzy numbers. Fuzzy numbers (which will be considered in the thesis as possibility distributions) have been widely used in quantitative analysis in recent decades. In this work two measures of interactivity are defined for fuzzy numbers, the possibilistic correlation and correlation ratio. We focus on both the theoretical and practical applications of these new indices. The approach is based on the level-sets of the fuzzy numbers and on the concept of the joint distribution of marginal possibility distributions. The measures possess similar properties to the corresponding probabilistic correlation and correlation ratio. The connections to real life decision making problems are emphasized focusing on the financial applications. We extend the definitions of possibilistic mean value, variance, covariance and correlation to quasi fuzzy numbers and prove necessary and sufficient conditions for the finiteness of possibilistic mean value and variance. The connection between the concepts of probabilistic and possibilistic correlation is investigated using an exponential distribution. The use of fuzzy numbers in practical applications is demonstrated by the Fuzzy Pay-Off method. This model for real option valuation is based on findings from earlier real option valuation models. We illustrate the use of number of different types of fuzzy numbers and mean value concepts with the method and provide a real life application.

Vikasietoisuuden tutkiminen todennäköisyysperusteisen riskianalyysin avulla

Tässä työssä on tarkasteltu uusien YVL-ohjeiden vikasietoisuusanalyysin vaatimuksia sekä kehitetty menetelmä, jolla vaatimusten toteutumista voidaan tarkastella todennäköisyysperusteisen riskianalyysin (PRA) avulla. Työssä on käsitelty riskianalyysin tärkeimmät osat, sekä sen tuloksena saatavia tärkeysmittoja ja näiden soveltamiskohteita. Tärkeysmittoja on käytetty myös kehitetyn menetelmän alkuarvoina. Ydinvoimalan turvallisuuden takaamiseksi tärkeimpiä turvallisuustoimintoja suorittavien järjestelmien on pystyttävä toteuttamaan tehtävänsä, vaikka mikä tahansa järjestelmän yksittäinen laite olisi toimintakyvytön ja vaikka mikä tahansa turvallisuustoimintoon vaikuttava laite olisi samanaikaisesti poissa käytöstä korjauksen tai huollon vuoksi. Tämä edellyttää, että vikasietoisuuden takaamiseksi tärkeimpien turvallisuustoimintojen varmistamisessa on käytettävä mahdollisuuksien mukaan moninkertaisuus- ja erilaisuusperiaatteisiin perustuvia järjestelmiä, joiden tulee olla toisistaan riippumattomia. Kehitetyn menetelmän ja uuden vikasietoisuuden lisäarvomitan avulla voidaan tunnistaa järjestelmien väliset riippuvuustekijät ja tarkastella vaadittujen turvallisuustekijöiden toteutumista.

Communicative and Anticipatory Decision-Making Supported by Bayesian Networks

The purpose of this research is to draw up a clear construction of an anticipatory communicative decision-making process and a successful implementation of a Bayesian application that can be used as an anticipatory communicative decision-making support system. This study is a decision-oriented and constructive research project, and it includes examples of simulated situations. As a basis for further methodological discussion about different approaches to management research, in this research, a decision-oriented approach is used, which is based on mathematics and logic, and it is intended to develop problem solving methods. The approach is theoretical and characteristic of normative management science research. Also, the approach of this study is constructive. An essential part of the constructive approach is to tie the problem to its solution with theoretical knowledge. Firstly, the basic definitions and behaviours of an anticipatory management and managerial communication are provided. These descriptions include discussions of the research environment and formed management processes. These issues define and explain the background to further research. Secondly, it is processed to managerial communication and anticipatory decision-making based on preparation, problem solution, and solution search, which are also related to risk management analysis. After that, a solution to the decision-making support application is formed, using four different Bayesian methods, as follows: the Bayesian network, the influence diagram, the qualitative probabilistic network, and the time critical dynamic network. The purpose of the discussion is not to discuss different theories but to explain the theories which are being implemented. Finally, an application of Bayesian networks to the research problem is presented. The usefulness of the prepared model in examining a problem and the represented results of research is shown. The theoretical contribution includes definitions and a model of anticipatory decision-making. The main theoretical contribution of this study has been to develop a process for anticipatory decision-making that includes management with communication, problem-solving, and the improvement of knowledge. The practical contribution includes a Bayesian Decision Support Model, which is based on Bayesian influenced diagrams. The main contributions of this research are two developed processes, one for anticipatory decision-making, and the other to produce a model of a Bayesian network for anticipatory decision-making. In summary, this research contributes to decision-making support by being one of the few publicly available academic descriptions of the anticipatory decision support system, by representing a Bayesian model that is grounded on firm theoretical discussion, by publishing algorithms suitable for decision-making support, and by defining the idea of anticipatory decision-making for a parallel version. Finally, according to the results of research, an analysis of anticipatory management for planned decision-making is presented, which is based on observation of environment, analysis of weak signals, and alternatives to creative problem solving and communication.

Computational methods for tactical simulations

Tämä taktiikan tutkimus keskittyy tietokoneavusteisen simuloinnin laskennallisiin menetelmiin, joita voidaan käyttää taktisen tason sotapeleissä. Työn tärkeimmät tuotokset ovat laskennalliset mallit todennäköisyyspohjaisen analyysin mahdollistaviin taktisen tason taistelusimulaattoreihin, joita voidaan käyttää vertailevaan analyysiin joukkue-prikaatitason tarkastelutilanteissa. Laskentamallit keskittyvät vaikuttamiseen. Mallit liittyvät vahingoittavan osuman todennäköisyyteen, jonka perusteella vaikutus joukossa on mallinnettu tilakoneina ja Markovin ketjuina. Edelleen näiden tulokset siirretään tapahtumapuuanalyysiin operaation onnistumisen todennäköisyyden osalta. Pienimmän laskentayksikön mallinnustaso on joukkue- tai ryhmätasolla, jotta laskenta-aika prikaatitason sotapelitarkasteluissa pysyisi riittävän lyhyenä samalla, kun tulokset ovat riittävän tarkkoja suomalaiseen maastoon. Joukkueiden mies- ja asejärjestelmävahvuudet ovat jakaumamuodossa, eivätkä yksittäisiä lukuja. Simuloinnin integroinnissa voidaan käyttää asejärjestelmäkohtaisia predictor corrector –parametreja, mikä mahdollistaa aika-askelta lyhytaikaisempien taistelukentän ilmiöiden mallintamisen. Asemallien pohjana ovat aiemmat tutkimukset ja kenttäkokeet, joista osa kuuluu tähän väitöstutkimukseen. Laskentamallien ohjelmoitavuus ja käytettävyys osana simulointityökalua on osoitettu tekijän johtaman tutkijaryhmän ohjelmoiman ”Sandis”- taistelusimulointiohjelmiston avulla, jota on kehitetty ja käytetty Puolustusvoimien Teknillisessä Tutkimuslaitoksessa. Sandikseen on ohjelmoitu karttakäyttöliittymä ja taistelun kulkua simuloivia laskennallisia malleja. Käyttäjä tai käyttäjäryhmä tekee taktiset päätökset ja syöttää nämä karttakäyttöliittymän avulla simulointiin, jonka tuloksena saadaan kunkin joukkuetason peliyksikön tappioiden jakauma, keskimääräisten tappioiden osalta kunkin asejärjestelmän aiheuttamat tappiot kuhunkin maaliin, ammuskulutus ja radioyhteydet ja niiden tila sekä haavoittuneiden evakuointi-tilanne joukkuetasolta evakuointisairaalaan asti. Tutkimuksen keskeisiä tuloksia (kontribuutio) ovat 1) uusi prikaatitason sotapelitilanteiden laskentamalli, jonka pienin yksikkö on joukkue tai ryhmä; 2) joukon murtumispisteen määritys tappioiden ja haavoittuneiden evakuointiin sitoutuvien taistelijoiden avulla; 3) todennäköisyyspohjaisen riskianalyysin käyttömahdollisuus vertailevassa tutkimuksessa sekä 4) kokeellisesti testatut tulen vaikutusmallit ja 5) toimivat integrointiratkaisut. Työ rajataan maavoimien taistelun joukkuetason todennäköisyysjakaumat luovaan laskentamalliin, kenttälääkinnän malliin ja epäsuoran tulen malliin integrointimenetelmineen sekä niiden antamien tulosten sovellettavuuteen. Ilmasta ja mereltä maahan -asevaikutusta voidaan tarkastella, mutta ei ilma- ja meritaistelua. Menetelmiä soveltavan Sandis -ohjelmiston malleja, käyttötapaa ja ohjelmistotekniikkaa kehitetään edelleen. Merkittäviä jatkotutkimuskohteita mallinnukseen osalta ovat muun muassa kaupunkitaistelu, vaunujen kaksintaistelu ja maaston vaikutus tykistön tuleen sekä materiaalikulutuksen arviointi.

Dry months in the agricultural region of Ribeirão Preto, state of São Paulo-Brazil: an study based on the extreme value theory

The application of the Extreme Value Theory (EVT) to model the probability of occurrence of extreme low Standardized Precipitation Index (SPI) values leads to an increase of the knowledge related to the occurrence of extreme dry months. This sort of analysis can be carried out by means of two approaches: the block maxima (BM; associated with the General Extreme Value distribution) and the peaks-over-threshold (POT; associated with the Generalized Pareto distribution). Each of these procedures has its own advantages and drawbacks. Thus, the main goal of this study is to compare the performance of BM and POT in characterizing the probability of occurrence of extreme dry SPI values obtained from the weather station of Ribeirão Preto-SP (1937-2012). According to the goodness-of-fit tests, both BM and POT can be used to assess the probability of occurrence of the aforementioned extreme dry SPI monthly values. However, the scalar measures of accuracy and the return level plots indicate that POT provides the best fit distribution. The study also indicated that the uncertainties in the parameters estimates of a probabilistic model should be taken into account when the probability associated with a severe/extreme dry event is under analysis.

Tactile-Proprioceptive Robotic Grasping

Robotic grasping has been studied increasingly for a few decades. While progress has been made in this field, robotic hands are still nowhere near the capability of human hands. However, in the past few years, the increase in computational power and the availability of commercial tactile sensors have made it easier to develop techniques that exploit the feedback from the hand itself, the sense of touch. The focus of this thesis lies in the use of this sense. The work described in this thesis focuses on robotic grasping from two different viewpoints: robotic systems and data-driven grasping. The robotic systems viewpoint describes a complete architecture for the act of grasping and, to a lesser extent, more general manipulation. Two central claims that the architecture was designed for are hardware independence and the use of sensors during grasping. These properties enables the use of multiple different robotic platforms within the architecture. Secondly, new data-driven methods are proposed that can be incorporated into the grasping process. The first of these methods is a novel way of learning grasp stability from the tactile and haptic feedback of the hand instead of analytically solving the stability from a set of known contacts between the hand and the object. By learning from the data directly, there is no need to know the properties of the hand, such as kinematics, enabling the method to be utilized with complex hands. The second novel method, probabilistic grasping, combines the fields of tactile exploration and grasp planning. By employing well-known statistical methods and pre-existing knowledge of an object, object properties, such as pose, can be inferred with related uncertainty. This uncertainty is utilized by a grasp planning process which plans for stable grasps under the inferred uncertainty.

Vuosihuollon aikainen jäähdytteen boorihappopitoisuuden laimeneminen Loviisan ydinvoimalaitoksen riskianalyysissä

This master's thesis examines scenarios, which can lead to a reactivity excursion due to boron dilution events in Loviisa nuclear power plant. This thesis also describes how the boron diluted slugs are modelled in the Probabilistic Risk Assessment (PRA) model. At the current model, the valuation of the reactivity risk due to boron dilution has been very conservative, and therefore the reactivity risk during an outage is as much as 9 % of Core Damage Frequency (CDF) and Large Release Frequency (LRF). The main objective of the thesis is to decrease the annual core damage and Large Release Frequency by reducing conservative assumptions in the probabilistic modelling of boron dilution events. The core behavior during boron dilution events was modelled and reported in 2011 by Fortum using three-dimensional core model of Apros. The results of these analyses were reported same year by Fortum. According to the reported results and the analyses made by StarNode visualization program, it seems that some changes could be made in the boron dilution fault trees of the PRA model. As a result, the reactivity risk was decreased to 0.7 % of the annual CDF. In the other words, the total annual CDF and LRF were decreased 8.5 % due to the changes made in the PRA model. However the analyses made by Apros include some uncertainty. The accuracy of the analyses should be validated before making these changes in the official PRA model.

Loviisan ydinvoimalaitoksen kaapelireittien tiedonhallinnan kehittäminen paloriskitutkimusta varten

Tässä diplomityössä kehitetään Loviisan voimalaitoksen todennäköisyyspohjaisen paloriskianalyysin kaapelitietokantaa tulevaisuuden haasteita varten. Tietokannan kehittämistä varten tutustutaan todennäköisyyspohjaiseen riskianalyysiin varsin-kin paloriskianalyysin osalta. Käytännönläheisempää kehittämistä varten tutustu-taan voimalaitoksella nykyisin käytössä oleviin kaapelitietokantoihin: paloriski-tutkimusta varten laadittuun PSA-ELTIEen, kunnossapidon tiedonhallintajärjes-telmä LOMAXiin, sähkö- ja automaatiosuunnitteluyksikköjen arkistoihin sekä automaatiouudistuksen tietokantaan. Tietokannan käytännönläheisempien ominai-suuksien selvittämiseksi voimalaitoksella kokeiltiin kenttätarkastusmenetelmää, joka on ensisijainen kaapelikartoitusmenetelmä. Tietokantoihin tutustumisen perusteella vaihtoehtoisiksi tulevaisuuden tietokan-noiksi mietittiin LOMAXia, PSA-ELTIEtä tai uutta tietokantaa. Tulevaisuuden tietokantavaihtoehdoksi on päädytty ehdottamaan LOMAXia, joka vaatii vähem-män muutoksia muihin vaihtoehtoihin nähden. Tällainen laajalti käytössä oleva yhteinen tietokanta mahdollistaa sen, että tiedot ovat helpommin ja varmemmin kaikkien niitä tarvitsevien käytettävissä ja asiantuntijoiden muokattavissa, millä myös varmistetaan tietojen oikeellisuutta ja pysymistä ajan tasalla. Tulevaan LOMAX päivitykseen on ehdotettu tarpeellisia tietokenttien lisäyksiä ja kaapeli-hierarkian parantamista kaapelitietokannaksi käyttöönottamista varten.

Formal development and quantitative verification of dependable systems

-

Vuosihuollon aikainen käyttöturvallisuus

Tässä työssä on tarkasteltu Suomessa käytössä olevien ydinvoimalaitosten vuosihuoltojen aikaista käyttöturvallisuutta yleisesti sekä arvioitu voimayhtiöiden vuosihuoltojen aikaisten häiriö- ja hätätilanteiden varalta laatimien ohjeiden kattavuutta. Kattavuuden arviointi suoritettiin tarkastelemalla seisokkitiloja käsitteleviä todennäköisyysperusteista riskianalyysia (PRA), lopullista turvallisuusselostetta (FSAR) ja turvallisuusteknisiä käyttöehtoja (TTKE). PRA:n mukaan Olkiluodon 1 ja 2 laitosyksiköiden sydänvauriotaajuudesta noin 25 % liittyy vuosihuollon aikaisiin alkutapahtumiin. Loviisan laitosyksiköillä vastaava osuus on noin 61 %. Merkittävimmät vuosihuoltojen aikaiset alkutapahtumat sydänvaurioriskin kannalta olivat Olkiluodossa tulipalot, jäähdytteen menetykset ja jälkilämmön poiston menetykset sekä Loviisassa raskaan taakan pudotukset, booripitoisuuden laimeneminen ja öljyonnettomuudet. Saatujen tulosten perusteella voitiin todeta, että voimayhtiöiden laatimat häiriö- ja hätätilanneohjeet olivat pääosiltaan asianmukaiset ja ne kattoivat hyvin erilaiset seisokin aikaiset alkutapahtumat. Tarkastelun perusteella tehtiin ohjeistoon muutamia parannusehdotuksia. Seisokkitiloja koskevat TTKE ja FSAR havaittiin asianmukaisiksi molemmilla tarkastelluilla laitoksilla.

A brief review and a new treatment for rigid bodies collision models

In general the motion of a body takes place in a confined environment and collision of the body with the containing wall is possible. In order to predict the dynamics of a body in this condition one must know what happens in a collision. Therefore, the problem is: if one knows the pre-collision dynamics of the body and the properties of the body and the wall one wants to predict the post-collision dynamics. This problem is quite old and it appeared in the literature in 1668. Up to 1984 it seemed that Newton's model was enough to solve the problem. But it was found that this was not the case and a renewed interest in the problem appeared. The aim of this paper is to treat the problem of plan collisions of rigid bodies, to classify the different models found in the literature and to present a new model that is a generalization of most of these models.

Excessive functions, Appell polynomials and optimal stopping

The main topic of the thesis is optimal stopping. This is treated in two research articles. In the first article we introduce a new approach to optimal stopping of general strong Markov processes. The approach is based on the representation of excessive functions as expected suprema. We present a variety of examples, in particular, the Novikov-Shiryaev problem for Lévy processes. In the second article on optimal stopping we focus on differentiability of excessive functions of diffusions and apply these results to study the validity of the principle of smooth fit. As an example we discuss optimal stopping of sticky Brownian motion. The third research article offers a survey like discussion on Appell polynomials. The crucial role of Appell polynomials in optimal stopping of Lévy processes was noticed by Novikov and Shiryaev. They described the optimal rule in a large class of problems via these polynomials. We exploit the probabilistic approach to Appell polynomials and show that many classical results are obtained with ease in this framework. In the fourth article we derive a new relationship between the generalized Bernoulli polynomials and the generalized Euler polynomials.