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

Estratégias de coping desenvolvidas por cuidadores de idosos portadores de doença crônica

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Locomoção, distúrbios neuropsiquiátricos e alterações do sono de pacientes com demência e seus cuidadores

INTRODUÇÃO: Os distúrbios neurodegenerativos representam condições clínicas graves, por provocar declínio neuropsíquico. OBJETIVO: Analisar a prevalência dos distúrbios neuropsiquiátricos em pacientes com demência, em relação à sua locomoção (independentes vs. dependentes), e no que se refere ao desgaste emocional e à qualidade do sono dos cuidadores. MATERIAIS E MÉTODOS: Participaram do estudo 34 sujeitos, assim divididos: dez pacientes independentes para locomoção e sete dependentes (cadeirantes); dez cuidadores dos pacientes independentes e sete cuidadores de pacientes dependentes. Os sujeitos foram avaliados no Ambulatório de Neuropsiquiatria da Universidade Estadual de Campinas. Para avaliar as funções cognitivas, utilizou-se o CAMCOOG; para quantificar frequência, intensidade e desgaste do cuidador, aplicou-se o Inventário Neuropsiquiátrico; e para mensurar as alterações do sono dos cuidadores, foi utilizado o Miniquestionário do Sono. A análise estatística foi realizada por meio dos testes U - Mann Whitney e índice de correlação de Spearman, ambos com 5% de significância. RESULTADOS: Com relação à prevalência dos distúrbios neuropsiquiátricos entre os pacientes, observou-se diferença estatisticamente significativa entre os grupos, especificamente no que se refere à irritabilidade (p < 0,05) e ao escore total dos distúrbios neuropsiquiátricos (p < 0,01). Também foram encontradas diferenças entre os grupos de cuidadores, com relação às alterações do sono (p < 0,05). CONCLUSÃO: Idosos independentes para locomoção apresentam menor prevalência dos distúrbios neuropsiquiátricos, quando comparados a idosos dependentes de cadeira de rodas. A locomoção parece não influenciar no desgaste físico e emocional do cuidador, mas constitui uma variável relevante na qualidade do sono dos cuidadores de idosos com diagnóstico de demência vascular e mista.

Programa de apoio a cuidadores: uma ação terapêutica e preventiva na atenção à saúde dos idosos

Dans le cadre du service de gériatrie du Centre de Santé-école de la faculté de médecine de Botucatu (Université de São Paulo), a été établi un programme d'appui à ces soignants avec les objectifs suivants: préserver leur qualité de vie et favoriser de meilleures conditions familiales aux patients. Le programme comprend de 10 à 12 réunions par semaine, de deux heures de durée, coordonnées par deux psychologues. on utilise des techniques de psychodrame centrées sur le rôle du soignant et leurs conséquences sociales et émotionnelles. Les informations théoriques sont transmises au moyen de discussions de groupe et de moyens audiovisuels. Les thèmes suivants sont abordés : signification et motivation du soin donné, signaux d'alertes de fatigue physique et mentale du soignant, les possibilités de se traiter et de demander de l'aide, une méthode d'amélioration de la communication face à une déficience visuelle, auditive et cognitive, une méthode pour favoriser l'indépendance et l'autonomie et surmonter les problèmes relatifs à l'hygiène, la mobilité, l'agression, l'irritation, les hallucinations et les idées délirantes de la personne âgée. Au cours de la première réunion de chaque groupe (qui comprend de 10 à 20 participants) on applique une échelle d'évaluation de l'impact émotionnel sur les soignants (Zarit et al., 1980) et le SRQ (Self Report Questionnaire - Mari and Williams, 1986) qui identifient des désordres psychiatriques. Ces échelles sont reproduites à la fin du programme, pour observer d'éventuelles modifications. Les données obtenues indiquent des changements favorables dans l'expression d'émotions, l'établissement de limites et de retour à des activités de loisirs.

Efeito da capacitação dos cuidadores informais sobre a qualidade de vida de idosos com déficit de autocuidado

A proporção de idosos no Brasil vem crescendo consideravelmente e essa transição demográfica traz um quadro em que cada vez mais a sobrevivência deles fica dependente de seus familiares. Para aprimorar a qualidade de vida desse grupo há a proposta da elaboração de um programa de capacitação que contribua para melhorar os serviços prestados a estes indivíduos. O objetivo do presente estudo é avaliar um Programa de Capacitação para Cuidadores Informais na qualidade de vida de idosos. Foram realizadas visitas às residências de 15 idosos com déficit de autocuidado, onde foi aplicado o questionário SF-36. em seguida realizou-se um programa multiprofissional de capacitação para seus cuidadores. Após 2 meses aplicou-se novamente o questionário para verificar a eficácia do programa de capacitação na qualidade de vida dos idosos. Houve um aumento significativo dos escores relacionados ao domínio saúde mental e uma diminuição significativa dos relacionados às limitações por aspectos físicos. A partir dos dados obtidos concluiu-se que deve ser incentivada a formação de grupos de cuidadores informais, conduzidos por profissionais da área de saúde, para fomentar o conhecimento, a troca de experiências e a discussão sobre estratégias para melhorar o ato de cuidar.

