Nervos: rede de discursos e práticas de cuidado na atenção básica no município de Natal/RN

The Primary Health Care and one of its main strategies, the Family Health Strategy (ESF), are framed as the gateway to the Public Health System (SUS). Thus, most of the incident and prevalent health problems in the population attended should be solved at this level of care, including psychological suffering, and the so-called complaint of nerves. Nerves and nervous denote a complexity that is not always well comprehended by health workers, in such a way that the care to this kind of problem is usually inadequate. In this line of thought, the general objective of this study is to analyze the network of discourses and the care to the psychological suffering, expressed as nerves, in SUS daily Primary Health Care. Besides and more specifically, it aims at identifying the principles and guidelines of the Primary Health Care in mental health; to investigate health workers positioning before psychological suffering and complaints of nerves, and also analyze different actions and practices of care carried out in different Health Units towards complaints like nerves. Institutional Ethnography was the theoreticalmethodological perspective adopted for the work. This approach seeks to understand and analyze the institutional relationships in a particular context considering sociostructural influences and power relations, as well as daily discourses and practices. Based on interviews with health professionals, informal conversations and observations in six Health Units with ESF teams from different sanitary districts in Natal/RN, it was possible to check that the index of complaint of nerves is high. The referral to psychologists and psychiatrists, as well as the prescription of psychotropic drugs appear as the most common intervention at this level of care. In general, the participants complain that they have poor specialized knowledge about the theme of mental health. They face the problem of bad work conditions and the lack of institutional support, which make actions of illnesses prevention and health promotion even more difficult. Besides, there are different ongoing practices such as meetings for hypertensive and aged people, walk, visit, round-table discussions and community therapy. However, not all of these actions are aimed at the care of psychological suffering. It is observed that the Matrix Support, which is a methodological strategy of supervision and follow up forcases of mental health, hasn t been totally implemented in the municipal system, although it is a tool that has been used by psychologists in some Health Units in the city. It was also verified that the health care practices to the problem of nerves strongly depend on the professional s commitment with the PSF guidelines and on mental health policies, in addition to continued support, when available, from other professional who works as matrix supporter

Estratégias de cuidado integral à saúde: os CAPS no processo de implementação do apoio matricial em Natal/RN

This study aims to analyzing the implementation of the Matrix Support proposal with professionals of Substitutive Services in Mental Health in the city of Natal/RN. The Matrix Support (MS) is an institutional arrangement which has been recently adopted by the Health Ministry, as an administrative strategy, for the construction of a wide care net in Mental Health, deviating the logic of indiscriminate follow-through changed by one of co-responsibility. In addition to this, its goal is to promote a major resolution as regards health assistance. Integral attention, as it is intended by the unique health system, may be reached by means of knowledge and practices interchange, establishing an interdisciplinary work logic, through an interconnected net of health services. For the accomplishment of this study, individual interviews of semi-structured character were used as instrument, with the coordinators and technical staff of the CAPs. The data collection was done in the following services: CAPS II ( East and West) and CAPS ad ( North and East), in the city of Natal/RN. The results point out that the CAPs to initiate of the discussion the process in the implementation of the MS aiming, to promote the reorganization and redefinition of the flow in the net, thus not acting in a fragmented way. Nevertheless, there is no effective articulation concerning the basic attention services, there is a major focus of the attention in mental health on the specialized services, little insertion in the territory and in the everyday life of the community

A eliminação do mosquito do dengue em ambientes residenciais: uma questão de cuidado ambiental?

