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

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.

Edital : processamento especial para a classe "C" da categoria funcional de Assistente Legislativo, áreas - Técnica Legislativa, Pesquisa Legislativa e Taquigrafia Legislativa

Coleção de editais de concursos públicos reunidos pela Coordenação de Relacionamento Pesquisa e Informação do Centro de Documentação da Câmara dos Deputados.

Pratica dos inventarios, partilhas e contas : primeira parte dos juizos divisorios : obra necessaria aos que começão no auditorio forense falicitando o uso da materia divisoria nas diversas questões de cabeça de casal, collações, licitações, bemfeitorias de prazos e morgados, forma da repartição, lesões, emenda de partilhas, sonegados, recursos na 1. e 2. instancia, formaes, ou cartas de partilhas, testamentos, posses, heranças jacentes, contas no juizo dos orphãos e provedorias com uma tabella das acções civeis e outra dos processos criminaes classe dos delictos (sic)

Additamento a pratica dos inventarios, partilhas e contas dos juizos divisorios de Alberto Carlos de Menezes, em que se apontão as differenças entre a legislação anterior a 1833, e a que actualmente regula esta materia / por Joaquim Raphael do Valle.

Os trabalhadores e a representação de classe no Congresso Nacional

A representação dos trabalhadores no Congresso Nacional não corresponde a sua importância nas tomadas de decisão no País, em especial no Poder Legislativo, que deveria representar a média da sociedade. O número de representantes da classe trabalhadora é desproporcional em relação a sua quantidade numérica na sociedade. Assim, suas reivindicações são represadas na principal arena de decisões do País. Para minimizar esses efeitos é necessário manter representantes em várias instâncias de decisão nos Poderes Legislativo e Executivo, que devem estar afinados com as demandas dos trabalhadores. O objetivo deste estudo é avaliar as disputas entre trabalhadores e empresários para aprovação do Projeto de Lei 1.990/2007, que deu origem a Lei 11.648/2008, onde foi reconhecido as Centrais Sindicais de Trabalhadores e garantiu a participação dos representantes nos espaços de poder.

Avaliação dos métodos para análise da microinfiltração marginal em restaurações de resina composta classe V in vitro

O objetivo deste estudo foi comparar os resultados da microinfiltração marginal obtidos por diferentes meios de aquisição de imagens e métodos de mensuração da penetração de prata em restaurações de resina composta classe V, in vitro. Dezoito pré-molares humanos hígidos, recém extraídos, foram divididos em três grupos, de acordo com o tipo de instrumento para preparação cavitária utilizado. Grupo 1: ponta diamantada número 3100, em alta rotação. Grupo 2: broca carbide número 330, em alta rotação. Grupo 3: ponta CVDentus código 82137, em aparelho de ultrassom. Foram realizados preparos cavitários padronizados (3x4x2mm) classe V nas faces vestibular e lingual de todos os dentes, com margens oclusais em esmalte e cervicais em dentina/cemento. As cavidades foram restauradas com o sistema adesivo Solobond M (VOCO) e resina composta Grandio (VOCO), a qual foi inserida e fotoativada em três incrementos. Os corpos de prova ficaram imersos em água destilada por 24h a 37oC; receberam acabamento e polimento com discos SofLex (3M) e foram novamente armazenados em água destilada, por sete dias. Posteriormente, as superfícies dentárias foram coberta com duas camadas de esmalte para unhas vermelho, exceto as áreas adjacentes às restaurações. Os espécimes ficaram imersos em solução aquosa de nitrato de prata a 50% por 24h e em solução fotorreveladora por 2h e foram seccionados no sentido vestíbulo-lingual, passando pelo centro das restaurações, com disco diamantado em baixa rotação. As amostras foram polidas em politriz horizontal e analisadas por diferentes métodos. À extensão da microinfiltração foi atribuído escores de 0 a 3 através de análises por meio de estereomicroscópio tradicional e com leds e microscópio ótico. As imagens obtidas na lupa com leds e no microscópio ótico tiveram as áreas infiltradas medidas através do software AxioVision. O teste χ2 de McNemar-Bowker revelou concordância estatística entre estereomicroscópio tradicional e o com leds (p=0,809) durante análises semiquantitativas. Porém, houve diferenças significantes entre microscópio ótico e estereomicroscópios (p<0,001). Houve boa correlação entre análises semiquantitativas e quantitativas de acordo com o teste de Spearmann (p<0,001). O teste de Kruskall-Wallis não revelou diferenças estatisticamente significantes (p=0,174) entre os grupos experimentais na análise quantitativa por microscópio ótico, em esmalte. Ao contrário do que se observa com a mesma em lupa (p<0,001). Conclui-se que o método de atribuição de escores comumente aplicado com a lupa nos estudos da microinfiltração marginal é uma opção confiável para análise da microinfiltração.

