Influência do método pilates na força e atividade elétrica dos músculos respiratórios de idosas - ensaio clínico controlado randomizado

The reduction of physiological capacity present in the process of aging causes a marked decline in lung function. The exercise does promote several positive changes in the physical health of people and protect the cardiorespiratory function. The aim of this study was to investigate the effects of a program of Pilates exercices on the strengh and electrical activity of respiratory muscles of elderly. This is a randomized, controlled clinical trial, evaluating 33 elderly aged 65 and 80 (70.88 ± 4.32), healthy, sedentary, without cognitive impairment and able the practice physical activity. The sample was divided into two groups, one experimental group with 16 elderly women who did Pilates exercises and a control group (17) that was not submitted to the exercises, but received educational booklets on aging and health care. The elderly were evaluated initially and after a period of three months, taking into account the Maximal Inspiratory Pressure (MIP) and Maximal Expiratory Pressure (MEP), obtained by Manovacuometry and intensity of EMG activity was measured using the values of Root Mean Square (RMS) for the diaphragm and rectus abdominis muscles, during the course of diaphragmatic breathing and MIP maneuver. Data were analyzed using SPSS version 17.0. For all tests, we used a significance level or p value < 0.05 and confidence interval 95%. RMS in diaphragm and rectus abdominis muscles in both tests increased, but the data were significant for the rectus abdominis during diaphragmatic breathing (p = 0.03) and the diaphragm during the MIP maneuver (p = 0.01). There was no significant variation of the MIP and MEP. Pilates exercises were responsible for increasing the electrical activation of the diaphragm and rectus abdominis muscles in a group of healthy elderly, but had no influence on changes in strength of respiratory muscles

Treinamento muscular inspiratório para asma: revisão sistemática com metanálise

In asthmatic, the lung hyperinflation leaves the inspiratory muscle at a suboptimal position in length-tension relationship, reducing the capacity of to generate tension. The increase in transversal section area of the inspiratory muscles could reverse or delay the deterioration of inspiratory muscle function. Objective: To evaluate the evidence for the efficacy of inspiratory muscle training (IMT) with an external resistive device in patients with asthma. Methods: A systematic review with meta-analysis was carried out. The sources researched were the Cochrane Airways Group Specialised Register of trials, Cochrane Central Register of Controlled Trials (The Cochrane Library Issue 11 of 12, 2012), MEDLINE, EMBASE, PsycINFO, CINAHL, AMED, ClinicalTrials.gov and reference lists of articles. All databases were searched from their inception up to November 2012 and there was no restriction on the language of publication. Randomised controlled trials that involved the use of an external inspiratory muscle training device versus a control (sham or no inspiratory training device) were considered for inclusion. Two reviewers independently selected articles for inclusion, evaluated risk of bias in studies and extracted data. Results: A total of five studies involving 113 asthmatic patients were included. Three clinical trials were produced by the same group. The included studies showed a significant increase in maximal inspiratory pressure (MD 13.34 cmH2O, 95% CI 4.70 to 21.98), although the confidence intervals were wide. There was no statistically significant difference between the IMT group and the control group for maximal expiratory pressure, peak expiratory flow rate, forced expiratory volume in one second, forced vital capacity, sensation of dyspnea and use of beta2-agonist. There were no studies describing exacerbation events that required a course of oral and inhaled corticosteroids or emergency department visits, inspiratory muscle endurance, hospital admissions and days of work or school. Conclusions: There is no conclusive evidence in this review to support or refute inspiratory muscle training for asthma, once the evidence was limited by the small number of studies included, number of participants in them together with the risk of bias. More well conducted randomized controlled trials are needed, such trials should investigate respiratory muscle strength, exacerbation rate, lung function, symptoms, hospital admissions, use of medications and days off work or school. IMT should also be assessed in the context of more severe asthma

Perspectivados cirurgiões-dentistas sobre a inserção da fisioterapia na atenção básica de saúde