Perfil de cuidadores de idosos e percepção sobre saúde bucal

O objetivo deste estudo foi avaliar o perfil e conhecimento sobre saúde bucal de profissionais cuidadores de idosos, que atuam em três asilos da cidade de Araçatuba. Foram entrevistados 18 cuidadores de três instituições, com o auxílio de um formulário, visando avaliar o grau de conhecimento destes quanto aos aspectos de saúde bucal. em relação à formação escolar, 83,3% desses profissionais possuem curso técnico de auxiliar de enfermagem e 16,7% não apresentam qualquer tipo de formação técnica. Mais da metade dos entrevistados (61,11%) relatou ter iniciado o trabalho por necessidade, não por afinidade. Quanto ao conhecimento em saúde bucal, detectou-se carência de informações, sendo que a maior parte necessita de esclarecimento quanto aos problemas mais prevalentes que ocorrem na boca e muitos deles (55,56%) acreditam que a perda dos dentes faz parte do envelhecimento. Constatou-se que os cuidadores precisam ser informados sobre aspectos de saúde bucal voltados para idosos.

O papel do enfermeiro como educador junto a cuidadores familiares de pessoas com AVC.

This article was written based on bibliographical research aiming at making a thematic analysis of the production of knowledge in newspapers and magazines about the nurse's role as an educator toward people who care for BVA (brain vascular accident) patients. The analysis gathered articles published in the 80's and 90's, from the Medline, Lilacs and Cinahl databases. Content analysis was the methodological background that allowed the organization of knowledge in two categories: educational intervention in the acute stage and the post-discharge support.

Qualidade de vida e sobrecarga de trabalho em cuidadores de idosos em seguimento ambulatorial

We evaluated the quality of life related to health and work overloads among 126 caregivers to patients at two geriatric outpatient clinics of a university hospital, as well as the association between overloads and demographic and clinical variables, using an exploratory, descriptive, cross sectional and quantitative approach. The Zarit Burden Interview, a socio-demographic and clinical characterization instrument, was used to assess perceived workloads and the Medical Outcomes Study Short-Form Health Survey (SF-36) was used to assess quality of life related of health. Descriptive, comparative, correlative, and multivariate data analyses were carried out. There was significant difference between two outpatient caregiver workloads; all socio-demographic aspects and variables related to care were associated to worsening at least one dimension of the SF-36; frequent illnesses among caregivers were related to a worsening of their quality of life related to health, demonstrating the wear experienced by caregivers to the elderly in these health care units.

Qualidade de vida de cuidadores de pe ssoas com necessidades especiais

The quality of life of caregivers is a concern because it directly affects the quality of life of individuals dependent on such care. This study aimed to analyze and compare the quality of life in health of caregivers of people with special needs who attend a rehabilitation facility. Ninety caregivers of people with special needs who attend a rehabilitation facility participated in this study. For data collection two instruments were used: a questionnaire to determine the profile of the caregiver and the person with special needs and the WHOQOL-Bref questionnaire to measure quality of life. The results were significant only between the caregiver's quality of life in the physical domain and age of the person with special needs, indicating that the older a person with special needs, the more difficult and arduous is the act of caring. The result can indicate guidelines for caring for families of people with disabilities.

Efeitos de um programa de intervenção motora nos distúrbios neuropsiquiátricos e nas atividades funcionais de pacientes com demência de Alzheimer e em seus cuidadores

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Caminhando no dia a dia de uma escola: um estudo analítico-descritivo

Pós-graduação em Educação Escolar - FCLAR

Análise das variáveis demográficas, sociais, econômicas e culturais no processo de tomada de decisão: estudo em pacientes oncológicos avançados, cuidadores e médicos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

O processo de socialização musical primária: aprendizagem e conhecimentos musicais do cotidiano e a educação musical formal - uma abordagem sócio-histórica

Pós-graduação em Música - IA

Degradação anunciada do trabalho formal na Sadia, em Toledo (PR)

Pós-graduação em Geografia - FCT

Análise da qualidade de vida de idosos com déficit de autocuidado através da capacitação de cuidadores informais

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)