Orientação familiar e seus efeitos na gagueira infantil

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

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Uma abordagem para a verificação do comportamento excepcional a partir de regras de designe e testes

Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code

Uma investigação de algoritmos exatos e metaheurísticos aplicados ao nonograma

Nonogram is a logical puzzle whose associated decision problem is NP-complete. It has applications in pattern recognition problems and data compression, among others. The puzzle consists in determining an assignment of colors to pixels distributed in a N  M matrix that satisfies line and column constraints. A Nonogram is encoded by a vector whose elements specify the number of pixels in each row and column of a figure without specifying their coordinates. This work presents exact and heuristic approaches to solve Nonograms. The depth first search was one of the chosen exact approaches because it is a typical example of brute search algorithm that is easy to implement. Another implemented exact approach was based on the Las Vegas algorithm, so that we intend to investigate whether the randomness introduce by the Las Vegas-based algorithm would be an advantage over the depth first search. The Nonogram is also transformed into a Constraint Satisfaction Problem. Three heuristics approaches are proposed: a Tabu Search and two memetic algorithms. A new function to calculate the objective function is proposed. The approaches are applied on 234 instances, the size of the instances ranging from 5 x 5 to 100 x 100 size, and including logical and random Nonograms

Valores de referência para o teste de caminhada com carga progressiva em indivíduos saudáveis: da distância percorrida às respostas fisiológicas

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

A suplementação de ácidos graxos ômega 3 e triglicérides de cadeia média não alteram os indicadores metabólicos em um teste de exaustão

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

Influência da massa magra corporal nas repercussões cardiopulmonares durante o teste de caminhada de seis minutos em pacientes com DPOC

OBJETIVO: A massa magra corporal (MMC) tem sido associada à mortalidade em pacientes com DPOC, mas seu impacto na limitação funcional é pouco conhecido. O objetivo deste trabalho foi analisar as variáveis cardiopulmonares em pacientes com DPOC, com ou sem depleção da MMC, antes e após a realização do teste de caminhada de seis minutos (TC6). MÉTODOS: Foram avaliados pacientes com DPOC, 36 sem depleção de MMC e 32 com depleção de MMC. Todos os pacientes foram submetidos à avaliação clínica, espirometria, avaliação da composição da massa corpórea e TC6 e responderam a questionários de qualidade de vida e de percepção de dispnéia. RESULTADOS: Não foram observadas diferenças significativas na gravidade de obstrução das vias aéreas, na percepção da dispnéia e na qualidade de vida entre os grupos. A distância percorrida no TC6 foi similar nos pacientes com DPOC com e sem depleção de MMC (470,3 ± 68,5 m vs. 448,2 ± 89,2 m). Entretanto, durante a realização do teste, os pacientes com depleção de MMC apresentaram aumento significativamente maior na diferença entre os valores final e basal da frequência cardíaca e do índice da escala de Borg para cansaço dos membros inferiores. A distância percorrida no TC6 apresentou correlação significativa positiva com o VEF1 (r = 0,381; p = 0,01). CONCLUSÕES: Não houve influência da depleção da MMC na capacidade funcional de exercício e na qualidade de vida dos pacientes estudados. Entretanto, os pacientes com depleção de MMC apresentam sintomas de fadiga dos membros inferiores mais acentuados durante o TC6, o que reforça a importância da avaliação e tratamento das manifestações sistêmicas da DPOC.

Desenvolvimento e validação de técnica quantitativa de análise de imagem para avaliação do teste do cometa corado pela prata

INTRODUÇÃO: O ensaio do cometa ou técnica da eletroforese de células isoladas é largamente empregado para avaliação de danos e reparo do DNA em células individuais. O material pode ser corado por técnicas de fluorescência ou por sal de prata. Este último apresenta vantagens técnicas, como o tipo de microscópio utilizado e a possibilidade de armazenamento das lâminas. A análise dos cometas pode ser feita de modo visual, porém há a desvantagem da subjetividade dos resultados, que pode ser minimizada por análise digital automatizada. OBJETIVOS: Desenvolvimento e validação de método de análise digital de cometas corados por sal de prata. MÉTODOS: Cinquenta cometas foram fotografados de maneira padronizada e impressos em papel. Além de medidas manualmente, essas imagens foram classificadas em cinco categorias por três avaliadores, antes e depois de pré-processadas automaticamente pelo software ImageJ 1.38x. As estimativas geradas pelos avaliadores foram comparadas quanto sua correlação e reprodutibilidade. em seguida, foram desenvolvidos algoritmos de análise digital das medidas, com base em filtros estatísticos de mediana e de mínimo. Os valores obtidos foram comparados com os estimados manual e visualmente após o pré-processamento. RESULTADOS: As medidas manuais das imagens pré-processadas apresentaram maior correlação intraclasse do que as imagens preliminares. Os parâmetros automatizados apresentaram alta correlação com as medidas manuais pré-processadas, sugerindo que este sistema aumenta a objetividade da análise, podendo ser utilizado na estimativa dos parâmetros dos cometas. CONCLUSÃO: A presente análise digital proposta para o teste do cometa corado pela prata mostrou-se factível e de melhor reprodutibilidade que a análise visual.

Gravitomagnetismo e o teste da sonda gravidade B

The so-called gravitomagnetic field arised as an old conjecture that currents of matter (no charges) would produce gravitational effects similar to those produced by electric currents in electromagnetism. Hans Thirring in 1918, using the weak field approximation to the Einsteins field equations, deduced that a slowly rotating massive shell drags the inertial frames in the direction of its rotation. In the same year, Joseph Lense applied to astronomy the calculations of Thirring. Later, that effect came to be known as the Lense- Thirring effect. Along with the de Sitter effect, those phenomena were recently tested by a gyroscope in orbit around the Earth, as proposed by George E. Pugh in 1959 and Leonard I. Schiff in 1960. In this dissertation, we study the gravitational effects associated with the rotation of massive bodies in the light of the Einsteins General Theory of Relativity. With that finality, we develop the weak field approximation to General Relativity and obtain the various associated gravitational effects: gravitomagnetic time-delay, de Sitter effect (geodesic precession) and the Lense-Thirring effect (drag of inertial frames). We discus the measures of the Lense-Thirring effect done by LAGEOS Satellite (Laser Geodynamics Satellite) and the Gravity Probe B - GPB - mission. The GPB satellite was launched into orbit around the Earth at an altitude of 642 km by NASA in 2004. Results presented in May 2011 clearly show the existence of the Lense-Thirring effect- a drag of inertial frames of 37:2 7:2 mas/year (mas = milliarcsec)- and de Sitter effect - a geodesic precession of 6; 601:8 18:3 mas/year- measured with an accuracy of 19 % and of 0.28 % respectively (1 mas = 4:84810��9 radian). These results are in a good agreement with the General Relativity predictions of 41 mas/year for the Lense-Thirring effect and 6,606.1 mas/year for the de Sitter effect.

NI-GMRES precondicionado

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

Teste tuberculínico em indivíduos com infecção pelo vírus da imunodeficiência humana: relação com número de linfócitos T periféricos e atividade tuberculosa

OBJETIVO: Avaliar os resultados do teste tuberculínico e relacioná-los com a presença ou não de tuberculose em atividade e com a contagem de linfócitos T CD4+/CD8+. MÉTODOS: Foram revisados 802 prontuários de pacientes com síndrome da imunodeficiência adquirida atendidos no período de agosto de 1985 a março de 2003. Cento e oitenta e cinco pacientes realizaram o teste tuberculínico (23,1%) e, destes, 107 eram do sexo masculino (57,8%). A média de idade no grupo de reatores ao teste tuberculínico foi de 30,6 anos, com desvio-padrão de 6,62 anos, e entre os não reatores de 34,45 anos com desvio-padrão de 10,32 anos. Foram constituídos dois grupos de estudo: reatores ao teste tuberculínico, com 28 pacientes, e não reatores ao teste tuberculínico, com 157 pacientes. RESULTADOS: Grande parte dos indivíduos foi pouco responsiva ao teste tuberculínico. Constatou-se, no grupo de reatores, maior porcentagem de indivíduos com tuberculose ativa à época da realização do teste, quando se comparou com os não reatores. Dez pacientes entre os reatores e onze entre os não reatores apresentavam alguma forma clínica de tuberculose em atividade à época da realização do teste, sendo que seis do primeiro grupo e oito do segundo tinham contagem de linfócitos T CD4+ menor que 200 células/mm³. CONCLUSÃO: Indurações maiores do que 5 mm não se relacionaram com contagens absolutas mais altas de células T CD4+.