This work aims at investigating the surgeons-dentists acceptability in the field of public health in the city of Natal, State of Rio Grande do Norte, about the possibility of medicinal plants insertion in basic attencion of health. Moreover, it searchs to know if during their professinal formation it had some theoretician-pratical basement on this subject, as well as investigating their confidence on the medicinal plants. The basic motivation for developing this study is the possibility of contributing to the insertion of a tradicional health pratical at public assistance scope, endorsed by popular use, but now scientifically proven. For in a such way, the medicinal plants use is emphasized as a way to be followed to increase basic pharmaceutical assistance, improving the acess to the medicine and diminish expenses. Following this logic, family health program constitutes the way through which this pratical will be available to the users of health services. The research was done over thirty surgeonsdentists, all ofthem pertaining to public service ofNatal, state ofRio Grande do Norte. It was used, as research instrument, semi-estructured interview associated with methodological analysis user s speeches. On this form, this work is inserted in a trend observed nowadays not only in Brazil, where the use of the medicinal plants has been stimulated and defended to be inserted at programs ofprimary attenction of health

Qualidade de vida, eficiência mastigatória e presença de disfunção temporomandibular em usuários de prótese parcial removível com arco dental curto inferior

Even nowadays there is in Brasil a large number of edentulous and a precarious financial condition of most of the population. In addition, World Health Organization aims for oral health, which consists on the maintenance of a natural dentition, functional and aesthetic composed of at least 20 teeth, without need of prosthetic intervention throughout life. From this and considering the lack of researches about the permanence of edentulous spaces in the oral cavity, and also avoiding overtreatment, this research has been proposed. Thus, the aim was to evaluate the effect of different lengths of the shortened lower dental arch in the presence or absence of a removable partial denture (RPD) on masticatory function, quality of life and occurrence of temporomandibular dysfunction. To achieve this goal, we compared the masticatory efficiency (colorimetric test), the oral comfort through the analysis of the impact of oral health in quality of life (OHIP-14), the presence of temporomandibular dysfunction (RDC/TMD) and the general quality of life (WHOQOL) of patients with shortened dental arches (SDA) (n=60), which is an arch with a reduction of teeth starting posteriorly, and patients with complete dental arch (Complete DA) (n = 34). The group of patients whit SDA was divided among PPR wears (PPD + SDA) (n = 17) and non-wears (n = 43). The population of this study consisted on patients who received or looked for treatment at the clinics of the Department of Dentistry of UFRN, from clinical analysis and records. The sample was chosen by convenience. For statistical analysis, it was a database in SPSS 17.0, followed by descriptive analysis with frequencies, absolute values, tests of central tendency and variability. The statistical tests used were chi-squared and analysis of variance as well as Tukey s post test, when applicable, all with a 95% confidence level. The results shown a prevalence of TMD of 47,1% among patients using PRP and 69,8% among those who didn t, but this result wasn t statistically significant. The mean of the results of masticatory efficiency, WHOQOL and OHIP didn t show association to the presence or absence of PPR and to the lower number of occlusal units of the patients (0, 1, 2 or more occlusal). The association only occurred among the different groups of SDA and the patients with complete dental arch. Taking into account the results, it could be observed that studied patients with low posterior support using lower PRP didn t have better masticatory efficiency, general quality of life, less impacts of their oral conditions in quality of life or not even less temporomandibular dysfunction or better masticatory efficiency when compared to those who didn t use the prosthesis

Prevalência e susceptibilidade antimicrobiana de Staphylococcusspp. em quadros de saúde e doença periodontal

The aim of this study was determine the prevalence and antimicrobial susceptibility of Staphylococcus spp. from patients with periodontal disease and periodontally healthy, correlate them with factors to host, local environment and traits of the diseases. To this, thirty adults from 19 to 55 years old were selected. They had not periodontal treatment and no antibiotic or antimicrobial was administered during three previous months. From these individuals, sites periodontally healthy, with chronic gingivitis and/or periodontitis were analyzed. Eighteen subgingival dental biofilm samples were collected through sterile paper points being six from each tooth randomly selected, representing conditions mentioned. They were transported to Oral Microbiology laboratory, plated onto Mannitol Salt Agar (MSA) and incubated at 370C in air for 48 h. Staphylococcus spp. were identified by colonial morphology, Gram stain, catalase reaction, susceptibility to bacitracin and coagulase activity. After identification, strains were submitted to the antibiotic susceptibility test with 12 antimicrobials, based on Kirby-Bauer technique. To establish the relation between coagulase-negative Staphylococcus (CSN) presence and their infection levels and host factors, local environment and traits of diseases were used Chi-square, Mann-Whitney and Kruskal-Wallis tests to a confidence level of 95%. 86,7% subjects harbored CSN in 11,7% periodontal sites. These prevalence were 12,1% in healthy sites, 11,7% in chronic gingivitis, 13,5% in slight chronic periodontitis, 6,75% in moderate chronic periodontitis and in sites with advance chronic periodontitis was not isolated CSN, without difference among them (p = 0,672). There was no significant difference to presence and infection levels of CSN as related to host factors, local environm ent and traits of the diseases. Amongst the 74 samples of CSN isolated, the biggest resistance was observed to penicillin (55,4%), erythromycin (32,4%), tetracycline (12,16%) and clindamycin (9,4%). 5,3% of the isolates were resistant to oxacilin and methicillin. No resistance was observed to ciprofloxacin, rifampicin and vancomycin. It was concluded that staphylococci are found in low numbers in healthy or sick periodontal sites in a similar ratio. However, a trend was observed to a reduction in staphylococci occurrence toward more advanced stages of the disease. This low prevalence was not related to any variables analyzed. Susceptibility profile to antibiotics demonstrates a raised resistance to penicillin and a low one to methicillin. To erythromycin, tetracycline and clindamycin was observed a significant resistance

