Cartografia da percepção de mês e profissionais sobre a atenção a saúde de crianças/adolescentes soropositivos no município de Natal

This study had as objective to identify to the perception of mothers and professionals of health on the attention to the health of HIV-Positive children/adolescents in the city of Natal-RN. It is a descriptive-exploratory study with quantitative and qualitative approach, carried through in the Giselda Trigueiro Hospital and in the State and Municipal Health Councils in Natal - RN, from march to december of 2005. The sample was composed by 56 participants, 33 mothers of children who use specialized assistance and 23 professionals. Data collection occurred with the application of a half-structuralized interview. Quantitative data were analyzed through descriptive statistics and qualitative data were submitted to content analysis. Prevailing categories in relation to the cartography of the attention to seropositive children and adolescents in Natal were: Organization and dynamics of the attention; Institutional management and human development; Control and prevention; other contexts of attention; relationship/communication team-patient and organization and functioning of the services. The profile epidemiologist of the children, adolescents and of the people/mothers, who take care of them with HIV/Aids, followed the evolution of the epidemic in the country and the world. It was verified that mothers need care and information; however they make a positive evaluation of the attendance they receive. It was also observed many gaps in the services of assistance, in which the researched group was attended, beyond imperfections in the communication between health professionals and users. The professionals recognize the advances that the politics represent for the assistance of people with Aids; however feel themselves limited by the precariousness of the system and the partner-economic conditions of the people. According to these data, it can be verified great challenges to go through in the context of integrality of the assistance to HIV positive children and adolescents in the city of Natal and in the improvement of the communication in the institution of reference

Sociedade civil no espaço de atuação com juventude: uma cartografia social

This report has as its objective the setting up of a social cartography, mapping and characterizing non-governmental organizations working with adolescents and young people (OSC) in the western districts of the city of Natal. Characteristics such as the profile, themes and principal activities, how the organizations fit into the public sector and their participation in social networks are observed. Thus common differences and similarities which serve as a means of indentification, take as reference the symbolic cartography of Boaventura of Sousa Santos. Since there are relatively few studies relating to civil society of Rio Grande do Norte and in particular, Natal, the starting point was the setting up of a database allowing for a general overview. Hence a panorama of the organizations could be observed: where they are located, when they were formed how they operate and their relationships with other sectors (the state, the market and civil society) in addition to basic facts and location. The principal lines of enquiry were a) the OSC which operate with the public comprising adolescents and young people and b) the OSC operating or having branches in four suburbs on the periphery of the western administrative region of the city (Felipe Camarão, Bom Pastor, Cidade Nova and Guararapes).The present report has identified the impacts of ongoing social transformation caused by the process of globalization ,by the various currently contested political projects which are as follows: the project of neoliberal globalized capitalism(hegemonic)and the project of social emancipation (contra-hegemonic),how these are seen from the local viewpoint and how they influence the profiles and operation of the cartographic organizations. The area of the OSC is a heterogenous one with political, cultural and ideological strains, characterized by its infiltration, its local/global and multicultural dimensions. As civil organizations are fundamental in the processes of transformation within society, and following the idea of social emancipation referred to by Boaventura Santos, the enquiry classified the organizations according to the afore-mentioned characteristics, establishing eight types of associations. These different types and their respective characteristics were analysed from a related perspective using the mechanisms of symbolic cartography: scale, projection and symbolisation. The theoretical references underpinning this research arise from the debate on civil society which becomes redefined as a result of the dispute involving the two afore-mentioned political projects. These demand the theoretical application of the comprehension of heterogeneity in its diversity and complexity together with the idea of social emancipation.The main authors consulted were Boaventura de Sousa Santos, Antonio Gramsci, through the texts translated by Marco Aurelio Nogueira; Carlos Nelson Coutinho and Alberto Rivera ,who supported the construction of the types of associations identified by the local reality.Finally this research enabled an understanding of the current form of social action happening in the Space of the Four Neighbourhoods (Espaço dos 4 Bairros) and how the distinct profiles analysed together with the ares of operation of the organizations define their emancipatory potencials within the following two poles: regulation/adaptation and emancipation/transformation