Os novos movimentos de classe: reflexões sobre a organização política da classe trabalhadora brasileira

O trabalho de pesquisa apresentado tem como objetivo analisar e discutir centralmente o processo de reconfiguração da classe trabalhadora brasileira, suas transformações e impactos ocasionados no contexto da reestruturação produtiva e das políticas neoliberais. Serão abordados aspectos referentes às características de sua organização política e sindical debatendo as potencialidades dos novos movimentos de classe, que se articulam enquanto ferramentas de transformação societária. Este novo processo de organização dos trabalhadores é tratado como fruto da realidade objetiva que os integra: precarizados e desempregados da cidade, sem-terras e sem-emprego do campo, indicando uma realidade onde a classe trabalhadora define-se de forma diferente daqueles trabalhadores que, em fins de 1970, iniciavam as greves em São Bernardo do Campo. Os novos movimentos de classe, aqui considerados, articulam a luta por uma contra-hegemonia no campo das ações políticas, de organização da classe e no campo da gestão econômica. São novos, por expressarem o resgate e a inovação de experiências políticas da classe trabalhadora em um momento onde esta sofre grandes transformações.

Desenvolvimento e validação de modelo preditivo e avaliação de testes de diagnóstico por classe latente para o parasitismo por L. chagasi em cães atendidos no Hospital Veterinário Universitário da UFPI, Teresina

A leishmaniose visceral americana (LVA) é uma doença em expansão no Brasil, para a qual se dispõem de poucas, e aparentemente ineficientes, estratégias de controle. Um dos grandes problemas para a contenção da leishmaniose visceral americana é a falta de um método acurado de identificação dos cães infectados, considerados os principais reservatórios da doença no meio urbano. Neste sentido, a caracterização de marcadores clínico-laboratoriais da infecção neste reservatório e a avaliação mais adequada do desempenho de testes para diagnóstico da infecção podem contribuir para aumentar a efetividade das estratégias de controle da LVA. Com isso, o presente estudo tem dois objetivos principais: (1) desenvolver e validar um modelo de predição para o parasitismo por Leishmania chagasi em cães, baseado em resultados de testes sorológicos e sinais clínicos e (2) avaliar a sensibilidade e especificidade de critérios clínicos, sorológicos e parasitológicos para detecção de infecção canina por L. chagasi mediante análise de classe latente. O primeiro objetivo foi desenvolvido a partir de estudo em que foram obtidos dados de exames clínico, sorológico e parasitológico de todos os cães, suspeitos ou não de LVA, atendidos no Hospital Veterinário Universitário da Universidade Federal do Piauí (HVU-UFPI), em Teresina, nos anos de 2003 e 2004, totalizando 1412 animais. Modelos de regressão logística foram construídos com os animais atendidos em 2003 com a finalidade de desenvolver um modelo preditivo para o parasitismo com base nos sinais clínicos e resultados de sorologia por Imunofluorescência Indireta (IFI). Este modelo foi validado nos cães atendidos no hospital em 2004. Para a avaliação da área abaixo da curva ROC (auROC), sensibilidade, especificidade, valores preditivos positivo (VPP), valores preditivos negativo (VPN) e acurácia global, foram criados três modelos: um somente baseado nas variáveis clínicas, outro considerando somente o resultado sorológico e um último considerando conjuntamente a clínica e a sorologia. Dentre os três, o último modelo apresentou o melhor desempenho (auROC=90,1%, sensibilidade=82,4%, especificidade=81,6%, VPP=73,4%, VPN=88,2% e acurácia global=81,9%). Conclui-se que o uso de modelos preditivos baseados em critérios clínicos e sorológicos para o diagnóstico da leishmaniose visceral canina pode ser de utilidade no processo de avaliação da infecção canina, promovendo maior agilidade na contenção destes animais com a finalidade de reduzir os níveis de transmissão. O segundo objetivo foi desenvolvido por meio de um estudo transversal com 715 cães de idade entre 1 mês e 13 anos, com raça variada avaliados por clínicos veterinários no HVU-UFPI, no período de janeiro a dezembro de 2003. As sensibilidades e especificidades de critérios clínicos, sorológicos e parasitológicos para detecção de infecção canina por Leishmania chagasi foram estimadas por meio de análise de classe latente, considerando quatro modelos de testes e diferentes pontos de corte. As melhores sensibilidades estimadas para os critérios clínico, sorológico e parasitológico foram de 60%, 95% e 66%, respectivamente. Já as melhores especificidades estimadas para os critérios clínico, sorológico e parasitológico foram de 77%, 90% e 100%, respectivamente. Conclui-se que o uso do exame parasitológico como padrão-ouro para validação de testes diagnósticos não é apropriado e que os indicadores de acurácia dos testes avaliados são insuficientes e não justificam que eles sejam usados isoladamente para diagnóstico da infecção com a finalidade de controle da doença.

