Squid impact analyser: uma ferramenta para análise de impacto de mudança em linhas de produto de software

Software Products Lines (SPL) is a software engineering approach to developing software system families that share common features and differ in other features according to the requested software systems. The adoption of the SPL approach can promote several benefits such as cost reduction, product quality, productivity, and time to market. On the other hand, the SPL approach brings new challenges to the software evolution that must be considered. Recent research work has explored and proposed automated approaches based on code analysis and traceability techniques for change impact analysis in the context of SPL development. There are existing limitations concerning these approaches such as the customization of the analysis functionalities to address different strategies for change impact analysis, and the change impact analysis of fine-grained variability. This dissertation proposes a change impact analysis tool for SPL development, called Squid Impact Analyzer. The tool allows the implementation of change impact analysis based on information from variability modeling, mapping of variability to code assets, and existing dependency relationships between code assets. An assessment of the tool is conducted through an experiment that compare the change impact analysis results provided by the tool with real changes applied to several evolution releases from a SPL for media management in mobile devices

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

Novos métodos determinísticos para gerar centros iniciais dos grupos no algoritmo fuzzy C-Means e variantes

Data clustering is applied to various fields such as data mining, image processing and pattern recognition technique. Clustering algorithms splits a data set into clusters such that elements within the same cluster have a high degree of similarity, while elements belonging to different clusters have a high degree of dissimilarity. The Fuzzy C-Means Algorithm (FCM) is a fuzzy clustering algorithm most used and discussed in the literature. The performance of the FCM is strongly affected by the selection of the initial centers of the clusters. Therefore, the choice of a good set of initial cluster centers is very important for the performance of the algorithm. However, in FCM, the choice of initial centers is made randomly, making it difficult to find a good set. This paper proposes three new methods to obtain initial cluster centers, deterministically, the FCM algorithm, and can also be used in variants of the FCM. In this work these initialization methods were applied in variant ckMeans.With the proposed methods, we intend to obtain a set of initial centers which are close to the real cluster centers. With these new approaches startup if you want to reduce the number of iterations to converge these algorithms and processing time without affecting the quality of the cluster or even improve the quality in some cases. Accordingly, cluster validation indices were used to measure the quality of the clusters obtained by the modified FCM and ckMeans algorithms with the proposed initialization methods when applied to various data sets

Algoritmos de agrupamentos fuzzy intervalares e índice de validação para agrupamento de dados simbólicos do tipo intervalo

Symbolic Data Analysis (SDA) main aims to provide tools for reducing large databases to extract knowledge and provide techniques to describe the unit of such data in complex units, as such, interval or histogram. The objective of this work is to extend classical clustering methods for symbolic interval data based on interval-based distance. The main advantage of using an interval-based distance for interval-based data lies on the fact that it preserves the underlying imprecision on intervals which is usually lost when real-valued distances are applied. This work includes an approach allow existing indices to be adapted to interval context. The proposed methods with interval-based distances are compared with distances punctual existing literature through experiments with simulated data and real data interval

Renderizações não fotorealísticas para estilização de imagens e vídeos usando areia colorida

Non-Photorealisitc Rendering (NPR) is a class of techniques that aims to reproduce artistic techniques, trying to express feelings and moods on the rendered scenes, giving an aspect of that they had been made "by hand". Another way of defining NPR is that it is the processing of scenes, images or videos into artwork, generating scenes, images or videos that can have the visual appeal of pieces of art, expressing the visual and emotional characteristics of artistic styles. This dissertation presents a new method of NPR for stylization of images and videos, based on a typical artistic expression of the Northeast region of Brazil, that uses colored sand to compose landscape images on the inner surface of glass bottles. This method is comprised by one technique for generating 2D procedural textures of sand, and two techniques that mimic effects created by the artists using their tools. It also presents a method for generating 21 2D animations in sandbox from the stylized video. The temporal coherence within these stylized videos can be enforced on individual objects with the aid of a video segmentation algorithm. The present techniques in this work were used on stylization of synthetic and real videos, something close to impossible to be produced by artist in real life

