Um método para detectar falhas incipientes em máquinas rotativas baseado em análise de vibração e lógica Fuzzy

Este trabalho apresenta um método para detectar falhas no funcionamento de máquinas rotativas baseado em alterações no padrão de vibração do sistema e no diagnóstico da condição de operação, por Lógica Fuzzy. As modificações ocorridas são analisadas e servem como parâmetros para predizer falhas incipientes bem como a evolução destas na condição de operação, possibilitando tarefas de manutenção preditiva. Utiliza-se uma estrutura mecânica denominada de Sistema Rotativo (Figura 1), apropriada para as simulações das falhas. Faz-se a aquisição de dados de vibração da máquina usando-se um acelerômetro em chip biaxial de baixa potência. As saídas são lidas diretamente por um contador microprocessador não requerendo um conversor A/D. Um sistema de desenvolvimento para processamento digital de sinais, baseado no microprocessador TMS320C25, o Psi25, é empregado na aquisição dos sinais de vibração (*.dat), do Sistema Rotativo. Os arquivos *.dat são processados através da ferramenta matemática computacional Matlab 5 e do programa SPTOOL. Estabelece-se o padrão de vibração, denominado assinatura espectral do Sistema Rotativo (Figura 2) Os dados são analisados pelo sistema especialista Fuzzy, devidamente calibrado para o processo em questão. São considerados, como parâmetros para a diferenciação e tomada de decisão no diagnóstico do estado de funcionamento pelo sistema especialista, a freqüência de rotação do eixo-volante e as amplitudes de vibração inerentes a cada situação de avaria. As falhas inseridas neste trabalho são desbalanceamentos no eixovolante (Figura 1), através da inserção de elementos desbalanceadores. A relação de massa entre o volante e o menor elemento desbalanceador é de 1:10000. Tomando-se como alusão o conhecimento de especialistas no que se refere a situações normais de funcionamento e conseqüências danosas, utilizam-se elementos de diferentes massas para inserir falhas e diagnosticar o estado de funcionamento pelo sistema fuzzy, que apresenta o diagnóstico de formas qualitativa: normal; falha incipiente; manutenção e perigo e quantitativa, sendo desta maneira possível a detecção e o acompanhamento da evolução da falha.

Modelo de sacola quiral com superfície difusa : um estudo das propriedades dos hádrons

o modelo de sacola difusa é um modelo hadrônico que possui aspectos tanto do modelo de sacola do MIT (conservação da energia e momentum, energia de vácuo da QCD) quanto dos modelos de potencial relativísticos (confinamento obtido através de um potencial). O modelo desenvolvido também é um modelo quiral, com a propriedade única de que o campo piônico é suprimido no interior da sacola por meio de um potencial escalar, e no entanto a simetria quiral é preservada. O modelo também é único em que podese controlar o quanto o campo piônico pode penetrar no interior da sacola (em todos os outros modelos, os píons ou entram livremente na sacola ou permanecem totalmente excluídos de seu interior). Nós calculamos as massas do octeto fundamental dos bárions levando em conta as correções de centro de massa, troca de um glúon e troca de um píon. Também calculamos a constante de acoplamento píon-núcleon, a carga axial do núcleon, assim como os raios de carga, momentos magnéticos e fatores de forma eletromagnéticos do próton e do neutron. Exceto pelos fatores de forma eletromagnéticos, a concordância com os resultados experimentais foi excelente, e os resultados indicam que o campo piônico é suprimido somente na vizinhança do centro da sacola.

Caracterização da distribuição de intensidade da radiação solar difusa

