A Method for Sky-Condition Classification from Ground-Based Solar Radiation Measurements

Identification of clouds from satellite images is now a routine task. Observation of clouds from the ground, however, is still needed to acquire a complete description of cloud conditions. Among the standard meteorologicalvariables, solar radiation is the most affected by cloud cover. In this note, a method for using global and diffuse solar radiation data to classify sky conditions into several classes is suggested. A classical maximum-likelihood method is applied for clustering data. The method is applied to a series of four years of solar radiation data and human cloud observations at a site in Catalonia, Spain. With these data, the accuracy of the solar radiation method as compared with human observations is 45% when nine classes of sky conditions are to be distinguished, and it grows significantly to almost 60% when samples are classified in only five different classes. Most errors are explained by limitations in the database; therefore, further work is under way with a more suitable database

Workplace Social Capital and Employee Health

Työyhteisön sosiaalinen pääoma ja työntekijöiden terveys Monien tutkimusten mukaan sosiaalinen pääoma vaikuttaa terveyteen. Vaikka työssä käyvä väestönosa on merkittävän osan valveillaoloajastaan työyhteisössä, siellä kertyvää sosiaalista pääomaa on toistaiseksi tutkittu vähän. Tässä tutkimuksessa selvitettiin työyhteisön sosiaalisen pääoman ja kuntatyöntekijöiden terveyden välistä yhteyttä pitkittäisasetelmassa hyödyntäen Kuntasektorin henkilöstön seurantatutkimuksen aineistoa vuosilta 2000–2005. Yhteensä 48592 kuntatyöntekijää vastasi kyselyyn vuosina 2000–02 (vastausprosentti 68 %). Heistä 35914 (77 %) osallistui myös seurantatutkimukseen vuosina 2004–05. Tutkimuksessa kehitettiin kyselyyn perustuva työyhteisön sosiaalisen pääoman mittausmenetelmä. Työntekijän omaan arvioon perustuvan sosiaalisen pääoman lisäksi mitattiin työyhteisön sosiaalista pääomaa käyttämällä samassa työyhteisössä työskentelevien muiden työntekijöiden keskimääräistä arviota sosiaalisesta pääomasta. Terveyttä mitattiin kysymyksellä koetusta terveydestä. Masennusta arvioitiin sekä kysymällä lääkärin toteamasta masennuksesta että masennuslääkeostoilla Kelan lääkerekistereistä. Analyyseihin otettiin mukaan vain ne kuntatyöntekijät, jotka olivat lähtötilanteissa terveitä eli kokivat terveytensä hyväksi tai heillä ei ollut aiempaa diagnosoitua tai lääkehoitoa vaatinutta masennusta. Tulosten analysointiin käytettiin monitasomallinnusta. Tulokset vakioitiin sosiodemografisten tekijöiden ja terveyskäyttäytymisen suhteen. Neljän vuoden seurannassa sekä jatkuvasti vähäinen että vähenevä yksilön sosiaalinen pääoma työssä lisäsi riskiä koetun terveyden heikkenemiseen niillä kuntatyöntekijöillä, jotka eivät vaihtaneet työpaikkaa seurannan aikana ja jotka seurannan alussa kokivat terveytensä hyväksi. Tulos ei selittynyt sosiodemografisilla tekijöillä tai terveyskäyttäytymisen eroilla. Tuloksen merkittävyyttä tuki havainto, että myös työtoverien arvioon perustuva sosiaalinen pääoma ennusti oman terveyden huononemista seuranta-aikana. Niillä työntekijöillä, jotka työskentelivät sellaisissa työyhteisöissä, joissa koko seurannan ajan oli vähiten sosiaalista pääomaa, oli lähes 1.3 -kertainen riski terveyden heikentymiseen. Vähäinen omaan arvioon perustuva sosiaalinen pääoma työssä ennusti myös masennuksen ilmaantuvuutta lähtötilanteessa ei-masentuneilla lähes neljän vuoden seurannassa. Matalaan sosiaaliseen pääomaan liittyi 20–50 % suurempi todennäköisyys sairastua masennukseen seurannan aikana niin itseraportoidun lääkärin totea-man masennuksen kuin masennuslääkeostojen perusteella. Tätä tulosta ei kuitenkaan pystytty toistamaan käyttämällä oman arvion sijasta työtoverien arviota työyhteisön sosiaalisesta pääomasta. Tutkimusta sosiaalisen pääoman vaikutusta masennuksen ilmaantumiseen jatkettiin selvittämällä miten sosiaalisen pääoman eri ulottuvuudet vaikuttivat masennuksen ilmaantumiseen. Tulosten mukaan sosiaalisen pääoman vertikaalinen komponentti (työntekijöiden ja esimiesten välinen luottamus, vastavuoroisuus ja jaetut arvot ja normit, jotka edesauttavat yhteistyötä) sekä horisontaalinen komponentti (työntekijöiden välisissä suhteissa yhteistyöstä, luottamuksesta ja vastavuoroisuudesta syntyvä sosiaalinen pääoma) vaikuttivat itsenäisesti masennusriskiin. Tutkimuksen perusteella korkea työyhteisön sosiaalinen pääoma saattaa vaikuttaa edullisesti työntekijöiden terveyteen. Jos näin on, olisi tärkeää edistää työyhteisöjen sosiaalista pääomaa ja kannustaa sellaiseen toimintaan, joka lisää suvaitsevaisuutta, luottamusta ja vastavuoroisuutta sekä työntekijöiden kesken että työntekijöiden ja esimiesten välillä.