Determinantes de competitividade de destinos turísticos aplicados aos roteiros regionais: uma avaliação do roteiro Seridó/RN

The tourism industry is gaining representation by move and stimulate the economy, especially by allowing the generation of employment and income, thus allowing growth opportunities for localities where tourism develops. Therefore, the present study entitled determinants of competitiveness of tourist destinations applied to regional routes: an evaluation of the Route of Seridó/RN, discusses the issue of competitiveness in tourism and tries to understand the scenery of this Route. The main objective of the study is to assess the conditions of competitiveness in the Route of Seridó/RN according to benchmarks and global determinants of competitiveness for tourist destinations. The study has also as specifics objectives: define dimensions of the reference model for use in evaluating the competitiveness of the Route of Seridó/RN; identify levels of governance and competitiveness in the municipalities that make up the sample set above the Route, and analyze to what extent the competitiveness of the Route correspond to the global reference of competitiveness of tourism destinations. Regarding the methodology, it is a search for an exploratory- descriptive and used a combination of quantitative and qualitative research method as expected and required in the implementation of the evaluation tool called Compet&enible Model. For data collection, it has been taken technical visits and also analysis of documents and materials. Data analysis was based on the records and documents and the use of simple descriptive statistics for the scores of the elements offered by Compet&enible Model. The results allowed us to know the real conditions of competitiveness of the Seridó/RN Route forward to the attributes of tourist destinations for global competitiveness: the dimension I, Governance, reached 17 points, classified as "in structuring" and dimension II, Competitiveness, reached 10 points, ranking "weak". These results highlight the need for greater involvement of the actors in the supply chain of tourism in Polo Seridó/RN for the actions, programs and projects are put into practice. It is expected that tourism is considered an important activity for the local and global development, serving as a reference for the future management of Seridó/RN Route, guiding new policy guidelines, planning and organization to better competitiveness

Mídia impressa e meio ambiente: um estudo da cobertura da mortandade de peixes no estuário do Rio Potengi, Natal-RN

Environmental issues are becoming increasingly habitual to the media, particularly when calamities are involved. A feature of environmental disasters is that they disclose both environmental crises and the media limitation in reporting them. The research tried to contribute to the subject through the study of press media coverage of a large fish kill along an estuary in the State of Rio Grande do Norte, Brazil, in 2007. Thematic content analysis of newspaper reports identified the predominance of a superficial and denunciative coverage, lacking an educational perspective, and with little contribution to formation of a critical sense in readers. It also has identified the precarious treatment of those scientific concepts that could substantiate the actual causes of mortality of tons of aquatic fauna

As vidas e as mortes de Jararaca: narrações de uma devoção popular no Nordeste Brasileiro

Este artigo parte de um estudo etnográfico da devoção popular ao cangaceiro Jararaca em Mossoró, Rio Grande do Norte, morto pela polícia local em 1927. Seu objetivo é destacar os ritos que manifestam e suportam tal devoção, sobretudo em seus aspectos verbais: testemunhos, narrações hagiográficas e fatos históricos tidos como reais - principalmente os fatos que cercaram a morte do cangaceiro e suas proezas no cangaço - que dão margem à reelaboração da identidade social do morto, de modo a aproximar sua vida do modelo do Robin Hood, o bom bandido, e sua morte do modelo do martírio cristão. Assim, ele pode tornar-se um santo funerário.

Recurso de interface captcha: segurança e usabilidade na distinção entre humano e máquina

Com o intuito de impedir que computadores enviem mensagens automáticas se passando por usuários reais, desenvolvedores tem utilizado o recurso de interface CAPTCHA para distinguir o preenchimento de dados e submissões realizadas por humanos e por máquinas. Este trabalho apresenta as principais modalidades de CAPTCHAs e discute as implicações na usabilidade. Para tanto, foram aplicados questionários e realizados testes de usabilidade em três modalidades de CAPTCHA. Verificou-se que, embora os usuários tenham consciência da importância do uso do CAPTCHA como ferramenta de segurança, percebeu-se que tal recurso compromete a usabilidade, gerando insatisfação e em alguns casos, a desistência da realização da tarefa

