O teste de programas concorrentes é essencial para assegurar a qualidade das atuais aplicações distribuídas/paralelas em desenvolvimento. Apesar de ser essencial, essa atividade de teste é dificilmente empregada adequadamente, devido a fatores como: alto custo de execução, grande lacuna entre desenvolvedores e resultados de pesquisas em testes para programas concorrentes e acesso às ferramentas de teste de programas concorrentes que automatizem/viabilizem o emprego do teste. Este projeto visa definir os parâmetros da atividade de teste estrutural de programas concorrentes que nortearão a composição de diferentes serviços na Web. Tais serviços dão suporte à atividade de teste estrutural de programas concorrentes, estabelecendo fronteiras claras em ferramentas de teste para os módulos relativos ao modelo de teste, aos critérios de teste, à linguagem de programação e aos paradigmas de sincronização. Desse modo, novas ferramentas de teste poderão ser construídas de maneira mais flexível, com menos custo de desenvolvimento e com mais eficácia. Tal abordagem traz como benefícios diretos: (1) facilitar a interação entre os setores da indústria, ensino e pesquisa que estejam interessados no desenvolvimento de programas concorrentes com qualidade; (2) diminuir os custos de instalação e manutenção de ferramentas de teste estrutural pelos desenvolvedores; (3) facilitar a incorporação da atividade de teste de programas concorrentes no ciclo de desenvolvimento das aplicações distribuídas e paralelas; (4) aumentar a abrangência do projeto TestPar, permitindo que novos usuários (desenvolvedores, professores e outros grupos de pesquisa) possam utilizar facilmente os conhecimentos gerados no projeto; e (5) realimentar o projeto TestPar com novas demandas qualificadas, estas advindas de novos programas concorrentes submetidos para teste. / Testing of concurrent programs is essential to ensure the quality of todays distributed/parallel applications in development. Although it is essential that testing activity is hardly properly employed, due to factors such as high cost of implementation, big gap between developers and research results in tests for competing programs and access to competing software testing tools to automate / enable the test job. This project aims to define the parameters of structural testing activity of concurrent programs that will guide the composition of different Web services. These services support the structural testing activity of concurrent programs, establishing clear boundaries in test tools for the modules related to the test model, the test criteria, the programming and synchronization paradigms language. Thus, new test tools can be built in a more flexible way, with less development cost and more effectively. Such an approach has as direct benefits: (1) facilitate interaction between industry sectors, education and research who are interested in the development of concurrent programs with quality; (2) reduce the costs of installation and maintenance of structural testing tools for developers; (3) facilitate the incorporation of testing activity of concurrent programs in the development cycle of distributed and parallel applications; (4) increase the scope of TestPar design, allowing new users (developers, teachers and other research groups) can easily use the knowledge generated in the project; and (5) feed back into the project TestPar with new demands qualified, those arising from new concurrent programs submitted for testing.