Challenges and Means for the Front End Activities of Software Development

The front end of innovation is regarded as one of the most important steps in building new software products or services, and the most significant benefits in software development can be achieved through improvements in the front end activities. Problems in the front end phase have an impact on customer dissatisfaction with delivered software, and on the effectiveness of the entire software development process. When these processes are improved, the likelihood of delivering high quality software and business success increases. This thesis highlights the challenges and problems related to the early phases of software development, and provides new methods and tools for improving performance in the front end activities of software development. The theoretical framework of this study comprises two fields of research. The first section belongs to the field of innovation management, and especially to the management of the early phases of the innovation process, i.e. the front end of innovation. The second section of the framework is closely linked to the processes of software engineering, especially to the early phases of the software development process, i.e. the practice of requirements engineering. Thus, this study extends the theoretical knowledge and discloses the differences and similarities in these two fields of research. In addition, this study opens up a new strand for academic discussion by connecting these research directions. Several qualitative business research methodologies have been utilized in the individual publications to solve the research questions. The theoretical and managerial contribution of the study can be divided into three areas: 1) processes and concepts, 2) challenges and development needs, and 3) means and methods for the front end activities of software development. First, the study discloses the difference and similarities between the concepts of the front end of innovation and requirements engineering, and proposes a new framework for managing the front end of the software innovation process, bringing business and innovation perspectives into software development. Furthermore, the study discloses managerial perceptions of the similarities and differences in the concept of the front end of innovation between the software industry and the traditional industrial sector. Second, the study highlights the challenges and development needs in the front end phase of software development, especially challenges in communication, such as linguistic problems, ineffective communication channels, a communication gap between users/customers and software developers, and participation of multiple persons in software development. Third, the study proposes new group methods for improving the front end activities of software development, especially customer need assessment, and the elicitation of software requirements.

Polarimetric 3D integral imaging in photon-starved conditions

We develop a method for obtaining 3D polarimetric integral images from elemental images recorded in low light illumination conditions. Since photon-counting images are very sparse, calculation of the Stokes parameters and the degree of polarization should be handled carefully. In our approach, polarimetric 3D integral images are generated using the Maximum Likelihood Estimation and subsequently reconstructed by means of a Total Variation Denoising filter. In this way, polarimetric results are comparable to those obtained in conventional illumination conditions. We also show that polarimetric information retrieved from photon starved images can be used in 3D object recognition problems. To the best of our knowledge, this is the first report on 3D polarimetric photon counting integral imaging.

Space–Time Block Codes and the Complexity of Sphere Decoding

