MoSAC: um módulo para seleção de configurações arquiteturais baseado em critérios de QoS no contexto de sistema distribuídos autoadaptativos

The process for choosing the best components to build systems has become increasingly complex. It becomes more critical if it was need to consider many combinations of components in the context of an architectural configuration. These circumstances occur, mainly, when we have to deal with systems involving critical requirements, such as the timing constraints in distributed multimedia systems, the network bandwidth in mobile applications or even the reliability in real-time systems. This work proposes a process of dynamic selection of architectural configurations based on non-functional requirements criteria of the system, which can be used during a dynamic adaptation. This proposal uses the MAUT theory (Multi-Attribute Utility Theory) for decision making from a finite set of possibilities, which involve multiple criteria to be analyzed. Additionally, it was proposed a metamodel which can be used to describe the application s requirements in terms of the non-functional requirements criteria and their expected values, to express them in order to make the selection of the desired configuration. As a proof of concept, it was implemented a module that performs the dynamic choice of configurations, the MoSAC. This module was implemented using a component-based development approach (CBD), performing a selection of architectural configurations based on the proposed selection process involving multiple criteria. This work also presents a case study where an application was developed in the context of Digital TV to evaluate the time spent on the module to return a valid configuration to be used in a middleware with autoadaptative features, the middleware AdaptTV

Especificação do micronúcleo FreeRTOS utilizando o método B

This paper presents a contribution to the international Verified Software Repository effort through the formal specification of the microkernel FreeRTOS real-time system. Such specification was made in abstract level making use of the B method . For thus, properties of the microkernel were chosen and selected as specification requisites, which was constructed centered at the functionalities responsible for the utilization of these properties. This properties weres setting as specification requirements. The specification was constructed modeling the function of microkernel that implement this properties. This work intended to encourage the formal verification of FreeRTOS and also contribute to the formal creation of a microkernel real-time systems, based in FreeRTOS. Furthermore, this model brings a formal documentation point view of the microkernel, demonstrating features and how this internal states is changing. Finally, this work could be an example of specification of the actual system by the B method.

Projeto e implementação de uma plataforma MP-SoC usando SystemC

This work presents the concept, design and implementation of a MP-SoC platform, named STORM (MP-SoC DirecTory-Based PlatfORM). Currently the platform is composed of the following modules: SPARC V8 processor, GPOP processor, Cache module, Memory module, Directory module and two different modles of Network-on-Chip, NoCX4 and Obese Tree. All modules were implemented using SystemC, simulated and validated, individually or in group. The modules description is presented in details. For programming the platform in C it was implemented a SPARC assembler, fully compatible with gcc s generated assembly code. For the parallel programming it was implemented a library for mutex managing, using the due assembler s support. A total of 10 simulations of increasing complexity are presented for the validation of the presented concepts. The simulations include real parallel applications, such as matrix multiplication, Mergesort, KMP, Motion Estimation and DCT 2D

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

Analisando o desempenho do ClassAge: um sistema multiagentes para classificação de padrões

The use of multi-agent systems for classification tasks has been proposed in order to overcome some drawbacks of multi-classifier systems and, as a consequence, to improve performance of such systems. As a result, the NeurAge system was proposed. This system is composed by several neural agents which communicate and negotiate a common result for the testing patterns. In the NeurAge system, a negotiation method is very important to the overall performance of the system since the agents need to reach and agreement about a problem when there is a conflict among the agents. This thesis presents an extensive analysis of the NeurAge System where it is used all kind of classifiers. This systems is now named ClassAge System. It is aimed to analyze the reaction of this system to some modifications in its topology and configuration

Utilizando programação orientada a aspectos no projeto de sistemas hardware desenvolvidos com SystemC

New programming language paradigms have commonly been tested and eventually incorporated into hardware description languages. Recently, aspect-oriented programming (AOP) has shown successful in improving the modularity of object-oriented and structured languages such Java, C++ and C. Thus, one can expect that, using AOP, one can improve the understanding of the hardware systems under design, as well as make its components more reusable and easier to maintain. We apply AOP in applications developed using the SystemC library. Several examples will be presented illustrating how to combine AOP and SystemC. During the presentation of these examples, the benefits of this new approach will also be discussed

Tvoice :um sistema de manipulação de linguagens para auxiliar portadores de necessidades especiais através da web

This work presents the tVoice, software that manipulates tags languages, extracting information and, being integral part of the VoiceProxy system, it aids bearers of special needs in the access to the Web. This system is responsible for the search and treatment of the documents in the Web, extracting the textual information contained in those documents and preceding the capability of generating eventually through translation techniques, an audio script, used by the of interface subsystem of VoiceProxy, the iVoice, in the process of voice synthesis. In this stage the tVoice, besides the treatment of the tag language HTML, processes other two formats of documents, PDF and XHTML. Additionally to allow that, besides the iVoice, other interface subsystems can make use of the tVoice through remote access, we propose distribution systems techniques based in the model Client-Server providers operations of the fashion of a proxy server treatment of documents