A acurácia de uma variável consiste na capacidade de a mesma representar realmente o que ela deveria representar. A definição conceitual de acurácia diagnóstica é baseada no pressuposto de que há uma ampla variedade de diagnósticos possíveis nas situações clínicas além dos diagnósticos que são altamente acurados. O objetivo desta pesquisa foi desenvolver um instrumento para estimar a acurácia de diagnósticos de enfermagem a partir de dados escritos da avaliação de paciente. Tratou-se de estudo quantitativo de desenvolvimento metodológico, realizado em 3 fases: teórica, empírica e analítica. Na fase teórica elaborou-se a definição de acurácia do diagnóstico de enfermagem e os itens do instrumento, submetendo-os a validação de conteúdo e teste piloto; na fase empírica, o instrumento definido na etapa anterior foi aplicado por enfermeiros especialistas em diagnóstico de enfermagem com a finalidade de estimar a validade e a confiabilidade do instrumento na fase analítica. O instrumento elaborado foi denominado de Escala de Acurácia de Diagnóstico de Enfermagem – EADE, e foi estruturado com base no conceito de que a acurácia de um diagnóstico de enfermagem é o julgamento de um avaliador quanto ao grau de relevância, especificidade e coerência das pistas existentes para o diagnóstico. O instrumento ficou composto por 4 itens: Presença de pistas (manifestações dos pacientes que representam indícios, vestígios, sinais, indicações ou características de um diagnóstico de enfermagem - item graduado em “sim"ou “não"); Relevância da pista (propriedade de uma pista de ser importante como indicador de um diagnóstico de enfermagem - item graduado em “alta/moderada" ou “baixa"); Especificidade da pista (propriedade de uma pista de ser própria e distintiva de um diagnóstico de enfermagem - item graduado em “alta/moderada" ou “baixa/nula"); Coerência da pista (propriedade de uma pista de ser consistente com o conjunto das informações disponíveis - item graduado em “alta/moderada" ou “baixa/nula"). Como indicativo de validade da EADE, os dados estatísticos mostram que os 4 itens do instrumento foram importantes para predizer diagnósticos de enfermagem acurados: Pista (OR 1,95 /IC 95% [1,78 ? 2,14], p = 0,000); Relevância (OR 1,73 /IC 95% [1,52 ? 1,98], p = 0,000); Especificidade (OR 2,41 IC 95% [2,11 ? 2,76], p = 0,000); Coerência (OR 3,92 /IC 95% [3,40 ? 4,53], p =0,000). A EADE obteve coeficiente de confiabilidade de Kuder-Richardson de 0,92 e de Hoyt de 0,92, indicando alta confiabilidade. A EADE mostrou boa sensibilidade e especificidade: área sob a curva ROC = 0,79, p = 0,000 e IC 95% [0,78?0,79]. O estudo atual permitiu desenvolver um instrumento para avaliar a acurácia de diagnósticos de enfermagem a partir de dados escritos. A EADE será refinada em estudos futuros / The accuracy of a variable consists of its capacity to actually represent what it was meant to represent. The conceptual definition of diagnosis accuracy is based on the presupposition that there is a wide variety of possible diagnosis in clinical situations, besides those diagnoses that are highly accurate. This research has set out to develop an instrument to estimate the accuracy of nursing diagnoses from the written data of patient evaluation. A quantitative study of methodological development was carried out, in 3 phases: a theoretical, an empirical and an analytical one. In the theoretical phase, the definition of accuracy of nursing diagnosis and the items of the instrument were shaped and subjected to content validation and pilot testing; in the empirical phase, the instrument defined previously was applied by nurses who are specialists in nursing diagnosis, aiming at estimating the validity and reliability of the instrument in the analytical phase. The instrument was named Escala de Acurácia de Diagnóstico de Enfermagem - EADE, and was structured according to the concept that the accuracy of a nursing diagnosis is the judgment of a rater in relation to the degree of relevance, specificity and coherence of the existing cues for the diagnosis. The instrument was made of 4 items: Presence of cues (manifestations of those patients who represent evidences, vestiges, signals, indications or characteristics of a nursing diagnosis - item graded as “yes" or “no"); Relevance of the cue (the property of a cue being important as an indicator of a nursing diagnosis - item graded as “high/moderate" or “low"); Specificity of the cue (the property of a cue being proper and distinctive of a nursing diagnosis - item graded as “high/moderate" or “low/nil"); Coherence of the cue (the property of a clue being consistent with the amount of information available - item graded as “high/moderate" or “low/nil"). As an indicator of the validity of the EADE, the statistic data showed that the 4 items of the instrument were important to predict accurate nursing diagnoses: Cue (OR 1,95 /IC 95% [1,78 ? 2,14], p = 0,000) Relevance (OR 1,73 /IC 95% [1,52 ? 1,98], p = 0,000); Specificity (OR 2,41 IC 95% [2,11 ? 2,76], p = 0,000); Coherence (OR 3,92 /IC 95% [3,40 ? 4,53], p = 0,000). The EADE had the Kuder-Richardson coefficient of reliability of 0.92 and the Hoyt coefficient of 0,92, which indicates high reliability. The EADE showed good sensitivity and specificity: area under curve ROC = 0,79, p = 0.000 and IC 95% [0,78 ? 0,79]. This study has led to the development of an instrument to assess the accuracy of nursing diagnoses from written data. The EADE shall be refined in future studies

Tendo em vista o grande numero de cavalos praticantes de atividades físicas altamente competitivas, a necessidade de se acompanhar o treinamento e a observação dos efeitos do treinamento no rendimento atlético dos animais, foi proposta a padronização de um teste incremental de esforço máximo a campo para cavalos adaptado do UM-TrackTest proposto para humanos. Para tanto foram utilizados 10 animais da raça Brasileiro de Hipismo, alojados em uma única vila hípica e submetidos ao mesmo manejo nutricional e de treinamento. Foram avaliados parâmetros bioquímicos (CK, LDH, lactato circulante e glicemia circulante) e sanguíneos (numero total de hemácias, concentração de hemoglobina circulante e hematócrito) ao final de cada estágio de aceleração onde as velocidades foram mantidas através de um sinal sonoro e marcações na pista de teste eqüidistantes a 50 metros. A análise estatística dos resultados obtidos das amostras colhidas demonstrou correlação de todas as variáveis analisadas em relação à intensidade do exercício quando comparadas ao repouso exceto a analise de CK e LDH que não mostrou alterações significantes durante todo o teste ( p = 0,5205 e p = 0,7913 respectivamente). O lactato apresentou uma correlação positiva (p = 0,000) em relação a FC e esta uma correlação positiva (p = 0,000) com relação a intensidade. Numero de hemácias circulantes (p = 0,000), concentração de hemoglobina circulante (p = 0,002) e hematócrito (p = 0,000) também tiveram correlação positiva com à intensidade. Com relação à glicemia observou-se uma correlação negativa significante com a FC (p = 0,003 e r = -0,312). O teste proposto demonstrou ser uma ferramenta de fácil aplicação e de reprodução a campo, permitiu a observação e constatação do limiar de lactato e permitiu a observação e avaliação das interações e inter-relações dos sistemas orgânicos mais relevantes durante o exercício. / In a view of the larger number of horses that practice highly competitive physical activities, the need to monitor the training and observation of the effects of training in athletic performance of the animals, it was proposed to develop a standard test for incremental maximum effort at the field for horses adapted to UM-TrackTest proposed for humans. To achieve this purpose, 10 animals of the breed of Brazilian Equestrian, housed in a single town riding and submitted at the same nutritional management and the same training. Biochemical (CK, LDH, lactate and glucose circulating stock) and hematologic parameters (total number of red blood cells, concentration of hemoglobin and hematocrit) were evaluated at the end of each stage of acceleration where the speeds were maintained through a sound and markings in equidistant test track at 50 meters. Statistical analysis of the results of samples taken showed correlation of all variables in relation to the intensity of physical exercise when compared to resting status at the end of exercise, except for review of CK and LDH that showed no significant changes throughout the test (p = 0.5205 and p = 0.7913 respectively). The lactate showed a positive correlation (p = 0000) compared to HR and HR showed a positive correlation (p = 0000) with regard to intensity. Number of circulating red blood cells (p = 0000), circulating concentration of hemoglobin (p = 0002) and hematocrit (p = 0000) also had positive correlation with the intensity. With regard to glycemic there was a significant negative correlation with HR (p = 0003 and r = -0312). The proposed test proved to be a tool for easy application that can be applied on the field, allows the observation and finding the lactate threshold and allowed the observation and evaluation of the interactions and inter-relationships of organic systems more relevant during exercise.