In wireless communications the transmitted signals may be affected by noise. The receiver must decode the received message, which can be mathematically modelled as a search for the closest lattice point to a given vector. This problem is known to be NP-hard in general, but for communications applications there exist algorithms that, for a certain range of system parameters, offer polynomial expected complexity. The purpose of the thesis is to study the sphere decoding algorithm introduced in the article On Maximum-Likelihood Detection and the Search for the Closest Lattice Point, which was published by M.O. Damen, H. El Gamal and G. Caire in 2003. We concentrate especially on its computational complexity when used in space–time coding. Computer simulations are used to study how different system parameters affect the computational complexity of the algorithm. The aim is to find ways to improve the algorithm from the complexity point of view. The main contribution of the thesis is the construction of two new modifications to the sphere decoding algorithm, which are shown to perform faster than the original algorithm within a range of system parameters.

Avaliação de risco ambiental de ambientes aquáticos afetados pelo uso de agrotóxicos

Ecological risk assessment is a process evaluating the likelihood that adverse ecological effects may occur or are occurring as a result of exposure to one or more substances. Relevant information needed to predict risks from pesticides includes their physical chemical properties, mobility in soil, persistence in the environment, and bioaccumulation and toxicity in relevant organisms. Although currently a requirement for pesticide registration in Brazil, this process is not yet fully implemented in the country. This review aims to outline the principles of environmental risk assessment for pesticides, focusing on aquatic organisms, and to discuss the studies and efforts conducted in Brazil in this area.

Venäjän tehtaan toimintamallin kehittäminen puusepänteollisuuden yrityksessä

Rakennusteollisuus on ollut kasvava teollisuudenala Venäjällä, joka on kasvattanut kysyntää myös ikkunateollisuudessa. Vuoden 2008 syksyllä alkanut maailmanlaajuinen talouskriisi vaikutti merkittävästi myös Venäjän talouteen, jonka seurauksena rakennusala oli Venäjällä vaikeuksissa. Asuntojen kysyntä Venäjällä on kuitenkin lähtenyt kasvuun uudelleen vuoden 2009 loppupuolella ja markkinatilanne on paranemaan päin. Suomalaiset rakennusalan yritykset toimivat pääasiassa Pietarin ja Moskovan alueella, jonka vuoksi Fenestra Oy on suunnitellut ikkunatehtaan perustamista Pietarin lähistölle. Työssä esitellään Venäjän ikkunamarkkinat sekä Fenestra Oy:n lähtökohdat ja suunnitelmat kokoonpanotehtaan perustamiseksi. Ikkunoiden puiset komponentit on tarkoitus valmistaa Suomessa, josta ne kuljetetaan kasattaviksi Venäjällä sijaitsevaan kokoonpanotehtaaseen. Työn tarkoituksena on kuvata Venäjän tehtaan toimintamalli prosessikuvauksien avulla, selvittää tullauskäytäntö Venäjälle vietäessä sekä määrittää toimintamalliin sisältyvät riskit. Teolliseen toimintaan ja varsinkin Venäjälle suuntautuvaan toimintaan liittyy riskejä, joiden toteutumiseen on mahdollista varautua riskienhallinnan avulla. Riskien tunnistamiseksi on käytetty vaarojentunnistusmenetelmää, HAZOP –poikkeamatarkastelumenetelmää. Menetelmässä nimettiin mahdolliset poikkeamat, niiden syyt ja seuraukset. Poikkeamat luokiteltiin eri luokkiin niiden vakavuuden ja todennäköisyyden perusteella. Lisäksi tarkastelussa annettiin ehdotuksia varautumiseen ja toimenpiteiksi poikkeaman estämiseksi tai riskien pienentämiseksi.

Phylogenetic analysis of Tomato mosaic virus from Hemerocallis sp. and Impatiens hawkeri

The culture and commercialization of ornamental plants have considerably increased in the last years. To supply the commercial demand, several Hemerocallis and Impatiens varieties have been bred for appreciated qualities such as flowers with a diversity of shapes and colors. With the aim of characterizing the tobamovirus isolated from Hemerocallis sp. (tobamo-H) and Impatiens hawkeri (tobamo-I) from the USA and São Paulo, respectively, as well as to establish phylogenetic relationships between them and other Tobamovirus species, the viruses were submitted to RNA extraction, RT-PCR amplification, coat-protein gene sequencing and phylogenetic analyses. Comparison of tobamovirus homologous sequences yielded values superior to 98.5% of identity with Tomato mosaic virus (ToMV) isolates at the nucleotide level. In relation to tobamo-H, 100% of identity with ToMV from tomatoes from Australia and Peru was found. Based on maximum likelihood (ML) analysis it was suggested that tobamo-H and tobamo-I share a common ancestor with ToMV, Tobacco mosaic virus, Odontoglossum ringspot virus and Pepper mild mottle virus. The tree topology reconstructed under ML methodology shows a monophyletic group, supported by 100% of bootstrap, consisting of various ToMV isolates from different hosts, including some ornamentals, from different geographical locations. The results indicate that Hemerocallis sp. and I. hawkeri are infected by ToMV. This is the first report of the occurrence of this virus in ornamental species in Brazil.

Keille yliopiston portit avautuvat? Tutkimus suomalaisiin yliopistoihin ja eri tieteenaloille valikoitumisesta 2000-luvun alussa

Tutkimuksessa tarkastellaan suomalaisiin yliopistoihin valikoitumista 2000-luvun alussa. Tarkastelu pohjautuu yliopistoon hakeneiden, opiskelemaan hyväksyttyjen ja opiskelupaikkaa ilman jääneiden taustojen vertailuun. Tutkimuksen tarkoituksena on selvittää, miten koulutuksellinen tasa-arvo toteutuu opiskelemaan pääsyssä. Erityistä huomiota kiinnitetään sukupuolten, eri-ikäisten, sosiaalisten ryhmien sekä eri alueella asuvien opiskelijavalinnoissa pärjäämiseen. Lisäksi pohditaan, millaiset taustatekijät ovat yhteydessä opiskelemaan pääsyyn ja miten suomalainen yliopistokenttä on lohkoutunut yliopistoittain ja aloittain hakijoiden ja sisään päässeiden taustojen perusteella. Tutkimuksen pääaineistona on henkilöpohjainen rekisteriaineisto, joka on laadittu valtakunnallisen hakijarekisterin (HAREK) ja Tilastokeskuksen yhteistyönä. Aineisto käsittää 40 %:n satunnaisotoksen vuonna 2003 suomalaisiin yliopistoihin hakeneista (N = 55 790). Aineiston muuttujat kuvaavat hakijoiden taustoja, elämäntilannetta, aiempaa koulutusta ja lapsuudenperheen asemaa. Tutkimuksessa hyödynnetään lisäksi kokonaisjoukosta muodostettua taulukkoaineistoa (N = 139 668). Yliopistoihin hakevat eivät ole yhtenäinen ryhmä. Vaikka suurin osa hakijoista oli nuoria, oli joukossa myös varttuneempia hakijoita, jotka olivat ehtineet hankkia koulutusta ja muuta elämänkokemusta. Päävalinnat toimivat siten myös aikuishakijoiden hakuväylänä; erillisvalintoja eivät hyödynnä läheskään kaikki, joilla siihen olisi mahdollisuus. Klusterianalyysin avulla hakijoista voitiin erottaa neljä ryhmää: 1) nuoret ylioppilaat, 2) toisen tutkinnon suorittajat, 3) koulutuspääoman kartuttajat sekä 4) aikuiset lisäkouluttautujat. Opiskelemaan pääsyyn vaikuttavia tekijöitä analysoitiin logistisen regressioanalyysin avulla. Analyysin mukaan hakijan iällä oli muista taustatekijöistä riippumaton vaikutus opiskelemaan pääsyyn niin, että todennäköisyys päästä yliopistoon vähenee hakijan iän kohotessa. Parhaiten opiskelemaan pääsivät kaikkein nuorimmat, alle 20-vuotiaat hakijat, jotka siis useimmiten ovat saman kevään ylioppilaita. Vanhemmille hakijoille oli usein kertynyt jo koulutusta, mutta aiemmat tutkinnot paransivat sisäänpääsyn mahdollisuuksia vain, mikäli ne olivat korkea-asteelta. Alemmilla ammatillisilla tutkinnoilla oli pikemminkin opiskelemaan pääsyä heikentävä vaikutus. Myös se, mitä hakija oli tehnyt ennen valintakokeita, vaikutti sisäänpääsyn mahdollisuuksiin. Parhaiten valinnoissa pärjäsivät päätoimiset opiskelijat, heikoiten työttömät hakijat. Vaikka miesten hyväksymisprosentit olivat keskimäärin korkeammat kuin naisten, sukupuoli ei osoittautunut itsenäiseksi opiskelemaan pääsyä selittäväksi tekijäksi. Naisten huonompi pärjääminen valinnoissa selittyykin pitkälti sukupuolten eriytyneillä alavalinnoilla. Naisten suosimat alat kun ovat pääsääntöisesti vaikeapääsyisempiä kuin miesten. Tutkimuksessa selvisi myös, että kaupunkilaisuus lisäsi todennäköisyyttä tulla hyväksytyksi. Toisaalta opiskelemaan pääsy erosi myös asuinmaakunnittain, mikä kertoo lähinnä siitä, että eri yliopistojen sisäänpääsyasteissa on varsin suuria eroja. Yliopistojen lohkoutuminen hakijoiden sosiaalisen taustan mukaan oli paljon selvempää kuin alojen. Kaikki pääkaupunkiseudun yliopistot – lukuun ottamatta Teatterikorkeakoulua – luokittuivat isän asemalla mitaten elitistisiksi. Matalimmista taustoista haettiin Lapin, Joensuun ja Vaasan yliopistoihin. Alojen paikka elitistisyyskansanomaisuus -ulottuvuudella vaihteli suuresti yliopistoittain. Teknillistieteellinen, matemaattis-luonnontieteellinen ja kauppatieteellinen ala sijoittuivat kuitenkin keskimääräistä ylemmäs, kun taas kasvatustiede ja farmasia olivat kansanomaisimpia hakukohteita. Opiskelijaksi valikoitumisen peruselementit toistuivat myös tässä tutkimuksessa: koulutetuimpien ja hyvässä asemassa olevien vanhempien jälkeläiset saivat opiskelupaikan useammin kuin muut. Yliopistolaitoksessa vuosikymmenten saatossa toteutetut rakenteelliset muutokset eivät siis ole muuttaneet valikoitumisen peruslinjaa, joskin uutena huomiona nousi maanviljelijöiden jälkeläisten hyvä valinnoissa pärjääminen. Maanviljelijäperheestä tulevien opiskelemaan pääsyn todennäköisyys oli kaikkein suurin.