Avaliação clínica longitudinal do periodonto de dentes pilares e não pilares de próteses parciais removíveis

The literature has shown a relation between periodontics and the removable partial denture (RPD), with progressive destruction observed in the support structures. The aim of this study was to clinically assess periodontal condition in users of removal partial denture (RPD), and compare right abutments teeth, indirect abutments and controls before installation and after 1 year, in addition to comparing tooth-supported and tooth mucosa-supported abutments. A total of 50 patients, 32 women and 18 men, mean age of 45 years, took part in the study. The patients were examined by a single examiner at prosthesis installation and after 3, 6, 9 and 12 months. The following were verified at each examination: Probe Depth (PD), Plaque Index (PI), Gingival Index (GI), the amount of Keratinized Mucosa (KM), Gingival Recession (GR) and Dental Mobility (DM); in addition patients received oral hygiene orientation, accompanied by prophylaxis, periodontal scaling and root planing (PSRP), when necessary. Analysis of Variance (ANOVA) with Tukey-Kramer post test was used to assess the dependent variables (PD, PI, KM, GR) of the three groups over time while Friedman s test was used for GI. To assess the outcomes of prosthesis type in the right abutment group, a confidence interval-based analysis was performed. The results showed that the control group was the least compromised in all the variables studied. With respect to development of the groups over time, it was verified that the measures for GR, PD, GI and KM increased from initial examination to 1 year of use in all the groups, but only PI showed a significant increase. There was a non-discriminatory low prevalence of dental mobility. The tooth mucosa-supported prosthesis had significantly higher values for GR, GI and PI and significantly lower ones for KM when compared to tooth-supported. Over time, both types of prostheses showed no significant differences from initial to final examination for the variables GR, PD, KM and GI, with PI significant only for tooth-supported. The results showed that the teeth most involved in RPD design had greater potential of periodontal damage, probably because of greater dental biofilm accumulation. Abutments elements adjacent to the free extremities had less favorable periodontal condition than those adjacent to interpolated spaces, but the use of RPD did not worsen the initial condition

Influência da auto seleção à luz no ritmo circadiano de atividade motora em Callithrix Jacchus

Marmosets, Callithrix jacchus, are strictly diurnal animals. The motor activity rhythmicity is generated by the circadian timing system and is modulated by environmental factors, mainly by photic stimuli that compose the light-dark cycle. Photic stimuli can reset the biological oscilators changing activity motor pattern, by a mechanism called entrainment. Otherwise, light can act directly on expressed rhythm, without act on the biological oscillators, promoting the masking. Thus, photic stimuli can synchronize the circadian activity rhythm (CAR) by two distinct mechanisms, acting isolated or at a combined way. Among the elements that can influence photic synchronization, the duration and time of photic exposure is pointed out. If in the natural environment the marmoset can choose places of different intensity illumination and is synchronized to light-dark cycle (LD), how the photic synchronization mechanism can be evaluated in laboratory by light self-selection? With objective to response this question, four adult male marmosets were studied at two conditions: with and without sleeping box. The animals were submitted to a LD cycle (12:12/ 350:2 lx) and constant light (LL: 350 lx) conditions in individual cages with an opaque sleeping box, that permitted the light self-selection. At the room, the temperature was 25.6 ºC (± 0.3 ºC) and humidity was 78.7 (± 5%). The motor activity was recorded at 5 min bins by infrared movement sensors installed at the top of the cages. The motor activity profile was distinct at the two conditions: without the sleeping box protection against light, the activity frequency was higher at CT 11-12 (ANOVA; F(3.23) = 62.27; p < 0.01). Also, the duration of the active phase (α) was prolonged of about 1 h (t test, p < 0.05) and the animals showed a significant delay on the activity onset and offset (t test, p < 0.05) and at the acrophase (confidence intervals of 5%) of CAR. In LL, the light continuous exposure prolonged the active phase and influenced the endogenous expression of the circadian activity rhythm period. From the result analysis, it is concluded that the light self-selection can modify several parameters of CAR in marmosets, allowing the study of the synchronization mechanism using the burrow model. Thus, without sleeping box there was a phase delay between the CAR and LD (entrainment) and an increase of activity near lights off (positive masking). Furthermore, in LL, the light continuous exposure modifies α and the endogenous expression of CAR. It is suggested that the light self-selection might be take into account at investigations that evaluate the biological rhythmicity in marmosets