As práticas educativas na saúde da família: uma cartografia simbólica

This qualitative research aimed to understand the educational activities carried out in Family Health Units, of the municipality of Mossoró-RN. It was used symbolic cartography to organize and present data from reality. It started on the approach of Health Education and knowledge transformation practice, aiming at the development of autonomy and responsibility of individuals and healthcare, publicized by the appreciation of the interpersonal relations area established in services, such as educational emancipator practices contexts. Individual and collective interviews were realized, conducted with health professionals and users of ESF, about themes, activities, membership, the difficulties, the potential and the design of health education that permeate everyday Family Health Strategy. From what was apprehended, thematic maps were done with the analysis of educational practices of professionals belonging to the Family‟s Health. Links are built with the wires of conceptions of education reflected on themes and activities of family health teams. The storylines are rebinded by voices about the difficulties and the potential of educational processes for emancipator postures. For users, health education means proper care and information on disease prevention. Professionals understand that it is all information that is given to users, about health, social well-being, economic and general condition of human being as a way of preventing and treating disease. Mark printed on voices denote that activities and themes worked don‟t motivate users enough for their participation, being that physicians and dentists also get excluded themselves from educational practices. Elderly groups are those who get most involved with the activities. The size of the contained area and its seclusion from community make harder the access of users, as well as diminishing the quality of educational actions and links users-professionals. Therefore, the searching for medicines, medical consultations and wish to be well served are trademarks of voices from the users that interconnect with enlightening information and guidelines offered by professionals to users. It brings out practices that need to incorporate the social, the subjective and act with practices of prevention and health promotion, on the basis of lifestyles. The dialogical model, which needs to be approached since planning phase of health education actions could arouse interest of involved groups; promoting a relationship of dialogue and listening; discussing the local reality; stimulating practical methodological dialetics; promoting processes of deconstruction of concepts, values and attitudes, as more necessary than construction, using multiple languages. The defended thesis denotes paths to other studies aimed at understanding a dialogical template committed to exchanges of knowledge, and discover strategies that encourage formation of critical consciousness and the discovery of how is the training of new generations of healthcare professionals to belong to the project of society, in its technical, scientific, pedagogical, ethical, political and humanistic dimensions

Uma solução para geração automática de trilhas em língua brasileira de sinais em conteúdos multimídia

Deaf people have serious difficulties to access information. The support for sign languages is rarely addressed in Information and Communication Technologies (ICT). Furthermore, in scientific literature, there is a lack of works related to machine translation for sign languages in real-time and open-domain scenarios, such as TV. To minimize these problems, in this work, we propose a solution for automatic generation of Brazilian Sign Language (LIBRAS) video tracks into captioned digital multimedia contents. These tracks are generated from a real-time machine translation strategy, which performs the translation from a Brazilian Portuguese subtitle stream (e.g., a movie subtitle or a closed caption stream). Furthermore, the proposed solution is open-domain and has a set of mechanisms that exploit human computation to generate and maintain their linguistic constructions. Some implementations of the proposed solution were developed for digital TV, Web and Digital Cinema platforms, and a set of experiments with deaf users was developed to evaluate the main aspects of the solution. The results showed that the proposed solution is efficient and able to generate and embed LIBRAS tracks in real-time scenarios and is a practical and feasible alternative to reduce barriers of deaf to access information, especially when human interpreters are not available

Trendtv : uma arquitetura para mudança automática de canais de TV baseada em redes sociais virtuais com graus de amizade e suporte a múltiplos dispositivos no cenário da TV digital brasileira

Due to the large amount of television content, which emerged from the Digital TV, viewers are facing a new challenge, how to find interesting content intuitively and efficiently. The Personalized Electronic Programming Guides (pEPG) arise as an answer to this complex challenge. We propose TrendTV a layered architecture that allows the formation of social networks among viewers of Interactive Digital TV based on online microblogging. Associated with a pEPG, this social network allows the viewer to perform content filtering on a particular subject from the indications made by other viewers of his network. Allowing the viewer to create his own indications for a particular content when it is displayed, or to analyze the importance of a particular program online, based on these indications. This allows any user to perform filtering on content and generate or exchange information with other users in a flexible and transparent way, using several different devices (TVs, Smartphones, Tablets or PCs). Moreover, this architecture defines a mechanism to perform the automatic exchange of channels based on the best program that is showing at the moment, suggesting new components to be added to the middleware of the Brazilian Digital TV System (Ginga). The result is a constructed and dynamic database containing the classification of several TV programs as well as an application to automatically switch to the best channel of the moment