Estudos realizados anteriormente com pacientes adictos demonstram que embora não exista uma estrutura psíquica estável e profunda, específica aos comportamentos de dependência, alguns aspectos são recorrentes nesses pacientes. Dentre eles, podem-se destacar a incapacidade desses indivíduos pensarem, refletirem, adiarem e a substituição dessas habilidades pela ação; a profunda sensação de vazio existencial, com a qual não podem se deparar, devido à fraqueza egóica que não lhes permite tolerar as frustrações; uma permanente demanda por preenchimento; constante busca de um objeto mágico, exterior, capaz de aliviar a angústia existencial; precária capacidade de integrarem as imagens parentais que poderiam servir de modelos identificatórios, prejudicando identificações ulteriores e, conseqüentemente, o estabelecimento de relações duradouras; além de uma grande dificuldade no processo de identificação sexual. Estas dificuldades estendem-se, inevitavelmente, ao âmbito do tratamento, em que é verificada alta taxa de evasão. O presente estudo visa, por meio de cinco estudos de casos de pacientes drogadictos, investigar as características próprias da dinâmica afetiva desses indivíduos, expressas no Método de Rorschach e no processo de atendimento psicológico. Foram atendidos quatro jovens do sexo masculino e uma jovem do sexo feminino, adictos a drogas ilícitas, com idades variando entre 17 e 23 anos, em sessões individuais de psicoterapia de orientação psicanalítica, na Clínica Psicológica do Instituto de Psicologia da USP. O Método de Rorschach foi classificado e avaliado de acordo com a nomenclatura e os estudos franceses, articulados a uma leitura psicanalítica do material, com referencial kleiniano e winnicottiano. As sessões foram todas registradas e supervisionadas, seguindo esta mesma linha teórica. Nos casos estudados, há indícios que denotam dificuldades no âmbito afetivo, que nem sempre encontram expressão de maneira semelhante para cada indivíduo. A dinâmica revelada por meio do Método de Rorschach e dos atendimentos clínicos evidencia problemas na construção da identidade, que resulta em permanente sentimento de vazio, de incerteza e de inconsistência interior. O intenso trabalho pulsional, de origem agressiva, na maior parte dos casos, não consegue ser simbolizado e encontra descarga imediata. O estabelecimento de relacionamentos com as figuras parentais e, em decorrência, com as outras pessoas, apresenta-se prejudicado. As origens dessa problemática parecem estar ligadas ao desenvolvimento precoce desses indivíduos, em que não foi possível a vivência da relação mãe-filho de maneira satisfatória. As falhas não são totais, o que pode ser verificado pelo potencial intelectual desses pacientes, bem como pela preservação dos vínculos com a realidade. No entanto, a maternagem não foi suficientemente boa de maneira a permitir o sentimento de continuidade de ser, base para a força do ego. Assim, a intervenção com esse tipo de paciente pode encontrar melhores perspectivas na medida em que, em termos winnicottianos, o trabalho possa fornecer um novo ambiente, favorável e confiável, onde possam experimentar uma continuidade de ser, favorecendo a integração do self, permitindo a retomada do desenvolvimento emocional. / Previously studies with addicted patients have indicated that, although there is no stable and profound psychic structure, specific to dependency behaviors, some aspects are recurrent, with respect to these patients. Among them, we could emphasize these individuals incapability to think, reflect, postpone, as well as the substitution of these abilities by action; the profound sensation of existential emptiness, with which they cannot be confronted, due to the ego weakness, which does not allow them to tolerate frustrations; a permanent demand for fulfillment; constant search for a magic object, external, capable to relieve existential anguishes; precarious capacity to integrate parental images that could serve as identification models, jeopardizing ulterior identifications and, consequently, the establishment of everlasting relationships; beyond a great difficulty in the process of sexual identification. These difficulties, inevitably, extend themselves to the treatment field, in which a significant rate of evasion is observed. This study intends to investigate the corresponding characteristics of the affective dynamic of five drug addicted patients, as expressed in the Rorschach Test, as well as in the psychological practice. Four drug addicted men and one young woman were treated, with ages varying from 17 to 23, in individual psychoanalytical orientation psychotherapy sessions, at the Psychological Clinic of the Psychology Institute - São Paulo University. The Rorschach Test was classified and evaluated, in accordance with the French nomenclature and studies, articulated to a psychoanalytical material evaluation, with Klein and Winnicott references. All sessions were registered and supervised, in accordance with this same theoretical line. In the evaluated cases, there are indications that denote difficulties in the affective environment, which not always find similar expression as regards to each individual. The dynamic, revealed through the Rorschach Test and through the clinical sessions, indicates problems in the identity construction, which result in permanent feeling of emptiness, of uncertainty and interior inconsistency. The intensive drive work, of aggressive origin, in the great majority of cases, does not manage to be symbolized and finds immediate discharge. The establishments of relationships with parental figures and, as a result, with other people, are jeopardized. The origins of this problematic appear to be linked to the precocious development of these individuals, in which the mother-child relationship had not been made possible, in a satisfactory way. The failures are not absolute, as shown by the intellectual potential of these patients, as well as by the maintenance of their links with the reality. However, maternal links were not sufficiently good, in a way to allow the feeling of continuity of being, a base to the ego strength. Therefore, intervention with this kind of patient may find better perspectives when, in winnicottian terms, the work is able to provide a new environment, favorable and trustworthy, where they could experiment a continuity of being, which enables the self integration and permits the emotional development to go on.