A proposta deste trabalho é caracterizar a distribuição de intensidade da radiação solar difusa. sob diferentes condições de nebulosidade, através da análise de imagens monocromáticas do hemisfério celeste e das correspondentes medidas da irradiância solar difusa. O sistema experimental tem como elementos principais uma câmera CCD monocromática. empregada na aquisição de imagens e um piranômetro, que realiza medidas de irradiância difusa. Tanto a câmera CCD quanto o piranômetro empregam anéis de sombra com as mesmas dimensões. Desta fonna. os equipamentos bloqueiam a mesma região correspondente ao caminho do Sol. O piranômetro também emprega um aro horizontal que bloqueia a irradiância difusa da região do hemisfério celeste, cuja altitude é inferior a 25°, tornando o seu ângulo de visão igual ao da câmera CCD. Um processo de análise permitiu reduzir os IÚveis de cinza da imagem original, que passaram de 256 para apenas 16 IÚveis.Determinou-se o ângulo sólido de cada pixel em função de sua distância ao centro da imagem. O ângulo sólido de toda a imagem foi calculado pela soma do ângulo sólido de cada pixel que compõe a imagem Determinaram-se mapas de distribuição de intensidade relativa. obtidos pela razão entre os valores de intensidade do cinza. observados para os pixels que compõem uma certa região, e o valor de intensidade do cinza do pixel que pertence à região que compreende o zênite. Estes mapas estão também relacionados à distribuição de luminância no hemisfério celestes. Também se determinaram as distribuições de intensidade direcional da radiação difusa. usando toda a infonnação dispoIÚvel associada a cada imagem. Os valores de intensidade direcional são calculados em função da irradiância difusa medida. do ângulo sólido de cada região e de características da imagem. Estes mapas fornecem infonnações mais completas sobre a distribuição de intensidade energética. A partir das características da imagem, estimou-se o índice de nebulosidade para imagens que correspondem à condição de céu parcialmente nublado. O índice de nebulosidade é calculado pela razão entre o ângulo sólido da região que corresponde às nuvens e o ângulo sólido total da imagem.

Um modelo de sacola difusa para a matéria nuclear

Neste trabalho desenvolvemos um modelo efetivo para a descrição da matéria nuclear, que incorpora os resultados obtidos, para a descrição de um núcleon, pelo modelo de sacola difusa. O sistema nuclear será descrito via uma função de energia interna, que compreende um termo livre e outro que leva em conta a interação entre os núcleons. A parte livre, por se tratar de um sistema de férmions, corresponderá à energia de um gásde Fermi livre. Além disso, para evitar a superposição de dois ou mais núcleons, introduzimos um volume de exclusão a la Van der Waals. Na parte integrante, a troca de píons entre os núcleons será levada em conta via um potêncial efetivo. A função energia interna dependerá da densidade da matéria nuclear e também de um parâmetro que determinará o volume esperado de cada núcleon na matéria nuclear. O valor deste parâmetro será um pouco diferente do valor encontrado para um núcleons isolado, devido à interação entre eles. Obtém-se então resultados para a energia de ligação por núcleon para a matéria nuclear simétrica e para a matéria de nêutrons, bem como para a equação de estado da matéria de nêutrons.

Proposta de uma arquitetura especial para simulação lógica

O objetivo deste trabalho é a proposta de uma arquitetura especial para simulação lógica (AESL). As técnicas e modelos utilizados no processo de simulação lógica são brevemente revistos. É definida uma taxonomia para AESL sob a qual são analisadas diversas propostas de AESL relatadas na literatura. Uma taxonomia já existente é comparada com a proposta. A AESL definida é programável para diferentes algoritmos de simulação lógica. O detalhamento da AESL é, então, incrementado pela implementação de um algoritmo particular. Uma linguagem de simulação discreta é utilizada na construção de um modelo da arquitetura. Os resultados da simulação deste modelo permitem avaliar o desempenho da AESL e otimizar sua estrutura. Uma comparação com outras arquiteturas conclui a análise.

Radiação solar direta em Porto Alegre

Neste trabalho foi calculada teoricamente a radiação solar direta normal para Porto Alegre e vizinhanças. Para tal fim foi feito um levantamento da insolação horária em Porto Alegre, entre os anos de 1968 a 1982 e, a partir destes como não se dispunha de dados experimentais, calculou-se a radiação solar global efetiva, com o auxílio de uma expressão do tipo Angstrom. A posse destes dados permitiu calcular a radiação direta normal, que se apresenta em forma de tabelas e gráficas. Como um resultado adicional, calculou-se a percentagem de dias aproveitáveis ou não para distintas hipóteses de uso da Energia Solar. Com o intuito de comprovar a validade dos cálculos desenvolvidos, compararam-se os dados de radiação difusa, calculados a partir dos de direta normal, com os obtidos por outras teorias.