Caracterização geométrica e parametrização de depósitos transacionais recentes e sua aplicação na modelagem de reservatórios petrolíferos

In this beginning of the XXI century, the Geology moves for new ways that demand a capacity to work with different information and new tools. It is within this context that the analog characterization has important in the prediction and understanding the lateral changes in the geometry and facies distribution. In the present work was developed a methodology for integration the geological and geophysical data in transitional recent deposits, the modeling of petroliferous reservoirs, the volume calculation and the uncertainties associate with this volume. For this purpose it was carried planialtimetric and geophysics (Ground Penetrating Radar) surveys in three areas of the Parnaíba River. With this information, it was possible to visualize the overlap of different estuary channels and make the delimitation of the channel geometry (width and thickness). For three-dimensional visualization and modeling were used two of the main reservoirs modeling software. These studies were performed with the collected parameters and the data of two reservoirs. The first was created with the Potiguar Basin wells data existents in the literature and corresponding to Açu IV unit. In the second case was used a real database of the Northern Sea. In the procedures of reservoirs modeling different workflows were created and generated five study cases with their volume calculation. Afterwards an analysis was realized to quantify the uncertainties in the geological modeling and their influence in the volume. This analysis was oriented to test the generating see and the analogous data use in the model construction

Detecção e diagnóstico de falhas não-supervisionados baseados em estimativa de densidade recursiva e classificador fuzzy auto-evolutivo

In this work, we propose a two-stage algorithm for real-time fault detection and identification of industrial plants. Our proposal is based on the analysis of selected features using recursive density estimation and a new evolving classifier algorithm. More specifically, the proposed approach for the detection stage is based on the concept of density in the data space, which is not the same as probability density function, but is a very useful measure for abnormality/outliers detection. This density can be expressed by a Cauchy function and can be calculated recursively, which makes it memory and computational power efficient and, therefore, suitable for on-line applications. The identification/diagnosis stage is based on a self-developing (evolving) fuzzy rule-based classifier system proposed in this work, called AutoClass. An important property of AutoClass is that it can start learning from scratch". Not only do the fuzzy rules not need to be prespecified, but neither do the number of classes for AutoClass (the number may grow, with new class labels being added by the on-line learning process), in a fully unsupervised manner. In the event that an initial rule base exists, AutoClass can evolve/develop it further based on the newly arrived faulty state data. In order to validate our proposal, we present experimental results from a level control didactic process, where control and error signals are used as features for the fault detection and identification systems, but the approach is generic and the number of features can be significant due to the computationally lean methodology, since covariance or more complex calculations, as well as storage of old data, are not required. The obtained results are significantly better than the traditional approaches used for comparison

Contribuição ao estudo das redes complexas: extensão do modelo de afinidade

Neste trabalho, elaboramos e discutimos uma rede complexa sem escala, ou seja, uma rede cuja distribuição de conectividade segue uma lei de distribuição de potência. Nosso trabalho pode ser resumido da seguinte forma: Para efeito de didática vamos começar com redes aleatórias que estão relacionados com situações reais e artificiais, e depois comentar as redes livres de escala, como proposto por Barabási-Albert (BA). Depois disso, discutimos uma extensão deste modelo, onde Barabasi e Bianconi (BB) incluem a qualidade. Discutimos também o modelo de afinidade, ou seja, (Ver Almeida et al). Finalmente vamos mostrar o nosso modelo, uma extensão do modelo de afinidade dada por e apresentar os resultados correspondentes. Para realizar tal tarefa modificamos a regra de ligação preferencial do modelo de BB colocando um fator que apresenta o grau de probabilidade entre os sítios da rede. Esta quantidade é feita pela diferença entre a qualidade do novo sítio e a qualidade dos anteriores. Este novo parâmetro produz novos resultados interessantes: a distribuição que segue uma lei de especial de potência, expoente apropriado. A evolução temporal da conectividade do sítio também é calculada . Além disso, mostramos também, os resultados que foram obtidos, via simulação numérica, para o menor caminho médio e o coeficiente de agregação da rede gerada pelo nosso modelo, isto é, pelo modelo de afinidade.