O ensino de fundamentos de programação não é uma tarefa trivial muitos estudantes têm dificuldades em compreender os conceitos abstratos de programação e possuem visões erradas sobre a atividade de programação. Uma das iniciativas que tem sido investigada a fim de amenizar os problemas associados refere-se ao ensino conjunto de conceitos básicos de programação e de teste de software. A introdução da atividade de teste pode ajudar o desenvolvimento das habilidades de compreensão e análise nos estudantes. Além disso, aprendendo teste mais cedo os alunos podem se tornar melhores testadores e desenvolvedores. Seguindo esta tendência, em trabalhos anteriores foram investigados alguns mecanismos de apoio ao ensino integrado de fundamentos de programação e teste. Dentre os mecanismos investigados destaca-se a proposição de um ambiente de apoio para submissão e avaliação automática de trabalhos práticos dos alunos, baseado em atividades de teste de software PROGTEST. Em sua primeira versão, a PROGTEST foi integrada à ferramenta JABUTISERVICE, que apoia o teste estrutural de programas escritos em Java. O presente projeto de mestrado visou a dar continuidade aos trabalhos já realizados, tendo como principal objetivo a identificação e integração de diferentes ferramentas de teste ao ambiente PROGTEST, explorando tanto técnicas e critérios de teste diferenciados como linguagens de programação distintas. O ambiente PROGTEST também foi aplicado e validado em diferentes cenários de ensino, considerando diferentes linguagens e técnicas de teste. Em linhas gerais, os resultados evidenciam a viabilidade da aplicação do ambiente em cenários de ensino e aprendizagem / The teaching of programming foundations is not a trivial task - many students have difficulty to understand the abstract concepts of programming and have wrong views about the programming activity. Initiatives have been investigated in order to address the related issues. One of them refers to the integrated teaching of programming foundations and software testing. The introduction of testing can help students to develop programming comprehension and analysis skills. Moreover, teaching testing earlier could become the students better testers and developers. Following this perspective, previous studies have investigated mechanisms to support the integrated teaching of programming foundations and software testing. Among them, we highlight the proposition of a environment for the submission and automatic evaluation of programming assignments, based on testing activities - PROGTEST. In its first version, PROGTEST was integrated with JABUTISERVICE tool, which supports the structural testing of Java programs. This work aims at identifying and integrating different testing tools to the PROGTEST environment, exploring both different testing criteria and different programming languages. The PROGTEST environment was also applied and validated in different teaching scenarios, with different languages and testing techniques. In general, the results show the feasibility of applying the environment in the integrated teaching of programming foundations and software testing