ISE-SPL: Uma abordagem baseada em linha de produtos de software aplicada à geração automática de sistemas para educação médica na plataforma E-learning

E-learning, which refers to the use of Internet-related technologies to improve knowledge and learning, has emerged as a complementary form of education, bringing advantages such as increased accessibility to information, personalized learning, democratization of education and ease of update, distribution and standardization of the content. In this sense, this paper aims to develop a tool, named ISE-SPL, whose purpose is the automatic generation of E-learning systems for medical education, making use of concepts of Software Product Lines. It consists of an innovative methodology for medical education that aims to assist professors of healthcare in their teaching through the use of educational technologies, all based on computing applied to healthcare (Informatics in Health). The tests performed to validate the ISE-SPL were divided into two stages: the first was made by using a software analysis tool similar to ISE-SPL, called SPLOT and the second was performed through usability questionnaires to healthcare professors who used ISESPL. Both tests showed positive results, proving it to be an efficient tool for generation of E-learning software and useful for professors in healthcare

Classificação Automática de Modulação Digital com uso de Correntropia para Ambientes de Rádio Cognitivo

Modern wireless systems employ adaptive techniques to provide high throughput while observing desired coverage, Quality of Service (QoS) and capacity. An alternative to further enhance data rate is to apply cognitive radio concepts, where a system is able to exploit unused spectrum on existing licensed bands by sensing the spectrum and opportunistically access unused portions. Techniques like Automatic Modulation Classification (AMC) could help or be vital for such scenarios. Usually, AMC implementations rely on some form of signal pre-processing, which may introduce a high computational cost or make assumptions about the received signal which may not hold (e.g. Gaussianity of noise). This work proposes a new method to perform AMC which uses a similarity measure from the Information Theoretic Learning (ITL) framework, known as correntropy coefficient. It is capable of extracting similarity measurements over a pair of random processes using higher order statistics, yielding in better similarity estimations than by using e.g. correlation coefficient. Experiments carried out by means of computer simulation show that the technique proposed in this paper presents a high rate success in classification of digital modulation, even in the presence of additive white gaussian noise (AWGN)

Arquiteturas eficientes para sensoriamento espectral e classificação automática de modulações usando características cicloestacionárias

The increasing demand for high performance wireless communication systems has shown the inefficiency of the current model of fixed allocation of the radio spectrum. In this context, cognitive radio appears as a more efficient alternative, by providing opportunistic spectrum access, with the maximum bandwidth possible. To ensure these requirements, it is necessary that the transmitter identify opportunities for transmission and the receiver recognizes the parameters defined for the communication signal. The techniques that use cyclostationary analysis can be applied to problems in either spectrum sensing and modulation classification, even in low signal-to-noise ratio (SNR) environments. However, despite the robustness, one of the main disadvantages of cyclostationarity is the high computational cost for calculating its functions. This work proposes efficient architectures for obtaining cyclostationary features to be employed in either spectrum sensing and automatic modulation classification (AMC). In the context of spectrum sensing, a parallelized algorithm for extracting cyclostationary features of communication signals is presented. The performance of this features extractor parallelization is evaluated by speedup and parallel eficiency metrics. The architecture for spectrum sensing is analyzed for several configuration of false alarm probability, SNR levels and observation time for BPSK and QPSK modulations. In the context of AMC, the reduced alpha-profile is proposed as as a cyclostationary signature calculated for a reduced cyclic frequencies set. This signature is validated by a modulation classification architecture based on pattern matching. The architecture for AMC is investigated for correct classification rates of AM, BPSK, QPSK, MSK and FSK modulations, considering several scenarios of observation length and SNR levels. The numerical results of performance obtained in this work show the eficiency of the proposed architectures