Avaliação da microinfiltração marginal em cavidades classe II de molares decíduos restauradas com diferentes cimentos de ionômero de vidro

O objetivo desta pesquisa foi avaliar a microinfiltração em restaurações classe II realizadas com diferentes cimentos de ionômero de vidros em molares decíduos. Para tal, foram selecionados quarenta molares decíduos humanos a partir de um Banco de Dentes. Nas faces mesial e distal de cada dente foram preparadas cavidades classe II com dimensões padronizadas. Em seguida, os dentes foram divididos em oito grupos experimentais correspondentes ao material restaurador utilizado: grupo MXR (Maxxion R); grupo VDR (Vidrion R); grupo VTR (Vitremer); grupo VTF (Vitro Fill LC); grupo FUJ (Fuji IX); grupo KTM (Ketac Molar); grupo VMO (Vitro Molar); grupo MGS (Magic Glass ART). Ao término de vinte e quatro horas de imersão em água destilada, os dentes foram mantidos em solução de nitrato de prata a 50% pelo mesmo período e, então, em solução reveladora de radiografias (hidroquinona, Kodak) por quinze minutos. Os dentes foram então seccionados através do centro das restaurações, e observados em lupa estereoscópica sob o aumento de quarenta vezes. A microinfiltração foi graduada co base em escores relacionados à penetração do nitrato de prata na interface adesiva. Os resultados, após submetidos à análise estatística, demonstraram que nenhum dos materiais testados impediu completamente a microinfiltração. No entanto, o Vitremer apresentou os escores mais baixos, seguido do Ketac Molar e do Fuji IX. Os materiais Magic Glass ART, Vitro Molar, Vitro Fill LC e Vidrion R apresentaram comportamento intermediário em relação aos demais, enquanto o Maxxion R apresentou os piores resultados. Com base na metodologia empregada e nos resultados obtidos, pode-se concluir que nenhum dos materiais testados foi capaz de impedir completamente a microinfiltração, apesar de apresentarem graus varáveis de suscetibilidade a esse fenômeno, destacando-se, entre eles o Vitremer, o Ketac Molar e o Fuji IX por apresentarem baixos níveis de microinfiltração, seguidos do Magic Glass ART, Vitro Molar, Vitro Fill LC e Vidrion R. Em contrapartida, o Maxxion R apresentou os piores resultados, fato constatado pelos altos escores de microinfiltração registrados.

A translação de sentidos entre língua e classe social

Ao se falar de língua, fala-se da classe social que se imagina associada a essa mesma língua. Fundamentada na Análise do Discurso Franco-Brasileira (iniciada na França pelo grupo de Michel Pêcheux e retrabalhada no Brasil a partir de formulações de Eni Orlandi) e analisando corpòra diversos, que se encontram em gramáticas, dicionários, manuais de redação jornalística e o jornal carioca Meia Hora de Notícias, esta dissertação busca entender como os sentidos sobre língua e classe social vão sendo constituídos ao mesmo tempo. A Análise do Discurso com que este estudo vai trabalhar se apresenta como um campo inserido no entremeio das ciências humanas e sociais. Entre as principais questões levantadas por este campo, estão as crenças ilusórias em que as palavras emanam sentidos próprios, apropriados, e em que o sujeito é o dono de seu dizer e de suas intenções. Entende-se, na Análise do Discurso, que os sentidos são irrecorrivelmente formados ideologicamente, e que o sujeito se constitui analogamente, por processos inconscientes que não deixam de fora também a historicidade das relações sociais. Dessa forma, para se compreender como se dão as relações entre as formações de sentido entre língua e classe social, importará a depreensão do funcionamento discursivo do tratamento que os instrumentos de gramatização dão à variedade linguística. No Meia Hora, também se procura analisar de que modo um jornal vai significando, inscrito numa prática jornalística determinada, língua e classe social concomitantemente, através do uso de uma língua imaginária