A ressonância magnética (RM) é um exame de diagnóstico por imagem amplamente utilizado e permite a obtenção de imagens de diversos segmentos do corpo com alta qualidade. Embora seja um exame de excelência, os pacientes que se submetem a esta técnica, podem apresentar claustrofobia em razão do espaço limitado dentro do equipamento. A claustrofobia é considerada um estado de ansiedade e classificada como uma fobia específica pelo DSM IV. O Questionário de Claustrofobia (CLQ) é um instrumento de mensuração, que foi criado em língua inglesa e posteriormente, foi traduzido e validado para outras línguas e culturas, inclusive no Brasil em 2008. Trata-se de uma escala do tipo Likert, com escores que variam de 0 (nada ansioso) a 4 (extremamente ansioso); possui 26 itens que são distribuídos em dois domínios (sufocação 14 itens e restrição 12 itens). OBJETIVO: Avaliar as propriedades psicométricas da versão brasileira do Questionário de Claustrofobia, aplicado a pacientes submetidos à Ressonância Magnética. MATERIAL E MÈTODO: Foram realizadas a avaliação da consistência interna, análise fatorial confirmatória, validação de construto convergente (correlacionado Questionário de Claustrofobia com o Inventário de Ansiedade - Estado), validação de construto discriminante e aplicação da curva ROC para propor um ponto de corte para o instrumento. A coleta de dados foi feita em um hospital de grande porte do Município de São Paulo com 300 pacientes que realizaram ressonância magnética; pela aplicação de três instrumentos, sendo eles: o de caracterização biossociodemográfica, Questionário de Claustrofobia e Inventário de Ansiedade - Estado. RESULTADOS: A confiabilidade interna medida pelo coeficiente alfa de Cronbach obteve os seguintes valores: para o total da escala 0,94; para os domínios sufocação, 0,80 e restrição, 0,93. A análise fatorial confirmatória confirmou dois domínios e obteve valor de NNFI 0,692, considerado bom valor de ajuste para o modelo. A validação de construto convergente correlacionou o CLQ com o Inventário de Ansiedade- Estado e os valores obtidos foram muito próximos a zero, indicando que não há relação entre os instrumentos (r - 0,111). Já a validação de construto discriminante, em que foi utilizado o teste Mann-Whitney, foi capaz de discriminar os grupos claustrofóbicos com as variáveis claustrofobia referida, RM prévia e faixa etária. Foi estabelecido o ponto de corte pela curva ROC e a pontuação se for, igual ou maior que 16 pontos, sugere o potencial desenvolvimento da claustrofobia. CONCLUSÃO: Os resultados permitiram concluir que o Questionário de Claustrofobia teve desempenho satisfatório, atestando sua confiabilidade e mostrando-se válido para medir a claustrofobia no ambiente de ressonância magnética. / Magnetic resonance imaging (MRI) is a diagnostic imaging widely used and allows obtaining images of various body segments with high quality. Although an examination of excellence, patients who undergo this technique may have claustrophobia due to the limited space inside the equipment. Claustrophobia is considered a state of anxiety and classified as a specific phobia by DSM - IV. The Claustrophobia Questionnaire (CLQ) is a measurement tool, which was created in English and then translated and validated for other languages and cultures, including Brazil in 2008. It is a Likert scale, with scores ranging from 0 (not anxious) to 4 (extremely anxious); has 26 items that are divided into two domains (14 items suffocation and restriction 12 items). OBJECTIVE: To evaluate the psychometric properties of the Brazilian version of the Claustrophobia Questionnaire applied to patients undergoing MRI. MATERIAL AND METHODS: We performed an evaluation of internal consistency, confirmatory factor analysis, convergent construct validation (Claustrophobia Questionnaire correlated with Anxiety Inventory - State), discriminant construct validation and application of the ROC curve to propose a cutoff point for the instrument. Data collection was done in a large hospital in São Paulo with 300 patients who underwent MRI, the application of three instruments, namely: the characterization of bio socio demographic protocol, Claustrophobia Questionnaire and Anxiety Inventory - State. RESULTS: The internal reliability as measured by Cronbach\'s alpha obtained the following values: for the total scale 0.94; domains to suffocation, restriction and 0.80, 0.93. Factor analysis confirmed two domains and obtained value of NNFI 0.692, considered good value adjustment to the model. Validation convergent construct the CLQ correlated with State Anxiety Inventory and the values obtained were very close to zero, indicating no relationship between the instruments (r - 0.111). Already construct validation discriminant, in which we used the Mann-Whitney test was able to discriminate between claustrophobia claustrophobic with the variables mentioned, previous CABG and age. Was established cutoff by ROC score and if equal to or greater than 16 points, suggests the potential development of claustrophobia. CONCLUSION: The results showed that the Claustrophobia Questionnaire showed a satisfactory performance, proving its reliability and proving to be valid to measure the claustrophobia in MRI environment.