Sistema de apoio à interatividade em revisões sistemáticas em engenharia de software

A colaboração na pesquisa é uma das tarefas centrais da área acadêmica. Atualmente, muitos pesquisadores estão utilizando meios modernos de troca de arquivos digitais através de ferramentas assíncronas e também com o uso de ferramentas mais sofisticadas, do tipo síncronas. Juntamente com o fato da crescente quantidade de artigos sendo gerados, mais complexos, diversificados e aumentando de forma desorganizada, o que trás ao pesquisador uma tarefa difícil para organizá-los de forma a se extrair o melhor conteúdo destes, isto ocorre porque uma subárea da Engenharia de Software (ES) ainda é bastante mal aproveitada, a Engenharia de Software Experimental (ESE). Utilizando-se de um dos tipos de experimentos que a ESE oferece, as revisões sistemáticas entram como uma solução bastante robusta, na qual o pesquisador pode identificar o conhecimento existente em uma área e planejar devidamente sua pesquisa, evitando a repetição de erros em pesquisas já efetivadas por outros pesquisadores no passado. Contudo, estas duas abordagens, a colaboração virtual de pesquisadores e a utilização de revisões sistemáticas, contem problemas: na primeira, sistemas colaborativos são geralmente difíceis de configurar e usar; na segunda, apesar da robustez da metodologia de revisões sistemáticas, ainda se torna necessário uma rigorosa revisão na literatura para se conseguir um resultado satisfatório. Assim, com o foco de unir estas duas abordagens, este trabalho propõe uma maneira de produzir revisões sistemáticas de forma organizada e com a possibilidade de interação entre usuários, com o desenvolvimento de um sistema interativo, no qual as revisões sistemáticas possam ser geradas por usuários em colaboração com outros e também ser avaliadas seguindo a orientação de um profissional da área, tornando o seu conteúdo mais consistente e de melhor qualidade. O sistema não possui níveis de acesso, ou seja, qualquer pessoa pode se cadastrar e usufruir de seus recursos, seja na área acadêmica ou mesmo na área profissional

A saúde ambiental e os resíduos de serviços de saúde nos três níveis de complexidade do Sistema Único de Saúde - SUS

The environmental management in the health establishments is a reality still little explored in the health sector in Brazil, especially concerning its wastes. The management of wastes of health services is established in the valid legislation through the National Council of Environment and Sanitary Vigilance Agency (358/2005 and 304/2004 respectively). The present work is about a descriptive work about the environmental health in the health services. The used criterion was to diagnose the environmental management in twelve establishments of health inserted in the three levels of complexity of the Unique Health System (Sistema Ùnico de Saúde SUS). Among the sub criteria used the waste management is the one of bigger concern. The one referring to the water quality is considered good. The analysis of data reveals that 66% of the establishments got a poor environmental ranking, 17% critical and 17% appropriate, showing that the health establishments in the three levels of complexity of the SUS need urgent structural, environmental and educational interventions

Inundações urbanas no semiarido nordestino: o caso da cidade de Pau dos Ferros - RN

The Apodi river basin, particularly within the snippet that crosses Pau dos Ferros - RN city, place anthropogenic actions that interfere in the dynamic environment by modifying the local landscape. The reflection of these actions can be seen in the floods that occur in rainy periods (February to may) virtually every year in the city. It is important to stress that the project of integration of the waters of the San Francisco basin with the northern basin of Northeastern will perennial the main channel of the river basin, and generate greater impacts in the region. This work sought to define a methodology able to delimit areas susceptible to flooding in cities of semiarid Northeast based on the Pau dos Ferros RN city. The dissertation is divided into two chapters and introduction. The introduction presents a theoretical frame based on discussion of the concept of risk, their main characteristics and subdivisions; floods; geotecnologies; Apodi River basin; municipal data Pau dos Ferros RN and design integration of Francisco basin with the northern basins Northeast. The first chapter evaluates the urban expansion process between 1987 and 2008, delimiting the flood areas and analyzes the relationship between urban growth and retention areas. The second chapter identifies the flood risk areas in the Pau dos Ferros city. The methodology used was based on tools of geographic information system GIS from software SPRING/INPE 5.1, as well as bibliographical, satellite images, aerial photographs and field activities. The results obtained enabled view the rapid expansion of the urban area of Pau dos Ferros, which has doubled in a period of 22 years. The population density checks with greater intensity in South-central portion of the city, in flood areas and not flood (Cap. 01). It was noted also that some neighborhoods along the River Apodi are susceptible to more instances of flooding ranging from minimum to maximum, while in neighborhoods near the Riacho Cajazeiras floods occur to a lesser extent because of altimetry higher and lower water volume. (Cap. 02). It is expected that this work will help in the preparation of flood risk municipal map subsidising managers in implementing public policies targeted to the softening of urban flood-related issues in Pau dos Ferros RN and serve as a model for mapping of other cities with similar characteristics analyzed in this work

