From Regional Landslide Detection to Site-Specific Slope Deformation Monitoring and Modelling Based on Active Remote Sensors

Landslide processes can have direct and indirect consequences affecting human lives and activities. In order to improve landslide risk management procedures, this PhD thesis aims to investigate capabilities of active LiDAR and RaDAR sensors for landslides detection and characterization at regional scales, spatial risk assessment over large areas and slope instabilities monitoring and modelling at site-specific scales. At regional scales, we first demonstrated recent boat-based mobile LiDAR capabilities to model topography of the Normand coastal cliffs. By comparing annual acquisitions, we validated as well our approach to detect surface changes and thus map rock collapses, landslides and toe erosions affecting the shoreline at a county scale. Then, we applied a spaceborne InSAR approach to detect large slope instabilities in Argentina. Based on both phase and amplitude RaDAR signals, we extracted decisive information to detect, characterize and monitor two unknown extremely slow landslides, and to quantify water level variations of an involved close dam reservoir. Finally, advanced investigations on fragmental rockfall risk assessment were conducted along roads of the Val de Bagnes, by improving approaches of the Slope Angle Distribution and the FlowR software. Therefore, both rock-mass-failure susceptibilities and relative frequencies of block propagations were assessed and rockfall hazard and risk maps could be established at the valley scale. At slope-specific scales, in the Swiss Alps, we first integrated ground-based InSAR and terrestrial LiDAR acquisitions to map, monitor and model the Perraire rock slope deformation. By interpreting both methods individually and originally integrated as well, we therefore delimited the rockslide borders, computed volumes and highlighted non-uniform translational displacements along a wedge failure surface. Finally, we studied specific requirements and practical issues experimented on early warning systems of some of the most studied landslides worldwide. As a result, we highlighted valuable key recommendations to design new reliable systems; in addition, we also underlined conceptual issues that must be solved to improve current procedures. To sum up, the diversity of experimented situations brought an extensive experience that revealed the potential and limitations of both methods and highlighted as well the necessity of their complementary and integrated uses.

Large slope deformations detection and monitoring along shores of the Potrerillos dam reservoir, Argentina, based on a small-baseline InSAR approach

The Argentina National Road 7 that crosses the Andes Cordillera within the Mendoza province to connect Santiago de Chile and Buenos Aires is particularly affected by natural hazards requiring risk management. Integrated in a research plan that intends to produce landslide susceptibility maps, we aimed in this study to detect large slope movements by applying a satellite radar interferometric analysis using Envisat data, acquired between 2005 and 2010. We were finally able to identify two large slope deformations in sandstone and clay deposits along gentle shores of the Potrerillos dam reservoir, with cumulated displacements higher than 25mm in 5years and towards the reservoir. There is also a body of evidences that these large slope deformations are actually influenced by the seasonal reservoir level variations. This study shows that very detailed information, such as surface displacements and above all water level variation, can be extracted from spaceborne remote sensing techniques; nevertheless, the limitations of InSAR for the present dataset are discussed here. Such analysis can then lead to further field investigations to understand more precisely the destabilising processes acting on these slope deformations.

Parental body condition does not correlate with offspring sex-ratio in Cory's shearwater

We analyzed offspring sex ratio variation in Mediterranean Cory's Shearwater (Calonectris d. diomedea) during two consecutive breeding seasons in two colonies. We test for differential breeding conditions between years and colonies looking at several breeding parameters and parental condition. We then explored the relationship between offspring sex ratio and parental condition and breeding parameters. This species is sexually dimorphic with males larger and heavier than females; consequently we expected differential parental cost in rearing sexes, or a greater sensitivity of male chicks to adverse conditions, which may lead to biased sex ratios. Chicks were sexed molecularly by the amplification of the CHD genes. Offspring sex ratio did not differ from parity, either at hatching or fledging, regardless of the colony or year. However, parental body condition and breeding parameters such as egg size and breeding success were different between years and colonies. Nevertheless, neither nestling mortality nor body condition at fledging varied between years or colonies, suggesting that male and female chicks were probably not differentially affected by variability in breeding conditions.

Delivery Reliability: Timely and Quantitative Accuracy in a Forest Industry Company

