Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Rockburst laboratory tests database - Application of data mining techniques

Rockburst is characterized by a violent explosion of a block causing a sudden rupture in the rock and is quite common in deep tunnels. It is critical to understand the phenomenon of rockburst, focusing on the patterns of occurrence so these events can be avoided and/or managed saving costs and possibly lives. The failure mechanism of rockburst needs to be better understood. Laboratory experiments are undergoing at the Laboratory for Geomechanics and Deep Underground Engineering (SKLGDUE) of Beijing and the system is described. A large number of rockburst tests were performed and their information collected, stored in a database and analyzed. Data Mining (DM) techniques were applied to the database in order to develop predictive models for the rockburst maximum stress (σRB) and rockburst risk index (IRB) that need the results of such tests to be determined. With the developed models it is possible to predict these parameters with high accuracy levels using data from the rock mass and specific project.

O ensino de canto nos ramos genérico e vocacional no 1º ciclo do ensino básico: um estudo de caso múltiplo

Tese de Doutoramento em Estudos da Criança (área de especialização em Educação Musical).

Spatio-temporal modelling of environmental data

Programa Doutoral em Matemática e Aplicações.

Global vs. local nonlinear optimization techniques for human-like movement of an anthropomorphic robot

In this paper a comparison between using global and local optimization techniques for solving the problem of generating human-like arm and hand movements for an anthropomorphic dual arm robot is made. Although the objective function involved in each optimization problem is convex, there is no evidence that the admissible regions of these problems are convex sets. For the sequence of movements for which the numerical tests were done there were no significant differences between the optimal solutions obtained using the global and the local techniques. This suggests that the optimal solution obtained using the local solver is indeed a global solution.

A structured inventory of spiders (Arachnida, Araneae) in natural and artificial forest gaps at Porto Urucu, Western Brazilian Amazonia

A preliminary survey of the spider fauna in natural and artificial forest gap formations at “Porto Urucu”, a petroleum/natural gas production facility in the Urucu river basin, Coari, Amazonas, Brazil is presented. Sampling was conducted both occasionally and using a protocol composed of a suite of techniques: beating trays (32 samples), nocturnal manual samplings (48), sweeping nets (16), Winkler extractors (24), and pitfall traps (120). A total of 4201 spiders, belonging to 43 families and 393 morphospecies, were collected during the dry season, in July, 2003. Excluding the occasional samples, the observed richness was 357 species. In a performance test of seven species richness estimators, the Incidence Based Coverage Estimator (ICE) was the best fit estimator, with 639 estimated species. To evaluate differences in species richness associated with natural and artificial gaps, samples from between the center of the gaps up to 300 meters inside the adjacent forest matrix were compared through the inspection of the confidence intervals of individual-based rarefaction curves for each treatment. The observed species richness was significantly higher in natural gaps combined with adjacent forest than in the artificial gaps combined with adjacent forest. Moreover, a community similarity analysis between the fauna collected under both treatments demonstrated that there were considerable differences in species composition. The significantly higher abundance of Lycosidae in artificial gap forest is explained by the presence of herbaceous vegetation in the gaps themselves. Ctenidae was significantly more abundant in the natural gap forest, probable due to the increase of shelter availability provided by the fallen trees in the gaps themselves. Both families are identified as potential indicators of environmental change related to the establishment or recovery of artificial gaps in the study area.

“ Da Moda ao Resíduo e do Resíduo à Moda”: um contributo sustentável no uso da pele residual na Indústria do calçado

Dissertação de mestrado em Design e Marketing

Accuracy comparison of implant impression techniques: A systematic review

Background Several studies link the seamless fit of implant-supported prosthesis with the accuracy of the dental impression technique obtained during acquisition. In addition, factors such as implant angulation and coping shape contribute to implant misfit. Purpose To identify the most accurate impression technique and factors affecting the impression accuracy. Material and Methods A systematic review of peer-reviewed literature was conducted analyzing articles published between 2009 and 2013. The following search terms were used: implant impression, impression accuracy, and implant misfit. A total of 417 articles was identified, 32 were selected for review. Results All 32 selected studies refer to in vitro studies. Fourteen articles compare open and closed impression technique, 8 advocate the open technique and 6 report similar results. Other 14 articles evaluate splinted and non-splinted techniques; all advocating the splinted technique. Polyether material usage was reported in 9; 6 studies tested vinyl polysiloane and 1 study used irreversible hydrocolloid. Eight studies evaluated different copings designs. Intra-oral optical devices were compared in 4 studies. Conclusions The most accurate results were achieved with two configurations: (1) the optical intra-oral system with powder; and (2) the open technique with splinted squared transfer copings, using polyether as impression material.