A incorporação de preceitos ambientais no sistema de gestão de resíduos sólidos do município de João Câmara - RN Brasil

The reality points to the global environmental sustainability as the only viable option for addressing the crisis at hand. The move towards sustainability calls for the generation / evaluation systems in their direction, through the incorporation of environmental requirements and in line with the National Policy on Solid Waste. Therefore, the proposed research supports the importance of social and environmental vision, complementing the technical view, the system for management of solid waste from East London, which is a municipality that has a system whose inadequacies are configured in environmental risk and health. Therefore, by observing, applying the model of sustainability indicators and content analysis of interviews, this research proposes to investigate the principles of sustainability and social participation are presented and what is the perception of risk about the inadequacies in the system. The results confirmed the hypotheses of the study and draw a picture of worrying data, such as very unfavorable indicators of sustainability, lack of channels of participation, uncommitted investments with the management system, devaluation of the collector of waste and differing perceptions about the risk by making actors act in isolation. This worrying situation is eased by the appearance of a series of elements are configured as opportunities for the integration of environmental principles in the system. And despite the inability of managers to participate in the research system, yet it behaves as an opportunity to implement public policies in the area of solid waste such as: the preparation of the municipal waste, the institutionalization of selective collection and organization of cooperative with the support of companies present in the city and educational institutions as the Federal Institute. The research is an opportunity for the implementation of policies in the area of solid waste and will collaborate with the building instruments for the quality of life of residents, for the socioeconomic conditions of collectors and the move towards a sustainable society

Desenvolvimento de sistema magnético polimérico contendo antimicrobianos para tratamento de infecções por Helicobacter pylori

Helicobacter pylori is the main cause of gastritis, gastroduodenal ulcer disease and gastric cancer. The most recommended treatment for eradication of this bacteria often leads to side effects and patient poor compliance, which induce treatment failure. Magnetic drug targeting is a very efficient method that overcomes these drawbacks through association of the drug with a magnetic compound. Such approach may allow such systems to be placed slowed down to a specific target area by an external magnetic field. This work reports a study of the synthesis and characterization of polymeric magnetic particles loaded with the currently used antimicrobial agents for the treatment of Helicobacter pylori infections, aiming the production of magnetic drug delivery system by oral route. Optical microscopy, scanning electron microscopy, transmission electron microscopy, x-ray powder diffraction, nitrogen adsorption/desorption isotherms and vibrating sample magnetometry revealed that the magnetite particles, produced by the co-precipitation method, consisted of a large number of aggregated nanometer-size crystallites (about 6 nm), creating superparamagnetic micrometer with high magnetic susceptibility particles with an average diameter of 6.8 ± 0.2 μm. Also, the polymeric magnetic particles produced by spray drying had a core-shell structure based on magnetite microparticles, amoxicillin and clarithromycin and coated with Eudragit® S100. The system presented an average diameter of 14.2 ± 0.2 μm. The amount of magnetite present in the system may be tailored by suitably controlling the suspension used to feed the spray dryer. In the present work it was 2.9% (w/w). The magnetic system produced may prove to be very promising for eradication of Helicobacter pylori infections

Condicionamento estrutural das zonasa de cisalhamento da região de Forquilha, domínio Ceará Central: uma abordagem integrada de sensoriamento remoto e geologia estrutural

