Construções dos Números Reais

Neste trabalho estudamos várias construções do sistema dos números reais. Antes porém, começamos por abordar a evolução do conceito de número, destacando três diferentes aspectos da evolução do conceito de número real. Relacionado com este tema, dedicamos dois capítulos, deste trabalho, à apresentação das teorias que consideramos assumir maior importância, nomeadamente: a construção do sistema dos números reais por cortes na recta ou secções no conjunto dos números racionais, avançada por Dedekind, e a construção do número real como classe de equivalência de sucessões fundamentais de números racionais, ideia protagonizada por Cantor. Posteriormente, e de uma forma mais sintetizada do que nas anteriores, apresentamos outras construções, onde procuramos clarificar a ideia fundamental subjacente ao conceito de número real. Finalmente utilizamos o método axiomático com o intuito de mostrar a unicidade do sistema dos números reais, isto é, concluir finalmente que existe um corpo completo e ordenado, e apenas um a menos de um isomorfismo, do conjunto dos números reais.

Apoiando a Construcao de Testes de Aceitacao Automatizados a partir da Especificacao de Requisitos

A automação consiste em uma importante atividade do processo de teste e é capaz de reduzir significativamente o tempo e custo do desenvolvimento. Algumas ferramentas tem sido propostas para automatizar a realização de testes de aceitação em aplicações Web. Contudo, grande parte delas apresenta limitações importantes tais como necessidade de valoração manual dos casos de testes, refatoração do código gerado e forte dependência com a estrutura das páginas HTML. Neste trabalho, apresentamos uma linguagem de especificação de teste e uma ferramenta concebidas para minimizar os impactos propiciados por essas limitações. A linguagem proposta dá suporte aos critérios de classes de equivalência e a ferramenta, desenvolvida sob a forma de um plug-in para a plataforma Eclipse, permite a geração de casos de teste através de diferentes estratégias de combinação. Para realizar a avaliação da abordagem, utilizamos um dos módulos do Sistema Unificado de Administração Publica (SUAP) do Instituto Federal do Rio Grande do Norte (IFRN). Participaram da avaliação analistas de sistemas e um técnico de informática que atuam como desenvolvedores do sistema utilizado.

Apoiando a construção de testes de aceitação automatizados a partir da especificação de requisitos

Automation has become increasingly necessary during the software test process due to the high cost and time associated with such activity. Some tools have been proposed to automate the execution of Acceptance Tests in Web applications. However, many of them have important limitations such as the strong dependence on the structure of the HTML pages and the need of manual valuing of the test cases. In this work, we present a language for specifying acceptance test scenarios for Web applications called IFL4TCG and a tool that allows the generation of test cases from these scenarios. The proposed language supports the criterion of Equivalence Classes Partition and the tool allows the generation of test cases that meet different combination strategies (i.e., Each-Choice, Base-Choice and All Combinations). In order to evaluate the effectiveness of the proposed solution, we used the language and the associated tool for designing and executing Acceptance Tests on a module of Sistema Unificado de Administração Pública (SUAP) of Instituto Federal Rio Grande do Norte (IFRN). Four Systems Analysts and one Computer Technician, which work as developers of the that system, participated in the evaluation. Preliminary results showed that IFL4TCG can actually help to detect defects in Web applications

Triagem neonatal para infecção chagásica congênita: aplicação de análise de classe latente para avaliação dos testes diagnósticos