Efeito do alerta e valência emocional nos componentes de lembrança e familiaridade da memória episódica

The episodic memory system allows us to retrieve information about events, including its contextual aspects. It has been suggested that episodic memory is composed by two independent components: recollection and familiarity. Recollection is related to the vivid e detailed retrieval of item and contextual information, while familiarity is the capability to recognize items previously seen as familiars. Despite the fact that emotion is one of the most influent process on memory, only a few studies have investigated its effect on recollection and familiarity. Another limitation of studies about the effect of emotion on memory is that the majority of them have not adequately considered the differential effects of arousal and positive/negative valence. The main purpose of the current work is to investigate the independent effect of emotional valence and arousal on recollection and familiarity, as well as to test some hypothesis that have been suggested about the effect of emotion on episodic memory. The participants of the research performed a recognition task for three lists of emotional pictures: high arousal negative, high arousal positive and low arousal positive. At the test session, participants also rated the confidence level of their responses. The confidence ratings were used to plot ROC curves and estimate the contributions of recollection and familiarity of recognition performance. As the main results, we found that negative valence enhanced the component of recollection without any effect on familiarity or recognition accuracy. Arousal did not affect recognition performance or their components, but high arousal was associated with a higher proportion of false memories. This work highlight the importance of to consider both the emotional dimensions and episodic memory components in the study of emotion effect on episodic memory, since they interact in complex and independent way

Aplicação da técnica eletroanalítica de pulso diferencial usando o eletrodo de carbono vítreo modificado com cisteína para monitorar a degradação eletroquímica de ácido oxálico

In this paper, the technique of differential pulse voltammetry (DPV) has been studied for monitoring the concentration of oxalic acid (OA) during their electrochemical oxidation (EO) in acidic medium using platinum anode supported on titanium (Ti / Pt). The DPV was standardized and optimized using a glassy carbon electrode modified with cysteine. The modification with cysteine was developed electrochemically, forming a polymeric film on the surface of the glassy carbon electrode. The formation of the polymer film was confirmed by analysis of scanning electron microscope and atomic force microscope, confirming the modification of the electrode. The electrochemical degradation was developed using different current densities 10, 20 30 and 40 mA cm -2 electrode with Ti / Pt observing the degradation of oxalic acid, and monitored using the method of KMnO4 titration. However, the analyzes with DPV showed the same behavior elimination of oxalic acid titration. Compared with the titration method classical observed and DPV could be a good fit, confidence limits of detection and confirming the applicability of the technique electroanalytical for monitoring the degradation of oxalic acid

Aplicabilidade da voltametria de pulso diferencial na quantificação de ácido fólico e ácido oxálico: um método comparativo