The primary objective of this thesis was to research delivery reliability of mill business unit of a forest industry company, especially timely and quantitative accuracy of sales orders. Delivery reliability is an important factor of customer satisfaction, which has a great influence for success of a company. The secondary objective was to find out reasons for possible problems of delivery reliability and give propositions for improvable performances. The empirical part of the thesis based on reporting database of the forest industry company’s ERP-software and detailed information of the mill system. The delivery reliability results of the mill business unit were compared to delivery reliability of similar mill business unit inside the forest industry company. The research results expressed problems in the supply chain. The delivery reliability reporting should be also developed further. This would advance delivery reliability monitoring. The improvement propositions of the thesis were logistic operation mode estimation, particular benchmarking of the compared mill business unit and more detailed survey on production delivery reliability.

The Detector Control Systems for the CMS Resistive Plate Chamber at LHC

The RPC Detector Control System (RCS) is the main subject of this PhD work. The project, involving the Lappeenranta University of Technology, the Warsaw University and INFN of Naples, is aimed to integrate the different subsystems for the RPC detector and its trigger chain in order to develop a common framework to control and monitoring the different parts. In this project, I have been strongly involved during the last three years on the hardware and software development, construction and commissioning as main responsible and coordinator. The CMS Resistive Plate Chambers (RPC) system consists of 912 double-gap chambers at its start-up in middle of 2008. A continuous control and monitoring of the detector, the trigger and all the ancillary sub-systems (high voltages, low voltages, environmental, gas, and cooling), is required to achieve the operational stability and reliability of a so large and complex detector and trigger system. Role of the RPC Detector Control System is to monitor the detector conditions and performance, control and monitor all subsystems related to RPC and their electronics and store all the information in a dedicated database, called Condition DB. Therefore the RPC DCS system has to assure the safe and correct operation of the sub-detectors during all CMS life time (more than 10 year), detect abnormal and harmful situations and take protective and automatic actions to minimize consequential damages. The analysis of the requirements and project challenges, the architecture design and its development as well as the calibration and commissioning phases represent themain tasks of the work developed for this PhD thesis. Different technologies, middleware and solutions has been studied and adopted in the design and development of the different components and a big challenging consisted in the integration of these different parts each other and in the general CMS control system and data acquisition framework. Therefore, the RCS installation and commissioning phase as well as its performance and the first results, obtained during the last three years CMS cosmic runs, will be

El juego y su estructura interna en relación con el trabajo de la condición física en primaria = Games and their internal structure in relation to the work of physical condition in Primary Education

One of the methodological resources that teachers use in a generalised way in Physical Education classes is the game. Inthis article we define the concept of game and analyse the characteristics of their internal structure. On the other hand welook at the concepts of physical condition and conditional skills and describe the objectives of its work in Primary Education.Finally, we relate these concepts and propose two practical examples of modifying the internal structure of the game so asto produce variations in the implied conditional skills

Selective and non-extractive spectrophotometric determination of cefdinir in formulations based on donor-acceptor complex formation

Cefdinir has broad spectrum of activity and high prescription rates, hence its counterfeiting seems imminent. We have proposed a simple, fast, selective and non-extractive spectrophotometric method for the content assay of cefdinir in formulations. The method is based on complexation of cefdinir and Fe under reducing condition in a buffered medium (pH 11) to form a magenta colored donor-acceptor complex (λ max = 550 nm; apparent molar absorptivity = 3720 L mol-1 cm-1). No other cephalosporins, penicillins and common excipients interfere under the test conditions. The Beer's law is followed in the concentration range 8-160 µg mL-1.

Monitoring of praseodymium(III) ions in aqueous solutions, soil and sediment samples by a PVC membrane sensor based on a furan-triazole derivative

A furan-triazole derivative has been explored as an ionophore for preparation of a highly selective Pr(III) membrane sensor. The proposed sensor exhibits a Nernstian response for Pr(III) activity over a wide concentration range with a detection limit of 5.2×10-8 M. Its response is independent of pH of the solution in the range 3.0-8.8 and offers the advantages of fast response time. To investigate the analytical applicability of the sensor, it was applied successfully as an indicator electrode in potentiometric titration of Pr(III) solution and also in the direct and indirect determination of trace Pr(III) ions in some samples.