Dengue is currently considered one of the most relevant public health problems worldwide. Studies indicate the surroundings of the houses as the preferred sites for the proliferation of Aedes aegypti. The residential areas are privileged environments for human development and contribute to the formation of the individual s identity and for the establishment of affective, social and cultural bonds. The purpose of this study was to investigate possible links between psychological indicators of pro-environmentalism and conservation status of residential backyards. Data collection was performed in 147 homes and methodological strategy involved the use of interview, the Scale of Ecocentric and Anthropocentric Environmentalism, Scale of Consideration of Future Consequences and a tool for environmental evaluation. It was found that the participants expressed as environmental practices the garbage recycling, besides they had the knowledge of how the transmission of dengue occurs. These residents showed ecofriendly motivated commitment: pro-environmentalist ecocentric and anthropocentric. In evaluating the backyard it was verified that the conservation conditions, in almost half of the homes, appeared as carelessness on the part of residents and those conditions are conducive to the proliferation of Aedes aegypti. The pro-environmentalists and guidance for the future identified by the scales were not associated with the conservation status of the backyards. However, it was found that the trends of reduction and stability of infestation levels are associated with self-reported environmental care. These results can contribute to the discussion and design of new mosquito control actions and practices of education and health information among the population

Cuidado ambiental em tempos de sustentabilidade: explorando dimensões da conduta sustentável com estudantes universitários

The pro-ecological commitment (CPE) constitutes an important topic within Person- Environment Studies, here seen as a predisposition to practices that result in environmental protection. Under the framework of sustainability, the concept of sustainable behavior emerges, covering, in addition to CPE, new psychological dimensions such as: the future time perspective (PTF) and the ecological worldviews (VEM). The current study intended to explore the concept of sustainable behavior of university students, by means of the association among some of its dimensions: CPE, PTF and VEM. For this purpose, 380 undergraduate students of biology, ecology, nursing, geography, and social service answered a form containing: socio-demographic questionnaire, a question on self-assessment of environmental care, the Scale of Ecocentric and Anthropocentric Environmentalisms, the Scale Consideration of Future Consequences, and the Scale Ecological Worldviews. Based on descriptive and correlational procedures, it was found that 78% of the participants practice or have practiced environmental care (caregivers) and the spread of information has been the practice more frequently reported, and the source of influence for such practices were the school, social networks, and the contact with nature It was also observed the association between practice of environmental care and ecocentric environmentalism, consideration of future consequences and egalitarian worldview (worldview of fragile nature). The lack of environmental care was associated with anthropocentric environmentalism, apathy, and individualistic worldview (worldview of passivity). As expected, and suggested by the literature, positive association were found between the sustainable behavior dimensions investigated in this study and the practice of environmental care

Caminhos e descaminhos da adesão ao tratamento anti-hipertensivo :um estudo com usuários do Pacha (Programa de Assistência e Cuidado da Hipertensão Arterial) do Hospital Universitário Onofre Lopes

The high blood pressure is a multifactorial chronic disease which possesses emotional and social features in the illness appearance and evolution and in the adherence to the treatment which involves a decision-making through patient so that he or she process the necessary changes on harmful living habits. Adhesion, traditionally, it is referred to the patient to answer to the doctor orientations or of other health professional, about the appearance to the appointment with a doctor, about the use of medicine or lifestyle changes and maintaining this adhesion is the main problem to be overcame. It is expected the adhesion will ever be a continual, stable and satisfactory action, disregarding the complexity of subjectivity processes which permeate the sicken. This research aimed to investigate the difficulties which the person with high blood pressure has to adhere to the treatment, from the signification processes which give sense to the actions dealing with the adhesion. The study was carried out with 48 users of assistance program to the high blood pressure patient from Hospital Universitário from Natal RN, between 40-65 age. The answers were submitted to a double analysis process: 1) answer systematization in categories and codes and admission in statistical program SPSS (Statistical Package of Social Science), for generation of descriptive statistics; 2) Sense and signification analysis which permeated the deepener statement and interpretatively. The greater difficulties found are present on low-salt and law-calorie diets, in the dealing with everyday feeling and stress, being these factors cited as direct motive to the high blood pressure, regardless of interviewee s sex. It is observed there is not adhesion, but adhering, as an experienced everyday process. This work contributes with its results, assessing the used strategies by program with the aim of increasing the adhesion rates

O oncologista clínico diante da morte: implicações para a produção do cuidado