Aplicação de técnicas de descobrimento de conhecimento em bases de dados e de inteligência artificial em avaliação de imóveis

A comparação de dados de mercado é o método mais empregado em avaliação de imóveis. Este método fundamenta-se na coleta, análise e modelagem de dados do mercado imobiliário. Porém os dados freqüentemente contêm erros e imprecisões, além das dificuldades de seleção de casos e atributos relevantes, problemas que em geral são solucionados subjetivamente. Os modelos hedônicos de preços têm sido empregados, associados com a análise de regressão múltipla, mas existem alguns problemas que afetam a precisão das estimativas. Esta Tese investigou a utilização de técnicas alternativas para desenvolver as funções de preparação dos dados e desenvolvimento de modelos preditivos, explorando as áreas de descobrimento de conhecimento e inteligência artificial. Foi proposta uma nova abordagem para as avaliações, consistindo da formação de uma base de dados, ampla e previamente preparada, com a aplicação de um conjunto de técnicas para seleção de casos e para geração de modelos preditivos. Na fase de preparação dos dados foram utilizados as técnicas de regressão e redes neurais para a seleção de informação relevante, e o algoritmo de vizinhança próxima para estimação de valores para dados com erros ou omissões. O desenvolvimento de modelos preditivos incluiu as técnicas de regressão com superficies de resposta, modelos aditivos generalizados ajustados com algoritmos genéticos, regras extraídas de redes neurais usando lógica difusa e sistemas de regras difusas obtidos com algoritmos genéticos, os quais foram comparados com a abordagem tradicional de regressão múltipla Esta abordagem foi testada através do desenvolvimento de um estudo empírico, utilizando dados fornecidos pela Prefeitura Municipal de Porto Alegre. Foram desenvolvidos três formatos de avaliação, com modelos para análise de mercado, avaliação em massa e avaliação individual. Os resultados indicaram o aperfeiçoamento da base de dados na fase de preparação e o equilíbrio das técnicas preditivas, com um pequeno incremento de precisão, em relação à regressão múltipla.Os modelos foram similares, em termos de formato e precisão, com o melhor desempenho sendo atingido com os sistemas de regras difusas.

Os sistemas de terminação de suínos : uma análise econômica e ambiental a partir da teoria dos conjuntos fuzzi

A escolha do sistema de terminação de suínos e controle de dejetos, que melhor contemple os valores sociais atuais, implica considerar, simultaneamente, pelo menos dois aspectos disciplinarmente distintos - o econômico e o ambiental - o que eleva a complexidade da escolha. Conjuntos fuzzy, por traduzir ordenadamente a percepção expressa pela linguagem, o entendimento relevante porém impreciso da realidade, é uma ferramenta conveniente para o estudo desta situação, a respeito da qual diversos especialistas possuem apreciável conhecimento parcial. Analisa-se o custo de produção de terminadores de suínos da encosta do Vale do Caí, utilizando-se conjuntos fuzzy para identificar causas necessárias e/ou suficientes para o alcance de um baixo custo de produção. Posteriormente, é apresentado um modelo fuzzy para a combinação dos custos de produção com as percepções de suinocultores e de agrônomos quanto ao impacto ambiental da suinocultura.

Uma rede de produção e comercialização alternativa para a agricultura familiar : o caso das feiras livres de Misiones, Argentina