Elintarviketehtaan sähköverkon selvitys ja kehittämissuunnitelma

Työssä selvitetään elintarviketehtaan sähköverkon kunto sen suurimpien sähkönsyöttöjen osalta ja lasketaan oikosulkuvirtojen suuruus, kaapeleiden kuormitettavuus ja jännitteenalenemat verkon eri osissa. Laskentatulosten analysoinnin jälkeen esitetään korjaavat toimenpiteet löydettyjen epäkohtien osalta. Lisäksi tarkastellaan tehtaan energiankulutusta ja suunniteltujen energiansäästöehdotuksien vaikutuksia sähköverkon toimintaan. Työssä arvioidaan myös verkon eri osienvikaantumisen vaikutusta tehtaan tuotantoon ja esitetään parannuskeinoja verkon luotettavuuden parantamiseksi. Lopuksi on esitelty suunnitelma sähköverkon laajentamiselle ja käyty läpi tulevien investointien sähköteknistä mitoitusta ja vaikutusta verkon tulevaan tilaan.

Callus cell culture of Pothomorphe umbellata (L.) under stress condition leads to high content of peroxidase enzyme

Pothomorphe umbellata (L.) known on Brazil as Caapeba has a number of popular medicinal use, and it has been studied in relation to its pharmacological activity. Peroxidase specific activity (units/mg protein) was evaluated in callus cell culture samples of the P.umbellata, grown in two different MS medium (media 1 and media 2), submitted to 16 hours photoperiod or kept in darkness. Cell growth rate curve showed that the best growth indices were observed when media 2 submitted to the photoperiod regime was used, followed by the same media kept in darkness (stress condition). The results obtained also showed that the cell culture grown under stress conditions (darkness) lead to high content of peroxidase enzyme (an increase of 700% was observed). Kinetic constant values of 3.3 mmol.L-1 and 2,8 sec-1 were obtained for kM and v max,, respectively, using guaiacol as enzyme substrate.

Pulsatile Blood Flow Simulations in Computed Tomography(CT) Scan-Based and Idealized Geometries of Human Aorta

Blood flow in human aorta is an unsteady and complex phenomenon. The complex patterns are related to the geometrical features like curvature, bends, and branching and pulsatile nature of flow from left ventricle of heart. The aim of this work was to understand the effect of aorta geometry on the flow dynamics. To achieve this, 3D realistic and idealized models of descending aorta were reconstructed from Computed Tomography (CT) images of a female patient. The geometries were reconstructed using medical image processing code. The blood flow in aorta was assumed to be laminar and incompressible and the blood was assumed to be Newtonian fluid. A time dependent pulsatile and parabolic boundary condition was deployed at inlet. Steady and unsteady blood flow simulations were performed in real and idealized geometries of descending aorta using a Finite Volume Method (FVM) code. Analysis of Wall Shear Stress (WSS) distribution, pressure distribution, and axial velocity profiles were carried out in both geometries at steady and unsteady state conditions. The results obtained in thesis work reveal that the idealization of geometry underestimates the values of WSS especially near the region with sudden change of diameter. However, the resultant pressure and velocity in idealized geometry are close to those in real geometry

Highly sensitive spectrophotometric methods for the determination of olanzapine

Highly sensitive and selective spectrophotometric methods (A and B) were developed for the determination of micro amounts of olanzapine (OLZ). Method A (direct method) is based on the oxidation of olanzapine with a known excess of iodine monochloride (ICl) in an acidic medium. Under the same condition, thymol blue was iodinated by unreacted ICl, and the absorbance of uniodinated thymol blue was measured at 536 nm. The decrease in ICl concentration is a measure of drug concentration. In method B (indirect method), oxidation of OLZ by a known excess of Ce(IV) in sulfuric acid medium followed by the reaction of unreacted Ce(IV) with leuco crystal violet (LCV) to crystal violet (CV), which is measured in an acetate buffer medium ( pH 4.9) at 580 nm. These methods obey the Beer's law in the concentration range of 0.2-1.6 µg mL-1 (method A) and 0.1-1.4 µg mL-1 (method B). The developed procedures have been successfully applied to the determination of OLZ in pure and in dosage forms. The results exhibit no interference from the presence of excipients. The reliability of the methods was established by parallel determination of OLZ against the reference method.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Mittaukset kostean höyryn turbiineille

Diplomityön tavoitteena oli selvittää Loviisan ydinvoimalaitoksen höyryturbiinin suoritus-kyvyn mittaamiseen käytettävissä olevia menetelmiä ja mittausjärjestelmiä. Tavoitteena oli selvittää mitkä tekijät aiheuttavat mittauksiin mittausvirheitä ja tutkia turbiineiden nykyisten mittalaitteiden epävarmuudet. Tässä diplomityössä selvitettiin millaisia standardinmukaisia testejä sekä muita varteenotettavia testejä turbiinin suorituskyvyn määrittämiseen on käytetty ja millaisia mittauksia ne vaativat. Lisäksi tutkittiin eri lähteistä millaisia mittalaitteita ja mittausjärjestelmiä voidaan käyttää turbiinin toiminnan mittauksiin. Soveltuvista mittausmenetelmistä esitettiin toimintaperiaatteet ja teoria. Kunnonvalvontaa varten esiteltiin värähtelyiden ja vääntö-momentin mittaamisen periaatteet. Epävarmuuksia arvioitiin mittalaitteiden teoreettisen epävarmuuden ja laitesijoittelun pohjalta. Työssä havaittiin, että suorituskyvyn arvioimiseksi on olemassa useita standardeja, mutta niiden mukaisiin mittauksiin tarvittaisiin nykyistä enemmän mittaustuloksia. Tarkkoja sekä luotettavia mittaustuloksia on haasteellista saada kaksifaasivirtauksesta. Mittalaitevalinnoilla ja mittalaitteiden määrää lisäämällä voidaan mittausten epävarmuutta pienentää. Loviisan ydinvoimalaitokselle ehdotettiin muutamia mittausjärjestelmiä turbiinin suoritus-kyvyn määrittämiseksi. Erityisesti turbiinin sisäiset olosuhteet tulisi määrittää nykyistä tarkemmin. Vääntömomentin mittaaminen olisi hyvä kunnonvalvonnan työkalu.

Huolto– ja kunnossapitoliiketoiminnan tuotteistaminen

Tässä diplomityössä pyritään selvittämään, mitä kaikkea huolto– ja unnossapitosopimuksiin perustuvan liiketoiminnan tuotteistamiselta vaaditaan. Kyseisiä palveluita halutaan markkinoida uusien kerrosleiju–teknologiaan (BFB) perustuvien voimakattilatoimitusten yhteydessä. Diplomityön kirjallisessa osiossa asiaa tutkitaan ensin palveluliiketoimintaan ja tuotteistamiseen liittyvien seikkojen näkökulmasta sekä esitellään kunnossapidon teoriaa ja eri strategiakonsepteja sekä tunnuslukuja. Tutkimuksen empiirisessä osassa luodaan toimintamalli huolto– ja kunnossapitosopimuksia varten. Toimintamallissa pyritään löytämään laitekohtaisesti optimaalinen kunnossapitostrategia soveltaen RCM–menetelmään eli luotettavuuskeskistä kunnossapitotapaa. Käytettäviä kunnossapitostrategioita ovat parantava, ennakoiva, kuntoon perustuva ja korjaava kunnossapito. Optimoinnin päämäärä on saavuttaa mahdollisimman korkea tuotantovarmuus kustannustehokkaasti. Lisäksi työssä arvioidaan eri kunnossapitoresurssien tarve ensimmäisen kymmenen käyttövuoden ajalle. Toinen tutkimustavoite on saattaa elinkaarenseurantatyökalun kehittämisprojekti alkuun. Elinkaarenseurantatyökalulla halutaan seurata eri laitteiden elinkaaren vaihetta sekä löytää paras mahdollinen ajotapojen ja elinkaaren suhde. Työssä saavutettiin kunnossapito–ohjelma ja arvio eri resurssien tarpeesta voimakattilan laitteille. Resurssitarvearvio sisältää arvion työvoiman tarpeesta henkilötyötunteina sekä vaihdettavien vara– ja kulutusosien määrän.