Contribuição ao estudo de redes complexas: modelo de afinidade com métrica

Currently the interest in large-scale systems with a high degree of complexity has been much discussed in the scientific community in various areas of knowledge. As an example, the Internet, protein interaction, collaboration of film actors, among others. To better understand the behavior of interconnected systems, several models in the area of complex networks have been proposed. Barabási and Albert proposed a model in which the connection between the constituents of the system could dynamically and which favors older sites, reproducing a characteristic behavior in some real systems: connectivity distribution of scale invariant. However, this model neglects two factors, among others, observed in real systems: homophily and metrics. Given the importance of these two terms in the global behavior of networks, we propose in this dissertation study a dynamic model of preferential binding to three essential factors that are responsible for competition for links: (i) connectivity (the more connected sites are privileged in the choice of links) (ii) homophily (similar connections between sites are more attractive), (iii) metric (the link is favored by the proximity of the sites). Within this proposal, we analyze the behavior of the distribution of connectivity and dynamic evolution of the network are affected by the metric by A parameter that controls the importance of distance in the preferential binding) and homophily by (characteristic intrinsic site). We realized that the increased importance as the distance in the preferred connection, the connections between sites and become local connectivity distribution is characterized by a typical range. In parallel, we adjust the curves of connectivity distribution, for different values of A, the equation P(k) = P0e

Universaidade em sistemas da mecâniaestatística de não equilíbrio com estados absorventes e percolação geográfica

Complex systems have stimulated much interest in the scientific community in the last twenty years. Examples this area are the Domany-Kinzel cellular automaton and Contact Process that are studied in the first chapter this tesis. We determine the critical behavior of these systems using the spontaneous-search method and short-time dynamics (STD). Ours results confirm that the DKCA e CP belong to universality class of Directed Percolation. In the second chapter, we study the particle difusion in two models of stochastic sandpiles. We characterize the difusion through diffusion constant D, definite through in the relation h(x)2i = 2Dt. The results of our simulations, using finite size scalling and STD, show that the diffusion constant can be used to study critical properties. Both models belong to universality class of Conserved Directed Percolation. We also study that the mean-square particle displacement in time, and characterize its dependence on the initial configuration and particle density. In the third chapter, we introduce a computacional model, called Geographic Percolation, to study watersheds, fractals with aplications in various areas of science. In this model, sites of a network are assigned values between 0 and 1 following a given probability distribution, we order this values, keeping always its localization, and search pk site that percolate network. Once we find this site, we remove it from the network, and search for the next that has the network to percole newly. We repeat these steps until the complete occupation of the network. We study the model in 2 and 3 dimension, and compare the bidimensional case with networks form at start real data (Alps e Himalayas)

Predição em modelos de tempo de falha acelerado com efeito aleatório para avaliação de riscos de falha em poços petrolíferos

We considered prediction techniques based on models of accelerated failure time with random e ects for correlated survival data. Besides the bayesian approach through empirical Bayes estimator, we also discussed about the use of a classical predictor, the Empirical Best Linear Unbiased Predictor (EBLUP). In order to illustrate the use of these predictors, we considered applications on a real data set coming from the oil industry. More speci - cally, the data set involves the mean time between failure of petroleum-well equipments of the Bacia Potiguar. The goal of this study is to predict the risk/probability of failure in order to help a preventive maintenance program. The results show that both methods are suitable to predict future failures, providing good decisions in relation to employment and economy of resources for preventive maintenance.