The role of liquid-based cytology and ancillary techniques in pleural and pericardic effusions: An institutional experience

BACKGROUND: Fine-needle aspiration cytology (FNAC) of serous membrane effusions may fulfil a challenging role in the diagnostic analysis of both primary and metastatic disease. From this perspective, liquid-based cytology (LBC) represents a feasible and reliable method for empowering the performance of ancillary techniques (ie, immunocytochemistry and molecular testing) with high diagnostic accuracy. METHODS: In total, 3171 LBC pleural and pericardic effusions were appraised between January 2000 and December 2013. They were classified as negative for malignancy (NM), suspicious for malignancy (SM), or positive for malignancy (PM). RESULTS: The cytologic diagnoses included 2721 NM effusions (2505 pleural and 216 pericardic), 104 SM effusions (93 pleural and 11 pericardic), and 346 PM effusions (321 pleural and 25 pericardic). The malignant pleural series included 76 unknown malignancies (36 SM and 40 PM effusions), 174 metastatic lesions (85 SM and 89 PM effusions), 14 lymphomas (3 SM and 11 PM effusions), 16 mesotheliomas (5 SM and 11 SM effusions), and 3 myelomas (all SM effusions). The malignant pericardic category included 20 unknown malignancies (5 SM and 15 PM effusions), 15 metastatic lesions (1 SM and 14 PM effusions), and 1 lymphoma (1 PM effusion). There were 411 conclusive immunocytochemical analyses and 47 molecular analyses, and the authors documented 88% sensitivity, 100% specificity, 98% diagnostic accuracy, 98% negative predictive value, and 100% positive predictive value for FNAC. CONCLUSIONS: FNAC represents a primary diagnostic tool for effusions and a reliable approach with which to determine the correct follow-up. Furthermore, LBC is useful for ancillary techniques, such as immunocytochemistry and molecular analysis, with feasible diagnostic and predictive utility.

Comparing different methods to measure biofilm thickness: the techniques are: optical coherence tomography, confocal laser scanning microscopy and low load compression test

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Engenharia Clínica)

Modelling tyre-road noise with data mining techniques

The research aimed to establish tyre-road noise models by using a Data Mining approach that allowed to build a predictive model and assess the importance of the tested input variables. The data modelling took into account three learning algorithms and three metrics to define the best predictive model. The variables tested included basic properties of pavement surfaces, macrotexture, megatexture, and uneven- ness and, for the first time, damping. Also, the importance of those variables was measured by using a sensitivity analysis procedure. Two types of models were set: one with basic variables and another with complex variables, such as megatexture and damping, all as a function of vehicles speed. More detailed models were additionally set by the speed level. As a result, several models with very good tyre-road noise predictive capacity were achieved. The most relevant variables were Speed, Temperature, Aggregate size, Mean Profile Depth, and Damping, which had the highest importance, even though influenced by speed. Megatexture and IRI had the lowest importance. The applicability of the models developed in this work is relevant for trucks tyre-noise prediction, represented by the AVON V4 test tyre, at the early stage of road pavements use. Therefore, the obtained models are highly useful for the design of pavements and for noise prediction by road authorities and contractors.

Trap efficiency evaluation for small mammals in the southern Amazon

The effectiveness of ecological researches on small mammals strongly depends on trapping techniques to survey communities and populations accurately. The main goal of this study was to assess the efficiency of three types of traps (Sherman, Tomahawk and Pitfall) to capture non-volant small mammals. We installed traps in 22 forest fragments in the southern Brazilian Amazonia. We captured 873 individuals belonging to 21 species; most of the individuals (N = 369) and species (N = 19) were trapped using Pitfalls, followed by Shermans (N = 271 individuals; N = 15 species) and Tomahawks (N = 233 individuals; N = 15 species). Pitfalls trapped a richer community subset of small mammals than the two other types of traps, and a more abundant community subset than Tomahawks. Proechimys sp. was the most abundant species trapped (N = 125) and Tomahawk was the most efficient type of trap to capture this species (N = 97 individuals). Neacomys spinosus and Marmosops bishopi were more trapped in Pitfalls (N = 92 and 100 individuals, respectively) than Shermans and Tomahawks. Monodelphis glirina was more trapped in Shermans and Pitfalls than Tomahawks. Species composition trapped using the three types of traps were distinct. Pitfalls captured a more distinct subset of the small mammal community than the two other live traps. We recommend the association of the three types of traps to reach a more comprehensive sampling of the community of small mammals. Thus, as stated by previous studies, we also recommend the complementary use of Shermans, Tomahawks and Pitfalls to account for a thorough sampling of the whole small mammal community in researches conducted in the tropical forests of Amazonia.

Land cover classification of Lago Grande de Curuai floodplain (Amazon, Brazil) using multi-sensor and image fusion techniques

Given the limitations of different types of remote sensing images, automated land-cover classifications of the Amazon várzea may yield poor accuracy indexes. One way to improve accuracy is through the combination of images from different sensors, by either image fusion or multi-sensor classifications. Therefore, the objective of this study was to determine which classification method is more efficient in improving land cover classification accuracies for the Amazon várzea and similar wetland environments - (a) synthetically fused optical and SAR images or (b) multi-sensor classification of paired SAR and optical images. Land cover classifications based on images from a single sensor (Landsat TM or Radarsat-2) are compared with multi-sensor and image fusion classifications. Object-based image analyses (OBIA) and the J.48 data-mining algorithm were used for automated classification, and classification accuracies were assessed using the kappa index of agreement and the recently proposed allocation and quantity disagreement measures. Overall, optical-based classifications had better accuracy than SAR-based classifications. Once both datasets were combined using the multi-sensor approach, there was a 2% decrease in allocation disagreement, as the method was able to overcome part of the limitations present in both images. Accuracy decreased when image fusion methods were used, however. We therefore concluded that the multi-sensor classification method is more appropriate for classifying land cover in the Amazon várzea.

Evaluation of geostatistical techniques to estimate the spatial distribution of aboveground biomass in the Amazon rainforest using high-resolution remote sensing data

ABSTRACT The spatial distribution of forest biomass in the Amazon is heterogeneous with a temporal and spatial variation, especially in relation to the different vegetation types of this biome. Biomass estimated in this region varies significantly depending on the applied approach and the data set used for modeling it. In this context, this study aimed to evaluate three different geostatistical techniques to estimate the spatial distribution of aboveground biomass (AGB). The selected techniques were: 1) ordinary least-squares regression (OLS), 2) geographically weighted regression (GWR) and, 3) geographically weighted regression - kriging (GWR-K). These techniques were applied to the same field dataset, using the same environmental variables derived from cartographic information and high-resolution remote sensing data (RapidEye). This study was developed in the Amazon rainforest from Sucumbíos - Ecuador. The results of this study showed that the GWR-K, a hybrid technique, provided statistically satisfactory estimates with the lowest prediction error compared to the other two techniques. Furthermore, we observed that 75% of the AGB was explained by the combination of remote sensing data and environmental variables, where the forest types are the most important variable for estimating AGB. It should be noted that while the use of high-resolution images significantly improves the estimation of the spatial distribution of AGB, the processing of this information requires high computational demand.

Bat survey of the lower Juruena River and five new records for the state of Mato Grosso, Brazil

ABSTRACT The northern Brazilian state of Mato Grosso is considered an important biogeographical region, but has many sampling gaps. Apart from the well-documented non volant mammal community in the region, the bat fauna still poorly recorded. The aim of this study was to record the bat species of Juruena National Park, northern Mato Grosso, Brazil. Nineteen sites were sampled using mist-nets placed at ground level and near potential bat roosts. We collected 115 individuals belonging to 35 species and five families, which increased the number of species known for Mato Grosso´s Amazon from 86 to 91. The five new records were: Peropteryx kappleri, Peropteryx leucoptera, Lonchorhina inusitata, Tonatia saurophila, and Artibeus concolor. Our results pointed out the necessity of more studies in order to better estimate the bat diversity in northern Mato Grosso.