Environmental adaptation of the source of the subbasin of Rico Stream, Monte Alto - SP, Brazil

The aim of this study was to define the photographic patterns that represent the use and occupation of the landcover of the "spring" of the Rico Stream subbasin, located at Monte Alto, state of São Paulo (SP), Brazil, for environmental adaptation regarding the Brazilian Forest Law. The mapping was performed using remote sensing techniques and visual interpretation of the World View image, followed by the digitalization of the net of drainage and vegetation (natural and agricultural) at the AutoCad software with documents and field work. The study area has 2141.53 ha and the results demonstrated that the main crop is sugarcane with 546.34 ha, followed by 251.22 ha of pastures, 191.71 ha of perennial crops, 57.31 ha of Eucalyptus and 49.52 ha of onion, confirming the advance of sugarcane culture in the region. The region has 375.04 ha of areas of permanent preservation (APPs), and of this area it was found that only 72.17 ha (19.24%) has arboreal vegetation or natural forest, and 302.87 ha of these areas need to be enriched and reforested with native vegetation from the region, according to the current legislation. The data of the area enable future proposals of models for environmental adaptation to the microbasin according to the current environmental legislation.

Ion selective electrodes for determination of low and ultra low concentrations of lead (II) in natural waters

Att övervaka förekomsten av giftiga komponenter i naturliga vattendrag är nödvändigt för människans välmående. Eftersom halten av föroreningar i naturens ekosystem bör hållas möjligast låg, pågår en ständig jakt efter kemiska analysmetoder med allt lägre detektionsgränser. I dagens läge görs miljöanalyser med dyr och sofistikerad instrumentering som kräver mycket underhåll. Jonselektiva elektroder har flera goda egenskaper som t.ex. bärbarhet, låg energiförbrukning, och dessutom är de relativt kostnadseffektiva. Att använda jonselektiva elektroder vid miljöanalyser är möjligt om deras känslighetsområde kan utvidgas genom att sänka deras detektionsgränser. För att sänka detektionsgränsen för Pb(II)-selektiva elektroder undersöktes olika typer av jonselektiva membran som baserades på polyakrylat-kopolymerer, PVC och PbS/Ag2S. Fast-fas elektroder med membran av PbS/Ag2S är i allmänhet enklare och mer robusta än konventionella elektroder vid spårämnesanalys av joniska föroreningar. Fast-fas elektrodernas detektionsgräns sänktes i detta arbete med en nyutvecklad galvanostatisk polariseringsmetod och de kunde sedan framgångsrikt användas för kvantitativa bestämningar av bly(II)-halter i miljöprov som hade samlats in i den finska skärgården nära tidigare industriområden. Analysresultaten som erhölls med jonselektiva elektroder bekräftades med andra analytiska metoder. Att sänka detektionsgränsen m.hj.a. den nyutvecklade polariseringsmetoden möjliggör bestämning av låga och ultra-låga blyhalter som inte kunde nås med klassisk potentiometri. Den verkliga fördelen med att använda dessa blyselektiva elektroder är möjligheten att utföra mätningar i obehandlade miljöprov trots närvaron av fasta partiklar vilket inte är möjligt att göra med andra analysmetoder. Jag väntar mig att den nyutvecklade polariseringsmetoden kommer att sätta en trend i spårämnesanalys med jonselektiva elektroder.

Keskusteluja vuokratyöstä. Vuokratyön diskursiivinen rakentuminen Suomessa