Compressão Seletiva de Imagens Coloridas com Detecção Automática de Regiões de Interesse

There has been an increasing tendency on the use of selective image compression, since several applications make use of digital images and the loss of information in certain regions is not allowed in some cases. However, there are applications in which these images are captured and stored automatically making it impossible to the user to select the regions of interest to be compressed in a lossless manner. A possible solution for this matter would be the automatic selection of these regions, a very difficult problem to solve in general cases. Nevertheless, it is possible to use intelligent techniques to detect these regions in specific cases. This work proposes a selective color image compression method in which regions of interest, previously chosen, are compressed in a lossless manner. This method uses the wavelet transform to decorrelate the pixels of the image, competitive neural network to make a vectorial quantization, mathematical morphology, and Huffman adaptive coding. There are two options for automatic detection in addition to the manual one: a method of texture segmentation, in which the highest frequency texture is selected to be the region of interest, and a new face detection method where the region of the face will be lossless compressed. The results show that both can be successfully used with the compression method, giving the map of the region of interest as an input

Estudo de propriedades críticas em sistemas complexos: método de procura automática em sistemas tipo Ising e percolação de longo alcance

The new technique for automatic search of the order parameters and critical properties is applied to several well-know physical systems, testing the efficiency of such a procedure, in order to apply it for complex systems in general. The automatic-search method is combined with Monte Carlo simulations, which makes use of a given dynamical rule for the time evolution of the system. In the problems inves¬tigated, the Metropolis and Glauber dynamics produced essentially equivalent results. We present a brief introduction to critical phenomena and phase transitions. We describe the automatic-search method and discuss some previous works, where the method has been applied successfully. We apply the method for the ferromagnetic fsing model, computing the critical fron¬tiers and the magnetization exponent (3 for several geometric lattices. We also apply the method for the site-diluted ferromagnetic Ising model on a square lattice, computing its critical frontier, as well as the magnetization exponent f3 and the susceptibility exponent 7. We verify that the universality class of the system remains unchanged when the site dilution is introduced. We study the problem of long-range bond percolation in a diluted linear chain and discuss the non-extensivity questions inherent to long-range-interaction systems. Finally we present our conclusions and possible extensions of this work

Cartografia de uma intervenção comunitária para prevenção de DST/HIV/AIDS

Community-based interventions have been presented as a proposal of operationalization of the concept of vulnerability to STD/Aids prevention. This study aimed to analyze the Community intervention developed through the project Strengthening of Community action networks for STD/Aids prevention: know and intervenein, at Mãe Luiza neighborhood, in the city of Natal, State of Rio Grande do Norte, Brazil. The study was conducted in the same location where intervention occurs and took as time reference the first 30 months of construction and deployment process, from April 2010 until December 2012. This is research with qualitative approach, participatory character, developed from the immersion of the researcher in the field, being this community intervention itself. In this perspective, the study approximates to the Cartographic method in which the researcher-researched is engendered in the acts and effects research. The data-generating sources were the memories of the researcher from the field notes, written narratives of subjects involved in the intervention and documents pertaining to the project. In the methodological path of cartography, the image of the rhizome by Deleuze and Guattari (1995) has accompanied the immersion in the field given the nature of research-intervention which approach to the concept of object-Rhizome. The presentation of results was composed for the attempted rhizomatic and a hypertext representation, based on the descriptive narrative taken from the documentary analysis and the multi-faceted narratives with the voices, the looks and the affections narrated by the subject involved, respectively. On the path taken, three lanes were drawn as synthesis of learning produced by experience-that can contribute to understanding the process under study, in his singular character, and reflections on other experiences of community intervention: track 1- Community intervention as active-reflective space and a cause; track 2 Inclusion as power and challenge of community involvement; track 3 Sustainability as A challenge of Community intervention. The study indicates that community intervention is presented as a potential producer of health as also produces practical and creative skills, subjects and inventive in the daily life of the community with a view to reinventing knowledge and practices for the prevention of STD/HIV/Aids

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification