Avaliação das ações do Núcleo de Apoio à Saúde da Família (NASF) em Macaíba/RN

This research evaluated the contribution of the Support Center for Family Health (SCFH) in relation to its effect on the Family Health Units through perception of the Family Health Strategy (FHS) and SCFH professionals, in addition to the satisfaction of users in relation to that role. Data were collected in the public health services of the city of Macaíba-RN in 2012, through semi-structured questionnaire and non participant systematic observation and it counted as investigated subjects 272 individuals (60 FHS professionals, 12 SCFH professionals and 200 users representatives of 20 units). For analysis of the responses of the opened questions was used categorization process and, in relation to the observational method, that was based on checking the space organization, the characteristics of the participating subjects and the specific set of activities performed by SCFH teams through an observation guide. The results point to a good acceptance of the SCFH teams role by most FHS professionals who reported active participation in the health units routine, its integration activities to the FHS teams with resolving based health promotion actions. Regarding the SCFH professionals, they also reported positive contribution by participating actively in the units routine with integrated activities to the ESF teams and developing resolute actions. For users, the SCFH brought assurance services with better access to specialized, resolving and welcoming care. Systematic observation ratified data obtained by questionnaire. It was perceived the need to implement actions related to man`s health, to invest in expanding the number of the SCFH teams, the greater supply of medications, improving the regulatory process and planning together as a key strategy to promote a more effective integration between teams SCFH / FHS

Violência contra a mulher:uma análise do trabalho do Centro de Referência da Assistência Social-CREAS/Parnamirim-RN.

This work demonstrates the results obtained from research on violence against women: an analysis of the work from reference center of the Social Assistance-CREAS, held in the city of Parnamirim/RN from September 2008 extending through the february of 2009. Having as goal to investigate and examine in a longitudinal cut, which specifically covers the period from 2006 to 2007, find out extent the actions taken by the Reference Center Specialized Social Assistance- CREAS, contributed to the change of women who were there, by checking if there was any change in their positions ahead of the violence and if they began to realize how social subjects, able to control their living conditions and interfere in the orientation of social dynamics Have a particular emphasis on the presence of work and schooling or lack of them is also a factor to be allied to the barriers and rules imposed on women in contemporary society. In this study it was found through a qualitative research guided by dialectical and implemented through the use of documentary research, observation, semi-structured interview and an extensive theoretical background on the subject in question that the woman victim of violence is in a complex and contradictory context where there is both the construction and deconstruction of rights, a view that there are strong influences of patriarchal culture and the consequences of social issues that specifically searched for the public, focuses on social, economic , political, social and cultural. In this sense, the National Policy to Combat Violence against Women, operated by CREASE Parnamirim, is also reflected in its early stages in the life of these women are to nurture a real chance for these victims of violence, to perceive themselves as social subjects can control their lives and interfere in their own destinies. We want this study to add more knowledge to help and most appropriate intervention in this reality, but without the intention of reaching exhaustion, but to subsidize future studies on the topic of women victims of violence

Violência contra a mulher: uma análise do trabalho do centro de referência da assistência social-CREAS/Parnamirim

This work demonstrates the results obtained from research on violence against women: an analysis of the work from reference center of the Social Assistance-CREAS, held in the city of Parnamirim/RN from September 2008 extending through the february of 2009. Having as goal to investigate and examine in a longitudinal cut, which specifically covers the period from 2006 to 2007, find out extent the actions taken by the Reference Center Specialized Social Assistance-CREAS, contributed to the change of women who were there, by checking if there was any change in their positions ahead of the violence and if they began to realize how social subjects, able to control their living conditions and interfere in the orientation of social dynamics Have a particular emphasis on the presence of work and schooling or lack of them is also a factor to be allied to the barriers and rules imposed on women in contemporary society. In this study it was found through a qualitative research guided by dialectical and implemented through the use of documentary research, observation, semi-structured interview and an extensive theoretical background on the subject in question that the woman victim of violence is in a complex and contradictory context where there is both the construction and deconstruction of rights, a view that there are strong influences of patriarchal culture and the consequences of social issues that specifically searched for the public, focuses on social, economic , political, social and cultural. In this sense, the National Policy to Combat Violence against Women, operated by CREASE Parnamirim, is also reflected in its early stages in the life of these women are to nurture a real chance for these victims of violence, to perceive themselves as social subjects can control their lives and interfere in their own destinies. We want this study to add more knowledge to help and most appropriate intervention in this reality, but without the intention of reaching exhaustion, but to subsidize future studies on the topic of women victims of violence

Joker: um realizador de desenhos animados para linguagens formais

Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.

Uma abordagem para a verificação do comportamento excepcional a partir de regras de designe e testes

Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code

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

BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Protozoários de vida livre em dois trechos da bacia hidrográfica do rio pirangi (RN): relações com a educação em ciências e preservação

The vast hidric wealth of Brazil gets its watersheds more susceptible to impacts that compromise the water quality, affecting the ecosystem stability of aquatic environments. The decrease in the quality of water resources also results in a decrease of its multiple uses, especially in tourist areas of the coast, where the continuous flow of people to these sites increases even further the probability of inappropriate behavior of both tourists and local residents. Studies regarding the microbiological communities are still scarce, especially on the free-living protozoa that play unique roles in the food chain of aquatic ecosystems. Due to the large role played by this group of microorganisms in aquatic environments, the present study aimed at identifying the genus and species of free-living protozoa present in two sections of the Pium River, east coast of Rio Grande do Norte, making an association between the its occurrence and trophic conditions of the environment in which they are, also checking the bioindicator capacity of these organisms in water quality. It also aimed to conduct a survey with students to identify the main difficulties regarding the knowledge of free-living protozoa and hydric transmission diseases in two public schools near the river studied in the Pium district, county of Parnamirim. The survey was analyzed by means of questionnaires at both schools. Students identified several activities developed Pium river, highlighting its multifunctionality and importance to the region. A total of 76 taxa of free-living protozoa was recorded, of these, 33 were ciliates, 19 flagellates and 24 sarcodia. The spatial and temporal patterns of these organisms to both points studied revealed the bioindicator potentiality of some effective species identified. However, knowledge about the free-living protozoa proved quite lagged, presenting misconceptions that show them as pathogenic organisms exclusively, totally disregarding their ecological role. In order to remedy the flaws existing in students in relation to the functional role of protozoa, workshops were planned on these microorganisms while also addressing issues related to hydric transmission diseases through lectures, recreational activities and interactive presentations. These practical activities of Science Education had the goal of bringing students the context of local water resources, aiming to promote a greater clarification regarding of the functional role of free-living protozoa in aquatic environments

Análise multitemporal dos elementos geoambientais da região da Ponta do Tubarão, área de influência dos campos petrolíferos de Macau e Serra, município de Macau/RN

The study area is inserted in Ponta do Tubarão region, Macau City, setentrional littoral of Rio Grande do Norte State, composed of Tertiary and Quatemary sedimentary rocks and sediments. This region is characterized for the intense action of the coastal processes, causing the morphologic instability in part of the area, beyond the interference of human activities, as the Petroliferous Industrial Polo, salt companies and shrimp farms. This justifies the integration of multidisciplinary and multitemporal detailed scientific studies dealing with the evaluation of the changing behavior of this coastal environment by geoenvironments elements characterization, identifying protected and recuperation areas, mainly those under socioeconomic intervention. The main objective was the coastal monitoring using geoprocessing techniques to prepare thematic maps useful for oil spilling environment risk areas survey. The methodology was based on multitemporal interpretation of remote sensing images and field checking, integrated in a Geographical Information System (GIS). The Geologic, Geomorphologic, Vegetation, Soil and Land Use maps were prepared, and later on they allowed the generation of the Natural Vulnerability and Environmental Vulnerability maps. These maps had been classified in accordance with vulnerability degrees: very low, low, medi um, high and very high. Beyond these maps the GIS allowed the analysis of the shoreline evolution for 10 distinct dates, using Landsat 5 TM and 7 ETM+ and SPOT-HRVIR images. This analysis made possible the attendance of the coastal morphodynamic evolution, where the results had been represented by areasof erosion and accretion (or deposition) of sediments, pointing critical areas under erosive process to the petroliferous industry (Macau and Serra fields). The GIS also provided to prepare the Environmental Sensitivity Maps of Oil Spill (SAO Maps) in operational scale (1: 10.000), according to the norms ofthe Ministério do Meio Ambiente (MMA 2002). The SAO Map in operational scale was based on IKONOS images mosaic where the ESI (Environmental Sensitivity Index) was represented according with two tides phases of theregion. Therewere recognizedfiveESI (3, 4,7,9, 1O) for the low tide; to the high tide the ESI number increased to seven (3, 4, 5, 7, 8, 9, 10). All these information are necessary to the decisions making about oi! spill and its derivatives containment. These techniques application makes possible the optimization and implantation ofnew socioeconomics activities of low environmental impact, indicates areas for better productivity and security exploration, and benefits local communities with fauna and flora preservation. The development of these activities is inserted in the scope of Monitoramento Ambiental de Áreas de Risco a Derrames de Petróleo e Seus Derivados Cooperation Project (Rede 05/01 - PETRORISCO, FINEP/CTPETRO/PETROBRAS) of multidisciplinary and interinstitucional characteristics dealing with subjects involving the environmental monitoring and the petroliferous activity

Praia de Ponta Negra: uma abordagem da paisagem costeira de 1970 a 2010, Natal/RN

With process urbanization process the Brazilian cities have been goin through, Natal/RN does not differ from the other ones, it has had a fast, inordinate and planned urbanization, but not applied, it has caused a high increase of social environmental problems. One of the worrying problems observed is the change in the coastal landscape, which has caused serious damage to the city‟s population, more specifically, of Ponta Negra beach neighborhood. For the geographical studies, the issue, concerning the occupation of the beaches that has been getting higher and higher in the last decades is extremely important because these, in addition to being used as homes in the new urban configuration, have incorporated new ways of environmental interference, without a simultaneous advance of knowledge which would be necessary for a more suitable and rational use of litoral spaces. Thus, the current assignment aimed to focus the coastal landscape of Ponta Negra Beach, in the city of Natal/RN, checking and analyzing the effects caused by anthropic and natural action, and the way it reflects in the quality of life of the resident, working population and of the frequenters as well as the landscape transformations in the area which is object of study, from 1970 through 2010. The methodology used followed to stages, the first concerned the theoretical work bibliographic surveying and composition; and second one the empirical work marking of the environmental characterization and application of the questionnaires. So, we can measure that Ponta Negra, is very susceptible to environmental changes, the ones caused by the natural dynamics of the beach, as well as the human actions (society) in this really fragile and mutable space, so it needs, a more profound systematic study about the coastal landscape. In order to reach a minimization of the change of the landscapes in the coastal zones there must be an integrated management of the environments, based on the planning of actions and territorial reordination of the occupations of these so important spaces, environmentally, as well as socioeconomically. Whereas, only this way, we will have a sustentable development and a suitable use of that space