1990-luvun alussa lainsäädäntö ja työmarkkinajärjestöt määrittelivät Suomessa, että vuokratyötä tuli käyttää vain tilapäiseen työvoimatarpeeseen, esimerkiksi sijaisuuksiin ja ruuhkahuippuihin. Joillakin aloilla vuokratyö oli työnantajien ja työntekijöiden yhteissopimuksella kielletty. Vaikka vuokratyösuhteet saivat jo 1980-luvulla niin Suomessa kuin kansainvälisestikin maineen työsuhdekeinotteluna, alkoi vuokratyön määrä Suomessa kasvaa 1990-luvun puolivälissä ja erityisesti tultaessa 2000-luvulle. Suomalaiset akateemiset tutkijat eivät ole juuri vuokratyöstä kiinnostuneet. Aiemmat, harvalukuiset tutkimukset ovat keskittyneet lähinnä työyhteisöjen ja työntekijöiden kokemuksiin sekä vuokratyön työehtoihin. Vuokratyö ymmärretäänkin edelleen lähinnä työntekijän subjektiivisena kokemuksena. Vuokratyössä on kuitenkin kysymys paitsi kokemuksista, myös yhteiskunnallisesta valtakamppailusta, jossa diskursiivisin keinoin pyritään vaikuttamaan ilmiöön nimeltä vuokratyö, laajemmin ilmiöön nimeltä työmarkkinat, sekä toisaalta kansalaisten käsityksiin työelämän ”normaalista”. Käsillä oleva tutkimus laajentaa ymmärrystä vuokratyöstä tarkastelemalla ilmiötä lainsäädännön, uutisoinnin ja markkinoinnin rakentamien julkisten käsitysten ja merkityksenantojen kautta. Teoreettisena viitekehyksenä käytän hallinnan ja työprosessin säätelyn teoriaperinteitä. Se, miten työmarkkinoiden muutosta ja uusia työsuhdemuotoja politiikassa, mediassa, lainsäädännössä, tai työpaikan kahvipöytäkeskusteluissa perustellaan ja tehdään ymmärrettäväksi, on samalla työelämään kiinnitettävien arvojen, merkitysten ja toimijuuksien luomista, rajaamista ja kuvailua. Työelämäpuheessa ei siis ole kyse vain talouden lainalaisuuksista, kansantalouden toimivuudesta, tai yritysten kilpailukyvystä, vaan myös ja erityisesti niiden toimijoiden luomisesta, määrittelemisestä ja legitimoimisesta, jotka työelämän kentällä saavat toimia ja tulevat palkituiksi. Säätelyn ja hallinnan näkökulmasta on relevanttia tarkastella millaisilla käsitteillä ja merkityksillä vuokratyötä ilmiönä rakennetaan . Tutkimuskysymyksinä esitän: 1) Miten ja millä perusteilla vuokratyöstä rakennettiin Suomessa legitiimi tapa työllistää ja työllistyä? 2) Millaisia työntekijäideaaleja vuokratyöhön liittyvissä keskusteluissa rakennetaan? Tutkimusaineistona tarkastelen lainsäädäntöön liittyviä dokumentteja, Helsingin Sanomien uutisointia, vuokratyöyritysten markkinointimateriaaleja, sekä vuokratyöyritysten edustajien haastatteluita. Analyysimenetelmänä käytän kriittistä diskurssianalyysia. Tämä menetelmä mahdollistaa puheen ja dokumenttien tarkastelun sosiaalisena toimintana, jolla eri toimijat pyrkivät osallistumaan yhteiskunnassa hyväksyttyjen ja tunnustettujen käsitysten ja toimintavaihtoehtojen rakentamis-, tulkinta- ja määrittelyprosesseihin. Tutkimukseni päätuloksena esitän, että vuokratyöstä muodostui legitiimi tapa työllistää Suomessa 1990-luvulla, koska vuokratyö käsitteellistettiin sekä lainsäädännön että median diskursseissa ennen kaikkea ratkaisuksi työttömyyteen. Toisaalta vuokratyö käsitteellistettiin vain marginaalisten työntekijäryhmien (naiset ja opiskelijat) rooliksi, jolloin se ei liittynyt miesvaltaisten työpaikkojen arkeen. Ratkaisuna työttömyyteen vuokratyö myös samalla luonnollistettiin osaksi yleisempää työmarkkinakehitystä, jolle ”kukaan ei voi mitään”. 2000-luvulla vuokratyö jatkoi voittokulkuaan ja rakentui pysyväksi ilmiöksi, koska työlainsäädännön uudistus institutionalisoi vuokratyön työehtosopimusmenettelyyn, jolloin sen ”salonkikelpoisuus” ja normaalius vahvistettiin. Vaikka työehtosopimusasia oli ratkaisuna merkittävä, nousi vuokratyön osalta itse työehtosopimus tärkeämmäksi kuin sen sisältö. Työehtosopimuksilla ei kuitenkaan pystytty vaikuttamaan esimerkiksi vuokratyöntekijän olemattomaan työsuhdeturvaan. Lisäksi työnantajapuhe käsitteellistää vuokratyön 2000-luvulla ennen kaikkea työmarkkinavaihtoehdoksi, vapautta ja monipuolisia työkokemuksia tarjoavaksi työmarkkinoiden katalysaattoriksi. Vuokratyö on tässä merkitysavaruudessa työntekijöille ”vain” yksi tapa työllistyä ja löytää oma tiensä työmarkkinoille, ei suinkaan työnantajien sanelema pakko. Työntekijöihin kohdistuva hallintapuhe niin mediassa kuin työnantajien haastatteluissakin pyrkii puolestaan rakentamaan ideaalityöntekijäkuvaksi yrittäjämäisen oman elämänsä toimitusjohtajan. Työnantajien diskursseissa kaikuvatkin työntekijään kohdistuva vaatimus itse itsensä ohjaamisesta sekä työntekijäidentiteetin muotoilemisesta joustavuutta, sopeutuvuutta, vaihtelua ja jatkuvaa muutosta vähintäänkin sietäväksi, mutta mieluiten näitä ominaisuuksia jopa aktiivisesti hakevaksi ja arvostavaksi. Työmarkkinoiden toimijana on nimenomaisesti yksilö, jonka mahdollisuudet menestyä ovat vain ja ainoastaan hänen omissa käsissään. Työntekijän roolin korostaminen aktiivisena toimijana ja vuokratyöstä ”oikeita”, norminmukaisia sisältöjä löytävänä pärjääjänä on diskursiivisesti hallittua yritystä ohjata työntekijöitä näkemään sekä itsensä tietynlaisina toimijoina että työmarkkinat tietyllä tavalla toimivina. Vuokratyössä ei ole kyse vain työntekijöiden yksilöllisistä tai yksittäisistä kokemuksista. Vuokratyö on yhteiskunnallisen merkityskamppailun tulos, jossa käyttövoimana ovat toimineet hallinnalliset ja säätelyyn pyrkivät käsitteellistykset työllisyydestä, yksilön valinnasta ja koko yhteiskunnan edusta. Hallinnan ja säätelyn näkökulmasta katsottuna vuokratyö on myös merkinnyt säätelyn liukumista tasa-arvoa, yhdenmukaista kohtelua ja työntekijän suojelua korostavasta viranomaisten ja poliittisten toimijoiden suorittamasta työmarkkinoiden kollektiivisesta säätelystä työnantajien ylläpitämään työntekijän persoonan ja käyttäytymisen hegemoniseen, yksilölliseen säätelyyn.

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Scheduling dynamic dataflow graphs with model checking

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.

Allozyme variation in a natural population of Stryphnodendron adstringens in the Rio Preto State Park, southeastern Brazil

Leaves and fruits from 63 Stryphnodendron adstringens trees were sampled in the Rio Preto State Park to analyze allozyme segregation, tissue specific expression of allozyme loci, and their genetic parameters. The enzyme systems ADH, EST, ACP, PGM, PGI, GDH, G6PDH, GOT, IDH, LAP, MDH, PER and SKDH were assessed by means of starch-gel electrophoresis. The polymorphic systems PGI, IDH, MDH and GOT demonstrated a dimeric quaternary structure, while EST and PER were monomeric. The total expected genetic diversity (H E) for leaves and seeds were 0.325 and 0.244 respectively. The effective number of alleles per locus (A E) was 1.58 in leaves and 1.42 in seeds. The values of H E and A E observed in S. adstringens were comparatively higher than the average values seen in allozyme studies of other woody plants. The values of the fixation indices for the population, considering leaves (f = 0.070) and seeds (f = 0.107), were not significant. The high values of genetic diversity and of effective number of alleles per locus, as well as the non-significant fixation index and the adjustments of the Hardy-Weinberg proportions between generations for the pgi-1, mdh-2 and idh-1 loci, indicated random mating in this population. The enzyme systems EST and PER demonstrated their best resolution in leaf tissues, while the MDH, IDH, PGI and GOT systems demonstrated their best resolution in seed tissues.

Graphene from Graphite by Chemical and Physical Techniques.

Graphene is a material with extraordinary properties. Its mechanical and electrical properties are unparalleled but the difficulties in its production are hindering its breakthrough in on applications. Graphene is a two-dimensional material made entirely of carbon atoms and it is only a single atom thick. In this work, properties of graphene and graphene based materials are described, together with their common preparation techniques and related challenges. This Thesis concentrates on the topdown techniques, in which natural graphite is used as a precursor for the graphene production. Graphite consists of graphene sheets, which are stacked together tightly. In the top-down techniques various physical or chemical routes are used to overcome the forces keeping the graphene sheets together, and many of them are described in the Thesis. The most common chemical method is the oxidisation of graphite with strong oxidants, which creates a water-soluble graphene oxide. The properties of graphene oxide differ significantly from pristine graphene and, therefore, graphene oxide is often reduced to form materials collectively known as reduced graphene oxide. In the experimental part, the main focus is on the chemical and electrochemical reduction of graphene oxide. A novel chemical route using vanadium is introduced and compared to other common chemical graphene oxide reduction methods. A strong emphasis is placed on electrochemical reduction of graphene oxide in various solvents. Raman and infrared spectroscopy are both used in in situ spectroelectrochemistry to closely monitor the spectral changes during the reduction process. These in situ techniques allow the precise control over the reduction process and even small changes in the material can be detected. Graphene and few layer graphene were also prepared using a physical force to separate these materials from graphite. Special adsorbate molecules in aqueous solutions, together with sonic treatment, produce stable dispersions of graphene and few layer graphene sheets in water. This mechanical exfoliation method damages the graphene sheets considerable less than the chemical methods, although it suffers from a lower yield.

Vahinkoeläinsodasta psykologiseen omistajuuteen. Petokonfliktien historiallinen tausta ja nykypäivän hallinta

Suurpetojen kannanhoitoon, ja etenkin suden kannanhoitoon liittyvä monitahoinen konfl ikti esiintyy jännitteinä paikallisyhteisöjen ja keskushallinnon, maaseudun ja kaupunkien sekä maallikoiden ja tutkijoiden välillä. Suurpetopolitiikan legitimiteettikriisi näkyy kansallisen kannanhoidon tavoitteiden ja toimenpiteiden kiistämisenä passiivisin ja aktiivisin toimin. Tällä ajankohtaisella ongelmalla on mittavat historialliset juuret. Luonnon ja ihmisen välinen suhde on ollut jatkuvaa tasapainottelua konfl iktien ja niiden hallinnan kanssa, ja suurpedot ovat väistämättä olleet konfl iktin keskiössä lajityypillisten piirteidensä vuoksi. Tämän tutkimuksen tavoitteena on osoittaa ympäristöhistoriallisen tutkimusotteen kautta suomalaisen vahinkoeläinhistorian keskeiset toimet ja toimijat, sekä ymmärtää vahinkoeläinten kannanhoidon tavoite- ja toimenpideasettelun vaikutukset eläinpopulaatioihin historiallisessa ja ekologisessa kontekstissa. Tutkimuksen toinen tavoite on tuottaa synteesi nykypäivän suurpetojen kannanhoidon tavoite- ja toimenpiteiden tarkoituksenmukaisuudesta ja vaikuttavuudesta historiallisessa kontekstissa ja esittää uudenlainen lähestymismalli sosiaalisesti kestävämmälle suurpetopolitiikalle. Vahinkoeläinhistoriaa käsitellään deduktiivisella ja rekonstruktiivisella tutkimusotteella käyttäen aineistona lakitekstejä, maksettuja tapporahoja, sanomalehtikirjoituksia, sidosryhmien kirjoituksia sekä eläintieteellisiä julkaisuja. Etenkin laeissa ja asetuksissa eri eläimistä asetetut tapporahat ja toisaalta saalistilastojen perusteella maksetut palkkiot on nostettu tässä tutkimuksessa merkittävään rooliin asenteiden tulkinnan välineenä. Tarkastelu ulotetaan nisäkkäiden lisäksi myös lintuihin, jotka ovat edellä mainitun aineiston valossa olleet merkittävä vainottu eläinryhmä. Nykypäivän petokonfl iktin tarkastelussa keskiöön nostetaan suurpetoasenteet, niiden muodostuminen ja vaikutus suurpetopolitiikan tavoitteiden ja toimenpiteiden kiistämisessä. Suurpetopolitiikan legitimiteettikriisiä tarkastellaan paikallisten uhmakkuutena hallintoa kohtaan ja tulkinta keinoista puuttua sosiopoliittiseen rikokseen rakennetaan tätä ajatusta vasten. Suurpetojen salakaatajat toimivat yhteisönsä puolesta ja saavat tukensa toimilleen yhteisöltään. Sosiopoliittinen rikos ei siten ole ainoastaan salakaatajien vaan sen sijaan yhteisön yhteinen. Salakaatajat ja paikallisyhteisö pyrkivät häivyttämään yhteiskunnassa viranomaisten ja sidosryhmien taholta toimintaan liittämää stigmaa ja siten oikeuttamaan tekonsa vallitsevissa olosuhteissa. Arvoristiriitoihin perustuvat konfl iktit ovat haasteellisia hallita ja lähtökohtana on oltava ymmärrys siitä, että etenkin suteen liittyvät jännitteet ja ristiriidat ihmisten välisissä suhteissa ovat väistämättömiä. Tunnistamalla historiallisen aineiston merkittävyys nykypäivän ongelmakeskeisen kannanhoidon ratkaisun tietopohjana on mahdollista rakentaa sosiaalisesti kestävämpää suurpetojen kannanhoitoa. Tässä väitöskirjatyössä painotetaan suurpetoihin liittyen ajatusta, jonka mukaan paikallisilta suurpetoalueilla eläviltä ihmisiltä tai sidosryhmien edustajilta ei edellytetä arvomaailman muuttumista, vaan hyväksytään heidän käsityksensä suurpetojen roolista vahingontekijöinä. Sen sijaan vahvistetaan suurpetojen välineellistä roolia paikallisyhteisöjen resurssina ja oleellisten sidosryhmien roolia yhteisön toimijoina psykologisen omistajuuden rakentamisen kautta. Suurpetojen kestävä kannanhoito vaatii siten riistahallinnon toimintakulttuurin muutosta ja uudenlaista suhdetta yhteiskunnan eri toimijoihin.