The studied region, named Forquilha and localized in northwestern Central Ceará domain (northern portion of Borborema Province), presents a lithostratigraphic framework constituted by paleoproterozoic metaplutonics, metasedimentary sequences and neoproterozoic granitoids. The metasedimentary rocks of Ceará group occupy most part of the area. This group is subdivided in two distinct units: Canindé and Independência. Canindé unit is represented basically by biotite paragneisses and muscovite paragneisses, with minor metabasic rocks (amphibolite lens). Independência sequence is composed by garnetiferous paragneisses, sillimanite-garnet-quartz-muscovite schists and quartz-muscovite schists, pure or muscovite quartzites and rare marbles. At least three ductile deformation events were recognized in both units of Ceará group, named D1, D2 and D3. The former one is interpreted as related to a low angle tangential tectonics which mass transport is southward. D2 event is marked by the development of close/isoclinal folds with a N-S oriented axis. Refolding patterns generated by F1 and F2 superposition are found in several places. The latest event (D3) corresponds to a transcurrent tectonics, which led to development of mega-folds and several shear zones, under a transpressional regime. The mapped shear zones are Humberto Monte (ZCHM), Poço Cercado (ZCPC) and Forquilha (ZCF). Digital image processing of enhanced Landsat 7-ETM+ satellite images, combined with field data, demonstrate that these penetrative structures are associated with positive and negative geomorphologic patterns, distributed in linear and curvilinear arrangements with tonal banding, corresponding to the ductile fabric and to crests. Diverse color composites were tested and RGB-531 and RGB-752 provided the best results for lineament analysis of the most prominent shear zones. Spatial filtering techniques (3x3 and 5x5 filters) were also used and the application of Prewitt filters generated the best products. The integrated analysis of morphological and textural aspects from filtered images, variation of tonalities related to the distribution of geologic units in color composites and the superposition over a digital elevation model, contributed to a characterization of the structural framework of the study area. Kinematic compatibility of ZCHM, ZCPC, ZCF shear zones, as well as Sobral-Pedro II (ZCSPII) shear zone, situated to the west of the study area, was one of the goal of this work. Two of these shear zones (ZCHM, ZCPC) display sinistral movements, while the others (ZCSPII, ZCF) exhibit dextral kinematics. 40Ar/39Ar ages obtained in this thesis for ZCSPII and ZCPC, associated with other 40Ar/39Ar data of adjacent areas, indicate that all these shear zones are related to Brasiliano orogeny. The trend of the structures, the opposite shear senses and the similar metamorphic conditions are fitted in a model based on the development of conjugate shear zones in an unconfined transpression area. A WNW-ESE bulk shortening direction is infered. The geometry and kinematic of the studied structures suggest that shortening was largely accommodated by lateral extrusion, with only minor amounts of vertical stretch

Geomorfologia e neotectônica no Vale do Apodi-Mossoró RN

Numerous studies have indicated that the Potiguar Basin is affected by Cenozoic tectonics. The reactivation of Cretaceous fault systems affect the post-rift units, witch include Neogene and overlying Quaternary sediments. In this context, the objectives of this thesis are the followings: (1) to characterize the effects of post-rift tectonics in the morphology of Apodi Mossoró-river valley located in the central portion of the Potiguar, (2) to characterize the drainage of the Apodi Mossoró river valley and investigate the behavior of their channels across active faults, and (3) to propose a geologic-geomorphological evolutionary model for the study area. This study used a geological and geomorphological mapping of the central part of the basin, with emphasis on the Quaternary record, luminescence dating of sediments, and geoelectric profiles of the area. The results reveal by maps of structural lineaments and drainage channels of the rivers form valleys that are affected by faults and folds. In Apodi-Mossoró valley, anomalies of channel morphology are associated with the deformation of the post-rift basin. These anomalies show the reactivation of major fault systems in the Potiguar Basin in Cenozoic. On a regional scale, can be seen through the vertical electric profiles that the Cenozoic tectonics is responsible for the elevation of a macro dome NE-SE-trending 70-km long and 50km wide and up to 270 above sea level. In this sector, the vertical electric profiles data show that the contact between the Cretaceous and Neogene rise more than 100m. This Is an important feature of inversion data obtained in this work showed that the deposits that cover the macro dome (Serra do Mel) have ages of 119 ka to 43 ka. In the river valley and surrounding areas Apodi-Mossoró ages vary between 319 ka and 2.7 ka. From these data it was possible to establish the correct geochronological posiconamento paleodepósitos of distinguishing them from the fluvial deposits of the Neogene (Barreiras Formation)

Sistema de aquisição de dados para estudos de transiente de pressão e detecção de vazamentos em oleodutos

In February 2011, the National Agency of Petroleum, Natural Gas and Biofuels (ANP) has published a new Technical Rules for Handling Land Pipeline Petroleum and Natural Gas Derivatives (RTDT). Among other things, the RTDT made compulsory the use of monitoring systems and leak detection in all onshore pipelines in the country. This document provides a study on the method for detection of transient pressure. The study was conducted on a industrial duct 16" diameter and 9.8 km long. The pipeline is fully pressurized and carries a multiphase mixture of crude oil, water and natural gas. For the study, was built an infrastructure for data acquisition and validation of detection algorithms. The system was designed with SCADA architecture. Piezoresistive sensors were installed at the ends of the duct and Digital Signal Processors (DSPs) were used for sampling, storage and processing of data. The study was based on simulations of leaks through valves and search for patterns that characterize the occurrence of such phenomena