A doença do refluxo gastroesofágico (DRGE), apresenta significativa variedade de sintomas e sinais esofagianos ou extra-esofagianas. Entre suas complicações, embora pouco freqüentes, estão o esôfago de Barrett e o adenocarcinoma, sendo, portanto, fundamental reconhecer os fatores implicados na etiologia e agravamento da DRGE. Nos últimos anos, tem sido dada maior importância à influência da atividade física na DRGE. Investigações recentes, embora com resultados conflitantes, em sua maioria, apontam para a exacerbação do refluxo gastroesofágico (RGE) durante o exercício físico. OBJETIVOS: Avaliar a influência da atividade física na DRGE, por meio do teste ergométrico de esforço (TE), em pacientes portadores de doença erosiva, bem como a relevância do tônus do esfíncter inferior do esôfago (EIE) e do índice de massa corporal (IMC), comparando com um grupo de pacientes portadores da forma não erosiva da doença. MÉTODOS: Foram avaliados prospectivamente 29 pacientes portadores de DRGE erosiva e, como grupo controle, 10 pacientes com a doença não erosiva. Todos foram submetidos à avaliação clínica, realização de endoscopia digestiva alta, manometria e pHmetria esofágica. Também realizaram TE precedendo a retirada da sonda de pH-metria. As seguintes variáveis foram avaliadas: eficácia do TE, consumo máximo de oxigênio (VO2max), tempo de refluxo ácido (TRA) e sintomas de RGE durante o TE, influência do tônus do EIE e do IMC na ocorrência de RGE no TE. RESULTADOS: A VO2max demonstrou correlação significativa somente no grupo de pacientes com esofagite erosiva quando esta foi maior ou igual a 70% (p=0,032) durante a realização do TE. As demais variáveis analisadas não demonstraram influência significativa entre a ocorrência de RGE e atividade física (p>0,05). CONCLUSÕES: 1) Atividade física de alta intensidade pode predispor a ocorrência de episódios de refluxo gastroesofágico em portadores de DRGE erosiva; 2) Atividade física de baixa intensidade ou de curta duração não exercem influencia, independentemente do IMC; 3) O tônus do EIE não exerce influência na ocorrência de episódios de RGE durante realização de TE / Gastroesophageal Reflux Disease (GERD) is a worldwide prevalent condition that exhibits a large variety of signs and symptoms of esophageal or extraesophageal nature and can be related to the adenocarcinoma of the esophagus. Therefore, its of crucial importance to recognize the etiologic and aggravating factors of GERD. In the last few years, greater importance has been given to the influence of physical exercises on GERD. Some recent investigations, though showing conflicting results, point to an exacerbation of gastroesophageal reflux during physical exercises. Objectives: To evaluate the influence that physical activities can have on GERD patients presenting with erosive and non erosive disease by means of an ergometric stress test and evaluate the influence of the lower esophageal sphincter tonus and body mass index (BMI) during this situation. METHODS: Twenty-nine GERD patients with erosive disease (group I) and 10 patients with non-erosive disease (group II) were prospectively evaluated. All the subjects were submitted to clinical evaluation, followed by upper digestive endoscopy, manometry and 24h esophageal pH monitoring. A stress test was performed 1 hour before removing the esophageal pH probe. During the ergometric stress test, the following variables were analyzed: test efficacy, maximum oxygen uptake (VO2 max), duration of acid reflux and gastroesophaeal reflux symptoms and the influence of the lower esophageal sphincter tonus and influence of body mass index (BMI) in the occurrence of GER during these physical stress. RESULTS: VO2 max showed significant correlation when it was 70% or higher only in the group of erosive disease, evaluating the patients with or without acid reflux during the stress test (p = 0,032). The other variables considered didnt show significant correlations between gastroesophageal reflux and physical activity (p > 0,05). CONCLUSIONS: 1) Highly intensive physical activity can predispose the occurrence of gastroesophageal reflux episodes in GERD patients with erosive disease. 2) Light or short sessions of physical activity have no influence on reflux, regardless of BMI. 3) The tonus of the lower esophageal sphincter does not influence the occurrence of episodes of GER during exercise testing

Receptores CB1 e TRPV1 desempenham papéis opostos na modulação da atividade neuronal e, possivelmente, na regulação da resposta ao estresse. A exposição ao estresse reduz a neurotransmissão mediada por receptores CB1, enquanto que a facilitação do sistema endocanabinóide produz efeito tipoantidepressivo. Por outro lado, estudos farmacológicos e de manipulação genética apontam que a diminuição da sinalização mediada por receptores TRPV1 produz efeito tipo-antidepressivo em modelos animais. Evidências científicas apontam que a modulação da neurotransmissão glutamatérgica, dependente de receptores NMDA, esteja envolvida em respostas mediadas por CB1 e TRPV1. Ambos os receptores são amplamente expressos em estruturas cerebrais envolvidas na resposta emocional, incluindo o córtex pré-frontal medial ventral (CPFmv), o que aponta para essa estrutura como importante alvo para os efeitos mediados por receptores CB1, TRPV1 e NMDA. Entretanto, pouco se sabe sobre a interação entre CB1 e TRPV1 corticais na resposta ao estresse. Dessa forma, avaliamos se receptores CB1 e TRPV1 localizados no CPFmv-pré-límbico (PL) podem contribuir, de maneiras opostas, para as mudanças comportamentais induzidas pelo estresse do teste do nado forçado (TNF), um teste preditivo de efeito tipo-antidepressivo. Em um primeiro grupo experimental observou-se que a AEA induz efeito tipo-antidepressivo com uma curva dose-resposta em U, quando administrada no CPFmv-PL. Além disso, o efeito tipo-antidepressivo da AEA foi prevenido pela pré-administração de AM251, um antagonista para receptores CB1. Por outro lado, a maior dose de AEA, que não induz efeito per se, produziu efeito tipo-antidepressivo quando combinada ao bloqueio de receptores TRPV1 por meio do pré-tratamento com SB366791. Corroborando estes dados, observou-se que a administração intra-CPFmv-PL de um bloqueador dual da enzima FAAH e de receptores TRPV1 (AA-5HT), induziu efeito tipo-antidepressivo no teste do nado forçado. Além disso, a administração do inibidor da FAAH (URB597) e do antagonista de receptores TRPV1 (SB366791), em grupos independentes de animais, reduziu o tempo de imobilidade no teste do nado forçado. Ademais, a coadministração de doses subefetivas de URB597 e SB366791 reduziu o tempo de imobilidade no mesmo teste comportamental, evidenciando somação de efeito do bloqueio combinado da FAAH com receptores TRPV1. Em conjunto, esses ii resultados indicam que tanto a facilitação da neurotransmissão mediada por CB1R quanto o bloqueio de TRPV1R no CPFmv-PL promove efeito tipo-antidepressivo, sugerindo que ambos os receptores corticais são importantes na modulação de respostas comportamentais ao estresse e, possivelmente, na neurobiologia da depressão, porém de maneiras opostas. Buscando elucidar os mecanismos pelos quais a AEA, através da ativação de CB1R e TRPV1R, promove seus efeitos comportamentais, o envolvimento da das neurotransmissões glutamatérgica e nitrérgica nos efeitos induzidos pela AEA foi investigado. Nossos resultados demonstraram que a administração de antagonista de receptores glutamatérgicos do tipo NMDA (LY235959) e de inibidor da nNOS (NPA) induziram efeito tipoantidepressivo no teste do nado forçado quando administrados intra-CPFmv-PL. Além disso, a coadministração de doses subefetivas do antagonista NMDA (LY366791) e da AEA intra-CPFmv-PL, induziu efeito tipo-antidepressivo no TNF, mostrando um efeito aditivo da administração conjunta das drogas. Esse resultado sugere que o efeito tipo-antidepressivo da AEA seja facilitado pela inibição da neurotransmissão glutamatérgica mediada por NMDA. Em conjunto, os resultados do presente trabalho indicam um envolvimento de CB1 e TRPV1 do CPFmv-PL na modulação da resposta comportamental ao estresse do nado forçado, porém de maneira contrária. Além disso, o efeito tipo-antidepressivo da AEA parece envolver a diminuição da neurotransmissão glutamatérgica mediada por NMDAR. / CB1 and TRPV1 receptors play opposite roles in the modulation of neuronal activity and, possibly, in the regulation of the stress response. Exposure to stress attenuates CB1 receptor-mediated neurotransmission, while facilitation of the endocannabonoid system produces antidepressant-like effects. On the other hand, genetic and pharmacological blockade of TRPV1 receptor signalling produces antidepressant-like effect in animal models. Scientific evidence suggests NMDA receptor-mediated glutamatergic neurotransmission might be involved in responses mediated by CB1 and TRPV1. Both receptors are widely expressed in brain structures involved in the emotional response, including the ventral medial prefrontal cortex (CPFmv), which points to this structure as an important target to the effects triggered by CB1 and TRPV1. However, little is known about the interaction between cortical CB1 and TRPV1 in response to stress. Therefore, we evaluated whether CB1 and TRPV1 receptors of the vmPFC-PL may contribute, in opposite ways, to stress-induced behavioral changes in the forced swimming test (FST), a predictive test of antidepressant-like effect. In a first experimental group it was observed that AEA induces antidepressant-like effect with a U shape dose-response curve, when administered in the vmPFC-PL. In addition, the antidepressant-like effect of AEA was prevented by pre-administration with AM251, a CB1 receptor antagonist. On the other hand, the higher dose of AEA, which does not induce effect per se, produced an antidepressant-like effect when combined with TRPV1 receptor blockade with SB366791. Corroborating these data, intra-vmPFC-PL administration of a dual blocker of the FAAH enzyme and TRPV1 receptors (AA-5HT), induced antidepressant-like effect in the forced swimming test. In addition, administration of FAAH inhibitor (URB597) and TRPV1 receptor antagonist (SB366791) in independent groups of animals reduced the immobility time in the forced swimming test. Furthermore, co-administration of URB597 and SB366791, in sub-effective doses, reduced the immobility time in the same behavioral test, evidencing synergism of the combined blockade of FAAH with TRPV1 receptors. Taken together, these results indicate that both facilitation of CB1R-mediated neurotransmission and blockade of TRPV1R in vmPFC-PL promotes antidepressantlike effect, suggesting that both cortical receptors are important in modulating iv behavioral responses to stress and possibly in the neurobiology of depression, but in opposite ways. Aiming to elucidate the mechanisms by which AEA, through the activation of CB1R and TRPV1R, promotes its behavioral effects, the involvement of the possible modulation of glutamatergic and nitrergic neurotransmissions by AEA was investigated. Our results demonstrated that administration of NMDA receptor antagonist (LY235959) and nNOS inhibitor (NPA) induced antidepressant-like effect in the forced swimming test when administered intra-CPFmv-PL. In addition, coadministration of NMDA antagonist (LY366791) and AEA intra-CPFmvPL, in subeffective doses, induced antidepressant-like effect in the FST, showing a synergistic effect of these drugs. This result suggests that the antidepressant-like effect of AEA might involve attenuation of cortical NMDA-mediated glutamatergic neurotransmission. Taken together, results of the present study indicate an opposite involvement for CB1 and TRPV1 receptors in the behavioral responses elicited by forced swimming stress. Furthermore, the antidepressant-like effect of AEA probably involves the attenuation of NMDAR-mediated glutamatergic neurotransmission.

Com a presença cada vez maior de sistemas computacionais e novas tecnologias no cotidiano das pessoas, garantir que eles não falhem e funcionem corretamente tornou-se algo de extrema importância. Além de indicar a qualidade do sistema, assegurar seu bom funcionamento é essencial para se evitar perdas, desde financeiras até de vidas. Uma das técnicas utilizadas para esta finalidade é a chamada verificação formal de programas. A partir da especificação do sistema, descrita numa linguagem formal, são definidas propriedades a serem satisfeitas e que certificariam a qualidade do software. Estas propriedades devem então ser implementadas para uso num verificador, que é a ferramenta responsável por executar a verificação e informar quais propriedades foram satisfeitas e quais não foram; no caso das propriedades terem sido violadas, o verificador deve indicar aos desenvolvedores os possíveis locais com código incorreto no sistema. A desvantagem do uso da verificação formal é, além do seu alto custo, a necessidade de haver pessoas com experiência em métodos formais para definir propriedades a partir da especificação formal do sistema, e convertê-las numa representação que possa ser entendida pelo verificador. Este processo de definição de propriedades é particularmente complexo, demorado e suscetível a erros, por ser feito em sua maior parte de forma manual. Para auxiliar os desenvolvedores na utilização da verificação formal em programas escritos em Java, propomos neste trabalho a geração de representação de propriedades para uso direto num verificador. As propriedades a serem geradas são objetivos de teste derivados da especificação formal do sistema. Estes objetivos de teste descrevem o comportamento esperado do sistema que deve ser observado durante sua execução. Ao estabelecer que o universo de propriedades corresponde ao universo de objetivos de teste do programa, garantimos que as propriedades geradas em nosso trabalho descrevem o comportamento esperado do programa por meio de caminhos de execução que levam a um estado de aceitação da propriedade, ou a um estado de violação. Assim, quando o verificador checa o objetivo de teste, ele consegue dar como resultado o veredicto de sucesso ou falha para a propriedade verificada, além de dados da cobertura dos caminhos de execução do programa que podem ser usados para análise do comportamento do programa que levou ao sucesso ou falha da propriedade verificada. / The task of guaranteeing that computational systems do not fail and work correctly has become extremely important with the growing presence of new technologies in people\'s lives. Therefore, it is essential to ensure that such systems work properly to confirm their high-quality and to avoid financial and even life losses. One of the techniques used to this purpose is called formal verification of programs. From the system specification, which should be described in a formal language, we define properties that must be satisfied during system execution to guarantee the software quality. Then, these properties are checked using a verifier, which is the tool responsible for running the verification and for notifying whether the property was satisfied by the program; if the property was violated, it indicates to software developers the possible location of faults in the system. The disadvantages of using formal verification are the high cost to apply this technique in practice, and the necessity of having people with experience in formal methods to derive the properties from system specification and define them in a formal representation that can be read by a program verifier. This particular task of deriving a property from system specification and defining it to be checked by a verifier is complex, time-consuming and error-prone, since it is usually done by hand. To help software developers in the application of formal verification in Java programs, we propose in this work the generation of properties formal representation for direct use in a verifier. The generated properties are test purposes, which are derived from system formal specification and present the desirable system behavior that must be observed during the system execution. Establishing that the universe of properties correspond to the universe of test purposes of a program, we guarantee that the generated properties describe the expected program behavior through execution traces that lead to either an accept state or a refuse state. Thus, when the verifier checks the test purpose, it can give a success/fail verdict for the property, and provide traces coverage data that can be used to analyze the program behavior that led to that verdict.

O teste de programas concorrentes e uma atividade desaadora, devido a fatores que não estão presentes em programas sequenciais, como comunicação, sincronização e não determinismo. Algumas técnicas de teste têm sido propostas para o contexto de programação concorrente, mas raramente sua aplicabilidade e avaliada por estudos teóricos ou experimentais. Este trabalho contribui nesse sentido, propondo e conduzindo um estudo experimental para avaliar o custo, eficácia e aspecto complementar dos critérios de teste estruturais para programas concorrentes no contexto de memória compartilhada, implementados usando o padrão PThreads (Posix Threads). A ferramenta de teste ValiPThread e usada para auxiliar a condução do experimento. Os programas usados no experimento foram selecionados de benchmarks, como o Inspect, Helgrind e Rungta. Esses benchmarks são comumente usados no estudo de técnicas de teste para programas concorrentes. Programas que resolvem problemas clássicos da programação concorrente também foram incluídos no estudo. Com base nos resultados obtidos foi definida uma estratégia de aplicação, considerando aspectos de custo e eficácia dos critérios de teste. Além disso, todo o material utilizado e gerado durante o experimento foi reunido em um pacote de laboratório, a fim de contribuir com a comunidade de pesquisa, possibilitando replicações e comparações desses critérios com outras técnicas de teste no contexto de programas concorrentes / Concurrent program testing is a challenging activity due to the communication, synchronization and nondeterminism of this application domain. Despite that, some testing techniques for concurrent programs have been proposed, but their applicability is rarely evaluated by theoretical or experimental studies. This work contributes in this direction proposing and conducting an experimental study to evaluate the cost, effectiveness and strength of structural testing criteria for multithreaded programs, implemented using the Pthreads standard (POSIX Threads). The testing tool ValiPThread is used to support the conduction of the experiment. The programs used in this experiment were selected from classical benchmarks, such as Inspect, Helgring and Rungta. These benchmarks are commonly used to study testing techniques for concurrent programs. We also include programs that solve concurrent classical problems. Based on the obtained results, we defined an application testing strategy, considering cost and effectiveness aspects of the testing criteria. Furthermore, all material used and generated during the experiment was incorporated in a lab package, in order to contribute with further research studies making possible replications and comparisons of these testing criteria with other testing techniques in context of concurrent programs