The development of more selective and sensitive analytical methods is of great importance in different areas of knowledge, covering, for example, food, biotechnological, environmental and pharmaceutical sectors. The study aimed to employ the technique electroanalytical differential pulse voltammetry (DPV) as an innovative and promising alternative for identification and quantification of organic compounds. The organic compounds were investigated in this study oxalic acid (OA) and folic acid (FA). The electrochemical oxidation of oxalic acid has been extensively studied as a model reaction in the boundary between the organic and inorganic electrochemistry. Since the AF, an essential vitamin for cell multiplication in all tissues, which is essential for DNA synthesis. The AF has been investigated using analytical techniques, liquid chromatography and molecular absorption spectrophotometry. The results obtained during the experimental procedure indicated that the process of electrochemical oxidation of oxalic acid is strongly dependent on the nature of the anode material and the oxidation mechanism, which affects their detection. Efficient removal was observed in Ti/PbO2 anodes, graphite, BDD and Pt 90, 85, 80 and 78% respectively. It was also shown that the DPV employing glassy carbon electrode offers a fast, simple, reliable and economical way to determine the AO during the process of electrochemical oxidation. Furthermore, electroanalytical methods are more expensive than commonly used chromatographic analysis and other instrumental methods involving toxic reagents and higher cost. Compared with the classical method of titration and DPV could be a good fit, confidence intervals and detection limits confirming the applicability of electroanalytical technique for monitoring the degradation of oxalic acid. For the study of AF was investigated the electrocatalytic activity of the carbon paste electrode for identification and quantification in pharmaceutical formulations by applying the DPV. The results obtained during the experimental procedure showed an irreversible oxidation peak at 9.1 V characteristic of FA. The carbon paste sensor showed low detection limit of 5.683×10−8 mol L-1 reducing matrix effects. The spectrophotometric analysis showed lower concentrations of HF compared with those obtained by HPLC and DPV. The levels of AF were obtained according to the methodology proposed by the Brazilian Pharmacopoeia. The electroanalytical method (DPV) proposed is cheaper than GC analysis commonly used by the pharmaceutical industry. The results demonstrated the potential of these electroanalytical techniques for future applications in environmental, chemical and biological sensors

Avaliação mecânica in vitro utilizando miniplacas quadradas e retangulares do sistema 2.0 mm em fraturas da região anterior de mandíbula

The aim of this study was to comparatively evaluate the mechanical strength of squared and rectangular 2.0 mm system miniplates comparing them to the standard configuration with 2 straight miniplates in stabilizing fractures in the anterior mandible. Ninety synthetic polyurethane mandible replicas were used in mechanical test. The samples were divided into six groups of three different methods for fixation. Groups 1, 2 and 3 showed complete fractures in symphysis, characterized by a linear separation between the medial incisor, and groups 4, 5 and 6 showed complete fractures in parasymphysis with oblique design. Groups 1 and 4 were represented by the standard technique with two straight miniplates parallel to each other. Groups 2 and 5 were stabilized by squared miniplates and groups 3 and 6 were fixed by rectangular design. Each group was subjected to a mechanical test at a displacement speed of 10 mm/min on a universal testing machine, receiving linear vertical load on the region of the left first molar. The values of the maximum load and when displacements reached 5 mm were obtained and statistically analyzed by calculating the confidence interval of 95%. Fixation systems using squared (G2) and rectangular (G3) miniplates obtained similar results. No statistically significant differences with respect to the maximum load and the load at 5 mm displacement were found when compared to standard method in symphyseal fractures (G1). In parasymphysis the fixation method using squared miniplates (G5) obtained results without significant differences regarding the maximum load and the load at 5 mm when compared to the standard configuration (G4). The fixation method using rectangular miniplates (G6) showed inferior results which were statistically significant when compared to the standard configuration (G4) for parasymphysis fractures. The mechanical behavior of the fixation methods was similar, except when rectangular miniplates were used. The fixation methods showed better results with statistical significance in symphyseal fractures

Influência da laserterapia na proliferação de células-tronco do ligamento periodontal humano

Low level laser irradiation (LLLI) has been used in Dentistry to promote wound healing and tissue regeneration. The literature shows a positive effect of LLLI on cell proliferation, but little is known about their effectiveness in promoting stem cells proliferation. The aim of this study was to evaluate the effect of LLLI on the proliferative rate of human periodontal ligament stem cells. Extracts of periodontal ligament were isolated from two third molars removed by surgical and/or orthodontic indication. After enzymatic digestion, the cells were grown in α-MEM culture medium supplemented with antibiotics and 15% fetal bovine serum. On the third subculture, the cells were irradiated with a InGaAlP-diode laser, using two different energy densities (0,5J/cm 2 - 16 seconds and 1,0J/cm² - 33 seconds), with wavelength of 660nm and output power of 30mW. A new irradiation, using the same parameters, was performed 48h after the first. A control group (non irradiated) was kept under the same experimental culture conditions. The Trypan blue exclusion test and the mitochondrial activity of the cells measured by MTT [3-(4,5-Dimethylthiazol-2-yl)-2,5-Diphenyltetrazolium Bromide] essay were performed to assess the cell proliferation in the intervals of 0, 24, 48 e 72 h after irradiation. The data of cell counts were submitted to nonparametrical statistical tests (Kruskal-Wallis and Mann-Whitney), considering a confidence interval of 95%. DAPI (4 -6-Diamidino-2-phenylindole) staining of the cells was performed at 72h interval to evaluate possible nuclear morphological changes induced by LLLI. The results of this study show that the energy density of 1,0 J/cm² promoted greater cell proliferation compared to the other groups (control and 0,5 J/cm²) at intervals of 48 and 72h. The mitochondrial activity measured by MTT essay showed similar results to the Trypan blue cell counting test. The group irradiated with 1,0J/cm² exhibited a significantly higher MTT activity in the intervals of 48 and 72h, when compared to the group irradiated with 0,5J/cm². No nuclear morphological change was observed in the cells from the three groups studied. It is concluded that LLLI has stimulatory effects on the proliferation of human periodontal ligament stem cells. Therefore, the use of laser irradiation in this cell type may be important to promote future advances in periodontal regeneration

