A hipótese de expectativas racionais : teoria e testes

Resumo não disponível.

Fundações superficiais para linhas de transmissão em argilas moles saturadas

As fundações empregadas para linhas de transmissão de alta tensão em depósitos de argilas moles saturadas são geralmente estacas. No Rio Grande do Sul, projetos alternativos com fundações superficiais foram empregados em forma experimental para torres de suspensão, as quais apresentaram bom desempenho com menor custo. Esta pesquisa visa apontar critérios racionais da mecânica dos solos que permitam projetar, a partir do conhecimento do perfil de resistência não drenada, fundações superficiais em depósitos de argilas moles saturadas com maior confiabilidade. Para a determinaçao do perfil de resistência não drenada foi desenvolvido um cone manual com leituras elétricas, o qual foi testado apresentando bons resultados. A vantagem do uso deste equipamento reside no fato de que pode ser transportado manualmente a locais de difícil acesso, onde são implantadas as torres de alta tensão. Os demais parâmetros de solos do local de estudo, situado no município de Canoas no Rio Grande do Sul, foram obtidos a partir de ensaios de compressão triaxial do tipo adensado isotropicamente não drenado (CIU) com medida de poro pressão e de ensaios de adensamento. Foram analisadas as fundações superficiais das torres de suspensão projetadas, empregando teorias analíticas convencionais, baseadas no conhecimento da resistência não drenada, e o método de elementos finitos. A partir deste estudo, é sugerida uma metodologia para projetos de fundações superficiais de torres de suspensão em argilas moles saturadas.

Determinação de prevalência de bactérias na efusão da orelha média de crianças submetidas à mmiringotomia

Introdução: A etiologia da otite média com efusão ainda não está completamente estabelecida, mas agentes infecciosos podem contribuir para sua patogênese. Demonstrou-se que a reação em cadeia da polimerase (PCR) é superior ao exame cultural para detectar espécies bacterianas. O conhecimento sobre a epidemiologia bacteriana da otite média com efusão em áreas geográficas distintas é essencial para a implementação de tratamentos racionais, quando necessários. Objetivos: Determinar a prevalência do Streptococcus pneumoniae, Haemophilus influenzae, Moraxella catarrhalis e Alloiococcus otitidis nas efusões de orelha média de crianças com otite média recorrente e otite média com efusão crônica que foram submetidas à miringotomia, comparar os resultados obtidos por cultura e PCR, comparar os achados bacteriológicos em crianças menores e maiores de dois anos e determinar o perfil de resistência à penicilina dos germes isolados. Métodos: Analisaram-se 128 amostras de efusões de orelha média de 75 crianças entre 11 meses e 9 anos e 4 meses de idade (média = 34,7 meses). Pacientes com otite média recorrente tinham efusão documentada por ≥ 6 semanas e aqueles com otite média com efusão crônica, por ≥3 meses. Os pacientes não tinham sinais de otite média aguda ou infecção do trato respiratório e não estavam sob antibioticoterapia no momento do procedimento. A aspiração do material foi realizada por timpanocentese, utilizando-se um coletor de Alden-Senturia. Os estudos bacteriológicos foram iniciados em menos de 15 minutos após a obtenção da efusão e uma parte da amostra foi armazenada a -20oC para análise posterior pela PCR. Utilizou-se um método de PCR simultânea para a detecção de quatro patógenos. A análise estatística foi efetivada com o teste χ2 de McNemar, teste χ2 com correção de Yates e teste exato de Fisher, quando apropriados. Resultados: Cultivaram-se bactérias em 32 (25,1%) das 128 amostras e os patógenos principais foram encontrados em 25 (19,6%). O A. otitidis não foi isolado em cultura. A PCR identificou bactérias em 110 (85,9%) das amostras, e os resultados positivos foram: 67 (52,3%) para A. otitidis, 50 (39,1%) para H. influenzae, 16 (12,5%) para S. pneumoniae e 13 (10,2%) para M. catarrhalis. Todas as amostras positivas por cultura foram positivas pela PCR, mas 85 (77,2%) das efusões com resultado positivo pela PCR foram negativas por cultura, para os germes estudados. A PCR foi significativamente mais sensível que a cultura (P<0,001). O S. pneumoniae foi encontrado mais freqüentemente em otite média recorrente do que em otite média com efusão crônica (P=0,038) e o H. influenzae foi encontrado mais vezes em crianças menores de dois anos (P=0,049). Quanto ao perfil de resistência, 100% das M. catarrhalis, 62,5% dos S. pneumoniae e 23% dos H. influenzae eram resistentes à penicilina. Conclusões: A prevalência das bactérias na otite média com efusão em um grupo de crianças brasileiras é semelhante àquelas relatadas em outros países, sendo o H. influenzae o mais encontrado dentre os patógenos principais da orelha média. Essa prevalência sugere que bactérias podem desempenhar um papel na patogênese da otite média com efusão. Os resultados mostram que a PCR é mais sensível na detecção de bactérias na efusão da orelha média, comparada com cultura, e é essencial para a identificação do A. otitidis. O elevado percentual de detecção do A. otitidis sugere mais investigações sobre sua atuação no início e no prolongamento de doenças da orelha média. O S. pneumoniae foi mais freqüente em otite média recorrente do que em otite média com efusão crônica e o H. influenzae foi mais encontrado em crianças menores de dois anos. A resistência à penicilina por parte do pneumococo e da moraxela é semelhante à relatada em outros países, ao passo que a produção de β-lactamase pelo hemófilo é mais baixa que aquela referida em bactérias isoladas em amostras de efusões de otite média com efusão.