Percepções de formandos do ensino médio acerca das contribuições da escola e da classe social de origem sobre suas chances de ascensão educacional: o que os alunos pensam, querem e como interpretam suas realidades

O presente estudo traz como lócus central de interesse apreender as percepções que alunos formandos do ensino médio de uma escola estadual do município do Rio de Janeiro, possuem sobre suas chances de terem ascensão educacional, via ingresso no ensino superior, focalizando, em especial, como percebem as contribuições da escola e da classe social a que pertencem nesse processo. O estudo foi realizado apenas durante o turno da manhã, utilizando-se de aporte teórico-metodológico ancorado nas pesquisas sobre os efeitos das escolas, campo de estudo que se iniciou fora do Brasil, e que recentemente tem experimentado mais entrada no campo educacional brasileiro. Esta pesquisa congregou o uso das metodologias quantitativa e qualitativa, com aplicação de questionários estruturados a todos os alunos formandos, bem como buscou conhecer mais das expectativas destes estudantes, através de entrevistas semi-estruturadas realizadas com dois alunos de cada turma. Estudos apontam que, ainda que os fatores extra-escolares, especialmente aqueles relacionados às condições socioeconômicas dos indivíduos, exerçam forte influência sobre o desempenho escolar dos alunos, sobre suas trajetórias escolares, e, posteriormente, sobre suas trajetórias profissionais, outros trabalhos vêm sugerindo que há mais elementos que precisam ser introduzidos na análise, elementos estes que dizem respeito a aspectos relacionados à própria escola, que se convencionou chamar no Brasil como efeitos das escolas, ou simplesmente, efeito-escola. Acredita-se, segundo esta perspectiva de análise, que as escolas podem vir a afetar as trajetórias dos alunos, assim como suas expectativas de vida e suas motivações, embaralhando a influência dos fatores socioeconômicos, que, ainda que presentes, não seriam os únicos condicionantes. Estas pesquisas revelam que, depois de controladas as variáveis concernentes às condições socioeconômicas dos indivíduos, os dados sugeririam que as escolas exerceriam influência sobre o desempenho dos alunos, em maior ou menor grau, com maior ou menor êxito, mostrando que as escolas podem fazer diferença, e que não são apenas os fatores extra-escolares os únicos determinantes para o sucesso e insucesso escolar dos indivíduos.

Em busca da revolução brasileira: o democrático-popular como expressão político-programática da formação da classe trabalhadora no Brasil

Essa dissertação tem por objeto de estudo a intitulada Estratégia Democrático-Popular, compreendida como o principal debate tático-estratégico construído pela classe trabalhadora no Brasil após o fim da contrarrevolução burguesa e que segue hegemônica entre parte significativa de seus instrumentos coletivos até os dias de hoje. A conjuntura de sua emersão é a do esgotamento da ditadura implantada em 1964 e o sujeito histórico do qual deriva é o que Chasin (2000) nomeou ter sido o nosso movimento democrático de massas, formado pela ascendência do movimento operário sindical e popular em 1980. O objetivo deste trabalho - diante do pouco referencial bibliográfico que trate especificamente do tema e da sua atualidade em tempos neoliberais - é o de proceder uma pesquisa teórica sobre tal estratégia. Para tanto, tomamos por principal fonte bibliográfica as obras do sociólogo Florestan Fernandes, a quem consideramos o seu principal formulador - das publicações que decorrem da primeira metade da década de 1970 aos anos 1990 - e que tratam da construção de uma revolução dentro e fora da ordem, com centralidade democrática. Nesse sentido, dividimos este trabalho em dois momentos: o estudo dos fundamentos da formação social do Brasil a constituição de suas classes sociais e o padrão de transformação capitalista aqui prevalecente; e, como resultado do primeiro, a análise do programa de revolução nacional pelos 'de baixo', da sua gênese programática em 1970 à consolidação governamental pela democracia de cooptação nos anos 2000.