O presente estudo tem como objetivo avaliar os testes sorológicos convencionais usados na triagem neonatal para doença de Chagas, discutindo métodos estatísticos disponíveis. Estudou-se uma amostra aleatória dentre 23.308 recém-nascidos triados para doença de Chagas congênita por meio de três testes: imunoensaioenzimático, imunofluorescência indireta e hemoaglutinação indireta. Os dados obtidos foram analisados por diferentes metodologias estatísticas: a análise de classe latente, o teste Kappa e a análise de sensibilidade relativa. Utilizando a análise de classe latente, a maior sensibilidade foi do imunoensaioenzimático (48,6%), seguido pela imunofluorescência indireta (39,8%) e pela hemoaglutinação indireta (23,2%). O valor Kappa foi 0,496. A razão entre as sensibilidades dos testes imunoensaioenzimático e imunofluorescência indireta foi de 92% [0,74;1,13]. A análise de classe latente não se mostrou adequada para determinação de sensibilidade e especificidade, mas forneceu dados importantes sobre a equivalência dos testes, corroborados pela análise de sensibilidade relativa. Os resultados mostraram que o teste imunoensaioenzimático em sangue-seco pode ser utilizado com a mesma segurança do teste imunofluorescência indireta.

Projeção da distribuição diamétrica de povoamentos de eucalipto em diferentes amplitudes de classe

O objetivo deste trabalho foi verificar a qualidade da modelagem da distribuição diamétrica de povoamentos equiâneos de eucalipto, de acordo com a variação na amplitude de classe utilizada. Avaliaram-se tanto o ajuste da função aos dados observados quanto a projeção dos parâmetros da função, por meio de um modelo de distribuição diamétrica. Foram utilizados dados de 48 parcelas permanentes, obtidos em quatro ocasiões. Constatou-se equivalência estatística entre as distribuições observadas e as estimadas pela função Weibull, em todas as situações. A função Weibull ajustou-se adequadamente aos dados, independentemente da amplitude de classe; no entanto, a redistribuição teórica dos diâmetros por classe, por meio de um modelo de distribuição diamétrica, foi afetada pela amplitude de classe.

Equivalência de dulçor e poder edulcorante de edulcorantes em função da temperatura de consumo em bebidas preparadas com chá-mate em pó solúvel

No presente estudo foi verificado o efeito da temperatura de consumo na equivalência de doçura e no poder edulcorante de diferentes agentes adoçantes em bebida de chá-mate em pó solúvel. Foram avaliados: aspartame, sucralose, mistura ciclamato/sacarina 2:1, Stevia e acessulfame-K, tendo como referência a sacarose. Todos os estudos foram realizados a 6±2ºC e a 45±2ºC. Primeiramente foi determinada a doçura ideal, utillizando-se escala do ideal com 30 provadores consumidores da bebida. Em seguida, foi determinada a doçura equivalente à sacarose (na doçura considerada ideal) para cada edulcorante estudado, e seu poder edulcorante nas duas temperaturas de estudo. Para tal foi aplicado o método de estimação de magnitude, utilizando-se uma equipe de 10 provadores selecionados e treinados. A doçura ideal de sacarose foi de 8,3% para a bebida de chá-mate solúvel, sem diferença significativa entre as temperaturas de estudo. Ocorreram diferenças sensoriais importantes em função da temperatura, pois, enquanto para alguns edulcorantes o aumento de temperatura provocou diminuição na potência edulcorante, para outros foi observado aumento do poder edulcorante. Portanto, não se deve generalizar as alterações no poder edulcorante em função da temperatura, pois ela pode variar em função da classe química envolvida e do meio de dispersão em que se encontra.

Equivalência de estímulos e generalização de leitura em crianças de primeira série com dificuldade na aquisição de leitura

O paradigma da equivalência de estímulos tem sido relevante para a compreensão da aprendizagem de leitura em crianças de séries iniciais do ensino fundamental. O objetivo deste estudo foi verificar a formação de relações de equivalência entre palavras ditadas, palavras impressas e figuras e investigar procedimentos que podem facilitar a aquisição da leitura generalizada em crianças com dificuldades de leitura. Participaram oito crianças, de ambos os sexos, com idades entre sete e oito anos, alunos de uma classe da primeira série do ensino fundamental de uma escola pública. As fases experimentais foram: Pré-teste, aplicado a todas as crianças da classe, que consistiu de exercícios de cópia, ditado, leitura de palavras e nomeação de figuras; Ensino, aplicado a quatro de oito crianças selecionadas no pré-teste. Esta fase consistiu de exercícios programados no computador e Testes, também aplicado aos quatro participantes, em que foi verificada a emergência das relações de equivalência entre as figuras e as palavras impressas e palavras impressas e figuras, e teste de generalização de leitura. Três participantes demonstraram a formação de relações de equivalência entre palavras ditadas, palavras impressas e figuras, e leitura com compreensão; mas não demonstraram leitura generalizada. O trabalho continuará, com ensino da leitura por exclusão, até a leitura generalizada, e será, então, aplicado um Pósteste às oito crianças. (Bolsa de Mestrado CNPq)