Este trabalho aborda a experiência das feiras livres existentes na província de Misiones, Argentina. Em toda a província existem 31 feiras onde aproximadamente 2.000 agricultores familiares vendem produtos da “chácara” (produtos in-natura e com um mínimo grau de processamento). Em torno das feiras se formou uma rede da qual participam, além dos agricultores, técnicos de diferentes instituições e organizações que atuam no meio rural, os municípios, o governo provincial, organizações civis e consumidores. O trabalho visa compreender o que leva os atores sociais a confluírem na experiência das feiras livres, a captar as inter-relações, interesses e significados e identificar no imaginário dos atores, elementos que indiquem a visão sobre o meio rural que está se construindo na rede. A coleta dos dados foi feita através de entrevistas semi-estruturadas aplicadas a um informante qualificado e a quatro grupos de atores: os mediadores técnicos das instituições, os representantes do poder público municipal e provincial, os agricultores e os consumidores. Também foram coletados dados a partir da observação direta e da análise do material produzido pelos próprios atores. Na primeira parte da análise as feiras livres foram consideradas como uma rede de poder formada pelos seguintes atores coletivos: a “Asociación de Ferias Francas de Misiones”, o “Programa Social Agropecuario” o “Movimiento Agrario Misionero” a “Red de Agricultura Orgánica de Misiones”, o Instituto de Desarrollo y Promosión Humana”, os Municípios e o Governo provincial. Na segunda parte da análise trabalhou-se com as noções sobre o mundo rural e consideraram-se os atores individuais que trabalham em três feiras escolhidas, mas que possuem uma visão da experiência no geral, e os que representam os atores coletivos Com relação à rede de poder foram enfocadas as inter-relações entre os atores, o acordo dos seus interesses e o intercâmbio de recursos de poder, chegando-se à governança da rede, caracterizada como de autoorganização onde todos atores possuem uma certa porção dos recursos de poder não existindo nenhum deles capaz de ser hegemônico. Com todos estes elementos se determinou que esta rede tem a característica de uma “Rede Difusa”. Em relação à idéia de meio rural, mesmo que mais ou menos homogênea, mais ou menos clara, percebe-se a construção de uma noção de meio rural como um espaço multidimensional, caracterizado pela presença de agricultores familiares pluriativos, pela existência de mercados socialmente construídos e pela articulação entre diversos setores da sociedade. Assim, esta noção se diferencia da tradicional idéia do rural vinculado exclusivamente ao agrícola.

Previsão em tempo atual de cheias com uso de sistema especialista difuso

Sistemas de previsão de cheias podem ser adequadamente utilizados quando o alcance é suficiente, em comparação com o tempo necessário para ações preventivas ou corretivas. Além disso, são fundamentalmente importantes a confiabilidade e a precisão das previsões. Previsões de níveis de inundação são sempre aproximações, e intervalos de confiança não são sempre aplicáveis, especialmente com graus de incerteza altos, o que produz intervalos de confiança muito grandes. Estes intervalos são problemáticos, em presença de níveis fluviais muito altos ou muito baixos. Neste estudo, previsões de níveis de cheia são efetuadas, tanto na forma numérica tradicional quanto na forma de categorias, para as quais utiliza-se um sistema especialista baseado em regras e inferências difusas. Metodologias e procedimentos computacionais para aprendizado, simulação e consulta são idealizados, e então desenvolvidos sob forma de um aplicativo (SELF – Sistema Especialista com uso de Lógica “Fuzzy”), com objetivo de pesquisa e operação. As comparações, com base nos aspectos de utilização para a previsão, de sistemas especialistas difusos e modelos empíricos lineares, revelam forte analogia, apesar das diferenças teóricas fundamentais existentes. As metodologias são aplicadas para previsão na bacia do rio Camaquã (15543 km2), para alcances entre 10 e 48 horas. Dificuldades práticas à aplicação são identificadas, resultando em soluções as quais constituem-se em avanços do conhecimento e da técnica. Previsões, tanto na forma numérica quanto categorizada são executadas com sucesso, com uso dos novos recursos. As avaliações e comparações das previsões são feitas utilizandose um novo grupo de estatísticas, derivadas das freqüências simultâneas de ocorrência de valores observados e preditos na mesma categoria, durante a simulação. Os efeitos da variação da densidade da rede são analisados, verificando-se que sistemas de previsão pluvio-hidrométrica em tempo atual são possíveis, mesmo com pequeno número de postos de aquisição de dados de chuva, para previsões sob forma de categorias difusas.

Economia ecológica da emissão antropogênica de CO2 - uma abordagem filosófico-científica sobre a efetuação humana alopoiética da Terra em escala planetária