Prevalência de incontinência urinária e fatores associados em idosos institucionalizados

Urinary incontinence (UI) is a geriatric syndrome that is especially prevalent in institutionalized individuals, and that causes economic and social impacts derived from treatment costs and overload of caregiver. UI also entails physical consequences to the health of the elderly, such as urinary tract infections or pressure ulcers, among other health problems. However, the existing national research on this condition is still scarce and comprises serious methodological biases. Therefore, the objective of this study is to determine the prevalence of urinary incontinence and associated factors in institutionalized elderly. A cross-sectional study is presented herein, conducted between October and December, 2013 and carried out in 10 nursing homes in the city of Natal (Northeast Brazil). UI was verified through the program Minimum Data Set version 3.0, which was also used to assess fecal incontinence, urinary devices and UI control programs. Data collection included sociodemographic information, UI characterization, as well as variables related to the institution itself and to health conditions (comorbidities, medication, pelvic floor surgery, Barthel Index for functional capacity and Pfeiffer test for cognitive status). Bivariate analysis was performed using the Chi-Square Test (or Fisher‟s Exact Test) and the Linear Chi-Square Test, calculating the prevalence ratio with 95% confidence interval. Variables with p value under 0.20 were included in the multivariate analysis, which was performed using the Stepwise Forward logistic regression. The inclusion of variables in the final model depended on the likelihood ratio test, absence of multicollinearity and on the Hosmer-Lemeshow test. A statistical significance level of 0.05 was considered. Six (1.8%) hospitalized elderly, one individual in palliative care (0.3%) and one (0.3%) individual under the age of 60 were excluded from the study. The final sample consisted of 321 elderly, mostly females, with a mean age of 81.5 years. The prevalence of UI was 59.43% and the final model revealed statistically a significant association between UI and white race, physical inactivity, stroke, mobility constraints and cognitive decline. The most frequent UI type was functional UI due to physical or cognitive disability, and incontinence control measures were applied only to a minority of residents (approximately 8%). It is concluded that UI is a health issue that affects more than half of the institutionalized elderly, and is associated with white race, physical inactivity, stroke and other geriatric syndromes such as immobility and cognitive disability. Most of these associated factors are modifiable and therefore the findings of this study highlight the importance of UI prevention and treatment in nursing homes, which include general measures, such as physical and psychosocial activities, and specific measures, such as prompted voiding

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

800x600 Apoio de residentes ao processo de gestão de projetos turisticos ambientais: um estudo do vale dos dinossauros em sousa/PB

This study aimed to analyse the factors that can contribute to the support of residents in the process of management of environmental tourism projects. The importance of reflecting on the municipal planning, including the management of stakeholders, is justified by changes in economic and social values of local communities, the concern with their space and quality of life. Thus, the support of the dwellers to the management process of an attractive allows motivate and prioritize the opinion of this community, strengthening social groups and integrating them into projects and local actions. The study was described as descriptive, exploratory and quantitative. As the analysis model. They were used the research variables done by Nunkoo and Ramkissoon (2012), as a way to assess the support of local dwellers on the development of Revitalization project of Monumento Natural Vale dos Dinossauros, in the management of environmental tourist destination, in Sousa/PB. Results show the relationship among the dimensions, confidence in government agencies, benefits and costs occasioned by tourism development in the attractive as influencers support elements of the deweller. Thus, it is intended to corroborate to the inclusion of stakeholdersin the planning process in the development of tourism in this location in order to involve them in decision making about planning and management of tourism in the city, with a view to sustainable local development