It is undeniable that all the extraordinary technological advances in contemporary society have increased the severe patients expectation and quality of life, especially cancer patients. On the other hand, it is easily verifiable by many researches that it was not possible to advance in the same proportion in caring for the human experience of death. Much is said about the anguish of a man facing death, of cancer patients in terminal stage, about their families, and very little about the feelings, anxieties and ways of coping with the medical professional who deals with this situation, specifically the clinical oncologist. Little is known about the experience of the doctor who has learned to take death as an enemy to be defeated, and increasingly is compelled to live at length with his advertisement. However, we started to watch in recent years a growing interest of researchers in this issue. This study seeks to add to this interest in order to understand the experience of clinical oncologists that accompany dying patients, the meanings they attach to death, ways of coping and the implications for providing care. This is a qualitative study in which was used as a tool for data collection an in-depth interview with the projective using script and scenes. Gadameriana Hermeneutics was used for analysis and interpretation of narratives. The subjects were 10 clinical oncologists who work at two institutions from cancer treatments in the state of Rio Grande do Norte, chosen from a variation in the time working in the specialty (minimum of one year, even old ones). However, you can bring some initial results for the dialogue. It was found that the death is still a topic that causes many difficulties in the daily lives of these professionals, the choice for oncology involves dealing with death without preparation in medical education; being close to the patient in the final moment, supporting the family, coping with own pain of loss and the inability to heal. These are central elements of the narratives. We also have investment in medical training and continuing education in setting up a demand that permeates the discourse of participants. Being able to listen to the subjective world of clinical oncologists will support the work not only for them as other professionals who deal with patients with advanced cancer, providing evidence to understand to what extent the meanings attributed to its know-how before patients on the verge of death interfere with the production of care and allow identify coping strategies in everyday life of these professionals that hinder or facilitate coping with death, promote or preclude the care with others and with themselves. It is hoped that research can contribute to the field of knowledge about the know-how in clinical oncology and their terminal-care-death oncologist-patient relationships, bringing runways capable of promoting a better quality of care in the production of all involved in this process: professionals, patients and families

Os agentes funerários e a morte: o cuidado presente diante da vida ausente

The present time is marked by the art of escape from death, which has become synonymous with failure, its exposure has become intolerable and the care of the dead body were assigned to third parties who market this practice through services and products that shape the market undertaker. In this context, in which death is an object of study, has arisen funeral officers, as professionals dealing with a dead body, with the pain of relatives and their reactions, often being the first to have contact with the death scene. As professionals in the health area, the morticians also deal with death. The first attempt to prevent the arrival of death, funeral officers already has begun their work routine from there. Death and its surrounding part of their profession. What about those professionals whose work demands as a feared and denied by society? This study aims to understand the intents, meanings and implications for the mortician to deal with death in their daily work in order to focus renewed attention to the care of these professionals. To this end, it was carried out a qualitative research grounded in the theoretical framework of Gadamerian hermeneutics for production and interpretation of narratives. It was used two methodological strategies for data collection: in-depth interview with script and workshop with the use of "scenes". Research participants were nine morticians funeral of two funeral agencies of the city of Natal. It was possible to detect the presence of the social imaginary of interdiction on the theme of death from living with feelings of his presence daily, from the need of respondents to naturalize their contacts with death, a requirement of their office to deal with the difficulties of manipulating body fluids and odors, sometimes in a state of decomposition; allied to wishes to achieve the goal of delivering to family-customers a "embellished" body for the final farewell. Being a mortician, in addition to not being a professional motivation, involves facing difficulties related to heavy routine work, low salaries, unprofitable work materials and equipments, besides having to deal with the social gaze that devalues the profession. In turn, they also deal with the pain coming especially from contact with family members, either when they are targets of these feelings of anger, whether they identify with the pain of the bereaved ones. On the other hand, when the recognition and gratitude of the families occur, they find meaning and beauty in their profession of caring for the dead body. The present study by giving voice to morticians has become possible to understand better their profession, the pain that surrounds and care needs of these workers. Finally, it has argued that the mortician may be recognized as a care professional for the way exercising caution with the dead body and their families.

Contando histórias de cuidado à infância em unidade de terapia intensiva pediátrica