O objetivo desta tese, "Economia Ecológica da Emissão Antropogênica de CO2 – uma Abordagem Filosófico-Científica sobre a Efetuação Humana Alopoiética da Terra em Escala Planetária utiliza o novo paradigma ambiental, que inclui as seguintes ferramentas teóricas originais: · o uso da filosofia da efetuação de Friedrich Wilhelm Joseph Schelling (1775-1854); · uso da teoria da auto-organização para demonstrar a existência de uma efetuação humana alopoiética de dimensões geológico-planetárias; · a articulação das implicações filosófico-científicas em uma via de recorrência que inclui a contingência, a reprocessualidade, a ética e a hermenêutica, além das abordagens e estratégias da interdisciplinaridade e da transdisicplinaridade; · uma nova estrutura de abordagem empírica para a coleta de dados ambientais, a matriz de amostragem ambiental. Nesta abordagem é proposto o posicionamento da Epistemologia Ambiental levando em conta o aspecto unificador sistêmico, após ser realizada a crítica das abordagens anarquista e pós-normal. A Economia é posta como antiexemplo no qual a Economia tradicional (Clássica, Neoclássica e Ambiental) é caracterizada como uma pseudociência, a partir das suas ilusões, dogmas, mitos, fantasias, falácias, falsa "lei", falsas metáforas e o abandono da ética e da visão sistêmica, sendo suas afirmativas (falsas) comparadas com os resultados das demais ciências e com a situação real do planeta Terra, no início do século XXI. O contraponto da Economia tradicional é estabelecido pela apresentação dos conceitos de ecodesenvolvimento, sustentabilidade, estado-estável, Economia Win-Win e o advento da Era Solar. A Economia Ecológica constitui uma nova Ciência Ambiental, passando atualmente por um processo de corrupção economicista. A apresentação da efetuação humana alopoiética é feita em duas principais escalas: a geológica e planetária. A efetuação humana alopoiética registrada em escala geológica inclui as seguintes formas: paisagística, pedogênica, litológica, geodinâmica (sísmica, vulcânica, hídrica, massiva e erosional), fossilífera e geoquímica. A efetuação humana alopoiética registrada em escala planetária apresenta as seguintes formas: climática, asteróide-meteorítica, da biodiversidade, aeroespacial próxima e extraplanetária. A emissão antropogênica de gás carbônico (CO2) na atmosfera terrestre, uma emissão difusa e sem fronteiras geográficas, é abordada com a Economia Ecológica. A partir da identificação do aquecimento global com "a conta entrópica devida à era da máquina" (Rifkin, 1992, p. 81) que a Natureza apresenta aos seres humanos, é feita a tentativa de estabelecer um valor real do fenômeno, tendo como ferramenta científica a abordagem emergética. A partir da constatação de que a efetuação humana alopoiética registrada até o final do século XX foi realizada de forma imprevista, imprudente e fora de controle e tendo em vista a emergência da Era da Terra-Pátria, no início do século XXI, e a necessidade de reorientar a globalização em curso, alternativas para a busca da efetuação terrestre consciente são apresentadas. As principais alternativas propostas para resolver (ou encaminhar a resolução) para a questão ambiental são as economicistas, da qualidade ambiental total (ISO 14000), as industrialistas (produção limpa, fator 4, fator 10 e capitalismo natural), as científicas (geofisiologia e terraforming), da Economia Ecológica e Economia Win-Win, as políticas (Política da Biosfera e Plano Marshall Global), as éticas, a utopia do reencantamento do Mundo e a proposta programática da Agenda 21. As conclusões e interpretações desta tese provém dos resultados obtidos pelo cálculo da emissão de CO2 para a atmosfera, sua emergia e valor real através de dados obtidos na Internet e da contextualização destes nas propostas existentes para o encaminhamento da questão ambiental. A mitologia de Ícaro na tentativa ambiciosa em se afastar da Natureza e o retorno à ela na forma de uma Fênix de ressurgimento autopoiético, fornece a visão do reenvolvimento ambiental humano.

Aspectos epidemiológicos da paratuberculose bovina no Rio Grande do Sul

Descrevem-se os achados clínicos e patológicos da paratuberculose em uma criação intensiva de bovinos de leite no municí pio de Capela de Santana, RS. Os sinais clínicos foram observados em oito de um total de 345 bovinos, consistindo em diarréia crônica refratária aos tratamentos, emagrecimento progressivo e queda na produção de leite. As principais lesões macroscópicas, observadas nos oito animais necropsiados, incluíam intestino delgado com acentuado espessamento da parede e superfície mucosa de aspecto reticulado, semelhante às circunvoluções cerebrais, lesão essa perceptível, através da serosa. A luz intestinal estava preenchida com conteúdo fluido e de aspecto leitoso. Os vasos linfáticos do mesentério mostravam-se mais evidentes sendo que alguns tinham aspecto varicoso. Os linfonodos mesentéricos estavam aumentados de volume e, ao corte, fluía grande quantidade de líquido leitoso. Focos de mineralização foram observados na íntima das artérias, nas válvulas cardíacas e na serosa do rúmen. As principais lesões macroscópicas incluíam enterite, linfadenite e linfangite granulomatosa caracterizada por infiltrado inflamatório com macrófagos, células gigantes de Langhans que continham grande quantidade de bacilos álcool-ácido-resistentes. As lesões vasculares consistiam em degeneração e mineralização das túnicas í ntimas e média das artérias de grande calibre associada a proliferação de colágeno. Havia calcificação da serosa do rúmen atrofia hepatocelular difusa e hepatite granulomatosa multifocal. O M. avium subsp. paratuberculosis (Map) foi isolado em amostras de intestino e linfonodos de 8 vacas Holandesas (3,5%) com doença de Johne, dentre 229 amostras cultivadas provenientes de um rebanho leiteiro. Amostras inoculadas em HEYM com micobactina produziram colônias identificadas como Map, segundo as caracterí sticas fenotí picas próprias como: crescimento lento, coloração álcool-ácido-resistente (A.A.R.) e dependência a micobactina. O laboratório de Referência da OIE confirmou a amostra isolada. O M. avium subsp. paratuberculosis (Map) foi isolado em amostras de intestino e linfonodos de 8 vacas Holandesas (3,5%) com doença de Johne, dentre 229 amostras cultivadas provenientes de um rebanho leiteiro Amostras inoculadas em HEYM com micobactina produziram colônias identificadas como Map, segundo as caracterí sticas fenotí picas próprias como: crescimento lento, coloração álcool-ácido-resistente (A.A.R.) e dependência a micobactina. O laboratório de Referência da OIE confirmou a amostra isolada. Não houve isolamento do agente em 221 amostras intestinais quando processadas, após 2 anos de sua colheita. O teste de IDGA aplicado como “screening”, detectou 26 vacas (11,4%) positivas, dentre 228 animais testados e sacrificados em matadouro. O teste de ELISA adsorvido, utilizando o antí geno PPA-3 detectou 125 (39,8%) amostras positivas. O ELISA não adsorvido detectou mais 32 (10,1%) reagentes positivos, dentre os 314 bovinos testados. A prevalência da infecção causada pelo Map em 36 rebanhos leiteiros procedentes de 25 municí pios do Rio Grande do Sul foi estimada em 44,6% das 1316 amostras testadas. A infecção foi identificada em 35 (97,2%) dos 36 rebanhos testados e presentes em todos os municí pios incluí dos. A ocorrência da doença de Johne foi enfatizada, tanto a forma clí nica quanto a infecção subclí nica no Rio Grande do Sul, sugerindo a adoção de medidas de controle sejam aplicadas na proteção dos rebanhos leiteiros nacionais.

Integração de dados em ambiente SIG para mapeamento de favorabilidade mineral de ouro na ilha cristalina de Rivera (Uruguai)