Personality and Depression

The aim of this study was to illustrate the associations of personality variables and depression. The first study population consisted of 50 patients with DSM-IV defined major depressive disorder. Subjects were randomized to receive either fluoxetine medication or short-term psychodynamic psychotherapy. The Hamilton Depression Rating Scale was completed at the baseline and in the follow-up at four months. Baseline mature defense style measured with the Defense Style Questionnaire predicted favourable outcome in the fluoxetine treatment group, whereas no associations were found in psychotherapy group. The Psychological Mindedness Scale scores were not predictive for recovery in patients receiving psychotherapy or medication. The Psychological Mindedness Scale seems not to be useful in selecting optimal treatment in major depressive disorder. Harm Avoidance measured with the Temperament and Character Inventory associated with the baseline severity of the depressive state. In the fluoxetine treatment group high Reward Dependence, high Self-Directedness and high Cooperativeness were predictive for more severe depression in the four months follow-up, whereas no associations were found in the psychotherapy treatment group. It is possible that the result reflects the differences in the placebo response. The second data were derived from the Finnish Public Sector Study. These prospective studies with four years follow-up focused on the predictive value of optimism and pessimism, first, to work disability with a diagnosis of depression lasting at least 90 days and returning to work (N= 38214) , and second, to the likelihood of initiating antidepressant medication treatment lasting at least 100 days and ending the treatment (N= 29930). Results show that low optimism associates with the elevated risk of work disability and higher likelihood of antidepressant use. High pessimism associated with higher likelihood starting at least 100 days antidepressant medication and not stopping medication during the follow up. High pessimism did not seem to predict the entering to depression related work disability, but in the case of disability period it associated with the lower likelihood of returning to work. The thesis shows that personality features play a role as a vulnerability factor, and influence the onset and course of depression. Taking these factors into account more than is currently done may increase the possibilities to enhance the treatment results in depression.

Conventional and novel cardiovascular risk factors in young Finns and their associations with structural and functional vascular changes of subclinical atherosclerosis. The Cardiovascular Risk in Young Finns Study

Background: Atherosclerosis begins in early life progressing from asymptomatic to symptomatic as we age. Although substantial progress has been made in identifying the determinants of atherosclerosis in middle to older age adults at increased cardiovascular risk, there is lack of data examining determinants and prediction of atherosclerosis in young adults. Aims: The current study was designed to investigate levels of cardiovascular risk factors in young adults, subclinical measures of atherosclerosis, and prediction of subclinical arterial changes with conventional risk factor measures and novel metabolic profiling of serum samples. Subjects and Methods: This thesis utilised data from the follow-ups performed in 2001 and 2007 in the Cardiovascular Risk in Young Finns study, a Finnish population-based prospective cohort study that examined 2,204 subjects who were aged 30-45 years in 2007. Subclinical atherosclerosis was studied using noninvasive ultrasound measurements of carotid intima-media thickness (IMT), carotid arterial distensibility (CDist) and brachial flow-mediated dilation (FMD). Measurements included conventional risk factors and metabolic profiling using highthroughput nuclear magnetic resonance (NMR) methods that provided data on 42 lipid markers and 16 circulating metabolites. Results: Trends in lipids were favourable between 2001 and 2007, whereas waist circumference, fasting glucose, and blood pressure levels increased. To study the stability of noninvasive ultrasound markers, 6-year tracking (the likelihood to maintain the original fractile over time) in 6 years was examined. IMT tracked more strongly than CDist and FMD. Cardiovascular risk scores (Framingham, SCORE, Finrisk, Reynolds and PROCAM) predicted subclinical atherosclerosis equally. Lipoprotein subclass testing did not improve the prediction of subclinical atherosclerosis over and above conventional risk factors. However, circulating metabolites improved risk stratification. Tyrosine and docosahexaenoic acid were found to be novel biomarkers of high IMT. Conclusions: Prediction of cardiovascular risk in young Finnish adults can be performed with any of the existing risk scores. The addition of metabonomics to risk stratification improves prediction of subclinical changes and enables more accurate targeting of prevention at an early stage.

Using aster multispectral imagery for mapping woody invasive species in pico da vara natural reserve (Azores Islands, Portugal)

This paper aims to assess the effectiveness of ASTER imagery to support the mapping of Pittosporum undulatum, an invasive woody species, in Pico da Vara Natural Reserve (S. Miguel Island, Archipelago of the Azores, Portugal). This assessment was done by applying K-Nearest Neighbor (KNN), Support Vector Machine (SVM) and Maximum Likelihood (MLC) pixel-based supervised classifications to 4 different geographic and remote sensing datasets constituted by the Visible, Near-Infrared (VNIR) and Short Wave Infrared (SWIR) of the ASTER sensor and by digital cartography associated to orography (altitude and "distance to water streams") of which the spatial distribution of Pittosporum undulatum directly depends. Overall, most performed classifications showed a strong agreement and high accuracy. At targeted species level, the two higher classification accuracies were obtained when applying MLC and KNN to the VNIR bands coupled with auxiliary geographic information use. Results improved significantly by including ecology and occurrence information of species (altitude and distance to water streams) in the classification scheme. These results show that the use of ASTER sensor VNIR spectral bands, when coupled to relevant ancillary GIS data, can constitute an effective and low cost approach for the evaluation and continuous assessment of Pittosporum undulatum woodland propagation and distribution within Protected Areas of the Azores Islands.