The tales of children's literature, in their plots, mark existential dilemmas belonging in human‟s lives, such as death, situations of separation, loss, abandonment, fear, challenges, achievements and other elements that make them suitable material to assist children in their developmental process. Such elements, present in children‟s storybooks, are close to the experiences lived by the children in the context of hospitalization in a special manner. With that said this study focus on the understanding of the therapeutic possibilities of the tales of children's literature in the care of hospitalized children in Pediatric Intensive Care Units (UTIPED) based on the Heidegger's concept of Care and adopting the Phenomenology as the method. The UTIPED of a state public hospital located in the municipality of Natal/RN was elected as the study site and four hospitalized children aged between six and nine years, all males, presenting different clinical conditions were selected to participate in the study following age and clinical conditions as the selective criteria. The procedure of corpus construction included eight individual sessions of storytelling accompanied by the use of ludic resources. The phenomenological understanding about the therapeutic possibilities of tales was structured under three main elements: (1) the ludic axis; (2) the reflective axis; and (3) the affective axis. The appropriateness of the proposed therapy in the context of the UTIPED and the potential of the tales as a protection factor to the child was evident. The storytelling activity framed a scenario of care unusual in the context of intensive care units, establishing a symbolic space for children‟s expression. Therefore, this study indicates this therapeutic proposal for children‟s care in the UTIPED that considers their evolutionary stage, their clinical conditions at the time and especially their emotional needs during their immersion in a diverse and foreign environment which is filled with potentially harmful elements to their full development.

As diretrizes da política pública de saúde bucal e suas inflexões nos serviços da Clínica Odontológica da UFRN

The crisis that the Brazilian State have been crossing throughout the last decades has revealed intense oscillations in the the way of life of the population reality. In the health area, specifically of buccal health, new alternatives of attending to demands for odontological services have been increasing from the 1990 decade. The research had as objective to analyze the demand of the services of the clinic-school of odontology of the UFRN to identify the socio-economic profile of the users and the inflections of the standards of the National Politics of Buccal Health. The methodology is based on a dialectic perspective and a quali-quantitative boarding. It was used as instrument of data collection forms with open and closed questions, applied to two distinguished groups of citizens: 53 users of the services and 12 pupils of 9th and 10th term of the Odontology Course. The results reaffirm that, with the aggravation of the crisis of SUS (Sistema Único de Saúde- Single Health System) grow the difficulties of accessing the odontological services of the users majority. The subjects of the research make use of a regular socio-economic condition, with high school, own house, formal bond to labor and monthly medium income between 1 and 2 minimum wages. The conclusive analyses point to the selective and exculpatory character of the buccal health right, mainly, those users who find themselves in situation of extreme poverty and social vulnerability. Immediate and of lesser cost odontological assistance is what it s aimed, but the standards praised in the Public Politics of Buccal Health walk in another direction, requiring a bigger strongness of the formation bases and implementation of the programmatical actions since the academic field until the effectiveness of Politics of Buccal Health as a right while as a right to attention and care

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Consulta de enfermagem: estratégia de cuidado ao portador de hanseníase em atenção primária

Objetivou-se analisar instrumento de consulta de enfermagem utilizado no atendimento de portadores de hanseníase e identificar as principais necessidades de saúde e as ações de enfermagem propostas. Fizeram parte desta pesquisa 37 usuários, sendo 27 em poliquimioterapia e 10 em seguimento pós-alta medicamentosa. A coleta de dados ocorreu no período de dezembro de 2003 a dezembro de 2006, por meio dos instrumentos de consulta de enfermagem - Caso Novo e Consulta de Seguimento, baseados no processo de enfermagem proposto por Horta com adaptações. Fez-se uso da estatística descritiva para a análise dos mesmos. Conclui-se que o instrumento foi potente na identificação de necessidades das diversas esferas que se relacionam ao processo saúde-doença, facilitando intervenções conjuntas com a equipe multiprofissional, contribuindo para a prevenção de agravos, especialmente das incapacidades físicas, com a melhoria da saúde dos indivíduos, bem como com a educação em saúde destes e de seus familiares.