Stability of Natural Colorants of Plant Origin

In recent years, there have been studies that show a correlation between the hyperactivity of children and use of artificial food additives, including colorants. This has, in part, led to preference of natural products over products with artificial additives. Consumers have also become more aware of health issues. Natural food colorants have many bioactive functions, mainly vitamin A activity of carotenoids and antioxidativity, and therefore they could be more easily accepted by the consumers. However, natural colorant compounds are usually unstable, which restricts their usage. Microencapsulation could be one way to enhance the stability of natural colorant compounds and thus enable better usage for them as food colorants. Microencapsulation is a term used for processes in which the active material is totally enveloped in a coating or capsule, and thus it is separated and protected from the surrounding environment. In addition to protection by the capsule, microencapsulation can also be used to modify solubility and other properties of the encapsulated material, for example, to incorporate fat-soluble compounds into aqueous matrices. The aim of this thesis work was to study the stability of two natural pigments, lutein (carotenoid) and betanin (betalain), and to determine possible ways to enhance their stability with different microencapsulation techniques. Another aim was the extraction of pigments without the use of organic solvents and the development of previously used extraction methods. Stability of pigments in microencapsulated pigment preparations and model foods containing these were studied by measuring the pigment content after storage in different conditions. Preliminary studies on the bioavailability of microencapsulated pigments and sensory evaluation for consumer acceptance of model foods containing microencapsulated pigments were also carried out. Enzyme-assisted oil extraction was used to extract lutein from marigold (Tagetes erecta) flower without organic solvents, and the yield was comparable to solvent extraction of lutein from the same flowers. The effects of temperature, extraction time, and beet:water ratio on extraction efficiency of betanin from red beet (Beta vulgaris) were studied and the optimal conditions for maximum yield and maximum betanin concentration were determined. In both cases, extraction at 40 °C was better than extraction at 80 °C and the extraction for five minutes was as efficient as 15 or 30 minutes. For maximum betanin yield, the beet:water ratio of 1:2 was better, with possibly repeated extraction, but for maximum betanin concentration, a ratio of 1:1 was better. Lutein was incorporated into oil-in-water (o/w) emulsions with a polar oil fraction from oat (Avena sativa) as an emulsifier and mixtures of guar gum and xanthan gum or locust bean gum and xanthan gum as stabilizers to retard creaming. The stability of lutein in these emulsions was quite good, with 77 to 91 percent of lutein being left after storage in the dark at 20 to 22°C for 10 weeks whereas in spray dried emulsions the retention of lutein was 67 to 75 percent. The retention of lutein in oil was also good at 85 percent. Betanin was incorporated into the inner w1 water phase of a water1-in-oil-inwater2 (w1/o/w2) double emulsion with primary w1/o emulsion droplet size of 0.34 μm and secondary w1/o/w2 emulsion droplet size of 5.5 μm and encapsulation efficiency of betanin of 89 percent. In vitro intestinal lipid digestion was performed on the double emulsion, and during the first two hours, coalescence of the inner water phase droplets was observed, and the sizes of the double emulsion droplets increased quickly because of aggregation. This period also corresponded to gradual release of betanin, with a final release of 35 percent. The double emulsion structure was retained throughout the three-hour experiment. Betanin was also spray dried and incorporated into model juices with different pH and dry matter content. Model juices were stored in the dark at -20, 4, 20–24 or 60 °C (accelerated test) for several months. Betanin degraded quite rapidly in all of the samples and higher temperature and a lower pH accelerated degradation. Stability of betanin was much better in the spray dried powder, with practically no degradation during six months of storage in the dark at 20 to 24 °C and good stability also for six months in the dark at 60 °C with 60 percent retention. Consumer acceptance of model juices colored with spray dried betanin was compared with similar model juices colored with anthocyanins or beet extract. Consumers preferred beet extract and anthocyanin colored model juices over juices colored with spray dried betanin. However, spray dried betanin did not impart any off-odors or off-flavors into the model juices contrary to the beet extract. In conclusion, this thesis describes novel solvent-free extraction and encapsulation processes for lutein and betanin from plant sources. Lutein showed good stability in oil and in o/w emulsions, but slightly inferior in spray dried emulsions. In vitro intestinal lipid digestion showed a good stability of w1/o/w2 double emulsion and quite high retention of betanin during digestion. Consumer acceptance of model juices colored with spray dried betanin was not as good as model juices colored with anthocyanins, but addition of betanin to real berry juice could produce better results with mixture of added betanin and natural berry anthocyanins could produce a more acceptable color. Overall, further studies are needed to obtain natural colorants with good stability for the use in food products.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Language-specific aspects of reading acquisition: the case of Russian