Efeito de instruções sobre a demonstração de equivalência entre posições

A maioria dos trabalhos sobre equivalência com participantes humanos resultou na formação de classes de equivalência independentemente das características dos estímulos empregados. Entretanto, uma série de estudos recentes utilizando a posição como dimensão relevante de estímulo mostrou resultados negativos, em sua maioria. O presente estudo pretendeu verificar se instruções que tornassem mais clara a tarefa dos participantes resultaria em melhor desempenho na formação de três classes de equivalência formadas pela posição relativa de nove quadrados compondo uma matriz três por três. Dez estudantes universitários que participaram do experimento receberam instruções mínimas. Onze outros receberam instruções adicionais instando-os a levar em conta nas próximas tentativas (tentativas de teste) o que aprenderam no decorrer do experimento (tentativas de linha de base). Dez participantes que receberam instruções adicionais e cinco que receberam instruções mínimas formaram as três classes equivalentes de posição. Deste modo parece evidente que as instruções adicionais facilitaram a formação de equivalência. Entretanto, o presente trabalho também difere dos anteriores em mais dois aspectos: 1) na utilização de uma cor diferente para cada classe, e 2) na permissão de um maior número de testes antes de concluir-se pela não formação de equivalência, favorecendo deste modo, mais extinção de respostas incompatíveis com as contingências programadas.

Avaliação da posição condilar e disfunção temporomandibular em pacientes com má oclusão de Classe II submetidos à protrusão mandibular ortopédica

OBJETIVO: avaliar a participação da protrusão mandibular ortopédica e da posição condilar na prevalência de sinais e sintomas de disfunção temporomandibular (DTM). METODOLOGIA: a amostra foi composta por 60 indivíduos divididos em 3 grupos, sendo o grupo I correspondente a indivíduos não tratados; o grupo II composto por jovens em tratamento com o Bionator; e o grupo III por jovens já tratados com este aparelho. Os indivíduos da amostra responderam a um questionário relativo aos principais sintomas de DTM, permitindo a classificação dos mesmos de acordo com a presença e severidade dessas disfunções. Esses jovens também se submeteram à avaliação da movimentação mandibular, palpação dos músculos mastigatórios e inspeção de ruídos articulares. Radiografias transcranianas padronizadas das ATMs direita e esquerda foram realizadas, para obtenção do grau de concentricidade condilar. RESULTADOS: os testes ANOVA, Kruskal-Wallis e qui-quadrado foram utilizados para análise dos dados. De acordo com os resultados do questionário anamnésico, 66,67% da amostra foram classificados com ausência de DTM; 30% com DTM leve e apenas 3,33% com DTM moderada, sem diferença entre os grupos estudados (p > 0,05). Quanto à concentricidade condilar, o grupo II apresentou os valores de menor concentricidade (côndilos mais anteriorizados), com diferença estatisticamente significante em relação ao grupo I (p < 0,05). Uma associação entre a concentricidade condilar e a prevalência de DTM, no entanto, não foi encontrada. CONCLUSÃO: a protrusão ortopédica, apesar de alterar a posição dos côndilos, não aumentou a prevalência de DTM na população estudada.

Efeitos do aparelho Jasper Jumper no tratamento da má oclusão de Classe II

OBJETIVO: o objetivo deste estudo foi avaliar os efeitos esqueléticos e dentoalveolares do tratamento de pacientes com má oclusão de Classe II com o aparelho Jasper Jumper associado ao aparelho ortodôntico fixo, comparados a um grupo controle não-tratado. MÉTODOS: a amostra foi constituída por 47 indivíduos, divididos em dois grupos: Grupo 1, contendo 25 pacientes com idade média de 12,72 anos, tratados com o aparelho Jasper Jumper por um tempo médio de 2,15 anos; Grupo 2 (controle), composto por 22 indivíduos com idade média de 12,67 anos, não-submetidos a tratamento ortodôntico e com má oclusão de Classe II, observados por um período médio de 2,12 anos. Foram avaliadas as telerradiografias ao início e ao final do tratamento ortodôntico para o Grupo 1 e do período de observação para o Grupo 2. As variáveis cefalométricas iniciais, finais e as alterações com o tratamento foram comparadas entre os grupos por meio do teste t independente. RESULTADOS: em comparação ao grupo controle, o grupo Jasper Jumper apresentou maior restrição do deslocamento anterior da maxila e maior retrusão maxilar, melhora da relação maxilomandibular, diminuição da convexidade facial, maior protrusão e intrusão dos incisivos inferiores e maior extrusão dos molares inferiores, além de maior diminuição dos trespasses horizontal e vertical e maior melhora da relação molar. CONCLUSÃO: a correção da Classe II no grupo tratado com o Jasper Jumper e aparelhagem fixa se deu principalmente devido à restrição do crescimento maxilar, protrusão e intrusão dos incisivos inferiores e extrusão dos molares inferiores.

Características oclusais de pacientes com Classe II, divisão 1, tratados sem e com extrações de dois pré-molares superiores

OBJETIVOS: o objetivo deste estudo foi identificar características oclusais iniciais de pacientes Classe II, divisão 1, tratados sem e com extrações de dois pré-molares superiores. MÉTODOS: foram selecionados 62 pacientes que apresentavam má oclusão de Classe II, divisão 1, os quais foram divididos em dois grupos, de acordo com a forma de tratamento proposta, sendo o grupo 1 constituído de 42 pacientes (23 do sexo feminino e 19 do sexo masculino), com idade média de 12,7 anos, tratados sem extrações e com aparelho fixo combinado com extrabucal; e o grupo 2, composto de 20 pacientes (6 do sexo feminino e 14 do sexo masculino), com idade média de 13,5 anos, tratados também com aparelho fixo combinado com uso de extrabucal, mas que tiveram indicação de extrações de dois pré-molares superiores em seus planos de tratamento. Para observar as características oclusais iniciais e finais, assim como suas alterações com o tratamento, foi utilizado o Índice de Prioridade de Tratamento (IPT). Os valores dos índices foram submetidos à análise estatística pelo teste t independente, para comparar as variáveis entre os grupos. RESULTADOS E CONCLUSÕES: os resultados demonstraram que o grau de má oclusão inicial foi diferente nos dois grupos quando avaliados pelo IPT, sendo maior no grupo tratado com extrações de dois pré-molares superiores

Classe II divisão 1 associada à deficiência transversal maxilar. Tratamento com disjuntor tipo Hyrax e aparelho de Herbst: relato de caso clínico

A má oclusão de Classe II divisão 1 de Angle é, frequentemente, acompanhada da atresia maxilar. Esse problema transversal da maxila deve ser corrigido, sempre que possível, antes da correção anteroposterior, sendo que os aparelhos de expansão rápida são os mais utilizados para isso. Para a correção da Classe II, atualmente, os aparelhos funcionais fixos são os mais estudados e empregados, por serem aparelhos intrabucais e necessitarem de menor colaboração do paciente. O objetivo deste estudo é demonstrar a estabilidade dos resultados obtidos após seis anos de tratamento com expansor tipo Hyrax, seguido do aparelho funcional fixo de Herbst e aparelho fixo. Após uma revisão da literatura, será apresentado um caso clínico, com atresia maxilar e má oclusão de Classe II divisão 1, tratado com essa terapia. O tratamento foi realizado em um curto período de tempo, com resultados funcionais e estéticos satisfatórios e mantidos ao longo dos anos.

A influência do protocolo de extração de dois pré-molares superiores na estabilidade oclusal do tratamento da Classe II

OBJETIVO: com o propósito de avaliar a influência da extração de dois pré-molares superiores na estabilidade oclusal do tratamento da má oclusão de Classe II completa, foi realizada uma comparação com o protocolo de tratamento sem extrações. MÉTODOS: selecionou-se, a partir das documentações do arquivo da Disciplina de Ortodontia da Faculdade de Odontologia de Bauru, uma amostra composta pelas documentações de 59 pacientes com má oclusão de Classe II completa. Em seguida, dividiu-se essa amostra em dois grupos, apresentando as seguintes características: Grupo 1, constituído por 29 pacientes, tratados sem extrações; e Grupo 2, composto por 30 pacientes, tratados com extrações de dois pré-molares superiores. Os modelos ao início do tratamento, ao final do tratamento e em um período mínimo de 2,4 anos após o tratamento foram medidos e avaliados por meio dos índices oclusais IPT e PAR. As condições oclusais ao final do tratamento e no estágio pós-tratamento, o percentual de recidiva e as alterações oclusais pós-tratamento foram comparados por meio do teste t. RESULTADOS: os resultados demonstraram que os protocolos de tratamento sem extração e com extrações de dois pré-molares superiores não apresentaram, em nenhuma das variáveis avaliadas, diferenças estatisticamente significativas em relação à estabilidade oclusal do tratamento da má oclusão de Classe II completa. CONCLUSÃO: a extração de dois pré-molares superiores no tratamento da má oclusão de Classe II completa não influenciou a estabilidade dos resultados oclusais alcançados ao final da correção ortodôntica. Portanto, terminar o tratamento com uma relação molar em Classe II ou em Classe I proporciona estabilidade semelhante.

Comparação entre os resultados oclusais e os tempos de tratamento da má oclusão de Classe II por meio da utilização do aparelho Pendulum e das extrações de dois pré-molares superiores

OBJETIVO: comparar os resultados oclusais e os tempos de tratamento da má oclusão de Classe II realizado com o aparelho Pendulum e com extrações de dois pré-molares superiores. MÉTODOS: a amostra constituiu-se dos modelos de gesso e das telerradiografias de 48 pacientes com má oclusão de Classe II, divididos em dois grupos de acordo com o protocolo de tratamento. O grupo 1 foi composto por 22 pacientes tratados com o aparelho Pendulum, com idade inicial média de 14,44 anos. O grupo 2 constituiu-se por 26 pacientes tratados com extrações de dois pré-molares superiores, com idade inicial média de 13,66 anos. Os resultados oclusais obtidos pelos dois protocolos de tratamento utilizados foram avaliados em modelos de gesso por meio do índice oclusal PAR, enquanto o tempo de tratamento foi calculado a partir das anotações clínicas presentes nos prontuários. As avaliações foram realizadas por meio do teste t independente. RESULTADOS E CONCLUSÕES: os resultados oclusais obtidos não demonstraram diferenças entre os grupos, porém o grupo 2 apresentou um tempo de tratamento significativamente menor.

Variáveis relevantes no tratamento da má oclusão de Classe II

Os resultados do tratamento da má oclusão de Classe II podem ser influenciados por características que são inerentes ao paciente - como a idade, a severidade da má oclusão e o grau de colaboração - ou, ainda, por fatores relacionados à conduta do profissional - como a escolha do protocolo de tratamento. Basicamente, o tratamento da Classe II pode ser realizado sem extrações ou com extrações de dois ou quatro pré-molares. Contudo, uma maior proporção de sucesso do tratamento pode ser esperada com extrações de dois pré-molares superiores, independentemente do padrão facial e da relação maxilomandibular. Considerando esta revisão, pôde-se concluir que os resultados oclusais do tratamento da Classe II são fortemente influenciados pelo protocolo de tratamento, enquanto o padrão facial não parece exercer uma influência significativa.