Percepção dos profissionais que atuam na Estratégia de Saúde da Família quanto à assistência prestada aos idosos: revisão integrativa da literatura

A presente investigação é uma revisão integrativa cujo objetivo foi buscar na literatura e avaliar a percepção dos profissionais quanto ao atendimento dispensado ao idoso pelas equipes da Estratégia de Saúde da Família (ESF). Para a seleção dos trabalhos, utilizaram-se duas bases de dados, Medline e Lilacs, compondo a amostra que se constitui de dez publicações. Após a análise dos trabalhos incluídos na revisão, os resultados evidenciaram que os profissionais da ESF reconheceram a falta de preparo da equipe em relação à pessoa idosa, enfatizaram a dificuldade da estrutura organizacional e política da ESF no que se refere à velhice e admitiram a falta de integralização do cuidado das equipes à assistência ao idoso.

A trajetória da família do portador de sofrimento psíquico

Este artigo é uma reflexão teórica acerca de como os familiares estiveram incluídos na assistência ao portador de sofrimento psíquico. Iniciamos a partir da constituição da psiquiatria enquanto ciência médica e buscamos chegar até os nossos dias. Percebemos que a família foi excluída do cuidado ao doente mental e que só veio receber a atenção e ser investigada a partir da Segunda Guerra Mundial quando começou o processo de desospitalização. No Brasil as estratégias visando auxiliar a família no enfrentamento do sofrimento psíquico ainda se encontram incipientes.

Saúde mental no Programa de Saúde da Família: conceitos dos agentes comunitários sobre o transtorno mental

Este estudo objetivou identificar as representações sociais de agentes comunitários de uma unidade de Programa Saúde da Família sobre o transtorno mental. Optamos pela pesquisa qualitativa, utilizando o estudo de caso. Para a coleta de dados, recorremos à entrevista semi-estruturada, enriquecida pelo uso de Técnica Projetiva, e à análise temática para analisar o material obtido. Os resultados evidenciam representações sociais ancoradas no paradigma psiquiátrico tradicional. Esse considera a pessoa acometida pelo transtorno mental passiva, sem condições de protagonizar os próprios caminhos que, por sua vez, são marcados pelo preconceito. Desse modo, denota-se a grande necessidade de investimento na capacitação em saúde mental, junto aos atores do cenário da assistência do Programa de Saúde da Família. de acordo com o estudo, tal investimento contribuirá para a efetivação de práticas e construção de novos saberes, contribuindo para a melhoria da assistência em saúde.

Do mundo como norma ao lugar como forma: o uso do território pela estratégia da saúde da família

This work aims to check whether there is a congruence between the purposes of regulations imposed by SIAB and the materiality constitution of places where your information is produced, since our hypothesis is that there is a mismatch between the rules and forms, which means, between reality as it is in places and how the territory is scrutinized by the Family Health Strategy (FHS) as for the performance of their teams as to the generation of their information. For this, the methodology used was the literature, documentary and empirical research, in special about territorialization of the Family Health strategy of Natal-RN. From the empirical mediation was possible to see the gap between full exploration and information produced by the ESF and the reality of the places. Thus, we highlight the importance of considering the conditioning of geographical forms as a guiding principle of the strategy for Family Health