We have investigated Russian children’s reading acquisition during an intermediate period in their development: after literacy onset, but before they have acquired well-developed decoding skills. The results of our study suggest that Russian first graders rely primarily on phonemes and syllables as reading grain-size units. Phonemic awareness seems to have reached the metalinguistic level more rapidly than syllabic awareness after the onset of reading instruction, the reversal which is typical for the initial stages of formal reading instruction creating external demand for phonemic awareness. Another reason might be the inherent instability of syllabic boundaries in Russian. We have shown that body-coda is a more natural representation of subsyllabic structure in Russian than onset-rime. We also found that Russian children displayed variability of syllable onset and offset decisions which can be attributed to the lack of congruence between syllabic and morphemic word division in Russian. We suggest that fuzziness of syllable boundary decisions is a sign of the transitional nature of this stage in the reading development and it indicates progress towards an awareness of morphologically determined closed syllables. Our study also showed that orthographic complexity exerts an influence on reading in Russian from the very start of reading acquisition. Besides, we found that Russian first graders experience fluency difficulties in reading orthographically simple words and nonwords of two and more syllables. The transition from monosyllabic to bisyllabic lexical items constitutes a certain threshold, for which the syllabic structure seemed to be of no difference. When we compared the outcomes of the Russian children with the ones produced by speakers of other languages, we discovered that in the tasks which could be performed with the help of alphabetic recoding Russian children’s accuracy was comparable to that of children learning to read in relatively shallow orthographies. In tasks where this approach works only partially, Russian children demonstrated accuracy results similar to those in deeper orthographies. This pattern of moderate results in accuracy and excellent performance in terms of reaction times is an indication that children apply phonological recoding as their dominant strategy to various reading tasks and are only beginning to develop suitable multiple strategies in dealing with orthographically complex material. The development of these strategies is not completed during Grade 1 and the shift towards diversification of strategies apparently continues in Grade 2.

Alterations in the lipid and soluble sugar content of melanoxylon brauna seeds during natural and accelerated ageing

The decay of seeds is irreversible and at best can only be delayed by applying techniques that reduce the velocity of the metabolic reactions involved. There is little information on the biochemistry of tropical forest tree seeds related to their storability. It was investigated the influence of the composition of lipids and soluble sugars of two storage compartments, the cotyledons and the embryonic axis, of Melanoxylon brauna Schot. (Leguminosae- Caesalpinioideae), a hardwood known as black brauna, seeds stored at 20 ºC for 0, 3, 6, 9 and 12 months (natural ageing) and for 0, 24, 48, 72 and 96 hours at 40 ºC (accelerated ageing). The levels of fatty acids and monosaccharides varied differentially in each of the embryo storage compartments. Changes in oligosaccharide levels were similar for both types of ageing, diminishing in both compartments. Ageing can be attributed to the significant decrease of oligosaccharides and the increase of glucose in both types of ageing and both embryo compartments.

Études sur le goître et le crétinisme / par Max. Parchappe,... ; documents mis en ordre et annotés par M. le Dr L. Lunier

Mécénat texte imprimé : Cet ouvrage a été numérisé grâce au fonds "Docteur Jean-Paul Sichel", dédié à l'histoire de la psychiatrie