Guias para exploração mineral são normalmente baseados em modelos conceituais de depósitos. Esses guias são, normalmente, baseados na experiência dos geólogos, em dados descritivos e em dados genéticos. Modelamentos numéricos, probabilísticos e não probabilísticos, para estimar a ocorrência de depósitos minerais é um novo procedimento que vem a cada dia aumentando sua utilização e aceitação pela comunidade geológica. Essa tese utiliza recentes metodologias para a geração de mapas de favorablidade mineral. A denominada Ilha Cristalina de Rivera, uma janela erosional da Bacia do Paraná, situada na porção norte do Uruguai, foi escolhida como estudo de caso para a aplicação das metodologias. A construção dos mapas de favorabilidade mineral foi feita com base nos seguintes tipos de dados, informações e resultados de prospecção: 1) imagens orbitais; 2) prospecção geoquimica; 3) prospecção aerogeofísica; 4) mapeamento geo-estrutural e 5) altimetria. Essas informacões foram selecionadas e processadas com base em um modelo de depósito mineral (modelo conceitual), desenvolvido com base na Mina de Ouro San Gregorio. O modelo conceitual (modelo San Gregorio), incluiu características descritivas e genéticas da Mina San Gregorio, a qual abrange os elementos característicos significativos das demais ocorrências minerais conhecidas na Ilha Cristalina de Rivera. A geração dos mapas de favorabilidade mineral envolveu a construção de um banco de dados, o processamento dos dados, e a integração dos dados. As etapas de construção e processamento dos dados, compreenderam a coleta, a seleção e o tratamento dos dados de maneira a constituírem os denominados Planos de Informação. Esses Planos de Informação foram gerados e processados organizadamente em agrupamentos, de modo a constituírem os Fatores de Integração para o mapeamento de favorabilidade mineral na Ilha Cristalina de Rivera. Os dados foram integrados por meio da utilização de duas diferentes metodologias: 1) Pesos de Evidência (dirigida pelos dados) e 2) Lógica Difusa (dirigida pelo conhecimento). Os mapas de favorabilidade mineral resultantes da implementação das duas metodologias de integração foram primeiramente analisados e interpretados de maneira individual. Após foi feita uma análise comparativa entre os resultados. As duas metodologias xxiv obtiveram sucesso em identificar, como áreas de alta favorabilidade, as áreas mineralizadas conhecidas, além de outras áreas ainda não trabalhadas. Os mapas de favorabilidade mineral resultantes das duas metodologias mostraram-se coincidentes em relação as áreas de mais alta favorabilidade. A metodologia Pesos de Evidência apresentou o mapa de favorabilidade mineral mais conservador em termos de extensão areal, porém mais otimista em termos de valores de favorabilidade em comparação aos mapas de favorabilidade mineral resultantes da implementação da metodologia Lógica Difusa. Novos alvos para exploração mineral foram identificados e deverão ser objeto de investigação em detalhe.

Estimativa da vida útil de placas cerâmicas esmaltadas solicitadas por abrasão através de ensaios acelerados

O desempenho de placas cerâmicas esmaltadas sujeitas ao tráfego de pessoas tem sido alvo de inúmeras críticas, tanto por parte dos especificadores, em vista da carência de informações técnicas seguras, quanto por parte dos usuários, devido ao comportamento insatisfatório, muitas vezes registrado, em condições reais de utilização. Com o intuito de contribuir com o estudo desse assunto, procurou-se modelar o comportamento de placas cerâmicas esmaltadas submetidas a um processo abrasivo. Para tanto, desenvolveu-se um equipamento de abrasão que permitiu a aplicação variável de carga e a inserção de diferentes concentrações de abrasivo. Como variáveis de resposta, foram analisadas seis propriedades que podem estar relacionadas à percepção do fenômeno: reflexão especular, reflexão difusa, delta E, rugosidade média Ra, rugosidade média Rz e aspecto visual. Após desgaste, avaliou-se também a limpabilidade das superfícies, as quais revelaram tendência à maior impregnação de sujeira. A relação entre o comportamento obtido em laboratório com o desempenho em campo foi obtida através de um estudo de caso cujas placas revelaram significativo desgaste após poucos anos de utilização A partir da modelagem dos dados de campo foi possível constatar que a classificação visual mostrou os melhores parâmetros estatísticos, comportamento este também observado nos ensaios de laboratório. Dessa forma, a classificação visual constitui-se na propriedade selecionada para estimar a vida útil de placas cerâmicas esmaltadas sujeitas à abrasão provocada pelo tráfego de pessoas. Os modelos resultantes mostraram que a variação de aspecto, decorrente do ensaio de abrasão, e a variação do aspecto, decorrente do trânsito de pessoas em movimento livre, são proporcionais, respectivamente, à raiz quadrada do tempo e à raiz quadrada do tráfego. Portanto, existe uma relação constante entre tempo e tráfego que permite estimar o comportamento futuro do material. Para frenagem, resulta que a variação de aspecto é aproximadamente proporcional à raiz cúbica do tráfego. Utilizando a modelagem proposta, foi possível estimar a vida útil de quatro tipologias de placas cerâmicas, designadas: bege sem brilho, bege com brilho, marrom sem brilho e marrom com brilho.

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.