A razão da retórica : hermenêutica, pragmatismo e a lógica argumentativa no discurso econômico

Esta dissertação tem como objetivo defender a perspectiva da existência de uma lógica por trás dos discursos retórico-persuasivos – tal como inaugurada por McCloskey (1983) e Arida (1983) dentro da ciência econômica. O objetivo é demonstrar a completa inadequação de se confundir filosoficamente “retoricismo” com “irracionalismo”, pois, de acordo com nossa interpretação, nem McCloskey nem Arida propõem que não se deva utilizar critérios racionais para validação de teorias econômicas. O que eles propõem, a nosso ver, é que não se deva compreender a história do pensamento econômico e a própria teoria econômica atual como resultado de uma evolução apodíctica epistemologicamente mediada por evidências (sejam elas empíricas ou dedutivas). Isto, no entanto não implica numa desconsideração da “razão” por completo – a não ser que se entenda a “razão” por um prisma estritamente epistemológico; o que não nos parece muito razoável. Sendo assim, procuramos desenvolver ao longo do trabalho argumentos filosóficos oriundos das perspectivas hermenêuticas de: Heidegger, Gadamar, Habermas e Ricoeur, além do pragmatismo de Richard Rorty; com o intuito de relaciona-los com as perspectivas retóricas de McCloskey e Arida; buscando, mais especificamente, demonstrar a fundamentação racional da perspectiva retórica em relação à filosofia contemporânea, e contribuir com o debate retórico na economia a partir de uma tentativa de aproximação entre as perspectivas hermenêuticas – mais especificamente de Habermas e Ricoeur – e a perspectiva retórica de Arida; além de procurar uma melhor explicação e relação entre a filosofia hermenêutica-pragmática, e a perspectiva da “racionalidade prática” presente na ‘nova retórica” de Chaïm Perelman.

Um Modelo formal e executável de agentes BDI

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

Algumas generalizações para o último teorema de Fermat

Neste trabalho estudamos três generalizações para o último Teorema de Fermat. A primeira generalização trata de expoentes negativos e de expoentes racionais. Além de mostrar em que casos estas equações possuem soluções, damos uma caracterização completa para todas as soluções inteiras não-nulas existentes. A segunda generalização também trata de expoentes racionais, porém num contexto mais amplo. Aqui permitimos que as raízes n-ésimas sejam complexas, não necessariamente reais. Na terceira generalização vemos que o último Teorema de Fermat também vale para expoentes inteiros gaussianos.