On the impact of rigorous approaches on the quality of development

Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges increase the size and complexity of a system. People may not be aware of a presence of a software system, until it malfunctions or even fails to perform. The concept of being able to depend on the software is particularly significant when it comes to the critical systems. At this point quality of a system is regarded as an essential issue, since any deficiencies may lead to considerable money loss or life endangerment. Traditional development methods may not ensure a sufficiently high level of quality. Formal methods, on the other hand, allow us to achieve a high level of rigour and can be applied to develop a complete system or only a critical part of it. Such techniques, applied during system development starting at early design stages, increase the likelihood of obtaining a system that works as required. However, formal methods are sometimes considered difficult to utilise in traditional developments. Therefore, it is important to make them more accessible and reduce the gap between the formal and traditional development methods. This thesis explores the usability of rigorous approaches by giving an insight into formal designs with the use of graphical notation. The understandability of formal modelling is increased due to a compact representation of the development and related design decisions. The central objective of the thesis is to investigate the impact that rigorous approaches have on quality of developments. This means that it is necessary to establish certain techniques for evaluation of rigorous developments. Since we are studying various development settings and methods, specific measurement plans and a set of metrics need to be created for each setting. Our goal is to provide methods for collecting data and record evidence of the applicability of rigorous approaches. This would support the organisations in making decisions about integration of formal methods into their development processes. It is important to control the software development, especially in its initial stages. Therefore, we focus on the specification and modelling phases, as well as related artefacts, e.g. models. These have significant influence on the quality of a final system. Since application of formal methods may increase the complexity of a system, it may impact its maintainability, and thus quality. Our goal is to leverage quality of a system via metrics and measurements, as well as generic refinement patterns, which are applied to a model and a specification. We argue that they can facilitate the process of creating software systems, by e.g. controlling complexity and providing the modelling guidelines. Moreover, we find them as additional mechanisms for quality control and improvement, also for rigorous approaches. The main contribution of this thesis is to provide the metrics and measurements that help in assessing the impact of rigorous approaches on developments. We establish the techniques for the evaluation of certain aspects of quality, which are based on structural, syntactical and process related characteristics of an early-stage development artefacts, i.e. specifications and models. The presented approaches are applied to various case studies. The results of the investigation are juxtaposed with the perception of domain experts. It is our aspiration to promote measurements as an indispensable part of quality control process and a strategy towards the quality improvement.

Comparison of maps of spatial variability of soil resistance to penetration constructed with and without covariables using a spatial linear model

A study about the spatial variability of data of soil resistance to penetration (RSP) was conducted at layers 0.0-0.1 m, 0.1-0.2 m and 0.2-0.3 m depth, using the statistical methods in univariate forms, i.e., using traditional geostatistics, forming thematic maps by ordinary kriging for each layer of the study. It was analyzed the RSP in layer 0.2-0.3 m depth through a spatial linear model (SLM), which considered the layers 0.0-0.1 m and 0.1-0.2 m in depth as covariable, obtaining an estimation model and a thematic map by universal kriging. The thematic maps of the RSP at layer 0.2-0.3 m depth, constructed by both methods, were compared using measures of accuracy obtained from the construction of the matrix of errors and confusion matrix. There are similarities between the thematic maps. All maps showed that the RSP is higher in the north region.

Spatial variability of leaf nutrient contents in a drip irrigated citrus orchard

This study aimed to evaluate the spatial variability of leaf content of macro and micronutrients. The citrus plants orchard with 5 years of age, planted at regular intervals of 8 x 7 m, was managed under drip irrigation. Leaf samples were collected from each plant to be analyzed in the laboratory. Data were analyzed using the software R, version 2.5.1 Copyright (C) 2007, along with geostatistics package GeoR. All contents of macro and micronutrients studied were adjusted to normal distribution and showed spatial dependence.The best-fit models, based on the likelihood, for the macro and micronutrients were the spherical and matern. It is suggest for the macronutrients nitrogen, phosphorus, potassium, calcium, magnesium and sulfur the minimum distances between samples of 37; 58; 29; 63; 46 and 15 m respectively, while for the micronutrients boron, copper, iron, manganese and zinc, the distances suggests are 29; 9; 113; 35 and 14 m, respectively.